期刊文章详细信息
文献类型:期刊文章
机构地区:[1]中山大学信息科学与技术学院,广州510275 [2]广东工业大学计算机学院,广州510006 [3]华南师范大学计算机学院,广州510631 [4]中山大学网络与信息技术中心,广州510275
基 金:国家自然科学基金(60970044;60673135;60736020)资助
年 份:2010
卷 号:37
期 号:12
起止页码:114-119
语 种:中文
收录情况:BDHX、BDHX2008、CSA、CSCD、CSCD2011_2012、IC、JST、RCCSE、UPD、ZGKJHX、核心刊
摘 要:时态的建模及演算是时态信息处理中的逻辑基本问题,从粒度思想出发,根据时态的粒度划分,研究了时态粒度的语义与性质。并基于时态粒度对时态原语进行刻画,进而基于代数系统分析了时态的粒度转换算子及不同粒度下的时态关系,构建了时态粒度关系的演算系统。
关 键 词:时态 粒度 时态演算
分 类 号:TP301]
参考文献:
正在载入数据...
二级参考文献:
正在载入数据...
耦合文献:
正在载入数据...
引证文献:
正在载入数据...
二级引证文献:
正在载入数据...
同被引文献:
正在载入数据...