Ad hoc无线网络中基于最小连通支配集(MCDS)的路由是一个引人瞩目的方法,文中提出了一种基于极大权的MCDS的启发式算法,确保了性能强的主机担任网关节点的角色,能更好的协调管理网络中其他的节点,从而保持MCDS的相对稳固性并为全网中的广播和路由操作提供一个高效的通信基础.仿真结果表明,该算法能在保证生成权和极大的连通支配集的同时也确保它的极小性,因此能有效地用于基于MCDS的路由设计中.
传统的随机高级Petri网(Stochastic high-level Petri nets,SHLPNs)通过将多个同构子系统压缩成一个子系统,并将具有相同标记分布的多个标识压缩成一个标识(复合标识),从而有效地减小模型规模和状态空间.但该方法仅适用于若干同构子系统组成的系统中,本文将这种方法扩展,通过引入非对称的变迁实施谓词和扩展的复合标识,精确地模型并分析异构系统,同时也保持了SHLPNs在化简模型和状态空间方面的优越性.