2024年8月21日
星期三
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
江苏省自然科学基金(BK20130812)
作品数:
5
被引量:5
H指数:2
相关作者:
康达周
沈国华
廖莉莉
黄志球
阚双龙
更多>>
相关机构:
南京航空航天大学
武汉大学
更多>>
发文基金:
江苏省自然科学基金
中央高校基本科研业务费专项资金
国家自然科学基金
更多>>
相关领域:
自动化与计算机技术
文化科学
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
8个
自动化与计算...
3个
电子电信
3个
航空宇航科学...
3个
文化科学
2个
交通运输工程
2个
理学
1个
经济管理
1个
机械工程
1个
一般工业技术
1个
自然科学总论
主题
6个
描述逻辑
6个
故障树
6个
故障树分析
5个
形式化
5个
时序逻辑
5个
线性时序逻辑
4个
映射
4个
搜索
3个
代码
3个
代码生成
3个
动态故障树
2个
代码分析
2个
代码结构
2个
代码模式
2个
代码自动生成
2个
袋模型
2个
登记
2个
低能耗
2个
低延时
2个
迭代
机构
8个
南京航空航天...
2个
东南大学
1个
南京大学
1个
天津工业大学
1个
武汉大学
1个
南京航空学院
资助
8个
江苏省自然科...
8个
中央高校基本...
7个
国家高技术研...
7个
国家自然科学...
5个
中国博士后科...
4个
江苏省博士后...
3个
江苏省普通高...
2个
国防基础科研...
2个
国家重点基础...
2个
湖南省自然科...
2个
上海市高校选...
2个
中央级公益性...
2个
国家教育部博...
2个
江苏省基础研...
2个
江苏省研究生...
2个
教育部人文社...
2个
软件工程国家...
2个
上海市教育委...
2个
上海市教育委...
2个
中国航空科学...
传媒
7个
计算机科学
5个
小型微型计算...
5个
软件学报
5个
计算机与现代...
4个
计算机学报
4个
计算机工程与...
4个
计算机应用研...
4个
计算技术与自...
3个
计算机研究与...
3个
计算机系统应...
2个
系统工程与电...
2个
电子学报
2个
南京航空航天...
2个
东南大学学报...
2个
计算机应用与...
2个
计算机工程与...
2个
控制与决策
2个
应用科学学报
2个
计算机工程与...
2个
计算机与数字...
地区
8个
江苏省
共
8
条 记 录,以下是 1-8
全选
清除
导出
康达周
供职机构:南京航空航天大学计算机科学与技术学院
研究主题:描述逻辑 语义WEB 本体 知识表示 英文
发表作品
相关人物
供职机构
所获资助
研究领域
沈国华
供职机构:南京航空航天大学
研究主题:本体 描述逻辑 数据挖掘 隐私 数据流
发表作品
相关人物
供职机构
所获资助
研究领域
阚双龙
供职机构:南京航空航天大学计算机科学与技术学院
研究主题:SPIN 嵌入式 机载软件 适航认证 嵌入式系统
发表作品
相关人物
供职机构
所获资助
研究领域
马琳
供职机构:南京航空航天大学
研究主题:故障树分析 交叉口信号 故障树 智能交通控制 交通流模型
发表作品
相关人物
供职机构
所获资助
研究领域
王顺
供职机构:南京航空航天大学计算机科学与技术学院
研究主题:本体 基于本体 本体映射 本体匹配 软件体系结构设计
发表作品
相关人物
供职机构
所获资助
研究领域
司佳
供职机构:南京航空航天大学计算机科学与技术学院
研究主题:可靠性分析 动态故障树 形式化验证 故障树分析 描述逻辑
发表作品
相关人物
供职机构
所获资助
研究领域
廖莉莉
供职机构:南京航空航天大学计算机科学与技术学院
研究主题:本体 软件质量 指标体系 安全关键系统 故障树分析
发表作品
相关人物
供职机构
所获资助
研究领域
黄志球
供职机构:南京航空航天大学
研究主题:WEB服务 隐私 抽象语法树 代码 本体
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张