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

  • 其他单词翻译

    英文单词 中文含义
    decontaminates

    v. 净化,排除污染( decontaminate的第三人称单数 )

    网络解释

    净化; 排除污染; 去污染

    deconstructing

    v. 解构(文学作品等)( deconstruct的现在分词 )

    网络解释

    解构性

    decor

    n. 布置,装饰;布景;装饰风格

    网络解释

    舞台装饰; 装潢; 装饰品

    decontaminating

    v. 净化,排除污染( decontaminate的现在分词 )

    网络解释

    去污; 去污染

    deconstruction

    n. 解构,拆析(文学评论用语,指找出文本中自身逻辑矛盾或自我拆解因素,从而摧毁文本在人们心目中的传统建构)

    网络解释

    解构主义; 解构理论; 建筑爆破

    decore

    v.除芯;去型型芯

    n.(Decore)(巴、美)德科雷(人名)

    网络解释

    德科尔; 除芯; 去型型芯

    decontamination

    n. 净化,排除污染;去污;洗除

    网络解释

    消除污染; 纯化

    deconstructionism

    n.解构主义

    网络解释

    解构主义; 解构论; 解构后

    decoring

    除芯

    网络解释

    砂心清砂; 砂心清除; 除芯

    decorticates

    v.剥皮;去壳;(手术)剥除……的皮质

    adj.(动物)大脑皮层被剥除的;去皮质的

    网络解释

    剥皮; 去壳; 去皮质

    decontrol

    v. 解除管制

    网络解释

    解除管制; 取消管制; 解除控制

    decorate

    vt. 装饰;点缀;粉刷;授予(某人)勋章

    vi. 装饰;布置

    网络解释

    修饰; 布置; 装修

    deconstructionist

    n.解构主义者

    adj.解构主义的

    网络解释

    解构主义者; 解构主义的; 解构者

    decorticatie

    脱壳

    网络解释

    脱壳

    decorous

    adj. 端庄得体的;厚重

    网络解释

    有礼貌的; 端庄的; 端庄得体的

    decontrolled

    v. 解除管制( decontrol的过去式和过去分词 )

    网络解释

    被解除管制的

    deconstructive

    解构主义

    网络解释

    解构; 解构式; 解构的

    decorated

    v. 装饰( decorate的过去式和过去分词 );点缀;粉刷;授予(某人)勋章

    网络解释

    装修; 装饰的; 修饰

    decorticating

    vt.剥……的皮,去……的壳;(手术)剥除……的皮质(decorticate的现在分词)

    网络解释

    剥皮; 去壳; 去皮质

    deconstructivism

    n.解构主义;反构成主义

    网络解释

    解构主义; 解构主义建筑; 拆散结构主义