###
Journal of Software:2014.25(11):2627-2635

传感网中的四锚点节点定位实解个数分析
姬靖,刘桂雄,郁文生
(广东工业大学 信息工程学院, 广东 广州 510006;华南理工大学 机械与汽车工程学院, 广东 广州 510640;上海高可信计算重点实验室(华东师范大学), 上海 200062)
Analysis of Real Solutions Number by Four-Anchor Node Localization for Sensor Networks
JI Jing,LIU Gui-Xiong,YU Wen-Sheng
(School of Information Engineering, Guangdong University of Technology, Guangzhou 510006, China;School of Mechanical and Automotive Engineering, South China University of Technology, Guangzhou 510640, China;Shanghai Key Laboratory of Trustworthy Computing (East China Normal University), Shanghai 200062, China)
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 1903   Download 2596
Received:April 30, 2013    Revised:December 05, 2013
> 中文摘要: 针对物联网感知层调度问题,研究和分析三维空间基于四锚点节点定位实解个数的分类问题.利用不等式机器证明理论和研究成果以及不等式机器证明软件DISCOVERER,分析了四锚点定位在特定情形下的实解分类判别问题.首先给出定位问题的数学描述,将传统定位方法中存在的非线性方程组转化为不等式约束的多项式方程组;然后,利用不等式机器证明理论和工具初步探讨了方程组在部分参数固定情况下的解的分类,给出了这种情况下的解的完全分布.分析结果表明:空间四锚点定位存在多解问题,给出的多解分类判别条件对实际应用具有指导作用,对提高节点布局和精确信息感知具有参考价值.
中文关键词: 传感网  四锚点  节点定位  实解个数
Abstract: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.
文章编号:     中图分类号:    文献标志码:
基金项目:国家自然科学基金(61370176, 61070048, 61021004);国家高技术研究发展计划(863)(2011AA010101);广东省高层次人才项目(粤教师函[2010]79);广东省科技攻关项目(2009B010900045);粤港关键领域重点项目(2012A090200005) 国家自然科学基金(61370176, 61070048, 61021004);国家高技术研究发展计划(863)(2011AA010101);广东省高层次人才项目(粤教师函[2010]79);广东省科技攻关项目(2009B010900045);粤港关键领域重点项目(2012A090200005)
Foundation items:
Reference text:

姬靖,刘桂雄,郁文生.传感网中的四锚点节点定位实解个数分析.软件学报,2014,25(11):2627-2635

JI Jing,LIU Gui-Xiong,YU Wen-Sheng.Analysis of Real Solutions Number by Four-Anchor Node Localization for Sensor Networks.Journal of Software,2014,25(11):2627-2635