Compared with propositional temporal logic, it can accurately describe the time feature of digital circuits and support discrete and continuous time structure.
它能精确地描述数字电路的时间特性，支持连续和离散的时间结构并能对时间信息进行推理。
The article also indicated the structure and feature of the safety logic system from the view of factory-safety protection.
从工厂安全保护的角度分析了安全逻辑系统的结构和特点。
应用推荐