您的位置： 专家智库 > >

王青

作品数：20 被引量：2H指数：1
供职机构：北京控制工程研究所更多>>
相关领域：自动化与计算机技术文化科学航空宇航科学技术交通运输工程更多>>

合作作者

文献类型

  • 16篇专利
  • 4篇期刊文章

领域

  • 9篇自动化与计算...
  • 2篇文化科学
  • 1篇电子电信
  • 1篇建筑科学
  • 1篇交通运输工程
  • 1篇航空宇航科学...

主题

  • 6篇卫星
  • 4篇前馈
  • 4篇总线
  • 4篇总线通讯
  • 4篇模糊逻辑
  • 4篇航天
  • 4篇航天器
  • 4篇航天器姿态
  • 4篇航天器姿态控...
  • 4篇SPACEW...
  • 2篇单神经元
  • 2篇动量
  • 2篇动量轮
  • 2篇动态切换
  • 2篇端口
  • 2篇断言
  • 2篇容错
  • 2篇容错方法
  • 2篇冗余
  • 2篇冗余备份

机构

  • 20篇北京控制工程...
  • 3篇中国空间技术...

作者

  • 20篇王青
  • 10篇李建平
  • 8篇李乐尧
  • 8篇王佐伟
  • 6篇刘磊
  • 6篇刘潇翔
  • 6篇石恒
  • 4篇周中泽
  • 4篇王裙
  • 4篇曹志威
  • 4篇甘永
  • 3篇杨孟飞
  • 2篇张金巍
  • 2篇孙宇明
  • 2篇王祥
  • 2篇赵鹏
  • 2篇刘鹭航
  • 2篇段永顥
  • 2篇郭向英
  • 2篇朱倩

传媒

  • 2篇控制工程（北...
  • 1篇航天控制
  • 1篇空间控制技术...

年份

  • 1篇2024
  • 4篇2023
  • 3篇2022
  • 6篇2021
  • 1篇2014
  • 1篇2012
  • 1篇2008
  • 1篇2007
  • 1篇2006
  • 1篇2005
共 20 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种克服周期性活动部件影响的强抗扰复合控制方法
本发明涉及一种克服周期性活动部件影响的强抗扰复合控制方法，属于航天器姿态控制领域；综合利用快速傅里叶变换(FFT)和扩张状态观测器(ESO)估计周期性干扰，在此基础上根据角动量守恒原理设计等效前馈补偿律，且利用模糊逻辑系...
王佐伟何刚李建平李乐尧甘永石恒姚蘅沈扬帆王青贾涛于淑晶高秀娟
文献传递
兼顾机动控制与稳定控制的挠性卫星姿态控制器及方法
本发明涉及兼顾机动控制与稳定控制的挠性卫星姿态控制器及方法，属于航天器姿态控制领域；包括调度逻辑模块、跟踪微分器、单神经元分流模块、第一控制器、第一结构滤波器、第二控制器和第二结构滤波器；以兼顾姿态机动控制与姿态稳定控制...
王佐伟刘磊何刚王祥李建平刘潇翔李乐尧沈扬帆王青贾涛李洋高秀娟
一种固定轨位电推分时卸载的整轨角动量估计和管理方法
本发明涉及一种固定轨位电推分时卸载的整轨角动量估计和管理方法，步骤包括：(1)在启用电推分时卸载功能时，将本体系三轴需卸载角动量历史记录值和轨位记录姿态转换矩阵进行初始化；(2)本体系目标角动量计算：将目标角动量从轨道系...
刘潇翔刘磊石恒李光旭王硕高俊马雪王青
文献传递
基于断言的形式验证方法研究与应用
2006年
随着设计规模的不断扩大和设计复杂度的不断提高。功能验证已经成为数字系统设计开发过程中的制约瓶颈。目前，利用传统的仿真方法并不能有效解决这一困境，而形式验证则是改善该状况的有效途径。本文针对形式验证中模型检验算法在工程实践中遇到的形式语言局限性和状态空间爆炸危机的问题，提出了基于断言的形式验证解决策略，并以DW8051-timer模块为例，利用该方法对它的RTL级设计进行了实际的功能验证。
王青杨孟飞
关键词：断言
一种固定轨位电推分时卸载的整轨角动量估计和管理方法
本发明涉及一种固定轨位电推分时卸载的整轨角动量估计和管理方法，步骤包括：(1)在启用电推分时卸载功能时，将本体系三轴需卸载角动量历史记录值和轨位记录姿态转换矩阵进行初始化；(2)本体系目标角动量计算：将目标角动量从轨道系...
刘潇翔刘磊石恒李光旭王硕高俊马雪王青
基于构件、刻面、代码的软件可靠性评估方法的比较和应用
2005年
随着计算机技术和集成电路技术的飞速发展，嵌入式系统已经广泛地应用于航空航天领域，而嵌入式软件也在发挥着日益重要的作用。因此面对复杂的系统设计和恶劣的空间环境。要保证系统正确运行，嵌入式软件就必须满足高可靠性的要求。目前在航空航天领域人们使用多种方法来提高软件的可靠性，但是对于软件可靠性评估的研究却尚嫌不足。本文选择了当前比较流行和前沿的三种软件可靠性评估方法作为研究对象，首先介绍了它们的基本原理，然后从多个方面对它们进行了比较。讨论了它们在航空航天领域的应用价值。
王青孙昕
关键词：可靠性评估软件代码
一种基于SpaceWire总线通讯的变长度数据协议的通信方法及系统
一种基于SpaceWire总线通讯的变长度数据协议的通信方法及系统，协议内容包括帧头、帧计数、数据总长度、数据块个数、各数据块长度、各数据块内容、校验和共7部分，其中帧头、帧计数、数据总长度、数据块个数、校验和此5部分所...
李光旭周中泽王裙吴培亚姚蘅曹志威李乐尧李建平王青贾涛
文献传递
卫星太阳光压力矩高精度在线估计方法
卫星太阳光压力矩高精度在线估计方法，包括：1)建立太阳光压力矩模糊逻辑估计模型；2)根据步骤1)所述太阳光压力矩模糊逻辑估计模型，利用梯度下降法，在线迭代调整获得待调参数θ<Sub>j</Sub>、<Image file...
何刚王佐伟贾蒙杨甘永郝燕艳冯佳佳王海强候凤龙王青贾涛辛优美高秀娟
文献传递
基于断言的形式验证方法应用研究被引量：2
2007年
针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。
王青杨孟飞
关键词：断言
一种挂接双端口RAM的SpaceWire总线通讯的容错方法及系统
本发明涉及一种挂接双端口RAM的SpaceWire总线通讯的容错方法及系统，通过对RAM存储区进行分区设计，实现了RAM存储的冗余备份设计，并根据SpaceWire总线通讯协议格式，设计以RAM存储数据为中心的Space...
李光旭王裙吴培亚周中泽李建平李乐尧沈扬帆曹志威王青贾涛
文献传递
全选 清除 导出
共2页<12>
聚类工具0