LTL的意思_LTL的中文翻译|音标|读音|用法|例句

LTL

中文翻译

abbr.立陶宛立特（立陶宛的货币名称缩写）；零担（lessthantruckload）

网络解释

零担(less-than-carload); 零担货运(less-than-truckload); 立陶宛立特

英文短语

1.LTL rate 零担率；利塔斯率

2.LTL Less-than-truckload 散货拼车

3.LS-LTL 淋水填料

4.ltl yotl 小菜蛾

5.ltl theorem ltl原理

6.UZS to LTL 立陶宛立特

7.LTL原理 LTL theorem

英文例句

1.LTL cargo transportation, vehicle scheduling, network throughout the country.零担货物运输，整车调度，网络遍及全国。

2.At last, the application of Property patterns of LTL formulas was given in SPIN tool.最后介绍了线性时态逻辑特性模式在SPIN中的应用。

3.In this paper, we design and implement a method of producing test oracle from program´s LTL (Linear Temporal Logic) property.文中，作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法。

4.A new idea is presented to introduce the linear temporal logic (LTL) technology and analog information into a fault diagnosis system for high voltage (HV) transmission lines.提出了将线性时态逻辑(LTL)技术和电网故障模拟量信息引入高压输电线系统故障诊断的新思想。

5.This paper introduces the relevant theory, then uses the popular model checker tool SPIN and gives an example which analyzes the use of the tool against the logic properties of LTL in a …在介绍了相关理论知识后，使用当前较为流行的模型验证工具SPIN给出一个实例，提出了利用该工具针对系统的线性时序逻辑性质进行变异分析的方法。

其他单词翻译

英文单词	中文含义
galactosis	乳汁分泌网络解释乳液生成; 乳液形成; 产乳
galactoposis	n.乳疗法
galactosazone	n.半乳糖脎
galactopexy	n.半乳糖固定，半乳糖固定作用网络解释半乳糖固定作用
galactosphingolipid	半乳糖神经鞘脂
galactopyra	n.生乳热
galactoschesis	n.乳液分泌抑制网络解释泌乳抑制
galactoscope	n. 乳酪计网络解释乳脂计; 乳脂器; 乳脂汁
galactostasia	乳液积滞泌乳停止网络解释乳液郁滞; 乳液分泌抑制
galactostasis	n.乳液瘀积，乳汁不通网络解释乳汁积滞; 乳汁分泌过多; 乳液积滞
galactosuria	n. 半乳糖尿网络解释半乳糖尿症
galacturonorhamnan	半乳糖醛酸-鼠聚糖
galactosyl	n. 半乳糖基
galanginidin	高良姜精定
galago	n. 狉，丛猴，夜猴网络解释婴猴科; 二名法; 眼镜猴属
galactosylation	半乳糖基化半乳糖苷化网络解释半乳糖基化
galanthine	n.雪花碱，雪花莲碱
galangol	高良姜辣素网络解释高良姜酚; 高良姜素; 高良姜醇
galagos	n.夜猴；狉；丛猴（galago的变形）网络解释婴猴
galactosylglucose	半乳糖苷葡糖；乳糖