-
题名可判定的时序动态描述逻辑
被引量:6
- 1
-
-
作者
常亮
史忠植
古天龙
王晓峰
-
机构
桂林电子科技大学广西可信软件重点实验室
中国科学院计算技术研究所智能信息处理重点实验室
-
出处
《软件学报》
EI
CSCD
北大核心
2011年第7期1524-1537,共14页
-
基金
国家自然科学基金(60903079
60775035
+4 种基金
60963010
60803033)
国家高技术研究发展计划(863)(2007AA01Z132)
国家重点基础研究发展计划(973)(2007CB311004)
广西自然科学基金(0832006Z)
-
文摘
动态描述逻辑DDL(dynamic description logic)提供了一种基于描述逻辑的动作理论,适用于语义Web环境下对动态领域知识的刻画和推理.为了将分支时序逻辑的刻画能力引入到动态描述逻辑中,将时间的进展体现为原子动作的执行,从而将时序维与动态维统一起来.在此基础上,从描述逻辑ALCQIO出发构建了一个时序动态描述逻辑TDALCQIO,给出了TDALCQIO的Tableau判定算法,并证明了算法的可终止性和正确性.TDALCQIO不仅兼容了构建在描述逻辑ALCQIO基础上的动态描述逻辑的刻画和推理能力,而且还可从可达性、安全性等角度对整个动态领域的时序特征进行刻画和推理,从而为语义Web环境下对动态领域知识的刻画和推理提供了进一步的逻辑支持.
-
关键词
动态描述逻辑
分支时序逻辑
知识表示和推理
动作理论
Tableau判定算法
-
Keywords
dynamic description logic
branching temporal logic
knowledge representation and reasoning
action theory
Tableau decision algorithm
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于时序双分支图卷积网络的交通流量预测
- 2
-
-
作者
昝欣
刘煜明
刘辰昀
-
机构
上海交通大学安泰经济与管理学院
上海国际港务(集团)股份有限公司
上海市大数据中心
-
出处
《信息系统学报》
2024年第1期114-131,共18页
-
基金
2022年(第二批)上海市城市数字化转型专项资金(上港集团港口物流大数据中心项目,编号:202202013)。
-
文摘
米精准的交通流量预测是现代智能交通系统稳定运行的关键。在过去的十几年中,交通流量数据呈爆炸式增长,智能交通步人大数据时代。交通流量预测受空间道路拓扑结构和时序流量运动模式等多种因素影响,如何捕获观测节点间的复杂时空相关性,如何利用合理的先验知识辅助建模海量数据,提升在真实场景下的预测精度,成为交通流量预测的重点。现有交通流量预测方法主要使用基于隐式特征提取的设计,在综合交通时空信息,捕获节点时空依赖关系上仍存在模型能力弱,可解释性差等不足。本文提出了一种时序双分支图卷积网络(Bi-Path graph convolutional network,简称Bi-PathGCN),设计了基于时序特征提取的双分支图卷积网络。双分支图卷积网络首先利用时序特征解耦模块将时序特征拆分成低频分量和高频分量。不同分量输入由两个并行的时空特征提取模块提取有判别力的特征,并利用时空特征融合模块进行自适应加权融合。该设计显式利用了时序先验信息,提升了模型对复杂时空结构信息的捕获能力。本文还使用两个真实场景下的交通数据集评估了该方法的预测性能。实验表明,本文提出的双分支图卷积网络结构,可以有效利用不同时序分量的互补信息,简化模型的学习难度,在对比模型中取得了更好的表现,体现了本方法在精准预测交通流量方面的潜力和优越性。
-
关键词
图卷积网络
时序双分支结构
时序分解
自适应加权融合
-
Keywords
Graph convolutional networks
Bi-Path GCN
Temporal decomposition
Adaptive weighted fusion
-
分类号
U495
[交通运输工程—交通运输规划与管理]
-
-
题名具有全局时间的BDI模型
- 3
-
-
作者
张会
李思昆
吴鹏
-
机构
国防科技大学计算机学院
海军潜艇学院作战指挥系
-
出处
《计算机工程与科学》
CSCD
2007年第9期129-132,共4页
-
基金
国家973计划资助项目(2002CB312105)
国家863计划资助项目(2004AA115130)
-
文摘
具有分支时序的主体BDI模型没有一个统一的时间度量与现实中的时间相对应,不方便进行关于时间相关目标的推理和实现基于时间相关目标的协同。本文给出了一个具有分支时序和全局时间的主体BDI模型。该模型结构简单、自然,不存在"逻辑全知"和"副作用"等问题。
-
关键词
主体
BDI模型
分支时序
全局时间
-
Keywords
agent
BDI model
branching temporal logie
global time
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于CTL的循环优化变换描述方法
- 4
-
-
作者
夏勇
薛云志
陶秋铭
赵琛
-
机构
中国科学院软件研究所互联网软件技术实验室
-
出处
《计算机应用研究》
CSCD
北大核心
2007年第7期49-51,60,共4页
-
基金
国家科技攻关计划资助项目(2005BA113A01
2005BA113A02)
-
文摘
TRANS是基于CTL的优化变换描述语言,对TRANS语言作了宏扩展,给出了循环嵌套、循环归纳变量、循环依赖及方向向量的时序逻辑描述。从依赖分析的角度对重排序循环优化变换加以考查,并以循环逆转和循环交换为例阐述了其形式化描述方法。
-
关键词
循环优化变换
分支时序逻辑
依赖分析
-
Keywords
loop optimization transformation
CTL
dependence analysis
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-