基于快速响应的导航星座重构构型设计

针对有卫星失效下的导航星座,提出发射快速响应卫星的方法来对星座的空间构型进行重构,以实现修复和改善星座性能的目的.对快速响应任务中快速响应卫星的发射方式和入轨方式进行分析,建立快速响应卫星响应时间的数学模型;建立基于快速响应的重构构型优化模型,对优化问题中的优化变量、约束条件、目标函数进行分析;以北斗中MEO卫星失效为例,利用NSGA Ⅱ算法对优化模型进行求解,并采用双层编码的方式对优化参数进行编码得到以星座性能和响应时间为目标函数下的Pareto前沿.从结果可以看出该重构方法能有效提升受损星座的性能,同时Pareto前沿中对应的所有重构策略中,响应时间均小于一天.     

应急任务响应时间最优的多星成像规划方法

针对优化多星应急成像任务规划的响应时间问题进行了研究。为避免优先规划应急任务对任务总收益的影响，提出一种优化应急任务响应时间的同时兼顾任务总收益的多星成像规划方法。首先，针对综合考虑应急任务和常规任务的多星成像规划特点，建立两级目标优化的约束满足模型；其次，将模型求解过程分解为任务时间窗选择和单轨动态规划两个部分，基于自适应免疫算法对时间窗选择进行优化，同时设计前向动态规划算法确定卫星单轨最优观测路径；最后，对所设计算法的性能进行了测试，并与其他算法进行了对比。仿真结果表明本文方法能够保证应急任务响应时间最优，并同时具备较高的任务总收益，适合于求解大规模的多星成像规划问题。     

分子筛供氧爆炸减压过程的数值模拟

 建立了爆炸减压时肺泡氧分压随时间变化的房室数学模型,对于分子筛供氧情况下爆炸减压过程进行了数值模拟,模拟结果和实测结果能够很好的符合.分析了飞行高度及供氧浓度对过程的影响.此模型为求解爆炸减压时肺泡氧分压降到临界值的时间提供了一种简单的方法,对高空飞行医务监督和应急供氧装备的设计有实际意义.     

涡扇发动机地面起动过程性能模拟

用积分方法建立了混合排气加力涡扇发动机起动过程模拟模型并用该模型进行了仿真计算,模型基于气动热力学方程、各部件特性以及经验关系式,根据给出的发动机起动过程初始条件、燃烧室供油规律等进行计算.为说明所建立的起动性能模型的模拟效果,将程序计算结果与试验结果进行了比较,结果表明该起动仿真模型能较准确地模拟混排加力涡扇发动机的地面起动过程.还分析了计算过程中对起动过程有比较大影响的因素,包括计算时间步长,起动机脱开转速,燃烧室总压恢复系数的经验系数,大气温度、压力以及海拔高度等.了解这些因素对起动过程及模拟结果的影响,便于通过修正的途径将该计算方法用于发动机地面起动性能的准确模拟.      

低功率N_2H_4电弧加热发动机高空模拟试验系统

介绍了用于低功率肼(N2H4)电弧加热发动机(Arcjet)的高空模拟试验系统,阐述了该系统中的高空模拟真空系统、推进剂供给系统、电源调理单元(PCU,Power ControlUnit)、微推力全弹性测量装置、数据采集系统以及其它配套设施.针对低功率肼电弧加热发动机地面试验的特殊要求,重点介绍了有毒推进剂肼(N2H4)的供给、微小流量测量、微小推力测量的方法与原理,并在该套系统上进行了系统功能验证性试验.试验证明,该套系统满足低功率肼电弧加热发动机高空模拟试验要求,为推进肼电弧加热发动机的研究与工程应用提供了保障.     

活塞式航空发动机二级涡轮增压系统匹配分析

针对高空小型飞机的动力要求,对某一级增压的活塞式航空发动机进行了二级增压系统的匹配设计分析.利用AVL boost软件建立了原发动机的一级增压模型,并根据实验数据进行了校核.在原机模型的基础上,建立了二级增压发动机模型,并且进行了匹配计算.计算结果给出了发动机不同海拔高度下的运行情况,分析了发动机主要参数对性能的影响.研究了旁通阀对二级增压系统的调节规律,确定了高低两级压气机总压比随发动机海拔高度的变化趋势.结果表明,二级增压系统能够为发动机提供足够的进气充量,保证在大气密度降低后发动机还可以产生要求的功率,取得了预期的效果.      

基于时间触发的1553B总线实时调度设计

为了优化1553B总线传输性能,降低总线消息传输的等待时间,提高总线带宽利用率和紧急消息响应的实时性,对1553B总线调度方法进行了研究,将周期性调度和抢占式调度策略相结合,设计了一种基于时间触发的1553B总线实时调度方法。在时间触发的基准下按优先级对总线消息进行集中调度,总线帧在总线上传输的时间内,处理器无需等待,可以继续处理其他任务。利用总线数据区分区的特性,设计了紧急消息打断普通总线消息传输的抢占式调度策略,避免了非重要数据较长时间占用总线通信信道,使得紧急消息能够快速响应。试验结果表明,该调度方法实现了总线消息尽最大能力传输,不仅能够较大幅度地提高1553B总线传输效率和带宽利用率,而且紧急消息的响应时间稳定在2ms以内,为紧急消息的实时响应提供了保证。     

氢氧火箭发动机高空模拟试验推力测量装置研制

为了保证氢氧火箭发动机高空环境下推力测量的准确性,针对氢氧发动机高空模拟试验的特点,结合推力测量装置的原理和实际布局的需求,开展了低温及真空环境影响下的推力测量装置结构设计研究。解决了小弹阻力的弹簧片设计技术、校准力与发动机推力轴线一致的控制技术、校准传力机构由动到静真空舱密封的实现技术以及管路约束力对推力测量影响的控制技术等难点,成功研制了一套推力测量装置,应用于某型火箭发动机试验中取得了较好的效果。     

拍合式电磁阀动态响应仿真分析与试验验证

根据电磁阀空载试验结果和电磁阀数学模型,对影响电磁阀响应时间的因素进行了分析.利用有限元方法和磁路分析法分别建立了拍合式电磁阀的仿真模型,用两种模型计算出不同弹簧刚度、弹簧预变形、衔铁质量、放电回路电阻、线圈匝数、非工作气隙下电磁阀的响应特性,以及这些参数对响应时间的影响程度.两种仿真计算结果和试验进行了对比,结果基本一致,根据结果分析了两种仿真方法的优缺点.总结出电磁阀在设计、生产时应重视的技术环节,对以后电磁阀设计工作具有指导意义.     

活塞式航空发动机的优化与标定

联合发动机循环模拟与标定技术建立小型活塞航空发动机动力性和经济性的多目标优化模型。对校验后的BOOST模型进行DOE(Design of Experiment)正交试验,对试验数据进行统计数学建模,并对局部模型误差进行控制,进行响应面模型分析,通过MBC(Model-Based Calibration)工具箱进行优化标定,选用经济适用的NBI(Normal Boundary Inter-section)进行多目标优化.给出了优化的点火提前角、喷油量的MAP图,优化参数对扭矩和燃油消耗等目标的响应面模型,对提升小型航空发动机性能有重要的参考价值.     

基于扩展Petri网的除冰软件安全需求建模和验证

Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题.     

Petri网在维修工作分析中的应用研究

分析了当前维修工作分析方法中存在的问题,在论述了Petri网技术优点的基础上,提出采用层次化的时间-着色Petri网技术来建立维修工作描述模型.探讨了Petri网描述逻辑条件与时序关系的方法,并给出了维修工作建模的程序.通过一个实例研究说明了Petri网技术在确定保障资源工作中的应用.      

一种基于面向对象Petri网的并发程序建模方法

介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述.     

基于Petri网的CASE全集成机制的研究

为实现全集成的环境订成机制，提出了基于Ｐｅｔｉｒ网的超文本形式模型和面向对象Ｐｅｔｒｉ网，Ｐｅｔｉｒ网的引入不仅可以统一ＣＡＷＥ环境的数据集成，控制集成和表示集成，而且可利用已有Ｐｅｔｉｒ网理论对集成环境进行性能评价。     

混合Petri网及其可达性分析

混合系统是由相互作用的离散事件动态系统和连续变量动态系统构成的复杂系统。文中建立的混合Ｐｅｔｒｉ网能够描述、分析生离散事件,以及离散事件或连续演变的并发问题,该网可以覆盖离散Ｐｅｔｒｉ网和赋时Ｐｅｔｒｉ网,从而使离散事件系统、实时离散事件和混合系统理论研究统一到同一理论框架中,此外还给出计算混合系统可达状态集的算法。     

基于Petri网的UML状态迁移策略

分析了统一建模语言(UML,Unified Modeling Language)状态图相关语义,阐述了Petri网基本特征和它所具有的建模事件并发、同步、冲突能力.为得到UML状态图无二义性的、可执行的和可验证的模型,在着色Petri网和层次化Petri网研究成果基础上,研究提出层次着色Petri网(HCPN,Hierarchical Colored Petri Net).HCPN中不同层的着色网CPN通过库所子网或变迁子网相关联.通过实例说明如何借助这些关联从HCPN中的CPN合并得到标注Petri网.标注Petri网可用于指导基于事件驱动的仿真过程,而标注Petri网转换得到的基本Petri网可用来进行特性分析,从而对所描述的UML状态图模型给出合理的评价,有利于建模系统的改进.      

部分可观Petri网故障的量子贝叶斯诊断

针对故障本身构建量子贝叶斯Petri网模型算法,并利用该子网模型进行Petri网系统故障分析。对于部分可观Petri网模型中的不可观故障,根据可达标识图分析变迁点火路径不能判断系统状态,建立量子贝叶斯子网模型,通过不确定路径引起的量子干涉重新标定变迁的条件概率表得到量子概率振幅表。根据故障变迁的前置集合并结合量子贝叶斯推理计算变迁触发的先验概率,由后置集合中的可观变迁修正后验概率,由最大后验概率估计系统所处状态,当故障变迁不唯一时,选取最大概率的故障作为故障源。以实际故障系统建立部分可观Petri网模型,结合可观标签概率序列信息和量子贝叶斯概率估计,对系统不可观部分进行故障诊断验证算法的有效性。      

一种软件测试过程的博弈模型

为分析软件测试的动态过程及其中诸影响因素之间的关系,运用博弈理论,提出了一种新的软件测试过程建模分析方法.建立了一种软件测试过程的博弈模型,并在此基础上对测试过程中的各方决策条件和博弈均衡条件进行了讨论,其结论有助于理论分析和解决"测试策略选择"和"何时停止测试"等问题.由于考虑了参与软件测试活动的各方利益和可能行为,此方法较之软件测试控制论更能够对软件测试过程中所出现的情况进行解释.本模型可为软件测试规程设计提供理论依据,增强软件测试过程的可管理性.      

液体火箭发动机后效冲量的测量方法

本文叙述在地面条件下试验液体火箭发动机时,通过测量发动机后效段推力与测量发动机燃烧室压力两种方法来求得模拟高空后效冲量,并对这两种方法作简单评论。