【摘 要】
：
时态应用的需要是推动时态问题深入研究的动力,时态原语之间的运算是时态研究与应用中不可忽视的基本问题之一,对时态数据库、时态知识推理、时态数据挖掘等研究领域均有深远
【机 构】
：
广东工业大学计算机学院,中山大学信息科学与技术学院,华南师范大学计算机学院
论文部分内容阅读
时态应用的需要是推动时态问题深入研究的动力,时态原语之间的运算是时态研究与应用中不可忽视的基本问题之一,对时态数据库、时态知识推理、时态数据挖掘等研究领域均有深远的影响.由于时态原语进行加减运算后的结果可能为负时间因子,也可能溢出相应粒度下度的值,得出非规范的时态元素,从而影响其使用.为此,必须对非规范的时态原语进行规范化处理,使其成为规范时态原语.文章对时态粒度的度、象与转换等进行了刻画,描述了时态粒度约束与性质.在此基础上,深入地探讨了时态原语的规范化处理问题,提出了时态粒点的规范化处理算法,并将该算法应用于公历系统中典型的非规范时态原语的取值情形.
其他文献
目的 揭示不同来源的鼠疫活疫苗株在基因组组成上的差异。方法 以芯片比较基因组杂交为主要研究手段 ,结合PCR验证 ,对 19株鼠疫活疫苗株进行比较基因组分析。结果 鼠疫活
应用层组播作为IP组播的替代方案,具有简单灵活、容易部署的优点,在分布式多媒体通信领域获得了广泛的应用.但其存在组播树稳定性的问题,发展受到了限制.该文提出一种双路径
当前信息网络正面临各种挑战,具有动态适应能力的可重构网络系统正成为人们关注的焦点.首先提出网络系统可重构性的概念,揭示了其鲁棒性、演化性和生存性的基本属性.通过建立
EPC信息服务是EPCglobal框架提供电子产品码信息管理的核心组件,储存着电子产品码对应的信息,是实现企业间信息共享的关键.提出一种EPC网络中的跨域认证协议,利用数字签名和消息认证码等技术,实现用户和EPC信息服务之间的双向认证和密钥协商,防止未授权用户查询EPC信息服务以及伪造的EPC信息服务向用户提供虚假信息.利用Canetti-Krawc-zyk模型对协议的安全性进行了详细的分析,分析
针对IEEE 802.16m提出的新的休眠模式,为了定量刻画系统参数对系统性能的影响、优化设计系统参数,将有数据传输的扩展监听窗口抽象为忙期,无数据传输的监听窗口及之后的休眠
在分析研究已有封装存储方案的基础上,结合可信计算组织(TCG)对平台配置寄存器(PCR)的定义,提出一种可信平台属性的表示方法,该方法可以较全面地刻划一个可信平台的特征,便于
基于多输入多输出-正交频分复用(MIMO-OFDM)无线系统,以H∞滤波理论为基础,提出一种新的MIMO-OFDM时变信道估计算法.依据H∞滤波原理,首先建立起一个线性的动态系统,系统输入
闪存的擦后写特性,使其对小粒度随机更新为主的数据库应用,存在较大的更新时延.基于块内日志的存储管理模型提出了一种使用日志的方法,有效地解决了该问题.但是由于没有考虑
近年来,Skyline查询在多目标决策、数据挖掘、数据库可视化等方面得到广泛应用.然而在高维空间环境下,skyline查询因为返回的结果集过大而不能提供有用的信息.因此,学术界提
通过实证分析网络舆情演化的无标度特性，将网络舆情演化分成两个阶段：观点形成阶段和观点交互阶段．构建BA’模型，提出无标度特性下的观点形成算法；结合作者前期研究成果迁移元胞自