期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
开放Petri网可达状态求解系统的开发与实现
1
作者 吴亚光 《电脑知识与技术》 2016年第1Z期213-215,221,共4页
Petri网模型是理论计算机科学包括自动机模型和形式语言理论的一个分支,具有自然、直观、简单易懂等特点。开放Petri网是Petri网的一种扩充,在并行模型分析,协议的验证,自动控制等方面有广泛的应用。该文的主要工作在于开发一个可以生... Petri网模型是理论计算机科学包括自动机模型和形式语言理论的一个分支,具有自然、直观、简单易懂等特点。开放Petri网是Petri网的一种扩充,在并行模型分析,协议的验证,自动控制等方面有广泛的应用。该文的主要工作在于开发一个可以生成开放Petri网的软件,并能够求解其所有的可达状态,最后通过这样一个软件来研究开放Petri网的可达状态总数随网的规模变化和初始Token数变化而变化的情况。我们得到的结论是在这两种情况下可达状态数都是呈指数增长的。 展开更多
关键词 开放petri petri生成 可达状态 petri网规模
下载PDF
A fast method to evaluate water eutrophication 被引量:1
2
作者 严胡勇 王国胤 +6 位作者 张学睿 董建华 闪锟 吴迪 黄昱 周博天 苏宇婷 《Journal of Central South University》 SCIE EI CAS CSCD 2016年第12期3204-3216,共13页
Water eutrophication has become a worldwide environmental problem in recent years.Once a water body is eutrophicated,it will lose its primary functions and subsequently influence sustainable development of society and... Water eutrophication has become a worldwide environmental problem in recent years.Once a water body is eutrophicated,it will lose its primary functions and subsequently influence sustainable development of society and economy.Therefore,analysis of eutrophication becomes one of the most essential issues at present.With the ability to deal with vague and uncertain information,and express knowledge in a rule form,the rough set theory(RST) has been widely applied in diverse domains.The advantage of RST is that it can compress the rule and remove needless features by reduction inference rule.By this way,the rule gets effectively simplified and inference efficiency gets improved.However,if data amount is relatively big,it could be a process with large calculated amount to search rules by looking up tables.Petri nets(PNs) possesses so powerful parallel reasoning ability that inference result could be obtained rapidly merely by simple matrix manipulation with no need for searching rules by looking up tables.In this work,an integrated RPN model combining RST with PN was used to analyze relations between degrees of water eutrophication level and influence factors in the Pengxi River of Three Gorges Reservoir.It was shown that the RPN model could analyze water eutrophicaion accurately and quickly,and yield decision rules for the decision-makers at water purification plants of the water quality and assist them in making more cost-effective decisions. 展开更多
关键词 rough set theory petri nets EUTROPHICATION
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部