讨论了应用马尔可夫模型方法分析容错导航系统可靠性的化简问题。
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.
研究了一类奇异线性系统初值问题可解的充要条件及通解公式，给出了奇异线性系统的化简方法及其简单形式，所得结果统一和推广了正常线性系统的相应结。
The formulas of general solutions and sufficient and necessary conditions of solutions of the initial value problems for a class of singular linear system are studied.
通过化简故障诊断方程，建立灵敏度矩阵的奇异性与测试频率的关系，从而直接判断故障诊断方程的可解性。
By simplifying diagnosis equations, the relation between testing frequency and matrix singularity is established to identify the existence of equation's solutions directly.
通过化简故障诊断方程，建立灵敏度矩阵的奇异性与测试频率的关系，从而直接判断故障诊断方程的可解性。
By simplifying diagnosis equations, the relation between testing frequency and matrix singularity is established to identify the existence of equation's solutions directly.
应用推荐