1) integrity monitoring
完备性监测
1.
Research on integrity monitoring technology of distributed WADGPS;
分布式WADGPS完备性监测技术研究
2.
New developments on integrity monitoring technology of satellite navigation system;
卫星导航完备性监测的最新进展
3.
This paper introduce development of integrity monitoring technology on WADGPS, specify ERAIM method which apply Kalman filter, some other methods of integrity monitoring technology is gave at the same time, such as auxiliary RAIM method , mid-value select method and pseudo-satellite method.
介绍了广域差分 GPS系统完备性监测技术的一些进展 ,详细叙述了应用卡尔曼滤波和观测值历史记录的 ERAIM算法 ,同时也给出了完备性监测技术的其他一些方法 ,如辅助 RAIM算法和中值选择法、伪卫星方法
2) Integrity monitoring
完好性监测
1.
The methods of integrity monitoring of the satellite navigation is discussed.
通过对星基导航完好性监测方法的探讨,介绍了通过建立一个卫星导航系统信息源完好性监测数据库,并利用地球同步卫星,将监测结果实时地传输到监控中心,来建立一套可靠性高、实时性强的海上卫星导航信息源完好性监测系统,解决我国海上特殊用户星基导航可靠性保障的问题。
3) integrity monitoring of platform
平台完整性监测
4) Perfect observable quantities
完备性可观测量
5) device performance monitoring
设备性能监测
6) complete measure
完备测度
1.
Four methods about constructing complete measure space based on (Ω,F,μ) was given.
对给定测度空间 (Ω ,F,μ) ,给出了 4种建立完备测度空间的方法 :设 μ 是由 μ引出的外测度 ,令 F 为 μ 可测集全体 ,得到 (Ω ,F ,μ ) ;N 是 μ -零测集全体 ,令 F= {A∪N :A∈ F,N∈ N} ,定义 μ(A∪N) =μ(A) ,得到(Ω ,F,μ) ;令 FΔ ={AΔN :A∈ F,N∈ N} ,定义 μΔ(AΔN)=μ(A) ,得到 (Ω ,FΔ,μΔ) ;令 F ={A : A1、A2 ∈ F,使A1 A A2 且 μ(A1) =μ(A2 ) } ,定义 μ(A) =μ(A1) ,得到(Ω ,F,μ) 。
补充资料：哥德尔不完备性定理
| 哥德尔不完备性定理 G  del's incompleteness theorem数学家K.哥德尔于1931年证明的两个定理。第一不完备性定理：任意一个包含算术系统在内的形式系统中，都存在一个命题，它在这个系统中既不能被证明也不能被否定。第二不完备性定理：任意一个包含算术系统的形式系统自身不能证明它本身的无矛盾性。 哥德尔的不完备性定理使希尔伯特证明数论系统无矛盾性的方案归于失败。但哥德尔的证明中所用到的方法却开创了递归论的研究。哥德尔不完备性定理中所指出的不可判定的命题是理论的而不是自然的命题。1977年，J.帕里斯给出了一个自然的命题，这个命题在数论中是不可判定的。这又引起人们寻找这类问题的兴趣。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条