查询词典 formal

She writes in longhand, and while she doesn't have a formal schedule, she says she prefers to write in the morning, before breakfast.

她说，在没有正式安排的日子里，她更喜欢在早晨，特别是早餐之前写东西。

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技术是专为分布式系统设计的形式描述技术，特别是通信服务和协议。

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

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

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

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技术的协议设计方法。

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

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。

The user is low age change, the notable characteristic that low record of formal schooling, low income is group of user of game of our country network.

用户低龄化、低学历、低收入是我国网络游戏用户群体的显著特征。

The user is low age change, the striking feature that low record of formal schooling, low income is group of user of game of our country network.

用户低龄化、低学历、低收入是我国网络游戏用户群体的显著特征。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。