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

其他单词翻译

英文单词	中文含义
cingular	adj. （牙齿的）舌面嵴的网络解释美国; 辛格勒; 辛格乐
cinna	n.秦纳（古罗马执政官路奇乌斯·科尔涅利乌斯·秦纳LuciusCorneliusCinna）网络解释西拿; 秦纳; 西纳
cinnamon-coloured	adj.肉桂色的网络解释肉桂色的
cinnamylephedrine	n.桂皮酰麻黄碱
cinnamate	n.肉桂酸，[有化]肉桂酸盐网络解释肉桂酸盐; 桂皮酸盐; 桂皮酸盐类
cingulate	adj. （昆虫腹部）有色带环绕的网络解释扣带; 扣带的; 扣带回皮层
cinnabar	n. 硫化汞；朱砂，辰砂；丹砂网络解释朱砂; 丹砂; 朱砂粉末
cinnamon-red	网络解释肉桂红
cinnamylidene	n.亚肉桂基；苯亚烯丙基
cinnamaverine	n.桂马维林网络解释桂马维林
cinnabarin	朱红菌素
cingule	带网络解释齿的舌面脊
cinnamon-scented	网络解释肉桂香味的
cinnamylidene-acetophenone	n.肉桂基亚苯乙酮
cinnamedrine	桂麻磺碱网络解释桂美君; 桂麻磺碱; 药的商品名施德龄
cinnabarine	n. 朱红色网络解释朱红色; 朱红菌素
cingulectomy	n.扣带回切除术
cinnamone	肉桂酮, 肉桂酰基乙烯苯
cinnapyrinum	n.辛纳比林
cinnabarite	辰砂网络解释 cinnabarite