文中最主要的成果是两种从最大未标记信标中查找所有严格极小信标的算法，枚举法和回溯法。
The main achievements of the research are the two algorithms that can search all SMS from a maximal unmarked siphon as well as enumeration and backtracking methods of siphon computation.
由于严格极小信标的数目和网的规模成指数关系，所以大部分基于严格极小信标的死锁控制策略都面临着计算复杂性的问题。
The number of SMS in a Petri net grows exponentially with respect to the size of net model. Most of the strategies of deadlock prevention based on SMS suffer from computational complexity problems.
严格的选材及先进的制造工艺，使自放电极小。
Strict material selection and advanced manufacturing Technology makes the self-discharge very little.
应用推荐