一种基于TRBAC的动态多级Web服务访问控制模型

  

在分析面向Web服务访问控制研究现状的基础上,针对当前Web服务访问控制模型中存在的不足,提出了一种基于TRBAC的动态多级Web服务访问控制模型(DMWS-TRBAC)。给出了其概念定义、形式化表示及约束规则。新模型引入了服务及其属性,设计了三级访问控制机制,达到了更加安全的细… …   相似文献

陈学龙  郑洪源  丁秋林 《计算机科学》2014,41(3):181-184,222

面向对象Z的子类型继承和推理规则

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

讨论了COOZ(complete object-oriented Z)中的继承关系,将继承分为增量继承和子类型化继承,并重点讨论了子类型化继承.定义了一种行为子类型化继承,证明了该方法的合理性,并据此定义了COOZ的规约继承及规约继承的推理规则.所讨论的子类型化方法与E.Cusa… …   相似文献

王云峰  李必信  郑国梁 《软件学报》2000,11(4):481-486

基于视觉特征的尺度空间信息量度量

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

图像的多尺度表示指的是从原始图像出发,导出一系列越来越平滑、简化的图像。这种简化意味着信息的丢失。如果能定量描述每一个尺度中图像的信息,这对于多尺度表示来说有着重要的作用。虽然Sporring等人提出的尺度空间信息熵度量能解决一些问题,但是并不满足从视觉理论和直观的基础上提出的尺… …   相似文献

王郑耀  程正兴  汤少杰 《中国图象图形学报》2005,10(7):922-928

知识库维护过程中检查其协调性的有效方法

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

本文首先描述了知识库维护过程中的协调性问题,然后给出了扩充逻辑程序设计的框架,在此框架下,每个逻辑程序等价于一个知识库．为了检查知识库的协调性,本文为知识库中的推理规则构造了正支持集和负支持集,并给出了一些定义;基于这些概念和定义,提出了知识库维护过程中检查知识库协调性的一种有效… …   相似文献

沈宁川  龙翔  李未 《软件学报》1997,8(1):14-21

IPv6网络环境下的蠕虫传播模型研究

  

研究了IPv6网络中,蠕虫在子网间和子网内传播的多种扫描策略;讨论了基于P2P的去重复和可控机制;研究了一种能够在IPv6网络中形成大规模传播的新型混合式蠕虫——NHIW。NHIW具有随机扫描蠕虫的特点,同时能够迅速获取子网内的易感染活跃主机IPv6地址,并能解决重复感染的问题。… …   相似文献

苏飞  林昭文  马严  杨晓明 《通信学报》2011,32(9):51-60

不同视点重叠图象拼接方法研究

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

不同视点重叠图象的拼接算法大都需要估计相机参数和每个像素的深度等。要求有较多的源图象,由于海上实景拍摄难度大,因此符合要求的源图象十分有限,这些现有的算法对于生成生成船舶操纵模拟器中的视景并不适用,根据船舶操纵模拟器对视景的要求和背景实景图象拍摄的具体要求,依据三维成像几何理论,… …   相似文献

兰培真  马越  邱志雄  金一丞  石教英 《中国图象图形学报》2002,7(10):1032-1037

分布式动态负载平衡调度的一个通用模型

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

在大规模并行分布处理系统,特别是网络工作站机群（ＮＯＷ）系统中,各结点机之间的负载平衡调度是最为常见的关键性问题之一．本文在简单分析了动态负载平衡调度中接收者驱动和发送者驱动这两个常用策略基础上,提出了一个通用的基于混合驱动策略的动态负载平衡调度模型,并给出了曙光１０００并行机上… …   相似文献

陈华平  计永昶  陈国良 《软件学报》1998,9(1):25-29

异构无线网络中基于自更新哈希链的不可否认性计费协议

  

异构无线网络融合是下一代网络发展的必然趋势,UMTS、LTE、WiMAX和WiFi等无线网络既相互竞争,又相互补充.安全计费是异构无线网络商用面临的主要挑战.提出了一种在异构网络中基于自更新哈希链的不可否认性计费协议,即通过采用新颖的自更新哈希链,移动终端能够快速更新可用哈希链,… …   相似文献

陈守国  付安民  秦宁元 《计算机科学》2015,42(3):111-116

Trace 演算

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

文章定义了基于踪迹(trace)的逻辑语言L_Trace,它是一阶线性时序逻辑语言的扩充,同时也是“对象演算”研究工作的基础.Trace演算所述的“对象”用来刻画具有内部状态和外部行为的动态实体,语法上由对象标记表示.对象标记Ω=(S,F,A,E)包含4个部分:数据类型S、函数F、属性A和动作E.Σ=(S,F)构成通常代数规范意义下的标记,可将动作看成一广义数据类型,从而得到标记Σ的动作扩充ΣE.对象标记的语义解释结构由关于标记ΣE的代数、映射和动作与踪迹的关系定义.ΣE-代数给出关于数据参数的解释;映射给出属性在动作踪迹中所取的值;而动作与踪迹的关系则给出执行一有限踪迹以后该动作是否允许执行.在定义了Trace演算的语法和语义之后,文章给出了Trace演算的公理系统及其可靠性证明.… …   相似文献

黄涛  钱军  倪彬 《软件学报》1999,10(8):790-799

基于零树和位平面的小波图像压缩算法

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

通过有机结合零树编码、位平面编码和算术编码,提出了一种基于零树和位平面的小波图像压缩算法ZBP(Zerotree and bit plane).ZBP不仅充分利用了零树符号之间的相关性,而且从位数据的层面上挖掘出了小波系数值之间的相关性,从而提高了算术编码的性能.实验结果表明,Z… …   相似文献

牛建伟  王刃  李波 《软件学报》2002,13(3):460-466

采用UKF建模的实时背景提取和运动阴影检测

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

实时运动物体分割是实现智能视频监控和视频交通流量检测等视觉系统的基础。目前,影响运动检测的因素主要有两个方面,一是背景建模的准确性;二是运动阴影的干扰。提出了基于无偏卡尔曼滤波器(UKF)的背景提取和阴影检测方法,构建整体的运动物体检测框架。该方法通过对背景和阴影建模,分别从帧间… …   相似文献

陈功  周荷琴  严捷丰 《中国图象图形学报》2009,14(5):931-937

连续方向图法在残留指纹分割中的应用

  

针对残留指纹不易被分割的特点,提出一种连续方向图实现残留指纹分割的应用算法。该算法首先计算点方向图,然后利用直方图滤波技术对指纹点方向图进行滤波处理,得到连续分布方向图;其次对前景区域进一步分析,根据残留指纹和正常指纹方向一般不一致的特点,运用残留指纹与指纹区交界处方向信息变化较… …   相似文献

王峰  陈蕴 《中国图象图形学报》2010,15(11):1608-1614

基于MODIS数据的典型能见度条件下大气透过率计算

  

现有的辐射传输模型仅考虑气溶胶影响下的大气透过率,在能见度低于5km时,会给大气透过率计算带来较大的误差。本文综合考虑影响大气透过率的气溶胶和水汽因素,并利用中光谱分辨率MODIS（moderate resolution imaging spectmradiometer）数据,在… …   相似文献

钱峻屏  黄菲 《中国图象图形学报》2006,11(4):575-579,T0005

新的四元数解析信号相位定义

  

解析信号韵定义及瞬时频率、瞬时幅值的算法在信号处理的时频分析领域有着重要意义.四元数解析信号是1维解析信号的定义在2维上的合理延伸,但是现有的四元数解析信号的相位定义不适合分析2维信号的瞬时频率.为此根据四元数解析信号的自身特点提出了一种新颖的四元数解析信号相位定义,并应用两种2… …   相似文献

崔峰  曹学光  彭思龙 《中国图象图形学报》2006,11(2):251-258

形状约束下活动轮廓模型冠脉血管图像多尺度分割

  

目的 由于计算机断层血管造影(CTA)图像的复杂性,临床诊断冠脉疾病往往需要经验丰富的医师对冠状动脉进行手动分割,快速、准确自动分割出冠状动脉对提高冠脉疾病诊断效率具有重要意义。针对双源CT图像特点以及传统单一基于区域或边界的活动轮廓模型的不足,研究了心脏冠脉3维分割算法,提出一种基于血管形状约束的活动轮廓模型分割方法。方法 首先,利用改进的FCM(fuzzy C-means)对心脏CT图像感兴趣区域初分割,其结果用于初始化C-V模型水平集演化曲线及控制参数,提取感兴趣区域轮廓。接着,由3维心脏图像数据获取多尺度梯度矢量信息构造边界型能量泛函,然后利用基于Hessian矩阵的多尺度血管函数对心脏感兴趣区域3维体数据增强滤波,获取血管先验形状信息用于约束能量泛函。最后融合边界、区域能量泛函并利用变分原理及水平集方法得到适合冠脉血管分割的水平集演化方程。结果 由于血管图像的灰度不均匀,血管末端区域更为细小,所以上述算法的实施是面向被划分多个子区域的血管,在缩小的范围内进行轮廓的演化。相比于传统的血管分割方法,该方法充分融合血管图像的先验信息及梯度场信息,能够从灰度及造影剂分布不均匀的冠脉血管图像中准确分割出冠状动脉,对于细小的血管结构亦能获得较好的分割效果。实验结果表明,该方法只需在给定初始轮廓前提下,有效提取3维冠脉血管。结论 对多组心脏CT图像进行分割,本文基于血管先验形状约束的活动轮廓模型可以准确分割出冠脉结构完整轮廓,并且人工交互简单。该方法在双源CT冠脉图像自动分割方面具有较好的正确率与优越性。… …   相似文献

郭笑妍  梅雪  李振华  曹佳松  周宇 《中国图象图形学报》2016,21(7):923-932

一种用于QoS控制的报文分组调度与丢弃算法

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

提出了一种用于Internet中服务质量控制的报文分组调度与丢弃算法.该方法根据用户要求的服务质量(quality of service,简称QoS)参数和多媒体应用的类型以及等待时间等因素,综合调度路由器中所到达的报文分组和分配缓冲,使其能够满足用户所要求的服务质量.计算机模拟… …   相似文献

王晓春  张尧学 《软件学报》2000,11(5):654-659

H.264/AVC视频流完整性认证的脆弱水印算法

下载全文  

提出一种基于脆弱水印的视频流完整性认证方法,在H.264压缩比特流中,首先根据I_Slice 中4×4块的编码模式生成认证码,然后通过调制某些运动子块的VLC码字将其嵌入B_Slice和P_Slice的视频流中。这种调制是基于VLC码字和待嵌入比特之间的映射规则进行的。映射后的码… …   相似文献

王让定  朱洪留  徐达文 《中国图象图形学报》2011,16(5):726-732

融合多姿势估计特征的动作识别

  

目的 为了提高静态图像在遮挡等复杂情况下的动作识别效果和鲁棒性,提出融合多种姿势估计得到的特征信息进行动作识别的方法。方法 利用已得到的多个动作模型对任意一幅图像进行姿势估计,得到图像的多组姿势特征信息,每组特征信息包括关键点信息和姿势评分。将训练集中各个动作下所有图像的区分性关键点提取出来,并计算每一幅图像中区分性关键点之间的相对距离,一个动作所有图像的特征信息共同构成该动作的模板信息。测试图像在多个动作模型下进行姿势估计,得到多组姿势特征,从每组姿势特征中提取与对应模板一致的特征信息,将提取的多组姿势特征信息分别与对应的模板进行匹配,并通过姿势评分对匹配值优化,根据最终匹配值进行动作分类。结果 在两个数据集上,本文方法与5种比较流行的动作识别方法进行比较,获得了较好的平均准确率,在数据集PASCAL VOC 2011-val上较其他一些最新的经典方法平均准确率至少提高近2%。在数据集Stanford 40 actions上,较其他一些最新的经典方法平均准确率至少提高近6%。结论 本文方法融合了多个姿势特征,并且能够获取关键部位的遮挡信息,所以能较好应对遮挡等复杂环境情况,具有较高的平均识别准确率。… …   相似文献

罗会兰  冯宇杰  孔繁胜 《中国图象图形学报》2015,20(11):1462-1472

基于图分割与Hausdorff距离的多分辨率影像匹配

下载全文  

针对具有复杂场景的航拍图像提出了一种基于图分割理论与Hausdorff距离的多分辨率影像匹配方法。在高斯金字塔图像模型中,低分辨率的图像通过图分割方法,充分考虑图像中的局部和全局的信息,提取到稳定和完整的图像区域边界,并以区域边界作为待匹配的曲线。再通过计算曲线的统计特性作为图像… …   相似文献

陈沈轶  钱徽  吴铮  潘莉莉  朱淼良 《中国图象图形学报》2008,13(6):1185-1190

移动对等网络中自私节点的检测和激励机制

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

由于其自身资源等客观因素的限制以及主观态度的影响,移动对等网络中的节点常常表现出自私性,因此,检测并激励自私节点合作成为当前重要的研究内容通过允许节点自由表达其主观转发态度,实现对自私节点的检测.即在路由选择时,不仅考虑到链路质量和节点能量等因素决定的路径的客观转发概率,而且考虑… …   相似文献

曲大鹏  王兴伟  黄敏 《软件学报》2013,24(4):887-899