期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
模糊时态数据库关系代数演算规则分析 被引量：2
1
作者 邓立国 马宗民 《小型微型计算机系统》 CSCD 北大核心 2009年第12期2433-2438,共6页
为了解决时态数据库对客观世界更符合实际抽象描述,能有效表示和处理复杂对象的模糊时态特性,从基本模糊时态数据模型入手,定义了一系列模糊时态关系操作元素,并论证了模糊时态区间关系代数的语法和语义,建立了一个能描述模糊时态信息... 为了解决时态数据库对客观世界更符合实际抽象描述,能有效表示和处理复杂对象的模糊时态特性,从基本模糊时态数据模型入手,定义了一系列模糊时态关系操作元素,并论证了模糊时态区间关系代数的语法和语义,建立了一个能描述模糊时态信息的关系代数理论体系.避免了时态数据库不能提供表达模糊时态信息的环境设施,也增强了现有的时态数据库描述模糊事物特性的能力. 展开更多
关键词 时态数据库 关系代数 模糊时态数据库 模糊时态约束 语义
在线阅读 下载PDF
基于模糊集的模糊时态映射模型 被引量：1
2
作者 邓立国 杨殊 边丽英 《辽宁工程技术大学学报（自然科学版）》 CAS 北大核心 2008年第2期315-317,共3页
为了使时态数据库对客观世界更符合实际抽象描述,提出了用模糊测度分析模糊时态数据的隶属度,基于模糊集理论建立了模糊时态映射模型,实现测度模糊值向离散时态区间的映射。建立的模糊时态关系模型进行传统概念扩展,对事件的模糊时态信... 为了使时态数据库对客观世界更符合实际抽象描述,提出了用模糊测度分析模糊时态数据的隶属度,基于模糊集理论建立了模糊时态映射模型,实现测度模糊值向离散时态区间的映射。建立的模糊时态关系模型进行传统概念扩展,对事件的模糊时态信息作测度分析,抽取和元组离散时间对应的事件模糊值,向离散时态区间作映射,在模糊时态数据库概念层使模糊数据和时态凸区间实现原子对应。该理论弥补了现有时态数据库不能处理模糊时态信息的缺陷,扩展了模糊时态数据库处理模糊事件的能力。 展开更多
关键词 模糊时态 模糊集 时态数据库 模糊时态数据库
在线阅读 下载PDF
具有模糊时态的广义可能性线性时序逻辑的模型检测 被引量：10
3
作者 梁常建 李永明 《电子学报》 EI CAS CSCD 北大核心 2017年第12期2971-2977,共7页
本文首先定义了具有模糊时态的广义可能性线性时序逻辑GPoFLTL(Generalized Possibilistic Fuzzy Linear Tempora Logic)的语构以及基于路径和基于语言的两种语义解释,证明了GPoFLTL在模糊时态方面对GPo LTL(Generalized Possibilistic ... 本文首先定义了具有模糊时态的广义可能性线性时序逻辑GPoFLTL(Generalized Possibilistic Fuzzy Linear Tempora Logic)的语构以及基于路径和基于语言的两种语义解释,证明了GPoFLTL在模糊时态方面对GPo LTL(Generalized Possibilistic Linear Tempora Logic)进行了扩张,并通过实例说明了GPoFLTL比GPo LTL具有更强的表达能力;其次在广义可能性测度下通过模糊矩阵运算讨论了"不久","几乎总是"等几类模糊时态性质的模型检测问题;最后研究了模糊时态性质的必要性阈值模型检测问题,给出了基于自动机的GPoFLTL的阈值模型检测算法及算法的复杂度. 展开更多
关键词 模糊时态 可能性性质 线性时序逻辑 时间复杂度 阈值模型检测
在线阅读 下载PDF
1NF模糊时态数据库数据模型 被引量：2
4
作者 邓立国 杨殊 边丽英 《沈阳建筑大学学报（自然科学版）》 EI CAS 2008年第3期503-507,511,共6页
目的建立INF(一范式)模糊时态数据库数据模型,以便能有效地表达复杂的模糊时态信息.方法结合模糊时态序列和模糊集理论对Allen定义的时态区间进行模糊性扩展,建立模糊时态关系模型.基于该模型,对传统数据库及时态数据库的概念模型进行... 目的建立INF(一范式)模糊时态数据库数据模型,以便能有效地表达复杂的模糊时态信息.方法结合模糊时态序列和模糊集理论对Allen定义的时态区间进行模糊性扩展,建立模糊时态关系模型.基于该模型,对传统数据库及时态数据库的概念模型进行模糊时态约束扩展和数据的模糊化,提出模糊/时态关系代数映射及运算模型.结果从理论上阐述了模糊时态数据模型,引入了模糊映射,把事件的模糊性投影到不确定的时态信息上.结论该模型的建立在一定程度上解决了时态数据库不能处理模糊时态信息,丰富了时态数据库查询语言,从而增强了时态数据库模拟现实世界的能力. 展开更多
关键词 模糊时态数据库 不确定 模糊集 数据模型
在线阅读 下载PDF
模糊时态数据库设计中模糊/时态向量空间特性研究 被引量：2
5
作者 邓立国 马宗民 《计算机科学》 CSCD 北大核心 2011年第6期211-216,共6页
数据库设计的目标是生成一组模式,使数据存储既减少冗余,又可方便地获取信息。这是通过设计满足适当范式的模式来实现的。函数依赖FD是有效的工具。对于多粒度模糊时态数据库设计来说,模糊值和多粒度模糊时态序列的映射关系是将传统FD... 数据库设计的目标是生成一组模式,使数据存储既减少冗余,又可方便地获取信息。这是通过设计满足适当范式的模式来实现的。函数依赖FD是有效的工具。对于多粒度模糊时态数据库设计来说,模糊值和多粒度模糊时态序列的映射关系是将传统FD扩展到模糊时态函数依赖FTFD的关键,通过分析属性集的有限闭包、时态类型集的封闭集、属性集在给定时态上的依赖等概念,得到模糊/时态向量的特征描述,并对此方法的正确性进行了论证。此方法能方便地在计算机上表达模糊属性值和模糊时态序列的映射关系,为模糊时态数据库范式的判定和分解算法提供有效的手段。 展开更多
关键词 模糊时态数据库 函数依赖 时间粒度 有限闭包 FTFD
在线阅读 下载PDF
一个模糊时态数据库关系代数理论 被引量：1
6
作者 邓立国 马宗民 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2008年第10期1414-1417,1430,共5页
为了解决时态数据库对客观世界更符合实际的抽象描述、能有效表示和处理复杂对象、支持用户定义的数据类型、扩展建模能力、减少不同类型数据转换代价大等问题,针对复杂数据不仅有时态性,而且具有模糊的特性,从基本的时态数据库模型入手... 为了解决时态数据库对客观世界更符合实际的抽象描述、能有效表示和处理复杂对象、支持用户定义的数据类型、扩展建模能力、减少不同类型数据转换代价大等问题,针对复杂数据不仅有时态性,而且具有模糊的特性,从基本的时态数据库模型入手,定义了一系列模糊时态关系元素,并建立了一个能描述模糊时态信息的1NF关系代数.从理论上论证了相应的模糊/时态关系代数映射及运算模型,避免了模糊时态数据库不能提供表达时态信息的环境设施,也增强了现有时态数据库描述模糊事物特性的能力. 展开更多
关键词 时态数据库 关系代数 模糊数据库 模糊时态 一范式
在线阅读 下载PDF
具有DP的广义可能性模糊时态CTL模型检测
7
作者 魏杰林 袁申 +1 位作者 李永明 梁常建 《计算机科学与探索》 CSCD 北大核心 2019年第10期1781-1792,共12页
为了增强计算树逻辑在时序上的表达能力,以广义可能性测度、决策过程和计算树逻辑为基础,研究了具有决策过程的广义可能性模糊时态计算树逻辑的模型检测。首先采用广义可能性决策过程作为系统模型;然后引入模糊时态算子,构造了模糊时态... 为了增强计算树逻辑在时序上的表达能力,以广义可能性测度、决策过程和计算树逻辑为基础,研究了具有决策过程的广义可能性模糊时态计算树逻辑的模型检测。首先采用广义可能性决策过程作为系统模型;然后引入模糊时态算子,构造了模糊时态计算树逻辑并给出其在广义可能性测度下的语义,得到新的广义可能性模糊时态计算树逻辑用来描述系统属性;最后在广义可能性调度下通过模糊矩阵运算讨论了“soon、within、last、nearly”等几类模糊时态连接词的具体计算方法,给出相应的模型检测算法。经验证明,广义可能性模糊时态计算树逻辑是广义可能性计算树逻辑在模糊时序上的扩充,具有更强的表达能力。 展开更多
关键词 模糊时态 决策过程 广义可能性测度 计算树逻辑 模型检测
在线阅读 下载PDF
基于模糊测度的模糊分支时态逻辑模型检测
8
作者 刘子源 马占有 +3 位作者 李霞 高滢囡 何娜娜 黄瑞祺 《计算机工程与科学》 CSCD 北大核心 2024年第4期676-683,共8页
针对具有模糊性和不确定性的复杂系统的验证问题,提出一种基于模糊测度的模糊分支时态逻辑模型检测算法。首先,在模糊决策过程模型的基础上引入模糊分支时态逻辑的语法和语义。然后,给出模糊分支时态逻辑模型检测算法,该算法将模型检测... 针对具有模糊性和不确定性的复杂系统的验证问题,提出一种基于模糊测度的模糊分支时态逻辑模型检测算法。首先,在模糊决策过程模型的基础上引入模糊分支时态逻辑的语法和语义。然后,给出模糊分支时态逻辑模型检测算法,该算法将模型检测问题转化为矩阵运算,具有计算方式简洁、复杂度较低的优点。最后,通过医疗专家系统的实例说明了该模型检测算法的有效性。 展开更多
关键词 模糊决策过程 模糊测度 模糊分支时态逻辑 模型检测 矩阵运算
在线阅读 下载PDF
具有时态词的模糊推理的一种新方法
9
作者 庞善起 张务花 杨勇建 《河南师范大学学报（自然科学版）》 CAS CSCD 1996年第1期6-9,共4页
本文提出了模糊初值的概念，通过映射贴近度到模糊初值空间，我们给出了模糊时态逻辑中的一种新的推理方法。
关键词 贴近度 模糊初值 模糊时态逻辑 模糊推理
在线阅读 下载PDF
一种工作流模型的时间性能评估方法 被引量：4
10
作者 潘炎 汤庸 陈子聪 《计算机集成制造系统》 EI CSCD 北大核心 2007年第8期1539-1544,共6页
在对模糊时态工作流网引入选择概率函数的基础上,提出了扩展模糊时态工作流网的工作流模型,给出其中的时态元素计算方法,以及分解扩展模糊时态工作流网的算法,并讨论了基于该分解算法的时间性能评估方法。最后,通过一个实例阐明了如何... 在对模糊时态工作流网引入选择概率函数的基础上,提出了扩展模糊时态工作流网的工作流模型,给出其中的时态元素计算方法,以及分解扩展模糊时态工作流网的算法,并讨论了基于该分解算法的时间性能评估方法。最后,通过一个实例阐明了如何使用该时间性能评估方法。 展开更多
关键词 性能评估 工作流模型 PETRI网 模糊时态工作流网
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部