【摘 要】
：
徐静等曾给出了非对称选择网(Asymmetric Choice Nets,AC网)的一子类,即可分解非对称选择网(De-composable Asymmetrtc Choice Nets,DAC网),证明其结构活结构有界的充分必要
论文部分内容阅读
徐静等曾给出了非对称选择网(Asymmetric Choice Nets,AC网)的一子类,即可分解非对称选择网(De-composable Asymmetrtc Choice Nets,DAC网),证明其结构活结构有界的充分必要条件满足死锁-陷阱性质.该文与之不同,给出了一种合成方法,证明合成后的DAC网保持了子网的性质,如活性、有界性和家态(Home State).同时充分利用子网的性质给出了判定此类合成DAC网结构活和结构有界的有多项式时间算法.最后,给出一类更一般的组合网,该组合网保持了子网的活性
其他文献
非线性滤波器在保留图像重要特征方面表现出良好的性能.这些非线性图像滤波大多源于求解初始值为输入图像的非线性扩散方程.设计合适的扩散系数可以控制扩散方程的扩散行为,
实时主动型入侵检测系统需要完善的审计信息的支持，该文首先介绍了目前入侵检测系统使用的审计信息及采用时序逻辑性和空间性来评价审计信息完善性的简单方法；然后从目的节点出
该文提出一种在小波域内自适应于图像内容的数字水印方案，算法利用图像系数的零树结构，自适应地确定被嵌水印序列的长度，并根据小波域的量化噪声自适应地确定水印的嵌入强度，保证
在诊断空间中如何选取理想诊断是诊断系统面临的一个重要问题.在实际的诊断过程中，人们会利用限制条件排除不太可能的诊断，或者利用强制条件选取较优的诊断.按照这个思想，作者提