值域增长约束满足问题的无回溯与随机行走策略的算法复杂性分析

  

值域增长的约束满足问题模型是计算复杂性理论中一类重要的实际问题模型,针对解决这类问题的算法研究仍然很少。通过研究RB模型这一典型的值域增长约束满足问题,发现当问题规模很大时,无回溯策略比随机行走策略更加有效。这与典型的值域确定的约束满足问题如SAT问题不同,是值域增长的约束满足问… …   相似文献

徐伟  巩馥洲 《计算机科学》2014,41(4):205-210

一种基于NPR的虚拟环境生成方法

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

非真实感绘制(NPR)为传统虚拟现实技术的使用开辟了新的空间。针对传统基于图像的绘制无法满足艺术风格虚拟环境需要的问题,通过将非真实感绘制技术引入虚拟场景构建中,提出了一种基于非真实感绘制的虚拟环境生成方法。该方法首先通过计算结构张量刻画图像局部结构,并采用全变分偏微分方程自适应… …   相似文献

肖甫  肖亮  吴慧中 《中国图象图形学报》2009,14(4):738-743

中国水墨画的基本艺术特征及其计算机仿真实现

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

为了实现中国水墨画的计算机仿真 ,通过对中国水墨画艺术效果中 ,笔、水、墨、纸的特性及相互影响制约因素的分析 ,将中国水墨画绘画过程“量化”、“标准化”,使得这一过程具有可控性和可预见性 .通过抽取体现水墨画特征的典型艺术效果 ,对中国水墨画中诸如 :笔法、纸张等进行大胆的归类 … …   相似文献

齐亚峰  孙济洲  商毅 《中国图象图形学报》2003,8(5):562-566

持久OOPL的存储管理模式

下载全文  

在持久环境（如持久ＯＯＰＬ和ＯＯＤＢＳ）中,涉及到两类不同的物理存储器：内存和磁盘,应开发隐藏物理细节的抽象存储器层次。虚拟对象存储器（ＶＯＳ）就是这种抽象存储器层次,在其上,持久对象和暂态对象的操作是同一的。作者利用双拷贝模型实现了一个ＶＯＳ管理系统。ＶＯＳ方法的优越性已通过Ｘ… …   相似文献

陈睿 《软件学报》1995,6(11):665-672

频域动态特征提取中的多层信道正规化

下载全文  

语音识别领域已经取得了稳步发展并出现了众多实用系统,但众所周知,今天的识别技术还远没有达到要求,而\"鲁棒性\"问题是系统性能提高的一个主要障碍.集中讨论了一种对抗语音识别系统脆弱性的通行方法--信道正规化技术,提出了一种新的正规化策略--多层信道正规化MLCN(multi-la… …   相似文献

王东  朱小燕  刘盈 《软件学报》2003,14(9):1523-1529

基于语义测度的图像相似性计算研究

下载全文  

针对图像检索中的低层视觉特征相似性度量问题,提出一种基于语义测度的图像相似性计算方法。该方法在图像区域分割的基础上,通过构建图像区域子块与语义元数据之间的统计映射关系,实现图像内容的统计语义描述,建立图像之间、图像与语义类别、语义类别之间的分层语义相似测度。通过对自然图像库的实验… …   相似文献

陈久军  肖刚  高飞  张元鸣 《中国图象图形学报》2007,12(10):1877-1880

安全组播中密钥分配问题的研究

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

组播是面向组接收者的首选网络通信技术,其重要性随着Internet的发展日益突出.组管理协议IGMP不提供成员接入控制.为了保护通信机密性,安全组播使用仅为认证组成员所知的会话加密密钥(SEK)来加密业务数据.每当组成员关系发生变化时,都应动态更新SEK,密钥分配也就成为安全组播… …   相似文献

朱文涛  熊继平  李津生  洪佩琳 《软件学报》2003,14(12):2052-2059

伪Zernike矩不变性分析及其改进研究

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

伪 Zernike矩是基于图象整个区域的形状描述算子 ,而基于轮廓的形状描述子 ,例如曲率描述子、傅立叶描述子和链码描述子等是不能正确描述由几个不连接区域组成的形状的 ,因为这些算子只能描述单个的轮廓形状 .同时 ,由于伪 Zernike矩的基是正交径向多项式 ,和 Hu矩相比 … …   相似文献

叶斌  彭嘉雄 《中国图象图形学报》2003,8(3):246-252

概率计算树逻辑的限界模型检测

下载全文  

为了缓解概率计算树逻辑模型检测中的状态空间爆炸问题,提出了概率计算树逻辑的限界模型检测技术.该技术首先定义概率计算树逻辑的限界语义,并证明其正确性;之后,通过实例说明在传统限界模型检测中,以路径长度作为判断检测过程终止的标准已经失效,基于数值计算中牛顿迭代法的终止准则,设计了新的… …   相似文献

周从华  刘志锋  王昌达 《软件学报》2012,23(7):1656-1668

支持快速恢复的可逆递进网格及其生成方法

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

递进网格是一种有效的连续多细节层次模型的表现方式.该文提出了一种新的递进网格模型, 具有无二义性、恢复速度快和支持多种类型的网格等特点.文章还给出了支持这种网格模型 的网格简化处理方法.  相似文献

陶志良  潘志庚  石教英 《软件学报》1999,10(5):503-507

基于图模型的医学图像聚类算法

下载全文  

医学图像聚类算法的研究是面向特殊领域图像挖掘的重要组成部分,由于存在很多技术和特定领域方面的问题,使得这个方向的研究非常具有挑战性.已有的聚类算法对数据对象的形状和密度有要求,应用到医学图像聚类方面不能取得很好的结果.针对以上问题,在领域知识指导下,首先对图像进行了纹理检测,提出… …   相似文献

潘海为  谷井子  韩启龙  谢晓芹  张志强  荣晶施 《软件学报》2013,24(S2):178-187

一种基于ASP的动态用户权限管理解决方案*

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

以医院网上医疗管理信息系统的研究和开发为背景,针对专家答疑系统的安全问题,对B/S模式下系统用户权限管理的需求进行了分析,采用结构化方法和基于角色的安全管理策略进行了系统功能和业务流程的设计,并采用ASP等技术实现了系统用户权限的动态管理。  相似文献

吴应良  汪闯 《计算机应用研究》2005,22(2):115-117

词义归纳综述

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

对于很多自然语言处理任务,如机器翻译、信息检索等,使用词义来进行相关表征其效果要比单纯使用词语的好得多。由于词义消歧需要大量标注语料、存在词义缺失等问题,词义归纳受到越来越多的关注。介绍了近年来词义归纳的一些相关工作和发展,并从词义归纳概述、相关技术、评估方法这3个方面进行了详述… …   相似文献

孙玉霞  曲维光  狄颖  周俊生 《计算机科学》2014,41(2):23-32,48

高光谱图像低秩表达与噪声水平估计

下载全文  

目的 高光谱遥感图像常存在多种不同程度的退化,进而影响到后续的应用,因此,对高光谱图像进行噪声水平估计具有重要意义。在实际情况中,不同波段的图像噪声水平常有所差异,需要针对不同谱通道的特性差异进行噪声估计。因此,本文提出一种基于低秩表达的噪声水平估计算法。方法 该算法首先利用多波段图像间的光谱相关性,建立高光谱数据的低秩表达模型;再通过该模型对各波段的噪声及其水平进行估计,并根据需要检测并剔除被噪声淹没的无效波段。结果 在多组高光谱数据上进行模拟和真实实验,证明本文算法能够准确估计高光谱图像的谱通道噪声水平。结论 本文算法挖掘了低秩表达在高光谱应用中的特性,在利用波段间相关性进行全局处理的同时,也能保留波段间的差异,具有较强的鲁棒性;在合适的阈值范围内,无效波段的漏检率低至0,准确率高于80%。… …   相似文献

唐中奇  付光远  赵晓林  陈进  张利 《中国图象图形学报》2016,21(7):942-950

基于内容的图像检索系统性能评价

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

在图像检索需求多元化和专业化的推动下,CBIR技术日趋成熟,目前已有越来越多的商用和科研系统相继推出。这样就迫切需要展开对CBIR系统性能评价标准的研究,因为任何一项技术都是由该领域中相应的评价标准来推动的。为了使人们对这方面的现状动态有一概略了解,首先讨论了基于内容的图像检索评… …   相似文献

韦娜  耿国华  周明全 《中国图象图形学报》2004,9(11):1271-1276

支持软件开发的可执行定义方法

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

本文分析了软件开发过程中的可执行定义方法及其与软件开发的关系,并将作者提出的可招待定义方法论ＭＨＳＣ与现有方法论进行比较,论文表明可执行定义将在软件系统从定义开发到系统实现的进化式过程中起着关键的作用,有积极的研究意义。  相似文献

应晶  何志均  吴朝晖 《软件学报》1997,8(5):350-359

逻辑系统NMG 的满足性和紧致性

下载全文  

紧致性是模糊逻辑的一个重要性质.现已经证明?ukasiewicz 命题逻辑、G?del 命题逻辑、乘积命题逻辑和形式系统L^*都是紧的.通过刻画逻辑系统NMG 中的极大相容理论和证明NMG 的满足性,进而证明了NMG也是紧的.  相似文献

周红军  王国俊 《软件学报》2009,20(3):515-523

LogP模型上的最优播送与求和算法的实现

下载全文  

与以往的各种并行计算模型相比,LogP模型更真实、更全面地反映了大规模并行计算机MPC(massivelyparalelcomputers)的特征．鉴于目前见到的LogP模型上的算法都仅局限于给出设计思想,本文尝试用算法语言来描述LogP模型上的完整的可移植算法．文中针对单项播送与求和这2类基本问题,实现了它们在有任意参数的LogP模型上的最优算法,并对其时间复杂度进行了分析.本文研究得到国家863高科技项目基金资助.… …   相似文献

寿标  陈国良 《软件学报》1997,8(1):22-28

基于步态能量图像和2维主成分分析的步态识别方法

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

为了快速有效地进行步态识别,针对步态能量图像能够表征步态信息和2维主成分分析能快速降维的特点,提出了一种基于步态能量图像和2维主成分分析的步态识别方法.该方法首先应用背景减除法分割出人体轮廓;然后通过人体宽高比的相关信号确定运动周期,再对二值周期序列进行步态能量图像(GEI)合成… …   相似文献

王科俊  刘丽丽  贲晛烨  陈薇 《中国图象图形学报》2009,14(12):2503-2509

四叉树分块的高光谱图像分布式无损编码

下载全文  

目的 近年来随着光谱成像技术的快速发展,使得高光谱遥感图像能够提供更加丰富的地物信息,然而其所具有的极大数据量给图像的存储、传输和实用带来较大的困难。因此,如何对高光谱遥感图像进行有效编码成为研究热点。方法 基于陪集码的分布式信源编码因其具有良好的压缩性能和较低的编码复杂度而受到重视,在此基础上提出一种基于自适应四叉树分块的高光谱图像分布式无损编码方案。设每个高光谱帧组的第1帧为关键帧,其他帧为普通帧,首先对关键帧进行自适应四叉树分块,然后对每一块与普通帧相应的块进行最佳线性预测,进而根据预测残差确定所需传输的陪集码索引位数以及每个像素的k个最低比特位。结果 本文通过自适应四叉树分块,增强了所形成陪集码的自适应性。所提出的编码方案很好地实现了压缩效果和编码效率的折中。结论 提出的方案能够较好地适应低复杂度环境下对高光谱图像无损编码的需求。… …   相似文献

王相海  张智迪  宋传鸣 《中国图象图形学报》2015,20(8):1102-1109