The model is validated by reachability tree and state matrix equations of Petri Net, and the validation result is that the model can be reachable.
同时,本文运用Petri网系统的可达树方法和状态矩阵方程的方法对模型进行了可达性验证,经验证该模型是安全可达的。
参考来源 - 基于消息中间件的政务服务协同工作流模型的研究与应用·2,447,543篇论文数据，部分数据来源于NoteExpress
State matrix is diagonalized according to the orthonormality of left and right eigenvector series about the state matrix.
最后根据状态矩阵的左右特征向量系的正交性，对给出的状态矩阵进行对角化。
The 2b-Signal flow graph is reduced to a state matrix flow graph, by means of which the state equations can be written out directly.
信号流图被化简为一种状态矩阵流图，籍助此流图状态方程可直接写出。
In this paper, the approximate perturbation range of the state matrix of a linear time-invariant system is given, keeping the system controllability invariant.
本文给出了线性定常系统状态矩阵摄动时保持能控性不变的摄动区间的估计。
应用推荐