首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  完全免费   6篇
  自动化技术   6篇
  2005年   1篇
  2001年   3篇
  2000年   1篇
  1998年   1篇
排序方式: 共有6条查询结果,搜索用时 15 毫秒
1
1.
论非对称选择网的活性与安全性   总被引:11,自引:3,他引:8       下载免费PDF全文
甄强  陆维明 《软件学报》2000,11(5):590-605
活性与安全性是网系统的重要行为特性.该文的贡献在于为非对称选择网导出其活性与安全性的一般性质.文章讨论了活性具有单调性的非对称选择网活性与安全性的条件,并给出一个多项式时间算法来判定一个给定的非对称选择网是否是活的、安全的与活性满足单调性.文章还讨论了非对称选择网的两个子类(强化I型与强化II型),并给出活性满足单调性时其(结构)活与(结构)安全的充分条件.  相似文献
2.
论非对称选择网的活性   总被引:8,自引:5,他引:3       下载免费PDF全文
甄 强  陆维明 《软件学报》1998,9(5):354-359
本文给出了非对称选择网AC网(asymmetric choice nets)活性单调性的充分必要条件,并在此基础上证明了一类AC网系统活性的单调性和此类网结构活的充要条件.  相似文献
3.
扩展强化非对称选择网的活性和有界性   总被引:5,自引:1,他引:4       下载免费PDF全文
焦莉  陆维明 《软件学报》2001,12(9):1312-1317
给出了一类非对称选择网(asymmetricchoicenet,简称AC网),扩展了强化非对称选择网结构活的充分必要条件,证明了扩展强化非对称选择网如果是结构活的,其标识的活性是可判定的.同时也证明了扩展强化非对称选择网活性的单调性,并给出其结构活和结构有界的充分必要条件.  相似文献
4.
非对称选择网活性的一个多项式时间判定   总被引:1,自引:0,他引:1       下载免费PDF全文
焦莉  陆维明 《软件学报》2001,12(3):340-346
活性判定是Petri网中一直没有完全解决的问题.针对非对称选择网的活性问题,利用结构分析理论,作了进一步的研究.首先,讨论和分析了活性判定的一般方法,然后利用S-不变,提出了非对称选择网活性判定的一个充分条件,并给出了相应的多项式算法.同时,对有界的非对称选择网的活性单调性问题进行了深入的研究,得到了一个简单的充分必要条件  相似文献
5.
判定非对称选择网活性及活性单调性的一个算法   总被引:1,自引:0,他引:1       下载免费PDF全文
活性是Petri网的重要行为特征之一.为了得到判定AC网活性有效的算法,本文利用分治的思想,在定义极小死锁的前、后归约子网的基础上,将较大问题分而治之,把未知问题转化为已知的FC网上的问题,从而得到了判定AC网活性及活性单调性的多项式时间的算法.  相似文献
6.
焦莉  陆维明 《软件学报》2001,12(12):1843-1850
给出了Petri网系统的一个重要子类,即加权非对称选择网(weighted asymmetric choice net,简称WAC网)系统活性的一个充分条件和一个必要条件;同时,提出了活的有界的WAC网系统的判定条件,进而给出了WAC网活性满足单调性的充分必要条件.  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号