基于灰色关联分析的仿真模型验证及其改进

分析比较了仿真模型可信性验证常用方法的特点，把灰色关联分析方法运用于仿真模型的可信性验证中，给出了具体的操作步骤，然后分析了灰色关联分析模型运用于仿真模型可信性验证中存在的风险，并针对仿真模型可信性验证的特殊需要，对灰色关联分析模型进行了一定的改进，最后通用实例验证了改进的合理性及风险的降低。     

基于UML和Petri网的层次建模分析方法

提出一种新的UML和Petri网结合方式的建模分析方法。该方法采用从上到下的屡次分析方法，用扩展的UML模型对系统组织结构和系统的静态特征进行描述，用扩展的Petri网模型描述和分析系统动态特性，通过转化规则将Petri网模型转化成相应的状态图和序列图，然后集成所有的UML模型，通过Rational Rose等软件来实现代码。最后通过该方法，对一个FMS进行了建模分析。     

基于HJI不等式的鲁棒耗散性的判定

讨论一类带有界范数不确定性的仿射非线性系统的鲁棒无源综合问题,该系统具有输出馈通项且控制项系数带有参数不确定性。首先,基于Hamilton-Jacobi-Issacs（HJI）不等式给出系统是鲁棒耗散的充分性条件;在此基础上,利用相同的方法,给出在状态反馈控制下,系统可实现鲁棒耗散控制的充分条件,并且设计出相应的鲁棒耗散控制器。线性系统的相应结论作为特例。最后,给出数值算例说明本文结论的有效性。     

实时仿真系统可信性验证

实时仿真系统可信性验证是实时仿真理论研究及工程应用的重要内容。主要研究了实时仿真系统可信性验证，给出了验证的基本步骤，提出了从实时性、逻辑计算正确性及稳定性三个方面验证实时仿真系统可信性的观点；然后提出了三个指标来验证实时性，给出了各指标的定量计算模型；并研究了实时仿真系统逻辑计算正确性的相关问题，给出了逻辑计算正确性验证的基本步骤；最后分析了实时仿真系统稳定性验证。     

分布式实时仿真系统的实时性验证

实时仿真系统满足实时性要求是仿真结果可信的前提条件，要验证实时仿真系统的可信性首先要分析、验证实时仿真系统的实时性。由于分布式实时仿真系统组成复杂、类型多样，并且位置分散，其实时性分析更加复杂。重点分析了影响分布式实时仿真系统实时性的主要因素，提出了六个指标来分析其实时性，同时给出了各指标的定量计算模型，所提出的指标结合综合评估模型，可以判断具体系统是否满足实时性要求及满足实时性要求的程度。     

建模与仿真中验证与确认的测试与评估实现

M＆S的可信性问题是M＆S理论研究及工程应用的重要内容，VV＆A和T＆E都是为了提高和保证M＆S的置信度，降低仿真系统在实际工程应用中由于仿真结果不可信而带来的风险。首先深入分析了VV＆A与T＆E的关系，认为VV＆A更强调确保M＆S可信性的工作内容，T＆E更强调具体的实现方法，T＆E是V＆V的主要技术和方法，V＆V可以通过T＆E来实现；然后分析了M＆S中T＆E面临的挑战，研究了M＆S开发全生命周期中V＆V的T＆E实现，最后简要介绍了T＆E的充分性判定方法。     

一类非线性系统的自适应反馈无源化问题

讨论一类带有不确定参数的严格反馈系统的自适应反馈无源化问题,系统的相对度不小于1且满足参数的凸性假设。在反步法的框架下,利用反馈等价无源性定理和速度一梯度方法,逐步选择适当的输出和反馈变换,设计出使系统从新输入到构造输出无源的自适应控制器及参数修正律。所得的自适应反馈无源化控制器保证所有的信号都是有界的。反步法克服了反馈无源化设计时相对度的限制;凸性假设拓宽了系统未知参数是线性的常规假设。