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方程计算了各基础油品的蒸发焓和蒸发熵。为吸热型碳氢燃料的调配和性能评价提供了基础信息。     

中国汽车产业市场结构分析和产业组织政策

从产业组织理论角度出发，对我国汽车产业的市场结构及其形成原因进行了分析，并通过对市场集中度、行业壁垒、市场容量等因素的深入研究，判定我国汽车产业的市场结构为垄断竞争型，存在过度竞争和规模不经济的问题，最后，在此基础上提出中国汽车产业组织政策的思路。     

光弹性数字图象分析方法研究

 本文论述了光弹性应力等倾线和等差线数字图象处理的原理和方法,解决了等差线稀少和等倾线模糊不清问题。给出了典型试件的应力分析,并与理论解进行了比较,精度令人满意。     

梯度投影法与改进简约梯度法的关系

对带有线性等式和不等式约束非线性规划提出一种改进简约梯度法。通常的方法需增加松弛变量将不等式约束化为等式约束，从而增加原问题的维数。新方法通过引入一个松弛向量，不增加原问题的维数。文中给出了改进的简约梯度法与Ｒｏｓｅｎ’ｓ梯度投影法之间关系。     

下行重力波波包在可压大气中的传播

应用ADI格式模拟下行重力波在二维可压大气中非线性传播。结果显示，重力波能量向下传输，波振幅明显衰减，与线性方程的数值模拟结果的比较表明，在非线性情况下，重力波仍可保持线性传播的某些特征，蜚 线性效应随波振幅的衰减对波包传播速度的修正作用很快变弱。     

慢走丝电火花线切割脉冲电源的研究现状及发展趋势

主要介绍了当前慢走丝电火花线切割脉冲电源的研究现状和新的发展趋势。