您的位置： 专家智库 > >

杨孟飞

作品数：246 被引量：547H指数：13
供职机构：北京控制工程研究所更多>>
发文基金：国家自然科学基金国家中长期科技发展规划重大专项国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术航空宇航科学技术机械工程电子电信更多>>

合作作者

文献类型

  • 119篇专利
  • 110篇期刊文章
  • 14篇会议论文
  • 2篇科技成果
  • 1篇学位论文

领域

  • 96篇自动化与计算...
  • 55篇航空宇航科学...
  • 6篇机械工程
  • 5篇电子电信
  • 4篇文化科学
  • 3篇经济管理
  • 3篇天文地球
  • 3篇水利工程
  • 2篇金属学及工艺
  • 1篇电气工程
  • 1篇交通运输工程
  • 1篇政治法律
  • 1篇理学

主题

  • 40篇航天
  • 32篇航天器
  • 30篇敏感器
  • 26篇容错
  • 23篇星敏感器
  • 19篇星载
  • 16篇计算机
  • 15篇操作系
  • 15篇操作系统
  • 14篇嵌入式
  • 13篇调度
  • 11篇形式化
  • 11篇形式化验证
  • 10篇硬件
  • 10篇月面
  • 9篇星载计算机
  • 9篇容错方法
  • 8篇多核
  • 8篇深空
  • 7篇容错技术

机构

  • 174篇北京控制工程...
  • 100篇中国空间技术...
  • 58篇北京空间飞行...
  • 10篇空间智能控制...
  • 9篇西安电子科技...
  • 5篇清华大学
  • 5篇中国科学院软...
  • 4篇北京轩宇信息...
  • 3篇北京大学
  • 3篇国防科学技术...
  • 3篇南京大学
  • 3篇西北工业大学
  • 3篇中国科学院国...
  • 2篇长春理工大学
  • 2篇北京空间机电...
  • 2篇华东师范大学
  • 2篇北京航空航天...
  • 2篇中国科学院紫...
  • 2篇中国航天科技...
  • 2篇计算机软件新...

作者

  • 246篇杨孟飞
  • 32篇龚健
  • 30篇彭兢
  • 29篇刘波
  • 25篇乔磊
  • 25篇杨桦
  • 23篇顾斌
  • 19篇钟红军
  • 18篇刘鸿瑾
  • 18篇卢欣
  • 18篇董晓刚
  • 17篇张伍
  • 15篇王龙
  • 15篇杨君
  • 15篇张正峰
  • 14篇徐建
  • 12篇刘治钢
  • 12篇杜颖
  • 12篇杜青
  • 11篇姜宏

传媒

  • 23篇空间控制技术...
  • 13篇软件学报
  • 12篇中国空间科学...
  • 11篇控制工程（北...
  • 11篇中国科学：技...
  • 8篇航天控制
  • 3篇红外与激光工...
  • 3篇航天器工程
  • 2篇宇航学报
  • 2篇科学通报
  • 2篇自动化博览
  • 2篇中国空间科学...
  • 1篇光学精密工程
  • 1篇自动化学报
  • 1篇中国质量
  • 1篇光学技术
  • 1篇计算机学报
  • 1篇激光与光电子...
  • 1篇光学学报
  • 1篇计算机工程

年份

  • 7篇2025
  • 8篇2024
  • 13篇2023
  • 15篇2022
  • 17篇2021
  • 4篇2020
  • 12篇2019
  • 11篇2018
  • 18篇2017
  • 17篇2016
  • 37篇2015
  • 11篇2014
  • 12篇2013
  • 8篇2012
  • 8篇2011
  • 3篇2010
  • 9篇2009
  • 8篇2008
  • 2篇2007
  • 7篇2006
共 246 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种用于集成环境的多层软件总线结构
一种用于集成环境的多层软件总线结构，所述结构包括多层总线和插件；多层总线由若干处于不同层次的总线组成，这些总线按照树的拓扑结构组织在一起：最底层有且只有一条总线，称为全局总线，其他各层次的总线都称为局部总线，以全局总线为...
杨孟飞郭向英顾斌赵雷陈睿郝伟盛庄黄晨沈沛
文献传递
一种基于阵列结构的可重构容错方法
本发明一种基于阵列结构的可重构容错方法，步骤如下：(1)采用硬件描述语言生成一个基于阵列结构的可重构模型，包括N×N节点阵列结构和节点间互联关系，以及与节点连接的功能模块；(2)以FPGA为载体生成可重构阵列模型的硬件电...
杨孟飞龚健刘波杨桦刘鸿瑾赵云富胡洪凯董暘暘王婧徐建苗致富张绍林
文献传递
一种多级动态展示供配电层次图的方法
本发明公开了一种多级动态展示供配电层次图的方法，通过事先存储供配电大图中各个层次的供配电图，在建立对象结构后，对供配电图进行调用，生成用户需要的具有多个层次的供配电大图，提高计算机运行速度，还同时提高绘图效率；通过等待用...
杨孟飞陈炜钊杜朝史向东谢政王嘉春刘治钢蔡晓东夏宁杜青彭兢
文献传递
一种并行运行双平台航天器的平台接口系统
本发明公开了一种并行运行双平台航天器的平台接口系统，以双平台航天器组合、故障和分离状态的需求为基础，综合考虑了平台之间的机、电、热和信息接口之间的相互关系和影响，并以此开展相关设计。该设计简单易于实现，既能够满足任务需求...
杨孟飞金晟毅张伍张高彭兢张正峰杜颖黄昊白崇延崔帆盛瑞卿邢卓异禄运通
文献传递
一种处理器模拟方法
本发明公开了一种处理器模拟方法，首先建立体系结构模拟层、指令集模拟层、和处理器模拟层；所述体系结构模拟层由处理器配置文件模块实现，所述指令集模拟层由处理器指令译码模块和处理器指令执行模块组成，所述处理器模拟层由处理器存储...
关小川陈朝晖杨孟飞党纪红杜建伟张国峰傅秀涛郭向英陈尧刘建军李振松
文献传递
一种空间飞行器周期性混成随机任务调度方法
一种空间飞行器周期性混成随机任务调度方法，基于优先级抢占、同优先级任务调度策略，在不更改空间飞行器操作系统内核任务调度策略的基础上，实现了周期任务固定时间点启动、周期内任务随机启动以及完全随机任务启动的调度方法。本发明方...
乔磊龚健杨孟飞杨桦彭飞徐建谭彦亮吴一帆刘忠汉
文献传递
基于时间自动机的操作系统中断管理建模与验证被引量：1
2014年
时序正确性问题一直以来都是航天嵌入式软件的热点、难点问题.运用时间自动机理论,对某星载操作系统的中断管理进行了建模,同时对与操作系统行为存在交互的环境进行了建模,以描述完整的中断管理过程.利用模型检测工具箱Uppaal验证了中断管理模块的状态可达性、安全性、活性等方面的性质,证明了其服务行为的正确性.
王若川杨孟飞乔磊
关键词：中断管理时间自动机形式化验证
面向进化容错的FPGA故障模型研究被引量：3
2009年
不同的容错方法需采用不同的故障模型。文章分析了进化容错方法的特点,提出需要研究与之相适应的FPGA故障模型。首先从故障模型定义出发提出故障模型划分的思想,从不同的角度研究FPGA故障模型;然后根据基于SRAM的FPGA的结构特点,从功能角度和配置角度提出两种FPGA故障模型划分,分析了两种故障模型划分方法所适用的容错方法。从配置角度划分FPGA故障模型有利于简化进化容错方法中的故障检测环节。故障检测实验的结果说明这种划分方法是有效的。
龚健杨孟飞文亮
关键词：现场可编程门阵列进化容错
一种星敏感器同步曝光方法
一种星敏感器同步曝光方法，首先在星敏感器内部设计同步开关寄存器，判断是否开启同步功能，并检测同步脉冲信号质量；然后在星敏感器当前帧同步下降沿处增加曝光时间间隔；后续帧保持原曝光时间，对当前帧以后的曝光帧数进行计数，当曝光...
杨君杨孟飞钟红军卢欣王龙余成武
星用SoC片内容错方法研究被引量：1
2005年
航天器的结构越来越复杂，体积在不断减小，集成电路技术也在不断的发展，为此，用SoC技术实现星载电子系统成为必然趋势。然而，空间辐射环境对系统的容错能力有特殊的要求。通过对故障模式的分析，发现单粒子翻转(SEU)故障的发生率要远远高于其它故障，对飞行器的危害也最为严重。本文分析了常见的SEU容错方法各自的优缺点。并针对基于SRAM的FPGA实现SoC时的容错方法进行了探讨。最后，通过对LEON处理器核的IU、Cache、存储控制器以及片上寄存器等典型逻辑分别采用不同方法进行容错设计，验证了几种容错方法的可行性，并给出了设计结果。
文亮杨孟飞
关键词：容错方法SOC空间辐射环境N处理器容错设计SEU
全选 清除 导出
共25页<12345678910>
聚类工具0