首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   1篇
  完全免费   10篇
  自动化技术   11篇
  2005年   2篇
  2002年   3篇
  2001年   4篇
  2000年   1篇
  1998年   1篇
排序方式: 共有11条查询结果,搜索用时 31 毫秒
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.
可分解非对称选择网的活性和家态   总被引:2,自引:0,他引:2  
林贵献  陆维明 《计算机学报》2002,25(12):1325-1330
徐静等曾给出了非对称选择网(Asymmetric ChoiceNets,AC网)的一子类,即可分解非对称选择网(DecomposableAsymmetric Choic eNets,DAC网),证明其结构活结构有界的充分必要条件满足死锁-陷阱性能,该文与之不同,给出了一种合成方法,证明合成后的DAC网保持了子网的性质,如活性,有界性和家态(HomeState),同时充分利用子网的性质给出了判定此类合成DAC网结构活和结构有界的有多项式时间算法,最后,给出了一类更一般的组合网,该组合网保持了子网的活性。  相似文献
5.
非对称选择网活性的一个多项式时间判定   总被引:1,自引:0,他引:1       下载免费PDF全文
焦莉  陆维明 《软件学报》2001,12(3):340-346
活性判定是Petri网中一直没有完全解决的问题.针对非对称选择网的活性问题,利用结构分析理论,作了进一步的研究.首先,讨论和分析了活性判定的一般方法,然后利用S-不变,提出了非对称选择网活性判定的一个充分条件,并给出了相应的多项式算法.同时,对有界的非对称选择网的活性单调性问题进行了深入的研究,得到了一个简单的充分必要条件  相似文献
6.
判定非对称选择网活性及活性单调性的一个算法   总被引:1,自引:0,他引:1       下载免费PDF全文
活性是Petri网的重要行为特征之一.为了得到判定AC网活性有效的算法,本文利用分治的思想,在定义极小死锁的前、后归约子网的基础上,将较大问题分而治之,把未知问题转化为已知的FC网上的问题,从而得到了判定AC网活性及活性单调性的多项式时间的算法.  相似文献
7.
In this paper,the Extended Strong,Asymmetric Choice NetsⅡ(ESACNⅡ),a subclass of Asymmetric Choice Nets(ACN) including Extended Free Choice Nets(EFCN) and Strong Asymmetric Choice Nets Ⅱ(SACNⅡ),is presented.A necessary and sufficient condition for liveress of ESACNⅡis proposed.Moreover,a criterion is introduced,which is necessary and sufficient for judgement of liveness and boundedness of ESACNⅡ,Meanwhile a polynomial time algoirithm is given to decide liveness and boundedness for ESACNⅡ.  相似文献
8.
焦莉  陆维明 《软件学报》2002,13(7):1257-1263
寻找实际可行的多项式算法一直是Petri网应用的重要方面.给出了关于扩展强化非对称选择网(extended strong asymmetric choice nets,简称ESAC网)结构活和结构有界的一个判定算法.该算法可简单、有效地测试结构活结构有界的ESAC网的初始标识是否是活标识.ESAC网覆盖了自由选择网,因此,该算法应用范围较为广泛.  相似文献
9.
徐静  陆维明 《软件学报》2002,13(11):2142-2148
活性和有界性是网系统的重要行为特性.从分解以及尽可能简单分解的角度得到了非对称选择网的一个子类,可分解非对称选择网(简称DAC网),证明了DAC网系统活性的充分必要条件,同时给出了DAC网系统活性有界性的充分必要条件,也进一步讨论了判定一个Petri网系统是否是活的有界的DAC网系统的多项式算法.  相似文献
10.
焦莉  陆维明 《软件学报》2001,12(12):1843-1850
给出了Petri网系统的一个重要子类,即加权非对称选择网(weighted asymmetric choice net,简称WAC网)系统活性的一个充分条件和一个必要条件;同时,提出了活的有界的WAC网系统的判定条件,进而给出了WAC网活性满足单调性的充分必要条件.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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