基于模型架构的航天器控制软件研制方式研究

开展基于模型设计研究,旨在解决当前航天器控制软件研制所面临的需求描述准确性、设计验证充分性以及软件产品可靠性等问题.针对基于模型设计过程中的代码胶合接口复杂且操作繁琐问题,提出一种基于模型架构的航天器控制软件研制方式,搭建软件模型驱动框架,通过模型封装方式将既有代码资产或新编写代码嵌入到软件模型驱动框架,简化代码胶合过...     

基于实时卫星共视技术的时间码在线校准系统

稳定可靠的时间参考是开展时间码测量的前提。时统设备使用环境复杂,不宜拆卸,因此在对时统设备进行现场校准时面临无法直接获得稳定可靠时间参考的难题。本文提出一种设计思路,基于实时卫星共视技术搭建时间码在线校准系统。该系统采用小型化设计与实时在线数据处理技术,可以在校准现场复现守时实验室标准时间,可广泛应用在时间参数现场校准领域。     

双重迭代置信传播空时编码调制及其在准静态MIMO衰落信道下的性能

提出一种结合低密度校验码和空时分组码的置信传播编码调制方案，并对其在准静态MIMO衰落信道下成对差错概率及最优星座选择进行了分析，并给出了相应的参考设计准则。为防止过多错误反馈造成译码失效，提出采用内、外双重迭代方式提高系统的鲁棒性。同时．由于该方案LDPC(Low—density parity—check)码校验矩阵作为迭代终止判决准则，使得迭代算法的平均复杂度降低。     

复杂背景中条码检测定位技术的研究

研究了复杂背景中条码检测定住技术。先分析每个子区域的特征,选出可能包含条码的子区域,然后对子区域进行合并筛选,检测条码所在位置。最后根据Hough变换．找出条码边界．并用双线性插值将条码旋至水平。实验表明文中提出的条码检测定位算法具有很好的性能,优于传统的基于梯度特征的检测算法。     

基于STEP-NC的数控车削加工仿真系统

提出了一种基于STEP-NC的数控车削加工仿真系统,该仿真系统能够验证STEP-NC数控程序、模拟实际系统运行。讨论了仿真系统的译码器、基于特征的加工数据库、实体建模以及仿真驱动等组成模块实现的关键技术和方法。介绍了仿真系统的建模工具V isua l C 和O penGL。最后指出了本文研究对于STEP-NC数控加工研究的意义。     

惯性速度辅助下GPS／捷联惯导组合系统性能研究

ＧＰＳ／惯性导航组合系统目前正得到越来越广泛的应用，但ＧＰＳ接收机载波环失锁时，码环的速率辅助信息来自惯导系统，由于惯性速度的不精确性及伪距测量误差和它之间的相关性，将可能导致组合系统工作的不稳定，本文根据码环的工作特性，在组合卡尔曼滤波器中考虑了码环的跟踪误差，利用ＧＰＳ／捷联惯导组合系统的导航性能，结果表明，ＧＰＳ／捷联惯导组合系统中，若消除了伪距测量误差与惯性速度误差之间的相关性，将可较显著     

基于遗传算法和转矩分配函数的开关磁阻电机转矩脉动抑制

开关磁阻电机(SRM)特殊的双凸极结构导致其运行时会产生很强的转矩脉动。传统的转矩分配函数(TSF)控制方法虽然可以在一定程度上起到抑制转矩脉动的作用,但是受到开关频率、功率电源电压值等物理条件的限制,仍会存在较大的转矩脉动。为此,提出了一种基于遗传算法的SRM TSF控制方案。利用遗传算法良好的寻优能力,在指数型TSF控制的基础上,将转矩脉动作为优化目标来寻取最优的开关角。将1台四相8/6极的SRM作为研究对象,搭建了以TMS320F28335为控制核心的试验平台。试验结果验证了基于遗传算法的TSF控制方法可以有效减小SRM的转矩脉动。     

一种用于分析MCS-51目标码堆栈深度的方法

在嵌入式软件中,针对目标码的堆栈分析是堆栈检查的常用手段．提出了一种用于MCS-51系列处理器目标码的堆栈深度分析方法,该方法可分析最坏情况下的堆栈深度,并考虑了不同优先级下中断服务程序对堆栈的影响．利用该方法可开发出分析MCS-51目标码的堆栈分析工具,其分析结果对堆栈安全检查和优化具有参考意义．     

嵌入式处理器P2020机器码程序到C语言源程序的溯源方法

处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明：文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

用电力线进行精密时间传递

简单地阐述了用电力线进行精密时间传递的基本原理。除了用长波、短波、卫星、激光、TV、VLBI、电话线传递精密时间以外,又开拓了用电力线进行精密时间传递的新途径,这种方法具有广阔的应用前景。