首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   6篇
  完全免费   15篇
  自动化技术   21篇
  2017年   1篇
  2011年   1篇
  2007年   2篇
  2006年   1篇
  2005年   1篇
  2004年   1篇
  2003年   2篇
  2002年   5篇
  2001年   4篇
  2000年   2篇
  1998年   1篇
排序方式: 共有21条查询结果,搜索用时 46 毫秒
1.
论非对称选择网的活性与安全性   总被引:11,自引:3,他引:8       下载免费PDF全文
甄强  陆维明 《软件学报》2000,11(5):590-605
活性与安全性是网系统的重要行为特性.该文的贡献在于为非对称选择网导出其活性与安全性的一般性质.文章讨论了活性具有单调性的非对称选择网活性与安全性的条件,并给出一个多项式时间算法来判定一个给定的非对称选择网是否是活的、安全的与活性满足单调性.文章还讨论了非对称选择网的两个子类(强化I型与强化II型),并给出活性满足单调性时其(结构)活与(结构)安全的充分条件.  相似文献
2.
同步合成Petri网系统活性与无死锁性的保持性   总被引:10,自引:0,他引:10       下载免费PDF全文
蒲飞  陆维明 《软件学报》2003,14(12):1977-1988
合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成研究中,一些好性质,如活性、无死锁性、可回复性等的保持性,是一个重要的研究问题.研究了Petri网系统同步合成操作活性与无死锁性的保持性.与以往研究工作不同,基于路径的并发合成用并发语言的方法,提出并证明了同步合成Petri网系统的一个并发语言关系式.该语言关系式可用于判定同步合成Petri网系统的活性与无死锁性,同时给出了同步合成Petri网系统活性与无死锁性的充要条件.最后提出一些条件,在这些条件下,同步合成Petri网系统有活与无死锁的保持性质.  相似文献
3.
Petri网精细化操作及其在系统设计中的应用   总被引:9,自引:0,他引:9       下载免费PDF全文
针对柔性制造系统的设计问题,提出了用Petri网精细化操作解决问题的方案.给出了两种精细化操作.研究了Petri网精细化操作的动态性质保持问题,给出了精细化操作保持活性、有界性、可回复性的充分必要条件;对一个柔性制造系统进行了设计和验证.其结果可为Petri网系统静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的设计,具有一定的实用价值.  相似文献
4.
共享合成Petri网系统的语言递归性与系统活性   总被引:9,自引:0,他引:9       下载免费PDF全文
蒲飞  陆维明  宋文 《软件学报》2004,15(3):317-326
在Perri网系统合成操作的研究中,大系统的一些好性质,如活性、无死锁性的判定,是一个重要的研究内容.研究了Petri网系统的一种重要的合成操作--共享合成,着重研究了Petri网系统共享合成的行为关系(语言关系),指出并证明了Petri网系统共享合成过程中语言的递归性质,得到一个并发语言形式的共享合成语言关系式.这个语言关系式为应用Petri网系统对具有并发行为特征的系统进行建模分析提供了一种有效的形式化工具.进而利用这个语言关系式来判定共享合成网系统的活性与无死锁性,得到共享合成网系统活及无死锁的充要条件.最后给出了一些条件,在这些条件下,可用小系统的语言子集来判定共享合成网系统的活性,从而达到用小系统来研究大系统活性的目的.  相似文献
5.
论非对称选择网的活性   总被引:8,自引:5,他引:3       下载免费PDF全文
甄 强  陆维明 《软件学报》1998,9(5):354-359
本文给出了非对称选择网AC网(asymmetric choice nets)活性单调性的充分必要条件,并在此基础上证明了一类AC网系统活性的单调性和此类网结构活的充要条件.  相似文献
6.
扩展强化非对称选择网的活性和有界性   总被引:5,自引:1,他引:4       下载免费PDF全文
焦莉  陆维明 《软件学报》2001,12(9):1312-1317
给出了一类非对称选择网(asymmetricchoicenet,简称AC网),扩展了强化非对称选择网结构活的充分必要条件,证明了扩展强化非对称选择网如果是结构活的,其标识的活性是可判定的.同时也证明了扩展强化非对称选择网活性的单调性,并给出其结构活和结构有界的充分必要条件.  相似文献
7.
基于Petri网语言的并发系统性质研究   总被引:4,自引:1,他引:3       下载免费PDF全文
蒋昌俊  陆维明 《软件学报》2001,12(4):512-520
给出Petri网弱活性(无死锁)与活性的两个语言刻画,讨论了同步合成Petri网的语言性质,基于Petri网语言,给出了判定Petri网活性的充分必要条件。同时研究了Petri网同步合成过程中活性保持问题,给出保持活性的充分必要条件。这些结果为讨论网的活性测试和控制提供了形式语言的方法。  相似文献
8.
非乘积解随机Petri网的乘积形式近似求解   总被引:3,自引:0,他引:3  
讨论了非乘积解随机Petri网的近似求解问题。将Marie方法引入到随机Petri网的近似分析中,利用随机Petri网中已有的结论将该方法中的分解原则推广到更一般的情形,使其应用范围更广,利用运算分析法对这些分解原则作了形式化描述,在此基础上,给出了有关结论的数学证明。最后,对这种近似方法作了误差分析,找出了产生误差的原因。实验数据表明本文所给的近似方法应用广且有效。  相似文献
9.
论加权扩充自由选择网的活性与安全性   总被引:3,自引:2,他引:1       下载免费PDF全文
甄强  陆维明 《软件学报》2000,11(3):300-307
活性与安全性是网系统重要的行为性质.对于位置/变迁网系统的一些子类,人们已为之导出许多有意义的结果.该文贡献在于为一种称为加权扩充自由选择网的网系统子类找到活性与安全性的一般性质.文章先给出其活性等价条件的简要与直观的证明,随后,对于这一类安全的子系统又给出活性的充分必要条件.  相似文献
10.
一类Petri网系统的活性   总被引:2,自引:0,他引:2  
Petri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具,当用Petri网来模拟一个实际系统时,关心的问题之一就是要确定这个Petri网模型是否具有一些所期望的特生,如活性、有界性等,这些特性均是系统的重要动态行为,该文基于文献[1]给出了Petri网的一子类,即弱化非自控网(Weak Extended Non SelfControlling Nets,简称WENSeC网),该类网覆盖了扩展自由选择网和扩展非自控网,文中提出了并证明了WENSeC网系统活性的的充分必要条件满足死锁-陷阱性质,同时对WENSeC网的一子类,通过转化方法,证明了该类结构有界网的结构活判定算法可借用扩非自控网的有关结果也是多项式时间算法。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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