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

  

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

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

基于组件的主动网络安全机制研究*

  

在主动网络安全原型的基础上,结合主动网络可动态加载协议的特点,提出了基于组件的主动网络安全机制。该机制能够适应主动网络保密性、完整性和可用性的安全需求,为主动节点和主动信包提供了可扩展加解密、信包验证、代码授权、代码执行监控以及代码撤销等一系列安全措施;同时支持动态加载和用户定制… …   相似文献

周恒琳  李增智  武亚强  廖志刚 《计算机应用研究》2005,22(7):111-114

制造网格环境下异构数据共享技术研究

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

回顾了从开放网格服务体系结构(OGSA)到Web服务资源框架(WSRF)的面向服务网格体系的发展历程,分析了网格和P2P两种计算模型的共性和个性特点,在此基础上提出了Globus Toolkit和JXTA J2SE Platform相结合的面向服务的制造网格框架结构,重点阐述了该… …   相似文献

郭晓辉  张璟  李军怀 《计算机应用研究》2006,23(3):216-218

2维复图像插值技术研究

下载全文  

2维复图像插值可按实部和虚部分为两个实图像插值,实图像插值实际上是一个2维滤波过程。提出了一种局部自适应的2维实图像插值算法。该算法可以在不预设模型的前提下,利用局部图像的自相关函数设计2维滤波函数。为满足插值均方误差最小,算法中引入了遗传算法优化多变量函数。该算法在超宽带合成孔… …   相似文献

王亮  黄晓涛  周智敏 《中国图象图形学报》2008,13(8):1417-1423

谓词模态逻辑到对应物理论的翻译

下载全文  

对应物理论(counterpart theory)是一阶逻辑的一种理论.Lewis利用谓词模态逻辑到对应物理论的翻译来研究谓词模态逻辑的性质,但是Lewis的翻译存在把不可满足的公式翻译为可满足公式的情况针对这个问题,提出了一种扩展语义的谓词模态逻辑,建立了扩展语义后谓词模态逻辑… …   相似文献

申宇铭  王驹  唐素勤  蒋运承 《软件学报》2012,23(9):2323-2335

基于加权两层图的混合推荐方法

  

结合用户一项目评分矩阵和项目一类别关联矩阵,提出了一种新的混合推荐模型。首先,利用用户一项目评分矩阵和项目一类别矩阵,提出一种新的项目关联度度量方法,该方法根据项目的特征信息和当前评分数据的稀疏情况,动态调节关联度的计算值,真实地反映彼此之间的关联度;其次,分别以项目关联度和用户… …   相似文献

陈泽  王国胤胡峰 《计算机科学》2012,39(12):177-180

基于灰度段的立体匹配算法

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

立体匹配一直是计算机视觉领域的一个中心研究问题.为了得到适用于IBR(image-basedrendering)技术中视图合成的比较精确的高密度视差图,提出了一种基于灰度段的立体匹配算法.该算法以灰度段作为匹配基元,并将应用于语音识别的DTW(dynamictimewarping… …   相似文献

周东翔  蔡宣平  孙茂印 《软件学报》2001,12(7):1101-1106

超分辨率重建的素描人脸识别

  

目的 基于学习的超分辨率重建由于引入了先验知识,可以更好地描述图像的细节部分,显著地增强图像的分辨率,改善图像的视觉效果。将超分辨率重建应用在素描人脸识别中,既可以增加人脸图像的质量也可以有效地提高识别精度。方法 首先利用特征脸算法根据素描图像合成人脸灰度图像,然后对合成的人脸图像利用稀疏表示进行超分辨率重建,最后利用主成分分析对重建前后的合成人脸分别进行识别。结果 在香港中文大学的素描人脸库(CUFS)上进行实验。经过超分辨率重建之后的人脸在眼睛等部位细节描述更好。同时,由于重建过程中引入了先验知识,重建之后的素描人脸识别率有提高。支持向量机算法得到的识别率由重建前的65%提高至66%,本文利用的主成分分析算法得到的识别率由重建前的87%提高至89%。结论 基于超分辨率重建的素描人脸识别算法可以有效地改善合成人脸图像的视觉效果并且提高素描人脸识别精度。… …   相似文献

赵京晶  方琪  梁植程  胡长胜  杨福猛  詹曙 《中国图象图形学报》2016,21(2):218-224

基于能量评估的网格简化算法及其应用

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

网格简化是曲面重构和多细节层次构造中的一个重要步骤,本文提出了一个基于局部能量评估的网格简化算法,能够大量地删除密集网格的三角形面片．为了加速算法的执行还提出了一种简单有效的采样方法．算法自动化程度高,能有效地支持多细节层次模型的建立．  相似文献

陶志良  潘志庚  石教英 《软件学报》1997,8(12):881-888

对白盒SMS4实现的一种有效攻击

下载全文  

传统的密码模型都假设密码系统的运行终端和计算环境是可信任的,但是,随着攻击方式的发展,这样的模型显得越来越脆弱.而白盒攻击环境是指攻击者除了能够获得与传统密码模型同样的资源以外,还对密码系统的内部运行完全可见,并完全掌控执行环境.因此,能够抵抗白盒攻击的密码算法具有更高层次的安全意义.2009 年提出的SMS4 算法的白盒实现,其目标是在白盒攻击环境下能够防止SMS4 算法的密钥被恢复.在回顾已有研究的基础上,针对该SMS4 算法的白盒实现提出了一种有效的攻击,并详细解释了如何以低于2⁴⁷ 的时间复杂度找出嵌入其中的轮密钥,说明了该白盒设计方法的不可靠性,并为设计安全的白盒实现提供了一种参考.… …   相似文献

林婷婷  来学嘉 《软件学报》2013,24(9):2238-2249

面向评论信息的跨领域词汇情感倾向判别方法

  

词汇的情感倾向判别对文本情感分类具有重要意义。已有方法多假设存在基准词,根据目标词与基准词的关联度来判别目标词的情感倾向。实际应用中,尤其是评论语料库中基准词往往存在情感歧义问题,从而影响判别结果的准确性。基于上述分析,面向给定语料库,提出一种基准词的提取和消歧方法,并在此基础上… …   相似文献

吴斐  张玉红  胡学钢 《计算机科学》2015,42(6):220-222, 238

PCF的信息系统模型

下载全文  

带类型的λ－演算是一个逻辑系统,它可以作为程序语言的基础．Ｐｌｏｔｋｉｎ所引进的ＰＣＦ就是这样一类程序语言．Ｐｌｏｔｋｉｎ构造了ＰＣＦ的一个模型,然后讨论与这个模型相关的指称语义和操作语义之间的配合问题──简单配合和完全配合．本文利用Ｓｃｏｔｔ引进的信息系统概念构造ＰＣＦ的另一种… …   相似文献

王美清 《软件学报》1994,5(4):19-27

多变量模糊优化信息可视化研究

下载全文  

本文针对复杂工程系统的多变量模糊优化问题进行了可视化方法研究,提出了模糊子域的绘制与运算算法,并在此基础上,对多变量模糊优化问题进行了数学分析,直观显示出了模糊可行域在设计空间上的分布规律．  相似文献

赵永红  谭建荣  张树有  周广仁 《软件学报》1996,7(9):565-570

基于应用层组播的高清流媒体直播原型系统的实现和测试

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

将应用层组播技术应用在高清流媒体直播系统中,设计并实现了一个支持大并发、高性能、小延时的高清流媒体直播原型系统,同时创造性地提出了分布式时移技术并集成在系统中,使用户能随时收看直播或延时直播的节目。该系统在2006年夏世界杯期间在复旦大学校园网内进行了长达一个多月的大规模测试,最… …   相似文献

胡文彦  叶德建 《中国图象图形学报》2007,12(10):1720-1724

部分填充各向异性介质波导的有限元分析

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

本文用有限元方法分析了部分填充各向异性介质波导的本征值问题。首先推导了电磁场的变分表示式,然后用有限元方法将此式进行离散,得出广义代数本征值问题,并编制出计算机程序,求出问题的数值解。文中给出了部分填充圆形和矩形杆状各向异性介质的矩形金属波导的色散曲线和场分布图的计算结果,对于矩… …   相似文献

张善杰  金建铭 《电子学报》1985,(4)

基于条件随机场(CRFs)的中文词性标注方法

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

本文提出一种基于CRFs模型的中文词性标注方法。该方法利用CRFs模型能够添加任意特征的优点,在使用词的上下文信息的同时,针对兼类词和未登录词添加了新的统计特征。在《人民日报》1月份语料库上进行的封闭测试和开放测试中,该方法的标注准确率分别为98．56％和96．60％。… …   相似文献

洪铭材 张阔唐杰  李涓子 《计算机科学》2006,33(10):148-151

对完整轮数ARIRANG加密模式的新的相关密钥矩形攻击

  

针对ARIRANG加密模式,利用相关密钥矩形攻击的方法对其安全性进行了重新评估。首先找到了一些新的38轮和39轮的高概率相关密钥矩形区分器,然后在此基础上将区分器进行改进,改进的主要思想是:利用模减差分和异或差分的混合表示方式代替原先的异或差分,同时在区分器的输出中选择一个差分集… …   相似文献

刘青  卫宏儒 《计算机科学》2013,40(8):109-114

基于形式化方法的因特网路由协议的一致性测试

下载全文  

并发数表组合表述法(并发TTCN)是可以描述并发测试行为的测试表述法.该文提出一种基于并发TTCN的分布式路由协议的测试方法.首先讨论路由协议实体的测试结构,然后给出基于并发TTCN测试系统的设计.最后介绍了测试集的设计.  相似文献

毕军  吴建平 《软件学报》2000,11(4):427-434

用于内容认证的半脆弱可逆视频水印算法

下载全文  

提出了一种运用哈希函数进行MPEG-4内容认证的半脆弱可逆视频水印算法。在YUV视频进行MPEG-4编码的I帧中嵌入两个水印,一个运用哈希函数进行内容完整性验证并嵌入帧序号进行帧间篡改定位,另一个基于直流系数和低频系数用于帧内篡改定位。实验结果表明,算法能够对视频内容进行验证并实… …   相似文献

曾骁  陈真勇  范围  陈辉  熊璋 《中国图象图形学报》2010,15(8):1189-1195

基于图像运动的三维重建及虚拟化应用

  

提出了一种稳定、快速地获取摄像机视频运动图像的三维重建方法,并对该运动图像做适当的虚拟化处理以展示重建效果.采用基于尺度不变特征点匹配的摄像机标定进行三维重建.尺度不变特征对于视频图像中的特征具有优秀敏锐的匹配能力,极大地放宽了摄像机标定对于设备上的限制,拓宽了实时三维重建的适用… …   相似文献

李林尧  张兆翔  王蕴红  王超 《计算机科学》2011,38(7):273-276