基于UML的空空导弹仿真建模

采用统一建模语言对空空导弹仿真系统的建模过程进行了研究。通过用例图进行了空空导弹仿真系统的功能需求分析,采用包图和类图建立了空空导弹仿真系统的静态结构模型,给出了类包结构和类之间的继承和组合关系,对空空导弹仿真系统进行了功能分解。采用状态图建立了空空导弹生命期模型,给出了空空导弹从创建到销毁过程中的不同状态之间的转换关系。采用序列图对空空导弹发射后的动态行为进行了建模。最后采用C++语言对所建立的模型进行了仿真实现。     

基于有限状态机的Type A卡防冲突技术

在分析了Type A非接触智能卡防冲突的基本工作原理的基础上,采用有限状态机模型对卡上位冲突检测协议的实现算法进行了数学表述和状态转换的设计,并采用统一建模语言UML中的状态图描述了卡上的防冲突过程.最后,在智能卡芯片上实现了防冲突协议,实际应用证明系统运行正确.     

基于虚拟现实技术机载辅助决策训练系统的设计

针对虚拟现实技术在军事航空领域的应用,介绍了机载辅助决策训练系统的结构;阐述了如何利用Creator建立三维模型,构建虚拟训练场景,怎样使用Vega建立虚拟的动力学环境,以及利用面向对象的统一建模语言UML构建辅助决策支持数据库,最后用MFC环境整合完成了整个系统的设计,有利于提高参训人员的战术水平。     

基于UML的航空发动机仿真建模研究

面向对象建模技术是建立可重用和扩展灵活的航空发动机仿真软件的有效途径。本文论述了应用可视化面向对象统一建模语言(UnifiedModelingLanguage)建立航空发动机仿真软件模型的方法和过程,首次运用UML表示法中的用例图、类图、顺序图和活动图描述了发动机仿真软件模型,并用C++编程实现了仿真软件中发动机模型类库、算法类及图形界面类,在此仿真平台上成功的实现了某双轴涡扇发动机的稳态仿真和动态仿真。结果表明,UML是建立扩展灵活的发动机仿真软件的有力工具。      

在J2EE平台上开发电子政务系统的建模方法研究

阐述了我国建立电子政务系统的必要性；针对电子政务系统的特点，把J2EE(Java2 platform enterprise edition)平台和UML(Unified modeling language)建模方法引入到电子政务系统的开发中，设计出J2EE平台上电子政务系统的构架；在指出传统建模方法不足的基础上，根据此构架．给出了如何采用UML和Rational Rose实现J2EE平台上开发电子政务系统的建模方法．并通过实例验证了该建模方法的可行性。研究表明：在J2EE平台上开发电子政务系统，采用UML作为建模语言、Rational Rose作为分析、设计工具，可以完成从系统分析到系统设计、编码的完整过渡，从而可开发出高质量、可复用、可扩展的电子政务系统。     

基于Petri网和UML的工作流模型设计

介绍了工作流的概念及发展过程,讨论工作流建模的基本方法。重点分析Petri网和UM L在工作流模型设计过程中的应用,结合Petri网语义定义工具和图形化界面以及UM L的面向对象特点,形成基于Petri网和UM L的工作流建模方法。工作流模型的语义定义采用Petri网表达,给出工作流网的形式化描述。工作流系统的设计模型采用UM L进行定义,对于业务逻辑、执行过程、数据结构分别采用用户实例图、顺序图、类图进行描述。在工作流的实现上,采用软组件实现工作流服务组件的分布布置,并通过接口定义语言对功能组件中的服务进行发布。最后给出工作流的发展趋势,并计划开展工作流仿真和优化方面的研究。     

测试流程可视化关键技术研究与实现

本文属于火箭测发控系统软件领域,对流程可视化技术的关键技术进行研究.提出一种基于面向对象的分析和设计,将编译技术、MVC设计模式和UML理论结合起来应用的图形可视化技术,旨在降低测试流程定制和管理的复杂度、提高用户工作效率、降低测试成本.图形化界面设计支持对图元的移动、复制粘贴、图元属性值的设定和对控制结构的表达.利用该技术实现测试流程可视化系统,为用户提供直观的交互途径,解决了其他图形化技术无法解决的问题,满足了航天领域的高可靠性要求.     

应用UML建模航天测试数据库需求的过程

为有效地将面向对象方法及相应建模技术在航天软件应用中工程化,本文通过航天测试数据库开发实例,阐述了运用UML对面向对象软件进行需求定义和需求分析的过程。以该需求展开的设计及实现在型号试验中得到较好的验证,同时此过程方法对其他面向对象软件的需求开发也起到一定借鉴作用。     

基于UML的任务空间概念模型动态行为验证研究

动态行为的验证已经成为任务空间概念模型校验的重点和难点,而统一建模语言(Unified Modeling Language,UML)是半形式化的语言,难以进行动态行为的分析和验证,采用Petri网进行概念模型形式化验证是理论和方法研究的重要方向.论文提出了基于CPN的动态行为验证过程,论述了动态行为验证的主要内容,并应用CPN Tools对反导作战概念模型进行了动态行为验证,仿真结果表明概念模型是正确的.该方法可以提高模型校验的自动化水平,从而提高校验的效率和校验结果的可信性.     

UML软件开发过程和支持环境研究

从当前对软件工程过程的需求出发,结合软件工程领域的最新成果统一建模语言UML(Unified Modeling Language),重点讨论了适应需求变化的迭代式软件开发过程,提出了柔性软件开发模型.在此研究的基础上,设计了集成化UML软件开发环境的框架,指出其组成应包括UML可视化建模系统、UML模拟系统、UML代码生成系统和UML逆向变换系统4个部分,并提出了需要解决的问题.