查询词典 protocols

A lot of research work has been done for conformance testing of protocols based on the FSM model.

摘要基于有限状态机的协议的一致性测试问题已经得到了广泛的研究。

Liver cancer is usually a contraindication to transplantation, except in experimental protocols.

肝癌通常是一个禁忌移植，但在实验议定书。

With the continuous development of computer science and technology, the application systems in the future will be multilayer ones based on the object oriented, distributed, isomerous conditions. This kind of system is composed of distributed objects one by one, which have given functions singly. These objects are independent of network protocols, programming languages, and software and hardware platforms. These pro- perties make them communicate each other and work corporately.

随着计算机科学技术的不断发展，未来的应用系统将主要是建立在面向对象的、分布的、异构的、自治的环境中的多层应用系统，系统主要由一个个分布式对象组成，对象各自具有特定的功能，可以跨越平台，独立于网络协议、编程语言和软硬件平台，实现相互通信，协同工作。

The network architectures in existing systems included contents are corvus system introduced in america, wireless regional area network based on ieee 802.22 as well as the wireless mesh network supporting multi-channel and multi-interface; related network protocols are of corvus system, the xg system for military applications, and wran.

现有基于认知无线电技术的网络架构主要有美国的corvus系统，基于ieee 802.22的无线局域网和支持多信道多接口的无线mesh网络；协议体系有corvus协议体系，军用的xg系统协议及wran协议等。

In her role as Senator, Padmé has been freed from the more elaborate of the courtly Naboo protocols.

在她出任参议员时，帕德美从讲究尊严理数的精细的纳布礼仪中解脱出来。

Simulation results show that DS-JET demonstrates better performance in burst blocking probability, network throughput and end to end QoS provision.4 A testbed based on label switching for OBS network is demonstrated for the first time in China, and its network architecture and especially core router architecture are discussed, with emphasis on resource scheduler, optical cross-connect and system control/management module which provide a research platform for assembly algorithm, scheduling algorithm and routing/signaling protocols respectively.

该试验网络的各项性能和第一期OBS试验平台相比都有所提高。该试验网络不仅有助于研究OBS网络的协议算法，也为今后的光网络研究提供了一个通用的可扩展平台。4。针对OBS试验网络进行了一系列的实验。

It is a new study direction of cryptograph that detecting potential flaws in cryptographic protocols using formal analysis of cryptographic protocol.

在通信网络中，身份认证是第一道安全屏障，也是实施访问控制的基础，通信安全几乎总是开始于身份认证握手过程。

It is an important and hard problem in the area of computer network security to analyze cryptographic protocols.

密码协议安全性的分析是当前网络安全研究领域的一个世界性难题。

In addition, the new logic can be used to analyze other time-related properties of cryptographic protocols.

通常的做法都是使用现有的安全协议分析方法对不可否认协议进

Formal methods and tools are key aspects for the analysis of cryptographic protocols.

加密协议的分析需要形式化的方法和工具。

May be considered the equivalent of 5.9 rock in terms of relative technical ability required.

有很多85至90度冰壁艰苦的绳距，差不多是攀岩5.9所需要的技巧及能力。

Yes. Please have a seat, and we'll call you.

是的。请坐，我会叫您的。