论文部分内容阅读
在介绍程序正确性的定义和良序集的概念基础上，对良序集证明程序终止性思路和步骤进行了分析，利用实例来证明程序的终止性。
基于良序集方法的程序终止性证明
【摘 要】
：
在介绍程序正确性的定义和良序集的概念基础上，对良序集证明程序终止性思路和步骤进行了分析，利用实例来证明程序的终止性。
【机 构】
：
宁夏大学数学计算机学院
【出 处】
：
软件导刊
【发表日期】
：
2009年6期
其他文献
传统的边缘检测方法对模糊边缘图像不敏感。改进了模糊边缘检测算法,用min-max重心法模糊推理该点的边缘隶属度,实现边缘检测。给出了应用本算法边缘检测的实例,并与传统的边缘检测算法进行了比较。结果表明,本算法比传统算法边缘检测效果好。
以基建管理系统开发平台为基础，提出了应用系统中统一事务管理的解决方案，使得在该平台上进行二次开发的应用系统可以很容易应用事务管理，同时可以使应用系统框架很好地管理不同
通过应用VirtualPC软件技术，阐述了VirtualPC软件在网络操作系统实验中的实际意叉和优势，说明在实验教学中引入VirtualPC技术能解决实验室设备不足、条件受限的问题。介绍了虚
在Flash课件的制作过程中，需要对声音素材实现精确控制。介绍了用Flash软件中的Sound对象控制声音素材的具体实现方法。
针对服务器端与嵌入式客户端之间通过GPRS通信存在连接不连续性的问题，研究了一种基于．NET框架下的异步消息处理机制。并利用这种机制提出了一种在网络通信连接不连续情况下实
通过对新的框架Struts2．0，Spring2．0，IBatis的研究，提出了在J2EE平台下Web项目的开发用Struts2．0框架作为表示层，Spring2．0框架作为业务层，IBatis作为数据持久层，然后将3种技术框架整合
应用层多播（ALM）作为IP多播的替代在互联网中得到广泛的应用。提出一个新的基于优先级的动态分层应用层多播模型CDMP（The Classified Dynamic Model Based on the Priority in A
研制了一种磁罗盘为主、角速度陀螺为辅的组合航向系统。该系统能根据外界干扰磁场的变化自动切换传感器的工作状态，从而获得满意的航向精度和信息的可靠性。提出了以单片机为
通过具体案例分析，提出采用Web服务和SOA架构建设电子政务系统，对Web服务概念和SOA概念作了详细介绍，最后对电子政务系统建设方案进行探讨，并指出这种方案的优点。