期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
基于区间的三值时态逻辑
1
作者 周文华 《湖北社会科学》 CSSCI 北大核心 2009年第3期134-138,共5页
由于许多句子的真值是相对于一定的时段或区间的,所以建立基于区间的三值时态逻辑是必要的。但是基于区间的乌卡谢维奇式三值时态逻辑系统(L3.1,L3.2)并不具有保均致性,于是又提出了一种能保广义基本均致性的语言(L’),给出了相关的语义。
关键词 时态逻辑 三值逻辑 基于区间时态逻辑 三值时态逻辑 保均致性
下载PDF
基于模糊集的不精确时态关系建模 被引量:5
2
作者 邓立国 马宗民 张刚 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 2007年第10期1462-1464,1476,共4页
基于模糊集理论,建立了一种扩展Allen时态关系模糊时态区间模型.在经典时态关系的基础上,讨论了模糊时态区间关系,提出了时间点的模糊时态序列概念,并定义了模糊时态关系属性,同时用模糊时态序列定义了模糊时态区间的边界关系.最后结合... 基于模糊集理论,建立了一种扩展Allen时态关系模糊时态区间模型.在经典时态关系的基础上,讨论了模糊时态区间关系,提出了时间点的模糊时态序列概念,并定义了模糊时态关系属性,同时用模糊时态序列定义了模糊时态区间的边界关系.最后结合时序测度公式对13种模糊时态定性关系给出了精确的表达.能精确表达模糊事件的精确和不精确关系,也为模糊推理提供了理论基础. 展开更多
关键词 时态区间 不确定 模糊集 时态推理 时态关系
下载PDF
时态约束下的数据挖掘问题及算法 被引量:5
3
作者 毛国君 刘椿年 《电子学报》 EI CAS CSCD 北大核心 2003年第11期1690-1694,共5页
对于一个大型数据库而言 ,为了提高挖掘效率 ,必须考虑减少数据库的扫描次数 ,同时使内存需求量保持在一个适当的水平上 .把时态约束应用到事务数据库的挖掘中 ,可以获得更好的效率 .本文首先利用时态区间代数操作实现原始数据库的过滤... 对于一个大型数据库而言 ,为了提高挖掘效率 ,必须考虑减少数据库的扫描次数 ,同时使内存需求量保持在一个适当的水平上 .把时态约束应用到事务数据库的挖掘中 ,可以获得更好的效率 .本文首先利用时态区间代数操作实现原始数据库的过滤和挖掘时态区间的合并 ;然后在定义项目序列集操作的基础上 ,提出一个称为TISS DM的发现频繁项目序列集的高效算法 ;最后讨论了这个算法的效率 . 展开更多
关键词 数据挖掘 关联规则 时态区间 频繁项目序列
下载PDF
基于时态失效逻辑的割序集模型量化方法 被引量:5
4
作者 王波 刘东 李艺 《计算机工程》 CAS CSCD 2012年第20期268-271,共4页
针对动态故障树割序集模型量化方法的模糊性、不一致性和局限性,提出一种基于时态失效逻辑的割序集模型量化方法。给出3种时态失效逻辑,包括割序集的优先失效逻辑、序列失效逻辑和备件失效逻辑,结合时态区间的概念,设计不同时态失效逻... 针对动态故障树割序集模型量化方法的模糊性、不一致性和局限性,提出一种基于时态失效逻辑的割序集模型量化方法。给出3种时态失效逻辑,包括割序集的优先失效逻辑、序列失效逻辑和备件失效逻辑,结合时态区间的概念,设计不同时态失效逻辑的统一量化方法。示例结果表明,该方法计算较为精确,便于操作。 展开更多
关键词 可靠性 动态故障树 割序集 时态逻辑 量化方法 时态区间
下载PDF
论时态逻辑的新发展 被引量:1
5
作者 冯彦波 《郑州航空工业管理学院学报(社会科学版)》 2008年第4期9-11,共3页
自20世纪80年代以来,在哲学、计算机科学、人工智能、语言学等诸多领域的推动下,时态逻辑取得了新的发展。主要表现为区间时态逻辑、行为时态逻辑的创立以及时态逻辑与模态逻辑的结合。对这些新的发展进行研究,既具有重大理论意义,又具... 自20世纪80年代以来,在哲学、计算机科学、人工智能、语言学等诸多领域的推动下,时态逻辑取得了新的发展。主要表现为区间时态逻辑、行为时态逻辑的创立以及时态逻辑与模态逻辑的结合。对这些新的发展进行研究,既具有重大理论意义,又具有重要的实际应用价值。 展开更多
关键词 区间时态逻辑 时态逻辑与模态逻辑的结合 行为时态逻辑
下载PDF
时态数据的聚合查询及应用
6
作者 黄雄波 《智能计算机与应用》 2015年第3期8-11,15,共5页
在SQL结构化查询语言中,所有针对数据表某列或多列的数据分析统称为聚合查询。基于传统的关系数据库管理系统(RDBMS)的基础上,对时态数据的聚合查询问题进行了深入的分析,通过引入时态聚合子区间的概念,并定义与之相匹配的数据结构,设... 在SQL结构化查询语言中,所有针对数据表某列或多列的数据分析统称为聚合查询。基于传统的关系数据库管理系统(RDBMS)的基础上,对时态数据的聚合查询问题进行了深入的分析,通过引入时态聚合子区间的概念,并定义与之相匹配的数据结构,设计实现了一种时态数据的聚合查询算法。实际应用表明,该算法可行、有效。 展开更多
关键词 时态数据 聚合查询 时态聚合子区间
下载PDF
Use of Intensity Analysis to Measure Land Use Changes from 1932 to 2005 in Zhenlai County, Northeast China 被引量:9
7
作者 YANG Yuanyuan LIU Yansui +1 位作者 XU Di ZHANG Shuwen 《Chinese Geographical Science》 SCIE CSCD 2017年第3期441-455,共15页
Analyzing spatiotemporal dynamics of land use and land cover over time is widely recognized as important to better understand and provide solutions for social, economic, and environmental problems, especially in ecolo... Analyzing spatiotemporal dynamics of land use and land cover over time is widely recognized as important to better understand and provide solutions for social, economic, and environmental problems, especially in ecologically fragile region. In this paper, a case study was taken in Zhenlai County, which is a part of farming-pastoral ecotone of Northeast China. This study seeks to use multi-temporal satellite images and other data from various sources to analyze spatiotemporal changes from 1932 to 2005, and applied a quantitative methodology named intensity analysis in the time scale of decades at three levels: time interval, category, and transition. The findings of the case study are as follows: 1) the interval level of intensity analysis revealed that the annual rate of overall change was relatively fast in 1932–1954 and 1954–1976 time intervals. 2) The category level showed that arable land experienced less intensively gains and losses if the overall change was to have been distributed uniformly across the landscape while the gains and losses of forest land, grassland, water, settlement, wetland and other unused land were not consistent and stationary across the four time intervals. 3) The transition level illustrated that arable land expanded at the expense of grassland before 2000 while it gained intensively from wetland from 2000 to 2005. Settlement targets arable land and avoids grassland, water, wetland and other unused land. Besides, the loss of grassland was intensively targeted by arable land, forest land and wetland in the study period while the loss of wetland was targeted by water except for the time interval of 1976–2000. 4) During the early reclamation period, land use change of the study area was mainly affected by the policy, institutional and political factors, followed by the natural disasters. 展开更多
关键词 intensity analysis land use and land cover change pattern driving forces Northeast China
下载PDF
可执行时序逻辑介绍
8
作者 杨则正 《管理观察》 1998年第7期56-56,共1页
据报道.不久前研制了适应于过程按时间展开的编程语言。这些语言中使用的逻辑和操作.构成表示不同对象行为动态的基础。指出,这些语言的研制迄今还带有有限应用的试验性质.但将来会大力推广。迄今为止.这些编程语言主要用于计算的... 据报道.不久前研制了适应于过程按时间展开的编程语言。这些语言中使用的逻辑和操作.构成表示不同对象行为动态的基础。指出,这些语言的研制迄今还带有有限应用的试验性质.但将来会大力推广。迄今为止.这些编程语言主要用于计算的理论与实践方面和研制人工智能系统。但是它们未来的使用范围,包括用户界面。过程控制和社会现象的模拟。作者侧重描述这两种语言的语法和语义。属于第一种标准的是离散型语言.它的语句描述在给定的时间序列内所研究的对象状态之间的联系。以所谓区间时态逻辑(ITL-IntervalTemporalLogic)为基础的语言属于另一种标准.这种逻辑针对给定时间间隔决定的子区间。专门讨论了用于确定过去取得的结果与未来必要行动之间联系的命令语句的应用。 展开更多
关键词 时序逻辑 可执行 区间时态逻辑 编程语言 过程控制 用户界面 时间序列 理论与实践 人工智能系统 两种语言
下载PDF
时态约束下的频繁模式挖掘算法
9
作者 杜奕 卢德唐 +1 位作者 李道伦 卫五洲 《模式识别与人工智能》 EI CSCD 北大核心 2007年第4期538-544,共7页
时态数据是一类重要的数据信息.利用数据中包含的时间属性可以形象描述数据中潜在的变化规律,预测将来可能的发展趋势.本文提出一种时态频繁模式挖掘算法(TemFP).根据现有的时态查询函数,该算法给出一种用于存储频繁模式时态属性的双树... 时态数据是一类重要的数据信息.利用数据中包含的时间属性可以形象描述数据中潜在的变化规律,预测将来可能的发展趋势.本文提出一种时态频繁模式挖掘算法(TemFP).根据现有的时态查询函数,该算法给出一种用于存储频繁模式时态属性的双树结构(DB^+-tree).利用包含 DB^+-tree 的时态频繁模式树,使用户定义的时态规则快速查询成为可能.实验结果表明该算法是有效和可扩展的. 展开更多
关键词 时态频繁模式挖掘算法(TemFP) 时态频繁模式 时态区间查询 双树结构(DB^+-tree)
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部