嵌套表生成系统

基于物理存贮结构和数据字典,本文论述了一种有效的嵌套表生成方法。     

某机型钛合金承力框加工工艺优化研究

通过分析某机型钛合金承重框机械加工中的各个工段以及操作者所反馈的信息,找出了在技术上制约加工效率的生产因素,在此基础上对该零件的工艺流程和数控程序进行了优化,从而显著提高了加工效率。在处理转角加工工艺中,通过多次试验得到了加工转角的插铣编程方法,该方法解决了在加工转角过程中频繁出现的折刀问题。通过使用玉米铣刀解决了在加工基准面时由于余量不均引起的刀齿断裂问题,同时提高了加工效率,为今后类似零件的加工提供了宝贵的经验。     

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

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

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

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

关于改进军用标准申报立项工作的思考

鉴于标准化工作在空军战略转型建设的重要作用，通过分析目前军用标准申报立项工作存在的弊端，建设性提出立项依据可靠、立项标准科学、立项程序明确、标准管用实用的军用标准立项机制，为今后实现标准体系统筹性、标准通用性，以及促进申报积极性和军用标准化工作高效性提出建设性意见。     

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

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

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

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