论文部分内容阅读
<正>一、引言 自从1967年Floyd发表其论文“给程序赋予意义以来,程序自动验证工具的研究持续了数十年。Floyd在文[4]中提出了用“断言式方法”证明程序的正确性。其具体作法是:在程序程图的每一条
关于程序验证方法的讨论
【摘 要】
：
<正>一、引言 自从1967年Floyd发表其论文“给程序赋予意义以来,程序自动验证工具的研究持续了数十年。Floyd在文[4]中提出了用“断言式方法”证明程序的正确性。其具体作
【机 构】
：
中山大学计算机软件研究所广州510275
【出 处】
：
计算机科学
【发表日期】
：
1995年3期
其他文献
为检验不同因素对微表处混合料路用性能的影响,制备混合料分别开展6 d湿轮磨耗试验和轮辙变形试验进行分析。试验结果表明,玄武岩的水稳定性和抗车辙性均优于石灰岩,水泥可以
考虑了三分Sierpinski垫上的α（=1＋（log2/log3））维Hausdorff测度的Cauchy变换F（z）,得到了牛顿势函数的一个性质和F（z）的一个导数性质.
研究了含三个方差分量的平衡套误差分量回归模型,利用Baltagi提出的方差分析型估计—WK估计的方法,得到了套误差分量平衡模型中的对应估计,重点对其改进.对于随机效应和随机
GIS是高考考点之一，在命题时多以图层叠加的形式考查。试题多考查GIS在地理环境研究中的应用。GIS是专门处理地理空间数据的计算机系统，主要功能是对地理空间数据进行输入、管理、分析和表达。 解读信息： （1）在GIS中，不同类型的地理空间信息储存在不同的图层上，这些专题地图是由具有空间属性的数据在计算机中生成的，它们分别反映了某种地理事物的空间分布特征。如图2中的叠加图层分别有水系分布
集安历史悠久，历史上我国古代北方少数民族高句丽曾发祥于此。集安作为“高句丽世界文化遗产地”，有着丰厚的历史文化传统，人参做为集安自古以来的重要物产，它的起源、应用及栽培
肉食品生产及其质量保证体系是一个科学的系统工程。肉食品生产从原料基地、采购、运输，到各个生产环节，再进入市场，便形成了一个联系紧密，环环相扣的系统工程。因此，肉食品生产企
在教育制度、教育思想日益丰富的今天,社会对于综合全面性人才的需求越来越大,因此,必须要做好小学生的德育教育工作。本文分析了小学德育生活化教学的现状,并提出了几点有效
<正> DIES系统是一建造基于知识的自动问题求解器的领域独立专家系统.在该系统中其描述性知识和规范知识(规则)均为知识库中的标准类型项.DIES系统具有双重结构,即认知系统和
以教学《咏雪》为例,研讨语文核心素养中的语言建构与运用和思维发展与提升之间的关系,指出语文课堂教学应通过优化语言实践活动,发展学生的形象思维能力、逻辑思维能力、创
<正>1.引论 近三十年来,计算机学者对模拟自然过程,特别是生物进化过程的算法产生了日浓厚的研究兴趣。研究分析表明,软件技术同生物技术有很大相似