论文部分内容阅读
以一个基本的连续流动体系对象，讨论了传统的仿真建模过程在程序模型选择方面存在的不足，并以程序正确性断言理论方法处理了该体系的程序模型选择问题，导出了必要的程序前置断言，不变式和循环界函数，从而给出了一个具体的规范描述和一个正确的程序实现。
连续流动体系仿真程序的形式化确定
【摘 要】
：
以一个基本的连续流动体系对象，讨论了传统的仿真建模过程在程序模型选择方面存在的不足，并以程序正确性断言理论方法处理了该体系的程序模型选择问题，导出了必要的程序前置断言
【机 构】
：
抚顺石油学院计算机科学与技术系
【出 处】
：
抚顺石油学院学报
【发表日期】
：
1997年4期
其他文献
介绍了作者在毕业论文期间为东北大学 Ｅ Ｄ Ａ 实验室开发的通用可编程 Ａ Ｓ Ｉ Ｃ 实验学习系统的原理及其结构
<正> 一、数字城市概念的提出数字城市是一个发展中的概念,目前尚没有一个统一权威的意见。据粗略统计,关于数字城市的概念,至少有30余种。所谓数字城市,从城市建设的角度看,
逛过了“社区”，看惯了博客，玩腻了微博，眼下，科技博客渐渐成为“博家族”中最吸引眼球的新成员。$$ 爱范儿、虎嗅、36氪、创见等一批科技博客，凭借快速精准的行业消息和产品信
学位
鉴于目前我国预防医学见习生"岗前"培训没有统一的教材,部分同学在见习过程中感到茫然,找不到见习医生的感觉,找不准预防医学生在临床见习中的定位。笔者近年来通过对见习生
论述了可编程 Ａ Ｓ Ｉ Ｃ 在现代电子技术中的作用，在可编程 Ａ Ｓ Ｉ Ｃ 设计中采用的一种方法——— Ｖ Ｈ Ｄ Ｌ 硬件描述语言及用 Ｖ Ｈ Ｄ Ｌ 实现计数器的实例
简述了高精度桥式传感器智能仪表电路设计方法，重点介绍了可编程仪表放大器ＡＤ６２５，Ａ／Ｄ转换器ＩＣＬ７１３５等芯片的应用电路，讨论了有关设计原理及一些需要特殊考虑的问题，给出了较为新颖的供桥电源电路
密封谐波齿轮传动是一种新型密封传动形式，具有向密封空间传递运动而无需动密封及传动比大，结构简单等特点，因而无需采用其他密封结构就能达到完全密封的目的，并可简化传动装置，降
回顾和讨论了国内外两相湍流数值模拟的现状和发展趋势，介绍了两相湍流方程组封闭模式及主要成果，同时指出了目前在两相湍流数值模拟中存在的问题和有争议的处理方法。着重介绍
一种用于有线电视网络的计算机辅助设计系统已经研制完成。ＡｕｔｏＣＡＤ软件历来用于机械领域的计算机辅助设计，而本课题的目标是：使用ＶｉｓｕａｌＣ＋＋和ＡｔｏＣＡＤ的Ｃ语言开发工具ＡＤＳ，开发一组ＡＤＳ应用程序，作为ＡｕｔｏＣＡＤ的功能扩充，将ＡｕｔｏＣＡＤ改