N_L:松弛时序逻辑自然推理系统

下载全文  

由于时序逻辑的特性所在,经典逻辑的某些规则不能直接用于时序自然推理,虽然N系统给出了一个解决办法——把所有规则或推理分为两类:垂直型和水平型,但这种二维模式又为推理带来了某些困难。本文提出了N_L松弛时序逻辑自然推理系统,它为以上两类推理提供了统一视角,我们可以证明:N_L与N等价;有N的证明则必有长度不超过它的N_L证明。… …   相似文献

何锫  唐稚松 《软件学报》1993,4(4):51-55

放射投影直方图的构建及结构化公路AOI提取算法研究

下载全文  

为了缩小车辆识别AOI,降低对本车状态的要求和行驶方向上车辆识别的难度,提升车辆识别算法的鲁棒性,提出一种基于放射投影直方图的结构化公路车道线提取方法,建立了投影点选择评价模型及车道线区域角度划分模型。实验结果表明,本方法适用于直车道线和具有一定曲率的弯道线检测,对车辆的行驶方向… …   相似文献

李钢  凌军  张仁斌 《中国图象图形学报》2011,16(2):250-257

主观评价JPEG与JPEG2000标准的彩色图像最佳压缩比的实验研究

下载全文  

研究压缩图像在显示器上质量主观评价方法,为实现Internet上图像质量主观评价奠定基础。研究包括显示器设置问题;在彩色电视图像质量主观评价ITU-BT500-11标准的基础上,提出静态压缩图像评价指标;收集了标准彩色测试图像并建立图像库。最后使用JPEG与JPEG2000两种… …   相似文献

李琼  石俊生  毛小群 《中国图象图形学报》2010,15(7):1042-1046

新网络体系结构-Web Services研究综述

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

Web服务作为一种新型的松耦合分布式计算范式而成为目前业界研究的热点。本文从分布式计算、Grid计算和XML等技术发展融合的角度提出Web服务是分布式技术发展的第四个阶段,并将它与前三个阶段的技术特点进行了综合比较。提出了一种Web Services新架构模型：RSRPM模型,在… …   相似文献

饶元  冯博琴 《计算机科学》2004,31(5):1-4

PTZ自主跟踪中的全景视频生成

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

提出了一种在单PTZ摄像机自主跟踪过程中生成全景视频的方法。该方法在自主跟踪目标的同时,生成目标在大场景上运动的全景视频,可应用于PTZ摄像机监控场所。该方法将全景视频看作全景背景图像和当前目标图像的叠加：首先利用Mean Shift跟踪方法逐帧获取目标区域图像并保存;然后利用相… …   相似文献

周金广  黄磊  刘昌平 《中国图象图形学报》2011,16(1):110-117

基于张量分解的药品个性化推荐

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

在当前网购越来越流行的趋势下,网上买药也给很多病人带来了极大的便利.但是普通人在网上购买药品时普遍存在盲目购药、无法获得买药指导的问题,针对这一问题,提出首先根据药品的功能描述信息进行聚类,设计了基于用户相似度的协同过滤药品推荐算法;然后针对该算法的冷启动以及数据稀疏性等问题提出… …   相似文献

王龙  王嘉伦  程转丽  李然  张引 《计算机科学》2015,42(5):225-229

基于Web服务和信息检索技术的信息整合方案及其应用

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

从国内企业信息管理存在的问题入手,针对数据分散,信息利用效率低下等问题,提出了基于XML网络服务和Office信息检索技术的一个解决方案,并结合微软员工信息系统（MEIS）的系统设计实例,介绍了如何利用网络服务和信息检索解决实际问题。  相似文献

张晓东 《计算机应用研究》2006,23(3):189-192

一种适用于大容量Flash存储系统的管理方案

  

针对嵌入式系统中大容量存储设备及其管理方面的需求,分析了传统的固定单元管理方式的弊端,提出了一种针对大容量Flash存储系统的灵活的管理方案。该方案通过实际访问量来动态地管理Flash,提高了操作效率,同时也减少了资源占用,保证了系统的性能。  相似文献

刘锐  李盘林  李秉智 《计算机应用研究》2006,23(2):87-88

复杂网络簇结构探测——基于随机游走的蚁群算法

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

网络簇结构是复杂网络最普遍和最重要的拓扑属性之一,网络聚类问题就是要找出给定网络中的所有类簇.有很多实际应用问题可被建模成网络聚类问题.尽管目前已有许多网络聚类方法被提出,但如何进一步提高聚类精度,特别是在没有先验知识(如网络簇个数)的情况下如何发现合理的网络簇结构,仍是一个未能… …   相似文献

金弟  杨博  刘杰  刘大有  何东晓 《软件学报》2012,23(3):451-464

利用薄板样条函数实现非刚图像匹配算法

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

提出了一种利用薄板样条函数实现非刚性图像匹配的新方法，该方法是将图像表示成由特征点构成的特征点集，利用薄板样条（TPS）能够将形变清楚为仿射分量和非仿射分量的独特性质，应用TPS函数来表征特征点集之间的非刚性映射，然后采用确定性退火技术，迭代求解点集之间的匹配矩阵和映射参数，与其… …   相似文献

孙冬梅  裘正定 《电子学报》2002,30(8):1104-1107

互联网社群图像标签排序研究进展

  

互联网社群图像标签排序是目前计算机视觉、机器学习等领域最热门的课题之一。图像标签序列的合理性直接影响到图像检索等应用的效果。目前图像标签排序的方法多种多样,根据标签排序方法的不同将其划分为基于语义相关度与基于视觉显著性的标签排序,着重介绍了两类方法的典型标签排序方法,分析其各自的… …   相似文献

吴焰樟  刘宏哲  冯松鹤  袁家政  张静怡 《计算机科学》2015,42(8):22-27, 35

网络环境下动态分布内容的自组织语义整合框架

下载全文  

随着网络和多媒体技术的发展,新型网络技术不断出现,并通过互联网络不断融合,使得网络更加泛在化、开放和动态化.目前,网络中动态分布的内容爆炸式增长与用户个性化需求之间的矛盾也日益突出.因此,基于开放的网络环境下海量的内容,如何提供个性化、智能的内容服务,已成为研究界和工业界共同关注… …   相似文献

廖祝华  张国清  杨景  边建功  易爱平 《软件学报》2013,24(12):2871-2882

结合信源特性与网络拥塞控制的可靠性视频传输算法

下载全文  

提出了一种用于在无线网络中传输视频的结合信源特性及网络拥塞控制的鲁棒性算法.通过场景建模以及特性分析,将分级编码产生的所有码流层划分成不同的类型,并根据它们对网络拥塞控制的贡献以及对重建图像质量的贡献不同,将其分成两个不同的队列.系统根据不同的网络丢包状态(即丢包是由网络拥塞引起还是由无线信道的不可靠传输引起)动态地调整信源速率、不等错误保护强度以及拥塞控制策略.仿真结果表明,该方法与MPEG-4信源编码加固定速率Turbo码方法以及动态调整信源、信道编码速率加选择性丢I,B,P包的网络拥塞控制方法相比,能够提供更好的性能.… …   相似文献

肖嵩  吴成柯  周有喜  杜建超 《软件学报》2007,18(11):2882-2892

一种云存储环境下的安全网盘系统

下载全文  

随着云存储的迅速推广,有越来越多的用户开始使用网盘系统存放数据.然而,最新的研究结果却表明：现有网盘系统普遍存在着安全漏洞.近年来,网盘泄漏用户数据的事件更是印证了这些漏洞的存在.为此,提出一种云存储环境下的安全网盘系统架构,并在此架构上设计实现了CorsBox 系统.CorsB… …   相似文献

傅颖勋  罗圣美  舒继武 《软件学报》2014,25(8):1831-1843

快速收敛的四边形网格三分细分模式

下载全文  

提出了四边形网格的三分细分模式.对于正则和非正则四边形网格,分别采用不同的细分模板获得新的细分顶点.从双三次B样条中推导出正则四边形网格的三分细分模板,极限曲面C²连续;对细分矩阵进行傅里叶变换,推导出非正则四边形网格的三分细分模板,极限曲面C¹连续.提出的三分细分模式可以解决任意拓扑四边形网格的曲面细分问题.与其他细分模式相比,具有收敛速度快、适用范围广等优点.最后给出了四边形网格细分的实例.… …   相似文献

刘丽  张彩明  杨兴强  伯彭波 《软件学报》2007,18(9):2346-2355

基于GIS语义的遥感图像检索

下载全文  

语义图像检索为填补图像低层视觉特征和用户高层语义之间的鸿沟而产生,图像语义描述和提取是其关键。提出了一种基于G IS语义的遥感图像检索(G IS sem antics-based remote sensing im age retrieval,简称G ISSB IR)方法,主要涉… …   相似文献

陆丽珍 《中国图象图形学报》2005,10(10):1207-1211

面向智能CAD的分层构造自动型方法

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

本文着重对由抽象符号转化成具体形体的技术作了研究,提出了分层构造的自动造型方法．它支持直接由抽象的设计方案自动生成设计结果的三维表示,因而更适合于以辅助方案设计为核心的智能ＣＡＤ系统．一个基于该自动造型方法的椅子智能ＣＡＤ实验系统已在浙江大学人工智能研究所投入运行．  相似文献

潘云鹤  耿卫东  童欣 《软件学报》1996,7(5):280-285

基于数据链的软件故障定位方法

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

软件中存在的故障很多与数据流紧密相关,对数据流故障定位是一个具有相当难度的研究问题.通过分析变量的定义-使用关系和变量间的依赖关系,并跟踪程序运行时各种操作对变量值的影响,即,变量操作状态的变化等基本信息,提出了一种综合考虑变量操作状态变化以及变量操作状态间依赖关系的数据链模型,… …   相似文献

杨波  吴际  刘超 《软件学报》2015,26(2):254-268

基于定量定性互信息的多层次特征图像匹配算法

下载全文  

针对传统基于互信息图像匹配算法计算量大,且没有考虑像素空间关系和效用的问题,提出了一种基于定量定性互信息的多层次特征图像匹配算法：首先对边缘提取后的图像提取多层次特征,即边缘兴趣点、边缘点和边缘邻域点特征;然后基于不同特征点特性,计算定量定性互信息联合效用;最后在遗传算法框架下,… …   相似文献

杨猛  潘泉  张绍武  朱英  赵春晖  程咏梅 《中国图象图形学报》2010,15(9):1376-1383

有限自动机研究的矩阵模型方法

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

1 引言随着现代科学技术的发展,有限自动机已成为许多学科的重要的理论和应用基础。然而近年来有限自动机理论发展缓慢,不能适应这些学科发展的需要。为了促进有限自动机研究的发展,本文中给出了矩阵模型方法。早在50年代,受图论研究的影响。人们就考虑过试图采用矩阵工具研究有限自动机,80年… …   相似文献

朱征宇  朱庆生 《计算机科学》2001,28(4):46-48