【摘 要】
：
多值模型可用于对包含不确定与不一致信息的软件系统进行建模与验证.提出了采用基于分解的方式来刻画多值模型之间的逼近关系,这为采用抽象方法解决模型检测时所产生的状态爆
【机 构】
：
南京航空航天大学计算机科学与技术学院
论文部分内容阅读
多值模型可用于对包含不确定与不一致信息的软件系统进行建模与验证.提出了采用基于分解的方式来刻画多值模型之间的逼近关系,这为采用抽象方法解决模型检测时所产生的状态爆炸问题奠定了理论基础.为此,首先给出了多值模型分解为多个三值模型的方法,并且证明了任意μ演算公式在多值模型上的检测结果等于在分解后所有三值模型上的检测结果的合并.进一步,由三值模型上的混合模拟关系给出了多值模型间逼近关系的结构定义,并证明对于任意给定的两个满足逼近关系的多值模型,μ演算公式在其上的检测结果在信息序关系上得以保持.
其他文献
前些年,电子文件归档要按照“双套制”进行,即归档电子文件的同时还要归档一份纸质文件。为了与传统的纸质原件做区分,我们特意将这类文件在目录备注上“打印件”,其实这也就
随着工程项目的国际化发展,工程项目文件控制工作显得尤为重要,因此对文控人员的入职素质要求不断提高.工程项目文控人员需要不断提高自身的综合能力,树立良好的思想意识,不
本文以国家档案局发布的《数字档案馆建设指南》和《数字档案室建设指南》为理论依据,对数字档案馆（室）的定义进行了阐述,根据企业档案工作的特点并结合自己的工作实践经验,从
在社会经济与科技快速发展的过程中,产生了数码相机。数码相机的推广和使用,为人们带来了很大便利。通过数码相机拍摄的数码照片能够真实并且详细地记录社会与个人的活动,具
本文介绍了英国政府网站档案馆在网络信息资源的选择、获取、组织和呈现方面的丰富经验,提出了对我国数字档案馆网络信息资源建设的借鉴与启示:即转变观念,适度接纳网络信息资源进入数字档案馆;坚持规范化原则,做好网络信息资源建设标准规划;完善利用平台,提升服务水平;加强合作,建立协同共建机制。
因工作需要，我从企业的科研、生产战线调到了档案系统。由于过去没有直接接触过档案工作，因此对档案和档案工作在企业中的作用和地位认识不足，到了新岗位怎么开展好工作，当时真的
将二茂铁和巯基修饰的脱氧核糖核酸(DNA)探针通过自组装的方式固定到金电极表面,以二茂铁作为电子介体构建电化学DNA传感器,利用杂化前后DNA传感器所展现出峰电流的差异,实现
云计算与大数据的出现,颠覆了传统信息系统的存储架构、数据仓库、数据挖掘等各种应用。互联网的数据量正以指数级增长,在新的信息技术背景下,数字档案中出现了大量非结构化
本文通过对企业核心竞争力机制中档案管理体系的重要性的分析，提出了工程建设类企业在建立核心竞争力机制中优化档案管理工作的重要措施。
档案鉴定一直在档案工作领域中占有重要的位置,贯穿着整个档案工作的始终。随着企业信息化的持续深入,电子文件海量产生,研究探讨如何做好档案鉴定工作尤其是数字声像档案的