2024年8月20日
星期二
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
阚双龙
作品数:
16
被引量:109
H指数:5
供职机构:
南京航空航天大学计算机科学与技术学院
更多>>
发文基金:
国家自然科学基金
中央高校基本科研业务费专项资金
中国博士后科学基金
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
黄志球
南京航空航天大学计算机科学与技...
陈哲
南京航空航天大学计算机科学与技...
沈国华
南京航空航天大学计算机科学与技...
杨志斌
南京航空航天大学计算机科学与技...
徐丙凤
南京航空航天大学计算机科学与技...
作品列表
供职机构
相关作者
所获基金
研究领域
人物
机构
主题
传媒
资助
领域
任意字段
机构
人物
主题
传媒
资助
领域
任意字段
在结果中检索
领域
19个
自动化与计算...
11个
文化科学
7个
理学
6个
电子电信
6个
航空宇航科学...
3个
机械工程
2个
经济管理
2个
电气工程
2个
自然科学总论
1个
生物学
1个
天文地球
1个
金属学及工艺
1个
建筑科学
1个
交通运输工程
1个
环境科学与工...
1个
医药卫生
1个
一般工业技术
1个
社会学
1个
语言文字
1个
兵器科学与技...
主题
13个
形式化
12个
教学
11个
故障树
10个
形式化方法
10个
时序逻辑
9个
代码
9个
语义
9个
云计算
9个
嵌入式
9个
规约
9个
安全关键软件
8个
用户
8个
线性时序逻辑
8个
本体
7个
映射
6个
形式化描述
6个
隐私
5个
多目标
5个
隐私保护
4个
代码分析
机构
19个
南京航空航天...
2个
东南大学
2个
南京大学
1个
南京林业大学
1个
南京邮电大学
1个
北京航空航天...
1个
天津工业大学
1个
武汉大学
1个
昆明理工大学
1个
南京工程学院
1个
重庆大学
1个
中国科学院软...
1个
计算机软件新...
1个
江苏省无线传...
1个
南京航空学院
资助
18个
国家自然科学...
16个
国家高技术研...
15个
中国博士后科...
14个
中央高校基本...
12个
江苏省自然科...
9个
江苏省博士后...
8个
国家重点基础...
8个
中国航空科学...
7个
江苏省普通高...
7个
江苏省研究生...
6个
中央级公益性...
6个
国家教育部博...
4个
国家重点实验...
4个
江苏省高校自...
3个
湖南省自然科...
3个
教育部留学回...
3个
教育部人文社...
2个
国防基础科研...
2个
上海市高校选...
2个
江苏省高等教...
传媒
14个
软件学报
13个
计算机科学
12个
小型微型计算...
10个
计算机研究与...
9个
计算机学报
9个
计算机工程与...
8个
计算机科学与...
7个
计算机工程
7个
计算机与现代...
7个
工业和信息化...
6个
电子学报
6个
第十一届全国...
5个
计算机应用与...
5个
计算机应用研...
5个
计算机工程与...
5个
计算技术与自...
4个
计算机应用
4个
计算机系统应...
3个
南京航空航天...
3个
航空学报
地区
19个
江苏省
共
19
条 记 录,以下是 1-10
全选
清除
导出
黄志球
供职机构:南京航空航天大学
研究主题:WEB服务 隐私 抽象语法树 代码 本体
发表作品
相关人物
供职机构
所获资助
研究领域
陈哲
供职机构:南京航空航天大学计算机科学与技术学院
研究主题:源代码 抽象语法树 插桩 内存 词法分析
发表作品
相关人物
供职机构
所获资助
研究领域
沈国华
供职机构:南京航空航天大学
研究主题:本体 描述逻辑 数据挖掘 隐私 数据流
发表作品
相关人物
供职机构
所获资助
研究领域
杨志斌
供职机构:南京航空航天大学
研究主题:AADL 自动生成方法 安全关键软件 L模型 AAD
发表作品
相关人物
供职机构
所获资助
研究领域
王飞
供职机构:南京航空航天大学计算机科学与技术学院
研究主题:可追踪性 MAPREDUCE 基于数据流 数据流 嵌入式
发表作品
相关人物
供职机构
所获资助
研究领域
吕威
供职机构:南京航空航天大学计算机科学与技术学院
研究主题:SPIN 检测环境
发表作品
相关人物
供职机构
所获资助
研究领域
徐丙凤
供职机构:南京林业大学信息科学技术学院
研究主题:故障树 接口自动机 嵌入式软件 形式化方法 信息物理融合系统
发表作品
相关人物
供职机构
所获资助
研究领域
廖莉莉
供职机构:南京航空航天大学计算机科学与技术学院
研究主题:本体 软件质量 指标体系 安全关键系统 故障树分析
发表作品
相关人物
供职机构
所获资助
研究领域
柯昌博
供职机构:南京邮电大学
研究主题:隐私 隐私数据 隐私信息 隐私策略 云计算
发表作品
相关人物
供职机构
所获资助
研究领域
程亦涵
供职机构:南京航空航天大学计算机科学与技术学院
研究主题:IMC AADL 形式化方法 建模方法 系统可靠性
发表作品
相关人物
供职机构
所获资助
研究领域
全选
清除
导出
共2页
<
1
2
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张