正确性论文
如何保证水质检测结果的正确性党艳
鄂尔多斯市神东检测有限责任公司内蒙古鄂尔多斯市017209摘要:水是人类生存和发展中不可或缺的自然资源,随着国民经济的不断增长,人们对于生活用水的水质提出了更高的要求,因此在水...VTOS文件系统形式化设计、实现及验证
论文摘要随着信息技术的发展,对信息安全及软件可靠性的要求也愈来愈高,数据安全性成为当今计算机研究的热点话题。而文件系统作为操作系统的重要模块和硬盘数据的管理者,一个微小的错误甚...VTOS形式化验证框架与VTOS消息模块的验证
论文摘要作为计算机软件的核心,操作系统的安全对于所有的计算机软件来说都至关重要。但是由于操作系统的规模非常庞大,而且结构极其复杂,这使得操作系统的安全问题存在非常多的不确定性。...论民事裁判的真实性与正确性
论文摘要本文旨在论述民事裁判事实的真实性是民事裁判结果正确性的判断标准,民事裁判事实的真实性是民事裁判正确性的基础,民事裁判事实真实性决定民事裁判结果的正确性。由于民事裁判事实...董立锋:断路器二次接线正确性检测装置设计论文
本文主要研究内容作者董立锋,党丽敏,陈少军(2019)在《断路器二次接线正确性检测装置设计》一文中研究指出:目前,在断路器装配完成后,为保证二次接线的正确性,需要人工用万用表对...