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

图标索引 历史查询
 

激发规则
相关语句
  firing rules
     At first, the definition and temporal specification of GSPN are described by extending the Marked Petri Net with Priorities, the firing rules of transition and calculus formula are given.
     首先,通过外延优先权标记Petri网,提出了GSPN的定义、时序规范、变迁激发规则和计算公式。
短句来源
  “激发规则”译为未确定词的双语例句
     Rules firing transitions in FPN are introduced,and dynamic running process of FPN is determined.
     引出了FPN转移被激发规则,确定了FPN的动态运行过程。
短句来源
     This paper introduces the definition of fuzzy Petri net (FPN), and gives a model of fuzzy Petri net. Rules firing transitions in fuzzy Petri net are introduced in detail.
     该文首先引入模糊Petri网 (FuzzyPetriNet)的定义 ,给出了一个九元模糊Petri网模型 ,并且详细介绍了模糊Petri网的激发规则
短句来源
  相似匹配句对
     Rules of Engagement
     交战规则
短句来源
     Net Rules
     网络规则
短句来源
     Fostering Innovation and Creativity among Employees in Workplace
     激发创造性
     Sum Rule in Nuclear Giant Monopole Resonance and Incompressibility of Nuclear Matter
     核的巨单极激发的求和规则和核物质的不可压缩性系数
短句来源
     Rules firing transitions in FPN are introduced,and dynamic running process of FPN is determined.
     引出了FPN转移被激发规则,确定了FPN的动态运行过程。
短句来源
查询“激发规则”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  firing rules
We have also seen how the application of firing rules enables Petri nets to capture the dynamics or behavior of the modeled system.
      
The Pr/T net of speech act and firing rules are presented.
      
An application can use an ECO flexibly through firing rules.
      
As with the clock of Figure 10, the firing rules must indicate that t10 fires whenever it is enabled.
      
It also has a tool for the authors to manually specify conditions of firing rules that must be embedded into the condition part.
      
更多          


Great importance is increasingly attached to expert system for fault diagnosis of computer numerical control (CNC) machines. In order to solve fuzziness of faults,fuzzy theory is connected with Petri net in this paper,and a fuzzy Petri net (FPN) theory is established. Rules firing transitions in FPN are introduced,and dynamic running process of FPN is determined. It is possible to clearly represent knowledge expression forms,such as and-or trees,production rules,etc. by FPN. Based on the FPN theory,an expert...

Great importance is increasingly attached to expert system for fault diagnosis of computer numerical control (CNC) machines. In order to solve fuzziness of faults,fuzzy theory is connected with Petri net in this paper,and a fuzzy Petri net (FPN) theory is established. Rules firing transitions in FPN are introduced,and dynamic running process of FPN is determined. It is possible to clearly represent knowledge expression forms,such as and-or trees,production rules,etc. by FPN. Based on the FPN theory,an expert system for fault diagnosis of CNC machines (CNCM-FDES) is found. The system consists of knowledge base system, management system for knowledge base, diagnosis inference mechanism,diagnosis process interpretation mechanism, fault evaluation, fault decision and manmachine imerface. Each component part is separately introduced.

专家系统用于计算机数控(CNC)设备的故障诊断日益受到人们的重视。为了能够解决故障现象的模糊性,本文将模糊理论与Petri网结合,建立了模糊Petri网(FPN)理论体系。引出了FPN转移被激发规则,确定了FPN的动态运行过程。应用FPN能够清楚地表达与或树、产生式规则等知识表达形式。基于FPN理论,建立了CNC设备故障诊断专家系统(CNCM-FDES)。该系统由知识库系统、知识库管理系统、诊断推理机制、诊断过程解释机制、故障评价、故障决策与人机界面组成。文中分别介绍了该系统的各个组成部分。

A generalized stochastic petri net technology which can be used to model massively parallel processing systems, named as GSPN, is presented. At first, the definition and temporal specification of GSPN are described by extending the Marked Petri Net with Priorities, the firing rules of transition and calculus formula are given. Then, the technical approach and implementation methods of modelling MPP systems are described by using GSPN.The effectiveness of this modelling technique in the cases of share-memory...

A generalized stochastic petri net technology which can be used to model massively parallel processing systems, named as GSPN, is presented. At first, the definition and temporal specification of GSPN are described by extending the Marked Petri Net with Priorities, the firing rules of transition and calculus formula are given. Then, the technical approach and implementation methods of modelling MPP systems are described by using GSPN.The effectiveness of this modelling technique in the cases of share-memory structures and message passing architectures are discussed respectively, and the associated instances are given. In addition, the mapping relationship between main processes of CSP(Communicating Sequential Processes) and petri net is proposed. Using GSPN can conveniently model MPP architecture, precisely describe the dymantic operations and states of system, and it provide a new approach to model, specify, analyze and evaluate MPP systems.

本文提出一种模型化海量并行处理(MPP)系统的广义随机Petri网技术GSPN。首先,通过外延优先权标记Petri网,提出了GSPN的定义、时序规范、变迁激发规则和计算公式。然后,讨论使用GSPN模型化MPP系统的技术途径和实现方案。分别阐述了GSPN形式化描述共享存储器方式和信息传递方式MPP系统的有效性,并给出了实例。此外,我们还分析和提出了CSP(通信顺序进程)理论中主要进程与Petri网之间的映射关系。使用GSPN,能够方便地模型化MPP结构,清晰地刻划和描述系统的动态操作和状态,为MPP系统的设计、性能描述、分析评价提供了一条新途径

In order to describe and analyse complex real-time systems,new timing constraint Petri nets,named colouredpetri nets with interval timed ares (ITACPN),are proposed in this paper,This Kind of petri nets uses time interval functions ofcolours in input places to label arcs that directing from places to transitions.Based on a Kind of firing rule,which the uncertaintyof system time is sufficiently considered,time bound of the occurrence sequence is estimated.Moreover,state class based methods used on reachability...

In order to describe and analyse complex real-time systems,new timing constraint Petri nets,named colouredpetri nets with interval timed ares (ITACPN),are proposed in this paper,This Kind of petri nets uses time interval functions ofcolours in input places to label arcs that directing from places to transitions.Based on a Kind of firing rule,which the uncertaintyof system time is sufficiently considered,time bound of the occurrence sequence is estimated.Moreover,state class based methods used on reachability analysis and prohibitibility analysis are put forward.

为了描述和分析实际复杂实时系统,提出一种新的时间限制Perti网模型,区段赋时弧有色Petri网模型.这种Petri网在有色Petri网的库所输出弧上标注以输入库所的颜色为自变量的时间区间函数.基于一种充分考虑了系统时间不确定性的激发规则,给出了区段赋时弧有色Petri网的发生元序列时间界估计,并以此为依据,提出了基于状态类的可达性分析方法和可阻断性分析方法.

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

 


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

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