基于时态数据库的极小子结构逻辑系统 被引量：19

1

作者 刘冬宁 汤庸 +1 位作者 滕少华 林哲 《计算机学报》 EI CSCD 北大核心 2013年第8期1592-1601,共10页

逻辑是知识表达的重要方法,但由于时序性知识与时间属性知识交叉应用的复杂性,其对时态数据库支撑一直不尽如人意.目前时态数据运算体系不完备,时态关系演算缺乏系统和有力的逻辑与代数理论支持.为此,文中从子结构逻辑出发,针对时态数... 逻辑是知识表达的重要方法,但由于时序性知识与时间属性知识交叉应用的复杂性,其对时态数据库支撑一直不尽如人意.目前时态数据运算体系不完备,时态关系演算缺乏系统和有力的逻辑与代数理论支持.为此,文中从子结构逻辑出发,针对时态数据库及其信息处理中关键的知识推理、时态操作与函数依赖等内容,构建了一个极小的(最小的)子结构逻辑系统TDLmin,其恰好等价于传统的数据库函数依赖Armstrong规则.TDLmin系统能在逻辑语义模型中对时序性、时间属性进行表达,而在句法逻辑系统将时间剥离,从而既表达了时态知识,对时态操作进行处理,又降低了逻辑系统的复杂度,使得逻辑系统的时间复杂度为P-time(O(n2)).而该逻辑系统还可与传统的Allen方法进行对接,使得相关时态查询所需的时间代价为传统非时态查询的时间加上一个复杂度仅为O(n)的线性时间,从而使得系统具有更强的普适性和应用前景. 展开更多

关键词 时态数据库 子结构逻辑 时态查询 函数依赖

在线阅读 下载PDF 职称材料

基于Copula函数的多维时序风速相依模型及其在可靠性评估中的应用 被引量：32

2

作者 李玉敦 谢开贵 胡博 《电网技术》 EI CSCD 北大核心 2013年第3期840-846,共7页

风速模拟是对含风电的电力系统进行可靠性评估的先决条件。基于Copula函数和马尔科夫过程理论,提出了一种多维时序风速相依模型及该模型的两阶段蒙特卡洛模拟方法。该模型将多维相依关系分解为单维风速时间序列的短期相依关系和多个风... 风速模拟是对含风电的电力系统进行可靠性评估的先决条件。基于Copula函数和马尔科夫过程理论,提出了一种多维时序风速相依模型及该模型的两阶段蒙特卡洛模拟方法。该模型将多维相依关系分解为单维风速时间序列的短期相依关系和多个风速序列之间的同期相依关系。利用1阶连续状态马尔科夫链描述风速时间序列的变化规律;利用Copula函数捕捉风速序列中存在的短期相依关系和同期相依关系。通过实际风速数据对模型进行了验证,结果表明提出的模型能够较好保持风速序列的概率分布、自相关和互相关特性。将该模型应用到IEEE-RTS可靠性测试系统中,结果表明上述模型能够直接用于风电场可靠性效益评估。 展开更多

关键词 风速模型 短期相依 同期相依 连续状态马尔科夫链 COPULA函数

在线阅读 下载PDF 职称材料

全序时态模式下函数依赖集的成员籍问题研究 被引量：3

3

作者 万静 杨洪玉 郝忠孝 《高技术通讯》 EI CAS CSCD 北大核心 2009年第11期1148-1152,共5页

时态函数依赖(TFD)约束的全序时态模式下,成员籍问题是设计有效模式分解算法的关键。定义了全序时态模式下全序时态函数依赖集有效闭包、属性集在给定时态类型上的闭包、属性集的闭包等概念,根据这些概念,结合全序时态模式自身的特点,... 时态函数依赖(TFD)约束的全序时态模式下,成员籍问题是设计有效模式分解算法的关键。定义了全序时态模式下全序时态函数依赖集有效闭包、属性集在给定时态类型上的闭包、属性集的闭包等概念,根据这些概念,结合全序时态模式自身的特点,提出求全序时态模式下属性集在给定时态类型上的闭包以及时态函数依赖(TFD)集成员籍问题的算法,证明了算法的可终止性和正确性,分析算法的时间复杂性,为时态函数依赖环境下全序时态模式的进一步规范化提供了理论基础。 展开更多

关键词 多时间粒度 全序时态模式 时态函数依赖(tfd) 成员籍 属性集在给定时态类型上的闭包

在线阅读 下载PDF 职称材料

一个多时间粒度下时态函数依赖的有限属性闭包算法 被引量：3

4

作者 姚春龙 郝忠孝 《计算机研究与发展》 EI CSCD 北大核心 2005年第3期448-454,共7页

为了有效地进行时态数据库设计,支持多时间粒度的时态函数依赖(TFDs)被用于时态模式的规范化.时态模式规范化所要解决的一个关键问题是求解时态函数依赖的有限属性闭包问题.由于多时间粒度的使用,使得有限属性闭包问题变得非常复杂.实际... 为了有效地进行时态数据库设计,支持多时间粒度的时态函数依赖(TFDs)被用于时态模式的规范化.时态模式规范化所要解决的一个关键问题是求解时态函数依赖的有限属性闭包问题.由于多时间粒度的使用,使得有限属性闭包问题变得非常复杂.实际上,TFDs与传统的函数依赖(FDs)之间存在着密切的联系.通过分析这些联系和封闭时态类型集的特性,利用传统FDs的相关算法提出一个有效的求解有限属性闭包的算法.通过分析和与相关算法的实验比较,该算法更加有效. 展开更多

关键词 时态数据库 数据库设计 规范化 函数依赖(FD) 时态函数依赖(tfd)

在线阅读 下载PDF 职称材料

计及相关性的风电场和光伏电站时序出力模型研究 被引量：15

5

作者 赵书强 王皓 +2 位作者 张辉 王枭枭 刘金山 《智慧电力》 北大核心 2020年第7期52-58,87,共8页

在大规模风光并网时,采用具有相关性的风光时序数据进行系统可靠性评估能够更好模拟系统的运行状态,有利于提高可靠性评估的准确性和实用性。基于混合Copula函数和马尔科夫过程相关理论,建立了一种用于可靠性评估的计及相关性的风光时... 在大规模风光并网时,采用具有相关性的风光时序数据进行系统可靠性评估能够更好模拟系统的运行状态,有利于提高可靠性评估的准确性和实用性。基于混合Copula函数和马尔科夫过程相关理论,建立了一种用于可靠性评估的计及相关性的风光时序出力模型。首先,通过区分光伏出力序列中的规律性与随机性特征,提取出光伏出力的随机分量;然后将风光时序相关性模型分解为风电出力时序模型、光伏出力时序模型以及风光出力的时序相依模型3部分。最后,通过比利时瓦垄地区的实测数据对上述模型进行了验证。 展开更多

关键词 光伏出力模型 风电出力模型 短期相依 同期相依 连续状态马尔科夫链 COPULA函数

在线阅读 下载PDF 职称材料

具有多时间粒度的时态多值依赖及时态模式分解方法研究 被引量：5

6

作者 郝忠孝 李艳娟 《计算机研究与发展》 EI CSCD 北大核心 2007年第5期853-859,共7页

一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库,通过具有多时间粒度的时态函数依赖约束对时态数据库进行规范化已有大量研究.基于时态函数依赖和多值依赖理论提出了多时间粒度约束的时态多值依赖(T... 一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库,通过具有多时间粒度的时态函数依赖约束对时态数据库进行规范化已有大量研究.基于时态函数依赖和多值依赖理论提出了多时间粒度约束的时态多值依赖(TMVD)等概念,并给出了时态多值依赖的推理规则,对其有效性、完备性进行了证明.由于包含有限个TMVD的TMVD集通常蕴含着无限个TMVD,给出了TMVD的有限推理规则,对其有效性、完备性进行了证明.最后,基于时态多值依赖集提出了时态第四范式,并给出了时态模式的T4NF的无损分解算法,对算法的可终止性、正确性进行了证明,并对时间复杂度进行了分析. 展开更多

关键词 时态数据库 时态函数依赖 时态多值依赖 时态第四范式 多时间粒度

在线阅读 下载PDF 职称材料

一个具有多时间粒度时态函数依赖集的成员籍算法 被引量：9

7

作者 姚春龙 郝忠孝 《计算机研究与发展》 EI CSCD 北大核心 2002年第3期342-347,共6页

对于具有函数依赖 (FDs)约束的传统关系数据库规范化理论来说 ,判定一个 FD是否被给定 FD集所逻辑蕴涵 (即成员籍问题 )是非常重要的 ,这有助于设计有效的模式分解算法 .而对于具有时态函数依赖 (TFDs)约束的时态模式来说 ,由于多时间... 对于具有函数依赖 (FDs)约束的传统关系数据库规范化理论来说 ,判定一个 FD是否被给定 FD集所逻辑蕴涵 (即成员籍问题 )是非常重要的 ,这有助于设计有效的模式分解算法 .而对于具有时态函数依赖 (TFDs)约束的时态模式来说 ,由于多时间粒度的使用使成员籍问题的解决变得更加复杂 .由此讨论了时态类型的一些特性 ,并提出了有限决定集的概念 .基于求得属性的有限决定集 ,对每一个元素的左部属性集是单一属性的 展开更多

关键词 时态数据库 逻辑蕴涵 关系数据库 时态函数依赖集 成员籍算法

在线阅读 下载PDF 职称材料

时态类型集的封闭集 被引量：5

8

作者 姚春龙 郝忠孝 《计算机工程》 CAS CSCD 北大核心 2003年第2期35-37,共3页

好的数据库逻辑设计目标是消除数据冗余以及插入和删除异常。对于时态数据库，可以利用具有多时间粒度的时态函数依赖（TFDs）约束对时态数据库进行规范化。要进行有效的数据库设计，需要解决有限属性闭包和成员籍等一些有关TFD的问题... 好的数据库逻辑设计目标是消除数据冗余以及插入和删除异常。对于时态数据库，可以利用具有多时间粒度的时态函数依赖（TFDs）约束对时态数据库进行规范化。要进行有效的数据库设计，需要解决有限属性闭包和成员籍等一些有关TFD的问题。为了方便计算机对时态类型的处理和找到有效的解决TFD的相关问题的算法，该文提出了封闭时态类型集的概念，并且给出了一个求给定TFD集的封闭集的算法。 展开更多

关键词 时态类型集 封闭集 时态数据库 函数依赖 有限属性闭包 计算机

在线阅读 下载PDF 职称材料

一个多时间粒度下时态模式的T3NF分解算法 被引量：6

9

作者 姚春龙 郝忠孝 《小型微型计算机系统》 CSCD 北大核心 2005年第9期1530-1535,共6页

对于时态数据库,时间维的引入使得如何有效地进行数据库设计以消除数据冗余和插入、删除异常显得尤为重要.可以通过支持多时间粒度的时态函数依赖(TFDs)约束对时态数模式进行规范化.但是多时间粒度的使用给数据库设计带来巨大的复杂性.... 对于时态数据库,时间维的引入使得如何有效地进行数据库设计以消除数据冗余和插入、删除异常显得尤为重要.可以通过支持多时间粒度的时态函数依赖(TFDs)约束对时态数模式进行规范化.但是多时间粒度的使用给数据库设计带来巨大的复杂性.一般来说,系统所能处理的和相当多的应用所涉及到的时态类型集满足全序关系.对于这种具有全序时态类型集的时态模式,通过分析TFD集所具有的良好特性,给出了一个得到满足时态第三范式(T3NF)的无损分解的多项式时间的算法. 展开更多

关键词 数据库设计 时态数据库 规范化 函数依赖(FDs)

在线阅读 下载PDF 职称材料

二维时间序列短期相依模型及其Monte-Carlo模拟 被引量：4

10

作者 易文德 卫贵武 《西南大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第3期5-8,共4页

结合Copula函数技术,提出了二维时间序列的短期相依模型以及该模型的Monte-Carlo模拟方法,讨论了二资产投资组合风险值VaR的计算,并将二维时间序列的相依关系分解为3部分考虑,简化了模型和计算.

关键词 短期相依 风险值 Monte—Carlo模拟 COPULA函数

在线阅读 下载PDF 职称材料

具有多时间粒度的时态数据库初等关键字、简单范式分解问题研究 被引量：2

11

作者 郝忠孝 李艳娟 《计算机研究与发展》 EI CSCD 北大核心 2005年第9期1485-1492,共8页

一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库也是如此.提出了时态初等函数依赖、时态初等关键字、时态简单关键字等概念,在此基础上利用具有多时间粒度的时态函数依赖(TFD)约束对时态数据库进行... 一个好的数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常.对于时态数据库也是如此.提出了时态初等函数依赖、时态初等关键字、时态简单关键字等概念,在此基础上利用具有多时间粒度的时态函数依赖(TFD)约束对时态数据库进行了规范化研究,提出了规范程度高于时态三范式低于时态BoyceCode范式的时态初等关键字范式(TEKNF)及时态简单范式(TSNF),并研究了时态初等关键字范式和时态简单范式的分解问题,给出了相关分解算法,并对算法的可终止性、正确性进行了证明,对时间复杂度进行了分析. 展开更多

关键词 时态数据库 时态模式 时态函数依赖 时态初等关键字范式 时态简单范式

在线阅读 下载PDF 职称材料

模糊时态数据库设计中模糊/时态向量空间特性研究 被引量：2

12

作者 邓立国 马宗民 《计算机科学》 CSCD 北大核心 2011年第6期211-216,共6页

数据库设计的目标是生成一组模式,使数据存储既减少冗余,又可方便地获取信息。这是通过设计满足适当范式的模式来实现的。函数依赖FD是有效的工具。对于多粒度模糊时态数据库设计来说,模糊值和多粒度模糊时态序列的映射关系是将传统FD... 数据库设计的目标是生成一组模式,使数据存储既减少冗余,又可方便地获取信息。这是通过设计满足适当范式的模式来实现的。函数依赖FD是有效的工具。对于多粒度模糊时态数据库设计来说,模糊值和多粒度模糊时态序列的映射关系是将传统FD扩展到模糊时态函数依赖FTFD的关键,通过分析属性集的有限闭包、时态类型集的封闭集、属性集在给定时态上的依赖等概念,得到模糊/时态向量的特征描述,并对此方法的正确性进行了论证。此方法能方便地在计算机上表达模糊属性值和模糊时态序列的映射关系,为模糊时态数据库范式的判定和分解算法提供有效的手段。 展开更多

关键词 模糊时态数据库 函数依赖 时间粒度 有限闭包 Ftfd

在线阅读 下载PDF 职称材料

多时间粒度下时态函数依赖集的成员籍算法

13

作者 郝忠孝 姚春龙 《计算机工程与应用》 CSCD 北大核心 2004年第35期183-186,217,共5页

为了有效地进行时态数据库设计,支持多时间粒度的时态函数依赖(TFDs)被用于时态模式的规范化。类似于传统的函数依赖(FDs),TFD集的成员籍问题是时态模式规范化所要解决的一个关键问题。由于多时间粒度的使用,使得有成员籍问题变得非常... 为了有效地进行时态数据库设计,支持多时间粒度的时态函数依赖(TFDs)被用于时态模式的规范化。类似于传统的函数依赖(FDs),TFD集的成员籍问题是时态模式规范化所要解决的一个关键问题。由于多时间粒度的使用,使得有成员籍问题变得非常复杂。为了有效地解决此问题,分析了TFDs与FDs之间存在的联系和封闭时态类型集的特性,并且基于提出的有限导出时态类型集及其求解算法,提出一个有效地解决TFD集的成员籍问题的算法。 展开更多

关键词 时态数据库 数据库设计 规范化 函数依赖 FDS 时态函数依赖 tfdS 成员籍

在线阅读 下载PDF 职称材料

多时间粒度下时态数据库设计中时态类型的处理

14

作者 姚春龙 郝忠孝 《小型微型计算机系统》 CSCD 北大核心 2006年第11期2094-2099,共6页

在许多大型信息系统中需要存储大量的历史数据.为了有效地组织这些时间变化数据,可以使用时态函数依赖(TFDs)对时态数据库进行有效地设计.由于多时间粒度的使用,数据库设计算法需要在计算机上实现表示时态类型间的关系的逻辑结构和时态... 在许多大型信息系统中需要存储大量的历史数据.为了有效地组织这些时间变化数据,可以使用时态函数依赖(TFDs)对时态数据库进行有效地设计.由于多时间粒度的使用,数据库设计算法需要在计算机上实现表示时态类型间的关系的逻辑结构和时态类型间的相关操作.为此提出了细于关系矩阵和封闭的时态类型集,并且对于给定的时态类型集及其细于关系矩阵,给出了一个自动生成它的一个封闭集及封闭集对应的细于关系矩阵的有效算法.通过提出的细于关系矩阵和封闭集算法,可以方便地在计算机上实现时态数据库设计算法需要的时态类型间的细于关系比较和glb操作. 展开更多

关键词 数据库设计 时态数据库 时态函数依赖(tfd) 时态范式

在线阅读 下载PDF 职称材料

强偏序时态模式中混合依赖集的成员籍问题

15

作者 万静 刘芳 《计算机应用》 CSCD 北大核心 2015年第8期2345-2349,2414,共6页

有效的模式分解算法设计中应着重考虑和解决成员籍问题,时态类型间偏序关系在强偏序时态模式中的存在给解决成员籍问题带来了困难。为了有效解决强偏序时态模式中混合依赖集的成员籍问题,提出了给定时态类型上的偏序混合依赖基、强偏序... 有效的模式分解算法设计中应着重考虑和解决成员籍问题,时态类型间偏序关系在强偏序时态模式中的存在给解决成员籍问题带来了困难。为了有效解决强偏序时态模式中混合依赖集的成员籍问题,提出了给定时态类型上的偏序混合依赖基、强偏序模式混合依赖基、偏序时态函数依赖和偏序时态多值依赖的混合集闭包、强偏序模式混合闭包等概念,给出了求混合依赖集中属性的依赖基、属性集的闭包的算法,并在此基础上给出了强偏序模式混合依赖集成员籍问题的算法,证明了其正确性及可终止性,对该算法的时间复杂度进行了分析。应用实例表明相关理论和算法能解决强偏序混合依赖集中成员籍问题的判定问题,为解决强偏序时态模式规范化问题以及时态数据库设计提供了理论基础。 展开更多

关键词 强偏序时态模式 时态函数依赖 时态多值依赖 混合依赖基 成员籍

在线阅读 下载PDF 职称材料

金融时间序列的短期相依性研究

16

作者 易文德 《华东经济管理》 CSSCI 2011年第3期71-75,共5页

金融资产相依结构的研究在金融风险分析中有着重要的意义。金融资产的相依结构主要有两类:一类是单个金融资产自身时间前后交易价格波动的相依关系,称为短期相依关系,另一类是金融资产间的价格波动相依结构,称为同期相依关系。针对前一... 金融资产相依结构的研究在金融风险分析中有着重要的意义。金融资产的相依结构主要有两类:一类是单个金融资产自身时间前后交易价格波动的相依关系,称为短期相依关系,另一类是金融资产间的价格波动相依结构,称为同期相依关系。针对前一种相依关系,我们应用混合相依结构M-Copula函数模型对上海综合指数、香港恒生指数和美国道琼斯指数三种金融时间序列前后一个交易日的价格波动相依关系进行了分析。应用两步骤法对模型的参数进行估计,并对边缘分布和M-Copula模型进行了拟合优度检验。结果表明:混合M-Copula模型能够捕捉金融资产时间序列的短期相依关系的变化规律。 展开更多

关键词 短期相依 COPULA函数 时间序列 尾部相关

在线阅读 下载PDF 职称材料

多时间粒度约束的时态多值依赖推理

17

作者 李维宏 张忠平 祝精荟 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2006年第1期66-70,共5页

时态约束是时态数据库研究的主要内容之一,基于传统关系数据库,许多学者在时态函数依赖约束问题上进行了深入的研究,提出了一系列理论并发表许多有学术价值的论文.据此,基于时态函数依赖和传统关系数据库多值依赖理论提出了多时间粒度... 时态约束是时态数据库研究的主要内容之一,基于传统关系数据库,许多学者在时态函数依赖约束问题上进行了深入的研究,提出了一系列理论并发表许多有学术价值的论文.据此,基于时态函数依赖和传统关系数据库多值依赖理论提出了多时间粒度约束的时态多值依赖的概念和相关的引理、定理,并对引理、定理的有效性和完备性进行了证明,为时态数据库的进一步规范化奠定了理论基础. 展开更多

关键词 时态数据库 时态函数依赖 时态多值依赖 粒度

在线阅读 下载PDF 职称材料