代码审查是航天嵌入式软件开发中的重要环节.近年来，随着嵌入式软件开发需求的增多，传统以人工为主的代码审查方法逐渐不能满足快节奏的软件开发流程.为了减轻审查人员的压力，提升审查效率，研究者们逐渐将目光转向以深度学习技术为首人工智能领域，尝试寻求技术上得突破，以开发更智能的审查系统.本文对近年来人工智能技术在代码审查及程序理解中应用的相关工作进行了归纳总结.首先简要介绍了嵌入式代码审查工作目前面临的困境及解决方案.然后引出了代码审查中的一项重要活动，即程序理解.并详细阐述了目前基于人工智能的程序理解在代码审查中的应用情况.最后根据相关领域的发展情况，对未来代码审查的发展方向作了进一步的探讨.

 在体积、功耗等条件和资源受限的场景下，承载异构计算资源的嵌入式计算设备之间如何实现异构资源的接入和自适应协同管理，进一步联合形成具有足够规模“算力”的智能空间“云”计算平台，是实现平台“算力”的跨越提升、实现更多功能、更优性能和更高智慧应用的关键.本文提出了一种任务驱动的嵌入式可重构异构计算平台，通过集群构建的方式，对多个分布式的、承载各种不同异构计算资源的嵌入式计算板卡统一调度管理；利用容器化技术，构建任务驱动的、可重构的任务执行的虚拟计算环境；开发了基于B/S模式的平台可视化用户界面，实现了用户对平台的随遇接入和全网资源可见.本文提出的嵌入式计算平台能够提供高可用的任务接入、任务下发与任务执行；实现了异构计算资源的自组织协同和统一化管理；基于容器化的任务执行方式细化了资源管理粒度，在不损失计算能力的前提下提高了资源利用率和任务并发度.本文提出的嵌入式动态可重构计算平台解决方案是对未来嵌入式“云”计算平台架构研究设计的有益探索.

航空航天的飞速发展对抗辐射加固仿真提出了更高的标准和要求.提出了一种基于可组合可重用中间件的云仿真平台.该平台中，仿真软件采用虚拟机+docker的方式进行部署，以降低虚拟机的功耗并避免资源浪费.在该平台架构上，首先提出了基于微服务的可组合可重用仿真中间件通用模型.然后在通用模型基础上设计并实现了典型抗辐射加固仿真场景下的关键中间件，包括模型显示中间件和脚本转换中间件.最后通过Petri网动态组合仿真中间件来完成仿真任务.结果表明以云平台为基础，可重用可组合中间件为核心的仿真平台架构能够有效提高仿真平台的可重用性、可扩展性和灵活性.

针对卷积神经网络中激活函数无法有效为处于不同激活程度的像素点提供特定梯度响应的问题，设计了一种由多个分段线性函数组成的自适应激活函数.首先依据像素激活值的取值范围，自适应地生成多个独立的激活域，各个激活域的并集包含激活图中全体像素点的激活值；随后在每个激活域中学习一个特定的线性函数，为处于该激活域中的像素点提供特定的梯度响应；最后以NIN网络和ResNet18网络为例，在CIFAR10和CIFAR100数据集上，验证所提激活函数的性能.实验结果表明，与现有激活函数相比，本文提出的激活函数，由于能够更好地为处于不同激活程度的像素点提供适当的梯度响应，使分类准确率在NIN网络上分别达到87.96%和69.01%，在ResNet18网络上分别达到88.56%和73.54%.

近年来，表现出极其优越性能的神经网络算法对硬件算力的要求逐渐提高.在一些低功耗场景如星载系统中，拥有可编程重构、高并行等特性的FPGA是神经网络算法较为合适的硬件加速平台.为了解决传统神经网络硬件加速器设计中片内资源消耗大、各功能模块耦合性高等问题，设计实现了一套专用AI指令集并应用在了基于FPGA的神经网络加速器的设计中.文章首先介绍了该指令集的设计方案.整个指令集由指令寄存器、指令解释器、指令转发模块、内存管理单元和多个模块构成.通过该指令集可实现对不同模块的复用，降低模块之间的耦合性.并以YOLOV3Tiny网络模型为例，对比了平铺式和指令控制式两种加速方案的逻辑资源的消耗.验证了应用专用指令集可以减少约50%的FPGA逻辑资源的使用.

卫星互联网正成为一种空间基础设施展开建设，大规模卫星发射的需求与地面运控管理任务指数型增长之间的矛盾日益突出，特别是对于低轨长期处于测控不可见弧段运行，其自主生存需求更为急迫，而星务自主控制功能是实现自主运行和生存的重要组成.本文通过参数装订、逻辑子层和数据交互模块的架构设计，提出一种基于模型化配置的自主管理软件系统框架，并针对核心逻辑子层，建立遥控主动模型、遥测主动模型以及数据融合交互控制模型，实现星务自主管理软件的快速研制，解决自主运行功能常会随设计深入和试验验证不断功能扩展的问题，提高星务自主控制软件的灵活性.通过卫星故障检测和恢复(FDIR)自主管理功能的设计进行了验证.结果表明该软件系统设计框架能够满足星务自主控制功能设计，具备可扩展能力，为进一步提升卫星的智能化水平奠定基础.

航天器的每一种行为都需要多种信息的综合，这使得有效传递传感器数据成为关键问题.机器人操作系统(ROS)将基于主题的发布订阅作为内部的一种通信机制，解决消息的传递问题.由于ROS使用C++编写，无法直接应用在嵌入式平台中.本文利用C语言实现了ROS中基于发布订阅的通信机制，将信息的传递过程虚拟化成很多节点，每个节点可以选择自己感兴趣的话题成为发布端或者订阅端.发布端/订阅端并不需要知道其他节点的信息，实现功能解耦.目前，该方法在Windows平台上进行了单机和多机间的测试，通信效果良好，完成了进程间数据的传递.

 路由方法是保障卫星网络信息传输能力的基础性技术，是地面路由技术与航天应用的有机结合.当前卫星网络使用的主流路由方法主要为预先设置好路由表、转发表的静态方法，地面商用路由方法则主要使用以OSPF为代表的动态方法.动态方法的性能、鲁棒性和可靠性均明显优于静态方法，但是在卫星网络中直接应用动态方法带来的相应需求如计算资源、存储资源和信道资源等，卫星网路往往不能满足.针对此问题，提出了基于动静结合的卫星网络路由方法.该方法将OSPF方法进行针对卫星网络的适当裁剪，结合传统的拓扑快照静态路由方法，在卫星网络可以负担的资源限制条件下，提高整个卫星网络系统的性能、鲁棒性和可靠性.

本文提出了一种基于虚拟页地址映射的NAND Flash管理算法.该算法通过定义坏块表、对应表等结构，以及设计的坏块替换策略和虚拟页地址到实际物理页地址的转换算法，实现上层软件采用虚拟地址对NAND Flash的无坏块连续页地址访问.该算法是一种高效的地址映射算法，能高效地对数据进行索引，占用SRAM空间较少，使系统达到高性能，并使得闪存使用的更加稳定持久.

 星载计算机应用中，高可靠和低成本往往相互矛盾.传统计算机系统通过采用高等级器件的方式来提高系统可靠性，但代价是成本高昂.商业卫星采用降低元器件等级的方式来降低系统成本，但可靠性也随之降低.针对这一矛盾，提出了一种设计方法：利用低等级元器件，通过对程序存储器和数据存储器双冗余的方式来提高计算机存储器的可靠性、容错能力以及抗空间环境能力.采用本设计的计算机其存储器部分的可靠性与传统宇航计算机相当，成本与商业卫星计算机相当，实现了低成本与高可靠兼顾.

为了实现微小卫星“好、快、省”的目标，商业货架产品(Commercial offtheshelf, COTS)被大量采用，如何确保COTS产品的可靠性是必须要解决的问题.以基于工业器件的计算机产品为例，针对星载计算机产品存在的空间应用无可靠性预计指标、无抗单粒子设计等问题，开展了星载计算机容错设计及空间应用可靠性研究.为了保证星载计算机高可靠性航天应用，从产品的设计、分析、试验等方面提出了有效的保证措施.最后，利用星载计算机加速寿命试验数据和在轨实际运行表现证明了该方法的有效性；可靠性评估结果表明星载计算机三年内可靠度可以达到0.976以上(置信度取0.6)，能够实现高可靠航天应用.

实现了面向宇航应用的高可靠SoC异常处理系统软硬件设计.为提高可靠性，将处理器及异常处理系统寄存器进行冗余设计，对SoC片上SRAM及各外设存储模块引入EDAC检错/纠错(纠一检二)机制.采用中断控制器统一管理众多的外设中断请求，对数据/指令的EDAC校验一位错和二位错异常，引入不同的硬件处理机制.一位错可通过EDAC逻辑纠正，不影响处理器正常运行，通过中断控制器以异步异常方式处理；二位错不能被EDAC逻辑纠正，影响处理器指令执行，通过总线反馈信号以精确同步异常方式处理，保证了异常响应的效率和系统可靠性.仿真验证结果表明，该异常处理系统可正确处理SoC众多外设和处理器内部异常.本文中的设计方法对高可靠处理器异常处理系统设计具有一定的参考价值.