| 连续流动体系仿真程序的形式化确定 |
| |
| 引用本文： | 冷英男. 连续流动体系仿真程序的形式化确定[J]. 辽宁石油化工大学学报, 1997, 0(4) |
| |
| 作者姓名： | 冷英男 |
| |
| 作者单位： | 抚顺石油学院计算机科学与技术系 |
| |
| 摘 要： | 以一个基本的连续流动体系为对象，讨论了传统的仿真建模过程在程序模型选择方面存在的不足，并以程序正确性断言理论方法处理了该体系的程序模型选择问题，导出了必要的程序前置断言，不变式和循环界函数，从而给出了一个具体的规范描述和一个正确的程序实现。最后，所使用的过程抽象为一个仿真程序模型的形式化确定方法。该方法可以作为仿真程序模型形式化确定方法学的一部份。进而在程序模型一级为保证仿真建模的正确性提供了途径。
|
| 关 键 词： | 连续流动；仿真；建模；程序规范；程序正确性 |
A Formal Deterministic Method of Simulation Program for Continuous Flow System |
| |
| Leng Yingnan. A Formal Deterministic Method of Simulation Program for Continuous Flow System[J]. Journal of Liaoning University of Petroleum & Chemical Technology, 1997, 0(4) |
| |
| Authors: | Leng Yingnan |
| |
| Abstract: | Taking a basic continuous flow system as a discussion object, the disadvantages of traditional simulation modelling in respect of selecting program model has been studied. The program model of this system has been selected by means of program correctness assertion theory, and the necessary preconditions, invariant, loop-bounded function of program has been derived. Thus a concret program spesification and a correct progrom implementation has been obtained. Finally, the used process is abstracted to a formal method for simulation program model selection. This method can become a part of a formal deterministic methodologe for simulation programs. Therefore, it provides a way to guarantee the correctness of simulation modelling in program model level. |
| |
| Keywords: | Continue flow Simulation Modelling Program specification Program correctness |
| 本文献已被 CNKI 等数据库收录！ |
