既是一个时序逻辑系统也是一个程序设计语言，它能表示普通高级语言中几乎所有的重要机制。
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.
采用近世代数和时序逻辑的方法定义了形式化描述语言，并形式化地描述了密码协议的分层安全需求。
Using temporal logic and algebra, a formal requirement language was presented and used to describe the formal hierarchy requirements for cryptographic protocols.
利用CPLD复杂可编程逻辑器件，结合VHDL硬件描述语言，设计了一种线阵CCD驱动时序电路。
Use CPLD and VHDL together to design the time sequence driving circuit for a kind of linear CCD.
AE是时序逻辑系统XYZ的一个子语言，用此语言描述程序性质有很多优点。
XYZ/AE is one sub-language of the temporal logical system XYZ. Describing program's property with XYZ/AE has superiority comparable to other temporal logical languages.
首先定义了一种新的适用于描述区间时序逻辑程序语言语义的表达式格局和命令格局。
This thesis then investigates the operational semantics of MSVL. A new configuration with intervals for MSVL programs is defined.
首先定义了一种新的适用于描述区间时序逻辑程序语言语义的表达式格局和命令格局。
This thesis then investigates the operational semantics of MSVL. A new configuration with intervals for MSVL programs is defined.
应用推荐