期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于直觉模糊集的不确定时序逻辑模型
被引量:
6
1
作者
申晓勇
雷英杰
+1 位作者
周创明
杨少春
《计算机科学》
CSCD
北大核心
2010年第5期187-189,273,共4页
针对现有时序逻辑在描述复杂不确定时间信息方面的局限性,提出了一种基于直觉模糊集的不确定时序逻辑模型。该模型分别定义了离散论域和连续论域下的不确定点时序逻辑、点-时段时序逻辑以及时段时序逻辑的判定公式;引入直觉模糊集的犹...
针对现有时序逻辑在描述复杂不确定时间信息方面的局限性,提出了一种基于直觉模糊集的不确定时序逻辑模型。该模型分别定义了离散论域和连续论域下的不确定点时序逻辑、点-时段时序逻辑以及时段时序逻辑的判定公式;引入直觉模糊集的犹豫度参数,使得推理结果更加精确。最后通过实例对两类不确定时间信息进行描述,并对其时序逻辑关系的可能性进行度量。通过分析表明该模型是比较优越的。
展开更多
关键词
直觉模糊集合
时序
逻辑
时段
时序
逻辑
点时序逻辑
下载PDF
职称材料
一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理
被引量:
13
2
作者
林闯
刘婷
曲扬
《计算机学报》
EI
CSCD
北大核心
2001年第12期1299-1309,共11页
针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .时间 Petri网模型表示的引入 ,增强了扩展时段时序逻辑的描述直观性及分析能力 ,为进行线性推理提供了有...
针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .时间 Petri网模型表示的引入 ,增强了扩展时段时序逻辑的描述直观性及分析能力 ,为进行线性推理提供了有利的工具 .同时还提出了几种变迁间的实施推理规则 .运用这些规则可以简化复杂时序关系的 Petri网模型 ,并在线性时间复杂度内定量地得到各变迁间的时序逻辑关系 。
展开更多
关键词
点
-时段
时序
逻辑
扩展时段
时序
逻辑
时间Peter网
线性推理
人工智能
下载PDF
职称材料
题名
基于直觉模糊集的不确定时序逻辑模型
被引量:
6
1
作者
申晓勇
雷英杰
周创明
杨少春
机构
空军工程大学导弹学院
出处
《计算机科学》
CSCD
北大核心
2010年第5期187-189,273,共4页
基金
国家自然科学基金资助项目(No.60773209)
陕西省自然科学基金资助项目(No.2006F18)资助
文摘
针对现有时序逻辑在描述复杂不确定时间信息方面的局限性,提出了一种基于直觉模糊集的不确定时序逻辑模型。该模型分别定义了离散论域和连续论域下的不确定点时序逻辑、点-时段时序逻辑以及时段时序逻辑的判定公式;引入直觉模糊集的犹豫度参数,使得推理结果更加精确。最后通过实例对两类不确定时间信息进行描述,并对其时序逻辑关系的可能性进行度量。通过分析表明该模型是比较优越的。
关键词
直觉模糊集合
时序
逻辑
时段
时序
逻辑
点时序逻辑
Keywords
Intuitionistic fuzzy sets Uncertain temporal logic Interval temporallogic Point-temporal logic
分类号
TP182 [自动化与计算机技术—控制理论与控制工程]
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理
被引量:
13
2
作者
林闯
刘婷
曲扬
机构
清华大学计算机科学与技术系
出处
《计算机学报》
EI
CSCD
北大核心
2001年第12期1299-1309,共11页
基金
国家自然科学基金项目 ( 6 0 1730 12 )
国家重点基础研究发展规划项目( G19990 32 70 7)资助
文摘
针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .时间 Petri网模型表示的引入 ,增强了扩展时段时序逻辑的描述直观性及分析能力 ,为进行线性推理提供了有利的工具 .同时还提出了几种变迁间的实施推理规则 .运用这些规则可以简化复杂时序关系的 Petri网模型 ,并在线性时间复杂度内定量地得到各变迁间的时序逻辑关系 。
关键词
点
-时段
时序
逻辑
扩展时段
时序
逻辑
时间Peter网
线性推理
人工智能
Keywords
point-interval temporal logic, extended interval temporal logic, time Petri nets, linear inference
分类号
TP183 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于直觉模糊集的不确定时序逻辑模型
申晓勇
雷英杰
周创明
杨少春
《计算机科学》
CSCD
北大核心
2010
6
下载PDF
职称材料
2
一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理
林闯
刘婷
曲扬
《计算机学报》
EI
CSCD
北大核心
2001
13
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部