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

  • 其他单词翻译

    英文单词 中文含义
    Angkor

    n. 吴哥(柬埔寨的古都和游览胜地)

    网络解释

    吴哥窟; 吴哥古迹; 吴哥王朝

    Angie

    [人名] 安吉;[电影]一往情深

    网络解释

    安吉; 安琪; 安姬

    Angl

    abbr. Angleterre (French=England) (法语)英格兰(英国的主要部分);Anglican 英国国教的;英国圣公会的;英国圣公会教徒

    Anglesea

    安格尔西岛

    网络解释

    安格尔西; 天使海; 安吉尔西

    Angier

    [人名] [英格兰人姓氏] 安吉尔 Ainger的变体;[地名] [美国] 安吉尔

    网络解释

    安吉尔; 安吉尔镇; 安杰尔

    Angio

    [医][=angiography]血管造影术

    网络解释

    血管摄影室; 血管摄影系统; 脉管

    Anglesey

    n.安格尔西岛(英国威尔士西北部一岛)

    网络解释

    安格尔西岛; 安格西岛; 威尔士安格西岛

    Anglia

    n. 英格兰的拉丁名称

    网络解释

    英吉利大学; 英格兰; 安格利亚

    Anglian

    n. 盎格鲁族的方言,盎格鲁族人

    adj. 盎格鲁人的

    网络解释

    盎格鲁方言; 安居尔

    Anglo-

    英格兰的

    Anglic

    n.一种简化英语

    网络解释

    简化英语; 安吉列绒线

    Anglo-American

    n.英裔美国人

    adj.英美的;英裔美国人的

    网络解释

    英美矿业; 英美资源集团; 英美公司

    Anglo-Saxon

    n.盎格鲁-撒克逊

    网络解释

    盎格鲁撒克逊人; 盎格鲁撒克逊语; 古英语

    Anglican

    adj. 英国国教会的;〈美〉英国的;英国人的;英国文化的

    n. 圣公会的信徒

    网络解释

    英国国教; 英国国教徒; 圣公宗

    Anglo-Arab

    安格鲁-阿拉伯马

    网络解释

    安格鲁-阿拉伯马; 英育阿拉伯马; 盎格鲁阿拉伯马

    Anglo-Saxondom

    n.盎格鲁撒克逊族的领土

    网络解释

    盎格鲁撒克逊领土; 盎格鲁撒克逊族的领土; 盎格鲁撒克逊地区

    Anglicanism

    n. 英国国教,英国国教教义;圣公宗

    网络解释

    圣公宗; 安立甘主义; 英国国教神学

    Anglo-Catholic

    n.国教教徒

    网络解释

    英国国教高派教会之教徒; 英国国教高教会派; 圣公宗天主教

    AngloFrisian

    英语和弗里斯语的

    Anglice

    adv. 用英语方式,依英语习惯

    网络解释

    用英语方式