摘要
针对物联网感知层调度问题,研究和分析三维空间基于四锚点节点定位实解个数的分类问题.利用不等式机器证明理论和研究成果以及不等式机器证明软件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.
出处
《软件学报》
EI
CSCD
北大核心
2014年第11期2627-2635,共9页
Journal of Software
基金
国家自然科学基金(61370176
61070048
61021004)
国家高技术研究发展计划(863)(2011AA010101)
广东省高层次人才项目(粤教师函[2010]79)
广东省科技攻关项目(2009B010900045)
粤港关键领域重点项目(2012A090200005)
关键词
传感网
四锚点
节点定位
实解个数
sensor network
four-anchor
node localization
real solution number
