您的位置： 专家智库 > >

国家自然科学基金(60873061)

作品数：2 被引量：1H指数：1
相关作者：朱梅霞王捍贫韩晓琼刘西奎徐春香更多>>
相关机构：北京大学教育部天津工业大学更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 6个自动化与计算...
  • 4个文化科学
  • 3个理学
  • 2个生物学
  • 1个电子电信

主题

  • 4个形式化
  • 4个形式化方法
  • 4个形式化分析
  • 4个语义
  • 4个实时系统
  • 4个顺序图
  • 3个软件工程
  • 3个同步网
  • 2个调度
  • 2个虚拟主干网
  • 2个循环图
  • 2个研究生课程
  • 2个运算符
  • 2个支配
  • 2个时段演算
  • 2个数学
  • 2个硕士
  • 2个硕士研究生
  • 2个硕士研究生课...
  • 2个思维

机构

  • 5个北京大学
  • 5个教育部
  • 1个北京林业大学
  • 1个华中科技大学
  • 1个山东科技大学
  • 1个青岛大学
  • 1个天津工业大学
  • 1个中国科学院
  • 1个徐州师范大学

资助

  • 6个国家重点基础...
  • 6个国家自然科学...
  • 3个国家高技术研...
  • 1个国家科技攻关...
  • 1个国家科技重大...
  • 1个山东科技大学...
  • 1个博士科研启动...
  • 1个国家教育部博...
  • 1个国家攀登计划
  • 1个国家重点实验...

传媒

  • 4个北京大学学报...
  • 4个小型微型计算...
  • 3个计算机研究与...
  • 3个计算机工程与...
  • 3个系统仿真学报
  • 3个2006年全...
  • 2个中国大学教学
  • 2个数学进展
  • 2个计算机学报
  • 2个武汉大学学报...
  • 2个大学数学
  • 2个2007全国...
  • 2个第十一届全国...
  • 1个系统工程与电...
  • 1个科学通报
  • 1个数学学报（中...
  • 1个淮南工业学院...
  • 1个中国矿业大学...
  • 1个数学的实践与...
  • 1个数据采集与处...

地区

  • 2个湖南省
  • 2个北京市
  • 1个山东省
  • 1个天津市
共 6 条 记 录，以下是 1-6
朱梅霞
供职机构：天津工业大学计算机科学与软件学院
研究主题：顺序图 MARTE 实时系统 形式化分析 形式化方法
发表作品相关人物供职机构所获资助研究领域
王捍贫
供职机构：北京大学
研究主题：保持性 模型论 Q 形式化方法 MARTE
发表作品相关人物供职机构所获资助研究领域
刘西奎
供职机构：山东科技大学数学与系统科学学院
研究主题：遗传算法 关联色数 关联着色 对策色数 图论
发表作品相关人物供职机构所获资助研究领域
屈婉玲
供职机构：北京大学信息科学技术学院
研究主题：PETRI网 工作流 工作流模式 连接器 程序设计
发表作品相关人物供职机构所获资助研究领域
韩晓琼
供职机构：教育部
研究主题：并发控制方法 并发控制 MARTE 形式化分析 形式化方法
发表作品相关人物供职机构所获资助研究领域
徐春香
供职机构：教育部
研究主题：WEB服务组合 同步网 BPEL IC WS-BPEL
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0