片语

Spatio-temporal description logic时空描述逻辑

temporal description logic时态描述逻辑

temporal and logic relation时序逻辑关系

temporal logic language时序逻辑语言

Differential Temporal Dynamic Logic微分时态动态逻辑

sequential logic[计] 时序逻辑；顺序逻辑；循序逻辑

temporal rough logic时序rough逻辑

temporal epistemic logic时态认知逻辑

temporal descriptive logic时序描述逻辑

英汉例句

• we introduced a method to detect feature interaction in requirements, which is based on the temporal logic language xyz/e.

  针对需求阶段的特征干扰问题，提出了使用时序逻辑语言xyz/e检测特征干扰的方法。

• using temporal logic and algebra, a formal requirement language was presented and used to describe the formal hierarchy requirements for cryptographic protocols.

  采用近世代数和时序逻辑的方法定义了形式化描述语言，并形式化地描述了密码协议的分层安全需求。

• we may also use the first-order temporal logic to set some specific formal systems for various fields of studies.

  我们也能使用一阶时态逻辑，为各种研究领域建立一些特定的形式系统。

• an academy member, professor tang is well known for his work in temporal logic and perhaps best known for a set of tools he developed, known as the xyz tools.

  作为一名院士，唐教授以其对时间逻辑的研究着称，而他最广为人知的工作也许是他开发的一组工具，称为xyz工具。

• aiming at the problems of verifying pno, this paper introduces temporal logic to pno model and presents a modeling and verifying method based on pno with precise marking.

  针对pno模型存在的分析验证问题，本文将时态逻辑引入pno模型，提出了相应的建模及验证方法。

• and that「s because of the temporal logic that」s how the logic of time works.

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

• then the specification is described in computation tree logic (ctl) or linear temporal logic (ltl) formula.

  其次，验证规范通过可计算树逻辑（ctl）或线性时态逻辑公式（ltl）表示出来。

• and here is a bit of temporal logic for you. it is raining today.

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

• in this paper. the sorting process in the automated warehouse is studied in the temporal logic framework.

  本文研究了在时态逻辑框架下自动化仓库分拣系统的工作过程。

• introducing temporal logic in discrete mathematics and foundations courses offers some tools to reason about concurrency.

  在离散数学和基础课程中引入时态逻辑令一些工具能处理并行。

• the elementary first-order temporal logic is a development of modal logic and ordinary temporal logic.

  基本的一阶时态逻辑有模态逻辑和时态逻辑的一个发展。

• as is inherited from modal logic and another extension of mathematic logic, temporal logic assertion inference can solve such problems.

  作为模态逻辑的继承，与数理逻辑的又一外延，时态逻辑断言推理则有效地解决这方面出现的难题。

• ltlc(linear temporal logic with clocks) is a continuous-time temporal logic proposed for the specification of real-time systems.

  是一种连续时间时序逻辑，它是线性时序逻辑ltl的一种实时扩充。

• open temporal logic introduces new path operators to specify internal parts and external parts, and introduces one new temporal operator to ensure some invariants during some external actions.

  引入新的时态算子，描述一些系统状态在外部动作影响下的某种不变性。

• these works indicate that the alternating-time temporal logic (atl) logic based on game is more suit-able to describe and analyze complex e-commerce protocols than traditional ctl.

  结果表明基于博弈的atl逻辑比传统的基于计算树逻辑（ctl）更适合于描述和分析复杂电子商务协议。