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

图标索引 历史查询
 

安全标号
相关语句
  safe labelled
     Concurrent Expression and Safe Labelled Petri Net
     并发表达式与安全标号Petri网
短句来源
     In this paper, the concurrent, expression is definited, and the equal relation between the concurrent expression and safe labelled Petri net is pointed. The transformation algorithms from the concurrent expression to the safe labelled Petri net are given.
     本文定义了并发表达式,指出其表达能力与安全标号Petri网是等价的,并且我们给出并发表达式到安全标号Petri网转换的一个线性时间复杂性的算法.
短句来源
  相似匹配句对
     SECURITY
     安全
短句来源
     safety.
     ·安全方面。
短句来源
     Concurrent Expression and Safe Labelled Petri Net
     并发表达式与安全标号Petri网
短句来源
查询“安全标号”译词为用户自定义的双语例句

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


In this paper, the concurrent, expression is definited, and the equal relation between the concurrent expression and safe labelled Petri net is pointed. The transformation algorithms from the concurrent expression to the safe labelled Petri net are given.

本文定义了并发表达式,指出其表达能力与安全标号Petri网是等价的,并且我们给出并发表达式到安全标号Petri网转换的一个线性时间复杂性的算法.

In this paper, the grammar of concurrent expression language is given, describing the process of the analysing of grammar and the generating of medium codes. At the same time the storage of Petri Net in memory and the dealing of the variabales which appear in the expression more than once are solved. At last the concurrent expression is converted to safe marking Petri Net.

本文给出并发表达式语言的文法,并描述了Petri网编辑器的语法分析过程和中间代码的产生过程。解决了Petri网在计算机中的存贮结构问题,处理了可能会出现的重名变量,实现了从井发表达式语言到安全标号的Petri网的转换工作。

 
图标索引 相关查询

 


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

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