关于传递闭包和函数依赖完备公理系统存在问题研究

下载全文  

数据依赖在数据库设计中起着十分重要的作用．自Ｃｏｄｄ提出函数依赖（ＦＤｓ）、Ｆａｇｉｎ引入多值依赖（ＭＶＤｓ）后,近几年来人们又根据设计中的需要引入多种新的依赖,如在工程数据库设计中所引进的传递闭包依赖（ＣＤｓ）等．对这些依赖一般是按其是否具有完备的公理系统而划分为两大类,因为完… …   相似文献

聂培尧 《软件学报》1994,5(3):37-42

视频质量平滑中恒定SNR比特分配

下载全文  

该文提出了一种基于恒定SNR的单次扫描帧级比特率分配的视频质量平滑方案 (CSNRBA)。采用之前所有编码帧的SNR的递减几何级数加权平均值作为当前帧的目标SNR,再根据国际上最近提出的闭合形式D-Q分析模型和线性码率模型,准确计算当前帧的比特预算。实验结果表明,该文提出的CSN… …   相似文献

康显桂  Zhuang Xin-hua 《电子与信息学报》2007,29(10):2444-2447

海量数据多边形布尔运算的区域分割算法

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

研究了一种大数据量的2维多边形,称为海量数据多边形,其边界由直线段和圆弧段组成,顶点很多,形状复杂。本文设计并实现了海量数据多边形之间的布尔运算算法。首先用区域划分的方法快速求解出两多边形的交点,然后判断各交点的出点、入点性质,最后沿着多边形的边界跟踪,并根据并、交、差的不同要求… …   相似文献

姚辉学  卢章平 《中国图象图形学报》2007,12(3):552-557

时态变量\"Now\"语义及相应时态关系运算

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

讨论了时态变量\"Now\"的基本语义,即Now不仅可以表示当前时间,还能表示过去时间和将来时间.在语义分析的基础上,讨论了带变量时态关系运算中需要解决的基本问题,即变量Now值的确定问题,研究了相应时态关系数据操作,建立了带变量时态关系代数系统.  相似文献

叶小平  汤庸 《软件学报》2005,16(5):838-845

3G网络的移动视频监控系统

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

移动流媒体应用是基于3G独特高数据带宽的业务应用,是3G业务网络中最具市场潜力的增值业务类型。为了进一步推广移动流媒体技术的应用,该文将3G移动网络和固网视频监控结合起来,实现两者优势互补,提出了一种基于3G网络的移动视频监控系统模型,此模型能够弥补传统移动网络和固网的不足对移动… …   相似文献

闻恩友  赵正德  杨立朝  张伟 《中国图象图形学报》2008,13(10):1987-1990

标准模型下可证安全的基于身份的门限环签密方案

  

签密是一个能够同时提供认证性和保密性的密码学术语,而它却比分别签名和加密具有更低的计算成本。环签密除具有签密的一般属性外,还具有匿名性。为了设计基于身份的门限环签密方案,利用秘密共享和双线性对技术, 提出了一种标准模型下基于身份的门限环签密方案,并对方案的安全性进行了分析。最后,… …   相似文献

孙华  王爱民  郑雪峰 《计算机科学》2013,40(5):131-135

面向SLP 的多重循环向量化

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

如今,越来越多的处理器集成了SIMD(single instruction multiple data)扩展,现有的编译器大多也实现了自动向量化的功能,但是一般都只针对最内层循环进行向量化,对于多重循环缺少一种通用、易行的向量化方法.为此,提出了一种面向SLP(superword… …   相似文献

魏帅  赵荣彩  姚远 《软件学报》2012,23(7):1717-1728

2-3-SAT问题相变现象剖析及其应用

下载全文  

3-SAT问题有一个非常奇妙的相变现象.对于固定的变量数N,合取范式的可满足概率随着子句个数K的变化而发生剧烈的变化;当K≈4.3*N 时,可满足概率急剧地从1变为0.相变现象决定了问题的难易分布,对于快速求解算法的设计有着非常重要的意义.文章着重讨论了SAT问题的更一般形式,即2-3-SAT问题的相变现象.研究了相变点处的2-子句和3-子句个数的关系,发现了2-子句和3-子句在约束能力意义下的当量关系,并提出了如何有效地利用2-3-SAT的相变现象.… …   相似文献

白硕  卜东波 《软件学报》1998,9(11):828-832

基于平均互信息的混合条件属性聚类算法

  

混合条件属性参数间的距离值存在较大的差异,导致仅聚合距离数量级较大、较规律的数值条件属性对象,而忽视数量级较小、混沌,但类别特征更加明显的分类条件属性对象。提出了一种基于平均互信息的聚类算法。通过熵量化参数类别特性的大小,再根据熵的平均互信息计算方法衡量数据对象间类别的相同、相异… …   相似文献

刘晋胜 《计算机科学》2015,42(3):261-265

用于XML模式和DTD规范化设计的层次模式设计

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

XML模式和DTD(document type definition)规范化设计是给出一个很好地表示数据间依赖关系并消除了冗余的XML模式或DTD的集合.目前在这一方面开展的研究还不多,而且才刚起步.Provost提出将关系数据库理论应用于XML模式规范化设计的思想,这一思想还没… …   相似文献

吴永辉 《软件学报》2004,15(7):1099-1106

基于层次聚类树的点曲面视点相关绘制

  

针对点曲面的视点相关绘制问题,提出了一个新的表面基层次聚类简化算法。区别于普遍采用的空间剖分基策略,该算法的显著优势在于能够运用法向锥半角误差标准有效跟踪曲面的起伏变化,并以此为聚类简化过程提供可靠的全局误差控制。离线简化阶段,连同各种预定义的聚类约束条件,算法构造了点曲面模型的… …   相似文献

徐爱国  黄琦  孙守迁 《中国图象图形学报》2007,12(2):356-365

3维模型形状相似性比较算法综述

  

随着3维模型使用得日益广泛,对3维模型检索系统的研究,近年来日益受到了国内外广大研究人员的关注。3维模型形状相似性比较算法是3维模型检索系统的主要研究问题之一,很多学者对其进行了深入的研究并提出了很多算法。为了使人们对该领域现状有个概略了解,首先介绍了3维模型检索系统,同时回顾了… …   相似文献

章志勇  许芸  凌云  王勋 《中国图象图形学报》2007,12(8):1317-1325

基于SVD和能量最小原则的图像自适应降噪算法

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

基于奇异值分解和能量最小原则,提出了一种自适应图像降噪算法,并给出了基于有界变差的能量降噪模型的代数形式。通过在矩阵范数意义下求能量最小,自适应确定去噪图像重构的奇异值个数。该算法的特点是将能量最小法则和奇异值分解结合起来,在代数空间中建立了一种自适应的图像降噪算法。与基于压缩比… …   相似文献

王智峰  张志佳  李小毛  唐延东 《中国图象图形学报》2007,12(4):603-607

基于分支混淆算法的符号执行技术

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

符号执行是静态分析中的一项常用技术,数组元素混淆问题是限制符号执行本身性能的关键因素之一。通过分析数组混淆实质,提出了一种分支混淆算法,利用边混淆边符号执行的策略,可以处理较为复杂的数组问题。该策略使用实时的约束求解,及时地剪除不可达的混淆分支。结合符号执行和约束求解技术,开发了… …   相似文献

过辰楷  姬秀娟  许静 《计算机科学》2012,39(9):115-119

基于样本的纹理合成技术综述

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

近年来,纹理合成技术取得了长足的进步,已成为当前计算机图形学、计算机视觉和图像处理领域的研究热点之一。为使人们对该技术有个概略了解,首先针对纹理合成的研究现状,从合成采样、特征分析与匹配、约束合成和多目标合成等4个方面全面论述了纹理合成目前采用的技术方法;然后从合成质量、合成效率… …   相似文献

朱文浩  魏宝刚 《中国图象图形学报》2008,13(11):2063-2069

改进的图像自适应梯度插值

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

传统的图像插值算法存在边缘模糊和边缘锯齿,已有改进算法改善了插值图像质量,但存在斜边缘锯齿或局部扭曲变形等问题。为解决上述问题,提出了改进的图像自适应梯度插值。该方法首先根据图像的局部不对称性和局部梯度特征在1维方向上修正插值点空间距离,并将1维修正结果合并到2维空间,然后将修正… …   相似文献

张美玉  王孝通  徐晓刚 《中国图象图形学报》2009,14(5):853-858

基于Assume-Guarantee搜索复用的C程序验证方法

下载全文  

提出了一种基于Assume-Guarantee搜索复用的验证方法,对C程序源代码进行验证.其思想是,在程序的每点处都引入一个保守假设条件,并假设从任意点出发,变量取值满足该点假设条件的所有执行路径都不会违背给定性质,然后根据这些假设条件遍历所有可能的执行路径以验证给定的时序安全性… …   相似文献

易晓东  王戟  杨学军 《软件学报》2007,18(9):2130-2140

一种面向虚拟化数字中心资源按需重配置方法

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

面向Web应用,提出一种动态资源按需配置方法,能够根据不断变化的资源需求以在线方式高效地重配置集群,实时地确定集群当前节点运行数量及其上部署的虚拟机类型.该方法基于布尔二次指数平滑法预测用户请求,有效避免了配置结果落后于资源请求;基于遗传算法并行化搜索配置空间,快速发现合理配置.… …   相似文献

米海波  王怀民  尹刚  史殿习  周扬帆  袁霖 《软件学报》2011,22(9):2193-2205

基于扩展有限状态机的协议测试集生成研究

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

与其他测试方法相比,主要解决了自动生成可执行测试序列的问题.首先介绍现有的基于扩展有限状态机的测试生成算法,这些算法虽然结合了控制流和数据流的测试,但是并没有解决测试序列的可执行问题.重点解决了包含有影响循环测试序列的可执行性问题,并通过预先发现循环的中断条件而减少不可用的测试路… …   相似文献

王建国  吴建平 《软件学报》2001,12(8):1197-1204

超平面布线

  

本文大胆打破了传统通道模型的束缚,建立了一个能更好体现多层布线内在本质约束的新模型：超平面布图模型,在该模型下提出了超平面布线算法。该算法以全新的逆向删冗策略成功地解决了布线线序的问题,使线网布线真正达到了并行处理。算法遵循了王守觉先生关于总体分析的方法作为解决超平面布线问题的指… …   相似文献

陈志超  薄建国 《电子学报》1996,24(8):63-67