1.
PULSE (Programme of Universal Logic Simulation for Electronics)
通用电子逻辑模拟程序
2.
programmed logic array (PLA)
编程逻辑阵列;程控逻辑阵列;程序控制的逻辑阵列;程序控制逻辑阵列;程序逻辑阵列
3.
in the end, we use this information to stimulate the automaton and decide whether the execution of the program satisfies the LTL property.
最后,用该信息来模拟状态自动机,并决定程序执行是否满足线性时序逻辑的性质。
4.
program's effective logical addressing space
程序有效逻辑编址空间
5.
PLM (Programmable Logic Matrice)
可编程序的逻辑矩阵
6.
multiprogramming executive control logic
多道程序执行控制逻辑
7.
Micro-Processor & Program Logic
微处理机和程序逻辑
8.
Logical entities (applications)
逻辑实体（应用程序）
9.
caller's logic address space
调用程序逻辑地址空间
10.
LIFT (Logically Integrated FORTRAN Translator)
逻辑集成公式翻译程序
11.
programmable logic controller (PLC)
可编程序逻辑控制器
12.
Research on Logic Consistency of Junk Code Transformation within Sub-function
子程序花指令模糊变换逻辑一致性研究
13.
Verification of business process constraints based on temporal logic
基于时序逻辑的业务过程约束建模及验证
14.
Denotational Semantics of Dynamic Fuzzy Logic Programming Language
动态模糊逻辑程序设计语言的指称语义
15.
Studies on Process Modeling Based on Logic Situation Calculus for Virtual Enterprises;
基于逻辑情景演算的虚拟企业过程建模研究
16.
Formal Semantics of Framed Temporal Logic Programming Language MSVL
框架时序逻辑程序语言MSVL的形式语义
17.
Research and Verification on the Operational Semantics Model of DFL Programming Language
动态模糊逻辑程序设计语言的操作语义模型及验证
18.
Research and Applications on the Algebra Semantics Models of DFL Programming Language
动态模糊逻辑程序设计语言的代数语义模型及应用研究