查询词典 lotos

In this paper, the application of LOTOS technology in network communication protocol design is studied.

本文对LOTOS技术在网络通信协议设计中的应用方法进行了研究。

With the further development of computer network, communication network and the distributed system, communication protocols are more and more complicated, formal description technology plays the indispensable role in the network protocol design. LOTOS - as one of the ISO standards of FDT, is designed for distributed systems, especially for communication service and communication protocol.

随着计算机网络、通信网络以及分布式系统的不断发展，通信协议有日渐复杂化的趋势，形式描述技术在网络协议设计中占有举足轻重的作用，作为国际化标准之一的LOTOS技术是专为分布式系统设计的形式描述技术，特别是通信服务和协议。

This paper mainly including four parts:The first one: Briefly introduced the application field of ADT in protocol project, the background and the development of LOTOS technology; then described the foundation of LOTOS language.

文章主要由四部分构成：第一部分：简要介绍了形式描述技术在协议工程中的应用范围，LOTOS技术的背景和发展状况；然后介绍了LOTOS的语言基础。

The synchronization problem in the distributed multimedia system is studied in this paper. The basic concept and convention about formalized stand language LOTOS are introduced,and the language is improved and extended by adding discrete time domain and time operator for establishment of its syntactic and semantic rules.

就分布式多媒体系统DMS中同步问题进行了分析与探讨，首先论述了形式化规范语言LOTOS的约定与基本概念，然后对其进行了基于时间的扩充，引入时间操作算子，确定了相应的语法定义和语义规则。

Lotos, the world's most expensive glasses supplier brand, which was founded in 1872. The products include watches, eyewear and jewelry.

Lotos，全球最贵的眼镜供应商，品牌创始于一八七二年，产品包括手表、眼镜和珠宝等。

Combined with the application of OOD in formal specification of distributed multimedia system, a scheme building on ground of LOTOS/QTL (or Esterel/QL) and adopting the idea of OOD has been given. This method can be used to construct time model and synchronization model in distributed multimedia systems.

结合对面向对象技术在分布式多媒体的形式化描述中应用的方法分析，本文提出了一种以LOTOS/QTL或Esterel/QL为基础，融合面向对象技术的形式化描述方案，该方案可用于建立分布式多媒体系统的时间模型和同步模型。

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. Then, a special multimedia synchronization system and implement algorithm is proposed by anatomizing multimedia synchronization problems in distributed environment.

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

The last one: Produced the application method of LOTOS specification styles in network service and protocol design, the concept of formal structural model and its design approach, Macro-oriented specification style and its implementation, the transformation of LOTOS specification to C or C++. Then an example is taken to illustrate how to use the ADT to describle a protocol.

第四部分：提出了LOTOS规范风格在网络服务和协议设计中的应用方法、形式结构模型的概念及实现方法、面向宏的概念及实现方法、LOTOS规范的C、C++实现方法；并举一案例说明基于LOTOS技术的协议设计方法。

The formal description technology based on LOTOS, the formal transformation, the formal validation and implemenation are generalized. Constructions of communication service and communication protocol, transformation from service specification into protocol specification based on bisimulation equivalence are also stated in detail. Application of LOTOS specification styles and architecture concept in service and protocol design is studied as an emphasis.

归纳总结了基于LOTOS的形式化描述方法、形式化的转换、验证和实现等方法理论，以及通信服务和协议的构造方法及服务规范到协议规范的等效性转换方法，重点研究了规范风格和结构概念在服务和协议设计中的应用。

The second one: Discussed the application spectrum of technology based on LOTOS in network protocol design in detail, which including LOTOS specification styles, LOTOS transformation, LOTOS validation, LOTOS implementation, ELOTOS and LOTOS toolkit, etc.

第二部分：详细描述了在网络协议设计中基于LOTOS相关技术的应用领域及在这些领域中的应用方法，包括：LOTOS规范风格、LOTOS转换、LOTOS验证、LOTOS实现、ELOTOS以及LOTOS工具集等。

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.

也许他们将在壶穴里消失