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

  • 其他单词翻译

    英文单词 中文含义
    coocoo

    adj. 〈美俚〉疯狂的,狂放不羁的

    网络解释

    柯青兰; 收起回复; 鸟形液晶清洗巾

    cookery

    n. 烹饪学,烹饪术;烹调业;〈美〉厨房

    网络解释

    烹调术; 烹调法; 烹饪法

    cookable

    adj.可烹饪的

    网络解释

    可烹调的

    conwell

    n.(Conwell)人名;(英)康韦尔

    网络解释

    威尔神父; 康威尔; 先生能把我的服装

    convulses

    v. 使抽搐,使剧烈震动( convulse的第三人称单数 )

    网络解释

    使震动; 抽搐; 抽筋

    cooed

    v. (鸽)咕咕地叫,发出鸽叫般的声音( coo的过去式 );温柔可爱地说话

    cookie

    n. 饼干;小甜点;吸引人的年轻妇女;甜面包

    网络解释

    小甜饼; 饼干; 饼乾

    cookbook

    n. 食谱,菜谱

    网络解释

    烹饪书; 素食食谱; 烹饪手册

    conwill

    n.康威尔

    网络解释

    康威尔

    convulsibility

    [医] 惊厥性

    网络解释

    惊厥性

    cookie-sized

    网络解释

    饼干大小的

    cooee

    v. 喂(澳洲土人的招呼声)

    n. 作喂和尖锐的呼喊声

    网络解释

    酷宇; 赛佳

    cony

    n. 兔子(尤指欧洲兔),兔毛皮

    网络解释

    兔兔康尼; 兔兔名字叫康尼; 蹄兔

    convulsing

    v. 使抽搐,使剧烈震动( convulse的现在分词 )

    cooer

    n. 鸠,鸽

    网络解释

    cookies

    n. [美]甜饼干,(苏格兰)一种小面包;[俚]家伙,人;饼干( cookie的名词复数 );人(尤指男人);饼干( cooky的名词复数 )

    网络解释

    曲奇; 饼乾; 曲奇饼

    cooked

    adj. 煮[烹]熟的

    v. 烹调( cook的过去式和过去分词 );编造;篡改;密谋

    网络解释

    熟的; 煮熟的; 煮好的

    conybeare

    n.科尼比尔

    网络解释

    康尼拜尔; 孔尼白; 尼培

    cooing

    v. (鸽)咕咕地叫,发出鸽叫般的声音( coo的现在分词 );温柔可爱地说话

    网络解释

    咕咕期; 喔啊声; 咕咕阶段

    cooking

    n. 烹饪术;如火如荼地进行;热火朝天;在干什么

    adj. 烹调用的(水果,锅,炉等)

    v. 烹调( cook的现在分词);编造;篡改;密谋