您的位置： 专家智库 > >

国家重点基础研究发展计划(2011CB302904)

作品数：3 被引量：3H指数：1
相关作者：郭建王文君朱晓冉章玥罗勇更多>>
相关机构：华东师范大学温州大学计算机软件新技术国家重点实验室更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划上海市科学技术委员会资助项目更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 9个自动化与计算...
  • 6个理学
  • 5个文化科学
  • 4个电子电信
  • 2个机械工程
  • 2个电气工程
  • 2个医药卫生
  • 2个自然科学总论
  • 1个生物学
  • 1个天文地球
  • 1个矿业工程
  • 1个石油与天然气...
  • 1个交通运输工程
  • 1个航空宇航科学...
  • 1个核科学技术

主题

  • 5个定理
  • 5个教学
  • 4个定理证明
  • 4个形式化
  • 4个形式化方法
  • 4个智能卡
  • 4个精化
  • 4个教学改革
  • 3个多项式
  • 3个形式化验证
  • 3个时态逻辑
  • 3个课程
  • 3个课程教学
  • 2个等价
  • 2个等价性验证
  • 2个递归
  • 2个电路
  • 2个多播
  • 2个信号
  • 2个一致性

机构

  • 6个华东师范大学
  • 3个温州大学
  • 2个西安邮电学院
  • 2个西安电子科技...
  • 1个上海大学
  • 1个山东师范大学
  • 1个中国科学院成...
  • 1个中国科学院成...
  • 1个中国科学院上...
  • 1个西安邮电大学
  • 1个计算机软件新...

资助

  • 9个国家重点基础...
  • 9个国家自然科学...
  • 4个浙江省教育厅...
  • 4个上海市科学技...
  • 3个国家高技术研...
  • 3个上海市自然科...
  • 2个教育部科学技...
  • 2个浙江省自然科...
  • 2个国家科技重大...
  • 2个陕西省教育厅...
  • 1个安徽省自然科...
  • 1个国防基础科研...
  • 1个国防科技技术...
  • 1个四川省教育厅...
  • 1个陕西省教育厅...
  • 1个陕西省“13...
  • 1个广西研究生教...
  • 1个江苏省“六大...
  • 1个西安市科技计...
  • 1个高等理工教育...

传媒

  • 6个计算机工程与...
  • 6个计算机应用
  • 5个软件学报
  • 3个系统科学与数...
  • 3个计算机工程
  • 3个计算机工程与...
  • 3个计算机科学
  • 3个信息网络安全
  • 2个计算机研究与...
  • 2个数学的实践与...
  • 2个计算机学报
  • 2个数学教学研究
  • 2个计算机应用研...
  • 2个小型微型计算...
  • 2个计算机辅助设...
  • 2个系统仿真学报
  • 2个高等数学研究
  • 2个西安电子科技...
  • 2个西安邮电学院...
  • 2个现代电子技术

地区

  • 5个上海市
  • 3个浙江省
  • 1个陕西省
共 9 条 记 录，以下是 1-9
郭建
供职机构：华东师范大学
研究主题：形式化验证 三值逻辑 二叉判定图 布尔函数 片上系统
发表作品相关人物供职机构所获资助研究领域
王文君
供职机构：华东师范大学
研究主题：精化 定理证明 智能卡 EVENT-B
发表作品相关人物供职机构所获资助研究领域
曾振柄
供职机构：上海大学理学院数学系
研究主题：多项式 可读证明 数学机械化 特征提取 数据挖掘
发表作品相关人物供职机构所获资助研究领域
林望
供职机构：温州大学数学与信息科学学院
研究主题：混成系统 数学实验 数学模型 研发人员绩效 绩效评价
发表作品相关人物供职机构所获资助研究领域
韩俊刚
供职机构：西安邮电大学
研究主题：片上网络 图形处理器 形式化验证 硬件 硬件设计
发表作品相关人物供职机构所获资助研究领域
章玥
供职机构：华东师范大学
研究主题：数据平面 可编程网络 智慧交通 P4 交换机
发表作品相关人物供职机构所获资助研究领域
罗勇
供职机构：温州大学
研究主题：LYAPUNOV函数 全局渐近稳定 极限环 LOTKA-VOLTERRA系统 稳定性
发表作品相关人物供职机构所获资助研究领域
朱晓冉
供职机构：华东师范大学
研究主题：操作系统 定理证明 智能卡 操作系统内核 循环不变式
发表作品相关人物供职机构所获资助研究领域
邹进
供职机构：温州大学数学与信息科学学院
研究主题：非线性 混成系统 可达性分析 可达性
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0