lotos
英 [´loʊtəs]
lotos中文翻译
n. 〈希神〉忘忧树或其果实，莲属植物，埃及白睡莲；神食果
lotos是什么意思
网络 罗特斯; 时间排序规范语言(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的动态模型的形式化方法，并给出了实例说明。