您的位置： 专家智库 > >

金暐

作品数：6 被引量：2H指数：1
供职机构：北京大学信息科学技术学院更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 4个自动化与计算...
  • 3个文化科学
  • 2个理学
  • 1个经济管理
  • 1个生物学
  • 1个机械工程
  • 1个电子电信
  • 1个电气工程
  • 1个轻工技术与工...
  • 1个交通运输工程
  • 1个医药卫生
  • 1个一般工业技术
  • 1个政治法律

主题

  • 4个顺序图
  • 3个形式化
  • 3个语义
  • 3个MARTE
  • 2个形式化方法
  • 2个形式化分析
  • 2个软件工程
  • 2个实时系统
  • 2个并发程序
  • 1个大学生
  • 1个带权
  • 1个带权图
  • 1个代码
  • 1个代谢
  • 1个单胺
  • 1个单胺类
  • 1个单核
  • 1个单核苷酸
  • 1个氮烯
  • 1个蛋白

机构

  • 3个北京大学
  • 2个教育部
  • 1个东南大学
  • 1个北京林业大学
  • 1个青岛大学
  • 1个苏州大学
  • 1个天津工业大学
  • 1个中国科学院
  • 1个南京审计大学

资助

  • 4个国家自然科学...
  • 3个国家重点基础...
  • 1个国家高技术研...
  • 1个国家科技攻关...
  • 1个国家社会科学...
  • 1个江苏省自然科...
  • 1个中国博士后科...
  • 1个NSFC-广...
  • 1个博士科研启动...
  • 1个国家教育部博...
  • 1个国家重点实验...
  • 1个江苏省“青蓝...
  • 1个江苏省“青蓝...
  • 1个江苏省“青蓝...
  • 1个江苏省博士后...
  • 1个江苏省高校优...
  • 1个江苏省高校自...
  • 1个教育部人文社...
  • 1个教育部人文社...

传媒

  • 3个武汉大学学报...
  • 2个数学学报（中...
  • 2个数学进展
  • 2个计算机研究与...
  • 2个北京大学学报...
  • 2个计算机工程与...
  • 2个小型微型计算...
  • 2个大学数学
  • 2个2011年全...
  • 1个科学通报
  • 1个中国大学教学
  • 1个数学的实践与...
  • 1个计算机学报
  • 1个苏州大学学报...
  • 1个计算机时代
  • 1个轴承
  • 1个数学物理学报...
  • 1个应用数学
  • 1个计算机工程
  • 1个应用概率统计

地区

  • 2个北京市
  • 1个江苏省
  • 1个天津市
共 4 条 记 录，以下是 1-4
王捍贫
供职机构：北京大学
研究主题：保持性 模型论 Q 形式化方法 MARTE
发表作品相关人物供职机构所获资助研究领域
朱梅霞
供职机构：天津工业大学计算机科学与软件学院
研究主题：顺序图 MARTE 实时系统 形式化分析 形式化方法
发表作品相关人物供职机构所获资助研究领域
曹永知
供职机构：北京大学信息科学技术学院
研究主题：MARTE 顺序图 并发程序
发表作品相关人物供职机构所获资助研究领域
杨洋
供职机构：苏州大学
研究主题：重尾分布 破产概率 负相协 蛋白质结构 精致大偏差
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0