1) completeness verification
完备性验证
1.
Firstly,the concept and the content of the completeness verification of the C4ISR architecture data are analyzed.
首先分析C4ISR体系结构数据完备性验证的概念和内容,在介绍CADM和IDEF1X相关概念的基础上,利用形式化的方式详细阐述如何根据CADM实体之间的约束关系分析体系结构数据的完备性,为体系结构数据完备性验证提供了一种通用的方式,最后通过一个案例对该方法进行了演示和说明。
3) completeness checking
完备性检验
1.
Due to the multiplicity of positioning clamping methods and flexibility of assembly sequence constraint and complexity of assembly for parts, positioning elements and clamping elements, completeness checking of assembly constraint has not been solved perfectly.
由于定位夹紧方法的多样性和装配顺序约束的灵活性以及工件、定位元件、夹紧元件装配的复杂性,装配约束完备性检验一直未得到解决。
4) information integrality verify
信息完整性验证
5) software integrity protection
软件完整性验证
6) identity validation and integrality
身份验证和完整性
补充资料：哥德尔不完备性定理
| 哥德尔不完备性定理 G  del's incompleteness theorem数学家K.哥德尔于1931年证明的两个定理。第一不完备性定理：任意一个包含算术系统在内的形式系统中，都存在一个命题，它在这个系统中既不能被证明也不能被否定。第二不完备性定理：任意一个包含算术系统的形式系统自身不能证明它本身的无矛盾性。 哥德尔的不完备性定理使希尔伯特证明数论系统无矛盾性的方案归于失败。但哥德尔的证明中所用到的方法却开创了递归论的研究。哥德尔不完备性定理中所指出的不可判定的命题是理论的而不是自然的命题。1977年，J.帕里斯给出了一个自然的命题，这个命题在数论中是不可判定的。这又引起人们寻找这类问题的兴趣。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条