武器装备体系弹性技术研究综述

武器装备体系是国防领域发展的战略需要,弹性是体系对缺陷、破坏做出响应和恢复的能力。本文给出了装备体系弹性发展现状、应用前景及有关建议。首先,对武器装备及其弹性的概念与发展现状进行辨析。其次,对不同领域弹性建模与分析评价方法进行评述。然后,分析给出装备体系弹性内涵及多层级分析框架。最后,对现有研究不足进行总结,并从技术发展及工程应用角度给出装备体系弹性未来发展趋势与建议。致力于推动装备体系弹性相关技术发展,提出相应发展建议,提升装备体系效能与实战化水平。

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. © 2016 Chinese Society of Aeronautics and Astronautics