Coverability of Wireless Sensor Networks

The coverability of Wireless Sensor Networks (WSNs) is essentially a Quality of Service (QoS) problem that measures how well the monitored area is covered by one or more sensor nodes.The coverability of WSNs was examined by combining existing computational geometry techniques such as the Voronoi diagram and Delaunay triangulation with graph theoretical algorithmic techniques.Three new evaluation algorithms,known as CRM (Comprehensive Risk Minimization),TWS (Threshold Weight Shortest path),and CSM (Comprehen...     

改进覆盖树与标识网死锁的检测

通过在ω符号中加入令牌数增减的信息,改进了原标识Petri覆盖树的构造方法,从而提出了一种新型的覆盖树,即改进覆盖树,这种覆盖树是有限的,它可以覆盖所有的可达标识,并且每一节点都有可达标识,这种覆盖树可单独用于检测标识网的死锁,文中示例表明它是有效的。     

Petri网的可达图与可达树的比较

Ｐｅｔｒｉ网的可达图和可达树都是用于分析Ｐｅｔｒｉ网的工具,章将展示如何用可产完成Ｐｅｔｒｉ风的各项分析,并将可达图与可达树相比较,证明可达图是较可达树更为有一种分析工具．