Golay码的一种新译码方法

根据Ｇｏｌａｙ码之生成多项式，提出了一种新的译码方法，计算机模拟表明，这种译码方法简单而有效。     

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

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

基于残缺图像样本的生成对抗网络图像修复方法

针对大面积图像修复缺失严重时，需要完整且高质量训练样本的问题，提出了一种将残缺或含噪图像样本作为训练集的双生成器深度卷积生成对抗网络（DGDCGAN）模型。构建两个生成器和一个鉴别器以解决单一生成器收敛慢的问题，用残缺图像样本作为训练集，通过交叉计算、搜索损失区域类似的图像信息作为训练生成模型的样本，收敛速度更快。鉴别器损失函数改进为输出的Wasserstein距离，使用自适应估计算法优化生成器损失函数和鉴别器损失函数的模型参数，最小化两两图像之间的总距离差，使用鉴别模型和修复图像总距离变化均方差最小化两个指标优化修复结果。在4个公开数据集上进行主客观实验，结果表明:所提方法能使用残缺图像样本作为训练集，有效实现大面积失真图像的修复，且收敛速度和修复效果优于现有图像修复方法。      

DO-178B可验证的机载操作系统配置生成技术

针对DO-178B适航验证要求对机载嵌入式操作系统配置数据生成技术进行了分析研究,给出了一种可重用的机载嵌入式操作系统配置数据生成器的架构设计。基于这种架构构建的配置数据生成器经过DO-178B适航验证后可适用于不同的机载嵌入式操作系统,从而大大减少机载嵌入式操作系统的适航验证成本。     

计算机生成航空兵力的模型设计与实现

以航空兵力为研究对象，着重研究空中计算机生成兵力（ＣＧＦ）的模型设计及实现技术。并对构造航空兵ＣＧＦ系统的意义进行了分析，叙述了含有虚拟（ＶＲ）技术失工交互仿真实验系统的系统结构和分系统组成成分。同时还分析了ＣＧＦ系统中智能数字飞机的模型特点，重点介绍了动力学建模方法以及编队模型匠建立及编队飞行能力的实现方法，构造出来的计算机生成航空兵力在实验系统中性能良好，满足总体要求。     

航空领域嵌入式测控系统自动生成平台

基于ARM-Linux的试验平台能够满足航电测控中绝大部分要求,并可以按照用户的实际需求进行软硬件功能的裁剪,增强了平台的适应性,同时也体现了嵌入式系统的快速定制性与特定功能的自由选择相结合的新型设计思想.     

采用等高线地图的CGF地域表示和推理

采用等高线地图作为分布交互仿真环境中计算机生成兵力的地域表示．介绍等高线电子地图下计算机生成兵力系统地域表示和推理的一种方法．通过对地域显示、通视性检测和地形检测等几个基本问题的分析，表明采用该方法是可行的．具有地域表示范围大、地域推理简单明了的特点，并且地域数据真实、修改方便．这种方法比多边形地域表示法更适用于海上和空中大范围训练作战环境的仿真．     

数列与级数收敛性判定的一个注记

数列xnm^（k）～rnm^（k）＋q审敛原理是数列xnm～rnm＋p审敛原理更加一般性的推广，进一步扩大了数列xnm～rnm＋p审敛原理的适用范围；利用数列xnm～rnm＋p印审敛原理还得到了判别数列收敛性的“子列～局部夹”准则。     

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

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