全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
软件学报  2000 

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

, PP. 300-307

Keywords: 加权扩充自由选择网,,安全,结构活,结构安全.

Full-Text   Cite this paper   Add to My Lib

Abstract:

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

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133