助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   synchronous intersection 的翻译结果: 查询用时:0.185秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
更多类别查询

图标索引 历史查询
 

synchronous intersection
相关语句
  同步交
     Synchronous Intersection Operation of Petri Net Languages
     Petri网语言的同步交运算
短句来源
     With the synchronous intersection operation of Petri net languages, the language relationships between the structure-complex Petri net and the set of S-nets can be expressed. Based on these works, an algorithm to specify the behaviors of Petri nets especially structure-complex systems is obtained.
     引入语言的同步交运算,分析了结构复杂的Petri网与其同步合成子网之间的行为关系,给出了结构复杂Petri网的行为描述算法,为利用网语言分析实际系统的行为特征提供了可靠的理论依据和方法.
短句来源
  “synchronous intersection”译为未确定词的双语例句
     In order to analyze Petri net languages, a new operation named as synchronous intersection is presented in this paper.
     Petri网语言是用于系统行为分析的有力工具 ,利用传统的语言运算并不能很好地刻画 Petri网的语言行为 .
短句来源
  相似匹配句对
     Synchronous Intersection Operation of Petri Net Languages
     Petri网语言的同步交运算
短句来源
     The Fundamental of Synchronous Rectification
     同步整流的基本原理
短句来源
     Intersection of Art & Tech
     站在艺术和科技的交汇点上
短句来源
     On the Basis of Intersection of Subspaces
     关于线性子空间交的基
短句来源
     SYNCHRONOUS TECHNOLOGY FOR MECHATRONICS
     机电一体化中的同步技术
查询“synchronous intersection”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
没有找到相关例句


In order to analyze Petri net languages, a new operation named as synchronous intersection is presented in this paper. By analyzing the properties of the languages during the composition and decomposition of Petri nets, it is proved that intersection operation is important and valuable for the properties analysis of Petri nets.

Petri网语言是用于系统行为分析的有力工具 ,利用传统的语言运算并不能很好地刻画 Petri网的语言行为 .为此 ,本文给出一种新的 Petri网语言运算操作—同步交运算 ,并就网系统的分解和合成过程中的行为关系 ,分析了Petri网语言的同步交运算的作用和意义 .

In order to specify the behaviors of structure-complex Petri nets, the concept of synchronous composition is extended and a method is presented, with which a given structure-complex Petri net can be obtained through the synchronous composition of a set of structure-simple Petri nets, namely S-nets. Firstly, the language characters of S-nets are analyzed with details and the methods to obtain their language expressions are presented. With the synchronous intersection operation of Petri net languages, the...

In order to specify the behaviors of structure-complex Petri nets, the concept of synchronous composition is extended and a method is presented, with which a given structure-complex Petri net can be obtained through the synchronous composition of a set of structure-simple Petri nets, namely S-nets. Firstly, the language characters of S-nets are analyzed with details and the methods to obtain their language expressions are presented. With the synchronous intersection operation of Petri net languages, the language relationships between the structure-complex Petri net and the set of S-nets can be expressed. Based on these works, an algorithm to specify the behaviors of Petri nets especially structure-complex systems is obtained.

首先分析了一类结构简单的Petri网--S-网的语言性质,得到了它们的行为描述方法.拓展了Petri网同步合成的概念,证明了给定一个结构复杂的Petri网都可通过一组S-网的同步合成运算而得到,并给出了相应的求解算法.引入语言的同步交运算,分析了结构复杂的Petri网与其同步合成子网之间的行为关系,给出了结构复杂Petri网的行为描述算法,为利用网语言分析实际系统的行为特征提供了可靠的理论依据和方法.

 
图标索引 相关查询

 


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

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