一种描述逻辑与逻辑程序相结合的杂合系统DLclog

下载全文  

  相似文献

杨方凯  陈小平 《软件学报》2008,19(12):3100-3110

一种支持高效检索的双重索引策略*

下载全文  

从信息检索角度出发,提出一种高效的索引,在结构索引中集成了倒排文档,可同时查询XML结构部分和关键词.双重索引策略很好地解决了基于路径表达查询效率低的问题.  相似文献

唐恒娟  张云锋 《计算机应用研究》2007,24(11):63-64

基于随机点积图的图像标注改善算法

下载全文  

针对自动图像标注中底层特征和高层语义之间的鸿沟问题,提出一种基于随机点积图的图像标注改善算法。该算法首先采用图像底层特征对图像候选标注词建立语义关系图,然后利用随机点积图对其进行随机重构,从而挖掘出训练图像集中丢失的语义关系,最后采用重启式随机游走算法,实现图像标注改善。该算法结… …   相似文献

孙登第  罗斌  郭玉堂 《中国图象图形学报》2012,17(11):1400-1408

一种面向个人信息管理的Post-WIMP 用户界面模型

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

提出了一种面向个人信息管理(personal information management,简称PIM)的Post-WIMP界面模型(Post-WIMP PIM interface model,简称PWPIM).首先给出了PWPIM的形式化描述,从5个方面对个人信息管理进行建模,… …   相似文献

陈明炫  任磊  田丰  邓昌智  戴国忠 《软件学报》2011,22(5):1082-1096

证据论与约集论

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

约集论用于处理模糊性与不确定性.在某些方面,它同Dempster-Shafer的证据论相重迭,但约集论使用分划来描述约集、下界近似及上界近似,从而获取知识表示中的不确定性,而证据论使用证据函数来实现同一目的.该文针对两个理论表述上的差异,揭示出其内在的关系,以有助于人们对两者的理… …   相似文献

苏运霖  管纪文  David A.Bell 《软件学报》1999,10(3):277-282

基于可信度的辩论模型及争议评价算法

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

辩论是智能主体间为了消除分歧的一种基于言语的交互行为.由于知识的局限性,争议以及争议内部的陈述通常存在不确定性,因此在对辩论进行建模时需要考虑不确定信息处理问题.提出一种基于可信度的辩论模型（CFA）,该模型将争议表示为由若干前提和一个结论组成的可废止规则,并用对话树描述辩论推演… …   相似文献

熊才权  欧阳勇  梅清 《软件学报》2014,25(6):1225-1238

工作流活动多实例的调度控制

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

支持多实例的工作流管理系统为工作流过程处理带来极大的灵活性,活动多实例要解决的主要问题之一是多实例的调度控制.在分析了多实例的分配和汇聚等问题之后,针对过程中活动间不同活动语义的上下文,对活动多实例的活动属性进行了统一的形式描述,提出了活动多实例控制体Shell,用于控制活动多实… …   相似文献

孙瑞志  史美林 《软件学报》2005,16(3):400-406

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

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

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

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

任意方向运动模糊的消除

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

对运动模糊图象的恢复而言,虽然维纳滤波法可解决反滤波法中Ｈ（ｕ,ｖ）零点的噪声的放大问题,但无法消除由于模糊罗象信息的不完整性而造成的边缘误差,该文所述的带最优窗的纳滤波方法却可有效地去除噪声和减小边缘误差,除了边缘的Ｌ－形条带外,可得到近平完美的恢复效果,通过对女孩和大狒狒头模… …   相似文献

王晓红  赵荣椿 《中国图象图形学报》2000,5(6):525-529

云存储中基于SKP-ABE的访问控制方法

  

针对云存储中的密文访问控制,提出一种基于SKP-ABE的高效访问控制方法EACS。该方法在保持密文信息保密的前提下,将部分私钥组件和相关密文组件的重加密过程转移到云端,以大大降低数据属主的计算代价;并结合RMIA进行用户权限撤销,以实现高效、灵活的密文访问控制。  相似文献

刘鸿  李谢华  杨波 《计算机科学》2013,40(8):38-42

全国矿产储量数据库系统

下载全文  

一、系统组成全国矿产储量数据库系统是一个由全国和省两级库组成的大型综合性地质矿产储量信息管理系统,是国家经济信息系统国家级数据库群之一。系统采用中心主机与省（市、区）微机相结合的体系结构。是一个逻辑上统一集中,物理上分散的部、省二级系统。系统总体结构和组成概貌详见图1和图人图I全… …   相似文献

夏荣富  杨庆第  周桅  姜必行 《计算机系统应用》1994,3(7):8-11

目标不同视角下观察信息的迁移和再利用

下载全文  

基于视觉信息的目标检测和识别模型在训练时往往依赖于来自于训练样本的视角信息,然而附带了视角信息的训练样本通常只有很少的数据库可以提供。当此类信息缺失时,传统的通用目标检测系统通常通过一些非监督学习方法来对样本的视角信息进行粗略估计。本文改进并引入了一种选择性迁移学习方法即Tran… …   相似文献

张索非  吴海洋  吴镇扬 《中国图象图形学报》2013,18(10):1302-1306

时态数据的变粒度分段存储策略及其效益分析

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

根据时态数据库用户对数据厚今薄古的需求特点,该文提出变粒度分段存储技术,将一个对象的历史分为3个时期,分介质、变粒度存储.文章讨论了分段存储的特殊数据结构、时代转移算法和压缩采样算法.基于微机实用参数的定量分析表明,这一技术将时态存储密度和时态查询速度提高了一个数量级.… …   相似文献

唐常杰  于中华  游志胜  张天庆  相利民 《软件学报》1999,10(10):1085-1090

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

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

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

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

γ演算到Action演算的转换

下载全文  

Action演算簇(action calculi)作为描述不同并发交互行为的数学框架,可以表示一大类具有某些相同特性的并发形式化模型.试图把(演算(一种基于约束的高阶并发计算模)也包含在action演算簇的框架下.首先定义了一个具体的action演算AC(K_γ),然后给出了从(演算到AC(K_γ)转换的形式描述,最后在定义AC(K_γ)的可观察性、弱互模拟关系和弱等价关系的基础上,以(演算为中间表示,证明了这种转换保持了(演算的弱行为等价性.研究表明,action演算簇可以表示基于约束的并发模型,从而充分说明了action演算簇的描述能力,并且为在action演算簇框架下把(演算与其他并发模型结合并进行比较提供了前提.… …   相似文献

金英  金成植 《软件学报》2003,14(1):16-22

基于代价的闪存数据库缓冲区置换算法

下载全文  

提出一种基于闪存硬盘(solid state disk,简称SSD)的自适应缓冲区管理算法CBLRU,其将数据页的置换代价与其驻留内存的影响相结合,为每个数据页附加一个权值,当发生页缺失问题时,选择具有最小权值的数据页进行置换,从而可以在延长修改页驻留缓冲区的同时,避免某些修改页… …   相似文献

汤显  孟小峰  梁智超  卢泽萍 《软件学报》2011,22(12):2951-2964

一种利用模块内聚性的对象抽取方法

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

引入子程序-类型关系图来表示程序中类型和子程序之间的关系,讨论了模块内聚性的几个度量准则,并分析了增删子程序对模块内聚度的影响.在此基础上,给出了基于模块内聚性的对象抽取算法.  相似文献

周毓明  徐宝文 《软件学报》2000,11(4):557-562

多方向模板变分模型的单幅图像超分辨率重建

下载全文  

目的 为了增强图像超分辨率重建的准确性,克服传统插值所产生的边缘模糊与边缘锯齿等负面效果,提出一种基于多方向模板变分模型的单幅图像超分辨率重建方法。方法 首先构建体现28个方向的多方向模板对输入图像的轮廓方向进行计算,同时通过将TV模型引入到图像轮廓的估计中来确定边缘轮廓的最优方向;在此基础上通过进行基于所提出的多方向模板的图像插值来实现图像的超分辨率重建。结果 对比基于活动轮廓的图像边缘插值方法重建的经典高分辨率测试图像,本文方法在平均峰值信噪比和平均结构相似度方面分别提高了1.578 dB和 0.030 02 dB。结论 本文方法可以有效地克服传统插值方法所产生的边缘模糊和边缘锯齿化等负面效果,也避免了较少方向模板所带来的边缘和纹理丰富区域的纹理失真现象,可以取得较好的重建效果。… …   相似文献

王相海  毕晓昀  傅博  陶兢喆 《中国图象图形学报》2016,21(8):977-985

评价函数驱动的抖动模式的研究

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

图象处理中的抖动模式问题是彩色图象打印输出的一个关键问题.提出由评价函数驱动的模式抖动方式,并利用模拟退火算法加以实现,在此基础上,提出了几种影响抖动模式的评价函数.实验结果表明该方法优于Jarvis抖动处理.  相似文献

郭茂祖  陈彬  王晓龙 《软件学报》1998,9(5):383-389

模糊马尔可夫随机场理论在阴影检测中的应用

下载全文  

阴影的检测是目标检测、目标跟踪、视频监控等领域的一个关键问题。提出了一种基于模糊马尔可夫随机场的阴影检测算法。该算法把阴影检测问题看做是一个求最优化的像素点分类问题。对于输入的视频,提取背景图像,找出阴影和前景目标物体区域。通过计算阴影概率分布,前景概率分布,隶属度函数,建立模糊… …   相似文献

柏柯嘉  刘伟铭 《中国图象图形学报》2010,15(3):409-416