传感网中的四锚点节点定位实解个数分析∗

摘要

针对物联网感知层调度问题,研究和分析三维空间基于四锚点节点定位实解个数的分类问题。利用不等式机器证明理论和研究成果以及不等式机器证明软件DISCOVERER,分析了四锚点定位在特定情形下的实解分类判别问题。首先给出定位问题的数学描述,将传统定位方法中存在的非线性方程组转化为不等式约束的多项式方程组；然后,利用不等式机器证明理论和工具初步探讨了方程组在部分参数固定情况下的解的分类,给出了这种情况下的解的完全分布。分析结果表明：空间四锚点定位存在多解问题,给出的多解分类判别条件对实际应用具有指导作用,对提高节点布局和精确信息感知具有参考价值。%This paper studies perception layer scheduling problem for Internet of Things. In particular, it conducts research and analysis to real solution classification of three-dimensional space four-anchor node localization problem.. By employing inequality proving theory and the corresponding inequality proving analysis software DISCOVERER, the classification result of specific four-anchor localization is derived. The mathematical description of location problem is given at first and the nonlinear equations arising from traditional method are transformed into polynomial equations with inequality constraints. Inequality proving theory and tools are then used to explore the solution classification with some parameters fixed to give the complete distribution of solutions in this case. The solution classification criterion has important guiding role in practical applications and also can improve the performance of node layout and precise information perception.