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

  • 其他单词翻译

    英文单词 中文含义
    falcon-gentil

    n.雌隼(尤指雌性游隼,同falcon-gentle)

    网络解释

    猎鹰氏族

    falkenburg

    n.福尔肯堡(加拿大地名)

    网络解释

    法垦堡庄园; 埃里克· 法尔肯博格; 法尔肯堡

    fall-pipe

    n.雨水管,水落管

    网络解释

    水落管; 落水管

    falculate

    adj.[生物]镰刀状的

    网络解释

    镰刀状的

    fallback

    n. 可依靠的东西,退却;回降物

    网络解释

    回退; 后退; 撤退

    falcon-gentle

    n.雌苍鹰;雌隼

    网络解释

    雌隼

    falkenhaynite

    n.辉锑铜矿

    网络解释

    辉锑铜矿

    fall-trap

    (带活门的)陷阱

    fallboard

    木窗板

    网络解释

    木窗板; 键盘盖; 前侧板

    falda

    n. (教皇的)白丝法衣

    网络解释

    白丝法衣; 半身裙; 富尔达

    falconer

    n. 以鹰狩猎者,养鹰者,放鹰者

    网络解释

    鹰猎者; 放鹰者; 福尔克纳

    falkenstein

    n.(Falkenstein)人名;(德、匈)法尔肯施泰因

    网络解释

    法尔肯施泰因; 法尔肯施泰因古堡; 法尔肯斯坦

    fallacies

    n. 错误的见解,错误的推论( fallacy的名词复数 )

    网络解释

    谬论; 逻辑谬误; 错误

    fallectomy

    n.输卵管切除术

    网络解释

    输卵管切除法

    falderal

    n. 廉价的装饰品,胡说八道,愚蠢的想法

    网络解释

    胡说八道; 胡闹; 无聊的话

    falconet

    n. 小鹰,旧式小炮

    网络解释

    鹰炮; 小隼; 隼炮

    falkenstenite

    n.四方沸石

    fallacious

    adj. 谬误的;虚妄的;欺骗的 ;靠不住的

    网络解释

    荒谬的; 错误的; 虚妄的

    fallen

    n. 〈正〉阵亡者

    adj. 倒下的;(女子)已失身的;落下的;落在地上的

    v. 降低( fall的过去分词 );来临;成为;降落

    网络解释

    堕落天使; 夺命感应; 落入凡间

    faldstool

    n. (尤指主教用的)折叠式椅子;无靠背的椅子;跪拜台;祈祷用小案

    网络解释

    跪凳; 椅子; 坐凳