基于规则推导的特权隐式授权分析

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

介绍了一种研究系统特权安全问题的方法.由于其特有的迁移系统安全状态的能力,使得分析及保护系统特权都很困难,因此,传统访问控制研究中所采用的技术无法复制到该领域.在访问控制空间理论下,检查了系统特权的来源问题及其特点,从而将系统规则划分为约束规则与执行规则两类,分别描述授权的限制与… …   相似文献

蔡嘉勇  卿斯汉  刘伟  何建波 《软件学报》2008,19(8):2102-2113

多比例尺下细节层次可视化的实现机制

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

基于空间数据库技术提出了一种多比例尺下细节层次可视化的实现机制.通过建立V-R eactive树索引结构,可以表示不同的细节层次,同时集成了实现多比例尺综合技术.通过采用透视查询算法,简化了该机制实现的复杂度.根据三维可视化的特点,对V-Reactive树进行优化,增强了图像质量… …   相似文献

李军  景宁  孙茂印 《软件学报》2002,13(10):2037-2043

一种分布式吴方法计算模型

下载全文  

吴方法是由我国科学家吴文俊院士开创的一个新兴研究领域.考虑到吴方法\"分而治之\"的思想非常适合分布式计算,将分布式计算技术引入到该方法的计算过程中,给出一种既可以在集群环境下,也可以在网格环境下实现的分布式吴方法计算框架.首先分析了吴方法分布式计算需求,并以特征列计算为例来说明… …   相似文献

武永卫  杨广文  杨宏  郑纬民  林东岱 《软件学报》2005,16(3):384-391

合成孔径雷达的有源欺骗干扰方法研究

  总被引：71，自引：8，他引：71

本文根据SAR成像原理和地面回波信号模型,提出了对SAR进行有源欺骗干扰的方法.文中详细地讨论了有源干扰的基本原理,分析了干扰信号模型,并用实际SAR数据进行了仿真实验,欺骗图像成功加到了真实SAR图像中.  相似文献

王盛利  于立  倪晋鳞  张光义 《电子学报》2003,31(12):1900-1902

一种自适应的网格计算资源组织与发现机制

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

资源发现是网格计算中一个重要的研究问题.计算资源作为支撑网格应用的基础资源,其组织与发现机制尤为重要,但现有的技术和方法在效率、可伸缩性、自适应的动态演化以及对查询方式的支持方面仍有较大的局限性.基于网格应用对计算资源需求特征的深入分析,通过引入计算资源的主属性概念,按照平衡二叉… …   相似文献

孙海龙  怀进鹏  富公为 《软件学报》2009,20(1):152-163

基于自适应权重的粗糙K均值聚类算法

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

原有Rough K-means算法中类的上、下近似采用固定经验权重,其科学性值得商榷,针对这一问题,设计了一种基于自适应权重的粗糙K均值聚类算法.基于自适应权重的粗糙聚类算法在每一次迭代过程中,根据当前的数据划分状态,动态计算每个样本对于类的权重,降低了原有算法对初始权重的依赖.… …   相似文献

周杨  苗夺谦  岳晓冬 《计算机科学》2011,38(6):237-241

高带宽时延乘积网络中的拥塞控制端算法研究*

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

Internet现有的拥塞控制机制已远远无法适应高带宽时延乘积网络环境,因此现阶段相继提出了很多新的算法。基于网络拥塞控制分析中的流模型给出了几种重要算法的流方程和响应函数,利用这些方程和函数对这些算法进行了比较研究。研究显示它们中间存在着重要的不足,最后指出了需要改进的地方。… …   相似文献

卢利琼  陈元琰  吴东  罗晓曙  闫友彪 《计算机应用研究》2006,23(3):8-10

一个基于流程相似性的自动服务发现框架

下载全文  

服务发现是面向服务的网络软件开发过程的关键阶段,同时也是影响服务组合效率的关键因素.针对当前服务发现自动化程度低下、准确性不高的现状,从两个方面提高服务组合效率:首先,提出一种自动组合服务发现模式,支持流程粒度的组合服务发现及复用;其次,在发现过程中设计了一种量化的相似性评估算法… …   相似文献

黄子乘  怀进鹏  刘旭东  李翔  朱蒋俊 《软件学报》2012,23(3):489-503

一个非确定系统的不干扰模型

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

提出系统动作对信息域的不干扰概念,并在此基础上将不干扰模型推广到非确定系统.由于基于系统动作的不干扰概念简化了系统动作序列的提取操作,该模型的单步展开条件具有简洁的形式并易于理解和使用.推广后的不干扰模型不仅能够验证静态信息流策略,还可以验证各种动态信息流策略.最后设计了一个基于… …   相似文献

谢钧  黄皓 《软件学报》2006,17(7):1601-1608

突破认证测试方法的局限性

下载全文  

认证测试是一种用于证明安全协议认证属性的新方法,该方法能够简化协议认证属性的证明过程,但其局限性是无法应用于认证测试元素被多重加密的情况.指出Perrig和Song提出的认证测试改进方案在多个方面所存在的问题.在此基础上提出新的改进方案,并进行了形式化证明.新的认证测试定理突破了… …   相似文献

刘家芬  周明天 《软件学报》2009,20(10):2799-2809

基于SVD和能量最小原则的图像自适应降噪算法

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

基于奇异值分解和能量最小原则,提出了一种自适应图像降噪算法,并给出了基于有界变差的能量降噪模型的代数形式。通过在矩阵范数意义下求能量最小,自适应确定去噪图像重构的奇异值个数。该算法的特点是将能量最小法则和奇异值分解结合起来,在代数空间中建立了一种自适应的图像降噪算法。与基于压缩比… …   相似文献

王智峰  张志佳  李小毛  唐延东 《中国图象图形学报》2007,12(4):603-607

面向索引图的大容量信息隐藏方法

下载全文  

嵌入容量是衡量信息隐藏方法的重要指标之一。为了提高嵌入容量,提出一种面向矢量量化索引图邻块编码的信息隐藏改进算法,利用当前块的四邻块的空间相对位置关系和邻块与当前块索引差值的数值范围进行信息隐藏。实验结果表明,改进后的算法能够显著提高嵌入容量,在比特率仅增加5.13%13.10%… …   相似文献

邓晓曼  潘志斌  乔瑞萍  高风娟 《中国图象图形学报》2011,16(9):1583-1591

增量式精确多面体可见外壳

下载全文  

提出一种新的增量式计算精确多面体可见外壳的算法IEPVH。首先,在新视图的图像平面,计算旧可见外壳的边被新光椎切割得到的交点。然后,恢复旧可见外壳的边上交点的局部方向信息并同时获得新光椎边上的交点。接着,恢复新光椎边上交点的局部方向信息。最后,新可见外壳的多边形面片通过一次遍历网… …   相似文献

胡峰  赵晓林  张利 《中国图象图形学报》2011,16(4):634-639

用户间多相似度协同过滤推荐算法

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

传统的User-based协同过滤推荐算法仅采用了单一的评分相似度来度量用户之间对任何项目喜好的相似程度。然而根据日常经验,人们对不同类型事物的喜好程度往往是不同的,单一的评分相似度显然无法准确描述这种不同。针对上述问题,提出了一种基于用户间多相似度的协同过滤推荐算法,即基于用户… …   相似文献

范波  程久军 《计算机科学》2012,39(1):23-26

背景格的若干性质及其完备性证明*

下载全文  

背景在概念图理论中至关重要,其作用尤其体现在信息组织方面。借鉴形式概念分析的理论,用二元组表示形式背景,能够体现出形式背景的内涵与外延的统一。背景格是形式背景的一种组织形式,反映了形式背景之间的蕴涵关系,完备的背景格有着广阔的应用前景。介绍了背景格的定义及其构造方法,并给出了背景… …   相似文献

孙舒杨  刘大有 《计算机应用研究》2005,22(3):34-36

可判定的时序动态描述逻辑

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

  相似文献

常亮  史忠植  古天龙  王晓峰 《软件学报》2011,22(7):1524-1537

二值化的SIFT特征描述子及图像拼接优化

下载全文  

目的 针对SIFT算法计算复杂度高、存储开销大和近几年提出的BRIEF（binary robust independent elementary features）、ORB（oriented BRIEF）、BRISK（binary robust invariant scalable keypoints）和FREAK（fast retina keypoint）等二进制描述子可区分性弱和鲁棒性差的问题,提出基于SIFT的二进制图像局部特征描述子。方法 首先,对传统SIFT的特征空间和特征向量分布在理论和实验上进行分析,在此基础上结合二进制特征描述子的优势对SIFT进行改进。不同于传统的二进制特征描述子,本文算法对传统SIFT特征向量在每一维上的分量进行排序后,以该特征向量的中值作为量化阈值,将高维浮点型SIFT特征向量转化成位向量得到二进制特征描述子。并使用易于计算的汉明距离代替欧氏距离度量特征点间的相似性以提高匹配效率。然后,在匹配阶段将二进制特征描述子分为两部分并分别对其进行匹配,目的是通过初匹配剔除无效匹配特征点来进一步缩短匹配时间。最后,对提出的量化算法的可区分性及鲁棒性进行验证。结果 该量化算法在保持SIFT的较强的鲁棒性和可区分性的同时,达到了低存储、高匹配效率的要求,解决了SIFT算法的计算复杂度高、二进制描述子鲁棒性和可区分性差的问题。此外,在匹配阶段平均剔除了77.5%的无效匹配特征点,减少了RANSAC（random sample consensus）的迭代次数。结论 本文提出的量化算法可用于快速匹配和快速图像拼接中,提高匹配和拼接效率。… …   相似文献

李倩  江泽涛 《中国图象图形学报》2016,21(12):1593-1601

基于多目标规划的模糊C均值聚类算法

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

模糊C均值聚类算法(FCM)是一种非常经典的非监督聚类技术,已被广泛地应用到医学图像分割。由于传统的FCM聚类算法在分割图像时仅利用了图像的灰度信息,未利用图像的空间信息,在分割叠加了噪声的磁共振(MR)图像时分割效果不理想。考虑到脑部MR图像真实的灰度值具有分片为常数的特性,按… …   相似文献

王丹丹  李彬  陈武凡 《中国图象图形学报》2008,13(8):1492-1495

XML 数据流上Top-K 关键字查询处理

下载全文  

利用关键字可以在模式未知的情况下对XML数据进行查询.在当前的XML数据流上的关键字查询处理中,打分函数往往不能都满足各种用户不同的需求.提出了一种基于skyline的XML数据流上的Top-K关键字查询.对于这种查询,不需要考虑影响结果与查询相关性的复杂因素,只需利用skyli… …   相似文献

黎玲利  王宏志  高宏  李建中 《软件学报》2012,23(6):1561-1577

一种基于掩盖效应的感知域图像质量评价方法

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

图像的压缩编码技术及其比特流在信息空间上的传输控制,为图像质量的评价提出了新课题。通过分析人类视觉系统(HVS)的视觉非线性、多通道及掩盖效应等特性,建立起相应的图像视觉处理模型,并将原始图像与降质图像变换到感知域进行误差分析。在处理HVS模型的多通道中,将图像的空间频率按视觉系… …   相似文献

魏崇奎  成礼智 《中国图象图形学报》2004,9(2):195-200