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给出一个实例，提出了利用该工具针对系统的线性时序逻辑性质进行变异分析的方法。

其他单词翻译

英文单词	中文含义
maleimide	n.马来酰亚胺；顺丁烯二酰亚胺网络解释马来酰亚胺; 马来醯亚胺; 马来酸酐
malf
maleta	生牛皮袋
malgenic	[医] 成病的, 致病的
malediction	n.坏话，诅咒网络解释坏话; 咒骂; 诅咒的话语
maleness	男性，雄性网络解释男性; 男性化; 男性性
malfeasance	n. 不正当，不法行为，渎职网络解释渎职; 不法行为; 不正当
maletank	重型坦克网络解释雄性坦克
mali-mali	n.麻立病网络解释排湾族语; 麻立病
malenit	n.一种木材防腐剂网络解释木材防腐剂之一种
malfeasant	n.贪官污吏；犯罪者 adj.不法行为的；行为不正的网络解释渎职; 做坏事的; 行为不正的
maletta	n.马利塔
malformation	n. 难看，畸形网络解释变形; 先天畸形; 难看
malevolence	n.恶意，怨恨；狠毒网络解释怨恨; 狠毒; 毒牙
maliane	n.橄榄烷网络解释烷; 橄榄烷
maliasmus	鼻疽网络解释鼻疽; 马鼻疽
malic	adj. 苹果的，由苹果取得的网络解释苹果酸去氢酵素; 苹果的; 苹果酸的
malignant	adj. 恶性的，致命的；恶意的，恶毒的 n. 怀有恶意的人；〈英史〉保王党员网络解释致命的; 有害的; 有恶意的
malimbe	n.织巢鸟网络解释马里姆贝
malignantly	adv.怀恶意网络解释怀恶意