| 释义 |
lo·tos 英ˈləʊtəs美ˈlotəsAHDlōʹtəs COCA²⁸⁰¹³⁶⁺⁵BNC²³⁶²¹³⁺¹
基本例句
n.=lotus希神忘忧树或其果实;植莲属植物;埃及白睡莲¹⁰⁰原型loto的复数 People often say, day lily is“ lotos” for it can“ soothe the nerves.”
人们常说，黄花菜是“忘忧草”，能安神解郁。 yeeyan
Realization of LOTOS formal specification is one of indispensable steps in protocol design.
LOTOS形式规范的目标实现是协议设计中必不可少的阶段之一。 cnki
This paper used the formal language LOTOS to describe the models of the PIM- SM protocol. Subsequent, validation and analysis of the models, using CADP tools, was done.
提出 PIM- SM组播系统的抽象模型，给出了协议实体的部分形式化描述，并使用 CADP工具集对其进行简单验证。 cnki
Upon the research on standard LOTOS, this paper has made a very important improvement on its process syntax notation, and a new concept of intuitive LOTOS has been developed.
本文在研究了标准 LOTOS的基础上，对其进程语法表示方法进行了重大改进，提出直观 LOTOS的概念。 cnki
LOTOS is a specification language that aims at describing the dynamic behavior of complex systems formal description language.
LOTOS主要是用来描述复杂系统动态性的说明语言形式描述语言，是可操作的。 dictall |