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

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

潜基导弹发射阵地优选辅助决策系统设计

在系统功能分析的基础上,运用UML建模技术从需求分析、系统结构以及系统交互过程3个方面对潜基导弹发射阵地优选辅助决策进行了建模设计。构建了系统需求描述的UML模型,通过分解用例模型,分析系统的类结构体系及关联关系建立了系统结构模型,运用顺序图构建了系统行为描述模型。该方法有效提高了系统设计效率,设计出的系统在实用性基础上,还具有复用性及拓展性。     

基于UML的卫星探测仿真系统模型设计

UML作为一种先进实用的标准建模语言和易于表达的面向对象建模工具,不仅可以从不同角度对系统进行描述,而且具有描述直观和便于交流等优点。在对卫星探测仿真系统需求分析的基础上,应用基于UML的开发工具Rational Rose分别建立了系统的用例模型、结构模型、行为模型和物理模型,并采用Visual C＋＋6．0对仿真系统进行了实现。实践表明,UML可以有效构建系统模型并提高系统的开发效率。     

基于UML的自动测试系统建模方法研究

为提供自动测试系统的领域知识，在对自动测试系统的特性进行研究的基础上，将UML引入自动测试系统的建模过程中，利用UML的扩展机制为自动测试系统的框架开发提供该领域的知识。通过为一个自动测试系统开发平台不同于常规软件产品部分的建模实例，给出了自动测试系统的特定领域知识的表达方式。     

基于UML的ERP系统中生产计划管理建模研究

论文主要针对离散型中小制造企业ERP系统中的生产计划管理子系统进行建模研究。在面向对象软件开发中的需求分析、系统分析和系统设计的系统建模各阶段中,运用UML(统一建模语言)中的各种视图建立了一个适用于离散型中小制造业企业ERP系统中的生产计划管理子系统的模型。     

实时嵌入式软件系统测试需求建模研究

使用形式化语言构建测试需求模型,有助于提高系统测试的自动化程度.UML状态图具有形式化特征,适合复杂系统详细行为的描述.本文基于面向对象思想,以状态图为核心技术,结合类图,提出了一种适合实时嵌入式软件的系统测试需求建模方法.该方法对被测软件系统的静态结构和动态行为进行建模,能清晰、完整地描述测试输入信息,包括前置条件、接口数据、激励事件、过程描述、后置状态等.并通过相关的建模机制实现了对实时性、并发性、时序性及数据反馈等约束特征的描述.基于该方法生成的需求模型,结合一定的测试用例生成策略,可以自动生成测试用例.作为示例,本文结合该方法对某飞行器控制功能进行建模,模型具有简洁、直观、易用的特点.     

基于资源扩展活动图的并发测试用例生成方法

对UML(统一建模语言)活动图进行共享资源的属性扩展,利用扩展的活动图对并发系统间任务的同步及数据的竞争关系建模,充分考虑并发软件运行原理、故障模式及测试效率,提出并发系统的测试覆盖原则及基于扩展活动图的并发测试用例生成方法。进一步通过举例验证该方法能够正确的生成并发测试用例同时又可防止用例数量爆炸,提高了并发软件测试的可靠性及效率。     

基于AvSim+的卫星可靠性建模与分析

基于AvSim+可靠性仿真分析软件,对卫星可靠性建模和分析进行了研究。首先说明了利用AvSim+进行可靠性建模的程序,给出了卫星系统中几种常见可靠性逻辑关系的建模方法,以及软件采用的蒙特卡罗仿真运算的原理和特点。然后针对典型卫星应用本文方法进行建模和分析,给出了部分分系统的分析结果。最后比较了基于AvSim+进行卫星可靠性建模分析与传统RBD方法的特点,基于AvSim+的卫星可靠性建模分析方法能更准确表示卫星系统的可靠性逻辑关系。     

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

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

统一建模语言UML及其应用

UML是面向对象的统一建模语言,是面向对象领域的重要成果.它的内容包括UML语义和UML表示法两个部分.本文简要介绍了UML语义,表示法的内容,并总结了它在某些重要领域的应用.     

基于互易关系的混响载荷建模方法研究

针对混合声振建模问题提出了一种考虑声腔几何形状的混响载荷建模方法。该方法基于互易关系将声腔的混响声压转换为结构表面的等效混响载荷,并考虑声腔的几何边界,可提高建模的准确性。该方法可省略对复杂的外混响声腔进行细节建模,因此能够简化建模过程并提高分析效率。典型系统的算例分析表明,该建模方法是有效的,能够考虑不同声腔边界对结构声振响应的影响。     

统一建模语言UML及其应用

UML是面向对象的统一建模语言，是面向对象领域的重要成果。它的内容包括UML语义和UML表示法两个部分。本文简要介绍了UML语义，表示法的内容，并总结了它在某些重要领域的应用。     

一种柔性多体动力学建模方法及其工程应用

针对具有多轴天线驱动、机械臂运动、空间站舱段转位等多体运动特征的航天器,提出了一种基于浮动基座和树形拓扑结构的柔性多体动力学建模方法,用于计算机建模和与控制系统联合仿真。基于拉格朗日方程和有限元方法所建立的动力学方程考虑了大角度刚体相对转动、弹性部件振动、柔性关节变形特性。将此建模方法程序化并应用于工程实际,可解决此类航天器复杂的机构运动与弹性振动的耦合动力学建模问题,实现完全自主的动力学建模、模型代码输出和控制联合仿真功能,为此类航天器的动力学特性分析及其控制系统设计与系统级仿真验证服务。结合带多轴驱动天线和大型柔性天线的整星对象,采用该方法建模并就系统频率、频率响应、时间响应与商业柔性多体软件Adams进行对比,结果显示二者一致性良好,验证了该建模方法及其软件实现的正确性和通用性。     

基于3DS MAX模型的无人直升机实时监控系统三维建模

分析OpenGL中三维建模的主要方法,结合共轴式无人直升机实时监控飞行系统的设计需要,得出利用3DS MAX的输出模型进行三维建模可以大大提高效率。分析3DS MAX主要输出文件的结构,指出OpenGL建模所需的要素。设计并实现了3DS MAX到OpenGL的模型转换模块,能够分离出3DS MAX场景中的三维模型,为在实时监控系统中再现3DS模型并构造监控飞行系统的三维场景提供灵活性。     

Petri网在机器人足球系统中的应用

足球机器人系统是一种典型的离散事件动态系统,很难用传统的数学模型表达式来表达。Petri网是一种系统描述和分析工具,由于它本身具有的某些优势,使得它在足球机器人系统中的应用越来越广。论文提出了应用Petri网对该系统建模的方法,利用该方法在对机器人足球比赛充分研究的基础上,建立了其Petri网模型,并通过适当的分析方法对其合理性进行了分析。该建模分析方法不仅适用于足球机器人系统,而且适用于其它离散事件动态系统。     

连续贝叶斯网络在系统动态安全性分析上的应用

复杂系统失效往往表现出动态行为和不确定性。针对系统安全性分析的动态问题及高精度难题,基于各种逻辑门,提出了连续贝叶斯网络建模方法,并将该方法应用于系统安全性分析。通过实例证明了该方法的正确性,结果表明该方法具有较高的精度。     

装备效能评估与建模仿真技术

装备系统效能评估是检验装备作战能力的重要手段,是武器装备体系发展战略规划的基础,对比分析国内外装备效能评估与检验的过程和方法,其中主要的一种手段就是作战仿真分析。在梳理分析典型军事仿真分析评估系统的基础上,提出了仿真系统的功能需求、分类和总体架构,围绕系统实现中建模与仿真面临的挑战,总结提出了跨层次(平台)仿真建模技术和多分辨率(模型)仿真建模技术。     

考虑权重因子的大型桁架可展开天线可靠性建模方法研究

引入权重因子,提出了考虑权重因子的大型桁架天线可靠性建模方法。权重比例因子用于描述各铰链不同的权重比例及位置权重。对于不能用传统可靠性建模思路及方法来进行建模的大型桁架天线系统是一种新的探索。本文提出的方法也可用于其它相似系统的可靠性建模分析。     

空间碎片捕获过程动力学建模综述

文章分析了绳系捕获系统建模及精细化、捕获系统低阶鲁棒控制器和捕获过程半物理仿真的研究现状,并提出了有关空间碎片捕获过程动力学建模及仿真验证领域待解决的一些基本问题,为研制空间碎片回收系统奠定了理论基础。     

基于DSPN的航天器系统级可测试性指标确定方法

为确定航天器系统级可测试性设计的指标要求,对一种基于确定与随机Petri网(Deterministic and Stochastic Petri Net,DSPN)模型的可测试性指标确定方法进行了研究。通过对航天器系统测试过程的DSPN建模,建立起系统级可测试性设计指标与其约束的联系,并利用求解模型同构的马尔科夫链来确定上述关系,文章同时给出了建模设计实例,进行了指标分析和验证。