好单词

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


    • 其他单词翻译

    英文单词 中文含义
    Guaymas

    n.瓜伊马斯（墨西哥城市）

    网络解释

    瓜伊马斯; 瓜马斯; 瓜马斯港
    Guardia

    [人名] 瓜迪亚；[地名] [哥斯达黎加] 瓜尔迪亚

    网络解释

    迪亚; 瓜尔迪亚; 瓜蒂亚
    Guaynabo

    n.瓜伊纳沃（地名）

    网络解释

    瓜伊纳沃; 瓜伊纳沃市; 波多黎各
    Guardino

    [人名] 瓜尔迪诺

    网络解释

    百万
    Gucci

    n. 意大利服装名牌：古驰

    网络解释

    古奇; 古琦; 古奇欧· 古驰
    Gude

    [人名] [英格兰人姓氏] 古德 Good的变体

    网络解释

    沈阳固德
    Guderian

    n.（Guderian）人名；（德）古德里安

    网络解释

    古德里安; 古德里安大将; 古德里安将军
    Guernseys

    n.(原产英吉利海峡格恩西岛的)格恩西奶牛

    n.格恩西岛

    网络解释

    比根赛; 叫根西斯
    Gudermannian

    n.古德曼函数，古得曼行列式

    网络解释

    古得曼行列式; 古德曼函数
    Guido

    abbr.导航控制中心负责人；（美）太空飞行工程师

    n.（Guido）人名；（英、法、德、西、葡、马耳他）吉多；（意）圭多

    网络解释

    基多; 奎多; 奇诺
    Guerrero

    n. 格雷罗， （西班牙语：Guerrero）是墨西哥南部的一个州，南临太平洋。；[人名] 格雷罗；[地名] [阿根廷、墨西哥] 格雷罗

    网络解释

    格雷罗; 格雷罗州; 格瑞罗州
    Gudrun

    n. （北欧神话）古德龙

    网络解释

    古淳; 古德伦; 古德龙
    Guidotti

    [人名] 吉多蒂

    网络解释

    多蒂
    Guevara

    格瓦拉(Ernesto,1928-1967，出生于阿根廷的拉丁美洲革命家)

    网络解释

    格瓦拉; 革命英雄; 革命英雄格瓦拉
    Guelf

    n.中世纪意大利的教皇党员
    Guienne

    吉耶纳（法国西南部旧省名）

    网络解释

    吉耶纳; 吉延; 基恩-选自中世纪卷
    Guevarist

    n.格瓦拉主义者

    adj.格瓦拉主义者的
    Guelph

    n. 12-15世纪意大利的教皇党员

    网络解释

    贵湖; 圭尔夫大学; 贵湖市
    Guildford

    n.吉尔福德（英国东南部萨里郡的郡府）

    网络解释

    吉尔福德; 吉尔福德镇; 吉尔富德
    Guggenheim

    n. 〈口〉 格瓦拉的追随者