软件模型检测中的抽象模型研究综述

抽象是解决模型检测中状态爆炸问题的一个基本方法.对近年来软件模型检测研究中所提出的一系列抽象模型进行综述.首先以抽象解释为理论框架阐述了抽象软件模型检测的各组成部分.然后根据模型的结构和功能特征,将抽象模型分为3类:1)传统的用于支持自上逼近或者自下逼近的布尔Kripke结构;2)分别对应于3值和4值Kripke结构的Kripke模态迁移系统(Kripke modal transition systems,KMTS)和混合迁移系统(mixed transition system,MixTS),可同时支持自上逼近和自下逼近的抽象;3)具有超迁移关系的广义Kripke模态迁移系统(generalized Kripke modal transition system,GKMTS)和超迁移系统(hyper transition system,HTS),可提供更精确的抽象模型检测;重点分析这些模型的提出原因、相应的逼近关系、最优模型及其局限性以及抽象模型完备性的研究结果.最后,分析了目前关于抽象模型的理论和应用研究中存在的问题,给出进一步研究的方向.

一种改进的图像增强算法及其应用

为改进图像增强算法,使之更适合医学领域图片的处理,采用了粗糙集的上逼近和下逼近思想,将图像分为物体区和背景区,使用不同的函数进行增强,进而提出了一种改进的基于粗糙集的增强算法,并首次应用于医学图像处理领域。实验结果显示改进的基于粗糙集的增强效果优于直方图均衡化方法。

关于Fuzzy信息系统的Rough集理论的一个注记

设(U,R)是Fuzzy相似的信息系统,若R_i∈R(i=1,2),则对于任意X U,有apr_(R_1YR_2)(X)=apr_(R_1)(X)Yapr_(R_2)(X0和apr_(R_1YR_2)(X)=apr_(R_1)(X)I apr_(R-2)(X)

泛系拓扑与粗糙集

本文基于泛系理论中的泛系拓扑、串并空间等理论,对粗糙集理论的上下近似及属性约简进行描述和扩展,建立它们之间的关系,并通过实例进行了解释。将粗糙集理论从新的角度加以研究,进而为粗糙集的进一步完善和扩展找到了一条新路。

A New Demonstration of a Theorem for Sublinear Approximations

The demonstration of a theorem for sublinear approximations, due to Demyanov and Rubinov, is modified as a new one in this paper.