查询词典 specification statement

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为基础，融合面向对象技术的形式化描述方案，该方案可用于建立分布式多媒体系统的时间模型和同步模型。

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对系统进行描述与验证，这有利于人们对交互式用户界面的动态行为进行研究、评估与定义。

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来模化实际。

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工具集等。

Macr;Participate in definition and development of testing specification for new products.

参与新产品测试规范的确定和开发。

In this thesis, we propose a GUI test specification language based on macro components. The language is used to organize and encapsulate GUI test scripts composed of components and events.

因此，本论文提出了一个以巨集为基础的GUI测试规格语言，用来有效的组织元件与事件所构成的GUI测试脚本，以提高对於设计、阅读或维护GUI测试脚本的容易度。

The article clarified above all economic progress and the common meaning that science and technology progresses, pointed out science and technology regards the first productivity as the profound influence to contemporary socioeconomy; Next, to science and technology progress and the main concern that economy grows made a specification, the main at 4 o'clock effect that discussed science and technology to progress to develop to economy and 10 characteristics that stimulative economy grows; Discussed adequately how to use science and technology to progress to develop the dynamic question with bigger infuse for economy better.

文章首先阐明了经济发展与科技进步的一般含义，指出了科技作为第一生产力对当代社会经济的深刻影响；其次，对科技进步与经济发展的基本关系作了说明，论述了科技进步对经济发展的四点基本作用和促进经济发展的十个特点；充分讨论了如何更好地利用科技进步为经济发展注入更大的动力的问题。

Kindergarten management system design specification, the main module is the database design and functional design.

幼儿园管理系统设计说明书，主要是数据库设计和模块功能设计。

Specification, each Member shall make a good faith effort to promptly disclose to the EHR

第十四条每个会员应该根据诚信原则，在其实际知晓的范围内，随时就可能

The studies on the developing of new media are very important to the increasing of the area density of HDD and to the implementation of hybrid recoding technology.

光磁混合记录方法，是一种可以突破超顺磁极限的限制，并进一步提高硬盘记录密度和读写速率的一种新型超高密度信息存储方式。

In io, mTOR inhibition promotes T cell anergy under conditions that would normally induce priming.

体内研究中，在正常可激发免疫反应的条件下，抑制mTOR可促使T细胞无能。