字1 字21 字41 字61 字81 字101 成语1 成语21 成语41 成语61 成语81 成语101 词语1 词语101 词语201 词语301 词语401 词语501 词语601 单词1 单词21 单词41 单词61 单词81 单词101 诗词1 诗词101 诗词201 诗词301 诗词401 诗词501 诗词601 诗人1 诗人21 诗人41 诗人61 诗人81 诗人101 名句1 名句21 名句41 名句61 名句81 名句101 近反义词1 近反义词21 近反义词41 近反义词61 近反义词81 近反义词101 造句1 造句101 造句201 造句301 造句401 造句501 造句601 字笔顺1 字笔顺21 字笔顺41 字笔顺61 字笔顺81 字笔顺101 歇后语1 谜语1 谜语11 谜语21 文言文1 文言文2 文言文3 百家姓1 百家姓2 百家姓3
单词大全
单词
当前位置:首页单词大全 lotos
lotos
单词基本解释
n.埃及白睡莲;莲属植物;忘忧树或其果实(等于lotus)罗特斯(品牌名)
例句
例句
Realization of lotos formal specification is one of indispensable steps in protocol design.

LOTOS形式规范的目标实现是协议设计中必不可少的阶段之一。

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理论。

lotos is a specification language that aims at describing the dynamic behavior of complex systems (formal description language).

LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言),是可操作的。

相关推荐

Top