说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 证实建立…的正确性;确证
1)  To establish the soundness of;corroborate.
证实建立…的正确性;确证
2)  corroborate [英][kə'rɔbə,reɪt]  [美][kə'rɑbə,ret]
确证，证实
3)  correctness verification
正确性验证
1.
Modeling and logical correctness verification of Web service processes;
Web服务过程建模及其逻辑正确性验证
2.
The modeling, formal description and correctness verification of online static and dynamic stock trading systems, based on Shanghai Stock Exchange, are shown by using temporal Petri nets in order to make online stock trading systems more effective and rational.
基于时序Petri网对我国现行网上静态和动态证券交易系统进行了模拟、形式描述及功能正确性验证。
3.
Current researches on correctness verification for the mandatory access control framework of operating systems mainly focus on authorization hooks placement verification.
现阶段对操作系统的强制访问控制框架的正确性验证的研究主要集中于对授权钩子放置的验证。
更多例句>>
4)  correctness proof
正确性证明
例句>>
5)  Verification [英][,verifi'keiʃən]  [美][,vɛrɪfɪ'keʃən]
正确性验证
1.
However,the research on these emerging technologies is far from mature,such as how to compose web service,to realize automatic composition,composition verification and so on.
然而,在这一研究领域还存在诸多问题,比如web服务用哪种方式组合,能否实现自动组合,对组合服务进行正确性验证等等。
更多例句>>
6)  correctness preservation
正确性保证
1.
This differentiates the DDS from other current middleware technologies that require that the correctness preservation is guaranteed automatically on application level or by reconfiguration manager/controller.
现有的中间件是在应用层或者通过重配置管理器/控制器来自动保证数据的正确性,而数据分发服务规范是通过定义一种发布/订阅系统的体系结构和特性来自动实现正确性保证。
更多例句>>
补充资料：确证
1.确凿的证据。 2.确切证明。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条