【linear_temporal_logic】什么意思_英语linear_temporal_logic的翻译_音标_读音_用法_例句_在线翻译

linear temporal logic

线性时序逻辑

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

基于40个网页-相关网页

短语

更多收起网络短语

计算机科学技术

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

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

- 来自原声例句