图同构的判定性问题是图论理论中的一个难题，至今没有得到彻底解决。
How to determine the isomorphism of graphs is a difficult problem of graph theory, which has not been completely solved so far.
“因他们的合著论文“有限自动机与其判定性问题”。”论文中引入了非确定自动机的概念，被证明是(计算理论科学研究中的)一个非常重要的概念。
For their joint paper "Finite Automata and their Decision Problem," which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept.
本文针对离散区间2 - D系统的二次稳定性问题，给出了线性矩阵不等式形式的判定条件。
This paper presents a condition in terms of linear matrix inequalities (LMIs) for the quadratic stability of discrete-time interval 2-d systems.
利用本文提供的方法，可以较容易的解决判定一类奇异系统的稳定性问题。
With these criterions, the stable problem of a class of singular systems can been solved easily.
利用本文提供的方法，可以较容易的解决判定一类奇异系统的稳定性问题。
With these criterions, the stable problem of a class of singular systems can been solved easily.
应用推荐