您的位置： 专家智库 > >

周巢尘

作品数：6 被引量：33H指数：2
供职机构：中国科学院软件研究所更多>>
发文基金：国家高技术研究发展计划国家自然科学基金更多>>
相关领域：自动化与计算机技术文化科学经济管理电子电信更多>>

合作作者

领域

  • 5个自动化与计算...
  • 3个理学
  • 2个经济管理
  • 2个航空宇航科学...
  • 2个军事
  • 2个文化科学
  • 2个自然科学总论
  • 1个生物学
  • 1个金属学及工艺
  • 1个机械工程
  • 1个电子电信
  • 1个电气工程
  • 1个交通运输工程
  • 1个兵器科学与技...

主题

  • 4个设计方法
  • 4个时段演算
  • 4个实时系统
  • 3个形式化
  • 2个代数
  • 2个等价
  • 2个定理
  • 2个定理证明
  • 2个定理证明器
  • 2个多机器人
  • 2个星载
  • 2个形式规约
  • 1个大型飞机
  • 1个大型民机
  • 1个大迎角
  • 1个大迎角飞行
  • 1个代码
  • 1个代码覆盖
  • 1个代码覆盖率
  • 1个代码实现

机构

  • 3个北京航空航天...
  • 2个中国科学院软...
  • 1个国防科学技术...
  • 1个北京控制工程...
  • 1个武汉大学
  • 1个并行与分布处...
  • 1个国防科技大学
  • 1个中国计算机学...

资助

  • 4个国家高技术研...
  • 4个国家自然科学...
  • 3个国家重点基础...
  • 3个国家教育部博...
  • 2个博士科研启动...
  • 2个国家重点实验...
  • 2个中国航空科学...
  • 1个北京市科技新...
  • 1个国防基础科研...
  • 1个国防科技技术...
  • 1个国防科技重点...
  • 1个湖南省自然科...
  • 1个霍英东教育基...
  • 1个武器装备预研...
  • 1个中国博士后科...
  • 1个国家教育部“...
  • 1个国家杰出青年...
  • 1个中国民航大学...
  • 1个航空科技联合...
  • 1个航天科技创新...

传媒

  • 4个计算机学报
  • 3个自动化学报
  • 3个中国科学：信...
  • 2个计算机工程
  • 2个软件学报
  • 2个中国科学（E...
  • 2个控制与决策
  • 2个前瞻科技
  • 1个系统工程与电...
  • 1个华东师范大学...
  • 1个宇航学报
  • 1个机械工程学报
  • 1个中国大学教学
  • 1个计算机研究与...
  • 1个电子学报
  • 1个南京大学学报...
  • 1个计算机工程与...
  • 1个上海交通大学...
  • 1个控制理论与应...
  • 1个微电子学与计...

地区

  • 4个北京市
  • 1个湖南省
共 5 条 记 录，以下是 1-5
李晓山
供职机构：中国科学院软件研究所
研究主题：程序设计 时段演算 实时系统 时间自动机
发表作品相关人物供职机构所获资助研究领域
陈宗基
供职机构：北京航空航天大学自动化科学与电气工程学院
研究主题：飞行控制系统 飞行控制 无人机 鲁棒性 仿真
发表作品相关人物供职机构所获资助研究领域
詹乃军
供职机构：中国科学院软件研究所
研究主题：形式化方法 软件测试 软件开发 人工智能 形式规约
发表作品相关人物供职机构所获资助研究领域
俞新尧
供职机构：北京航空航天大学自动化科学与电气工程学院自动控制系
研究主题：鲁棒性 自适应控制 相对阶 非线性系统 控制器
发表作品相关人物供职机构所获资助研究领域
王戟
供职机构：国防科学技术大学
研究主题：软件测试 软件开发 软件工程 时序逻辑 自动机
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0