您的位置: 专家智库 > >

中国航空科学基金(20100718004)

作品数:5 被引量:18H指数:2
相关作者:谯婷婷王乐谢卫宋科璞王文全更多>>
相关机构:西安飞行自动控制研究所西安电子科技大学中国航空工业第一集团公司第六一八研究所更多>>
发文基金:中国航空科学基金更多>>
相关领域:自动化与计算机技术更多>>

领域

  • 12个自动化与计算...
  • 4个电气工程
  • 2个电子电信
  • 2个交通运输工程
  • 2个航空宇航科学...
  • 1个经济管理
  • 1个水利工程
  • 1个理学
  • 1个兵器科学与技...

主题

  • 6个AADL
  • 5个飞行
  • 4个基于模型驱动
  • 4个飞行控制
  • 4个SCADE
  • 4个GSPN
  • 3个形式化
  • 3个形式化方法
  • 3个软件复用
  • 3个软件复用技术
  • 3个数组
  • 3个数组越界
  • 3个系统软件
  • 3个缓冲区
  • 3个缓冲区溢出
  • 3个飞行控制系统
  • 3个复用
  • 3个复用技术
  • 3个COQ
  • 2个功率

机构

  • 6个西安飞行自动...
  • 3个西安电子科技...
  • 3个中国航空工业...
  • 1个电子科技大学

资助

  • 12个中国航空科学...
  • 1个国家高技术研...
  • 1个国家自然科学...
  • 1个武器装备预研...
  • 1个国家科技重大...
  • 1个西安市科技计...
  • 1个清华大学自主...

传媒

  • 5个航空计算技术
  • 4个计算机科学
  • 4个计算机技术与...
  • 3个计算机应用
  • 3个中国计算机学...
  • 1个火力与指挥控...
  • 1个电视技术
  • 1个通信学报
  • 1个微特电机
  • 1个电子科技大学...
  • 1个计算机仿真
  • 1个系统仿真学报
  • 1个兵工自动化
  • 1个机械科学与技...
  • 1个电光与控制
  • 1个西安电子科技...
  • 1个飞行力学
  • 1个吉林大学学报...
  • 1个互联网天地
  • 1个2010中国...

地区

  • 11个陕西省
  • 1个四川省
12 条 记 录,以下是 1-10
谯婷婷
供职机构:西安飞行自动控制研究所
研究主题:AADL GSPN 安全等级 飞行控制系统 飞行控制
发表作品相关人物供职机构所获资助研究领域
王乐
供职机构:西安电子科技大学
研究主题:广义帕累托分布 归一化 估计量 矩估计 最大似然估计
发表作品相关人物供职机构所获资助研究领域
郑勇
供职机构:中国航空工业第一集团公司第六一八研究所
研究主题:飞行控制系统 飞行控制 系统软件 软件复用技术 软件复用
发表作品相关人物供职机构所获资助研究领域
宋科璞
供职机构:西安飞行自动控制研究所
研究主题:无人机 自主空中加油 飞行控制 移动机器人路径规划 移动机器人
发表作品相关人物供职机构所获资助研究领域
谢卫
供职机构:西安飞行自动控制研究所
研究主题:无人飞行器 SCADE 基于模型驱动 CORBA QNX
发表作品相关人物供职机构所获资助研究领域
王文全
供职机构:西安飞行自动控制研究所
研究主题:SCADE 基于模型驱动
发表作品相关人物供职机构所获资助研究领域
刘俊波
供职机构:西安电子科技大学计算机学院
研究主题:GSPN AADL
发表作品相关人物供职机构所获资助研究领域
王勇
供职机构:西安飞行自动控制研究所
研究主题:SCADE 基于模型驱动
发表作品相关人物供职机构所获资助研究领域
任飞
供职机构:电子科技大学
研究主题:智能电视 大规模分布式 捕获 GSPN AADL
发表作品相关人物供职机构所获资助研究领域
葛艳
供职机构:西安飞行自动控制研究所
研究主题:形式化方法 缓冲区溢出 数组越界 COQ
发表作品相关人物供职机构所获资助研究领域
共2页<12>
聚类工具0