lotos

美:[´ləʊtəs]   英:[´loʊtəs]

中文翻译

n. 〈希神〉忘忧树或其果实,莲属植物,埃及白睡莲;神食果

网络解释

罗特斯; 时间排序规范语言(Language Of Temporal Ordering Specification); 眼镜

英文短语

  • 1.Hotel Lotos 罗拓思酒店
  • 2.Villa Lotos 洛托斯别墅酒店
  • 3.Lotos Accomodation 罗特斯戈尔尼酒店
  • 4.Graphic E LOTOS 图形E
  • 5.Lotos Jade 荷花玉
  • 6.Garni Hotel Lotos 罗特斯戈尔尼酒店
  • 7.图形E-LOTOS Graphic E LOTOS
  • 8.lotos corniculatus 百脉根
  • 英文例句

  • 1.Realization of LOTOS formal specification is one of indispensable steps in protocol design.LOTOS形式规范的目标实现是协议设计中必不可少的阶段之一。
  • 2.The theory basis of GTSL is the theory of grey system and that of LOTOS, the language of temporal ordering specification.本文呈现了我们构造的形式化灰色时序安全策略规范语言(GTSL)。 GTSL的理论基础是灰色系统理论和时序规范语言LO-TOS理论。
  • 3.LOTOS is a specification language that aims at describing the dynamic behavior of complex systems (formal description language).LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言),是可操作的。
  • 4.Combined with theory of object oriented technology and state chart, formalization method of dynamic model based on LOTOS is presented. Furthermore, a case is presented to demonstrate this method.介绍了形式化描述语言LOTOS的特性,结合面向对象技术和状态图的理论知识,给出了基于LOTOS的动态模型的形式化方法,并给出了实例说明。

  • 其他单词翻译

    英文单词 中文含义
    assurgency

    adj.上升的;斜上性的

    assurance

    n. 保证,担保;(人寿)保险;确信;厚脸皮,无耻

    网络解释

    确信; 把握; 保证性

    astacene

    虾红素

    网络解释

    喇蛄素; 藻类虾红素

    astemizole

    n.阿司咪唑

    网络解释

    阿司咪唑; 息斯敏; 阿斯咪唑

    astatische

    无定向控制对象

    assurgent

    adj. 上升的,斜上性的;升起;浮起

    网络解释

    斜上性的

    assurances

    n. 保证( assurance的名词复数 );担保;把握;(人寿)保险

    网络解释

    A-保证程度; 担保; 信念

    astacin

    n.[生化]虾红素

    网络解释

    龙虾肽酶

    astatism

    无定向性

    网络解释

    无方向性; 无向性

    assuring

    adj. 保证的,确信的,给人信心的

    v. 使相信,使确信( assure的现在分词 );保险

    网络解释

    保证的; 使…确信; 确信

    assure

    vt. 向…保证;使…确信;〈英〉给…保险

    网络解释

    担保; 使放心; 确告

    astar

    n.(Astar)人名;(法)阿斯塔尔

    astaxanthin

    [生化]虾青素

    网络解释

    虾红素; 天然虾青素; 红酵母

    astengo

    n.阿斯滕戈

    assured

    adj. 确定的;自信的;自大的,狂妄的,胆大妄为的;〈英〉被保了险的

    n. 被保险人;保险受益人;深信无疑;非常肯定

    v. 使相信,使确信(assure的过去式);保险;使相信,使确信(assure的过去式和过去分词);保险

    网络解释

    被保险人; 确实的; 保证带宽

    assuringly

    adv.保证地;确实地

    网络解释

    保证地; 确信地

    astarboard

    adv. 向右舵

    网络解释

    向右舵; 在右舷; 向右舷

    astc

    军用卫星跟踪中心(ArmySatelliteTrackCenter)

    自动蒸气温度控制(AutomaticSteam-TemperatureControl)

    网络解释

    Applied Science and Technology Conference; 牵引力控制系统; 铸坯锥度自动控制

    aster

    n. 紫菀属植物;天体;碎件;星体

    网络解释

    紫菀属; 翠菊; 紫苑

    assuror

    n. 保证人,保险业者

    网络解释

    担保人