李轶 作品数:23 被引量:10 H指数:2 供职机构: 北京控制工程研究所 更多>> 发文基金: 国防基础科研计划 国家中长期科技发展规划重大专项 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 航空宇航科学技术 电子电信 更多>>
一种基于事件驱动的时滞系统高精度控制方法 本发明提出一种基于事件驱动的时滞系统高精度控制方法,包括步骤如下:步骤1,不考虑时滞效应时的跟踪控制系统模型建立;步骤2,时滞引入后的跟踪控制过程分解;步骤3,时滞引入后的系统闭环模型建立;步骤4,进行时滞引入后的系统闭... 吴倩 李晓锋 齐天翼 傅秀涛 李轶 张宇 武登云 汤文澜 杨洁 刘其睿 陶佳伟 庞博 常涛 杨林芳 吕文华一种基于快速搜索的指令可配置方法 一种基于快速搜索的指令可配置方法,通过地面指令的注入,卫星完成定姿,定向,机动等各种功能。提出了一种基于指令的分类,特征参数配置,快速搜索,准则判断,环形存储等多种设计的星载指令实现方法。完成了复杂星载指令的规则化,约束... 周艳丽 周中泽 柴志 王裙 李光旭 王建花 万丽景 杨璐畅 史晓霞 李经松 李轶 刘新彦 钟睿明 李晓锋 董晓刚 党纪红 吴培亚 陈志华 李信动 王昱软件故障定位技术研究综述 被引量:4 2019年 软件故障定位旨在利用程序信息以及测试用例找到导致程序出现故障的语句,以提高程序的安全性与健壮性;首先介绍了常见的单故障定位技术和现有的多故障定位技术,并对比分析了两者之间的差异,然后介绍了常用的测试用例集合,并列举了一些用来测试评价故障定位技术效率的方法,最后对现有的故障定位技术进行总结并提出未来研究方向的展望。 李雷 陈朝晖 李轶 李经松关键词:故障定位 嫦娥五号月球轨道交会对接制导、导航与控制系统 被引量:2 2021年 嫦娥五号(CE-5)实现了我国首次无人自主月球轨道交会任务,制导、导航与控制(GNC)系统发挥了重要作用.本文介绍了CE-5月球轨道交会对接GNC系统的组成及工作原理,交会对接任务阶段划分,制导、导航与控制关键技术,以及在轨飞行情况和结果评估. 徐阳 马琳 刘涛 刘涛 于丹 胡锦昌 郑永洁 李轶 乔德治关键词:月球轨道 交会对接 一种航天器复杂协议的遥测数据动态处理方法 本发明公开了一种航天器复杂协议的遥测数据动态处理方法,通过提取CCSDS的AOS分包遥测方式的数据传输特征,将相关特征信息提取成为配置文件,读取配置文件中所定义的特征信息内容,对遥测下行的CADU数据包进行读取,准确地获... 王振华 杨春河 曹志威 党纪红 董晓刚 万丽景 王健蓉 李晓锋 王玉峰 李轶 于海心文献传递 一种仅使用磁力矩器控制的高精度卫星姿态控制方法 一种仅使用磁力矩器控制的高精度卫星姿态控制方法,首先根据姿态角和姿态角速度计算期望控制力矩,再根据地磁场信息和期望控制力矩计算期望控制磁矩,然后根据惯性角速度信息结合重力梯度力矩估计和上周期理论控制力矩估计,使用本发明提... 刘其睿 王丽娇 刘一武 关彬 李轶 林琳 李艳“嫦娥五号”探测器GNC应用软件高可信研制技术 2021年 基于“嫦娥五号”(Chang’E-5,CE-5)任务高安全性、高可靠性、高复杂度、高自主性的功能以及高实时性、强时序性的需求,开展了导航、制导与控制(Guidance,Navigation and Control,GNC)分系统应用软件高可信研制保障技术研究。针对自然语言需求定义方式无法精确描述一些关键复杂时序的问题,在需求分析阶段建立了基于时序安全性属性描述的形式化建模语言模型验证技术,保证了系统时序的安全性;针对人工走查难以发现的代码深层次脆弱性缺陷,在设计编码阶段结合飞行任务剖面提取了程序切片,提高了源代码缺陷定位效率,保障了编码的规范性与软件构件的功能正确性;针对复杂软件的海量测试用例无法快速执行的问题,在确认测试阶段,研究了基于状态图和序列图的测试用例生成方法,搭建了一键测试的自动测试系统,实现了海量测试用例的快速自动执行,有效提升了测试效率与测试覆盖性。通过各阶段地面仿真实验和在轨飞行试验验证,表明所提出的高可信软件研制保障技术方法有效可行。 李轶 黎藜 郭明姝 王同磊 张国峰 李晓锋关键词:应用软件 高可信 一种点云简化滤波方法 本发明提供了一种点云简化滤波方法,首先建立角度距离坐标系oxyz,而后化分柱体,每个最小柱体内的点简化为一个三维角距点。而后当前柱体的三维角距点利用上下左右柱体的三维角距点进行滤波。将角度距离坐标系oxyz中的滤波后的三... 刘达 王立 李轶 朱飞虎 吴云 郭绍刚 刘忠汉一种编队卫星相对轨道变化估计方法、估计装置 一种编队卫星相对轨道变化估计方法、估计装置,不依赖星间测量链路的高精度相对轨道根数估计,通过地面上注目标星轨道根数参数进行实时外推计算,并提出基于相对轨道运动学的递推滤波算法对长周期漂移项进行在线估计,在星间测量不可行的... 王丽娇 刘一武 刘其睿 陶佳伟 关彬 李轶 林琳 李艳一种基于事件描述符的设备状态管理系统 本发明涉及一种基于事件描述符的设备状态管理系统,属于航天器自主智能管理软件领域。实现方法包含:面向航天器特性和飞行任务场景定义形式化的设备当班事件规则描述符;定义每个设备当班的必要条件、互斥条件、场景条件和级联关系,将其... 李轶 刘一武 林琳 关彬 刘其睿