|
|
软件学报 2000
论非对称选择网的活性与安全性, PP. 590-605 Keywords: 非对称选择网,活,安全,结构活,结构安全,活性单调性,强化i型非对称选择网,强化ii型非对称选择网. Abstract: 活性与安全性是网系统的重要行为特性.该文的贡献在于为非对称选择网导出其活性与安全性的一般性质.文章讨论了活性具有单调性的非对称选择网活性与安全性的条件，并给出一个多项式时间算法来判定一个给定的非对称选择网是否是活的、安全的与活性满足单调性.文章还讨论了非对称选择网的两个子类(强化i型与强化ii型),并给出活性满足单调性时其(结构)活与(结构)安全的充分条件.
|
