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

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

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

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

UML在电子战图形显示系统设计中的应用

UML建模语言使用面向对象的概念来分析描述软件系统并构造系统模型 ,是一种在大型复杂系统建模领域中得到认可的“优秀的软件工程方法”。介绍了利用UML的静态建模和动态建模机制开发综合电子战仿真系统图形分系统的方法和过程 ,并给出了部分分析实例。     

面向飞行器多学科设计优化的主模型技术

针对飞行器多学科设计优化对系统级建模的要求,提出了一种融合各学科模型的主模型建模技术.采用结构-行为-功能三组元描述了多学科设计的概念模型,并指出MDO建模所要解决的耦合问题.在此基础上,定义了多学科主模型.结合MDO的理论模型,建立了由系统结构模型、系统功能模型、学科结构视图和学科功能视图组成的主模型,采用三个转换模块在主模型内部解决多学科耦合问题.描述了基于CAD软件构建主模型的方法和步骤,并综合主模型、CAD、CAE、多学科优化、软件集成等技术,建立了多学科设计系统的构架.以高超声速飞行器为例,在CATIA环境中建立了包括:气动、发动机、弹道、结构、隐身、气动热/热保护系统等六个学科的主模型,初步验证了主模型技术在MDO问题中应用的可行性.     

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

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

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

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

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

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

航天器回收着陆仿真软件系统(ARLSSS)简介

文章主要介绍了回收系统工作过程仿真软件系统。通过运用基元模型和分层建模的思想以及面向对象的程序设计方法 ,ARLSSS(AerocraftRecoveryandLandingSimulationSoftwareSystem)构建了一个开放的回收系统仿真平台。在此基础上 ,分别构建了神舟 (SZ)飞船和某型号卫星回收过程两套仿真系统 ,较好地实现了用户界面前后处理关系和逼真的可视化模块。ARLSSS已经在几个回收系统的仿真中得到了成功地应用。     

航天器回收着陆仿真软件系统（ARLSSS）简介

文章主要介绍了回收系统工作过程仿真软件系统。通过运用基元模型和分层建模的思想以及面向对象的程序设计方法，ARLSSS(Aerocraft Recovery and Landing Simulation Software System)构建了一个开放的回收系统仿真平台。在此基础上，分别构建了神舟(SZ)飞船和某型号卫星回收过程两套仿真系统，较好地实现了用户界面前后处理关系和逼真的可视化模块。ARLSSS已经在几个回收系统的仿真中得到了成功地应用。     

低轨星座系统业务建模与仿真

低轨星座系统组网复杂,业务类型多且动态性强。为对系统业务进行分析和估计,首先 构建其业务建模与仿真框架,其中业务模型分为业务源模型和网络模型,业务源模型采用分 层触发方式实现对网内用户行为的精确描述,网络模型采用模块化方式以增强可扩展性。在 此基础上,针对“天基＋地基”模式的星座系统建设方案,对境外业务进行分析,基于业务 模型设计仿真场景,通过仿真获得不同用户数下星际链路所需承载的业务量,较好地解决 了卫星星际链路有效载荷的重量分配问题,为低轨星座系统的设计和性能评估提供参考。
     

装配工艺知识建模研究

为了实现装配工艺知识的共享和重用,在归纳分析大量装配设计领域知识的基础上,构建了装配工艺知识的本体模型,并提出了装配工艺设计的知识建模流程。以齿轮减速器为实例,利用OWL本体描述语言和Protégé本体编辑工具,实现了齿轮减速器装配工艺知识本体的形式化描述,并用RacerPro本体推理机进行推理验证,以保证本体概念保持一致并分类完善。最后,本体被存入数据库完成了装配工艺知识建模,为构建装配工艺设计知识管理系统奠定了基础。     

基于动态链接库的虚拟仪表建模与仿真

仿真模型的可复用性是建模与仿真领域的研究重点。在分析基于DiS-TI GL Studio的虚拟仪表一般设计方法基础上,从提升仿真模型可复用性角度出发,研究了基于动态链接库的虚拟仪表和虚拟面板设计方法,提出了仿真系统中虚拟面板的动态加载技术。工程实践表明,该方法可以显著提高仿真模型可复用性,为复杂武器系统中虚拟面板与仿真系统的融合提供高效解决方案。     

飞行器设计与试验的虚拟样机技术

虚拟样机是建立在CAD/CAM、系统仿真和虚拟现实基础上的一种新概念技术，它将成为未来飞行器设计、运行和实验的重要技术手段。本文探讨了飞行器虚拟样机设计与仿真环境系统框架，对虚拟样机设计环境的系统结构、建模和虚拟实验进行了详细介绍，包括研究意义、发展背景、概念定义、设计要求、系统构成和研究开发任务等内容，旨在探讨面向飞行器系统虚拟样机及设计环境的研究与开发思路。     

基于马尔可夫模型的液体火箭发动机状态监控方法研究

本文介绍了动态系统马尔可夫模型描述方法，在动态系统马尔可夫建模理论基础上提出了基于马尔可夫模型的液体火箭发动机状态监控方法，最后，根据某型发动机的实际数据给出了仿真结果。     

航天软件中多重中断程序的动态检测方法研究

随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加.本文根据飞控系统的具体特点,使用标记迁移系统对多重中断并发程序进行建模,提出了原子性违背和数据竞争的形式化描述,运用动态偏序化简算法对程序的状态空间进行化简,并设计实现了多重中断控制系统程序的动态检测工具,实验结果表明该检测算法可以在满足对多重中断并发程序错误检测的基础上,大大的缩短检测时间.     

航天软件系统事故机理与模型研究

随着航天软件系统规模、复杂度、软硬件交互程度的提高,系统事故可能不仅涉及软件或硬件失效,很多情况下还可能由于系统部件间的交互紊乱等原因所引起。传统的事故链等模型在描述结构、交互关系复杂的航天软件系统事故时存在局限。本文在梳理航天软件系统事故因素、分析系统事故机理的基础上,建立了缺陷模型库,并提出了一种可清晰描述复杂软件系统事故发生、缺陷形成机理的事故集成模型及建模方法。上述机理及模型研究成果,可用于事故的分析与预防,以及前期的安全性设计与质量管理等工作,对于提升软件系统的安全性具有重要意义。     

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

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

空间预警仿真系统研究

以美国的空间预警系统SBIRSHigh为参考,对空间预警系统的建模与仿真进行了研究,提出了仿真系统的设计思路,采用模块化建模的方法建立了相应的仿真模型,并对模型中最复杂的部分——场景生成模型进行了详细的描述。     

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

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

产品协同设计及实现技术研究

在分析产品设计过程的基础上,从静态和动态两个方面描述了产品设计模型,在此基础上建立了产品协同设计模型。通过eMatrix平台,实现了基于WEB的协同设计系统。