大家在查：随机误差项异方差性性道德教育血液凝结体外射精道义逻辑工具论文件指针假设条件句赵洪伟

时态逻辑

n.temporal logic; tense logic
网络LTL; Alternating Time TemporalLogic; LTLC

时态逻辑

英-汉网络释义

时态逻辑

temporal logic

时序逻辑也叫时态逻辑（temporal logic），是计算机科学里一个很专业很重要的领域。时序逻辑被用来描述为表现和推理关于 …

tense logic

...展逻辑包括：▲模态逻辑(modal logic)▲时态逻辑(tense logic)▲道义逻辑(deontic logic)▲认知逻辑(epistemic logic)▲优选逻 …

LTL

提出了将线性时态逻辑(LTL)技术和电网故障模拟量信息引入高压输电线系统故障诊断的新思想.建立了LTL形式化演绎的完整语 …

Alternating Time TemporalLogic

交互时态逻辑(Alternating Time TemporalLogic) ,以下简称为ATL,是其中较为成功的框架。使用ATL,可以刻画多个agents的相互 …

LTLC

首先用时钟变量扩充线性时态逻辑，接着提出了一个方法——用带时钟变量的时态逻辑(LTLC)来扩充ObjectZ。（剩余15411字）

RTTL

...机（）、实时时态逻辑扩展状态机（ESM）、实时时态逻辑（RTTL））、实时时态逻辑（） -软件工程讲义软件工程讲义-…

T cmporal Logic

...当前形式语义学研究的前沿领域．第七章介绍时态语义．时态逻辑（ T cmporal Logic ）用于语义学的研究开始于七十年代后 …

例句：

Then we ll take a look at a tool for processing temporal logic assertions .

然后，我们将研究用于处理时态逻辑断言的工具。

There are a variety of temporal logics appropriate for a variety of reasoning tasks .

不同的时态逻辑能够适应不同的推理任务。

so , in this case , you can get away without using temporal logic assertions , but the task is much more difficult .

因此，在本例中，您可以根本不用时态逻辑断言就能完成任务，但会困难得多。

And temporal logic can be extended .

可以扩展时态逻辑。

Temporal logic assertions can help to diagnose such bugs .

时态逻辑可以有助于诊断此类错误。

Properties of Temporal Logic Operators and Extended Operations on Intuitionistic Fuzzy Sets

直觉模糊集时态逻辑算子及扩展运算性质

Temporal Logical Based Virtual Organization Activity Planning

基于时态逻辑的虚拟企业活动规划

These modal operators are usually available in temporal logic

通常，下列模态操作符可用于时态逻辑

Formal description of properties of concurrency system by temporal logic

时态逻辑形式化描述并发系统性质

Introduce temporal logic to assertions to supplement testing

将时态逻辑引入断言来补充测试

Preventing common bugs with temporal logic assertions

用时态逻辑断言防止常见错误

Assertions and temporal logic in Java programming

Java 编程中的断言和时态逻辑

时态逻辑

时态逻辑

temporal logic

tense logic

LTL

Alternating Time TemporalLogic

LTLC

RTTL

T cmporal Logic

热词推荐

大家在看