Chinese translation for "形式证明"

formal proof

Related Translations:

场所使用权证明:  certification of the site use right

表层形式:  surface form

正规形式:  hessenberg-form hessenberg form hessenberg

交际形式:  forms of communication

扩展形式:  extend typestretched form

形式矢量:  symbolic vector

意大利形式:  italianare

形式电荷:  formal charge

典范形式:  canonical formcanonical transformation

形式标号:  form label

Example Sentences:

	1.	For a formal proof of the algorithm 有关这种算法的形式证明请参阅
	2.	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 为了改善局部节点和传感器级的跟踪性能，本文研究带反馈信息的多级式多传感器系统中的状态估计技术.在给出有反馈信息情况下传感器级状态估计解的基础上，本文提出多坐标系中有反馈信息的两层集中、分布和混合估计方程.在不同笛卡尔坐标系中，本文提出了几种带反馈信息的三层多传感器系统中的航迹级融合方法，其中包括集-分估计、分-分估计和混-分估计，并以定理的形式证明有、无反馈信息情况下的两类三层状态估计是价的、最优的.仿真结果表明，在多传感器信息融合系统中引入反馈机制可以明显改善一些局部节点和传感器级的跟踪精度

Similar Words：

"形式运算期" Chinese translation, "形式运作思考" Chinese translation, "形式蕴涵" Chinese translation, "形式正义" Chinese translation, "形式证法" Chinese translation, "形式知识" Chinese translation, "形式值参数" Chinese translation, "形式指数" Chinese translation, "形式主义" Chinese translation, "形式主义的" Chinese translation