大家在查：半自动机非确定有限状态自动机群同构无偏估计量样本平均数有限状态文法上下文无关文法线性有界自动机下推自动机有限自动机

时序逻辑

na.sequential logic
网络Sequential Logic; Temporal Logic; LTL

时序逻辑

英-汉网络释义

时序逻辑

Sequential Logic

1.1.1.2. 或门 OR Gate ... 1.1. 组合逻辑（ Combinational Logic） 1.2. 时序逻辑（ Sequential Logic） 1.1.1.1. 与门 AND Gate ...

Temporal Logic

他的主要研究方向是时态逻辑或叫时序逻辑(temporal logic)。时态逻辑是非经典逻辑中的一种，它研究如何处理含有时间信息( …

LTL

基于线性时序逻辑（LTL）的模型检验是使用较为广泛的技术。该种模型检验最终归结为有穷自动机的判空问题，其复杂性来源 …

PPTL

因此,本文研究命题投影时序逻辑(PPTL)的判定性、复杂性、表达性以及模型检测算法。进一步,为了使用基于区间的时序逻辑 …

Interval temporal logic

这个是民科挡箭牌，区段时序逻辑（Interval temporal logic ） http://www.tech.dmu.ac.uk/STRL/ITL/itlhomepagese6.html#x7-7…

TCTL

时序逻辑(TCTL)和时间自动机的验证.从理论上来说,实时系统模型检测的过程要复杂一些.

例句：

And here is a bit of temporal logic for you. It is raining today .

这里有点时序逻辑，今天下雨。

The race and hazard in the sequential logic circuit is quite essential and must be considered when designing logic circuit .

时序逻辑电路中的竞争冒险是电路设计中必须考虑到的重要方面。

For seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification .

他将时序逻辑引入计算机科学，为程序和系统的检测验证方面提供一种有力的工具。

Anylogic which views time as a sequence of states is a temporal logic, and any logic which uses only two truth values is a binary logic .

任何逻辑的观点作为一个时间序列的国家是一个时序逻辑，任何逻辑仅使用了两个真值是一个二元逻辑。

The succession logic circuit may divide into the synchronizedsuccession logic circuit and the asynchronous succession logic circuit .

时序逻辑电路可以分为同步时序逻辑电路和异步时序逻辑电路。

This system uses the main techniques are : sequential logic circuit technology .

此系统使用的主要技术是：时序逻辑电路技术。

Temporal logic always has the ability to reason about a time line.

时序逻辑总是有能力原因时限。

Linear temporal logic is an established discipline .

线性时序逻辑是一个已经确立的规则。

And that 's because of the temporal logic that's how the logic of time works .

那是因为时序逻辑，时间的逻辑就是这样运作的。

This paper defines a logic language , which can specify object-oriented systems, based on temporal logic .

针对面向对象系统，定义了一种基于时序逻辑的形式化规约语言。

In a temporal logic , statements can have a truth value which can vary in time .

在时序逻辑，报表可以有真值，可以在不同的时间。

Finally, an example is given to illustrate how to do system verification based on FPTL and its axiomatic system.

最后通过一个实例来展示投影时序逻辑及公理系统在系统验证中的应用。

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

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

Temporal Logic Semantics Model and Its Implementation Using PVS

基于 PVS 的时序逻辑语义模型及其实现

Representing and Verifying Reactive Systems with Continuous-Time Temporal Logic

反应系统的连续时序逻辑表示和验证

Succession Logic Objects Encapsulated in PLC Programming of Hydraulic Stamping Press

冲压液压机 PLC 程序设计中的时序逻辑对象封装

Modeling, Consistency and Inference of Extended Interval Temporal Logic

扩展时段时序逻辑的模型、一致性和推理

The Analysis and Design of the Pulse Asynchronous Time Sequencing Logic Circuit

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

A New Method for Unitized Analysis of Synchronous and Asynchronous Sequential Logic Circuits

同步和异步时序逻辑电路统一分析的新方法

Detection of Feature Interaction in Requirements Using Temporal Logic

使用时序逻辑检测软件需求阶段的特征干扰

The Application of Algebraic Theory in Design of Synchronous Time Sequence Logic Circuits

代数理论在同步时序逻辑电路设计中的应用

Analysis and discussion of asynchronous sequence circuit

异步时序逻辑电路的分析与探讨

Analysis Key Distribution Protocols Using Temporal Logic

应用时序逻辑分析密钥分配协议

Realization of Sequential Logic Synthesis in RTL Synthesis System Design

RTL 综合系统设计中时序逻辑综合的实现方法

Simple Method to Design Asynchronous Sequential Logic Circuit

异步时序逻辑电路设计的一种简明方法

Design Basis of Synchronous Sequential Logical Circuit

同步时序逻辑电路设计基础

时序逻辑

时序逻辑

Sequential Logic

Temporal Logic

LTL

PPTL

Interval temporal logic

TCTL

热词推荐

大家在看