异构多核上多级并行模型支持及性能优化

下载全文  

低功耗及廉价性使得异构多核在超级计算机计算资源中占有重要比例.然而,异构多核具有高带宽及松耦合一致性等特点,获得理想的存储及计算性能需要更多地考虑底层硬件细节.实现了一种针对典型的异构多核Cell BE 处理器的多级并行模型CellMLP,通过C 语言扩展编译指导语句,实现了对数… …   相似文献

李士刚  胡长军  王珏  李建江 《软件学报》2013,24(12):2782-2796

求解全局优化问题的混合自适应正交遗传算法

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

提出了一种基于正交实验设计的混合自适应正交遗传算法(hybrid self-adaptive orthogonal genetic algorithm,简称HSOGA)以求解全局优化问题,此算法利用正交实验设计方法设计交叉算子,并提出一种自适应正交交叉算子.该自适应正交交叉算子根… …   相似文献

江中央  蔡自兴  王勇 《软件学报》2010,21(6):1296-1307

密码协议的一种安全模型

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

将密码协议与密码算法视为一个系统,建立了密码协议系统的一种安全模型.基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的完备性,实现了密码协议系统的模型检查,并重点解决了系统分解问题、假设函数的设定问题、进程+逻辑的系统特性描述问题等难题.… …   相似文献

刘怡文  李伟琴  冯登国 《软件学报》2003,14(6):1148-1156

图像压缩中的快速方向离散余弦变换

下载全文  

传统的二维DCT(discrete cosine transform)无法稀疏表示除水平或垂直方向以外的边缘,而具有强方向表示能力的方向预测离散余弦变换(directional prediction DCT,简称DPDCT)计算复杂度又过高.针对这些问题,提出了一种快速方向离散余… …   相似文献

陈波  王红霞  成礼智 《软件学报》2011,22(4):826-832

基于序列模式的Servlet容器缓存替换

下载全文  

Servlet缓存能够有效地提高Servlet容器的吞吐量,缩短用户请求的响应时间.然而,Servlet缓存的性能受到缓存替换算法的影响.Servlet容器中的Servlet对应着一定的业务功能,挖掘Servlet之间的业务关联来指导缓存替换算法的设计可以提高Servlet缓存的… …   相似文献

李洋  张文博  魏峻  钟华  黄涛 《软件学报》2007,18(7):1592-1602

基于Hadoop的可信Web服务多维QoS权重最优选择模型

  

随着Web服务应用的快速增长,用户如何在众多功能相似的Web服务中更加准确地选择出满足自己非功能性需求的Web服务是一个急需解决的问题.针对此问题,设计了一种基于Hadoop的可信Web服务多维QoS权重最优选择模型——HL模型.在HL模型中,以Hadoop和HBase平台为基本… …   相似文献

何小霞  谭良 《计算机科学》2015,42(4):51-55, 67

一种基于人眼视觉特性的图像质量评价

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

图像质量评价的研究已成为图像信息工程的基础技术之一。由于图像的最终接受者是人,所以评价图像质量的关键在于其是否符合人类视觉系统特性。为了建立一种新的符合人眼视觉特性的图像质量评价方法,利用小波变换与人类视觉系统的多通道特性相匹配的特点,结合对比敏感度函数的带通特性,同时考虑计算的… …   相似文献

丁绪星  朱日宏  李建欣 《中国图象图形学报》2004,9(2):190-194

基于可变模版的三角网格拓扑压缩

下载全文  

针对三角网格模型的拓扑信息。提出了一种高效压缩方法.不同于以往的单纯利用算术编码或霍夫曼鳊码对遍历三角网格生成的拓扑流进行编码压缩,根据三角网格模型(特别是规则三角网格模型)的特点,自适应地提高编码过程中对当前编码字符发生的预测准确率,实现对三角网格模型的拓扑信息的高效压缩.算法… …   相似文献

刘迎  刘学慧  吴恩华 《软件学报》2008,19(4):1016-1025

LANDSAT-5 TM数据的辐射校正与几何定位精度

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

辐射校正与几何校正是遥感信息定量化应用的重要步骤,对真实反映目标和背景特征以及实际地理位置是至关重要的。提出了LANDSAT-5 TM数据的辐射校正方法与使用精确星历参数进行数据处理后的几何定位精度,并以实际数据检验了修正后的中国遥感卫星地面站的LANDSAT-5卫星数据产品的辐… …   相似文献

陈俊  王文  李子扬  李安 《中国图象图形学报》2008,13(6):1094-1100

基于无损水印的医学图像篡改检测和高质量恢复

  

目的 采用无损数字水印算法对医学图像进行篡改检测和恢复是一个重要的研究领域。针对现有方法在区域划分和块特征值选取上的不足,提出一种新的基于四叉树分解和线性加权插值技术的无损水印算法。方法 首先对原始的医学图像进行四叉树分解,得到非固定尺寸且具有高同质性的图像块;然后利用线性加权插值方法计算每个图像块的特征值作为水印信息,最后采用基于混沌的简单可逆整数变换进行水印嵌入。结果 在提取端当水印图像没有受到篡改时,原始的图像能被无损恢复;当受到篡改时,算法能精确定位篡改区域并能高质量恢复,采用本文算法恢复的图像质量较现有方法高出20 dB左右。另外,在水印图像遭到较大程度篡改时,本文算法的正检率和负检率均优于现有方法。结论 实验结果表明,本文算法相比现有方法具有更高的嵌入容量、篡改检测精确性、恢复图像质量。算法适用于医学图像的完整性认证和篡改检测中。… …   相似文献

邓小鸿  陈志刚  毛伊敏 《中国图象图形学报》2014,19(4):583-591

基于领域知识重用的虚拟领域本体构造

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

提出了一种重用现有领域知识库知识构造新领域本体的方法.该方法充分利用了领域知识模型以及领域本体相互之间存在的语义相关性,从语义匹配的角度探讨了构造新领域本体的可能性.首先给出了领域本体的一种结构化定义,然后讨论了领域模型之间、领域本体之间存在的语义相关性,并给出了领域本体语义相关… …   相似文献

陈刚  陆汝钤  金芝 《软件学报》2003,14(3):350-355

一种新的零相移数字滤波器的改进算法

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

时域延拓算法求取延拓部分信号的原则是,使延拓后的信号波形中,原信号的边界点到其两侧与其时间间隔相同的点的斜率相等,从而保证延拓后信号的波形在原边界点处保持平滑,避免使用传统算法延拓时会在边界点处引入突变的缺点。用经过此算法改进的零相移数字滤波器对相控阵探地雷达正演回波数据进行处理… …   相似文献

徐磊  陈淑珍  肖柏勋 《计算机应用研究》2005,22(4):21-22

一种传输控制协议中的主动拥塞控制机制

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

TCP Reno是当前Internet中流行的TCP(transmission control protocol)版本,为改善其性能,提出一种TCP Reno的改进方案,取名DAA-TCP(dual AMID-based active TCP).DAA-TCP融合了双重AIMD(… …   相似文献

徐昌彪  鲜永菊  唐朝伟  杨士中 《软件学报》2008,19(6):1533-1545

有界模型检测的优化

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

G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子.对验证G(p)和G(p→F(q))编码转换公式进行优化.通过分析当验证这些模态算子时FSM(finite state machine)的状态转移和线性时序逻辑(linear-time temporal logic,简称LTL)的语义特征.在现有的编码公式的基础上,给出了简洁、高效的递推公式,该公式有利于高效编码成SAT(satisfiability)实例;证明了递推公式和原转换公式的逻辑关系.通过实验比较分析,在生成SAT实例规模和易求解方面都优于BMC中求解这些模态算子的现有的两种重要方法AA_BMC和Timo_BMC.所给出的方法和思想对于BMC中验证其他模态算子时的编码优化也有参考价值.… …   相似文献

杨晋吉  苏开乐  骆翔宇  林瀚  肖茵茵 《软件学报》2009,20(8):2005-2014

基于概率主题模型的物联网服务发现

下载全文  

针对物联网中服务数量的大规模性、服务描述的异构性以及设备服务的资源高度受限性和移动性等特点,提出了一种基于概率主题模型的物联网服务发现方法.该方法的主要特点是：1） 利用英文Wikipedia 构建高质量的主题模型,并对类似短文本的服务文本描述进行语义扩充,使主题模型能够更有效地… …   相似文献

魏强  金芝  许焱 《软件学报》2014,25(8):1640-1658

利用规划命题关系图构建目标议程和宏动作

下载全文  

对智能规划中的常用工具——放松式规划图(relaxed planning graph,简称RPG)的图论性质进行了深入研究.将RPG中的命题层抽取出来,得到一个不包含任何动作的命题关系图(proposition relation graph,简称PRG),发现PRG仍具有RPG的… …   相似文献

蒋志华  饶东宁  姜云飞  朱慧泉 《软件学报》2011,22(1):44-56

基于UML的软件使用模型的研究及工具实现*

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

改进了文献［2］中提出的一种由软件的UML模型转换得到软件的Markov链使用模型的方法。采用Java语言实现了一个从软件的UML模型获得软件使用模型的工具。  相似文献

邓晔  徐锡山  颜炯 《计算机应用研究》2006,23(1):129-131

基于滑动窗口的进化数据流聚类

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

提出了纳伪(false positive)和拒真(false negative)两种聚类特征指数直方图分别来支持纳伪误差和拒真误差窗口的聚类分析;然后,提出一种基于滑动窗口的数据流聚类方法.该方法在占用窗口大小的次线性内存空间前提下,及时保存最近数据记录的分布状况,从而实现对滑动窗口内的数据进行聚类.此外,它还可被扩展用于N-n窗口(滑动窗口的扩展模型)的数据聚类.实验采用KDD-CUP'99和KDD-CUP'98真实数据集以及变换高斯分布的人工数据集构造进化数据流.理论分析和… …   相似文献

常建龙  曹锋  周傲英 《软件学报》2007,18(4):905-918

有序判别典型相关分析

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

多视图学习方法通过视图间互补信息的融合,达到增强单一视图方法的鲁棒性并提升学习性能的目的.典型相关分析(canonical correlation analysis,简称CCA)是一种重要的多视图信息融合技术.其研究的是针对同一组目标两组不同观测数据间的相关性,目标是得到一组相关… …   相似文献

周航星  陈松灿 《软件学报》2014,25(9):2018-2025

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

下载全文  

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

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