仿真和建模的VVA软件工具库研究

本文研究了水下航行器仿真模型库、数据库以及用于模型验证、确认和鉴定(VVA)方法库的功能和构建方法,首次将人工智能和层次分析(AHP)方法引人仿真置信度评估研究,在解决各软件平台互连技术(ODBC)的基础上,完成了仿真和建模的VVA软件工具库的设计和实现。初步应用表明,本项研究对于系统仿真置信度综合评估具有实用价值。

时间Petri网在即时检验流程建模中的应用

针对即时检验系统的设计与开发建模问题,提出一种基于时间Petri网的并发系统建模分析方法,为即时检验流程设计建立较为准确的信息化模型。通过将活动持续时间概念引入Petri网模型中,提出了适用于即时检验系统建模的时间Petri网建模方法,并设计了嵌入Petri网模型中的调度仿真器协助分析、优化即时检验控制过程。仿真实验结果表明所提出的时间Petri网建模方法在可达节点和运行时间等方面能够满足并行多类别即时检验调度与控制系统的流程建模实际需要,为流程仿真和分析提供有力工具,从而辅助系统设计者对即时检验系统进行优化。

蓬勃发展的计算机仿真技术

利用对象模型对对象进行研究,是人类研究自然界最古老的科学工程方法之一。它的历史可追溯到两千年前,人类在建筑、造船等行业中对比例模型的应用。这种属于物理模型的模型研究方法今天在航空航天、建筑、船舶、汽车等许多工业系统的实验研究中心仍然可以见到。但是,采用形式化模型即数学模型的方法去研究自然界,则成为现代科学工程方法的基础,几乎绝大部分的科学研究工作中都离不开形式化过程和建模问题。建立系统模型,运转并实验这个模型去研究一个现有的或设计中的系统,称之为仿真。