temporal logic

用法例句

Through three typical instances,this paper analyzes the influence of well-site power supply frequency on variable density logging signals,and explains the causes for abnormal phenomena of the sequential logic signal.

文章就变密度仪在野外使用中 ,井场电源频率对测井信号的影响 ,通过三种典型情况 ,从理论上进行了分析 ,阐明了时序逻辑信号发生异常的原因 ,并对时序逻辑控制电路进行改进 ,改进后的电路在室内模拟检测和野外测井都证明采取的措施是有效的。

The paper specifies four design methods through the corresponding example in the paper,including sequential logic design,condition table design,sequential control design and empirical design.

在PLC系统应用中,梯形图的程序设计往往是最主要的问题,通过相应的实例论述梯形图程序的4种设计方法:时序逻辑设计法、状态表设计法、顺序控制设计法及经验设计法。

By dividing RTL description into combinational logic and sequential logic, the method reuses the combinational logic synthesis and sequential logic synthesis in the controller synthesis, thus reducing the time used in developing RTL synthesis.

提出一种通过将RTL描述划分为时序逻辑与组合逻辑后 ,重用控制器综合中的组合逻辑综合和时序逻辑综合实现 RTL综合的方法 。

Decidability of the dense timed interval temporal logic;

稠密时间区间时序逻辑的可满足性判定

Formal description of UML2.0 communication diagrams based on temporal logic;

基于时序逻辑的UML2.0通信图语义研究

Model Checking Propositional Projection Temporal Logic with Infinite Model;

基于无穷模型命题投影时序逻辑的模型检查

Temporal logic is a branch of Philosophical logic,which investigates the proposition and inference including time.

时间逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支。

Formal Semantics of Framed Temporal Logic Programming Language MSVL

框架时序逻辑程序语言MSVL的形式语义

Satisfiability and Expressiveness of Propositional Projection Temporal Logic;

命题投影时序逻辑的判定性和表达性

Application of Minor State of Karnaugh Map in Logical Circuit of Time Sequence;

次态卡诺图在时序逻辑电路中的应用

One Way to Design Scheduling Logic Circuit Based on MSI;

基于MSI的时序逻辑电路设计方法

SIMPLIFIED WAY TO SOLVE TWO PROBLEMS IN SEQUENTIAL CIRCUIT;

时序逻辑电路中两个问题的简化处理

Axiomatization for the first-order projection temporal logic and formal verifications

投影时序逻辑的公理系统与形式验证

Extending Slices of Object-Z Classes Based on Temporal Logic

基于时序逻辑的Object-Z类切片的扩展

Projection Temporal Logic Oriented Model Checking for Web Services

面向投影时序逻辑的Web服务模型检测

Semantics Description of UML2.0 Sequence Diagrams Using the Temporal Logical Language XYZ/E;

基于XYZ/E的UML2.0顺序图的时序逻辑语义描述研究

Proving Soundness of Program Transformations in Optimizing Compilation Based on Temporal Logic

基于时序逻辑证明编译优化程序变换的保义性

Model Checking Propositional Projection Temporal Logic with Infinite Model;

基于无穷模型命题投影时序逻辑的模型检查

Description and Analysis of WS Security Based on Temporal Logic;

基于时序逻辑的Web服务安全形式化描述与分析

The Analysis and Design of the Pulse Asynchronous Tune Sequencing Logic Circuit;

脉冲异步时序逻辑电路的分析与设计探讨

An Analysis of the Application of Comparison in the Sequential Logical Circuit Teaching;

浅析比较法在时序逻辑电路教学中的应用

Reasoning and Symbolic Model Checking of Extended Temporal Logics

扩展时序逻辑的推理及符号化模型检验技术

Verification of business process constraints based on temporal logic

基于时序逻辑的业务过程约束建模及验证

Experiment Teaching Exploration of Sequential Logic Circuit Based on Matlab

基于Matlab的时序逻辑电路的实验教学探索

logic-controlled sequential computer

逻辑控制时序计算机