助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   逻辑分析器 的翻译结果: 查询用时:0.02秒
图标索引 在分类学科中查询
所有学科
无线电电子学
更多类别查询

图标索引 历史查询
 

逻辑分析器
相关语句
  logic analyzer
     FLA:A Recursive Fuzzy Logic Analyzer
     FLA:一个递归模糊逻辑分析器
短句来源
     This paper suggests a design of a logic analyzer with rich functions, including the abilityof comparing measured data with reference data.
     本文提出一种功能丰富具有数据比较功能的逻辑分析器的设计方案.
短句来源
     The realization of the logic design withoutany race-hazard and the theory of the operation of the whole system are described in detail,and the result of the research of the Model LA-781 Logic Analyzer as an experimentalsample is given.
     对实现无竞争冒险的逻辑设计及整个系统的工作原理作了较为详细的论述. 给出了作为试验样机的 LA-781型逻辑分析器的研制结果.
短句来源
     In this paper,a fuzzy logic analyzer FLA is introduced,which can finish analysesand simplication of fuzzy logic expression with ANd,OR,NOT,IMPLIES,EQUIVALENToperators.A lot AI programs is based on FLA.
     介绍了一个模糊逻辑分析器,它可对5种运算符完成模糊表达式的分析及化简,可以作为许多人工智能相关程序的基础.
短句来源
  “逻辑分析器”译为未确定词的双语例句
     “Understanding Logic Analyzers”
     逻辑分析器简介
短句来源
     A DESIGN OF THE LOGIC ANALYZER WITH RICH FUNCTIONS
     功能丰富的逻辑分析器设计
短句来源
  相似匹配句对
     “Understanding Logic Analyzers”
     逻辑分析器简介
短句来源
     A DESIGN OF THE LOGIC ANALYZER WITH RICH FUNCTIONS
     功能丰富的逻辑分析器设计
短句来源
     True Degree Logic
     真度逻辑
短句来源
     Logic of Information Currents
     信息流逻辑
短句来源
     Study of the PostgreSQL's parser
     PostgreSQL分析器的研究
短句来源
查询“逻辑分析器”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  logic analyzer
After on-chip D/A conversion and onboard low pass filtering, the audio-signal is sent to a logic analyzer to measure the system performance.
      
A multichannel logic analyzer has been connected sequentially to each processor for the purpose of troubleshooting.
      
A Tektronix DAS 9200 digital logic analyzer is used to monitor the bus activity on the CPU that is injected with errors.
      
A bus analysis probe from FuturePlus Systems coupled with an Agilent Technologies logic analyzer is clearly the best development tool available.
      
A logic analyzer can also be used with these SignalProbe pins, similar to the ASIC methodolog.
      
更多          


This paper suggests a design of a logic analyzer with rich functions, including the abilityof comparing measured data with reference data.The realization of the logic design withoutany race-hazard and the theory of the operation of the whole system are described in detail,and the result of the research of the Model LA-781 Logic Analyzer as an experimentalsample is given.

本文提出一种功能丰富具有数据比较功能的逻辑分析器的设计方案.对实现无竞争冒险的逻辑设计及整个系统的工作原理作了较为详细的论述.给出了作为试验样机的 LA-781型逻辑分析器的研制结果.

In this paper,a fuzzy logic analyzer FLA is introduced,which can finish analysesand simplication of fuzzy logic expression with ANd,OR,NOT,IMPLIES,EQUIVALENToperators.A lot AI programs is based on FLA.

介绍了一个模糊逻辑分析器,它可对5种运算符完成模糊表达式的分析及化简,可以作为许多人工智能相关程序的基础.

With the popular of the transactions processing in Web Services, it is important to adopt a suitable formal method to specify and verify short and long running transactions in Web services but there is no such mature formal method. This paper proposes a new formal method based on Rewriting Logic related to transaction processing in Web Services. It provides a universal framework for Membrane Calculus by the Rewriting Logic tool called Maude. The rules in Maude are used to describe actions of transactions...

With the popular of the transactions processing in Web Services, it is important to adopt a suitable formal method to specify and verify short and long running transactions in Web services but there is no such mature formal method. This paper proposes a new formal method based on Rewriting Logic related to transaction processing in Web Services. It provides a universal framework for Membrane Calculus by the Rewriting Logic tool called Maude. The rules in Maude are used to describe actions of transactions and compensations are introduced in long running transactions. The authors study a classical example deeply from the literature and provide the whole specification in Maude. So Linear Temporal Logic powered by Rewriting Logic can be used to study the properties of Web transactions in the near future.

Web服务的事务处理研究越来越活跃,对于 Web服务中的长、短事务进行形式化描述与验证是很重要的,但目前还没有成熟的方法.该文提出了一种基于重写逻辑的 Web服务事务处理形式化描述方法,采用重写逻辑工具Maude,对于描述Web事务的细胞膜演算,给出一个事务处理的通用框架,采用重写逻辑中的规则描述事务的具体活动,并且引入事务补偿机制刻画长事务的运行;并应用该模型形式化描述文中的 Web事务经典例子,得到一个可执行的重写逻辑模型,便于以后采用Maude线性时序逻辑分析器进行形式化分析.

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

 


 
CNKI小工具
在英文学术搜索中查有关逻辑分析器的内容
在知识搜索中查有关逻辑分析器的内容
在数字搜索中查有关逻辑分析器的内容
在概念知识元中查有关逻辑分析器的内容
在学术趋势中查有关逻辑分析器的内容
 
 

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