吕小虎
- 作品数:15 被引量:9H指数:1
- 供职机构:中国空间技术研究院更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:自动化与计算机技术电气工程更多>>
- 一种星务软件模块故障复现的方法及系统
- 本申请公开了一种星务软件模块故障复现的方法,该方法包括:确定星务软件模块整个执行过程的动作集合和状态集合,以及确定星务软件模块出现故障时的第一动作和第一状态;确定星务软件模块的初始状态,基于预设的强化学习算法、初始状态对...
- 邓兵韩笑冬宫江雷安卫钰李翔吕小虎
- 一种通用化星务管理系统架构
- 本发明涉及一种通用化星务管理系统架构,包括逻辑执行模块、数据交互模块和装订数据模块。装订数据模块接收外部输入的软件逻辑模型装订参数;所述软件逻辑模型包括逻辑序列及其执行顺序,每个逻辑序列包括逻辑动作以及逻辑动作之间的嵌套...
- 邓兵韩笑冬宫江雷吕小虎李翔杨凯飞
- 一种多源卫星系统时间智能管理方法
- 一种多源卫星系统时间智能管理方法,属于卫星时间系统智能化管理技术领域。本发明方法根据应用模式自主切换时间系统,在GNSS接收机、下位机时钟源、CPU系统时钟、温补晶振时钟源之间实现自主切换,根据GNSS接收机是否可用来确...
- 宫江雷韩笑冬邢川安卫钰吕小虎邓兵李翔杨凯飞
- 文献传递
- 一种卫星安全关键软件系统性验证方法
- 一种卫星安全关键软件系统性验证方法,首先构建安全关键软件多维影响要素模型,然后根据安全关键软件多维影响要素模型构建安全关键软件需求约束集,最后使用得到的安全关键软件需求约束集对安全关键软件进行验证。本发明结合安全关键软件...
- 吕小虎韩笑冬宫江雷邓兵李翔王雷
- 文献传递
- 一种空间锂离子电池非耗散型均衡方法被引量:8
- 2014年
- 针对空间锂离子电池串联使用的单体电压均衡问题,文章提出一种应用双向反激DC/AC变换器的非能量耗散型均衡控制方法。串联锂离子电池中容量较高的单体能量可以通过DC/AC变换器,在时序脉冲的控制下,经过公用母线进入容量较低的单体,从而实现单体之间电压的均衡。通过对变压器副边电压的分时采集可提供单体电压遥测,避免了高共模电压条件对测量带来的影响。文章利用Multisim软件对所提出的方法的功能和性能进行了仿真分析,结果证明了其有效性。
- 宋鼎牛跃华王利然张岩吕小虎焦荣惠
- 关键词:锂离子电池变压器均衡控制
- 一种基于信息流交互特性的卫星能源管理软件测试方法
- 一种基于信息流交互特性的卫星能源管理软件测试方法,首先梳理卫星能源管理软件各个功能模块的输入和输出,依据不同功能模块间输入和输出的关联特性,建立功能模块间的信息流二元映射关系,然后根据能源管理软件的任务执行逻辑场景,划分...
- 吕小虎韩笑冬宫江雷李翔李劼邓兵王雷
- 文献传递
- 一种卫星故障数据保存和下传的系统及方法
- 本申请公开了一种卫星故障数据保存和下传的系统及方法,该系统包括:星载计算机以及地面站;其中,星载计算机,包括主份板卡、备份板卡以及容错板卡,在主份板卡和备份板卡上均设置有容错SRAM存储器,容错板卡包括多个电源模块,多个...
- 邓兵韩笑冬宫江雷王雷吕小虎李翔
- 一种星务软件模块故障复现的方法及系统
- 本申请公开了一种星务软件模块故障复现的方法,该方法包括:确定星务软件模块整个执行过程的动作集合和状态集合,以及确定星务软件模块出现故障时的第一动作和第一状态;确定星务软件模块的初始状态,基于预设的强化学习算法、初始状态对...
- 邓兵韩笑冬宫江雷安卫钰李翔吕小虎
- 文献传递
- 基于系统多维要素的安全关键软件验证方法被引量:1
- 2019年
- 软件密集型系统已成为发展的必然趋势。安全关键软件功能的比重持续上升,与之相关的安全性问题也日益凸显,且问题的影响因素呈现复杂、多维、动态、隐蔽等特征。因此,寻求合理的验证方法成为了迫切需要,而如何对其进行有效验证,也成为软件安全性工作的难点。结合安全关键软件的研制工作,文中研究并提出基于系统多维要素的安全关键软件验证方法,从系统的角度建模对影响软件安全性的多维危险要素;在此基础上,通过构建安全关键软件的需求约束集和验证集,给出具体的验证方法和步骤。实际应用表明,与传统的局限于软件逻辑自身的验证方法相比,文中所提方法能够有效识别大量软件潜在的深层次的问题。
- 吕小虎韩笑冬宫江雷王志杰刘小鲲
- 关键词:安全关键软件
- 一种基于属性要素模型的低轨通信卫星星务软件优化方法
- 一种基于属性要素模型的低轨通信卫星星务软件优化方法,包括两大方面:1)针对低轨通信卫星星务软件包含的功能模块(含子功能模块),提出各功能模块的属性要素模型,包括关键属性要素、时间特性要素、控制开关要素等;2)基于各功能模...
- 吕小虎徐楠宫江雷李翔