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

  • 其他单词翻译

    英文单词 中文含义
    pron

    abbr. pronunciation 发音;pronounce 宣布;pronounceable 可发音的;pronunciator (y) 发音器(的)

    promulgates

    v.传播,宣扬(思想或信仰);发布,颁布(新法律)

    网络解释

    公布; 发布

    promptly

    adv. 敏捷地;迅速地;立即地;毫不迟疑

    网络解释

    敏捷地; 立即; 准时地

    pronely

    adv.俯卧地,以俯卧姿态地

    网络解释

    俯伏地

    pronated

    v.将手掌向下或向后转动;使内旋;用内八字脚走(或跑);俯身;伏身(pronate的过去式和过去分词)

    网络解释

    旋前足; 旋扭足以卸去震动; 旋前状态

    promulgating

    v.传播,发表;公布(法律)(promulgate的现在分词)

    网络解释

    旅游形象传播

    proneness

    n.倾向;俯伏

    网络解释

    倾向性

    promulgation

    n. 颁布

    网络解释

    公布; 颁布; 传播

    pronates

    vt.将手掌向下或向后转动

    vi.俯身;伏身

    网络解释

    轻微地内翻

    pronephric

    前肾的

    pronathous

    基部突出的(用于花药)

    pronephridiostome

    n.前肾

    pronephron

    n.前肾;原肾

    pronghorn

    n. 〈美〉(墨西哥与美国西部产的)叉角羚

    网络解释

    叉角羚羊; 糜鹿; 麋鹿

    pronephros

    n.[胚][脊椎]前肾(脊椎动物最原始的泌尿器官)

    网络解释

    原肾; 前肾或称原肾; 头肾

    pronghorns

    n.叉角羚(pronghorn的复数)

    pronotary

    n.前胸背板

    网络解释

    前胸背板

    pronestyl

    普鲁卡因胺

    网络解释

    普鲁卡因胺; 普利心律胶囊; 心律不整

    pronouns

    n. 〈语〉代词( pronoun的名词复数 )

    网络解释

    代词; 代名词; 人称代词

    prongs

    n. (岩心采取器的)弹簧;叉子齿( prong的名词复数 );(进攻、论点等的)方面;(构成形容词)有…齿的;分…方面的

    网络解释

    尖头叉子; 星叉; 齿镶托