中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
计算技术研究所 [35]
软件研究所 [26]
长春光学精密机械与物... [4]
自动化研究所 [1]
沈阳自动化研究所 [1]
上海技术物理研究所 [1]
更多
采集方式
OAI收割 [68]
内容类型
期刊论文 [62]
学位论文 [6]
发表日期
2018 [1]
2017 [1]
2015 [1]
2014 [4]
2013 [2]
2012 [1]
更多
学科主题
红外系统与元部件 [1]
筛选
浏览/检索结果:
共68条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
从视频到语言:视频标题生成与描述研究综述
期刊论文
OAI收割
自动化学报, 2022, 卷号: 48, 期号: 2, 页码: 375-397
作者:
汤鹏杰
;
王瀚漓
  |  
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2024/05/20
视频描述
卷积神经网络
循环神经网络
语段生成
情感表达
逻辑语义
描述逻辑ALC中关于伪子概念极小改变的R-演算
期刊论文
OAI收割
软件学报, 2019, 卷号: 30.0, 期号: 012, 页码: 3683
作者:
王雨晖
;
眭跃飞
  |  
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2023/12/04
描述逻辑
信念修正
R-演算
伪子概念
■-极小改变
面向异构语义映射的D3L转换算法及其性质研究
期刊论文
OAI收割
计算机研究与发展, 2018, 卷号: 55.0, 期号: 012, 页码: 2715
作者:
赵晓非
;
史忠植
;
冯志勇
  |  
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2023/12/04
分布式动态描述逻辑
异构桥规则
正则性
集中式推理
计算复杂度
Contrary description logic: Gentzen deduction system
期刊论文
OAI收割
中国科学:信息科学(英文版), 2017, 卷号: 60.0, 期号: 011, 页码: 112103
作者:
Li Wei
;
Sui Yuefei
;
Luo Jie
;
Chen Bo
  |  
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2023/12/04
描述逻辑
演绎系统
构造函数
金
语义
基于动态描述逻辑的Web自动化服务组合
期刊论文
OAI收割
高技术通讯, 2015, 卷号: 0.0, 期号: 2.0, 页码: 118
作者:
张建华
;
田东平
;
岳金朋
;
张博
  |  
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2023/12/04
Web服务组合
语义Web
描述逻辑
动态描述逻辑(DDL)
基于DSP的空间相机1553B总线通信设计与实现
期刊论文
OAI收割
计算机测量与控制, 2014, 期号: 5, 页码: 1575-1577+1586
作者:
韩诚山
;
赵庆磊
;
黄良
;
李祥之
收藏
  |  
浏览/下载:28/0
  |  
提交时间:2015/04/17
1553B总线
空间相机
BU-61580
描述栈消息
接口逻辑
D3L(ccy)的属性及分布式Tableaux推理算法的研究
期刊论文
OAI收割
计算机研究与发展, 2014, 卷号: 51.0, 期号: 003, 页码: 570
作者:
赵晓非
;
田东平
;
张文波
;
史忠植
  |  
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2023/12/04
分布式动态描述逻辑
知识传播
组合一致性
分布式推理
Tableaux推理算法
distributed
dynamic
description
logics
(D3L)
支持链式桥规则的分布式动态描述逻辑
期刊论文
OAI收割
高技术通讯, 2014, 卷号: 24, 期号: 5, 页码: 452
作者:
张建华
;
史忠植
;
岳金朋
;
齐保元
;
蒋运承
  |  
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2023/12/04
描述逻辑(DL)
动态描述逻辑(DDL)
分布式动态描述逻辑(D3L)
桥规则
链式桥规则
链式桥规则导致的D3L知识传播及推理
期刊论文
OAI收割
计算机学报, 2014, 卷号: 37.0, 期号: 012, 页码: 2419
作者:
赵晓非
;
田东平
;
史颖欢
;
史忠植
  |  
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2023/12/04
分布式动态描述逻辑(D3L)
知识传播
合取映射
链式桥规则
面向数据库中关系的描述逻辑
期刊论文
OAI收割
计算机科学, 2013, 卷号: 40.0, 期号: 1.0, 页码: 1
作者:
眭跃飞
;
刘超
  |  
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2023/12/04
数据库
关系
属性
描述逻辑
概念