查询词典 protocol

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

The security of PKI system itself is especially emphasized during the system design and implementation process, which is in accordance with the pervasive characteristic of PKI. Second, the concept of a Trusted Key Management Center is introduced for the first time. This technology greatly strengthens key management practices and allows for smooth transition from PKI to Key Management Infrastructure. Third, certificate status mechanisms are investigated in depth, and a certificate revocation performance simulation system is devised. All these work will provide guides to practice and employment of PKI applications. Based on time constraints, a new taxonomy for authenticated dictionaries is proposed. Fourth, formal analysis ofOCSP protocol is carried out; then an efficient and scalable OCSP system is developed. Fifth, the special requirements caused by the working environments of Wireless PKI are analyzed. Based on communicative hashing and dynamic Merkle hash tree, an efficient certificate status validation method suitable for WPKI is presented. Sixth, one important kind of fair exchange protocols is studied, and a new CEMBS based on RSA cryptosystem is proposed. Afterwards, a novel fair exchange protocol totally based on RSA signature scheme is devised.

在系统设计和实现的过程中，考虑到PKI作为普适性安全基础平台的特点，特别强调PKI系统自身的安全性；第二，首次在PKI系统的设计中提出了"可信密钥管理中心"的概念，这一独特设计大大地强化了密钥管理功能的实施，为PKI向密钥管理基础设施的平滑过渡提供了良好的技术准备；第三，对证书状态验证机制进行了深入研究，设计了证书状态模拟系统，以指导PKI系统和应用的部署和实施；在此基础上，基于时间约束首次给出了认证字典的一种新的分类方法；第四，对OCSP协议进行了形式化分析，设计和实现了一种高效、可扩展的OCSP系统；第五，分析了WPKI工作环境对设计安全基础平台提出的特殊要求，结合无线移动设备的具体特点，基于可交换杂凑函数和动态Merkle杂凑树设计出了一种适用于WPKI环境的高效证书状态查询机制；第六，对一类公平交换协议进行了深入的研究，从设计公平交换协议的密码基础结构出发，提出了一种新型的基于RSA密码体制的高效CEMBS；在此工作的基础上，设计了一种基于RSA密码体制的最优化公平交换协议。

The security of PKI system itself is especially emphasized during the system design and implementation process, which is in accordance with the pervasive characteristic of PKI. Second, the concept of a Trusted Key Management Center is introduced for the first time. This technology greatly strengthens key management practices and allows for smooth transition from PKI to Key Management Infrastructure . Third, certificate status mechanisms are investigated in depth, and a certificate revocation performance simulation system is devised. All these work will provide guides to practice and employment of PKI applications. Based on time constraints, a new taxonomy for authenticated dictionaries is proposed. Fourth, formal analysis of OCSP protocol is carried out; then an efficient and scalable OCSP system is developed. Fifth, the special requirements caused by the working environments of Wireless PKI are analyzed. Based on communicative hashing and dynamic Merkle hash tree, an efficient certificate status validation method suitable for WPKI is presented. Sixth, one important kind of fair exchange protocols is studied, and a new CEMBS based on RSA cryptosystem is proposed. Afterwards, a novel fair exchange protocol totally based on RSA signature scheme is devised.

在系统设计和实现的过程中，考虑到PKI作为普适性安全基础平台的特点，特别强调PKI系统自身的安全性；第二，首次在PKI系统的设计中提出了"可信密钥管理中心"的概念，这一独特设计大大地强化了密钥管理功能的实施，为PKI向密钥管理基础设施的平滑过渡提供了良好的技术准备；第三，对证书状态验证机制进行了深入研究，设计了证书状态模拟系统，以指导PKI系统和应用的部署和实施；在此基础上，基于时间约束首次给出了认证字典的一种新的分类方法；第四，对OCSP协议进行了形式化分析，设计和实现了一种高效、可扩展的OCSP系统；第五，分析了WPKI工作环境对设计安全基础平台提出的特殊要求，结合无线移动设备的具体特点，基于可交换杂凑函数和动态Merkle杂凑树设计出了一种适用于WPKI环境的高效证书状态查询机制；第六，对一类公平交换协议进行了深入的研究，从设计公平交换协议的密码基础结构出发，提出了一种新型的基于RSA密码体制的高效CEMBS；在此工作的基础上，设计了一种基于RSA密码体制的最优化公平交换协议。

The proposed Common Internet File System protocol runs over TCP/IP and is an enhanced version of the open, cross-platform protocol for distributed file sharing called Server Message Block.

推荐的通用互联网文件系统协议运用于TCP/IP，是分布式文件共享使用的开放交叉平台协议增强版，称为服务器消息块。

O protocol, focusing on the Physical Layer and Mac Layer Specifications of the protocol.Chapter II analyze the channel character of the power line communication channel, constructs a system model taking consideration of power line channels and the channel estimation algorithm based on pilots are investigated.

第二章分析了电力线载波通信信道特性，重点在于针对相应的信道特性对信道进行建模并，给出电力线信道下的信道估计方法和仿真结果。

The principle and realization of mono - and multi-node design are indicated and the seven - layer network protocol is analysed. A set of communication protocol fit for field operation is presented,and its principle and application are detailed.

阐述了从单个节点到多个节点的设计原理及实现，在此基础上分析了网络的七层协议，定义了一套应用于现场的通信规约，详细说明了此规约的通信原理及实际使用情况。

If you still want to share your Files and Printer over the network, you must use the NetBEUI protocol instead of the TCP/IP protocol.

如果你仍然希望通过网络共享文件和打印机，那么，你必须使用NetBEUI协议来代替TCP/IP协议。

The clinical criteria for both diagnosis and efficacy evaluation of disease are also needed. To include all symptoms, tongue manifestations and pulse presentations into case report form, and to compare the differences in these clinical parameters between effective and noneffective cases by multivariate analysis may be helpful to find more specific indications for therapeutic protocol of TCM. Furthermore, It is suggested that two or more clinical trials on one therapeutic protocol are needed to identify its accurate indications.

中医药规范化治疗方案的研究必须体现中医基本理论，遵循现代医学临床试验设计方法以及利用现代医学关于疾病诊断和疗效判断的标准，应将中医证候相关信息纳入临床试验的检查项目之中，开展两次或多次的临床试验，利用多元统计分析方法，对比分析有效和无效人群的特点，寻求与中医药治疗方案有效结局相关的主观症状、舌象和脉象，从而找到该治疗方案的最佳适应症，形成规范的治疗方案。

A new parallel high level data link controller was designed using the hardware description language on the FPGA device. The HDLC protocol controller can construct or deconstruct the multi-channel HDLC protocol frames in parallel way. As a result, it improved the robust and reliability of the whole system.

在FPGA内部采用硬件描述语言并行设计多通道的高级数据链路控制协议控制器，该协议控制器有效利用FPGA的片内硬件资源，实现了并行解析和生成多通道的HDLC协议报文，提高了数据通信系统中的多通道扩展性、实时性和稳定性。

The data capture mainly gathers the data from the network. Protocol analysis can analyse every segment of the data packet according to protocol standard. Data recover can recover all the data of the application layer of the TCP connection. IP spoofing can construct all kinds of packets and realize the network attack. Real-time interruption can interrupt the TCP connection of Both sides of communication as the third party. Fire wall can realize network access control. Then the system can protect the network information safety from many aspects.

数据捕获主要完成从网络采集数据的功能；分析还原包括协议分析和数据还原两部分内容，协议分析可以对捕获到的数据包按照网络协议规范分别进行各协议字段分析，数据还原功能可以将每条TCP连接中传输的所有应用数据进行重新组合，还原出原来数据的内容；IP欺骗指构造各种功能的数据包，实现网络攻击；实时阻断指第三方实时阻断通信双方的TCP连接，禁止他们进行数据通信；防火墙主要实现网络访问控制，保护内部子网的功能。

Don not attempt to do something which you can not to do.

不要企图做那些办不到的事情。

The expression of CTGF and TNF-αweredetected by immunochemistry and the number of Clara Cells was calculated.

光镜下观察肺组织的病理变化，采用免疫组化染色观察肺组织中结缔组织生长因子和肿瘤坏死因子-α的表达和Clara细胞的数量。