您的位置： 专家智库 > >

徐春香

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

合作作者

领域

  • 6个自动化与计算...
  • 4个文化科学
  • 3个理学
  • 2个电子电信
  • 1个生物学
  • 1个电气工程
  • 1个医药卫生

主题

  • 5个语义
  • 4个形式化
  • 4个形式化方法
  • 4个有色
  • 4个同步网
  • 3个调度
  • 3个调度策略
  • 3个因果
  • 3个英文
  • 3个语义研究
  • 3个原理及实现
  • 3个软件工程
  • 2个形式化分析
  • 2个虚拟主干网
  • 2个研究生课程
  • 2个隐私
  • 2个隐私数据
  • 2个有向图
  • 2个运算符
  • 2个支配

机构

  • 6个北京大学
  • 5个教育部
  • 1个北京林业大学
  • 1个青岛大学
  • 1个天津工业大学
  • 1个中国科学院
  • 1个中国科学院数...

资助

  • 6个国家重点基础...
  • 6个国家自然科学...
  • 4个国家高技术研...
  • 3个国家教育部博...
  • 2个国家攀登计划
  • 1个甘肃省自然科...
  • 1个国家科技攻关...
  • 1个云南省应用基...
  • 1个博士科研启动...
  • 1个国家重点实验...
  • 1个中国人民解放...

传媒

  • 6个北京大学学报...
  • 5个计算机研究与...
  • 5个系统仿真学报
  • 5个2006年全...
  • 4个南京大学学报...
  • 4个计算机工程与...
  • 3个计算机学报
  • 3个2005年全...
  • 3个'2005系...
  • 3个第十次全国P...
  • 3个第十届全国青...
  • 2个中国大学教学
  • 2个数学进展
  • 2个电子学报
  • 2个武汉大学学报...
  • 2个小型微型计算...
  • 2个软件学报
  • 2个计算机科学
  • 2个计算机科学与...
  • 2个2007全国...

地区

  • 5个北京市
  • 1个天津市
共 6 条 记 录，以下是 1-6
屈婉玲
供职机构：北京大学信息科学技术学院
研究主题：PETRI网 工作流 工作流模式 连接器 程序设计
发表作品相关人物供职机构所获资助研究领域
王捍贫
供职机构：北京大学
研究主题：保持性 模型论 Q 形式化方法 MARTE
发表作品相关人物供职机构所获资助研究领域
黄雨
供职机构：北京大学
研究主题：计算机设备 存储介质 PETRI网 控制方法 量表
发表作品相关人物供职机构所获资助研究领域
袁崇义
供职机构：北京大学信息科学技术学院软件研究所
研究主题：PETRI网 工作流 英文 UNINET 计算机网络
发表作品相关人物供职机构所获资助研究领域
朱梅霞
供职机构：天津工业大学计算机科学与软件学院
研究主题：顺序图 MARTE 实时系统 形式化分析 形式化方法
发表作品相关人物供职机构所获资助研究领域
霍金健
供职机构：北京大学信息科学技术学院
研究主题：PETRI网 库所 有色 因果 PNML
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0