形式证明 meaning in Chinese
formal proof
Examples
- For a formal proof of the algorithm
有关这种算法的形式证明请参阅 - In order to inprove the tracking performances of some sensors and local nodes , the paper discusses the state estimation techniques in multilevel multisensor surveillance systems with feedback information . based on the single sensor kalman fitering equations with feedback information , this paper presents two - level centralized , distributed and hybrid track level fusion methods with feedback information in multicoordinate systems . in the different cartesian coordinates , several kinds of track level fusion methods with feedback information for three - level multisensor data fusion systems are proposed , in which centralized - distributed , distrbuted - distributed and hybrid - distributed estimation combination problems with feedback information are considered , and proves that two kinds of three - level estimation solutions with or without feedback information are optimal and equivalent in the form of the theorem . the simulation results show that the multilevel multisensor data fusion system can not only increase the global estimation acuracy of target but also greatly improve the tracking perfomances of some sensors and local nodes by using the feedback information
为了改善局部节点和传感器级的跟踪性能，本文研究带反馈信息的多级式多传感器系统中的状态估计技术.在给出有反馈信息情况下传感器级状态估计解的基础上，本文提出多坐标系中有反馈信息的两层集中、分布和混合估计方程.在不同笛卡尔坐标系中，本文提出了几种带反馈信息的三层多传感器系统中的航迹级融合方法，其中包括集-分估计、分-分估计和混-分估计，并以定理的形式证明有、无反馈信息情况下的两类三层状态估计是价的、最优的.仿真结果表明，在多传感器信息融合系统中引入反馈机制可以明显改善一些局部节点和传感器级的跟踪精度