图像和建模相结合的虚拟场景绘制技术研究

虚拟现实的基础和核心是虚拟场景的构造与交互操纵。有两种方法实现基于微机的虚拟场景：图像的方法(Image-Based Method：IBM)和建模的方法(Model-Based Method：MBM)，这两种方法各有其优缺点。基于图像的方法虽然逼真性和实时性都很好，但只能实时浏览，而不能实时操纵；基于建模的方法虽然支持实时操纵，但其真实感较差。文中在分别研究基于图像、基于建模虚拟现实理论与实现方法的基础上，充分发挥基于图像方法和基于建模方法各自的优点，实现了图像与建模方法相结合的虚拟场景系统。文中介绍了系统的结构、功能、典型实例以及若干关键技术。     

面向自主飞行器的嵌入式计算平台

基于模型的设计方法是目前嵌入式控制系统开发与设计的主流方法,而对嵌入式控制系统模型及其代码正确性的检验是亟待解决的问题。基于平台的设计理论,提出一种面向自主飞行器的嵌入式计算平台,该平台以基于模型的设计方法实现对复杂实时控制系统建模,并且在同一框架下完成模型到代码的自动生成以及对实时控制系统进行不同粒度的检验,即X在环仿真,包括模型在环仿真、软件在环仿真、硬件在环仿真。该平台的提出为嵌入式实时控制系统的开发与设计提供了建模及模型检验的一体化环境,提高嵌入式实时控制系统的开发效率。     

磁悬浮系统网络化控制器的设计与实现

以磁浮列车悬浮控制系统为对象,提出了网络化悬浮系统的控制方案,建立考虑网络时延下的悬浮控制系统模型,设计了基于模型的控制算法以对网络诱导时延进行补偿,建立网络化悬浮控制系统的硬件平台,并以单模块悬浮系统为对象进行了实验,仿真分析和实验表明了网络化悬浮控制系统的可实现性和控制算法的有效性.     

基于建模仿真的体系工程

通过军事、社会、制造等领域中的典型案例,介绍了复杂工程体系的概念和特点以及建模仿真对研究复杂工程体系的意义,以复杂产品制造为例,梳理了从系统工程到基于模型的系统工程(MBSE),再到基于建模仿真的体系工程(MSBS2E)的演变过程,分析了复杂工程体系建模仿真的特点和挑战,介绍了模型理论与方法、计算方法与平台以及不确定性...     

一种基于扩展有限状态机的自动化测试用例生成方法

扩展有限状态机(EFSM)是使用最广泛的测试模型之一.由于不可行路径的存在,运用EFSM模型生成测试用例仍然是个难题.本文提出了一种基于EFSM模型的自动化测试用例生成方法 (ATGEM).为解决不可行路径问题,首先提出一种基于数据流分析的路径可行性度量方法来预测路径的可行性,以尽可能避开不可行路径,提高测试用例自动化生成的效率.然后通过建立动态可执行模型来获取运行时反馈信息作为搜索算法的适应度函数(fitness function),实现测试数据和预言信息的自动生成.该方法结合静态分析和动态分析技术生成一个较优可行路径子集和对应测试用例来达到指定的覆盖准则,能够应用于多种数据类型的测试用例生成,适用范围较广.通过实验在多个EFSM模型上验证了ATGEM方法中测试用例生成和路径可行性度量方法的有效性,实验结果表明,利用路径可行性度量方法可以大幅度提高测试用例生成效率,与现有方法相比,ATGEM中的测试用例生成方法具有更高的效率.     

不确定因果理论诊断的测试

对不确定因果理论的诊断测试进行探索, 将初始测试条件从true推广到任意可满足的A, 提出对不确定前提条件测试的概念, 给出几个相关定理及其证明, 利用这些结果有助于判定诊断空间, 确定测试的优先序, 从而提高测试效率.     

系统工程和MBSE在正向设计增材制造整体解决方案中的应用

 阐述了基于正向设计和增材制造的高端研发与先进制造整体解决方案的架构，分析了系统工程在这一整体解决方案中的框架骨干作用，从系统工程技术过程的逻辑维、组织能力建设的认知维和人工物理系统全生存期周期的系统维3个维度出发，阐述了实施基于模型的系统工程（MBSE）对提升正向研制能力的作用。     

MBSE应用于航空产品研发的适航管理

 阐述了民机适航管理的重要内涵，分析了基于模型的系统工程方法论的应用对于民用航空产品适航管理带来的挑战，对基于模型的系统工程方法论应用于航空产品研发应关注的适航管理问题给出了管理建议。     

基于模型的飞控系统安全性分析研究

针对飞控系统安全性分析问题, 提出一种基于系统拓展模型(extended system model, ESM)的安全性分析方法。首先, 运用Simulink建立系统名义模型。然后, 对名义模型进行故障注入, 得到系统扩展模型, 观察故障情况下的系统响应并对系统进行安全性分析。最后, 选取操纵舵面系统(副翼/方向舵)为例。结果表明，系统故障拓展模型使得模型保持完整性和一致性, 能够模拟系统故障多状态模式, 保证了安全性分析结果的准确性和完整性。     

智能三坐标测量中的检测信息识别与获取技术发展

智能三坐标测量中的检测信息主要包括公差信息和几何信息,其识别与获取是实现计算机辅助设计技术与三坐标测量机集成的关键因素。介绍了智能三坐标测量技术的概念和基本原理,回顾了检测信息获取的发展历程和主要研究工作,基于当前全三维数字化设计技术的发展状况,讨论了一种基于模型定义的检测信息识别和获取方法。结合当前所承担的研究课题,针对通用三维设计软件下建立的零件模型,给出了检测信息识别与获取流程和实现结果。