1.
The Analysis and Design of the Pulse Asynchronous Tune Sequencing Logic Circuit;
脉冲异步时序逻辑电路的分析与设计探讨
2.
The design of the asynchronous sequential logical networks will be desciked in the next article.
至于异步时序逻辑网络的设计,作者将在以后的文章中给出。
3.
logic-controlled sequential computer
逻辑控制时序计算机
4.
Formal Semantics of Framed Temporal Logic Programming Language MSVL
框架时序逻辑程序语言MSVL的形式语义
5.
A new model for mining multiple time series based on temporal logic
基于时态逻辑的多时间序列挖掘模型
6.
Satisfiability and Expressiveness of Propositional Projection Temporal Logic;
命题投影时序逻辑的判定性和表达性
7.
Proceduralist Theory of Law: Theoretical Logic and Appropriate Circumstance of Times;
法律程序主义:论证逻辑和时代际遇
8.
Application of Minor State of Karnaugh Map in Logical Circuit of Time Sequence;
次态卡诺图在时序逻辑电路中的应用
9.
One Way to Design Scheduling Logic Circuit Based on MSI;
基于MSI的时序逻辑电路设计方法
10.
SIMPLIFIED WAY TO SOLVE TWO PROBLEMS IN SEQUENTIAL CIRCUIT;
时序逻辑电路中两个问题的简化处理
11.
Axiomatization for the first-order projection temporal logic and formal verifications
投影时序逻辑的公理系统与形式验证
12.
Extending Slices of Object-Z Classes Based on Temporal Logic
基于时序逻辑的Object-Z类切片的扩展
13.
Projection Temporal Logic Oriented Model Checking for Web Services
面向投影时序逻辑的Web服务模型检测
14.
Semantics Description of UML2.0 Sequence Diagrams Using the Temporal Logical Language XYZ/E;
基于XYZ/E的UML2.0顺序图的时序逻辑语义描述研究
15.
Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic
基于时序逻辑证明编译优化程序变换的保义性
16.
The Research on Asynchronous Motor Soft Starter with Fuzzy Logic;
基于模糊逻辑的异步电动机软起动器的研究
17.
An asynchronous GALS wrapper based on standard logic cell
一种基于标准逻辑单元的GALS异步封装电路
18.
programmed logic array (PLA)
编程逻辑阵列;程控逻辑阵列;程序控制的逻辑阵列;程序控制逻辑阵列;程序逻辑阵列