助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   协议 在 计算机软件及计算机应用 分类中 的翻译结果: 查询用时:0.055秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
电信技术
互联网技术
国际法
自动化技术
金融
贸易经济
经济法
民商法
更多类别查询

图标索引 历史查询
 

协议     
相关语句
  protocol
    Design and Analysis of Security Protocol
    安全协议的研究与设计
短句来源
    Research on Protocol and Copy Replication about Distributed Data Updating Based on Parallel Layered Link
    基于并行分层式链路分布式数据更新的协议及副本复制研究
短句来源
    A New Logic for Analyzing and Designing Security Protocol
    一种分析和设计安全协议的新逻辑
短句来源
    Appendix: Virtual File Protocol
    附录:虚拟文件协议
短句来源
    Finding an Executable Path in the Control Graph in the Network Protocol Testing
    在网络协议软件测试的控制图中寻找一条可执行的路径
短句来源
更多       
  protocols
    A HYBRID MODEL FOR FORMAL SPECIFICATIONS OF COMMUNICATION PROTOCOLS
    适于通信协议形式描述的一种混合模型
短句来源
    On Protocols for Deadlock Detection in Distributed Database Systems
    分布式数据库死锁检测协议
短句来源
    STUDY ON A NEW HYBRID MODEL FOR COMMUNICATION PROTOCOLS FORMAL SPECIFICATION
    通信协议形式描述的一种混合模型研究
短句来源
    ASN.1-BASED DESCRIPTION AND DEVELOPMENT OF APPLICATION LAYER PROTOCOLS
    基于ASN.1的应用层协议的描述与开发
短句来源
    The Reachability Analysis Verification for Communication Protocols and Its Automation
    通信协议验证的可达性分析方法及其自动化
短句来源
更多       
  agreement
    As the network procedure interface of Microsoft Windows,Windows Sockets has defined and recorded how to use common TCP/IP agreement in API and network communication.
    windows Sockets作为Microsoft Windows的网络程序接口,它定义并记录了如何使用API及网络通信中常见的TCP/IP协议
短句来源
    A Cache Agreement in the Structure of SMP System
    SMP体系结构中的一种Cache协议
短句来源
    Service level agreement in quality of service management system in manufacturing grid
    制造网格服务质量管理系统中的服务等级协议研究
短句来源
    Improvement and Application of the Key Exchange Method in the SSL Agreement
    对SSL握手协议密钥交换方式的改进与应用
短句来源
    The author analyzes the CPA' s formal functionality, Agreement processes, and the structure of CPA XML file.
    作者分别分析了CPA的正式功能、协议流程以及CPA XML的结构。
短句来源
更多       
  protocal
    TCP/IP protocal itself is much complicated. But on network programming,programmer needn't considerate the realization details of TCP/IP,only need to utilize the Socket interface of the protocal.
    TCP/IP协议本身是非常复杂的,然而在网络编程中,程序员不必考虑TCP/IP的实现细节,只需利用协议的网络编程接口Socket即可。
短句来源
    Analysing the Application of Z39.50 Protocal in the Digital Library Construction
    Z39.50协议在我国数字图书馆建设中的应用
短句来源
    Simulation of Leach Protocal Based on OMNeT++
    基于OMNeT++的Leach协议的仿真研究
短句来源
    Design and Implementation of Reflective Distributed Meta-Object Protocal
    反射的分布式元对象协议(MOP)的设计与实现
短句来源
    In the technical point of view, it concerns SAP Netweaver XI platform, Http protocal, the JCA specification and the cXML protocal.
    从技术角度而言,主要涉及SAP Netweaver Ⅺ集成平台,Http传输协议,JCA规范和cXML电子商务协议等。
短句来源
更多       

 

查询“协议”译词为其他词的双语例句

 

查询“协议”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  protocol
MIF being a key molecule in immune and inflammatory processes several structures with reasonable interactions with MIF and protocol for specific synthesis are presented.
      
According to the protocol of the National Cancer Institute (NCI) in vitro disease-oriented human cells screening panel assay, 13 compounds showed promising broad spectrum antitumor activity.
      
The similar parts in MANET routing protocol are used in the satellite network for reference.
      
Simulations show that LRCS outperforms the coverage configuration protocol and is suitable for various situations.
      
A distributed synchronous reservation multiple access control protocol for mobile Ad hoc networks
      
更多          
  protocols
However, whatever method is used, real industrial applications need to establish well-defined and widely accepted protocols for validating the models and defining their robustness, prediction power and applicability domain.
      
They can both reduce latency and save energy in the wireless sensor network (WSN) while most others propose protocols that sacrifice latency for energy.
      
It is found that the size and interval of the data frame, utilization of the link background and protocols of higher layer are key factors of real-time performance.
      
In this paper, we briefly introduce the basic concepts and protocols of continuous variable quantum communication, and then summarize the experimental researches accomplished by our group in this field.
      
The one-party quantum error correction codes are especially designed for quantum dense coding and related QSDC protocols based on dense coding.
      
更多          
  agreement
The study shows that government has made some important changes after the signing of WTO agreement in 1994, but there are still some contentious issues that require attention.
      
Finally, we applied the model for prediction of a promising new BABQ compound expected to be highly active, and it is seen that our model is in good agreement with the hypothesis in terms of in vitro and in vivo activities.
      
Analytical results for two batches of compound ibuprofen tablets by the SEKI-based FI-CE approach were in good agreement with that obtained by a conventional high performance liquid chromatographic method.
      
The order of magnitude for the thermal expansion coefficient, a, calculated by the theoretical model is in good agreement with experimental value.
      
The characteristics of the sample chip are in agreement with the theoretical predictions.
      
更多          
  protocal
The relative impact of ovarian stimulation protocal and oocyte retrieval technique on success rates of in vitro fertilization program was studied in 200 patients.
      
A detailed description of the QA/QC protocal to be established by the laboratory to maintain control of analyte determinations.
      
A design testing protocal must be developed with available accelerator facilities to ensure protection requirements are met.
      
This protocal allows reactions to be conducted in environmentally benign solvents, water and ionic liquids, with high atom efficiency and high yields.
      
  其他


A six papers' series is being published, which is persuing a semantics for communicating processes. As the first paper of this series, a notation for distributed programming is developed, including the constructs: output, input, alternation, parallelism, channel renaming and hiding, and recursion.The rest of this series will be respectively entitled as: "A Deterministic Semanties of Communieating Processes", "Partial Correctness of Protocal","Weakest Environment of Communicating Processes", "A Nondeterministic...

A six papers' series is being published, which is persuing a semantics for communicating processes. As the first paper of this series, a notation for distributed programming is developed, including the constructs: output, input, alternation, parallelism, channel renaming and hiding, and recursion.The rest of this series will be respectively entitled as: "A Deterministic Semanties of Communieating Processes", "Partial Correctness of Protocal","Weakest Environment of Communicating Processes", "A Nondeterministic Semantics of Communicating Processes (Ⅰ) " and " (Ⅲ) ".

通信的顺序进程(Communicating Sequential Processes)是C.A.R.Hoare教授提出的,简称为CSP,他希望以此作为分布式程序设计的基本机制。 本文以“通信的顺序进程及其研究”作为总称,共分六篇。第一篇以总称为名,介绍CSP的目标及一个CSP式的应用式语言(Applicative Language)。第二篇名为“通信进程的确定性语义学”,该文中给出了这个语言的一种语义,这种语义不考虑CSP中允许的很多非确定现象。语义中同时使用了指称方法(Denotational Semantics)和公理化方法(Axiomatic Semantics)。第三篇为“通信协议的部分正确性”。该文用CSP构造了一个HDLC协议,并用第二篇文章中提供的方法,证明了这个协议的部分正确性。在证明过程中,作者引入了一个类似于顺序程序设计中最弱前提(Weakest Precondition)的最弱环境(Weakest Environment)概念。第四篇中,在一种层次通信结构中,详细地讨论了最弱环境这一概念,文章的名称为“通信进程的最弱环境”。最后两篇讨论CSP的非确定性...

通信的顺序进程(Communicating Sequential Processes)是C.A.R.Hoare教授提出的,简称为CSP,他希望以此作为分布式程序设计的基本机制。 本文以“通信的顺序进程及其研究”作为总称,共分六篇。第一篇以总称为名,介绍CSP的目标及一个CSP式的应用式语言(Applicative Language)。第二篇名为“通信进程的确定性语义学”,该文中给出了这个语言的一种语义,这种语义不考虑CSP中允许的很多非确定现象。语义中同时使用了指称方法(Denotational Semantics)和公理化方法(Axiomatic Semantics)。第三篇为“通信协议的部分正确性”。该文用CSP构造了一个HDLC协议,并用第二篇文章中提供的方法,证明了这个协议的部分正确性。在证明过程中,作者引入了一个类似于顺序程序设计中最弱前提(Weakest Precondition)的最弱环境(Weakest Environment)概念。第四篇中,在一种层次通信结构中,详细地讨论了最弱环境这一概念,文章的名称为“通信进程的最弱环境”。最后两篇讨论CSP的非确定性语义,这种语义考虑了CSP的各种允许的非确定行为。CSP的非确定性语义是用操作语义学(Operational Semantics)和公理化语义学同时给出的。标题为“通信进程的非确定性语义学(上)”及“(下)”。

Using the notation and calculus for describing the behaviour and proving invariant properties of communicating processes presented in [5], [6], a structural approach to the design of communication protocol is developed in this paper, which is illustrated by an HDLC example.

在[5],[6]中,我们陈述了一个用于分布式程序设计的语言原型,这个原型是基于Hoare所提出的通信顺序进程的;并且建议用通道谓词作为分布式程序的功能描述;在发展这个语言的公理语义的同时,也给出了证明程序特性的一种形式途径。本文中,我们将使用上述工具讨论通信协议的结构式设计。本文原拟名为“通信协议的部分正确性”。

A remote job entry (RJE) system is developed for EDC network. The main funetions of EJB protocol used for resource management are discussed. The EJE protocol is presented. The implementation of RJE system on DJS-100 is also illustrated.

为了开发RDC网,我们设计了远程作业录入(RJE)系统。本文讨论了管理和使用网络资源的远程作业录入协议的基本功能,提出了RDC网的远程作业录入协议,说明了在DJS-100机上实现RJE系统的方法。

 
<< 更多相关文摘    
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关协议的内容
在知识搜索中查有关协议的内容
在数字搜索中查有关协议的内容
在概念知识元中查有关协议的内容
在学术趋势中查有关协议的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社