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

其他单词翻译

英文单词	中文含义
autofundoscope	n.自检眼底镜网络解释自检眼底镜
autogenesis	n.无生源说；[生物]自然发生说；[生物]单性生殖网络解释自生; 单性生殖
autofluorescent	自发荧光的网络解释自体萤光; 自体荧光蛋白; 自身荧光
autofilter	n.自动筛选网络解释自动筛选; 自订筛选; 采用筛选
autogiro	n. 旋翼飞机网络解释旋翼飞机; 旋翼机; 自转旋翼机
autogenic	adj. 自生的，自体的网络解释自发的; 自体骨头
autofundoscopy	[医] 自检眼底镜检查网络解释自检眼底镜检查
autofluorogram	n.自动荧光图网络解释自身荧光图
autofining	自精制网络解释自动澄清
autoglass	n.汽车玻璃；安全玻璃网络解释汽车玻璃; 汽车玻璃公司; 汽车玻璃修理
autogenics	n.[医]自我诱导放松网络解释自动生成的
autog	abbr. autograph 亲笔（签名）；手稿；autographed 亲笔（签名）的；手稿的
autofluorograph	自身荧光图网络解释自身荧光图
autofit	n.最适合的行高 adj.最适合的网络解释自动调整; 最适合的; 最适列高自动调整
autognosis	n.自我认知；自诊网络解释自诊; 自我认知; 自我诊断
autogenor	n.自动生氧器网络解释自动生氧器
autogamic	adj. 自花受粉的网络解释自花受粉的
autoflag	n.旗式道口自动信号机
autofluoroscope	n.自动荧光镜网络解释自体荧光屏
autognostic	自我诊断网络解释自我诊断