This is refered to as correlation.
这就称为关联。
This is refered to as a self-transition.
这称为自转换。
Refered to formal verification for VLSI, a new method to formally describe and verify assurance maintenance is brought forward.
引用数字硬件形式化证明的思想，提出了对保证维护进行形式化描述和验证的思路。
Refered the mathematical model of valve-controlled cylinder, accumulator's mathematical model without regard to its connecting line is generated in this paper.
基于阀控缸数学模型，结合管道效应理论，建立了蓄能器不考虑其连接管路的数学模型；
Refered the mathematical model of valve-controlled cylinder, accumulator's mathematical model without regard to its connecting line is generated in this paper.
基于阀控缸数学模型，结合管道效应理论，建立了蓄能器不考虑其连接管路的数学模型；
应用推荐