元器件的验证、试验方法和结果的判定；
Verification and validation of components, method of testing and result analysis to determine.
在逻辑验证和综合中，布尔匹配利用有序二叉判定图obdd来检验两个给定的逻辑函数是否相等。
In logic verification and logic synthesis, Boolean matching is widely used to testify whether two given functions are logically equal by means of OBDD.
文中给出该算法的可调度判定不等式，并且通过对经典任务集的调度结果，验证了算法的有效性和灵活性。
Schedulability test inequation of the algorithm is presented in the paper. The validity and the flexibility of the algorithm are proved through the analysis of classical task sets.
对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。
A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.
通过对试验结果进行数据处理，验证了该判定方法对分离点位置判定的正确性和有效性。
Through analyzing the methods and combination of the low speed wind tunnel test data, the position of the separation point can be detected accurately.
用时间自动机验证一个有穷状态实时系统的正确性，可归结为判定两个时间正则语言的包含问题，亦可归结为判定两个时间正则语言的交是否为空的问题。
To verify the correctness of the finite state real time system by timed automaton can come down to the inclusion of two timed regular languages.
试验证明，延长ASTME 2149的培养时间等，可使振摇法与浸渍法的结果判定相一致。
Our experiments have demonstrated that testing results are consistent between shaking method and impregnation method by prolonging the culturing time of ASTM E 2149.
如果凭证通过任何一个验证方法，就判定为受信任的凭证。
The certificate is trusted if it passes either verification method.
设计并实现了图同构的一个判定算法，通过实例验证了算法的正确性和有效性。
An algorithm for determining graph isomorphism is designed and implemented, whose correctness and validity are tested and verified with some concrete examples.
设计并实现了图同构的一个判定算法，通过实例验证了算法的正确性和有效性。
An algorithm for determining graph isomorphism is designed and implemented, whose correctness and validity are tested and verified with some concrete examples.
应用推荐