论文部分内容阅读
对确定性do循环,利用其WP求出循环不变式.给出了for循环的话义定义.
关于求已知do循环不变式的一个方法及for循环的WP的定义
【摘 要】
：
对确定性do循环,利用其WP求出循环不变式.给出了for循环的话义定义.
【机 构】
：
西北师范大学计算机科学系
【出 处】
：
西北师范大学学报：自然科学版
【发表日期】
：
1993年3期
其他文献
钛阴极重水电解实验的初步结果证实了氏机理所预言的两大特点：热效应与核产物￣４Ｈｅ．
介绍了一种单片机控制的智能测量放大器及其接口，以此可以进行实时数字编程；提出了减小误差，提高测量精度的措施；讨论了硬件结构和软件设计。
应用随机抽样法,查明麦鞘毛眼水蝇(Hydrellia chinensis Qi et Li)幼虫和蛹在青稞田内的空间分布为聚集分布,以个体群的形式存在;提出了用旗叶叶鞘代替整株叶鞘以减少2/3剥查
以Al50Si50和Al73Si27两种合金焊接LTCC基板后的翘曲行为作为研究对象,介绍了一种快速准确测量集成电路元器件翘曲度的技术方法一扫描干涉技术。运用该方法对铝硅合金基板的
<正> 《埋地输油输气钢管道结构设计规范》(以下简称《规范》)是中国工程建设标准化协会组织编写的。《规范》结合我国20多年来管道建设的经验,吸收了国内外一些科研成果和有
<正> 大庆林源、太阳升两输油泵站使用多台YLG-118/89-2型2 500kW输油电机从事输油生产。其中半数是1971年第一期工程安装投产的,另一半是1974年投入运行的。这些电机普遍采
为研究某回流焊工艺后有铅无铅混装印制板组件的振动可靠性,采用实验EAM方法验证有限元ANSYS分析印制板组件振动特性的准确性,进一步探索影响印制板组件动态性能的因素,最后
为了提高体育实践课教学效果,尝试引入互联网+教育技术弥补传统教学的不足,运用文献资料法、教学实验法和数理统计法,对互联网+教育技术进行跳远教学实验研究,结论 :互联网+"