标准模型下可证安全的加密密钥协商协议

下载全文  

密钥加密协议的目的是利用安全性低的口令协商安全性高的密钥,进而利用密钥对以后的通信进行加密或身份认证,从而实现安全通信.现有的密钥加密协议大多缺乏安全证明,或者仅在Random Oracle模型下证明了协议的安全性.与Random Oracle模型下的协议相比,标准模型下可证安全… …   相似文献

殷胤  李宝 《软件学报》2007,18(2):422-429

面向大规模分布式计算发布订阅系统核心技术

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

发布/订阅系统技术具有异步、松散耦合和多对多通信的特点,适应了目前动态多变的大规模分布式计算环境的需求,有着广阔的应用前景.分析了国内外发布/订阅系统的研究现状,并从拓扑结构、事件模型和订阅模型等不同角度进行了系统的分类,然后分别就其关键问题从匹配算法、基于内容的路由算法、形式化… …   相似文献

马建刚  黄涛  汪锦岭  徐罡  叶丹 《软件学报》2006,17(1):134-147

GAM模型稳定性分析及其在图像识别中的应用

下载全文  

多值指数关联联想记忆模型（MMECAM）是一种高存储容量的自联想记忆神经网络。在详细分析其优缺点的基础上,通过改进MMECAM模型的更新规则,首先提出一个新的高斯自联想记忆模型（GAM）,然后通过定义简单的能量函数从理论上证明其在同、异步方式下的稳定性,从而保证所存储的模式能最终… …   相似文献

王传栋  陈蕾  杨庚  孙知信 《中国图象图形学报》2011,16(6):1022-1029

机动目标ISAR超分辨成像的分辨能力研究

下载全文  

机动目标ISAR超分辨成像须考虑三维转动造成多普勒频率的时变性质,同时,成像质量也受到信号模型误差的影响,如包络对齐误差和自聚焦误差.采用误差参数和目标特征参数联合估计可显著提高机动目标成像的分辨率.本文将误差参数和目标参数联合建模,对信号模型解的不唯一性提出一种约束条件,引入分… …   相似文献

孙长印  保铮 《电子学报》2001,29(3):426-428

面向路网连通关系的车辆轨迹数据查询技术研究

下载全文  

定位及通信技术的发展使获取和传输移动车辆的轨迹信息成为可能。从车辆轨迹数据中可以提取出大量的交通信息,这些信息是对交通状况的一个直接和全面的反映。但由于轨迹数据固有的网络特性及时空特性,使针对此类数据的查询成为一个难点,其中关键技术包括建立用于车辆轨迹数据的索引结构及其对应的轨迹… …   相似文献

李响  刘正军  林珲  张喜慧 《中国图象图形学报》2009,14(7):1245-1250

场景切换视频自适应帧间码率控制

下载全文  

针对视频帧中可能出现的大量场景切换,提出一种基于非连接点的场景切换检测算法,提高编码性能,该场景检测算法复杂度低,在运动估计的同时,完成视频场景切换检测。场景切换将导致GOP(group of pictures)长度的变化,并可能出现GOP长度太短的情况。提出改进的自适应GOP时… …   相似文献

方志军  高永彬  舒雷  袁非牛  杨勇 《中国图象图形学报》2013,18(6):692-698

保持边缘特征和增强对比度的图像缩放算法

下载全文  

图像的边缘信息和对比度是影响人体视觉的最主要因素。提出一种能够同时保持边缘特征和增强对比度的图像缩放新方法。通过边缘检测算法、边缘梯度增强以及梯度图的低通滤波算法,得到新的梯度图,再通过求解泊松方程得到重建的图像。由于对图像边缘作了特殊处理,从而避免在图像缩放过程中丢失边缘信息。… …   相似文献

计忠平  方美娥  王毅刚  吴向阳 《中国图象图形学报》2012,17(2):178-182

基于RSA签名的优化公平交换协议

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

公平性是电子商务协议的基本安全要求.RSA是应用最为广泛的公钥密码体制之一.公平交换协议可以使得参与交换的双方以公平的方式交换信息,这样,要么任何一方都可以得到对方的信息,要么双方都得不到对方的信息.分析了现有的公平交换协议构造方法、体系结构及其在实用性和效率方面存在的问题.在此… …   相似文献

周永彬  张振峰  卿斯汉  季庆光 《软件学报》2004,15(7):1049-1055

结合梯度信息的特征相似性图像质量评估

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

目的 图像的边缘信息对于图像质量的评估非常重要.基于底层特征的图像质量评估算法(FSIM),虽然考虑了图像的底层特征,但该算法对边缘信息的识别能力不理想.针对以上问题,将FSIM算法与对边缘信息更敏感的梯度结构相似度(GSSIM)算法相结合得到一种既符合人眼视觉系统特点又能有效识别图像边缘的新的图像质量评估算法(FGSIM).方法 该算法将FSIM算法的相位一致性部分与GSSIM算法的提取图像信息的部分相结合从而得到一种新的图像质量评估算法FGSIM.其中,采用相位一致性表示图像的特征,用于保持评估算法接近人类视觉系统的特点,提取图像信息的部分通过图像的梯度来实现,用于更有效的识别图像边缘.结果 分别使用FSIM、GSSIM以及FGSIM算法对不同运动模糊程度、不同高斯模糊程度以及不同高斯噪声的图像进行质量评估,将得到的数据用曲线图表示,从图中可以看出:在运动模糊实验中,随图像模糊程度的增大,FGSIM算法的数值由0.8943下降到0.3443,变化更加明显,对运动模糊表现出更好的敏感性;在高斯模糊和高斯噪声实验中,FGSIM算法数值变化的程度虽然不如GSSIM算法好,但相较FSIM算法有一定的提高.FGSIM算法在公共测试图像库中与FSIM、GSSIM算法进行实验比较,FGSIM算法的散点图较FSIM算法稍差些,但与GSSIM算法相比具有非常大的改进,其散点图比GSSIM更为集中.采用较为常用的衡量评估方法性能的指标:皮尔逊相关系数、斯皮尔曼秩相关系数、KROCC 和均方根误差对评估算法的性能进行衡量,数据显示,FGSIM算法的性能比GSSIM算法好.结论 实验结果表明,FGSIM算法是一种既符合人眼视觉系统特点又能有效识别图像边缘的新的图像质量评估算法,该算法对边缘信息的识别能力更强,对图像质量的变化更加敏感.… …   相似文献

苗莹  易三莉  贺建峰  邵党国 《中国图象图形学报》2015,20(6):749-755

挖掘闭合模式的高性能算法

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

频繁闭合模式集惟一确定频繁模式完全集并且尺寸小得多,然而挖掘频繁闭合模式仍然是时间与存储开销很大的任务.提出一种高性能算法来解决这一难题.采用复合型频繁模式树来组织频繁模式集,存储开销较小.通过集成深度与宽度优先策略,伺机选择基于数组或基于树的模式支持子集表示形式,启发式运用非过… …   相似文献

刘君强  孙晓莹  庄越挺  潘云鹤 《软件学报》2004,15(1):94-102

基于缺陷关联度的Markov模型软件优化测试策略

下载全文  

软件测试过程通常期望以最小的成本检测尽可能多的缺陷.为了降低建模复杂度,多数文献通常假设缺陷之间相互独立.但在实际测试中,缺陷之间往往存在关联,并且每个缺陷引发软件失效的严重程度也不相同.充分利用缺陷之间的关联信息,有助于增加相关缺陷的可检测率,提高软件测试效率.因此,提出一种新… …   相似文献

包晓安  谢晓鸣  张娜  曹建文  桂宁 《软件学报》2015,26(1):14-25

IMS 网络中的SIP 洪泛攻击检测

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

为了检测针对3G核心网中IP多媒体子系统的SIP(session initiation protocol)洪泛攻击,提出了一种双抽样多点检测方法.该方法在使用计数式布鲁姆过滤器统计检测特征信息的基础上,将检测空间划分为5个范围,即正常范围、关注范围、检测范围、精检测范围和攻击范围… …   相似文献

王尚广  孙其博  杨放春 《软件学报》2011,22(4):761-772

多媒体网络教学系统在线考试题库的设计

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

设计了一种适合于通用在线考试的试题数据库,根据规范数据库设计的要求,设计了试题库的关系数据模型,并给出了规范化论证。在经典测试理论的基础上,提出了一种约束试卷生成的参数模型,并根据该模型设计了一种自动试卷生成的递归算法。  相似文献

马娅婕  田翔川 《计算机应用研究》2005,22(1):182-183

基于DSA及RSA的证实数字签名方案

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

提出了一种证实数字签名方案.该方案采用了Camenisch-Michels给出的证实数字签名的模型,首次将数字签名专用算法DSA和著名的RSA公钥加密方案用于证实数字签名方案中,并首次使用了否认零知识证明的新方法.该方案可应用于电子合同的公平签署.  相似文献

王尚平  王育民  张亚玲 《软件学报》2003,14(3):588-593

基于共享Cache多核处理器的Hash连接优化

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

针对目前主流的多核处理器,研究了基于共享缓存多核处理器环境下的数据库Hash连接优化.首先提出基于Radix-Join算法的Hash连接多线程执行框架,通过实例分析了影响多线程Radix-Join算法性能的因素.在此基础上,优化了Hash连接多线程执行框架中的各种线程及其访问共享… …   相似文献

邓亚丹  景宁  熊伟 《软件学报》2010,21(6):1220-1232

不协调知识的缺省推理

下载全文  

提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性.为此,定义了命题公式的正变换和负变换,以便分离一个文字与其否定的语义联系.大多数关于缺省逻辑的定理都可以在双缺省逻辑下重建,证明了双缺省逻辑是缺省逻辑在不协调情形下的… …   相似文献

韩庆  林作铨 《软件学报》2004,15(7):1030-1041

邻域参数动态变化的局部线性嵌入

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

局部线性嵌入是最有竞争力的非线性降维方法,有较强的表达能力和计算优势.但它们都采用全局一致的邻城大小,只适用于均匀分布的流形,无法处理现实中大量存在的非均匀分布流形.为此,提出一种邻域大小动态确定的新局部线性嵌入方法.它采用Hessian局部线性嵌入的概念框架,但用每个点的局部邻… …   相似文献

文贵华  江丽君  文军 《软件学报》2008,19(7):1666-1673

优化-最小求解的广义总变分图像复原

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

在代价函数中嵌入总变分正则项是解决图像复原中不适定问题的一种有效方法。但是,总变分正则化考虑的仅是一阶而不是高阶邻域像素变分关系;另外,总变分的开方形式还给基于总变分代价函数的优化带来了困难。为此,提出一种基于优化-最小算法的广义总变分正则化图像复原新方法,以克服目前存在的问题。… …   相似文献

徐梦溪  徐枫  黄陈蓉  李铭 《中国图象图形学报》2011,16(7):1317-1325

基于奇异值分解和判别式KL投影的人脸识别

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

人脸识别是计算机视觉和模式识别领域的一个活跃课题,有着十分广泛的应用前景.提出了一种新的彩色人脸识别方法.该算法采用模拟K-L变换、奇异值分解、主分量分析和Fisher线性判别分析技术来提取最终特征,可以使分类器的设计更加简洁、有效,使用较少的特征向量数目就能取得较高的识别率.仿… …   相似文献

周德龙  高文  赵德斌 《软件学报》2003,14(4):783-789

基于分形的3维竹子建模算法

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

为了利用计算机自动地绘制出逼真的竹子图像,将竹秆的绘制分为两部分:采用分形图形学技术生成较直的竹秆;采用图形学中参数曲线拟合技术生成末端的弯曲枝条。通过对竹子整体形态进行观测统计后,得出枝干之间的夹角不是随机分布的,如果以90°为标准,满足黄金分割比。该文首先根据植物形态学原理、… …   相似文献

王琰  曾兰玲 《中国图象图形学报》2007,12(1):177-182