过冷度对飞行器贮箱热力学排气系统性能的影响

为了研究低温推进剂贮箱的压力控制特性和热力学排气系统的运行特性,建立了耦合贮箱内流体流动相变过程与热力学排气系统(TVS)的数学模型,对TVS系统运行后贮箱的压力和温度变化进行了仿真计算。在以液氮为贮存工质的低温流体高效贮存平台上,进行了仿真模型的验证。分析了不同液体过冷度对低温贮箱温度和压力控制特性的影响。研究发现,在相同的在轨贮存周期内,对于饱和状态的液氢和液氧,TVS只有在排气模式下才能实现低温贮箱的压力控制,而对于过冷状态的液氢和液氧,TVS只需进行混合模式运行便可实现低温贮箱压力控制,且TVS混合运行时间随液体过冷度的增加而减少,16 K液氢时TVS的运行时间(546 s)相比于20 K液氢(663 s)减少了17.6%,78 K液氧时TVS的运行时间(2 760 s)相比于90 K液氧(16 469 s)减少了83.2%。过冷液体与气枕的混合可以实现低温流体在轨贮存过程中的零排放。     

基于聚类的多标记选择性集成

多标记学习和选择性集成是机器学习中的两个热点研究问题。本文利用聚类思想探究多标记学习中的选择性集成, 提出了两种具体的多标记选择性集成算法：基于最小距离的簇中心选择算法（Minimum distance based cluster center selection,MDCCS）和基于K-means的簇中心选择算法（K-means based cluster center selection, KMCCS）。在所提出的算法中,如何度量学习器之间的距离是其能否成功的关键因素。本文首先基于学习器的分类结果对其进行重新表示,在此基础上给出了学习器之间距离的计算方式。此外, 对于算法中的空簇问题给出了两种解决方法。基于Mulan数据库中的多标记数据集和5种评价指标对所提算法进行了详细的分析,实验结果表明了所提算法的有效性。     

锥体目标进动的宽带雷达特征分析

进动是锥体目标空间自旋飞行时特有的运动特性,通过刚体姿态动力学原理,采用微动分析方法分析了光滑表面锥体弹头目标的空间进动模型,并由雷达电磁散射原理建立了目标宽带回波模型.通过散射点仿真模型和电磁仿真数据,采用周期检验的方法分别对锥顶和锥尾散射点的进动参数进行提取,验证了分析和模型的正确性.     

离子辅助沉积Al膜层增强Ti811钛合金高温微动疲劳抗力

为提高Ti811钛合金高温微动疲劳抗力,利用离子辅助沉积技术在Ti811钛合金表面制备Al膜层。对比研究多弧离子镀(MIP)和离子辅助多弧沉积(IAD)Al膜层的膜基界面成分分布、膜基结合强度、显微硬度、摩擦学性能。探讨IAD铝膜层对Ti811合金微动疲劳抗力的影响。结果表明,利用离子辅助多弧沉积技术可以获得膜基结合强度高、硬度低、减摩润滑性能好的Al膜层,该膜层能够显著提高Ti811钛合金350℃时的微动疲劳抗力。     

面向软件源程序的模型检验技术

模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查.     

A hazard analysis via an improved timed colored petri net with time–space coupling safety constraint

Petri nets are graphical and mathematical tools that are applicable to many systems for modeling, simulation, and analysis. With the emergence of the concept of partitioning in time and space domains proposed in avionics application standard software interface(ARINC 653), it has become difficult to analyze time–space coupling hazards resulting from resource partitioning using classical or advanced Petri nets. In this paper, we propose a time–space coupling safety constraint and an improved timed colored Petri net with imposed time–space coupling safety constraints(TCCP-NET) to fill this requirement gap. Time–space coupling hazard analysis is conducted in three steps: specification modeling, simulation execution, and results analysis. A TCCP-NET is employed to model and analyze integrated modular avionics(IMA), a real-time, safety-critical system. The analysis results are used to verify whether there exist time–space coupling hazards at runtime. The method we propose demonstrates superior modeling of safety-critical real-time systems as it can specify resource allocations in both time and space domains. TCCP-NETs can effectively detect underlying time–space coupling hazards.     

灵敏度及鲁棒稳定性理论在导弹发射决策中的应用

本文运用系统敏灵度理论分析了多变量系统在参数摄动条件下的动态特性。为了提高系统鲁棒性,对影响系统动态性能的不同参数偏差间的相互补偿、最优搭配及对判定域的影响进行了研究。本文旨在给出一种简单、实用的方法,以便在某些参数超出允许限的条件下,为现场指挥决策提供系统有关的定量信息。     

消逝波存在的证明和新型热象仪原理方案的探讨

光从光密媒质射向光疏媒质时,若入射角大于临界角,则发生全反射,但在光疏媒质中仍有电磁波存在,这个电磁波称为消逝波。本文介绍了一种装置,使从光疏媒质一侧成象在界面上的红外象,转换成可见光象,从而间接证明了消逝波的存在;同时探讨了如何利用这种装置构成新型热象仪。     

一种攻击大机动目标的变参数组合导引律

针对目标作大机动时的导引问题,提出了一种既简单又有效的比例加变结构组合导引律,给出了其设计机理,并在理论上对变参数进行了优化设计。通过仿真结果比较,验证了此组合导引律可以在固定时间内明显地减少追踪者的脱靶量。     

吸热型碳氢燃料基础油的饱和蒸气压测定

根据拟静态法原理,采用斜式沸点计建立了一套适用于多组分体系饱和蒸气压测定的装置。测定了用于制备吸热型碳氢燃料的一组基础油器在一系列温度下的饱和蒸气压,用Antoine方程关联了饱和蒸气压与温度的关系,同时根据Clausius-Clapeyron方程计算了各基础油品的蒸发焓和蒸发熵。为吸热型碳氢燃料的调配和性能评价提供了基础信息。