基于模糊Petri网的维修保障活动可视化建模与仿真研究

介绍了模糊Petri网矩阵推理算法,并对模糊Petri网中的元素进行了抽象定义,同时,为了仿真实现矩阵推理算法,定义了用于存储模型数据和中间计算结果的动态数组,并给出具体代码建模流程图。最后,作为验证实例,应用飞机前轮更换轮胎对该维修保障活动仿真软件进行验证。结果表明,该软件可对该维修保障活动进行建模,即直观清晰地体现出飞机某环节维修保障活动的进程,同时也可以根据相关参数进行分析,将能为在航空系统产品保障效能评估中找出可靠性、维修性、测试性和保障性设计存在的薄弱环节提供技术支持。     

卫星星体对多波束天线的散射影响分析

地球静止轨道(GEO)移动通信卫星,多采用大反射面天线及多馈源组成的空间可展开多波束天线系统,具有更高的天线增益,并提高了整体系统性能,但由于过于庞大的天线反射面和馈源阵列,在整星结构构型布局中难免由于卫星星体或其它机构部件的存在而造成散射.文章主要针对GEO移动通信卫星星体对多波束天线散射影响问题,利用仿真分析软件,...     

星载蓄电池组软件V/T充电控制技术研究

蓄电池组作为整星的储能部件,其充放电循环寿命是制约整星寿命的重要因素之一。适当的充电控制手段能有效地延缓蓄电池性能的衰降,延长卫星的使用寿命。文章分析了目前基于硬件模拟电路的蓄电池电压/温度（V/T）曲线充电控制技术的特点和局限性,提出了一种采用电源控制计算机软件实现的V/T曲线充电控制方法,其针对蓄电池可能出现的开路...     

基于QFD和TRIZ的可信软件技术冲突解决方法

为解决软件开发中的技术冲突及提高软件的可信性,提出了基于质量功能展开(QFD)和发明性问题解决理论(TRIZ)的可信软件技术冲突解决方法.首先构建可信软件规划质量屋,在软件开发过程中引入用户视角;其次,重点分析质量屋的技术特性自相关矩阵中呈负相关的技术特性,尝试用TRIZ的发明创新原理予以解决,获得多个可行的创新性解决...     

液体火箭发动机模块化通用仿真

以大型液体火箭发动机研制为背景,根据模块化建模思想和通用仿真要求,提出一种具有良好通用性和系统组织能力的仿真方法,数学模型在模块内的存储形式是代码文本,操作者只需从界面即可添加模型,扩展模块库.描述了实现这种方法的软件架构,在Microsoft Visual Studio 6.0平台上,采用C++语言开发出该仿真软件,...     

飞行器轨迹优化方法综述

飞行器轨迹优化是飞行器总体设计的关键环节,特别是在现代空间飞行器和高超声速飞行器设计过程中发挥着重要作用.在全面调研国内外现有轨迹优化技术的基础上,提出了飞行器轨迹优化新的分类方式,概述了多种飞行器轨迹优化的原理和应用,并详细分析了各自的优缺点和发展趋势.最后介绍了现在实际应用的多种轨迹优化软件.     

基于仿真系统的GUI测试模型

基于仿真系统的GUI测试模型的规划方法,将GUI软件界面的各种图形对象以及其属性看作是维度,图像对象的属性的具体值作为维度数据,将软件的各种功能操作看作是事件,在不同的事件交互中,通过抽取不同的维度,建立测试模型,并对模型中抽取的维度映射维度数据,用模型语言完整准确地描述被测试软件系统,并使用事件交互图完成测试模型与自动化的测试工具的对接,提出了一种全新的GUI软件测试方法。     

TIA前机载软件成熟度评估的相关研究

率先引入rFAA（美国联邦航空局）提出的软件成熟度的概念。局方正式签发TIA（型号检查核准书）前,在软件的构型和符合性均未达到最终冻结状态的情况下,通过对软件的成熟度进行有效评估,可以为验证试飞前软件的工程批准提供有力的支持与保障,在一定程度上降低局方飞行试验的风险,保障适航验证试飞活动的顺利开展。由于机载软件成熟度足一个新兴的概念,目前局方（FAA、CAAC）对于如何进行成熟度评估尚未形成正式的、通用的政策性指导文件,国内主机厂对此问题也没有相关的处理经验和具体的操作方法。基于机载软件本身的特点,参考局方在机载软件审查时的主要关注点,提出了TIA前机载软件成熟度评估的基本考虑要素与分析重点。     

基于黑盒测试环境的交会对接软件时序分析技术及应用

航天器空间交会对接难度大,GNC软件对任务的完成起到重要作用.由于交会对接控制软件功能复杂,时序要求严格,这对软件测试提出了很高的要求.基于黑盒测试环境,利用FPGA设计方法和时序分析技术,实现了对交会对接软件重要数据运行时序的捕获和对上下行信号相位关系的跟踪,完善了故障触发和上行注入手段.该测试环境在交会对接软件研制过程中起到重要作用.     

一个识别零件几何与工艺特征的自动分类系统

提出了一种在成组技术中应用模糊综合评判理论识别零件几何与工艺特征、进行计算机辅助零件分类的新方法，据此设计了自动分类软件。本法是根据零件本身间的相似性自动分类，不需建立一套分类用编码系统，也不需事先设定假想零件。对不同的分类要求，修改各种输入信息很方便，具有柔性。本文对２３００个航空附件回转类零件作了试验分析，讨论了特征抽取，目标类别，权级、权重分配，模糊关系矩阵计算，及自动分类应用软件设计．本软件是在ＩＢＭ－ＰＣ微型计算机上用Ｆｏｒｔｒａｎ－７７语言实现的，分类结果满意，自动分类正确率达９０％以上。本软件设计方法也适用于设计管理部门．