助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   形式描述 在 电信技术 分类中 的翻译结果: 查询用时:0.131秒
图标索引 在分类学科中查询
所有学科
电信技术
计算机软件及计算机应用
互联网技术
自动化技术
计算机硬件技术
管理学
数学
更多类别查询

图标索引 历史查询
 

形式描述    
相关语句
  formal description
    FORMAL DESCRIPTION AND AUTOMATIC IMPLEMENTATION TECHNIQUES OF COMMUNICATION PROTOCOL
    通信协议的形式描述及自动实现技术
短句来源
    A real-time extension of formal description technique LOTOS and its application
    形式描述技术LOTOS的实时扩展及应用
短句来源
    It presents a formal description model for the double loop networks, gives the double loop topology based on the double loop networks, gives the double loop topology based on the model and discusses diameter, average hop distance and throughput-delay of these networks.
    提出了双环网络的形式描述模型,给出了典型双环拓扑的模型表示,并对这类典型双环的网络直径、平均跳跃距离和吞吐量——延迟特性进行了研讨。
短句来源
    Much research has been done recently in the area of formal description techniques (FDT) and their use for protocol design validation, implementation development and testing.
    最近在形式描述技术(FDT)领域及其用于协议设计验证、实现开发和测试方面已做了大量的研究工作。
短句来源
    This paper gives a formal description of protocol Q. 931 by using combination of a formal language and automata techniques, then gives a simplized approach to this formal model.
    本文采用形式语言与自动机相结合的形式描述方法对ISDN用户/网络接口信令(Q.931)进行形式描述与分析,并找出了一种化简方法得到了协议的形式模型。
短句来源
更多       
  formal specification
    Formal Specification and Verification for Group Communication Algorithm Suiting Extended Virtual Synchrony
    支持扩展虚拟同步的组通信算法形式描述与验证
短句来源
  formal description
    FORMAL DESCRIPTION AND AUTOMATIC IMPLEMENTATION TECHNIQUES OF COMMUNICATION PROTOCOL
    通信协议的形式描述及自动实现技术
短句来源
    A real-time extension of formal description technique LOTOS and its application
    形式描述技术LOTOS的实时扩展及应用
短句来源
    It presents a formal description model for the double loop networks, gives the double loop topology based on the double loop networks, gives the double loop topology based on the model and discusses diameter, average hop distance and throughput-delay of these networks.
    提出了双环网络的形式描述模型,给出了典型双环拓扑的模型表示,并对这类典型双环的网络直径、平均跳跃距离和吞吐量——延迟特性进行了研讨。
短句来源
    Much research has been done recently in the area of formal description techniques (FDT) and their use for protocol design validation, implementation development and testing.
    最近在形式描述技术(FDT)领域及其用于协议设计验证、实现开发和测试方面已做了大量的研究工作。
短句来源
    This paper gives a formal description of protocol Q. 931 by using combination of a formal language and automata techniques, then gives a simplized approach to this formal model.
    本文采用形式语言与自动机相结合的形式描述方法对ISDN用户/网络接口信令(Q.931)进行形式描述与分析,并找出了一种化简方法得到了协议的形式模型。
短句来源
更多       
  formal specification
    Formal Specification and Verification for Group Communication Algorithm Suiting Extended Virtual Synchrony
    支持扩展虚拟同步的组通信算法形式描述与验证
短句来源

 

查询“形式描述”译词为其他词的双语例句

 

查询“形式描述”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  formal description
A graph-based delegable model and its formal description were given.
      
For the formal description of these models, the application is shown of modifications of the Petri nets and also process-resource-object graphs (prographs).
      
A system for formal description of Arabidopsis thaliana floral development is proposed.
      
Formal Description of Styrene Conversion in Ionized Air
      
Contract specifications in the form of pre-and postconditions are widely used in software engineering for formal description of interfaces of software components.
      
更多          
  formal specification
Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language
      
Second, a formal representation of the objects and relations of interest is presented, and the user requirements are mapped onto a formal specification.
      
This kind of formal specification assists in verifying whether the composite Web service model matches the requirement.
      
A formal specification language iFL based on i* framework is presented in this paper to formally specify and analyze the early requirment of multi-agent system.
      
The method to transform the i* models to iFL formal specification is also put forward.
      
更多          
  formal description
A graph-based delegable model and its formal description were given.
      
For the formal description of these models, the application is shown of modifications of the Petri nets and also process-resource-object graphs (prographs).
      
A system for formal description of Arabidopsis thaliana floral development is proposed.
      
Formal Description of Styrene Conversion in Ionized Air
      
Contract specifications in the form of pre-and postconditions are widely used in software engineering for formal description of interfaces of software components.
      
更多          
  formal specification
Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language
      
Second, a formal representation of the objects and relations of interest is presented, and the user requirements are mapped onto a formal specification.
      
This kind of formal specification assists in verifying whether the composite Web service model matches the requirement.
      
A formal specification language iFL based on i* framework is presented in this paper to formally specify and analyze the early requirment of multi-agent system.
      
The method to transform the i* models to iFL formal specification is also put forward.
      
更多          
  其他


The orderly introduction of new communication protocols, such as the standards for Open Systems Interconnection, requires a careful analysis of the proposed protocols and much effort for the development and testing of protocol implementations. Much research has been done recently in the area of formal description techniques (FDT) and their use for protocol design validation, implementation development and testing. This paper gives an introduction to these issues, and provides a review of recent research in the...

The orderly introduction of new communication protocols, such as the standards for Open Systems Interconnection, requires a careful analysis of the proposed protocols and much effort for the development and testing of protocol implementations. Much research has been done recently in the area of formal description techniques (FDT) and their use for protocol design validation, implementation development and testing. This paper gives an introduction to these issues, and provides a review of recent research in the area. An attempt is made to explain the general direction of the work on formal protocol specifications, their validation, and conformance testing of protocol implementations. The use of formal specifications for deriving protocol implementations is also discussed.

有次序的引入新的通信协议,例如开放系统互连的标准化,需要细致地分析所提出的协议,并对协议实现的发展和测试工作。最近在形式描述技术(FDT)领域及其用于协议设计验证、实现开发和测试方面已做了大量的研究工作。本文是这些问题的引论,并且对这些领域的最新研究作了评论。本文试图阐明形式协议规范,它们的验证和协议实现一致性测试等工作的总的趋向。形式规范用于协议的实现也作了讨论。

This paper gives a formal description of protocol Q.931 by using combination of a formal language and automata techniques, then gives a simplized approach to this formal model. This formal description is simpler than SDL.

本文采用形式语言与自动机相结合的形式描述方法对ISDN用户/网络接口信令(Q.931)进行形式描述与分析,并找出了一种化简方法得到了协议的形式模型。结果表明:该方法较之SDL图更为简练、直观可直接指导实践。

This paper deals with the study of topology for computer double loop networks. It presents a formal description model for the double loop networks, gives the double loop topology based on the double loop networks, gives the double loop topology based on the model and discusses diameter, average hop distance and throughput-delay of these networks.

本文主要对典型的计算机双环网络拓扑进行了研究。提出了双环网络的形式描述模型,给出了典型双环拓扑的模型表示,并对这类典型双环的网络直径、平均跳跃距离和吞吐量——延迟特性进行了研讨。

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

 


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

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