基于概念格的RBAC模型中角色最小化问题的理论与算法

基于概念格的RBAC模型是角色挖掘中的一个重要方向,在概念格上找出满足最小权限原则的最小角色集合有助于降低安全管理的复杂性.本文研究了在概念格的RBAC模型上的角色最小化问题及其算法.首先将角色最小化问题引入概念格模型,并给出了概念格模型上最小角色集、角色替代和角色约简的定义,和相关定理的证明.在此基础上建立了一个基于角色替代的角色最小化问题求解模型,并设计了一个贪婪算法.该算法以对象概念集为初始集,逐个将集合中的概念用它的父概念来替代和约简,自底向上地迭代求解最小角色集.实验与分析表明了本文相关理论和算法的有效性.     

基于覆盖度函数的概念格约简

该文针对基于概念格的大规模数据和规则挖掘中,概念节点数呈指数爆炸的问题,提出了概念覆盖度函数和概念格度量模型,进行概念格约简,从而使生成的标示概念格具有线性空间复杂度。给出了概念格约简的直求法、同步法和提取法3种算法。时空复杂度分析和仿真试验表明,所提方法可以大幅约简概念格规模,从而显著提高建格和规则挖掘效率。标示概念还具有特殊含义,在Web服务关系挖掘中有很好的应用。     

基于最小生成树和局部阈值的彩色图像分割方法

针对分水岭图像分割算法对于彩色图像的过度分割问题,本文提出一种基于最小生成树和局部阈值的解决方法。该方法主要利用图论中的最小生成树,对分水岭算法产生的过度分割区域进行合并。与其它的基于最小生成树的方法不同,该方法只有当构造出一棵完整的最小生成树时,才能计算出一个局部阈值,该局部阈值可确定原构造最小生成树过程的终止条件,进而可分割出彩色图像中的两个区域。重复上述过程,可分割出原彩色图像中的所有区域。实验证明,本文方法能够对彩色图像进行准确的分割,并且分割结果能很好地符合人眼的感知。     

基于优先队列的最小生成树算法

本文提出一个获取连通网络是小生成树的算法。该算法采用一个优先队列组织各顶点集合，每次根据边的权值对队列头集合进行增长。由于对每个顶点的相关联边进行了按权值分级排序的预处理，算法获取具有。个预示e条边的无向连通网络的最小生成树的期望时间是O（e*loglogn）。     

基于属性拓扑的可视化形式概念计算

形式概念计算是形式概念分析的重要研究内容之一.本文提出一种利用属性拓扑进行概念计算的可视化算法.该算法将属性拓扑以顶层属性为核心分解为若干子拓扑,利用可视化全路径搜索得到当前子拓扑的所有概念,进而得到该背景下的全概念集.该算法使概念计算精准并易于实现.     

微波光子SAR最优子带融合的全分辨伪彩图生成方法

微波光子(MWP)雷达是一种通过光子器件对传统微波雷达硬件架构进行改进的新型雷达系统。借助光子器件卓越的物理特性,MWP雷达能够发射超宽带、高线性度的高质量线性调频信号,从而实现对目标的超高分辨率探测与成像。在目标成像与探测过程中,不同结构和特性的目标区域对不同频率信号的响应存在差异。因此,微波光子雷达具备通过散射差异生成伪彩图像的潜力,从而进一步提升微波光子合成孔径雷达(MWP-SAR)的信息获取能力。传统的遥感技术生成的伪彩图像分辨率较低,无法达到厘米级的分辨。因此,该文提出了一种在保证MWP-SAR高分辨率的前提下合成伪彩图像的方法。该算法首先建立了最优子带回波搜索模型,随后采用最优子带搜索算法对超宽带回波进行处理,以获取散射特性相差最大的子带回波通道。再对多子带差异图像进行色彩合成,通过这一处理步骤,能够生成对目标散射特性最佳描述的伪彩图像。同时,为了确保MWP-SAR的分辨率不受到损失,建立了一个融合模型,将全分辨率的SAR图像与多子带图像相融合,以维持伪彩图像的高分辨率。最终,通过实测的机载MWP-SAR数据成功地合成了全分辨率的伪彩色图像,从而验证了该算法的有效性。该算法...     

伪随机序列和阵列的分层高速生成

本文提出了一种新型的高速生成为伪随机序列的伪随机阵列的分层结构。该结构的原理是基于一种新的概念－多次插排，它是一般的序列插排的推广。该结构的核心是一个低速的线性反馈移位寄存器的一些分层排列的高速时分多路器。这种新的结构比作者以前提出的各种生成结构的生成速率都要高得多。     

关于物联网的概念及基本内涵

1999年,美国麻省理工学院首先提出“物联网”的概念。2005年,国际电信联盟（ITU）发布了《ITU互联网报告2005：物联网》,对“物联网”的涵义进行了扩展。物联网作为新生事物,人们对其内涵和外延的理解也有很大区别,给其概念、特征所作出的归纳和总结也有很大的差别。为了更好地定义物联网,描述物联网的特征,本文将物联网与传感网、互联网、泛在网各自的基本特征比较,并给物联网下这样的定义：通过各种感知设备和互联网,连接物体与物体的,全自动、智能化采集、传输与处理信息的,实现随时随地和科学管理的一种网络。     

形式概念分析在软件维护中的应用综述

形式概念分析是一种层次化的形式对象分析方法,能够从二元关系中挖掘出具有共同形式属性的一组形式对象的聚集.近十几年来,形式概念分析技术已在软件工程领域,特别是软件维护的各项活动中得到了广泛的应用,并取得成功.本文从软件维护的角度,如软件理解、修改影响分析、重构、调试与测试等方面总结了从2000~2013年形式概念分析在这些领域的研究进展.这些研究成果的分类方法是基于一种软件维护活动框架进行论述,最后文章给出了形式概念分析在软件维护领域的研究趋势与展望.     

基于FCA的本体的构建与合并

描述了采用形式概念分析方法来构建与合并本体的详细解决方案,有效地弥补了已有本体构建与合并方法的不足.通过FCA技术从给定的领域数据中寻找所有隐含的概念及概念间的关系,并用完全形式化的方式来表达本体,为本体的构建与合并提供了一种统一的应用技术.最后,通过基于FCA的本体原形系统展现了本体的构建与合并过程.     

一个非否认协议ZG的形式化分析

非否认性是电子商务协议的一个重要性质,其形式化分析问题引起了人们的密切关注.本文运用SVO逻辑对一个非否认协议实例进行了有效的形式化分析,并对协议的缺陷进行了改进.     

认证协议的形式分析——BAN逻辑

介绍了BAN逻辑,并用其对一个认证协议进行了分析,找到了该认证协议的一些弱点,说明了用BAN逻辑来对认证协议进行分析是有效的。最后,指出了BAN的发展方向。     

多概念格的横向合并算法

由于概念格自身的完备性,构造概念格的时间复杂度一直是影响形式概念分析应用的主要因素.本文首先从形式背景的纵向、横向合并出发,定义了内涵独立和内涵一致的形式背景和概念格;还定义了内涵一致的形式背景、概念的横向加运算和概念格的横向并运算,并证明了横向合并的子形式背景的概念格和子背景所对应的子概念格的横向并是同构的.最后结合子概念格中概念间固有的泛化－特化关系,提出一种多概念格的横向合并算法来构造概念格.试验表明,该算法和直接用形式背景来构造概念格的算法相比,其时间复杂度有显著改善.显然,该算法适用于对概念格进行分布并行构造.     

移动代理完整性协议形式化分析方法研究

 本文给出了移动代理协议数据完整性属性的定义,指出了采用传统认证性属性来分析移动代理数据完整性属性的不足,从而给出了移动代理完整性证明的两个形式化规约:数据完整性规约和序列完整性规约.在此基础上,针对典型协议实例进行CPS建模,并采用阶函数的方法证明了其完整性,验证了完整性规约的正确性和有效性.     

决策蕴涵规范基

主要给出一个决策蕴涵下的决策蕴涵规范基.首先给出决策前提的概念,然后生成以决策前提为前提,决策前提相对于决策子背景的闭包为结论的决策蕴涵集--决策蕴涵规范基.证明了该决策决策蕴涵集是完备的,无冗余的,并且是最优的,即在所有完备的决策蕴涵集中,决策蕴涵规范基所含的决策蕴涵数最少.最后给出了该决策蕴涵基的生成算法.实验表明,决策蕴涵规范基可以很好地抑制冗余决策蕴涵的生成,比已有的决策蕴涵集也更为紧凑和有效.