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

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

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

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

某大型飞机后缘襟翼气动/机构综合优化设计

大型飞机增升装置的研制不仅需要其提供足够的气动性能,也需要对噪声、舒适性等进行综合考量设计,而增升装置是提高大型飞机综合性能的重要系统,也是目前技术发展亟待研究和解决的重要问题。对于增升装置机构设计,通过设计较为简单的铰链襟翼机构来引导襟翼达到较优位置,然后选择气动性能较好的位置作为新的优化位置,求得较优机构位置。机构位置改变结合气动性能验证需要进行大量的迭代计算以及结果优化,因此以机构设计为基础,探究多目标优化计算的新方法,最终实现气动结构一体化设计目标。选用铰链式后缘襟翼为研究对象,综合考量后缘襟翼旋转与扰流板下偏联合运动对于气动性能影响,利用所研究方法,对其进行气动机构一体化设计并得出设计结果。     

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

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