您的位置： 专家智库 > >

江苏省“六大人才高峰”高层次人才项目(2011-DZXX-035)

作品数：11 被引量：47H指数：4
相关作者：钱振江黄皓宋方敏刘苇李康杰更多>>
相关机构：南京大学常熟理工学院伦敦大学更多>>
发文基金：江苏省“六大人才高峰”高层次人才项目江苏省高校自然科学研究项目国家自然科学基金更多>>
相关领域：自动化与计算机技术医药卫生理学更多>>

领域

  • 19个自动化与计算...
  • 11个电子电信
  • 9个文化科学
  • 8个医药卫生
  • 7个理学
  • 5个电气工程
  • 4个生物学
  • 4个机械工程
  • 3个经济管理
  • 2个建筑科学
  • 1个天文地球
  • 1个金属学及工艺
  • 1个水利工程
  • 1个轻工技术与工...
  • 1个环境科学与工...
  • 1个农业科学
  • 1个艺术
  • 1个自然科学总论
  • 1个兵器科学与技...

主题

  • 12个内核
  • 12个操作系
  • 12个操作系统
  • 11个形式化
  • 11个硬件
  • 11个微内核
  • 11个架构
  • 10个形式化设计
  • 10个形式化验证
  • 10个微内核架构
  • 9个网络
  • 9个计算机
  • 7个定理
  • 7个定理证明
  • 7个信号
  • 6个ISABEL...
  • 5个导联
  • 5个断言
  • 4个电路
  • 4个电图

机构

  • 16个南京大学
  • 5个常熟理工学院
  • 2个扬州大学
  • 2个中国药科大学
  • 1个东北大学
  • 1个河海大学
  • 1个伦敦大学
  • 1个南京林业大学
  • 1个南京师范大学
  • 1个南京军区南京...
  • 1个中国矿业大学
  • 1个山东师范大学
  • 1个计算机软件新...

资助

  • 19个江苏省“六大...
  • 18个国家自然科学...
  • 15个江苏省高校自...
  • 12个国家高技术研...
  • 10个江苏省自然科...
  • 7个江苏省科技计...
  • 6个中国博士后科...
  • 5个江苏省“青蓝...
  • 5个中央高校基本...
  • 4个江苏省科技支...
  • 4个江苏省“青蓝...
  • 3个国家教育部博...
  • 3个国家自然科学...
  • 3个江苏省高等教...
  • 2个国家重点基础...
  • 2个江苏省教育厅...
  • 2个苏州市科技发...
  • 2个国家级大学生...
  • 2个江苏省高校优...
  • 2个中国矿业大学...

传媒

  • 8个电子学报
  • 8个南京大学学报...
  • 8个计算机工程
  • 7个计算机学报
  • 6个计算机应用与...
  • 6个计算机科学
  • 5个物理学报
  • 5个计算机应用研...
  • 5个小型微型计算...
  • 5个北京生物医学...
  • 5个计算机工程与...
  • 4个科学通报
  • 4个电子测量技术
  • 4个计算机研究与...
  • 4个数据采集与处...
  • 4个软件学报
  • 4个中国生物医学...
  • 4个常熟理工学院...
  • 4个2013中国...
  • 3个电子技术应用

地区

  • 19个江苏省
共 19 条 记 录，以下是 1-10
钱振江
供职机构：常熟理工学院
研究主题：操作系统 形式化设计 形式化验证 定理证明 形式化
发表作品相关人物供职机构所获资助研究领域
黄皓
供职机构：南京大学
研究主题：入侵检测 网络安全 访问控制 操作系统 计算机网络
发表作品相关人物供职机构所获资助研究领域
宋方敏
供职机构：南京大学计算机科学与技术系
研究主题：量子计算 形式化设计 公理集合论 操作系统 量子算法
发表作品相关人物供职机构所获资助研究领域
刘苇
供职机构：南京大学
研究主题：形式化验证 操作系统 形式化设计 定理证明 ISABELLE
发表作品相关人物供职机构所获资助研究领域
李康杰
供职机构：南京大学计算机科学与技术系
研究主题：形式化验证 形式化设计 形式化 微内核架构 ISABELLE
发表作品相关人物供职机构所获资助研究领域
庄建军
供职机构：南京大学
研究主题：心电信号 乐音 微控制器 尿液 尿路造口袋
发表作品相关人物供职机构所获资助研究领域
刘永俊
供职机构：常熟理工学院
研究主题：人脸识别 特征抽取 最大散度差鉴别分析 最大散度差 主分量分析
发表作品相关人物供职机构所获资助研究领域
卢亮
供职机构：南京大学
研究主题：微内核 形式化设计 形式化描述 形式化 多线程机制
发表作品相关人物供职机构所获资助研究领域
汤力
供职机构：常熟理工学院
研究主题：操作系统 虚拟机监控器 权能 虚拟化 动态内存
发表作品相关人物供职机构所获资助研究领域
鲁亚峰
供职机构：南京大学计算机科学与技术系
研究主题：ANDROID系统 安卓系统 权限 通信安全 用户
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0