XML文档及其函数依赖到关系的映射

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

有许多文章提出了根据DTD将XML映射成关系的方法,但都没有考虑XML的语义,而语义信息对数据存储模式设计、查询优化、更新异常检查等来说是十分重要的,如果在DTD上指定了XML的函数依赖,在映射到关系数据库中就需要将其考虑进去.基于Hybrid Inlining方法并考虑XML函… …   相似文献

王庆  周俊梅  吴红伟  萧建昌  周傲英 《软件学报》2003,14(7):1275-1281

性能驱动总体布线的关键技术及研究进展

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

在计算机软件领域,超大规模集成电路技术的迅猛发展迫切需要高性能CAD工具——电子设计自动化(EDA)软件工具的支持.与物理设计相关的CAD技术称为布图设计,总体布线是布图设计中一个极为重要的环节.目前,在深亚微米、超深亚微米工艺下的超大规模、甚大规模集成电路设计中,性能驱动总体布… …   相似文献

经彤  洪先龙  蔡懿慈  鲍海云  许静宇 《软件学报》2001,12(5):677-688

密码协议的一种安全模型

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

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

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

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

下载全文  

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

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

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

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

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

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

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

下载全文  

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

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

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

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

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

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

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

  

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

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

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

下载全文  

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

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

自适应加权完全局部二值模式的表情识别

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

为了有效地提取局部特征和全局特征以提高表情识别的性能,提出自适应加权的完全局部二值模式（Adaptively Weighted Compound Local Binary Pattern,AWCLBP）的人脸表情识别算法。首先对人脸表情图像进行预处理分离出表情子区域,与此同时生成… …   相似文献

胡敏  许艳侠  王晓华  黄忠  朱弘 《中国图象图形学报》2013,18(10):1279-1284

有界模型检测的优化

下载全文  总被引：2，自引：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

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

  总被引：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

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

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

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

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

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

下载全文  

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

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

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

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

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

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

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

下载全文  

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

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

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

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

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

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

有序判别典型相关分析

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

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

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

融合背景权重直方图的目标跟踪

下载全文  

目的 考虑到融合校正背景权重直方图(CBWH)的Mean Shift(MS)目标跟踪算法只有CBWH更新而缺少目标模板更新,以及在目标遮挡时鲁棒性欠佳的不足.方法 结合卡尔曼滤波器(KF)在目标状态预测和参数更新方面的可靠性,将两层KF框架融入融合CBWH的MS.第1层KF框架为… …   相似文献

田浩  巨永锋  孟凡琨  李涪帆 《中国图象图形学报》2015,20(1):72-84