基于角色访问控制管理模型的安全性分析

下载全文  总被引：19，自引：0，他引：19

在基于角色的访问控制管理模型中,采用安全查询来描述系统安全策略,引入状态变换系统定义基于角色的访问控制管理模型及其安全分析,用图灵机理论和计算复杂性理论进行安全分析.将安全查询分类为必然性安全查询和可能性安全查询,证明了必然性安全查询和与状态无关的可能性安全查询能在多项式时间内被… …   相似文献

杨秋伟  洪帆  杨木祥  朱贤 《软件学报》2006,17(8):1804-1810

计算机取证的相关法律技术问题研究

下载全文  总被引：38，自引：3，他引：38

法律界研究计算机证据的有关法律特性及其认定,而计算机科学领域的研究人员则从技术的角度研究计算证据的技术特征及其获取技术.由于这一学科是建立在法学和计算机科学之上的交叉学科,必须从这两个学科及其派生学科上体现出的特殊性的角度对其进行研究.在这一领域把法律和技术分离的做法会导致法律认… …   相似文献

丁丽萍  王永吉 《软件学报》2005,16(2):260-275

网络编码中的优化问题研究

下载全文  总被引：3，自引：0，他引：3

简要回顾了网络编码的理论研究,阐述了网络编码优化问题研究的重要意义.在介绍网络信息流模型的基础上,针对优化问题的陈述、特点和解法,结合最新的研究成果进行了综述.根据优化目标的不同,优化问题可分成4类:最小花费组播,无向网络的最大吞吐率,最小编码节点、编码边,基于网络编码的网络拓扑… …   相似文献

黄政  王新 《软件学报》2009,20(5):1349-1361

密度敏感的半监督谱聚类

下载全文  总被引：27，自引：0，他引：27

聚类通常被认为是一种无监督的数据分析方法,然而在实际问题中可以很容易地获得有限的样本先验信息,如样本的成对限制信息.大量研究表明,在聚类搜索过程中充分利用先验信息会显著提高聚类算法的性能.首先分析了在聚类过程中仅利用成对限制信息存在的不足,尝试探索数据集本身固有的先验信息--空间… …   相似文献

王玲  薄列峰  焦李成 《软件学报》2007,18(10):2412-2422

互联网命名问题研究

下载全文  总被引：3，自引：2，他引：3

分析了互联网命名问题的研究内容以及当前存在的问题,对命名空间和主要技术的现状进行了分类和介绍.讨论了命名问题研究中的重要思想,以及未来命名问题研究可能的发展方向.  相似文献

曹锐  吴建平  徐明伟 《软件学报》2009,20(2):363-374

高斯混合模型、求解算法及视觉应用综述

下载全文  

高斯混合模型(GMMs)是统计学习理论的基本模型,在可视媒体领域应用广泛。近些年来,随着可视媒体信息的增长和分析技术的深入,GMMs在(纹理)图像分割、视频分析、图像配准、聚类等领域有了进一步的发展。从GMMs的基本模型出发,从理论和应用的角度讨论和分析了GMMs的求解算法,包括… …   相似文献

管涛  李玲玲 《中国图象图形学报》2012,17(12):1461-1471

独立的不经意传输

下载全文  

针对De Santis给出的开放问题,提出了公开密钥公开随机性模型下的独立的不经意传输(简称PKPR IOT).首先,给出了IOT的一个非交互式实现,它能够独立地不经意传输多项式条消息.该实现是基于二次剩余假设.由于它受限于多项式次,所以又给出了IOT的另一个非交互式实现,它能够… …   相似文献

黄琼  赵一鸣 《软件学报》2007,18(4):1015-1025

循环对称化简及在三值模型上的扩展

下载全文  总被引：1，自引：0，他引：1

为了将对称化简扩展到更多的非对称系统上,扩展了传统的基于自同构的对称性,提出了一种称为循环对称的新的对称性.证明了采用循环对称置换群或者由一组循环对称置换所生成的置换群仍可得到与原模型互模拟的对称商结构,从而达到化简系统规模的目的.进一步地,研究如何将对称化简应用于多值模型.多值… …   相似文献

魏欧  袁泳  蔡昕烨  黄志球  徐丙凤 《软件学报》2011,22(6):1169-1184

Java 技术框架概述

下载全文  

从体系结构的角度分析了目前流行的java技术框架,详细阐述了java技术体系结构的各主要组成部分。对目前流行的java社区的各种技术进行了说明,并对java技术的发展趋势进行了分析。  相似文献

欧锋  邹敏  李晓桢 《计算机系统应用》2012,21(8):236-239

Object-Z 规格说明测试用例的自动生成器

下载全文  

对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造成了困难.通过展开Object-Z规格说明中… …   相似文献

许庆国  缪淮扣  曹晓夏  胡晓波 《软件学报》2011,22(6):1155-1168

采用草绘轮廓的3维人脸建模方法

下载全文  

为方便用户进行3维人脸形状设计,提出一种基于手绘轮廓的3维人脸建模方法。该方法的主要特点在于,一方面,引用姿态估计技术对人脸草图进行解析,将用户绘制的侧视人脸草图转换成对应的正视人脸草图,可支持用户选择多个视角绘制人脸;另一方面,采用多层映射机制建立人脸草图特征点与3维人脸特征点… …   相似文献

刘凯  孙正兴  张尧烨  宋沫飞  章菲倩  张岩 《中国图象图形学报》2011,16(6):1102-1111

基于时序逻辑的软件体系结构描述语言XYZ/ADL

下载全文  总被引：26，自引：1，他引：26

  相似文献

朱雪阳  唐稚松 《软件学报》2003,14(4):713-720

一种支持软件可信演化的构件模型

  总被引：1，自引：0，他引：1

对环境的适应是软件保证其可信的重要手段.当应用场景超出开发阶段的预设时,软件的环境适应能力需要能够在线调整,以保证其行为和结果仍可符合用户预期.这一调整的前提是软件工程层面的高效支持机制.基于关注点分离原则和动态软件体系结构技术,提出了一种支持软件环境适应能力细粒度在线调整的构件… …   相似文献

丁博  王怀民  史殿习  李骁 《软件学报》2011,22(1):17-27

模态顺序图uMSD的形式语义

  总被引：2，自引：0，他引：2

UML 2.0顺序图已广泛应用于业界,但其语义模糊,以至于不能有效地加以使用.模态顺序图(modal sequence diagram,简称MSD)是对UML 2.0顺序图的模态扩展,区分了强制场景(用universal MSD表示,简称uMSD)和可能场景(用existenti… …   相似文献

李雯睿  王志坚  张鹏程 《软件学报》2011,22(4):659-675

一种公平服务的动态轮询调度算法

下载全文  总被引：6，自引：0，他引：6

调度策略是核心路由交换设备性能的重要保证.针对联合输入交叉节点排队(combined input and cross-point queuing,简称CICQ)交换结构现有调度策略在复杂度或性能方面存在的缺陷,深入探讨了CICQ交换结构调度策略设计的基本准则,并提出了CICQ下虚… …   相似文献

扈红超  伊鹏  郭云飞  李玉峰 《软件学报》2008,19(7):1856-1864

一种基于运动矢量分析的Mean shift目标跟踪算法

下载全文  

Mean shift算法作为一种非参密度估计算法,目前已被广泛应用于视频运动目标的跟踪。该算法具有运算效率快,对目标变形、旋转不敏感,在部分遮挡的情况下有一定鲁棒性等特点,但该算法在运动目标速度过快的情况下,由于没有考虑利用目标的运动方向和速度信息,因此在跟踪快速运动目标时容易造… …   相似文献

田纲  胡瑞敏  王中元 《中国图象图形学报》2010,15(1):85-90

基于最大熵分类器的语义角色标注

下载全文  总被引：24，自引：2，他引：24

语义角色标注是浅层语义分析的一种可行方案.描述了一个采用最大熵分类器的语义角色标注系统,该系统把句法成分作为语义标注的基本单元,用最大熵分类器对句子中谓词的语义角色同时进行识别和分类.最大熵分类器中使用了一些有用的特征及其组合.在后处理阶段,在具有嵌套关系的结果中,只有概率最高的语义角色被保留.在预测了全部能够在句法分析树中找到匹配成分的角色以后,采用简单的后处理规则去识别那些找不到匹配成分的角色.最终在开发集和测试集上分别获得了75.49%和75.60%的F1值,此结果是已知的基于单一句法… …   相似文献

刘挺  车万翔  李生 《软件学报》2007,18(3):565-573

网格数据复本管理的动态自适应软件体系结构

下载全文  总被引：3，自引：0，他引：3

单一策略的复本管理不能适应网格系统复杂、多变的环境.提出了软件体系结构驱动的动态自适应数据复本管理架构DSA-RM.在该架构中,软件体系结构描述作为核心元素被整个数据网格运行环境共享,适用于不同应用环境和虚拟组织的数据复本管理策略则可以按照描述规则封装为构件.DSA-RM以该描述… …   相似文献

陈磊  李三立 《软件学报》2006,17(6):1436-1447

卫星遥感影像RPC参数求解算法研究

下载全文  总被引：3，自引：1，他引：3

针对国内外在求解RPC模型参数算法上需要初值、迭代处理,且求解过程相当复杂的缺憾,提出了基于全球DEM的RPC模型参数求解算法,利用SPOT-5、CBERS-2以及ERS卫星影像进行实验,获得对卫星遥感影像几何处理有意义的结论,并对卫星影像在利用严格成像几何模型求解RPC模型参数… …   相似文献

张过  李德仁 《中国图象图形学报》2007,12(12):2080-2088

时间序列的表示与分类算法综述

  总被引：1，自引：0，他引：1

时间序列是按照时间排序的一组随机变量,它通常是在相等间隔的时间段内,依照给定的采样率,对某种潜在过程进行观测的结果。时间序列数据广泛地存在于商业、农业、气象、生物科学以及生态学等诸多领域,从时间序列中发现有用的知识已成为数据挖掘领域的研究热点之一。在时间序列表示方面,主要介绍了非… …   相似文献

原继东  王志海 《计算机科学》2015,42(3):1-7