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

Analysis of Real Solutions Number by Four-Anchor Node Localization for Sensor Networks

作　　者：姬靖[1,2] 刘桂雄[2] 郁文生[3] 

机构地区：[1]广东工业大学信息工程学院,广东广州510006 [2]华南理工大学机械与汽车工程学院,广东广州510640 [3]上海高可信计算重点实验室(华东师范大学),上海200062

出　　处：《软件学报》2014年第11期2627-2635,共9页Journal of Software

基　　金：国家自然科学基金(61370176;61070048;61021004);国家高技术研究发展计划(863)(2011AA010101);广东省高层次人才项目(粤教师函[2010]79);广东省科技攻关项目(2009B010900045);粤港关键领域重点项目(2012A090200005)

摘　　要：针对物联网感知层调度问题,研究和分析三维空间基于四锚点节点定位实解个数的分类问题.利用不等式机器证明理论和研究成果以及不等式机器证明软件DISCOVERER,分析了四锚点定位在特定情形下的实解分类判别问题.首先给出定位问题的数学描述,将传统定位方法中存在的非线性方程组转化为不等式约束的多项式方程组;然后,利用不等式机器证明理论和工具初步探讨了方程组在部分参数固定情况下的解的分类,给出了这种情况下的解的完全分布.分析结果表明:空间四锚点定位存在多解问题,给出的多解分类判别条件对实际应用具有指导作用,对提高节点布局和精确信息感知具有参考价值.This paper studies perception layer scheduling problem for Intemet 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.

关 键 词：传感网 四锚点 节点定位 实解个数 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]