好单词

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


    • 其他单词翻译

    英文单词 中文含义
    csiny csiny

    网络解释

    csiny; 佳诚; 犯罪现场调查纽约篇; 纽约犯罪现场调查
    csoi csoi

    网络解释

    csoi; 调整后综合营业利润; 营业利润; 运营利润
    csmate csmate

    网络解释

    csmate; 中文打字程序; 中文聊天软件; 中文说话程式
    ctb

    abbr.cement-treated base 水泥底座; ceramic-tile base 陶瓷底座

    网络解释

    三次差拍; 复合三价差拍(composite triple beat); 逆流槽
    csmtv csmtv

    网络解释

    csmtv
    cssk 科学知识的文化研究

    网络解释

    cssk
    cssborder cssborder

    网络解释

    cssborder; 引发的血案; 边框; 属性使用说明
    cssfloat cssfloat

    网络解释

    cssfloat; 浮动
    csonst csonst

    网络解释

    csonst; 连线器; 载点
    ctcs

    abbr.channel and traffic control service 信道与通信量控制业务; consolidated telemetry checkout system 统一遥测检验系统

    网络解释

    中国列车控制系统; 中国列车运行控制系统; 列车运行控制系统(chinese train control system)
    csob

    网络解释

    捷克斯洛伐克联合商业银行; cob
    ctbu

    网络解释

    重庆工商大学(chongqing technology and business university); ctbu
    cssmargin cssmargin

    网络解释

    cssmargin; 外边距外间距; 边距; 属性定义边外补白
    csportable cs便携式

    网络解释

    csportable; cs便携式
    csstext csstext

    网络解释

    csstext; 本文; 专题样式代码
    cssfilter cssfilter

    网络解释

    cssfilter; 这里应用了
    ctcss

    abbr.continuous tone coded-squelch system 连续语音控制静噪系统; continuous tone-controlled squelch system 连续单音控制静噪制

    网络解释

    哑音频; 音频编码静噪系统; 亚音频(continuous tone coded squelch system)
    csz

    abbr.copper; steel; or zinc (freight) 铜; 铁

    网络解释

    稳定比; 克罗地亚航空公司; cincinnati sub-zero
    cstg

    abbr.casting 铸件，铸造

    网络解释

    基地; 膜式自动送料机; 铸件(castings)
    csshack csshack

    网络解释

    csshack; 兼容性样式; 使用; 兼容性问题