基于动态时序描述逻辑的动作理论

  

动态时序描述逻辑(DLTLDL)是一类描述逻辑的动态时序扩展。提出一种基于DLTLALCIO的动态域建模方法,利用该方法可构造出刻画动态域知识的DLTLALCIO理论,并解决动作推理中的框架问题和分支问题。动作推理问题,如动作可执行性和投影问题等,可归结为关于DLTLALCIO理… …   相似文献

孙永新  赵希顺 《计算机科学》2014,41(9):210-214,238

PROLOG—DBMS系统实现中的子句间优化技术

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

实用ＰＲＯＬＯＧ—ＤＢＭＳ系统实现中的首要问题是要保证系统的正确性．然而,从数据库中提取冗余数据不但严重地影响系统的效率,而且影响系统的正确性．本文所提出的子句间优化技术可以解决这一问题．因为采用这一技术可以保证仅从数据库中提取有用事实并且没有任何元组多于一次被提取．  相似文献

李磊  左万历  李希春 《软件学报》1995,6(3):136-141

全局各向异性四边形主导网格重建方法

下载全文  

四边形网格的结构特点要求网格单元满足全局一致性,难以取得网格质量与表达效率之间的平衡.为此,提出一种基于全局的各向异性四边形主导网格重建方法,可生成网格质量好且冗余程度低的四边形网格.重建过程以主曲率线为基本采样单元,首先计算模型表面的主曲率场并对主曲率场积分,得到密集的主曲率线… …   相似文献

朱为鹏  高成英  罗笑南 《软件学报》2012,23(5):1305-1314

第二代小波变换应用于图象的无损压缩编码

  总被引：7，自引：1，他引：6

第二代小波变换构造方法的特点是：①继承了第一代小波变换的多分辨率特性：②不依赖傅立叶变换;③小波变换后的系数是整数;④图象的恢复质量与变换时边界采用何种延拓方式无关,利用了“整数经过第二代小波变换后的系数仍为整数”的特性,将第二代小波变换用于图象的无损压缩编码,并和Ｈｕｆｆｍａｎ… …   相似文献

汤焱  莫玉龙 《中国图象图形学报》2000,5(8):699-702

一个无证书强指定验证者签名方案的安全性分析与改进

  

位置隐私泄露已经成为限制LBS应用普及的主要因素,而现有的位置隐私保护方法大都没有考虑移动用户所处的环境背景——道路网络。针对此问题,提出了一种基于路网环境的位置隐私保护方法,该方法主要包含3个部分:(1)利用Voronoi图原理构造路网V图,以满足用户路段多样性要求;(2)提出一种新的隐私模型——V_k-隐私模型,其兼顾匿名集内所有用户的隐私需求,并有效保证服务质量;(3)基于V_k-隐私模型提出一种新的位置匿名算法,它对同一V区内的多个用户进行共同匿名处理,以提高匿名效率和安全性。方法充分考虑了道路网络的结构特点,兼顾了用户的隐私需求与服务质量。通过理论分析论证了方法的抗推断攻击特性,并通过实验验证了方法的可行性。… …   相似文献

刘唐  汪小芬  丁雪峰 《计算机科学》2013,40(7):126-128,166

基于熵模型的压缩域运动对象检测

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

随着视频编解码技术的发展,H.264已成为最主要的标准之一。为了能从H.264码流中准确有效地分割和提取出运动对象,提出了一种压缩域下的对象检测算法。该算法主要利用压缩域下对象的运动矢量信息,先对矢量进行中值滤波预处理,目的是为了减少运动估计算法和对象实际运动所产生的误差。然后利… …   相似文献

徐剑峰  刘志  张兆杨 《中国图象图形学报》2007,12(10):1815-1818

信息过滤中基于二元近似关系分布的噪声屏蔽算法

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

针对信息过滤反馈中充斥噪声的缺陷,提出一种基于二元近似关系分布(distribution of two-dimension similarity,简称DTS)的过滤策略.DTS根据噪声和用户模型的相悖关系,为信息流建立二元近似关系模型.同时,根据信息在二维近似关系空间中的分布,采… …   相似文献

洪宇  张宇  郑伟  刘挺  李生 《软件学报》2008,19(11):2887-2898

产业链协同SaaS平台业务流程定制安全技术研究

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

针对产业链协同SaaS平台企业群以盟主企业为核心的业务流定制过程中的流程规则编排、存储/访问以及执行控制3个环节可能存在的安全隐患,建立了基于数字签名及业务实例关联的业务流程安全控制模型,对XML数字签名和验证模式、存储策略及模型执行策略进行了研究,提出了基于用户身份认证和业务实… …   相似文献

曹帅  王淑营 《计算机科学》2014,41(1):230-234

一种鲁棒型Hausdorff距离图像匹配方法

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

图像匹配是图像处理的一项关键技术,传统方法受光照、噪声和遮挡的影响,使匹配过程变得困难。为了提高图像匹配的鲁棒性,提出了一种基于方向信息的鲁棒型Hausdorff距离匹配方法。该方法采用方向信息提取图像边缘,通过计算边缘匹配率(edge matching rate,EMR)获得候… …   相似文献

孙瑾  顾宏斌  秦小麟  周娜 《中国图象图形学报》2008,13(4):761-767

基于表演的2维角色动画技术研究

下载全文  

鉴于基于表演的动画技术非常直观自然,因此特别适合新手以及非专业人员使用,已在近些年受到了重要关注。但是已有的基于表演的动画系统,或是需要特殊的交互设备,或是只适合于低自由度的物体的动画,比如刚体动画。针对这一问题,提出了一种新的基于表演的动画技术,并根据该技术开发了一个2维角色动… …   相似文献

余春龙  王丹力 《中国图象图形学报》2010,15(9):1285-1290