公共文化服务平台

黎藜: 作品数：26 被引量：8H指数：2; 供职机构：北京控制工程研究所更多>>; 发文基金：国防基础科研计划国家自然科学基金更多>>; 相关领域：自动化与计算机技术电子电信航空宇航科学技术兵器科学与技术更多>>

合作作者

一种跳跃式再入飞行器过载保护方法: 本发明公开了一种跳跃式再入飞行器过载保护方法：(1)根据器载计算机记录的阶段标志(PhaseFlag)判断当前飞行阶段，如果是二次再入段则执行后续过载保护功能，否则结束；(2)判断过载保护功能是否激活，如果已激活，则执行...; 王勇张钊杨鸣董文强张维瑾魏高乐杨俊春乔德治黎藜; 文献传递

一种大量程光纤陀螺全温全动态脉冲补偿方法: 一种大量程光纤陀螺全温全动态脉冲补偿方法，包括：在地面测试状态下，将惯性测量单元放置在地面温箱内；设置多个温度区间、角速度采样区间；获得每个温度采样点对应所有角速度采样点的刻度因数，并确定一个标称刻度因数；确定理论脉冲输...; 徐李佳刘旺旺赵宇王云鹏郝策王晓磊冯士伟林松杨晓龙黎藜陈尧张琳周益李茂登胡锦昌; 文献传递

基于在轨数据进行相对导航敏感器状态辅助判断的方法: 基于在轨数据进行相对导航敏感器状态辅助判断的方法，包括步骤：1、根据在轨注入的飞船和目标的相对位置和相对姿态信息初始化相对导航敏感器的相对位置和相对姿态估值；2、根据飞船陀螺、加速度计测量的脉冲数计算飞船当前周期的三轴姿...; 张国峰蔡雨辰王振华陈朝晖奚坤党纪红张维瑾张韩笑杨俊春黎藜魏高乐; 文献传递

一种三机热备份实时系统同步事件响应的方法: 本发明提供一种三机热备份实时系统同步事件响应的方法，三机热备份实时系统包括三台独立运行的单机，相互之间在每个控制周期定时通讯、交换数据，每一控制周期每个单机运行以下步骤：S1、查询是否有需要处理的事件；S2、当需要处理的...; 张维瑾王婧王勇魏高乐张国峰黎藜乔德治董文强杨俊春张高; 文献传递

一种基于特征表的测试脚本自动生成方法: 本发明涉及一种基于特征表的测试脚本自动生成方法，属于自动测试技术领域；步骤一、建立星敏感器和陀螺的动力学测试特征量T1、T2、……、Tn，n为特征量的个数...; 黎藜曹志威董晓刚冀红霞万丽景齐天翼吴宗哲柴志陈尧

一种三机热备份实时系统同步事件响应的方法: 本发明提供一种三机热备份实时系统同步事件响应的方法，三机热备份实时系统包括三台独立运行的单机，相互之间在每个控制周期定时通讯、交换数据，每一控制周期每个单机运行以下步骤：S1、查询是否有需要处理的事件；S2、当需要处理的...; 张维瑾王婧王勇魏高乐张国峰黎藜乔德治董文强杨俊春张高

一种基于特征表的测试脚本自动生成方法: 本发明涉及一种基于特征表的测试脚本自动生成方法，属于自动测试技术领域；步骤一、建立星敏感器和陀螺的动力学测试特征量T1、T2、……、Tn，n为特征量的个数...; 黎藜曹志威董晓刚冀红霞万丽景齐天翼吴宗哲柴志陈尧; 文献传递

星载计算机软件通用测试平台的设计与实现被引量：6: 2019年; 为了实现星载计算机软件的测试通用化,本文提出了一种星载计算机软件通用测试平台的设计与实现方案.该方案以真实CPU主板为核心,利用FPGA模拟CPU外设,形成星载计算机软件运行的目标系统;通过模块化设计及参数配置,实现测试平台在不同型号的软件测试中的应用;通过对地面仿真软件与FPGA逻辑的设计,可准确施加测试激励和捕获测试结果.将该测试平台应用在不同航天飞行器的星载计算机软件测试中,其结果表明使用该测试平台可对星载计算机软件进行有效测试,可实现星载计算机软件测试平台的通用化,并具有研制周期短、成本低的特点.; 黎藜乔德治何世民李晓锋; 关键词：星载计算机软件测试

一种航天嵌入式软件接口数据的自动化维护方法: 一种航天嵌入式软件接口数据的自动化维护方法，监测航天嵌入式软件代码中的数据自动化维护指令并判断，当为分组控件时，生成分组控件显示当前及下一个分组控件语句间所有变量及变量取值，当为复选框控件或者编辑框控件时，通过复选框或者...; 蔡雨辰奚坤钟睿明于海心黎藜陈朝晖董晓刚党纪红张国峰李晓锋王振华

“嫦娥五号”探测器GNC应用软件高可信研制技术: 2021年; 基于“嫦娥五号”(Chang’E-5,CE-5)任务高安全性、高可靠性、高复杂度、高自主性的功能以及高实时性、强时序性的需求,开展了导航、制导与控制(Guidance,Navigation and Control,GNC)分系统应用软件高可信研制保障技术研究。针对自然语言需求定义方式无法精确描述一些关键复杂时序的问题,在需求分析阶段建立了基于时序安全性属性描述的形式化建模语言模型验证技术,保证了系统时序的安全性;针对人工走查难以发现的代码深层次脆弱性缺陷,在设计编码阶段结合飞行任务剖面提取了程序切片,提高了源代码缺陷定位效率,保障了编码的规范性与软件构件的功能正确性;针对复杂软件的海量测试用例无法快速执行的问题,在确认测试阶段,研究了基于状态图和序列图的测试用例生成方法,搭建了一键测试的自动测试系统,实现了海量测试用例的快速自动执行,有效提升了测试效率与测试覆盖性。通过各阶段地面仿真实验和在轨飞行试验验证,表明所提出的高可信软件研制保障技术方法有效可行。; 李轶黎藜郭明姝王同磊张国峰李晓锋; 关键词：应用软件高可信