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

其他单词翻译

英文单词	中文含义
microbiolog	[医]微生物学
microbrachycephalia	n.小短头网络解释小短头
microbiophobia	微生物恐怖
microblepharia	n.小眼睑网络解释小眼睑
microbicide	n. 杀微生物剂，杀菌剂网络解释杀菌剂; 微生态杀灭剂; 灭菌剂
microbiologic	adj.微生物学的
microbreccia	n.微角砾岩网络解释微角砾岩; 细角砾岩
microbiophotometer	n.微生物浊度计
microblepharon	n.小睑
microbrenner	n.尖头电烙器
microbiological	adj.微生物学的网络解释微生物指标; 微生物气味; 微生物分析
microbioscope	n.微生物显微镜
microblog	微博网络解释微型博客; 微博是微型博客; 微网志
microbrew	n. 〈美〉（小厂酿制供自用的）小厂啤酒网络解释小罐精酿; 微型酿酒; 北京
microbiologically	微生物学地
microbiosis	n.微生物病，微生物原病；微生物性感染网络解释微生物性感染
microblogging	微博网络解释微网志; 微型博客; 官方微博
microbrewery	小啤酒厂网络解释精酿酒厂或; 微型酿酒厂; 啤酒厂
microbodies	n.[细胞]微体（细胞）网络解释微体; 微小体; 微粒体
microbridge	微桥；微陆桥运输（北美地区的桥路运输形式之一）网络解释微桥运输; 微桥接器; 微陆桥运输