一个带量词的context逻辑及其限制推理

下载全文  

本文定义了一个新的context逻辑——QLC（quantificationallogicofcontext）,它能反映context的更多的逻辑性质．文中还讨论了含等词的QLC以及当领域公理相关不同context序列时的推理,并引入了McCarthy的限制理论.  相似文献

刘海燕  陈火旺  王兵山 《软件学报》1997,8(10):781-787

SEA算法的有效实现

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

选取安全椭圆曲线的核心步骤是对椭圆曲线阶的计算.SEA(Schoof Elkies Atkin)算法是计算椭圆曲线阶的有效算法,同种圈(isogeny cycles)方法是Morain对SEA算法改善的一种重要局部优化技术.在实现了F_p上SEA算法的前提下,对同种圈方法作了进一步改进,就SEA算法中各方法的综合运用提出一种方案,并且对用SEA算法选取素数阶和拟素数阶椭圆曲线速度上的优化作了一些讨论,所获得的一些速度指标和国际公开资料上的指标有可比性.… …   相似文献

祝跃飞  顾纯祥  裴定一 《软件学报》2002,13(6):1155-1161

简单双正交C9／7小波的提升构造

下载全文  

针对CDF9/7等小波的缺陷,灵活运用双正交对称滤波器的规一化和消失矩性质以及9/7小波的提升结构,构造了一组包含两个自由变量的9/7提升小波族。该小波族通过选取合适的自由变量值,得到了提升系数和滤波器系数都非常简洁,而且构造了部分系数分母为2的幂次方的C9/7系列小波,并结合滤… …   相似文献

曹艳  王典洪  彭玉成 《中国图象图形学报》2007,12(7):1201-1205

考虑失效恢复的组合服务性能建模与分析

下载全文  

互联网环境下运行的组合服务易受到资源故障和组件失效影响而导致失效.已有的失效恢复措施在提高服务可用性的同时也会对服务的性能产生负面影响.为了对失效可恢复情况下的组合服务性能进行量化,通过综合组合服务失效类型和恢复策略,给出一种考虑失效恢复的组合服务性能分析模型.采用排队Petri… …   相似文献

顾军  罗军舟  曹玖新  李伟 《软件学报》2013,24(4):696-714

非线性视域插值

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

提出了一种新的基于图象的绘制技术.与线性视域插值方法不同,此方法能准确地模拟出漫游过程中的透视变换效果.为了加速视域插值算法,采用二叉剖分方法来优化源图象的分解,从而大大减少了分解后块图象的数目.对生成的中间画面上的黑洞,此方法分两个步骤来填充.算法首先根据深度信息来决定是否需要… …   相似文献

鲍虎军  陈莉  王章野  彭群生 《软件学报》1998,9(9):690-695

青鸟Ⅱ型系统面向对象语言CASEC＋＋的设计和实现

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

ＣＡＳＥＣ＋＋语言是面向对象的ＣＡＳＥ环境青鸟Ⅱ型系统中设计、实现的一个与Ｃ＋＋完全兼容并支持永久对象的面向对象程序设计语言．在青鸟Ⅱ型系统中,它是对象管理系统ＯＭＳ（ｏｂｊｅｃｔｍａｎａｇｅｍｅｎｔｓｙｓｔｅｍ）的操纵语言和所有集成工具的编程语言,同时也是支持最终用户的通用的编… …   相似文献

邵维忠  袁曙涛  杨芙清 《软件学报》1996,7(1):1-8

视频点播服务器中服务策略的研究^*

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

研讨了同时为多个点播用户服务的轮转服务策略和比例服务策略,并提出了VOD(video-on-demand)服务器在不破坏各路点播流实时播放率的前提下,应用这些服务策略的方法.  相似文献

刘衡竹  陈旭灿  陈福接 《软件学报》1999,10(1):13-18

基于类型理论的递旧元程序设计

下载全文  

本文提出在ＬＦ类型理论中定义一组相互递归类型的方法,并对递归类型赋予操作语义．这样,递归类型不仅可以表示通常的递归数据结构,还可描述一般的递归问题求解、递归证明构造和递归程序构造过程．  相似文献

谭庆平  陈火旺 《软件学报》1994,5(8):30-36

基于步态序列图像的身份确认

下载全文  

为了利用HMM抽取的步态序列的动态特征来进行身份确认,首先提出一种改进的角度向量用来表征二值化的步态序列图像,以便将每幅图像转化为1维向量,然后再以此作为特征向量,对每个人物建立并训练HMM模型,用于确定人物身份。这种改进的角度向量由于具有较强的抗噪性和方便的尺度伸缩性能,因此既… …   相似文献

李敬文  郭立  刘俊  刘昌进 《中国图象图形学报》2006,11(7):943-948

遥感图像融合的非采样Contourlet变换方法

下载全文  

有效地融合高分辨率全色遥感图像(PAN)和低分辨率多光谱图像(MS),均衡融合结果中的空间细节信息和光谱信息两项特征指标,是多源遥感图像融合技术的难点。为了提高融合后图像的质量,提出了一种基于非采样Contourlet变换(NSCT)的融合方法。由于\"非采样Contourlet… …   相似文献

马艳军  徐立中  汤敏  黄凤辰  马贞立 《中国图象图形学报》2008,13(11):2209-2216

基于监控视频图像的车辆测速

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

基于监控视频图像的车辆测速方法(视频测速)的工作原理,提出了一种视频测速的实现思路,指出了在间隔已知时间的视频帧图像中找到对应块是实现视频测速的关键和难点。对车灯的特征进行了分析,根据车灯区域的特征,提出了采用灰度差水平叠加投影的方法,构造可以代表其鼓形区域的函数,以其作为定位车… …   相似文献

童剑军  邹明福 《中国图象图形学报》2005,10(2):192-196

复小波域维纳滤波与偏微分扩散相结合的图像去噪方法

  

针对图像噪声的去除,提出了一种基于复数小波域上的多方向窗维纳滤波与偏微分方程保持边缘细节相结合的方法。针对小波域维纳滤波的方向性差,去噪后图像容易产生哑铃效应,该方法首先进行双树复数小波变换,集中6个方向上的图像信号能量,之后,再在该6个方向上进行方向维纳滤波,对图像进行初步去噪… …   相似文献

张曈  朱虹  张然  沈憧  杨向波 《中国图象图形学报》2009,14(5):848-852

复杂环境光源下虚实融合光照实时计算

下载全文  

在互动电子游戏、增强现实等对实时计算要求很高的交互式图形应用中,大量使用复杂环境光源对虚拟物体进行照明,使其和真实场景的光照一致,虚实融合.提出了用Cook Torrance光照模型进行虚实场景的光照计算;利用球面调和基函数的方法,实时地计算高动态范围环境映射光照系数,得到高动态… …   相似文献

王贞东  马小虎  潘志庚 《中国图象图形学报》2009,14(10):2118-2121

智能数据库工具技术

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

本文详细介绍了一个智能数据库支持工具FoxPert的设计与实现技术.该工具立足于主流数据库系统,采用一种增强的松耦合结构实现了FoxPro,Oracle与知识表示语言CLIPS(C language integrated production system)的无缝连接.它在体系结… …   相似文献

邓铁清  杨文婷  何久田  周堤基 《软件学报》1998,9(4):276-279

脉动阵列的自动综合—FP方法

下载全文  

本文将FP代数,重写理论与脉动阵列(Systolic Arrays)的设计结合起来,研究了脉动阵列的形式化设计和自动综合的问题。文章中提出的FP/B并发计算型,不但可表示某一类FP/B递归方程的展开式解,而且可以用来等价地对算法进行重新描述,从而开发了计算的并行性和流水线性,获得… …   相似文献

夏心杰  孙永强  胡振江 《软件学报》1992,3(3):1-8

约束优化进化算法综述

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

约束优化进化算法主要研究如何利用进化计算方法求解约束优化问题,是进化计算领城的一个重要研究课题.约束优化问题求解存在约束区域离散、等式约束、非线性约束等挑战,其问题的本质是如何处理可行解与不可行解的关系才能使得算法更高效.本文首先介绍了约束优化问题的定义,然后系统地分析了目前存在… …   相似文献

李智勇  黄滔  陈少淼  李仁发 《软件学报》2017,28(6):1529-1546

数据仓库中时态视图的维护

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

数据仓库的一个重要用途是利用时态视图向用户提供历史信息.因为在传统关系数据模型中增加了对时间的支持,而且时态视图的更新不仅来自于基表更新,还包括时间前进,所以,目前对非时态视图维护的研究成果不适用于时态视图,并且已有的一些时态视图维护算法也不适用于数据仓库.以历史关系模式为对象,… …   相似文献

李琪  白英彩 《软件学报》2002,13(7):1324-1330

完美球本质--论分布系统软件开发技术

下载全文  

软件开发实践中存在的隐合成分和无法回避的\"不够完美\",就是现实软件开发项目中的无法控制或未知部分,这违反现存的大部分软件开发方法的基础,如一致性.完美球却是基于二重性,把微观世界的一些成分和复杂系统相映射.这是探索先进的西方科学技术和古代东方哲学的产物.分析由\"陈述\",\… …   相似文献

周之英 《软件学报》2005,16(12):2166-2171

Coons型分形曲面的生成方法

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

将传统计算几何中的网函数插值方法与分形插值函数理论相结合,给出生成分形Coons型曲面的一种新方法.  相似文献

张廷杰  邱佩璋  李海涛 《软件学报》1998,9(9):709-712

三维矩形块布局的序列三元组编码方法

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

解空间的序列对编码方法是解二维矩形体聚块布局问题的完整且有限(P-admissible)的编码方法.它产生于直观的分划过程(gridding procedure).受二维序列对编码方法的启示,对三维矩形聚块布局问题,也应该存在序列三元组编码方法.然而将直观分划过程直接推广到三维空… …   相似文献

陆一平  查建中 《软件学报》2002,13(11):2183-2187