| 实时仿真系统可信性验证 |
| |
| 引用本文： | 孙勇成,孙凌,江金龙,周献中.实时仿真系统可信性验证[J].系统仿真学报,2005,17(5):1101-1103,1124. |
| |
| 作者姓名： | 孙勇成 孙凌 江金龙 周献中 |
| |
| 作者单位： | 1. 南京理工大学自动化系,南京,210094
2. 南京理工大学计算机系,南京,210094;河南商业高等专科学学校,郑州,450052 |
| |
| 摘 要： | 实时仿真系统可信性验证是实时仿真理论研究及工程应用的重要内容。主要研究了实时仿真系统可信性验证，给出了验证的基本步骤，提出了从实时性、逻辑计算正确性及稳定性三个方面验证实时仿真系统可信性的观点；然后提出了三个指标来验证实时性，给出了各指标的定量计算模型；并研究了实时仿真系统逻辑计算正确性的相关问题，给出了逻辑计算正确性验证的基本步骤；最后分析了实时仿真系统稳定性验证。
|
| 关 键 词： | 实时仿真 实时性 逻辑计算正确性 稳定性 验证 |
| 文章编号： | 1004-731X(2005)05-1101-03 |
Creditability Validation of Real-time Simulation System |
| |
| SUN Yong-cheng,SUN Ling,JIANG Jin-long,ZHOU Xian-zhong.Creditability Validation of Real-time Simulation System[J].Journal of System Simulation,2005,17(5):1101-1103,1124. |
| |
| Authors: | SUN Yong-cheng SUN Ling JIANG Jin-long ZHOU Xian-zhong |
| |
| Institution: | SUN Yong-cheng1,SUN Ling2,3,JIANG Jin-long1,ZHOU Xian-zhong1 |
| |
| Abstract: | Creditability validation of real-time simulation (RTS) system is an important content of RTS theory research and project application. Firstly, we provide the basic validation procedure of creditability validation, and present the idea that validating the creditability of RTS system, the temporal behavior, logical computation correctness and system stability must be validated. Secondly, we present three indices with their quantitative mode to validate the temporal correctness, then research the relative issues and provide the procedures of logical computation correctness validation, and finally analyze the stability validation of RTS system. |
| |
| Keywords: | real-time simulation temporal correctness logical computation correctness stability validation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
