UM L顺序图的形式化定义与特性分析

以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图及组合顺序图的形式化定义;并在此基础上,详细讨论了UML顺序图中对象的消息发送特性和消息接收特性,给出了发送消息集合和接收消息集合的形式化定义;同时进一步分析了对象消息发送和接收之间的一致性问题;最后,通过实例分析,对UML顺序图的特性作进一步的解释.该形式化定义与特性分析为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,也为基于UML顺序图的测试用例的自动生成奠定了基础.UML顺序图的形式化描述可用于对软件结构的理解和构造可视化建模工具.     

航天器真空热试验测控系统软件结构设计与建模

统一建模语言（Unified Modeling Language,简称UML）是面向对象软件开发方法的重要技术,使用UML对软件系统进行建模研究,有利于提高软件开发的效率和可重用性等。文章给出了真空热试验测控系统软件架构和主要模块的结构设计,并利用Rational Rose结合UML对测控软件进行分析建模和设计。     

电子战特种飞机电磁兼容预设计技术

为解决飞机电磁兼容传统设计方法的不足,提出并采用自顶向下、全机系统量化的电磁兼容预设计方法,在特种飞机系统方案论证阶段构建能量传输模型和系统受扰的关联矩阵,通过数值仿真、行为级仿真、等效推算、模拟测试、数据统计等手段,分析机载设备、火工品、燃油和人员的安全性,对全机的电磁兼容进行评估、指标量化分配和优化设计,实现全机系统良好的电磁兼容设计状态;能针对分系统指标的变动随时分析全机电磁兼容性的变化,也可为实现全机电磁兼容而调整分系统指标.该方法在全机系统定型前充分暴露可能出现的电磁兼容问题,并最大程度将其解决在系统设计阶段.该方法已应用于多个特种飞机型号的电磁兼容研制中,预设计成功率高,为解决型号研制中的电磁兼容问题提供了重要的技术支撑.      

面向对象语言与过程语言比较之不足

在目前的很多软件过程领域里使用面向对象语言，但并非全部。应该把许多过程语言中被公认的好的特性引入其中，以改善面向对象语言的某些不足。     

Cessna—152飞机的进近着陆过程计算分析

本文应用ＳＬＡＭ—Ⅱ计算机模拟语言编制了Ｃｅｓｓｎａ—１５２飞机的进近着陆程序。ＳＬＡＭ—Ⅱ模拟语言具有数值积分功能，使连续过程的程序编写大为简便。用该程序计算分析了Ｃｅｓｓｎａ—１５２进近着陆过程中飞机各种运动参数对飞行员操纵的响应。     

IPL：运载火箭测试数据自动判读语言

为确保运载火箭测试数据的完整性与正确性，克服传统人工判读模式判读效率低、易误判漏判以及通用编程语言自动判读模式判读适应性、扩展性、复用性差的不足，提出并设计运载火箭测试数据处理领域的自动判读语言IPL（Interpretation Language），以及配套的语言解析与执行器，实现了运载火箭测试判据的形式化定义与描述，减轻了业务人员的学习、判读成本，使得海量测试数据的判读在分钟级即可全部自动完成，目前已在多种新一代运载火箭工程实践中得到成功应用。