论文部分内容阅读
<正>形式化的规约说明对于提高软件开发的正确性和效率有很大作用,一个形式化的规约说明语言开发环境如图1所示。目前有的原型系统是用常规高级语言,即一般的过程语言来写的,如C。这种原型环境涉及大量低层细节.程序繁琐冗长,且和计算机状态相联系,破坏了原有规约的证明特性。更多还原
代数语言规约的ML原型翻译系统
【摘 要】
：
<正>形式化的规约说明对于提高软件开发的正确性和效率有很大作用,一个形式化的规约说明语言开发环境如图1所示。目前有的原型系统是用常规高级语言,即一般的过程语言来写的,
【机 构】
：
浙江工业大学信息工程学院
【出 处】
：
计算机科学
【发表日期】
：
1998年4期
【基金项目】
：
国家高技术研究发展计划863-3O6智能计算机主题,浙江省自然科学基金
其他文献
随着计算机的发展，计算机技术和网络技术在学校应用的更广泛，越来越多的企业加入到医学教育资源开发和销售的行列中来，但开发的产品多被“束之高阁”，成为废品，而教师却在抱怨没有
<正>当今,绝大部分的超级计算机都采用了某种形式的并行处理技木。在并行机上进行程序设计,有两种选择：一是设计全新的井行语言,如Linda,Occam等；或者在传统的串行语言中加入并
本文根据《ＡＣＭ计算的战略方向》研讨会中关于“工人智能的战略方向”的讨论及其专论［１］、［２］进行编译，论述未来十年或更长时间内人工智能发展的战略方向，旨在展望今后的研究动向。
<正>对数据库查询的响应时间是数据库性能的重要指标。降低查询时间的关键是降低查询计算代价。因,查询优化的研究工作分两个方向展开：一是代价估算模型的研究；二是优化手段的
中国人民银行日前发布《关于向金融机构投资入股的暂行规定》,要求各全国性金融机构遵照执行。这是央行为解决目前许多金融机构投资资金来源混乱问题,加强银行贷款管理推出的
在目前的高层网络技术应用，ＲＣ（远程过程调用）的实现可以说仍然很令人头痛，虽然作出了各种各样的调整，改进甚至妥协，其功能和性能还是不能尽如人意，另外，人们对当前流行的一些技术提出
本文通过对并行程序设计的三个步骤及数据并行问题特点的分析，论述了数据并行语言应支持程序员对数据划分和映射的描述，并讨论了为此应对串行语言扩展的几个结构。通过四个成功
在地铁变形监测中,自动变形监测手段能够实现无人值守、自动化,比传统方式优越。通过对智能全站仪、互联网的研究,利用自动化监测系统对地铁隧道工程进行了变形监测,经过验证,达到了预定的精度要求。
CRM是城市商业银行核心能力培育的一项关键性战略，但在具体的实施策略上有待深化。研究基于城市商业银行的业务调查数据，借助于结构方程模型，实证性地检验了CRM对核心能力的促进
<正> 1.引言近年来,信息系统开发过程中的重用技术的研究与应用越来越受到重视。它可以大大提高软件开发的数量与质量。用重用方法建立系统是从已有的成份开始构筑系统而不是