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

  • 其他单词翻译

    英文单词 中文含义
    abstractionists

    n. 抽象派艺术家( abstractionist的名词复数 )

    网络解释

    抽象主义者

    abridgements

    n. 节本( abridgement的名词复数 );缩减;节略;(权利、特权、自由等的)剥夺

    abbesses

    n. 女修道院院长( abbess的名词复数 )

    网络解释

    阿贝斯;阿贝斯站;阿贝思

    accommodators

    n. 调解人( accommodator的名词复数 )

    网络解释

    顺应型;顺应型学习者;适应型

    accompanists

    n. 伴奏者( accompanist的名词复数 )

    网络解释

    小乐队伴奏;历任伴奏

    abseiled

    v. (登山运动中的)沿绳滑下法( abseil的过去式和过去分词 )

    网络解释

    绳降;滑下法;下降姿势

    abbots

    n. 男修道院院长( abbot的名词复数 );隐修院院长;大寺院男住持;男修道院院长的职务

    网络解释

    阿伯特;神父

    abstractions

    n. 抽象( abstraction的名词复数 );<逻>抽象;抽象概念;抽象化

    网络解释

    抽象物;抽象元素;抽象阶段

    accomplices

    n. 从犯,帮凶,同谋( accomplice的名词复数 )

    网络解释

    同谋犯;英文名

    abbreviators

    n. 使用缩写词的人( abbreviator的名词复数 )

    abseils

    v. (登山运动中的)沿绳滑下法( abseil的第三人称单数 )

    网络解释

    个垂直下坠;个削壁

    absurdities

    n. 极端无理性( absurdity的名词复数 );荒谬;谬论;荒谬的行为

    网络解释

    荒谬的;谬误

    accordions

    n. 手风琴( accordion的名词复数 )

    网络解释

    手风琴式的折叠菜单;手风琴效果;手风琴式的摺叠菜单

    absentees

    n. 缺席者( absentee的名词复数 );缺勤者;在外地主;外住者

    网络解释

    缺席;学生缺席;缺席人数

    abdomens

    n. 腹(部)( abdomen的名词复数 )

    网络解释

    将单数

    abyes

    网络解释

    阿比斯

    accountes

    网络解释

    帐户

    absolutes

    n. 绝对真理(指思想或原理)( absolute的名词复数 )

    网络解释

    绝对的东西;绝对油;绝对的真理

    abying

    v. 赎(罪),偿( aby的现在分词 );赎(罪),偿( abye的现在分词 )

    网络解释

    唱起歌来

    accumulations

    n. 积累( accumulation的名词复数 );堆积物;累积量;<会计>(利润、息金带来的)资本增益

    网络解释

    分进业务的累积增额给付;累积收益;杂项