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的动态模型的形式化方法,并给出了实例说明。

  • 其他单词翻译

    英文单词 中文含义
    Sturn

    [人名] 斯特恩

    网络解释

    施图恩; 土星

    Stylosanthes

    n.笔花豆属;柱花草

    网络解释

    笔花豆属; 柱花草; 柱花豆属

    Sturnella

    草地鹨属

    网络解释

    草地鹨属

    Styphelia

    网络解释

    垂钉石南属

    Subaru

    [体]富士车队

    网络解释

    斯巴鲁; 速霸陆; 富士

    Sturnidae

    n.[鸟]椋鸟科;八哥科

    网络解释

    椋鸟科; 八哥科; 八哥椋鸟科

    Succinivibrio

    n.[微]琥珀酸弧菌属

    网络解释

    琥珀酸弧菌属

    Styracaceae

    n.安息香科

    网络解释

    安息香科; 野茉莉科; 安息香目

    Suberites

    n.皮海绵属

    网络解释

    皮海绵属; 皮海绵

    Sturrock

    n.(Sturrock)人名;(英)斯特罗克

    网络解释

    斯特罗克; 斯丢洛克

    Succos

    n.(犹太人在住棚节住的)棚舍(succah的复数)

    网络解释

    琥珀色

    Sudetenland

    n. 苏台德区(在捷克斯洛伐克西北部)

    网络解释

    苏台德地区; 苏台德区; 捷克的苏台德

    Suberitidae

    皮海绵科

    网络解释

    皮海绵科

    Styragel

    n.聚苯乙烯型交联共聚物

    网络解释

    聚苯乙烯凝胶

    Stuttgart

    斯图加特(德意志联邦共和国西南部城市)

    网络解释

    德国斯图加特; 斯图加特市; 斯图佳特

    Sudetes

    苏台德山脉[欧洲中部](在捷克和斯洛伐克、波兰、德国边境)

    网络解释

    苏台德山脉

    Suctoria

    n.吸管纲;吸管亚纲

    网络解释

    吸管亚纲; 吸管纲; 吸管虫目

    Subic

    苏比克(菲律宾)

    网络解释

    苏比克; 菲律宾苏比克; 菲律宾苏碧湾

    Styria

    n.施第里尔(奥地利东南部的州)

    网络解释

    施蒂利亚州; 施蒂里亚; 奥地利施蒂里亚

    Stutts

    [人名] 斯塔茨