基于仿真的系统需求约束问题求解算法研究

提出了一种基于仿真的求解系统需求约束问题的算法，它基于实际总理2中存在的独立单调性原理，采取了超盒数值逼近方法，高效地逼近所求的系统使命轨迹。该算法极大地缩减了搜索空间，并克服以前依赖解析函数关系求使命轨迹的缺陷，使得复杂系统的使命轨迹的生成成为可能，本文用该算法与相应仿真手段于一概念上的反隐身防空C^3I系统使命轨迹的生成，取得了较好的效果，最后，进一步讨论了提高算法计算速度的几种策略。

Simulation Based Algorithm for System Requirement Constraint Problem

A novel algorithm on the basis of simulation is put forward to solve the system requirement constraint problem in this paper. Based on the principle of independent monotony, the hyperbox is applied to numerical approximation of mission trace with high efficiency. By using this algorithm the search space is minished remarkably. Moreover, our algorithm gets over the limitation of depending on analytical function to get the mission trace, thus makes it possible to get mission trace of complex systems. As a verification, this algorithm is combined with simulation means to get the mission trace of a notional anti-stealth-fighter C3I. And the output is satisfying. Finally, this paper probes into the strategy for increasing the speed of the algorithm.