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

  

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

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

基于模糊熵和RPCL的彩色图像聚类分割

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

提出了一种基于模糊熵和RPCL(rival penalized competitive learn ing)的彩色图像聚类分割算法。该算法可以自动确定图像的颜色类数目和初始类中心,从而提高了聚类的收敛速度,并且能够解决模糊熵阈值化分割算法所造成的过度分割问题。首先,计算彩色图像各… …   相似文献

李桂芝  安成万  张永谦  涂序彦  谭民 《中国图象图形学报》2005,10(10):1264-1268

多媒体对象的Agent展示集成模型^*

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

根据多媒体对象的面向对象特点,给出了一种基于“事件-条件-动作”的Agent展示集成模型.该模型集对象的内容、时序、空间关系于一体,通过消息传递与对象展示状态事件控制对象展示集成的行为,保证了对象的封装性,并对用户的交互提供有力的支持,是一种动态集成模型.“事件-条件-动作”机制… …   相似文献

巩志国  周龙骧 《软件学报》1999,10(1):35-42

基于Web大数据挖掘的证券价格波动实时影响研究

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

随着Web大数据的发展,互联网中海量、快捷的信息为证券市场变化预测提供了丰富的数据支撑,如何利用大数据分析技术进行实时可靠的证券市场价格变化预测成为重要的科学问题.从证券市场价格变化的核心价值问题研究出发,分析了股票价值所反映的基本面要求,建立了影响股票价值内涵和价格表现的10项… …   相似文献

杨莎  余伟  李石君  曹晶晶  刘晶 《计算机科学》2015,42(4):166-171

Dual-Object: 面向对象的并行程序设计

下载全文  

面向对象的并行程序设计提供了类似于共享内存模型对通讯和计算的抽象能力,从而非常适合于大型并行软件系统的开发．但是基于远程对象调用的分布式对象的实现效率一直是面向对象方法在分布式／并行程序设计中得到广泛应用的障碍．本文介绍了并行机ＭＡＮＮＡ上所采用的面向对象的并行程序设计模型——Ｄ… …   相似文献

袁伟  孙永强 《软件学报》1998,9(1):47-52

一种新的基于区域和边界的图象分割方法

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

用分水岭方法进行图象分割时,容易造成图象的过度分割,从而使得物体的轮廓线掩埋在杂乱的分水岭线中,为了克服这种过度分割问题,提出了一种保持边界的非线性扩散方法,该方法就是先对图象进行平滑,在去噪声的同时,即减少了梯度图象中区域最小值的数目,而分水岭分割后的图象区域数目与它相同;然后… …   相似文献

杜啸晓  杨新  施鹏飞 《中国图象图形学报》2001,6(8):755-759

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

  

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

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

用于高光谱遥感图象分类的一种高阶神经网络算法

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

ＢＰ神经网络近年来广泛地应用于图象分类,但是它也有多层感知器神经网络的通病,即隐含层及其节点数问题,局部最小问题、训练速度问题等,为了从根本上解决这些问题,该文提出了一种高阶神经网络分类算法,这种高阶神经网络没有隐含层,从而也就没了隐含层及其节点数的问题;它的模式划分界面是 一… …   相似文献

熊桢  童庆禧  郑兰芬 《中国图象图形学报》2000,5(3):196-201

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

下载全文  

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

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

基于context模型的contourlet域图像去噪

  

在分析contourlet域系数分布特征的基础上提出了一种基于context模型的contourlet域图像去噪算法。算法的关键点在于:基于contourlet变换系数的分布特性,确定合适的去噪门限;利用context模型建立图像contourlet变换后的系数分类模型并根据分类… …   相似文献

刘镇弢  李涛  杜慧敏  韩俊刚 《计算机科学》2012,39(3):244-245