您的位置： 专家智库 > >

国家高技术研究发展计划(2006AA01Z160)

作品数：5 被引量：5H指数：1
相关作者：王捍贫屈婉玲张立昂凤旺森黄雨更多>>
相关机构：北京大学教育部更多>>
发文基金：国家高技术研究发展计划国家重点基础研究发展计划国家教育部博士点基金更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 13个自动化与计算...
  • 7个理学
  • 4个文化科学
  • 3个电子电信
  • 2个经济管理
  • 1个生物学
  • 1个电气工程
  • 1个医药卫生
  • 1个一般工业技术

主题

  • 7个网络
  • 5个形式化
  • 5个语义
  • 5个同步网
  • 5个全图
  • 4个虚拟主干网
  • 4个英文
  • 4个运算符
  • 4个支配
  • 4个时段演算
  • 4个主干网
  • 3个形式化方法
  • 3个用户
  • 3个有色
  • 3个软件开发
  • 2个电子设备
  • 2个调度
  • 2个调度策略
  • 2个定理
  • 2个研究生课程

机构

  • 13个北京大学
  • 9个教育部
  • 1个北京林业大学
  • 1个中国科学院数...

资助

  • 13个国家高技术研...
  • 11个国家重点基础...
  • 8个国家自然科学...
  • 5个国家教育部博...
  • 2个国家科技攻关...
  • 2个国家攀登计划
  • 1个甘肃省自然科...
  • 1个云南省应用基...
  • 1个“九五”国家...
  • 1个高等学校科技...
  • 1个中国人民解放...
  • 1个中国下一代互...

传媒

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

地区

  • 12个北京市
  • 1个湖南省
共 13 条 记 录，以下是 1-10
王捍贫
供职机构：北京大学
研究主题：保持性 模型论 Q 形式化方法 MARTE
发表作品相关人物供职机构所获资助研究领域
屈婉玲
供职机构：北京大学信息科学技术学院
研究主题：PETRI网 工作流 工作流模式 连接器 程序设计
发表作品相关人物供职机构所获资助研究领域
张立昂
供职机构：北京大学信息科学技术学院软件研究所
研究主题：组合优化 函数类 大尺寸 参数提取方法 小尺寸
发表作品相关人物供职机构所获资助研究领域
黄雨
供职机构：北京大学
研究主题：存储介质 计算机设备 语言模型 PETRI网 数据集
发表作品相关人物供职机构所获资助研究领域
凤旺森
供职机构：北京大学计算中心
研究主题：2-连通 虚拟主干网 无线自组织网络 支配 WEB挖掘
发表作品相关人物供职机构所获资助研究领域
高昕
供职机构：北京大学
研究主题：WEB服务组合 形式化 模型分析 PETRI网 RFID
发表作品相关人物供职机构所获资助研究领域
袁崇义
供职机构：北京大学信息科学技术学院软件研究所
研究主题：PETRI网 工作流 英文 UNINET 计算机网络
发表作品相关人物供职机构所获资助研究领域
朱嘉奇
供职机构：北京大学
研究主题：时段演算 CTL MAXIMUM LOWER_BOUND KRIPKE结构
发表作品相关人物供职机构所获资助研究领域
陈霄
供职机构：北京大学信息科学技术学院软件研究所
研究主题：复杂度 精确解 完全图
发表作品相关人物供职机构所获资助研究领域
胡文蕙
供职机构：北京大学
研究主题：岗位 预设 文本 句子 准确率
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0