论文部分内容阅读
本文介绍了什么是程序的完全正确性、部分正确性、终止性,并通过实例,介绍了利用不变式断言法和计数器方法分别证明程序的部分正确性和终止性的具体方法步骤.
关于程序正确性证明的进一步探讨
【摘 要】
：
本文介绍了什么是程序的完全正确性、部分正确性、终止性,并通过实例,介绍了利用不变式断言法和计数器方法分别证明程序的部分正确性和终止性的具体方法步骤.
【机 构】
：
泰山学院计算机系
【出 处】
：
信息技术与信息化
【发表日期】
：
2005年4期
其他文献
本文论述了检测与排除微机故障的有效思路,以及从多年实践中总结出来的经验数据在故障处理中的有效运用,并对排除故障的方法与技巧进行了较深入的探讨.
近些年,我国企业通过贴牌代工这类生产方式实现的产品国际化,让大多数我国企业陷入“丰产”不“丰收”的尴尬境地。2005年开始的人民币升值使得我国企业产品出口进一步雪上加
制备了聚甲基丙烯酸甲酯（ＰＭＭＡ）－锂盐－增塑剂聚合物固态电解质，并研究辽类电解质的电化学性能。结果表明：以聚甲基丙烯酸甲酯为基的凝胶电解质的室温电导率超过１０＾－３Ｓ．ｃｍ＾－１电导率与温度关系服务从ＶＴＦ方
报道了一种新的碱性燃料电池氧电极的非贵金属催化剂。这种用化学还原法制备的Ａｇ－Ｎｉ－Ｂｉ－Ｈｇ／Ｃ催化剂对氧的阴极还原具有较高的活性。助催化剂Ｎｉ，Ｂｉ，Ｈｇ可以显著提高Ａｇ／Ｃ催化剂的活性，ＸＲＤ证实，助催化剂的加入使
一年多来, 被业界追捧和媒体热炒的RFID(射频识别)技术及 EPC(电子标签),在沃尔玛、麦德龙和塔斯科提出使用RFID系统供货计划后, 引发了供应商们开展一系列与RFID有关的疯狂
对现有的入侵监测系统做了一些介绍，提出了一个基于移动代理技术来实现入侵监测系统安全的方法．并对此系统的优缺点做了分析，对研究基于移动代理技术的入侵监测系统有一定的指导