论非对称选择网的活性与安全性

• 作者: 甄强 陆维明
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 非对称选择网 活 安全 结构活 结构安全 活性单调性 强化I型非对称选择网 强化II型非对称选择网
• 年，卷（期）: 2000,（5）
• 页码范围: 590-605
• 页数: 16页
• 分类号: TP301
• 字数: 4559字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆维明	中国科学院数学研究所	20	189	7.0	13.0
2	甄强	中国科学院数学研究所	3	46	3.0	3.0