【计算机】第六课 程序的正确性证明
湖南大学博士学位论文程序正确性验证的几个问题姓名：范年柏申请学位级别：博士专业：应用数学指导教师：周叔子;张大方20050101湖南大学学位论文原创性声明本人郑重声明：所呈交的论文是本人在导师的指导下
东北大学硕士学位论文Neteye防火墙3.0包过滤规则正确性验证姓名：王晓薇申请学位级别：硕士专业：计算机应用指导教师：刘栋臣2002.1.1札ＩＮｅｔｅｙｅ防火墙３．０包过滤规则正确，隧验，证摘要《
随着计算机技术的飞速发展，管理信息系统在企业的经营管理中起着越来越重
要的作用，使企业的信息流逐渐的实现了扁平化，提高了企业的运行效率，企业决
策者和有关人员可以在需要的时候迅速的得到需要的信息和数据。随着企业信息系
统的增加，数据量的不断膨胀，同时对信息精度的要求也不断的提高，信息系统中
的时间(时态信息)管理与数据库的优化对于汽车制造企业的信息管理越来越重
要。由于人们对客观世界的认识的局限性，绝对正确的信息是不可能达到的，过去
的数据的变化和数据的错误都会经常发生，利用现有的汽车生产销售管理信息系统
的逻辑，不能够很好的处理这类信息，由此产生了一些问题：不能很好的记录以往
的数据的改变和更新，不能很好的解释当前的汇总数据和以前的汇总数据之间的关
系；不能保证系统数据的稳定性；不能很好的保留历史数据。根据对这些问题的理
解，在现有的基础上，利用时态数据库的理论，分析了数据变化的原因，提出了利
用系统时间对数据库系统进行改造的方法(简称T2方法)，比较好的解决了数据正
确性的问题，并给出了数据可信度的评价模型(数据正确性的量化指标)，同时也
给出了保留历史数据的新方案，为建立企业数据仓库提供了重要基础，为商业智能
的发展奠定了条件。
关键字：管理信息系统，时态数据库，数据正确性，历史数据，汽车
提高医疗垃圾分类正确性
检验身份证号码的正确性=IF(LEN(A2)=18,MID("10X98765432",MOD(SUMPRODUCT(MID(A2,ROW(INDIRECT("1:17")),1)*2^(18-ROW
第八章条码的检测8.1条码检测概述条码检测则是确保条码符号在整个的供应链中能被正确识读的重要手段。检测的目标是完成两个重要的任务：1、使符号制作者能够检测其成果，并且能够应用反馈情况来控制其制作过程。
提高医疗垃圾分类正确性参考
  • er
  • 热度:
如何判断适用法律的正确性
第六课 程序的正确性证明

95%的用户最终下载了:
如要投诉违规内容，请联系我们按需举报；如要提出意见建议，请到发帖反馈。