lotos

lotos

1. Realization of LOTOS formal specification is one of indispensable steps in protocol design.

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

2. LOTOS Specification

LOTOS规格

3. Investigation of application of LOTOS specification styles in service and protocol design

LOTOS规范风格在服务和协议设计中的应用研究

4. LOTO also includes applying a warning tag on the physical limiting device . htis document the authorized loto personnel and the date.

LOTO也包括在物理限制的装置上使用警告性标签，授权使用LOTO的人员的文档和日期。

5. LOTO is the physical restraint or limit of all hazardous energy sources that supply power to a piece of equipment,machinery or system.

LOTO是对向设备、机械或系统供电的危害性能量源的物理限制。

6. People often say, day lily is "lotos" for it can "soothe the nerves.

人们常说，黄花菜是“忘忧草”，能“安神解郁”。

7. Combined with theory of object oriented technology and state chart, formalization method of dynamic model based on LOTOS is presented.Furthermore, a case is presented to demonstrate this method.

介绍了形式化描述语言LOTOS的特性，结合面向对象技术和状态图的理论知识，给出了基于LOTOS的动态模型的形式化方法，并给出了实例说明。

8. An Edit and Compile Software which can automatically Translate E LOTOS into Graphic E LOTOS

从E-LOTOS到图形E-LOTOS的一个编辑和自动转换的编译软件

9. Lotos, the world's most expensive glasses supplier brand, which was founded in 1872.

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

10. LOTOS Specification and Implementation for Distributed System

分布式系统的LOTOS规范及其实现

11. An Edit Software and Excuting Arithmetic of Graphic E LOTOS

图形E-LOTOS的一个编辑软件和执行算法

12. LOTO operations must be done on all equipment, machinery or system shut down before authorized peronnel can perform repairs or service.

在授权的人员进行修理或维修前，必须关闭所有的设备、机械或系统方可进行LOTO操作。

13. Formal Analysis of PIM-SM Protocol Based on LOTOS

基于LOTOS的PIM-SM协议形式化分析

14. Review LOTO procedure for confined space and install Personal (Red) Lock on the associated LOTO lock box.

复习有限空间LOTO程序，将个人用锁（红色）安装在相应的LOTO锁箱。

15. Compiler Support to Implement LOTOS Formal Specification

执行LOTOS形式说明的编译器支持

16. 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工具集对其进行简单验证。

17. Abstract: LOTOS is a specification language that aims at describing the dynamic behavior of complex systems （formal description language）.

摘 要: LOTOS主要是用来描述复杂系统动态性的说明语言（形式描述语言），是可操作的。

18. 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;

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

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

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

20. 1 and TTCN, and Estelle, LOTOS and SDL which have been standardized by ISO and CCITT.

标准形式描述技术：Estelle、LOTOS和SDL。

21. then described the foundation of LOTOS language.

然后介绍了LOTOS的语言基础(第二章)。

22. Grace Ong, Vanessa Sin, Christina Li, Sandy Li, Jin-Li Lao, Kelis La, Lotos Chen, Jenny Chen, Erik Nelson and Long Li.

王恩典,冼结清,李艳梨,李蓝,劳锦丽,蔡诗萍,陈扬婕,陈妍希,李文浩,李新龙.

23. This thesis mainly includes four parts:First, the application field of ADT in protocol project, the background and the development of LOTOS technology are briefly introduced and the foundation of LOTOS language is described.

第一部分:简要介绍了形式描述技术在协议工程中的应用范围,LOTOS技术的背景和发展状况(第一章); 然后介绍了LOTOS的语言基础(第二章)。

24. lotus (lotos)

莲饰

25. It first describes formal description for the specification of communication protocol. and the principal features of Estelle, SDL and Lotos.

论述通信协议的形式描述，Estelle、SDL和Lotos等的主要特征；