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

  • 其他单词翻译

    英文单词 中文含义
    inculcator

    n. 教诲者

    inculpatory

    adj. 使人负罪的,责难的

    网络解释

    责难的

    incurably

    adv. 无法治愈地;不可救药地;治不好地;不能矫正地

    网络解释

    不可救药地; 不能矫正地; 无法治愈地

    incurs

    v. 遭受,招致,引起( incur的第三人称单数 )

    网络解释

    招致; 惹起

    incumbrancer

    [法] 对土地有其他物权者

    网络解释

    产权负担持有人

    inculpability

    n.无辜;无可非议

    网络解释

    可灌输性

    incult

    adj. 没有开垦的,没有耕种的,没有教养的

    网络解释

    粗鲁的; 粗俗的; 没有开垦的

    incursion

    n. 侵犯;侵入;(河水等)流入;袭击

    网络解释

    侵入; 进入; 入侵保卫战

    incuriosity

    n. 无好奇心,无关心

    网络解释

    无好奇心; 无关心; 不能矫正地

    incunable

    n. 古书的一册

    网络解释

    古书之一册; 摇篮本; 印刷初期珍本

    inculpable

    adj. 无罪的

    网络解释

    无辜的; 不能限害的

    inculturation

    因地制宜的文化适应

    网络解释

    本土化; 本地化; 文化融入

    incursive

    adj. 侵入的,侵略的

    网络解释

    侵入的; 入侵的; 侵略的

    incunabula

    n. 摇篮期,(在欧洲指1500年以前印的)古版本;最初期,古版书( incunabulum的名词复数 )

    网络解释

    古版书; 摇篮期; 摇篮本

    incurious

    adj. 无好奇心的,不关心的

    网络解释

    无好奇心的; 无关心的; 不关心的

    inculpate

    vt. 显示(某人)有罪,使负罪

    网络解释

    控告; 归罪; 诬赖

    incumb

    abbr. incumbent 职责所在的,负有…义务的

    incurvate

    v. (使)向内弯曲,(使)弯曲

    adj. 向内弯曲的,内曲的

    网络解释

    内曲的; 向内弯曲; 内弯的

    incunabulum

    n.最初期;古版书

    网络解释

    初期; 最初期; 古版书

    incuriously

    无好奇心地

    不关心地

    网络解释

    漠不关心地