命题投影时序逻辑,Interval Temporal Logic,在线英语词典,英文翻译,专业英语

1) Interval Temporal Logic

命题投影时序逻辑

2) interval temporal logic

区间时序逻辑

Modelling concurrent workflow with the extended interval temporal logic;

使用扩展区间时序逻辑为并发工作流建模

The model checking problem for initialized multirate hybrid systems is investigated,which is to check whether or not an initialized multirate automaton satisfies a property described by a hybrid interval temporal logic(HITL) formula.

研究了初始化的多速率混合系统的模型检查问题,即检验初始化的多速率自动机是否满足某个混合区间时序逻辑公式描述的性质。

3) Interval temporal logic

时段时态逻辑

Interval temporal logic based intrusion signatures(ISITL) is a high-abstractive formal description language for representing intrusion signatures.

ISITL(Intrusion Signatures based on Interval Temporal Logic)是一种较高抽象程度的入侵特征形式化描述语言，它对Allen的时段时态逻辑进行了实时描述的扩充，从而加强了其入侵特征的描述能力。

4) interval temporal logic

区间时态逻辑

5) point-interval temporal logic

点-时段时序逻辑

6) extended interval temporal logic

扩展时段时序逻辑

This paper presents a method for modeling extended interval temporal logic(EITL) with Time Petri Nets(TPN).

给出了扩展时段时序逻辑的时间 Petri网 (TPN)模型构造方法 ,在构造模型的同时可对时序关系进行一致性检验。

A method for modeling imprecise temporal aspects of discrete-event systems, extended interval temporal logic,is proposed, which is an extension of the traditional point-interval temporal logic.

针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力。

参考词条

补充资料：时序逻辑

时序逻辑
sequential logic

sh}火日luoJ-时序逻辑(sequential logie)输出不但和当前输人的逻辑值有关，而且和在此以前曾经输人过的逻辑值有关的逻辑系统。具有这种逻辑关系的电路，称为时序逻辑电路，简称时序电路。它至少包含一个存储元件。计算机中的寄存器、程序计数器等电路都是时序电路。时序电路的框图见图1。有组合电路(见组合逻 12份2 22xlxZ翔辑)和存储电路两部分。存储电路是能存储信息的器件，可以是触发器，也可以是有时延的反馈，其作用是保存与过去输人有关的信息。图中，x:，x:，…，┌─────┐ │组合电路二├──┐└─────┤)价 │┌─────┤ ││存储电路 ├──┘└─────┘ 图1时序电路框图二。是时序电路的外部输人;Z:，Z:，…，2二是它的外部输出;Yl，Y:，…，又是存储电路的输人，yl，yZ，…，多是存储电路的输出，也反馈给组合电路的输人。有如下两个时序函数表达式 Z一关(x:，x:，…，x，;yl，yZ，…，yr)(i一1，Z，…，m) Y=g(xl，￡:，…，二，;夕:，夕:，…，夕。)(i一1，2，…，r) Z、称为输出函数，Y*称为控制函数或激励函数。时序电路中有一个极为重要的概念是状态，并可分为内部状态和外部状态。内部状态由y，(i一1，2，…，r)给出，外部状态由Z，(乞一1，2，…，m)给出。若单指状态，指的是内部状态。分类时序电路分为同步时序电路和异步时序电路两大类。异步时序电路又进一步分为脉冲异步时序电路和电平异步时序电路。 (1)同步时序电路。在输人中有一个专门的定时信号(称为时钟)，对状态变量进行瞬时取样来控制电路的动作。它的存储电路用触发器。图2(a)是一个同步时序电路，其中CP是定时信号。同步时序电路的输人可以是脉冲也可以是电平，对研究电路的行为来说，这两者没有差别。描述同步时序电路的逻辑工具是状态表和状态图，见图2(b)和图2(C)。状态表把时序电路的输人、输出、现态(目前状态)、次态(下一状态)用表格形式反映出来，说明输人和输出之间的逻辑关系，并表明状态之间的转移规律。状态图通常由状态表推出，更直观易读。状态图中小圆圈及其内的字母或数字表示状态，如q:状态，有向箭头表示状态转换方向，并在有向线上标注x/Z，表示在二输人情况下输出为Z，如1/o表示输入为“1”，输出为“o，，。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

首页 \| 翻译 \| 影视 \| 论坛 \| 索引

1) Interval Temporal Logic 命题投影时序逻辑 2) interval temporal logic 区间时序逻辑 1. Modelling concurrent workflow with the extended interval temporal logic; 使用扩展区间时序逻辑为并发工作流建模 2. The model checking problem for initialized multirate hybrid systems is investigated,which is to check whether or not an initialized multirate automaton satisfies a property described by a hybrid interval temporal logic(HITL) formula. 研究了初始化的多速率混合系统的模型检查问题,即检验初始化的多速率自动机是否满足某个混合区间时序逻辑公式描述的性质。 3) Interval temporal logic 时段时态逻辑 1. Interval temporal logic based intrusion signatures(ISITL) is a high-abstractive formal description language for representing intrusion signatures. ISITL(Intrusion Signatures based on Interval Temporal Logic)是一种较高抽象程度的入侵特征形式化描述语言，它对Allen的时段时态逻辑进行了实时描述的扩充，从而加强了其入侵特征的描述能力。 4) interval temporal logic 区间时态逻辑 5) point-interval temporal logic 点-时段时序逻辑 6) extended interval temporal logic 扩展时段时序逻辑 1. This paper presents a method for modeling extended interval temporal logic(EITL) with Time Petri Nets(TPN). 给出了扩展时段时序逻辑的时间 Petri网 (TPN)模型构造方法 ,在构造模型的同时可对时序关系进行一致性检验。 2. A method for modeling imprecise temporal aspects of discrete-event systems, extended interval temporal logic,is proposed, which is an extension of the traditional point-interval temporal logic. 针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力。参考词条 interval temporal logic Interval temporal logic interval temporal logic point-interval temporal logic extended interval temporal logic interval temporal logic interval temporal logic Temporal logic based on time interval temporal interval temporal logic Temporal logic temporal logic Interval logic interval logic Instantaneous temporal interval partial order temporal logic projection temporal logic temporal and logic relation linear temporal logic linear temporal logic concurrent processing / temporal logic medium temporal logic Linear temporal logic 基层胀裂福建社会林业补充资料：时序逻辑时序逻辑 sequential logic sh}火日luoJ-时序逻辑(sequential logie)输出不但和当前输人的逻辑值有关，而且和在此以前曾经输人过的逻辑值有关的逻辑系统。具有这种逻辑关系的电路，称为时序逻辑电路，简称时序电路。它至少包含一个存储元件。计算机中的寄存器、程序计数器等电路都是时序电路。时序电路的框图见图1。有组合电路(见组合逻 12份2 22xlxZ翔辑)和存储电路两部分。存储电路是能存储信息的器件，可以是触发器，也可以是有时延的反馈，其作用是保存与过去输人有关的信息。图中，x:，x:，…，┌─────┐ │组合电路二├──┐└─────┤)价 │┌─────┤ ││存储电路 ├──┘└─────┘ 图1时序电路框图二。是时序电路的外部输人;Z:，Z:，…，2二是它的外部输出;Yl，Y:，…，又是存储电路的输人，yl，yZ，…，多是存储电路的输出，也反馈给组合电路的输人。有如下两个时序函数表达式 Z一关(x:，x:，…，x，;yl，yZ，…，yr)(i一1，Z，…，m) Y=g(xl，￡:，…，二，;夕:，夕:，…，夕。)(i一1，2，…，r) Z、称为输出函数，Y称为控制函数或激励函数。时序电路中有一个极为重要的概念是状态，并可分为内部状态和外部状态。内部状态由y，(i一1，2，…，r)给出，外部状态由Z，(乞一1，2，…，m)给出。若单指状态，指的是内部状态。分类时序电路分为同步时序电路和异步时序电路两大类。异步时序电路又进一步分为脉冲异步时序电路和电平异步时序电路。 (1)同步时序电路。在输人中有一个专门的定时信号(称为时钟)，对状态变量进行瞬时取样来控制电路的动作。它的存储电路用触发器。图2(a)是一个同步时序电路，其中CP是定时信号。同步时序电路的输人可以是脉冲也可以是电平，对研究电路的行为来说，这两者没有差别。描述同步时序电路的逻辑工具是状态表和状态图，见图2(b)和图2(C)。状态表把时序电路的输人、输出、现态(目前状态)、次态(下一状态)用表格形式反映出来，说明输人和输出之间的逻辑关系，并表明状态之间的转移规律。状态图通常由状态表推出，更直观易读。状态图中小圆圈及其内的字母或数字表示状态，如q:状态，有向箭头表示状态转换方向，并在有向线上标注x/Z，表示在二输人情况下输出为Z，如1/o表示输入为“1”，输出为“o，，。说明：*补充资料仅用于学习参考，请勿用于其它任何用途。
©2008 dictall.com