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

  • 其他单词翻译

    英文单词 中文含义
    apprizes

    v. 尊重( apprize的第三人称单数 );敬重;评价;鉴定

    网络解释

    报知

    appropriating

    v. (不适当地)擅用( appropriate的现在分词 );拨出(款项等);把…据为己有;顺手牵羊

    网络解释

    据为己有; 占用

    approachway

    进场段

    网络解释

    进场段; 进场航路; 岔路口临近路段

    appropinquity

    n.接近

    网络解释

    接近

    appressed

    adj. 紧贴的,紧靠的

    网络解释

    密压的; 腹背扁的; 贴附的

    apprizing

    v. 尊重( apprize的现在分词 );敬重;评价;鉴定

    网络解释

    报知

    appropriation

    n. 挪用;拨款;批准支出

    网络解释

    拨款; 经费; 据为己有

    approbate

    v. 许可,认可,承认

    网络解释

    核准; 批准; 许可

    appropriable

    adj. 可供专用的,可侵吞的,可挪用的

    网络解释

    可分拨; 可供专用的; 可专用的

    apprisal

    n.告知

    网络解释

    金评网

    appro

    n. 〈俚〉看货后再作决定

    appropriations

    n. 挪用(appropriation的复数形式)

    网络解释

    挪用; 拨款小组委员会; 限制用途的拨款

    approbated

    v. 许可,认可,承认( approbate的过去式和过去分词 )

    网络解释

    核准; 批准; 许可

    appropriacy

    n. (措词的)准确性,中肯,恰到好处

    网络解释

    得体性; 适宜性; 适切性

    apprise

    vt. 告知,通知;评价

    网络解释

    报告; 报告通知; 使注意

    approach

    vt.& vi. 接近,走近,靠近

    vt. 接近;着手处理;使移近;试图贿赂(或影响,疏通)

    n. 方法;途径;接近

    vi. 靠近

    appropriative

    adj. 专用的,可拨用的,充当的

    网络解释

    专用的

    approbates

    v. 许可,认可,承认(approbate的第三人称单数形式)

    网络解释

    核准; 批准; 许可

    appropriate

    adj. 适当的;恰当的;合适的

    vt. 占用,拨出

    网络解释

    适当的; 合适的; 适合的

    apprised

    v. 告知,通知( apprise的过去式和过去分词 );评价

    网络解释

    告知; 通报