论文部分内容阅读
时态的建模及演算是时态信息处理中的逻辑基本问题,从粒度思想出发,根据时态的粒度划分,研究了时态粒度的语义与性质。并基于时态粒度对时态原语进行刻画,进而基于代数系统分析了时态的粒度转换算子及不同粒度下的时态关系,构建了时态粒度关系的演算系统。
时态的粒度刻画及演算问题研究
【摘 要】
：
时态的建模及演算是时态信息处理中的逻辑基本问题,从粒度思想出发,根据时态的粒度划分,研究了时态粒度的语义与性质。并基于时态粒度对时态原语进行刻画,进而基于代数系统分
【机 构】
：
中山大学信息科学与技术学院,广东工业大学计算机学院,华南师范大学计算机学院,中山大学网络与信息技术中心
【出 处】
：
计算机科学
【发表日期】
：
2010年12期
【基金项目】
：
国家自然科学基金（60970044 60673135 60736020）资助
其他文献
基于离散事件仿真平台si mJava的网格建模和仿真工具GirdSi m提供了大量用于仿真分布式系统的基础类。但是使用该工具进行仿真并不简单。除了编制大量代码之外,初学者还需要
词语-概念映射是基于本体的语义检索的重要一环,对语义检索的查准率及查全率有很大的影响。在传统的基于关键词匹配的方法中,通常从词语-概念的共现程度来计算它们的相关度,
针对计算机图形学中雪场景的真实感渲染的难题,提出了一种实时绘制高真实感雪景的方法。首先采用类衰减正弦函数模拟雪花运动轨迹,在保证真实性的同时大大提高其实时性;然后基于温度变化与不同地表类型影响,提出了实时积雪-融雪模型,通过计算无损失的热传递积雪方程,提高了交互积雪场景动态渲染的真实性;最后采用GPU图形硬件加速技术提高了整个过程的计算效率,绘制效果逼真。
在多数现有图像标注图像库中,关键字只标注在图像级而非区域级,使有监督学习方法在图像标注中难以应用。基于量子粒子群优化算法(quantum-behaved particle swarm optimization,QPSO)提出了一种新的多示例学习(multi-instance learning,MIL)算法——QPSO-MIL算法,在多示例学习的框架下将基于区域的图像标注问题描述成一个有监督的学习问
为了保证Web应用的质量和可靠性,Web应用软件测试受到了人们越来越多的重视。有效的Web应用软件的测试依赖于对其进行充分的分析和理解,掌握其内部的控制流和数据流信息,构建
多参考帧和分数运动补偿技术虽然提高了视频编码性能，但同时也使编码器的内存消耗和计算复杂度成倍地增加。其主要原因是多参考帧技术令会运动估计重复地应用在每个参考帧上。
目的探讨Epo/Epo-R在非小细胞肺癌中的表达和肿瘤微血管密度（MVD）关系及意义。方法收集武汉大学人民医院病理科2008-2010年非小细胞肺癌存档蜡块40例（男28例,女12例）,采用免疫组
图像复原过程中图像的主观视觉质量与图像的局部细节信息之间密切相关。针对散焦模糊图像，提出一种新的图像复原方法。所提方法在传统双边总变分正则化方法基础上，通过引入一种