一种低复杂度的Multi-h CPM相干解调算法及FPGA实现

多调制指数连续相位调制（Multi-h Continuous Phase Modulation,Multi-h CPM）是一种恒包络调制,具有多个周期出现的调制指数,因此其频谱效率和功率效率比单调制指数CPM更高,但其接收机的复杂度也随之增加。本文在倾斜相位（Tilted Phase,TP）的基础上采用频率脉冲截断（Frequency Pulse Truncation,FPT）和状态空间分割（State Space Partition,SSP）相结合的方法来降低多调制指数连续相位调制的复杂度,使相位状态由512降低到16,理论损耗约为0.8 dB。同时,对降低复杂度的解调算法在现场可编程门阵列（Field Programmable Gate Arrays, FPGA）上进行了验证。仿真和在线测试的误码率曲线接近理论分析曲线,和常用的128状态解调算法相比,资源消耗降低了约59%。     

ARINC 653分区实时系统的可调度分析

ARINC 653规范定义了综合模块化航空电子(IMA)实时操作系统的行为逻辑以及向应用程序提供的接口规范。该规范规定了系统采用分区内调度和分区间调度的两级调度方案,如何分析系统的可调度性以保证实时任务能够在截止时间内完成计算是需要研究的新问题。基于负载请求与平台资源提供能力的供需约束关系导出了系统可调度的判定依据。证明了判据的约束是系统可调度的充分必要条件。实际应用表明,提出的可调度判定定理能够应用于判定ARINC 653分区实时系统的可调度性,辅助提升系统的安全属性。     

高精度高动态星模拟器研究

给出了高精度高动态星模拟器系统组成和总体结构, 提出一种基于亚像素显示技术提高动态星模拟器星点位置显示精度从而减小星点几何中心与能量中心位置偏差的新方法. 针对动态星模拟器高动态性要求, 提出一种快速精确检索全天球导航星的新方法, 将已知SAO (Smithsonian Astrophysical Observatory) 星表进行分区, 计算当前姿态四元数并分析航天器视轴所在区域, 对于距离视轴较远区域停止搜索和匹配, 很大程度上缩小了导航星搜索范围, 进而缩短了全天球恒星遍历所需时间. 软件测试结果表明, 此快速检索法可使全天球导航星的选取速度提高近10倍.      

基于嵌入式MATLAB函数编程的火星车能量平衡仿真系统

在以往航天器研制过程中,电源系统能量平衡分析是基于表格化计算的方法,其运算效率低、显示不直观。文章提出了一种可视性强、易编程、更通用的能量平衡分析方法,即采用嵌入式MATLAB函数对电源系统能量平衡分析的功能模块进行编程实现,以火星车电源系统为应用背景,在MATLAB/SIMULINK平台上搭建了一套用于能量平衡分析的仿真系统,并在特定实例下进行仿真分析,仿真结果采用图表曲线形式显示,能清晰、直观地反映能源利用的动态变化趋势,可为电源系统方案优化设计提供参考依据。     

嵌入式软件测试开发环境的框架设计

采用软件设计上的复用思想,对嵌入式软件仿真测试环境进行框架的设计,可以使测试环境在不做大幅度修改的情况下适应不同的被测软件,节省设计的时间和费用.论述了由框架开发软件的过程,并把此过程应用于测试环境;对嵌入式软件仿真测试环境进行总体分析,确定了它的3个主要组成部分;归纳出作为测试环境重要组成部分的测试开发环境的基本功能,并使用专门针对框架开发的UML-F建模语言设计了一个框架;对已开发成功的测试开发环境框架,提出了具体的框架适配方案.本设计已在实际工程中得到了应用.     

基于Eclipse的航天嵌入式软件集成 开发环境设计与实现

针对当前航天器软件研制过程中需要使用多种开发工具的问题,设计实现了集工程管理、代码编辑、语法检查、编译链接和调试测试于一体的航天嵌入式软件集成开发环境.研究成果已应用于航天器嵌入式软件的研发,缩短了软件研发周期并提高了软件质量,同时也为软件集成开发环境的研发提供借鉴.     

旋翼跨音速非定常黏性绕流的高效CFD模拟方法

为提高旋翼跨音速黏性绕流CFD模拟的效率,建立了一套基于隐式LU-SGS算法和OpenMP并行策略的旋翼非定常流场高效数值求解方法。首先,基于二维剖面翼型的Poisson方程求解和网格插值、翻折方法生成绕桨叶的O-C-O型贴体正交网格,并采用高效的"扰动衍射"(Disturbance diffraction method,DDM)挖洞方法、并行化″Inverse map″(IM)的贡献单元搜索方法,构建了旋翼运动嵌套网格系统。在此基础上,以耦合S-A湍流模型的非定常RANS方程为主控方程,对流通量采用高精度的Roe-MUSCL格式进行离散,时间推进采用隐式LU-SGS双时间方法,同时采用OpenMP并行策略加速旋翼流场求解。最后,运用所建立的方法分别对悬停ONERA 7A旋翼、前飞Caradonna-Tung(C-T)旋翼无升力状态及SA349/2旋翼有升力状态的气动特性及涡尾迹特征进行了模拟,通过与试验值对比验证了文中方法在旋翼非定常流场CFD模拟中的有效性和高效性。     

星载计算机软件自动化测试平台研究

自动化测试可提高测试效率和测试的准确性,尤其对于大规模软件的增量测试和回归测试。自动软件测试则作为一个重要的控制机制,确保软件每次重构的准确性与稳定性。文章的主要工作是通过实践构建了适用于星载计算机软件的自动化测试平台,实际应用表明该平台提高了软件的测试效率,降低了测试成本。     

面向多级中断系统的任务最差响应时间分析

针对航天嵌入式系统中存在多级中断情况下的时间分析问题,提出了中断与任务混合的响应时间计算模型。该模型中断与任务使用统一的优先级定义,将多级中断嵌套的响应时间分析与任务嵌套的响应时间分析相结合,推导出了混合模型下响应时间计算公式。并进一步比较了中断与任务的异同,阐述了公式中关键参数的含义与计算方法。最后利用开源的LEON3平台和Modelsim软件对所述方法进行了仿真验证,结果表明,任务最差响应时间过估小于5%,可以得到准确的分析结果,有较高的工程应用价值。     

文化反哺：大学生过度社会化与辅导员嵌入性行为研究

社会文化变迁将会更新社会文化的内容体系,影响社会文化的传承方式。当今社会中80后、90后大学生已经出现了社会化程度过高或社会化速度加快的趋势,过度社会化导致在大学生群体中出现与其年龄阶段不符的思想与行为,影响了大学生社会化的顺利开展,不利于高校思想政治教育的顺利开展。本文以文化反哺现象为视角,探讨在大学生过度社会化进程中辅导员的嵌入性行为模式,以期为新时期高校思想政治教育改革与发展提供新思路。