离散事件系统监控理论及其在航天领域的应用研究

在概述了离散事件系统产生与发展近况的基础上,主要综述了描述离散事件系统逻辑行为的常用工具,如自动机、形式语言和Petri网,给出监控器设计的基本思路,并举例说明基于自动机模型的监控理论在飞行器中的最新应用,这些应用不仅证明了离散事件监控理论的正确性,而且拓宽了该理论的应用领域.     

虚拟仿真技术在载人航天器总装工艺设计中的应用

文章基于载人航天器总装工艺设计中虚拟仿真原理及应用体系,以“天宫一号”目标飞行器总装工艺设计为背景,对载人航天器虚拟总装环境的建立过程和方法进行了具体描述。对基于仿真的总装工艺规划以及总装工艺方案仿真分析的概念、目的、方法、工具和应用对象进行了阐释,对虚拟仿真技术在总装操作现场和在总装工装优化设计中的应用方法进行了论述并给出了具体实例。实际应用表明,虚拟仿真技术可以降低工艺设计人员对个人经验的依赖,提高工艺设计的效率和优化程度。     

一种GNSS中频信号模拟器的设计与硬件实现

提出一种用于描述GNSS中频信号的数学模型和用于模拟产生GNSS中频信号的功能模型。在此基础上,设计出GNSS中频信号模拟器的硬件实现方案,包括芯片选取,功能划分和工作流程控制,给出了软件仿真结果和实际观测结果。该方案实现简单,通过修改相应的算法模块可以模拟各种类型GNSS中频信号,对各类接收机捕获、跟踪及测量精度进行标定,为我国新一代导航系统应用和发展提供了开放式平台。     

面向航天领域的模型驱动软件设计开发方法

针对航天嵌入式任务关键软件特点,研究基于AADL模型,实现对其结构模型、行为模型、故障模型和执行模型的多维度描述。通过构造其代码规则模板,实现从模型到源程序的自动化映射,降低编程工作量。研究将AADL模型转换为故障树模型和时间自动机模型,分析验证软件安全性与可调度性;通过构建航天领域模型库,支持大规模软件复用。最后,基于所开发的航天型号软件模型驱动开发平台,对航天飞行器GNC系统的软件开发进行了初步验证,结果表明模型驱动的软件开发方法能有效提高航天型号软件开发效率和质量。     

基于时序逻辑的复杂环境下无人机运动规划算法

本文主要考虑基于时序逻辑的无人机运动规划问题。一般地，解决该问题的算法包括两个阶段:上层综合阶段生成一条可行的离散规划;低级综合阶段结合离散任务规划设计无人机的控制输入。但是当第一阶段失败时，即线性时序逻辑(LTL)任务在当前环境中无法实现时，我们希望系统能够进行一定的调整。本文提出了一种任务重规划算法，在深入理解模型检查原理的基础上，利用初始任务自动机生成一个松弛乘积自动机，进而获取有效的离散任务规划;同时设计一个自动机的权重函数，确保该规划在最小程度上违背初始任务所提出的约束。本文提出的重规划算法解决了时序逻辑在复杂环境中无法实现的难题，扩大了时序逻辑在无人机运动规划中的应用范围，同时增加了系统的鲁棒性。     

警戒雷达录取终端模拟器设计

介绍了两坐标警戒雷达录取终端中模拟器的设计.该模拟器对雷达真实回波进行模拟仿真,包括运动目标模拟、噪声/杂波模拟等,重点描述运动目标与噪声/杂波的生成模型与软/硬件设计.通过该模拟器可以有效检验两坐标警戒雷达的多目标检测跟踪性能与检测方式,具有一定参考价值.     

模拟训练系统中虚拟仪表设计的方法学研究

在武器装备模拟训练系统研制领域,基于DiSTI GL Studio的虚拟仪表技术已得到广泛应用.针对虚拟仪表设计在模拟训练系统开发过程中存在的实际问题,从虚拟仪表设计的方法学角度出发,在分析虚拟仪表一般设计过程的基础上,重点研究了仿真模型可复用性和多线程机制在虚拟仪表设计中的实现.工程实践表明,这些方法可以大幅提升虚拟仪表的设计质量和虚拟仪表与训练系统的集成效率.     

月壤钻取与整形过程中样品层理保持特性分析

基于离散元方法建立了考虑颗粒间扭转、弯曲力矩及等效引力作用的三维离散元月壤模型,利用三轴仿真试验标定模型细观参数,得到满足真实月壤宏观力学特性的仿真模型。对月壤钻取和整形过程进行了仿真设计,提出了"分层概率法",以每层月壤在运动过程中向邻层错动的概率评价层理保持特性。由仿真结果可知:月壤钻进取样过程中样品层理信息会遭到钻取和整形两次破坏,二者破坏程度相当,且越靠近表层层理信息破坏越严重。分层概率法可有效描述月壤钻取与整形过程月壤样品的层理信息破坏情况,分析结果可为月壤采样机构设计提供参考。     

着陆作用下月尘激扬的三维离散元分析

基于模拟月尘的细观颗粒形状,采用刚性圆球单元重叠法建立了4种典型不规则模拟月尘颗粒的三维几何模型.根据月尘所处环境和颗粒间接触特性,建立了月尘离散元接触力学模型.通过三轴压缩实验离散元模拟的结果和模拟月尘的实际三轴压缩实验数据的对比,确定模拟月尘颗粒的三维离散元模型参数.采用建立的模型和获得的参数,进行了圆盘模拟体着陆...     

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

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