软件自动生成工具中应用的两个智能方法

软件功能描述和源程序代码产生是软件自动生成工具中的两个关键环节。因此,本文给出两个智能方法用于解决其中的问题。描述算子附加知识包的方法提供了一个软件功能描述环境模型,并可以根据一般性知识或标准及用户使用常识优化软件功能描述;层次性辩识网的方法用于解决源程序代码产生中的微、宏决策问题,使软件自动生成过程有更大的灵活性。 本文所介绍的两个方法已应用在菜单式用户界面生成器中。     

Statistical characteristics of locally generated ESF during equinoctial months over Sanya

Understanding the local generation rate of equatorial spread-F (ESF) is important for forecasting ionospheric scintillation. Using the GPS ionospheric scintillation/TEC and VHF radar data during March-April and September-October from 2010 to 2014, the occurrence of ionospheric scintillation, TEC fast fluctuation, and backscatter plume were studied. Through analyzing the simultaneous occurrence of ionospheric scintillation, TEC fast fluctuation and backscatter plume, the local generation rate of ESF over Sanya was investigated. The results show that the monthly generation rate varies between 0% and 68%. A significant equinoctial asymmetry of local generation rate of ESF can be found in 2010, 2013 and 2014. The local generation rate of ESF increases from 2010 to 2014 during March-April, while it does not have similar trend during September-October. The plasma vertical drift influenced by solar activity has a significant impact on the monthly generation rate. The equinoctial asymmetry of plasma vertical drift may contribute a lot to the equinoctial asymmetry of the generation rate of ESF.     

基于单参数迭代的TAEM在线轨迹生成方法

针对大升力体轨道再入飞行器末端能量管理（TAEM）段制导控制能力强、末端约束不惟一的问题，将TAEM段分为动压跟踪和着陆预备2个阶段，设计了不同的纵向轨迹剖面，从而将TAEM段在线轨迹生成问题转化为单参数搜索问题。第1阶段设计标称动压剖面为纵向参考轨迹，使得飞行器过程约束得到保证。第2阶段纵向剖面设计为标称高度剖面，从而使得末端点高度和倾角约束得到保证。根据末端动压误差设计修正律，迭代修正第一阶段动压剖面，从而使得最终的纵向轨迹满足所有的状态约束。在线轨迹递推采用以时间为自变量的数值积分，递推过程引入闭环制导律，通过实时修正攻角跟踪纵向剖面，修正倾侧角跟踪地面轨迹，从而保证在线生成的轨迹符合物理特性，降低闭环制导难度。在考虑初期再入末端大范围状态散布情况下，数值仿真显示了所提算法的鲁棒性。     

一种VxWorks BSP 软件自动生成技术的设计与实现

VxWorks BSP 软件的可视化开发和代码自动生成技术是基于BSP 中最小系统配置单元组件化封装 以及常用外设驱动的标准化、通用化、组件化设计与封装实现的。该技术的实现可以使开发人员能够通过在可 视化工具中填写对应硬件信息，完成BSP 软件代码及对应文档的自动生成，实现了软件需求的直观化输入到 需求与设计的黑盒转化。能有效提高软件开发效率，增加软件成熟度，提高软件产品质量。     

基于神经网络和人工势场的协同博弈路径规划

协同博弈路径规划是空战自主决策、机器人体育比赛等应用场景中的重要问题，其难点在于对环境对抗性反馈的实时自适应和多智能体的相互配合。提出一种基于神经网络和人工势场的协同博弈路径规划方法，使用反向传播（BP）神经网络自适应调整人工势场函数系数，并将人工势场作为神经网络输出端的特征提取。为解决真实样本质量和数量不足的问题，基于遗传算法仿真生成样本数据用于神经网络训练，并通过滚动时域的思路面向动态博弈优化样本性能。从样本数据中提炼出距离差与航向差以反映协同和博弈特性，利用神经网络的黑盒特性和学习能力解决协同博弈问题。应用于二对一反隐身超视距空战路径规划，比经典人工势场法有明显性能提升，且计算开销可接受，计算复杂度分析表明该方法可以较好扩展到多机对抗场景。     

石英半球谐振子精密成型技术

石英半球谐振陀螺以其轻质、低功耗、长寿命、高可靠、应用精度范围宽、成本低等优势，引起了惯性技术界的瞩目。半球谐振陀螺的核心器件——石英半球谐振子的成型技术是当前的研究重点。经不断试验和摸索，以范成球面弹性展成为基础，通过均衡磨削原则、磨头最大包络原则和三阶段37道工序的精细优化工艺流程，较好地实现了高精度微应力硬脆石英谐振子异形薄壁件的成型，形成了专用的结构成型中心，为石英半球谐振陀螺的核心半球谐振子球壳成型开创了一条可行途径。     

基于有向图模型的卫星任务指令生成算法

面向任务的卫星操控模式具有操作简便、星载资源使用效率高的优点,正在取代指令序列注入成为遥感卫星运控的新模式。文章提出一种基于有向图模型的遥感卫星任务指令序列生成算法,具有线性存储复杂度和计算复杂度,适合存储资源和计算资源受限的星载计算机应用。此算法已在某遥感卫星应用,测试试验表明,采用3个面向任务的高级指令即可生成52种指令序列,任务上行注入效率提升了5倍。本文方法根据有效载荷的使用约束条件,配置有向图模型参数,即可满足各种类型卫星使用。     

航空术语的构词分析

以全国科学技术名词审定委员会公布的"航空科学技术名词"为览本,对航空术语的词性和构型进行分析,通过举例作出了某些详述,并推导出对外来术语的吸纳方法和原则。     

星载编队飞行InSAR地形图生成方法研究

研究了星载编队飞行InSAR的空间几何关系及特点,给出了编队飞行InSAR的回波信号模型和高度计算公式,给出了相位与地形图高度的换算方法。对于InSAR系统特有的迎坡缩短等现象给出了有效的斜距地距变换方法,提出了几何作图实现方法和编程实现方法。根据真实地貌,分三种情况讨论了几何作图与编程实现。在仿真实验中,设置了圆锥体地面场景验证算法,校正后的图形能够反映地面真实场景。