论文部分内容阅读
介绍了R．W．Floyd的证明程序部分正确性的归纳断言法和证明程序终止性的良序集法．以及Hoare公理系统。
程序正确性证明方法研究
【摘 要】
：
介绍了R．W．Floyd的证明程序部分正确性的归纳断言法和证明程序终止性的良序集法．以及Hoare公理系统。
【机 构】
：
宁夏大学数学与计算机学院
【出 处】
：
软件导刊
【发表日期】
：
2009年2期
【基金项目】
：
宁夏自然科学基金项目（NZ0725）
其他文献
Nutrient Intake of Rural Households That Participated in a Farming System for Nutrition Study in Ind
Food based approach can prove effective in improving access and availability of nutrients from foods required for daily life where most of the people depend on
根据油罐故障分析，建立了油罐故障诊断模型。采用新型的支持向量机-最小二乘向量机（LS—SVM）的算法对此诊断模型进行预测，获得了满意的效果。该方法易于使用，很少受不确定性因素的
2014年以来，在国际化石能源价格下跌、能源需求增速放缓和可再生能源稳步发展等多重作用下，欧洲电力产能过剩问题加剧，电企间的竞争日趋激烈，电价也出现大幅下滑。与此同时，随着巴
针对苏丹上阿特巴拉水利枢纽工程的软弱基础特点和工程要求,采用静力触探试验配合快速振冲处理的方法能有效地改善地基承载力,减小地基沉降,实现了工程建设效率高、施工速度
以定曲河古学水电站建设中的弃渣场选址规划问题为研究对象，通过对渣场选址相关因素的分析、各渣场优劣的比较，给出了渣场的选择方案，各弃渣场选址基本满足防洪、水土保持和环境
提出在Windows Server2003中邮件服务器与DNS服务以及DHCP等服务之间的交互式使用技巧。各服务组件在添加及配置好的基础上,配置邮件服务器中SMTP协议的远程域并设置＂允许将邮
随着金沙江溪洛渡、向家坝等大型水电站的投产发电,其电力外送及电网的安全稳定运行也越来越重要。从复奉-宾金直流送端电网的安全稳定控制系统的组成及功能入手,详细介绍了
Dithianon is a multi-site fungicide and has never been object of suspects and reports of reduced sensitivity and activity. Italian IFP technicians had the suspe
本文介绍了全范围模拟机常用仿真技术方案及其特点。以某EPR核电站所配全范围模拟机为例,通过分析其采用不同仿真技术方案开发的组成部分的运行原理及开发,介绍了各常用仿真
概述Native XML数据库的研究与发展现状,详细叙述Native XML数据库的基本概念、设计思路及技术特点。在此基础上提出基于纯XML数据库建立WebGIS的体系结构方案,并基于该体系结构实现了一个原型系统。