首先,设计了节点自适应传感半径调整算法(AASR,adaptive adjustment of sensing radius),通过节点自适应选择最佳的覆盖范围,有效地进行节点覆盖控制,减少节点能量虚耗,提高覆盖效率。其次,从调整效果、能量消耗和覆盖冗余度3个方面对...首先,设计了节点自适应传感半径调整算法(AASR,adaptive adjustment of sensing radius),通过节点自适应选择最佳的覆盖范围,有效地进行节点覆盖控制,减少节点能量虚耗,提高覆盖效率。其次,从调整效果、能量消耗和覆盖冗余度3个方面对节点自适应传感半径调整算法进行了模拟实验和分析。仿真结果表明,AASR能够有效提高节点生存时间,减少能量消耗,提高覆盖率。展开更多
The satisfiability(SAT) problem is a basic problem in computing theory. Presently, an active area of research on SAT problem is to design efficient optimization algorithms for finding a solution for a satisfiable CNF ...The satisfiability(SAT) problem is a basic problem in computing theory. Presently, an active area of research on SAT problem is to design efficient optimization algorithms for finding a solution for a satisfiable CNF formula. A new formulation, the Universal SAT problem model, which transforms the SAT problem on Boofean space into an optimization problem on real space has been developed. Many optimization techniques, such as the steepest descent method, Newton's method, and the coordinate descent method, can be used to solve the Universal SAT problem. In this paper, we prove that, when the initial solution is sufficiently close to the optimal solution, the steepest descent method has a linear convergence ratio β<1, Newton's method has a convergence ratio of order two, and the convergence ratio of the coordinate descent method is approximately (1-β/m) for the Universal SAT problem with m variables. An algorithm based on the coordinate descent method for the Universal SAT problem is also presented in this paper.展开更多
文摘首先,设计了节点自适应传感半径调整算法(AASR,adaptive adjustment of sensing radius),通过节点自适应选择最佳的覆盖范围,有效地进行节点覆盖控制,减少节点能量虚耗,提高覆盖效率。其次,从调整效果、能量消耗和覆盖冗余度3个方面对节点自适应传感半径调整算法进行了模拟实验和分析。仿真结果表明,AASR能够有效提高节点生存时间,减少能量消耗,提高覆盖率。
基金NSERC Strategic Grant MEF0045793NSERC Research Grant OGP0046423.
文摘The satisfiability(SAT) problem is a basic problem in computing theory. Presently, an active area of research on SAT problem is to design efficient optimization algorithms for finding a solution for a satisfiable CNF formula. A new formulation, the Universal SAT problem model, which transforms the SAT problem on Boofean space into an optimization problem on real space has been developed. Many optimization techniques, such as the steepest descent method, Newton's method, and the coordinate descent method, can be used to solve the Universal SAT problem. In this paper, we prove that, when the initial solution is sufficiently close to the optimal solution, the steepest descent method has a linear convergence ratio β<1, Newton's method has a convergence ratio of order two, and the convergence ratio of the coordinate descent method is approximately (1-β/m) for the Universal SAT problem with m variables. An algorithm based on the coordinate descent method for the Universal SAT problem is also presented in this paper.
