中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
自动化研究所 [3]
沈阳自动化研究所 [3]
计算技术研究所 [1]
遥感与数字地球研究所 [1]
软件研究所 [1]
采集方式
OAI收割 [9]
内容类型
期刊论文 [6]
学位论文 [2]
会议论文 [1]
发表日期
2024 [1]
2023 [2]
2011 [1]
2009 [1]
2005 [1]
1995 [2]
更多
学科主题
计算机科学技术 [1]
计算机科学技术::人... [1]
筛选
浏览/检索结果:
共9条,第1-9条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
基于时序图推理的设备剩余使用寿命预测
期刊论文
OAI收割
自动化学报, 2024, 卷号: 50, 期号: 1, 页码: 76-88
作者:
刘雨蒙
;
郑旭
;
田玲
;
王宏安
  |  
收藏
  |  
浏览/下载:35/0
  |  
提交时间:2024/04/12
剩余使用寿命
时序图推理
图神经网络
深度推理网络
时序知识建模与推理方法研究
学位论文
OAI收割
2023
作者:
邵朋朋
  |  
收藏
  |  
浏览/下载:32/0
  |  
提交时间:2023/06/30
时序知识图谱,Tucker 分解,相关性计算,伪孪生策略网络,演化学习,知识推理
复杂动态图数据的建模研究
学位论文
OAI收割
2023
作者:
张孟奇
  |  
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2023/07/03
复杂动态图数据
图神经网络
时序知识图谱推理
动态推荐
可判定的时序动态描述逻辑
期刊论文
OAI收割
软件学报, 2011, 卷号: 22.0, 期号: 007, 页码: 1524
作者:
常亮
;
史忠植
;
古天龙
;
王晓峰
  |  
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
动态描述逻辑
分支时序逻辑
知识表示和推理
动作理论
Tableau判定算法
直觉线性μ-演算中的合成推理
期刊论文
OAI收割
软件学报, 2009, 卷号: 20, 期号: 8
张文辉
  |  
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2010/08/24
合成推理
命题线性时序逻辑
直觉线性μ-演算
compositionalreasoning
propositionallineartemporallogic
intuitionisticlineartimeμ-calculus
动态贝叶斯网络在遥感变化检测中的应用
会议论文
OAI收割
2005
欧阳赟
;
马建文
;
戴芹
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2015/01/05
变化检测
概率推理
时序数据
动态数据
变量集合
发展潜力
土地覆盖类型
利用时
二元组
时间变化
时序推理的现状
期刊论文
OAI收割
信息与控制, 1995, 卷号: 24, 期号: 2, 页码: 101-112
作者:
郑时雨
;
肖湘东
;
王正方
;
齐继光
  |  
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2010/11/29
时间
时区
时间点
时序逻辑
时序推理
对Allen的时间理论的某些改进
期刊论文
OAI收割
信息与控制, 1995, 卷号: 24, 期号: 3, 页码: 148-156
作者:
王正方
;
齐继光
;
郑时雨
;
肖湘东
  |  
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2010/11/29
时间点
时区
时间元素集
时序推理
约束传播
基于黑板结构的多传感器数据溶合系统FS-1
期刊论文
OAI收割
机器人, 1991, 卷号: 13, 期号: 3, 页码: 54-61
作者:
宋国宁
;
杨淮清
;
刘述忠
;
刘金德
;
齐继光
  |  
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2010/11/29
移动式机器人
定位
时间(时序)推理
数据溶合
引导法