对基本信标和从属信标采用不同的控制策略。
Different control policies will be taken toward elementary and dependent siphons.
通过调整某些基本信标的控制深度变量可使从属信标达到可控。
The controllability of a dependent siphon can be ensured by changing the control depth variables of its related elementary siphons.
本工作中提出了补集矩阵的概念，并且理论证明，基本信标是补集矩阵对应的信标空间的一个基。
The concept of complementary matrix is proposed in this work, and it is proved that elementary siphons are a basis in the siphon space of complementary matrix.
在此基础上，以整数规划算法为数学工具给出了时间算法复杂度为多项式的最优基本信标的计算方法。
Furthermore, the integer programming method is exploited as the mathematical tool for the generation of a polynomial algorithm producing the optimal set elementary siphons.
本文首先介绍了dna计算的基本思想，然后介绍发夹结构在解决SAT问题上的应用，再介绍发夹结构的一种特殊形式-分子信标的原理和设计方法。
Basic thinking of DNA computing is introduced in this paper, then the solution of SAT problem is introduced. After this, we introduce the principle and design of molecular beacons.
本文首先介绍了dna计算的基本思想，然后介绍发夹结构在解决SAT问题上的应用，再介绍发夹结构的一种特殊形式-分子信标的原理和设计方法。
Basic thinking of DNA computing is introduced in this paper, then the solution of SAT problem is introduced. After this, we introduce the principle and design of molecular beacons.
应用推荐