仪表飞行程序定高转弯保护区分析

定高转弯作为仪表飞行中最为常见的飞行方式，普遍运用于日常飞行。本文以飞行程序设计规范为依据，分析了定高转弯保护区的标准画法，并以D类航空器在某机场定高转弯为例，对比分析了提升爬升梯度至7%以及10%的保护区范围与标准保护区范围的差异，阐述提升爬升梯度后引起的保护区范围扩大带来的潜在影响，并以此提出定高转弯保护区的优化建议。     

嵌入式软件智能合成框架及关键科学问题

程序合成是提高软件开发效率和质量的有效途径，也是计算机科学重要的前沿方向之一。首先，概述了程序合成方法的国内外研究现状及其存在的问题。在此基础上，提出了软件知识产权(intellectual property, IP)的概念和一种基于软件IP的嵌入式软件智能合成开发模式(IP-based embedded software intelligent synthesis, IPESIS)及其框架。最后，阐述了IPESIS需要解决的关键科学问题和主要研究内容。IPESIS通过定义领域需求描述语言，在更高的抽象层次上对目标软件进行刻画，以软件IP为粒度缩小程序搜索空间，采用机器学习等人工智能技术自动合成程序，有望突破现有方法的局限，进而实现嵌入式软件开发从手工编程模式到软件IP研发和基于软件IP的智能合成模式的转变。     

基于最优估计法的瑞利激光雷达反演大气温度研究

基于瑞利激光雷达的回波光子信号对中层大气进行探测，结合最优估计法，对大气温度进行反演。本文基于瑞利散射激光雷达方程建立正向模型，选择大气模型的温度廓线作为先验状态信息，构建用于最优化处理的成本函数，利用Levenberg-Marquardt最优化算法对成本函数执行最优化处理，得到大气温度的反演结果，对反演结果的不确定度分析的同时利用平均核矩阵对反演结果中真实信息的贡献进行评估。利用瑞利激光雷达方程产生的模拟回波信号进行了大气温度的反演处理与分析，对中国科学院国家空间中心提供的瑞利激光雷达实测数据进行大气温度的最优估计反演。结果表明，90 km以下的反演不确定度在10 K以内，且相较于CH方法，最优估计法具有反演有效范围高的优势；在回波光子信噪比较高的区域，反演不确定度较小，且真实信息对反演结果的贡献占主导地位。     

机场净空区域内临时障碍物高度规划与控制研究

文章提出了广义的净空保护范围，给出了基于运行安全的参考高度计算方法，根据拟建项目的位置可计算出飞行程序要求的高度作为拟建项目的控制高度。针对机场周边临时障碍物的净空审核问题，从支持城市发展和确保飞行安全的角度探讨了临时障碍物与永久性障碍物有差别的处理的可行性。通过评估手段证实了这种设想的可行性，提供了对于净空区域临时障碍物处理的新思路，并节约了工程建设成本，缓解了机场净空保护与城市发展的矛盾。     

纯星基导航飞行程序应用研究

本文通过剖析塔城机场运行纯星基导航运行带来的优势：节约投资、缩短机场改扩建建设周期、提高机场运行效率等，以及面临的问题：低温、信号完好性等，研究纯星基导航飞行程序在未来应用的方向，如结合RNP AR、PMS（点融合）、CCO/CDO、GLS飞行程序与北斗导航系统等，有着广阔的应用空间。