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

  • 其他单词翻译

    英文单词 中文含义
    roin

    n.(Roin)人名;(俄)罗因

    roguishness

    n.捣蛋,顽皮

    rohmer

    n.侯麦(人名)

    网络解释

    罗默; 罗麦尔; 以侯麦

    rohter

    n.罗特

    rogue

    n. 流氓,无赖;调皮捣蛋的人人;离群的野兽

    vt. 欺骗;[农]去劣

    vi. [农]淘汰劣种;流浪

    网络解释

    盗贼; 小淘气; 逃亡鳄鱼岛

    roinek

    [南非]新来移民,[南非、蔑]英国兵

    rohatyn

    n.(Rohatyn)人名;(英)罗哈廷

    网络解释

    罗哈廷; 罗哈金

    rohypnol

    洛喜普诺(安眠药)

    罗眠乐

    网络解释

    氟硝西泮; 氟硝安定; 普诺

    rohr

    罗尔(人名)

    网络解释

    罗尔; 罗尔实业公司; 放热率(rate of heat release)

    rogued

    vt. 欺骗(rogue的过去式与过去分词形式)

    网络解释

    盗贼; 小淘气; 无赖

    roister

    vi. 喧闹作乐

    网络解释

    摆架子; 喧闹; 喝酒喧哗

    rohde

    罗德(人名)

    网络解释

    罗德; 罗达; 洛迪

    rohrabacher

    n.(Rohrabacher)人名;(英)罗拉巴克尔

    网络解释

    众议员罗巴克; 众议员罗拉巴切

    rogueing

    拔株去劣

    网络解释

    拔株去劣

    roistered

    v. 喧闹作乐( roister的过去式和过去分词 )

    网络解释

    摆架子; 喧闹; 喝酒喧哗

    rohe

    n.(Rohe)人名;(英、德)罗厄

    网络解释

    罗哈

    rohrbach

    n.罗尔巴赫(奥、德、瑞士地名)

    网络解释

    罗尔巴赫; 奥地利; 德国

    roig

    n.罗伊格

    网络解释

    一年级老师罗格女士; 一年级老师岁的罗格女士

    rogueries

    n. 流氓行为( roguery的名词复数 )

    网络解释

    行骗; 流氓行为; 无赖行为

    roisterer

    n. 摆架子者,喝酒喧哗者

    网络解释

    闹饮者; 摆架子者; 酒宴喧闹者