This paper discusses equivalence checking for combinational circuits and analyzes the key techniques of fan algorithm 摘要讨论了组合电路的等价性检验方法，分析了fan算法的关键技术。
However , many packages handle these tasks loosely , and semantic equivalence and round - tripping suffer as a result 但是许多工具包不那么严格地执行这项任务，结果危害了往返的语义等价性。
Has given the method building the object model of database system , and dissertated the equivalence theorem of object model 提出建立数据库系统对象模型的方法，并论述了对象模型的等价性定理。
This means i can track based on just object instances ; i don t need to use object equality to track these jdbc objects 这意味着可以只根据对象实例进行跟踪，而不需要使用对象等价性来跟踪这些jdbc对象。
We check equivalence of combinational circuits with fun algorithm , and experimental results show that fan algorithm is efficient 利用该算法进行了组合电路的等价性检验，实验结果表明了该方法的有效性。
Because of the holographic equivalence , strongly interacting quarks and gluons at high temperatures should also have very low viscosity 根据全像等价性，有很强交互作用的夸克与胶子在高温时也会有极低的黏度。
2 . the nonlinear input - output characteristics of a gaas mesfet is modeled by the use of volterra series in the frequency domain 本文通过神经网络和volterra级数的等价性，用训练后的神经网络确定出volterra级数的核函数。
In the meantime , you d do well to perform some simple tests using your own favorite api , to see how it ideally preserves semantic equivalence 同时，您也可以使用喜欢的api作一些简单的测试，看看它是否（理想地）保持了语义等价性。
In section one , we introduce three different definitions on the fractional chromatic coloring and prove the equivalence relation between them 在第一部分中，我们主要介绍了分数染色的三种不同定义，给出了这三者之间的等价性证明。
Furthermore , we discuss the statistical learning theory and the equivaence of support vector machine with threelayered feedforward neurai network 进一步，我们介绍了统计学习理论，并对支持向量机和三层前向神经元网络的等价性做了探讨。
