既是一个时序逻辑系统也是一个程序设计语言,它能表示普通高级语言中几乎所有的重要机制。
XYZ/E is a temporal logic system as well as a programming language. It can represent almost every kind of significant features in conventional imperative languages.
针对时序数据挖掘中常见数据表示算法的缺陷,提出了基于关键点的误差检验分段算法。
To overcome the defects of data representation algorithms in temporal data mining, segmentation algorithm of key-point-based error checking is proposed.
这类系统通常用时间自动机来表示,而它们的性质则用时序逻辑公式表示。
The systems are usually described by the timed automata and the properties are specified by the temporal logic.
有效地建立和表示时序逻辑电路的状态转移关系是应用模型检查方法验证时序逻辑电路的关键技术之一。
Building the transition relation of sequential logic circuit is one of the key technologies for applying model checking method to verify the sequential logic circuit.
它能把组合电路和时序电路的位级描述的设计规范表示成字级多项式。
It can translate the bit level description of the specification of combinational circuits and sequential circuits into word level polynomials.
它能把组合电路和时序电路的位级描述的设计规范表示成字级多项式。
It can translate the bit level description of the specification of combinational circuits and sequential circuits into word level polynomials.
应用推荐