中英▼
go top

linear temporal logic

  • 线性时间逻辑，线性时序逻辑

网络释义专业释义英英释义

  线性时序逻辑

2.1.1 时序逻辑语言 线性时序逻辑(Linear Temporal Logic, LTL)是一种形式 化约束描述方法，可有效地描述系统在执行路径上的性质。

基于40个网页-相关网页

  提出的是线性时序逻辑

Pnuelli提出的是线性时序逻辑(Linear Temporal Logic, LTL)。LTL在一阶命题逻辑的基础上引入了几坨与时间有关的操作符。

基于6个网页-相关网页

  和线性时态逻辑理论

北京航空航天大学学报 eb服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考

基于6个网页-相关网页

短语

propositional linear temporal logic 命题线性时序逻辑

linear temporal logic ltl 线性时态逻辑

finite propositioanl linear temporal logic 有穷命题线性时序逻辑

linear-time temporal logic 随后采用线性时序逻辑 ; 线性时序逻辑

modified linear time temporal logic 修改的线性实时逻辑

 更多收起网络短语
  • 线性时序逻辑
    线性时态逻辑
    ltl公式

·2,447,543篇论文数据，部分数据来源于NoteExpress

Linear temporal logic

  • abstract: In logic, linear temporal logic or linear-time temporal logicLogic in Computer Science: Modelling and Reasoning about Systems: page 175Linear-time Temporal Logic (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can encode formulae about the future of paths, e.g., a condition will eventually be true, a condition will be true until another fact becomes true, etc. It is a fragment of the more complex CTL*, which additionally allows branching time and quantifiers. Subsequently LTL is sometimes called propositional temporal logic, abbreviated PTL.

以上来源于: WordNet

双语例句

  • Linear temporal logic is an established discipline.

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

    youdao

  • In this paper, we design and implement a method of producing test oracle from program's LTL (Linear Temporal Logic) property.

    文中，作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法。

    youdao

  • The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.

    巴斯先生用来实现这一转化过程的工具是线性时序逻辑，一种可以表达过去和未来的详细约束的数理逻辑系统。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定