LTL:线性时间逻辑
“Linear Temporal Logic”经常缩写成LTL,以便快捷书写、使用。
常见于学术科学领域 ,和物理学相关。中文意思为:“线性时间逻辑”。
Linear Temporal Logic具体释义
- 英文缩写:LTL
- 英语全称: Linear Temporal Logic
- 英语发音:
- 美式英语发音:
- 英式英语发音:
- 中文意思:线性时间逻辑
- 中文拼音:xiàn xìng shí jiān luó jí
- 常用领域:学术科学
- 相关:物理学
英文缩写词LTL的例句
- Research on Model Checking of Petri Nets Based on Linear Temporal Logic(LTL)
- 基于线性时态逻辑的Petri网模型检测研究
- Adding linear temporal logic with clocks to Object-Z
- 用带时钟变量的线性时态逻辑扩充Object-Z
- The characteristics and forms of describing properties of UML models with linear temporal logic are also studied.
- 研究了线性时态逻辑公式表达UML模型性质的特点和形式。
- Model Checking Based on Temporal Logic, including linear temporal logic and computational tree logic.
- 模型检测基于时态逻辑(TemporalLogic),包括线性时态逻辑和计算树逻辑。
- A protocol named master controller election and hot swap ( MES ) was designed, and the linear temporal logic ( MPTL ) was employed to formally describe the MES protocol, the conformance of this protocol was proved by using logical calculus.
- 在控制子系统中设计了一种主控制器选举和热切换(MES)协议,并使用线性时序逻辑(MPTL)对MES协议进行了形式化描述,通过逻辑演算证明了该协议的一致性。
注意:
英文缩写词 LTL 的含义,不止“Linear Temporal Logic”一个。
“LTL”是什么缩写的意思?
本站收集到的LTL英文缩写还有:
【互联网】领域:
- Live The Love 缩写成 “LTL”. 中文意思是:活在爱中
【商业】领域:
- Less Than Truckload 缩写成 “LTL”. 中文意思是:不到卡车载
- Less Than a Carload 缩写成 “LTL”. 中文意思是:不到一车
【地域】领域:
- Lithuanian Litas 缩写成 “LTL”. 中文意思是:立陶宛里塔
- Lastourville, Gabon 缩写成 “LTL”. 中文意思是:加蓬,拉斯托维尔
【学术科学】领域:
- Lot-To-Lot 缩写成 “LTL”. 中文意思是:批对批
【机构】领域:
- Less Than Lethal 缩写成 “LTL”. 中文意思是:不致命
- Local Transit Line 缩写成 “LTL”. 中文意思是:地方公交线路
- Laser-To-Target Line 缩写成 “LTL”. 中文意思是:激光对靶标线
【社会】领域:
- Loyal Temperance Legion 缩写成 “LTL”. 中文意思是:忠诚戒严军团
- Long-Term Lease 缩写成 “LTL”. 中文意思是:长期租赁
【综合】领域:
- Linear Time Logic 缩写成 “LTL”. 中文意思是:线性时间逻辑
- Larger Than Life 缩写成 “LTL”. 中文意思是:比生命更大
- Less than load 缩写成 “LTL”. 中文意思是:小于负载
- Liman Tmor Leste 缩写成 “LTL”. 中文意思是:利曼·特莫尔·莱斯特