CAJ | 학술논문

针对物联网感知层调度问题,研究和分析三维空间基于四锚点节点定位实解个数的分类问题。利用不等式机器证明理论和研究成果以及不等式机器证明软件DISCOVERER,分析了四锚点定位在特定情形下的实解分类判别问题。首先给出定位问题的数学描述,将传统定位方法中存在的非线性方程组转化为不等式约束的多项式方程组；然后,利用不等式机器证明理论和工具初步探讨了方程组在部分参数固定情况下的解的分类,给出了这种情况下的解的完全分布。分析结果表明：空间四锚点定位存在多解问题,给出的多解分类判别条件对实际应用具有指导作用,对提高节点布局和精确信息感知具有参考价值。
침대물련망감지층조도문제,연구화분석삼유공간기우사묘점절점정위실해개수적분류문제。이용불등식궤기증명이론화연구성과이급불등식궤기증명연건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.