助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   输出消息 的翻译结果: 查询用时:0.016秒
图标索引 在分类学科中查询
所有学科
更多类别查询

图标索引 历史查询
 

输出消息
相关语句
  output message
     A coding is provided, whose source language is synchronous pi-calculus including match operator, fully replicated operator, input and output prefixes while the asynchronous pi-calculus as the target language contains lazy replicated operator, input prefix and output message.
     给出了一个编码,它以同步π演算作为编码的源语言,异步π演算作为对应的目标语言,在同步π演算中保留match算子、全复制算子、并行算子和受限算子以及输入输出前缀,而异步π演算保留lazy复制算子、并行算子、受限算子、输入前缀以及没有后继的输出消息
短句来源
  “输出消息”译为未确定词的双语例句
     This paper full uses of verdict information given by UIO test sequences and the observed input/output immediately after the potential faulty transition to guarantee the efficient diagnosis of any single fault.
     该算法充分利用了UIO测试序列给出的判定消息,及测试结果中可能的错误转换后的输入/输出消息,从而能高效完全地诊断单个错误。
短句来源
  相似匹配句对
     NEWS
     消息
短句来源
     LOCAL NEWS
     国内消息
短句来源
     output of the model.
     模型输出
短句来源
     AutoCAD Output
     AutoCAD图形输出
短句来源
     CAE mainly consists of two parts: the Chinese System Message (CSM) and the Chinese Input/Output (CIO).
     CAE由中文系统消息(CSM)和中文输入/输出(CIO)两大主要部分组成.
短句来源
查询“输出消息”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  output message
A server is burst reducing if its output message is always less bursty than the input message.
      
In a good communication channel, sufficient error prevention, error detection, and error correction mechanisms exist to ensure that the output message matches the input message.
      
A web service is defined by WSDL in such a way that there is always at most one input message and at most one output message.
      
A one-way hash function takes digital content of any length as input and produces an output message called a message digest.
      
A fan-out object strips a Voltan message of all of its signatures etc, and passes the output message on into the outside world.
      
更多          


How communication mechanisms affect expressive power is studied in the setting of pi-calculus. A coding is provided, whose source language is synchronous pi-calculus including match operator, fully replicated operator, input and output prefixes while the asynchronous pi-calculus as the target language contains lazy replicated operator, input prefix and output message. The property of fully abstraction with respect to barbed bisimulation was shown, thus demonstrated the soundness of the coding. The results show...

How communication mechanisms affect expressive power is studied in the setting of pi-calculus. A coding is provided, whose source language is synchronous pi-calculus including match operator, fully replicated operator, input and output prefixes while the asynchronous pi-calculus as the target language contains lazy replicated operator, input prefix and output message. The property of fully abstraction with respect to barbed bisimulation was shown, thus demonstrated the soundness of the coding. The results show the equivalence of two communication mechanisms when lack of nondeterministic choice operator and lay a solid theoretical basis for the implementation of pi-calculus.

以π演算为框架,通过研究同步和异步通信机制,澄清了各个算子对语言表达能力的影响。给出了一个编码,它以同步π演算作为编码的源语言,异步π演算作为对应的目标语言,在同步π演算中保留match算子、全复制算子、并行算子和受限算子以及输入输出前缀,而异步π演算保留lazy复制算子、并行算子、受限算子、输入前缀以及没有后继的输出消息。研究结果证明了编码在接口互模拟关系下是完全抽象的,从而证明了编码的正确性。进一步说明了在不考虑不确定选择算子的情况下同步通信机制和异步通信机制的等价性,并为π演算的实现提供了理论依据。

UIO(Unique Input Output) test sequences are widely used in communication protocol testing. In this paper, based on an existing fault diagnosis algorithm, an improved algorithm, which utilizes as much information of UIO test sequences as possible, is proposed. This paper full uses of verdict information given by UIO test sequences and the observed input/output immediately after the potential faulty transition to guarantee the efficient diagnosis of any single fault. Some experiments to compare the algorithm with...

UIO(Unique Input Output) test sequences are widely used in communication protocol testing. In this paper, based on an existing fault diagnosis algorithm, an improved algorithm, which utilizes as much information of UIO test sequences as possible, is proposed. This paper full uses of verdict information given by UIO test sequences and the observed input/output immediately after the potential faulty transition to guarantee the efficient diagnosis of any single fault. Some experiments to compare the algorithm with the original one are conducted and the results show that the algorithm is more efficient.

唯一输入输出(UniqueInputOutput)测试序列是协议测试中常用的一种测试序列,在一个已有的错误诊断算法基础上,结合UIO测试序列的一些特点,该文提出了一种应用于UIO测试序列的错误诊断算法。该算法充分利用了UIO测试序列给出的判定消息,及测试结果中可能的错误转换后的输入/输出消息,从而能高效完全地诊断单个错误。最后用实验数据给出了该文算法和原始算法之间的比较结果。

 
图标索引 相关查询

 


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

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