您的位置： 专家智库 > >

江苏省高校自然科学研究项目(12KJB520001)

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

领域

  • 17个自动化与计算...
  • 10个电子电信
  • 7个文化科学
  • 3个经济管理
  • 3个理学
  • 2个机械工程
  • 2个电气工程
  • 2个环境科学与工...
  • 2个医药卫生
  • 2个自然科学总论
  • 1个石油与天然气...
  • 1个金属学及工艺
  • 1个建筑科学
  • 1个水利工程
  • 1个交通运输工程
  • 1个农业科学
  • 1个社会学
  • 1个艺术

主题

  • 11个内核
  • 10个形式化
  • 10个形式化设计
  • 10个微内核
  • 10个架构
  • 10个操作系
  • 10个操作系统
  • 9个形式化验证
  • 9个微内核架构
  • 8个硬件
  • 7个定理
  • 7个定理证明
  • 7个虚拟化
  • 7个硬件虚拟化
  • 6个虚拟机
  • 6个ISABEL...
  • 5个断言
  • 4个地址寄存器
  • 4个动态内存
  • 4个形式化方法

机构

  • 10个南京大学
  • 5个常熟理工学院
  • 2个扬州大学
  • 1个东北大学
  • 1个河海大学
  • 1个安阳工学院
  • 1个伦敦大学
  • 1个南京林业大学
  • 1个湖北大学
  • 1个中国矿业大学
  • 1个武汉理工大学
  • 1个计算机软件新...
  • 1个郑州成功财经...

资助

  • 17个江苏省高校自...
  • 14个国家自然科学...
  • 12个江苏省“六大...
  • 10个国家高技术研...
  • 6个江苏省自然科...
  • 6个中国博士后科...
  • 6个江苏省科技计...
  • 4个江苏省科技支...
  • 3个国家自然科学...
  • 3个江苏省“青蓝...
  • 2个国家重点基础...
  • 2个苏州市科技发...
  • 2个国家教育部博...
  • 1个国家科技攻关...
  • 1个国家科技型中...
  • 1个河南省科技攻...
  • 1个湖北省自然科...
  • 1个国家科技重大...
  • 1个江苏省高技术...
  • 1个创新研究群体...

传媒

  • 7个计算机学报
  • 7个计算机应用研...
  • 7个计算机科学
  • 6个电子学报
  • 5个计算机工程
  • 5个计算机应用与...
  • 5个小型微型计算...
  • 5个计算机工程与...
  • 5个电脑知识与技...
  • 4个计算机研究与...
  • 4个电子技术应用
  • 4个常熟理工学院...
  • 4个2013中国...
  • 3个南京大学学报...
  • 3个计算机应用
  • 3个软件学报
  • 3个计算机工程与...
  • 3个电脑知识与技...
  • 2个计算机时代
  • 2个武汉大学学报...

地区

  • 14个江苏省
  • 2个河南省
  • 1个湖北省
共 17 条 记 录，以下是 1-10
黄皓
供职机构：南京大学
研究主题：网络安全 入侵检测 访问控制 操作系统 计算机网络
发表作品相关人物供职机构所获资助研究领域
钱振江
供职机构：常熟理工学院计算机科学与工程学院
研究主题：操作系统 形式化设计 形式化验证 定理证明 形式化
发表作品相关人物供职机构所获资助研究领域
宋方敏
供职机构：南京大学计算机科学与技术系
研究主题：量子计算 形式化设计 公理集合论 操作系统 量子算法
发表作品相关人物供职机构所获资助研究领域
汤力
供职机构：常熟理工学院
研究主题：操作系统 虚拟机监控器 权能 虚拟化 动态内存
发表作品相关人物供职机构所获资助研究领域
李跃新
供职机构：湖北大学
研究主题：知识管理 专家系统 并行计算 多智能体 知识表示
发表作品相关人物供职机构所获资助研究领域
刘永俊
供职机构：常熟理工学院
研究主题：人脸识别 特征抽取 最大散度差鉴别分析 最大散度差 主分量分析
发表作品相关人物供职机构所获资助研究领域
李康杰
供职机构：南京大学计算机科学与技术系
研究主题：形式化验证 形式化设计 形式化 微内核架构 ISABELLE
发表作品相关人物供职机构所获资助研究领域
王剑
供职机构：常熟理工学院
研究主题：次表层 溅射功率 渗剂 合金铸锭 磁控溅射技术
发表作品相关人物供职机构所获资助研究领域
姚宇峰
供职机构：常熟理工学院
研究主题：数据通信 检控 网络 数据包丢失 初始化
发表作品相关人物供职机构所获资助研究领域
卢亮
供职机构：南京大学
研究主题：微内核 形式化设计 形式化描述 形式化 多线程机制
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0