您的位置： 专家智库 > >

国家重点基础研究发展计划(2002CB312004)

作品数：20 被引量：99H指数：5
相关作者：金芝屈婉玲陆汝钤袁崇义刘璘更多>>
相关机构：中国科学院数学与系统科学研究院中国科学院中国科学院研究生院更多>>
发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术医药卫生理学更多>>

领域

  • 26个自动化与计算...
  • 10个理学
  • 9个文化科学
  • 7个电子电信
  • 6个经济管理
  • 5个医药卫生
  • 3个自然科学总论
  • 2个生物学
  • 2个石油与天然气...
  • 2个一般工业技术
  • 2个社会学
  • 1个哲学宗教
  • 1个天文地球
  • 1个化学工程
  • 1个矿业工程
  • 1个金属学及工艺
  • 1个机械工程
  • 1个电气工程
  • 1个建筑科学
  • 1个水利工程

主题

  • 13个网络
  • 12个计算机
  • 11个本体
  • 10个语义
  • 9个软件开发
  • 9个PETRI网
  • 9个WEB服务
  • 7个知识库
  • 6个信任
  • 6个形式化
  • 5个信息系统
  • 4个调度
  • 4个调度策略
  • 4个信息获取
  • 4个形式化验证
  • 4个有色
  • 3个代码
  • 3个定理
  • 3个多视点
  • 3个形式化方法

机构

  • 14个中国科学院数...
  • 10个北京大学
  • 8个中国科学院研...
  • 6个教育部
  • 5个中国科学院
  • 3个清华大学
  • 3个天津大学
  • 1个北京邮电大学
  • 1个长沙理工大学
  • 1个复旦大学
  • 1个北京林业大学
  • 1个合肥工业大学
  • 1个对外经济贸易...
  • 1个湖南大学
  • 1个河南科技大学
  • 1个河北工业大学
  • 1个中央财经大学
  • 1个空军航空大学
  • 1个中国石油大学...
  • 1个北京大学口腔...

资助

  • 28个国家重点基础...
  • 22个国家自然科学...
  • 19个国家高技术研...
  • 7个中国科学院知...
  • 7个中国科学院知...
  • 6个国家杰出青年...
  • 4个国家教育部博...
  • 3个浙江省自然科...
  • 3个中国人民大学...
  • 2个The Ro...
  • 2个河南省科技攻...
  • 2个基础研究重大...
  • 2个中国博士后科...
  • 2个国家科技重大...
  • 2个“九五”国家...
  • 2个国家攀登计划
  • 1个安徽省自然科...
  • 1个北京市科技新...
  • 1个北京市自然科...
  • 1个甘肃省自然科...

传媒

  • 11个计算机研究与...
  • 9个软件学报
  • 9个计算机科学
  • 8个电子学报
  • 8个计算机学报
  • 8个计算机工程与...
  • 7个南京大学学报...
  • 7个2006年全...
  • 6个北京大学学报...
  • 6个系统仿真学报
  • 5个计算机工程与...
  • 4个模式识别与人...
  • 4个中国科学（E...
  • 4个计算机工程与...
  • 4个计算机科学与...
  • 4个2003'全...
  • 4个2007全国...
  • 4个2008全国...
  • 3个系统科学与数...
  • 3个小型微型计算...

地区

  • 24个北京市
  • 1个安徽省
  • 1个河南省
  • 1个湖南省
  • 1个天津市
共 28 条 记 录，以下是 1-10
金芝
供职机构：北京大学信息科学技术学院高可信软件技术教育部重点实验室
研究主题：物联网 软件系统 环境本体 软件工程 存储介质
发表作品相关人物供职机构所获资助研究领域
屈婉玲
供职机构：北京大学信息科学技术学院
研究主题：PETRI网 工作流 工作流模式 连接器 程序设计
发表作品相关人物供职机构所获资助研究领域
袁崇义
供职机构：北京大学信息科学技术学院软件研究所
研究主题：PETRI网 工作流 英文 UNINET 计算机网络
发表作品相关人物供职机构所获资助研究领域
刘璘
供职机构：清华大学软件学院
研究主题：信任 雷达 中文 信号分选 软件工程
发表作品相关人物供职机构所获资助研究领域
陆汝钤
供职机构：中国科学院数学与系统科学研究院
研究主题：人工智能 专家系统 软件工程 常识知识库 自动生成
发表作品相关人物供职机构所获资助研究领域
王捍贫
供职机构：北京大学
研究主题：保持性 模型论 Q 形式化方法 MARTE
发表作品相关人物供职机构所获资助研究领域
牟克典
供职机构：北京大学
研究主题：DEMPSTER-SHAFER理论 软件开发 需求优先级 多视点 视点合成
发表作品相关人物供职机构所获资助研究领域
吴步丹
供职机构：北京邮电大学
研究主题：工作流 物联网 服务引擎 煤矿 存储介质
发表作品相关人物供职机构所获资助研究领域
黄雨
供职机构：北京大学
研究主题：计算机设备 存储介质 PETRI网 控制方法 量表
发表作品相关人物供职机构所获资助研究领域
霍金健
供职机构：北京大学信息科学技术学院
研究主题：PETRI网 库所 有色 因果 PNML
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共3页<123>
聚类工具0