您的位置： 专家智库 > >

中国航空科学基金(01F51052)

作品数：9 被引量：56H指数：5
相关作者：姚淑珍郭峰金茂忠谢彦辉孙志强更多>>
相关机构：北京航空航天大学更多>>
发文基金：中国航空科学基金更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 8个自动化与计算...
  • 3个电子电信
  • 2个经济管理
  • 2个航空宇航科学...
  • 2个文化科学
  • 1个天文地球
  • 1个水利工程
  • 1个社会学
  • 1个政治法律

主题

  • 7个PETRI网
  • 5个状态图
  • 5个建模语言
  • 4个形式化
  • 4个统一建模
  • 4个统一建模语言
  • 4个自动机
  • 4个仿真
  • 4个UML
  • 4个UML状态图
  • 3个形式化方法
  • 3个顺序图
  • 3个会话
  • 3个NET
  • 3个PETRI
  • 3个PETRI_...
  • 2个代码
  • 2个多AGENT
  • 2个形式化建模
  • 2个形式化语义

机构

  • 8个北京航空航天...
  • 1个河北建筑工程...
  • 1个湖北农学院
  • 1个信息产业部

资助

  • 8个中国航空科学...
  • 2个国防科技技术...
  • 2个国家高技术研...
  • 2个国家自然科学...
  • 1个北京市自然科...
  • 1个国防基础科研...
  • 1个国家科技攻关...
  • 1个武器装备预研...
  • 1个国家科技重大...
  • 1个“九五”国家...
  • 1个国家部委基础...
  • 1个国土资源部资...
  • 1个航空电子系统...
  • 1个航天科技创新...
  • 1个重庆市科技攻...
  • 1个青年科技基金

传媒

  • 5个系统仿真学报
  • 4个计算机工程
  • 4个计算机工程与...
  • 3个计算机集成制...
  • 3个计算机工程与...
  • 3个北京航空航天...
  • 3个计算机科学
  • 3个2004’全...
  • 3个2007全国...
  • 3个第十次全国P...
  • 2个计算机工程与...
  • 2个计算机应用与...
  • 2个计算机应用
  • 2个软件学报
  • 2个计算机辅助设...
  • 2个计算机系统应...
  • 2个第九届全国P...
  • 2个第十一届全国...
  • 1个系统工程与电...
  • 1个电子计算机与...

地区

  • 8个北京市
共 8 条 记 录，以下是 1-8
姚淑珍
供职机构：北京航空航天大学计算机学院
研究主题：PETRI网 软件工程 工作流模型 软件开发 ADA
发表作品相关人物供职机构所获资助研究领域
郭峰
供职机构：北京航空航天大学计算机学院
研究主题：PETRI网 UML状态图 软件开发 形式化语义 AGENT
发表作品相关人物供职机构所获资助研究领域
金茂忠
供职机构：北京航空航天大学计算机学院
研究主题：软件工程 软件测试 软件开发 面向对象 软件体系结构
发表作品相关人物供职机构所获资助研究领域
孙志强
供职机构：北京航空航天大学计算机学院
研究主题：SOAP 分布式组件 互操作性 多AGENT 异种
发表作品相关人物供职机构所获资助研究领域
邓远红
供职机构：北京航空航天大学计算机学院
研究主题：AGENT系统 PETRI_NET PETRI NET 会话
发表作品相关人物供职机构所获资助研究领域
李飚
供职机构：北京航空航天大学计算机学院
研究主题：UML状态图 UML 自动机 状态图 PETRI网
发表作品相关人物供职机构所获资助研究领域
何建伟
供职机构：北京航空航天大学计算机学院
研究主题：PETRI网 形式化方法 形式化 UML状态机 状态图
发表作品相关人物供职机构所获资助研究领域
谢彦辉
供职机构：北京航空航天大学计算机学院
研究主题：顺序图 PETRI网
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0