论加权扩充自由选择网的活性与安全性

• 作者: 甄强 陆维明
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 加权扩充自由选择网 活 安全 结构活 结构安全
• 年，卷（期）: 2000,（3）
• 页码范围: 300-307
• 页数: 8页
• 分类号: TP301
• 字数: 2583字
• 语种: 中文

摘要

活性与安全性是网系统重要的行为性质.对于位置/变迁网系统的一些子类,人们已为之导出许多有意义的结果.该文贡献在于为一种称为加权扩充自由选择网的网系统子类找到活性与安全性的一般性质.文章先给出其活性等价条件的简要与直观的证明,随后,对于这一类安全的子系统又给出活性的充分必要条件.

作者信息

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