查询词典 lotos

Based on the BNA and LOTOS/E-LOTOS a new algebra framework for description and analysis of behavior of Internet routing system is proposed.

引 言Internet路由体系结构作为Internet的骨架和神经，它的行为决定网络的行为，这里的行为是指路由实现过程和动态变化规律。

Lotos, the world's most expensive glasses supplier brand, whichwas founded in 1872. The products include watches, eyewear andjewelry.

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

In order to guarantee the correction of the design of system, it needs to specify and verify it rigidly. The formal description and verification by use of LOTOS (language of temporal ordering specification) and ACTL are given out in this paper. These allow people to study, evaluate and define the dynamic behavior of current user interfaces.

为了保证系统设计的正确性，文章讨论了如何使用形式化描述语言LOTOS(language of temporal ordering specification)和基于动作的时序逻辑ACTL对系统进行描述与验证，这有利于人们对交互式用户界面的动态行为进行研究、评估与定义。

Keywords: distributed multimedia system, synchronization, LOTOS

同时给出一个实例系统，进一步描述了基于时间扩充的LOTOS，对分布环境下多媒体信息同步问题在实际中的应用，并与传统方法进行了比较

GTSM is constructed based on the theories of LOTOS and grey system, using BLP model and Clark-Wilson model as its framework, and using dynamic grey structured labeled transition system as its core.

以Bell-LaPadula模型和Clark-Willson模型作为主要框架，基于LOTOS时序理论和灰色系统理论，构造了以动态灰色结构标号转换系统DGTS为核心的灰色时序安全策略模型GTSM。

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.

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

The outstanding problem is to map abstract entities onto real entities,both effectively act on the environment,and to allow the environment to influence specification behavior.The paper describes the opportunities provided by TOPO,a compiler from LOTOS into C or Ada code.

对于通信系统的抽象说明，LOTOS语言被设计成为高级别的说明语言，它拥有强有力的多路径汇聚结构，允许用户请求的精确描述，而不是任何一个详细的执行，通过按时间排序的微小事件LO-TOS来模化实际。

Observable transformation between different formal description models. Using the ETS-based testing theory, formal transformation methods from LOTOS and Estelle to ETS are proposed respectively.

不同形式描述模型之间的可观察等价性转换根据基于扩展标号变迁系统的协议一致性测试理论，分别提出了LOTOS和Estelle到ETS的形式转换方法，证明了它们的可观察等价性，并举例说明。

It first describes some key formal description techniques including semi - FDT such as ASN. 1 and TTCN, and Estelle, LOTOS and SDL which have been standardized by ISO and CCITT.

文中论述了协议的典型形式描述技术，主要包括半形式描述技术：ASN.1和TTCN；标准形式描述技术：Estelle、LOTOS和SDL。

Kelley has been honored by her peers with such awards as the Outstanding Author Award from the American Society of Journalists and Authors for her "courageous writing on popular culture," the Philip M. Stern Award for her "outstanding service to writers and the writing profession," the Medal of Merit from the Lotos Club of New York City, and the 2005 PEN Oakland Literary Censorship Award.

凯利已经荣幸作为杰出作者从美国记者和作家学会奖等奖项她的同伴她的"勇敢的书面流行文化，"菲利普米斯特恩她奖"杰出服务，专业作家和写作，"从纽约市的Lotos俱乐部的优异奖章，以及2005年国际笔会奥克兰文学检查奖。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。