具有多时间粒度的时态数据库规范化问题研究

一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常,对于时态数据库也是如此,提出了时态初等函数依赖、时态初等关键字、时态初等主属性、时态简单关键字、时态简单主属性的概念,在此基础上利用具有多时间粒度的时态函数依赖(TFD)约束对时态数据库进行了规范化研究,提出了时态一范式、时态二范式、时态三范式、时态初等关键字范式、时态简单范式、时态Boyce-Code范式,并对它们的规范化程度的高低次序进行了证明。     

基于C-TRDM模型的Key-Time法与时间过滤算子

基于C-TRDM时态数据模型,利用传统的关系数据库来进行时态数据处理研究,提出一种修正关系数据表结构的“Key-Time”法和时间过滤算子的新概念,讨论了如何基于“Key-Time”法进行单表和多表之间的时间过滤操作,并结合实例给以说明．     

直觉模糊时态逻辑算子及其性质

将always，sometime，until，unless等时态算子引入到直觉模糊逻辑中，提出了直觉模糊时态逻辑系统，并研究了该系统中时态算子的一些性质．     

一个基于频繁项集的时态数据挖掘算法

研究了基于频繁项集的一个时态效据挖掘算法。首先，引进了基于频繁项集关联规则的概念，性质，然后，给出了基于时态约束关联规则的相关概念的定义和性质分析。最后，给出了在时态效据库中挖掘具有时态约束的最大频繁项集，并在此频繁项集生成时态关联规则的算法，由此导出了一种具有一定意义的时态关联规则挖掘方法，这种方法可以崩于商品销售。股票价格等问题的知识发现，最后讨论了该算法在股票效据分析上的一个应用。     

时态关系数据模型C-TRDM的研究

提出一种新的时态关系数据模型C-TRDM和基于该模型的时间过滤操作，并结合时态数据关系代数运算实例，说明它是完备的．     

时态数据采掘中的时态型与时间粒度研究

研究了时态型与时间粒度的有关理论,提出了时态型、时间粒度、粗时间粒度、基时态型、基时间粒度和基准时间等概念,并研究了它们在刻画绝对时间的关系,最后给出一个一类简单频繁事件式发现的例子,对于研究时态数据采掘具有重要意义。     

规划识别中的时态推理

提出了一个用于规划识别的多层次时态推理算法，该算法可将以往的时态推理从单个规划的分解推广到多层次规划系统，使之更具普遍性，可将观察中的时态关系作为约束信息在层次结构中传播，减少侯选规划的数目，提高规划识别的效率和准确性。     

交互时态逻辑下的三种模糊信念算子

前期工作交互时态信念逻辑ATBL仅在二值语义下刻画了三种信念算子,没有探?讨它们的模糊语义问题.利用可信度函数给出模糊并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种模糊信念算子,在模糊并发博弈结构下给出其语义,建立了模糊交互时态信念逻辑FATBL,使得ATBL成为FATBL的特殊情况.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具.     

基于统计方法的正负时态相关性挖掘

传统相关性挖掘是在整个事务数据库的时间范围内进行的,但有时用户需得到某一特定时间段(如商品促销活动)内商品的相关性.该文对这类问题进行了详细的讨论,提出了一种基于统计方法的正负时态相关性挖掘算法.在详细讨论了该算法模型的基础上,给出了具体的算法设计,并通过实例检验该算法的有效性和可行性.     

浅论我国地热资源的开发利用

本文论述了地热资源的属性、开发现状及利用前景，并指出了在开发利用地热资源的过程中存在的问题，提出了解决的办法．     

测量过程中周期误差的一种补偿方法介绍

物理量的测量常常伴有周期误差。特别是在用传感器对旋转体进行测量时，周期误差更是在所难免。本文介绍一种通过调整多探头的增益补偿周期误差的方法，推导出周期误差的数学模型，并据此提出的一种的误差补偿方法。指出要完全的补偿周期误差的单一频率分量，至少需要用三个探头。该方法通过仿真和实验后证实是行之有效的。该方法在角度传感器和位移传感器上都适用。     

具有间断系数的周期Hilbert边值问题

本文给出了单位圆和上半平面两种情况下的带有间断系数的周期Hilbert边值问题的提法,并应用周期延拓、保形变换等方法将其转化为经典的Riemann边值问题和Hilbert边值问题,从而得出正则型情况下的一般解．     

具有Michaelis-Menten类型功能反应的捕食与被捕食脉时滞冲微分方程的周期解的存在性

研究具有Miehaelis-Menten类型功能反应的捕食与被捕食脉冲微分方程的周期解的存在性.通过运用Mawhin的延拓定理得到了正周期解的存在的充足的和合理的情况.     

开口弧段的非正则型双周期Riemann边值问题

本文探讨了开口弧段的非正则型的双周期Riemann边值问题求解问题及可解条件．     

带时滞的离散4种群Lotka-Volterra型食物链模型周期解

主要建立了带时滞的离散4种群Lotka—Volterra型食物链模型．利用重合度理论的连续性定理和一些分析技术,导出了系统周期正解的存在性．     

间歇线性反馈控制类Henon吸引子

提出了控制混沌的两种间歇线性反馈方法，该方法由自治相和控制相组成，选取合适的反馈系数和控制相时间，可以获得各种不同的稳定周期轨道。以类Henon吸引子为例，对非全同反馈系数进行数值模拟，结果表明该方法可以使既定的混沌系统按照给定的周期轨道演化。     

一种结合关联与FOIL算法的分类方法

针对如何减少关联分类方法中冗余规则,增加FOIL算法的规则数,以提高分类准确率,提出了一种结合关联与FOIL算法的分类方法,并称之为ACFA．首先,以类支持度和自信度为度量提取长度为1和2的规则,其次,利用Apriori算法挖掘出频繁2-项集F2,然后在频繁2-项集F2申挑选满足条件的频繁项建立候选集,最后在候选集上运用FOIL算法来产生分类规则．实验表明算法ACFA不但有效减少了关联分类方法中冗余的规则,并大大增加了FOIL算法的规则数,提高了分类的准确率．     

一类非线性延迟积分方程概周期型解的存在性

1976年,Cook和Kaplan关于人口传染病问题建立了一个数学模型,即一类延迟积分方程,随后一些类似的模型被建立了起来.首先简要介绍了几个延迟积分方程的概周期型解的研究概况,以及概周期函数、渐近概周期和伪概周期函数的定义,最后利用关于Hilbert投影度量不动点理论,讨论了一类延迟积分方程的正的概周期型解的存在性.