查询词典 lotos

LOTOS is a specification language that aims at describing the dynamic behavior of complex systems.

一、引言形式描述技术是用形式语义语法语言，而不是象英语那样用自然语言来定义一个系统的性能。

I was requested in an off－handmanner—just as any member of the Lotos Club here present would say—"Would you mind giving us a little résumé of your geographical work?"

对我的要求是即席提出来的，正如这里的荷花俱乐部会员都会说："你不介意将你的地理探测的梗概告诉我们吧？"

By introducing two time operators, the traditional LOTOS is extended and time|based LOTOSs syntax and formal semantics are described.

前 言与传统分布式系统相比，分布式多媒体系统有3个重要特点：连续交互性、提供严格的服务质量机制和实时同步性。

Firstly, the basic concept and convention about formalized stand language LOTOS is introduced, and, the language was improved and extended by adding discrete time domain and time operator to confirm its syntax and semantics rules.

本文首先论述了形式化规范语言 L OTOS的基本概念与约定，对其进行了基于时间的改进和扩充，引入了离散时间域和时间操作算子，然后确定其相应的语法定义和语义规则，通过仔细分析分布式环境下的多媒体同步问题，基于时间扩充的 L OTOS，给出了一种特殊的多媒体同步系统以及具体的算法描述。

Keywords: network algebra;LOTOS;routing network algebra;routing stability;BGP

为了检验路由网络代数的有效性，完成了BGP路由稳定性的实验分析工作。

This paper introduces protocol engineering,formal method and core technique formal description technique, and some of the most popular formal methods which have been widely used today, such as SDL, ESTELLE,Petri nets and LOTOS .

软件规模急剧增大，结构也越来越复杂，这就给通信网络协议的开发带来许多困难。

If it had not been for that unbelief,I don't be－lieve I should ever have visited Africa again; Ishould have become,or I should have endeavoredto become,with Mr.Reid's permission,a conser－vative member of the Lotos Club.

如果不是由于此类怀疑，我不信自己还会再访非洲；我本应经过里德先生同意，成为或者争取成为荷花俱乐部的一名保守会员。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失