可分解非对称选择网的活性和家态
文献类型：期刊论文
| 作者 | 林贵献; 陆维明 |
| 刊名 | 计算机学报
 |
| 出版日期 | 2002 |
| 卷号 | 025期号:012页码:1325 |
| ISSN号 | 0254-4164 |
| 英文摘要 | 徐静等曾给出了非对称选择网（Asymmetric ChoiceNets,AC网）的一子类，即可分解非对称选择网（DecomposableAsymmetric Choic eNets,DAC网），证明其结构活结构有界的充分必要条件满足死锁－陷阱性能，该文与之不同，给出了一种合成方法，证明合成后的DAC网保持了子网的性质，如活性，有界性和家态（HomeState)，同时充分利用子网的性质给出了判定此类合成DAC网结构活和结构有界的有多项式时间算法，最后，给出了一类更一般的组合网，该组合网保持了子网的活性。 |
| 语种 | 英语 |
| 源URL | [http://ir.amss.ac.cn/handle/2S8OKBNM/43994]  |
| 专题 | 中国科学院数学与系统科学研究院 |
| 作者单位 | 中国科学院数学与系统科学研究院 |
| 推荐引用方式 GB/T 7714 | 林贵献,陆维明. 可分解非对称选择网的活性和家态[J]. 计算机学报,2002,025(012):1325. |
| APA | 林贵献,&陆维明.(2002).可分解非对称选择网的活性和家态.计算机学报,025(012),1325. |
| MLA | 林贵献,et al."可分解非对称选择网的活性和家态".计算机学报 025.012(2002):1325. |
入库方式： OAI收割
来源：数学与系统科学研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。