讨论了应用马尔可夫模型方法分析容错导航系统可靠性的化简问题。
This paper deals with the simplification of reliability evaluation of Markov process for fault tolerant navigation system.
本文在信息的不确定性基础上提出了可拓信息的度量和可拓信息空间化简算法。
In this paper, we put forward extension information content and an algorithm for simplifying the extensive information space.
使用自动机理论建立了一个用于分析实时调度问题的、可化简归并的形式化方法。
A formal method of specifying and analyzing real-time systems was presented based on automatic machine theory.
应用推荐