基于辛几何构作一类新的带仲裁的认证码

具有仲裁的认证码既要防止敌手的欺骗,又要防止收方和发方的互相欺骗。利用有限域上辛几何构造了一类具有仲裁的认证码,计算了其容量参数。假设编码规则是按照均匀概率分布选择,给出了敌手模仿攻击、敌手替换攻击、发方模仿攻击、收方模仿攻击和收方替换攻击的成功概率。研究结论表明可用辛几何构作许多带仲裁的认证码。     

一种多步的基于切换星间测量的多星自主导航算法

针对基于星间测量的多星自主导航问题,从载荷优化和节约成本考虑,提出了一种单套敏感器切换测量的导航方案。建立了该导航方案下的系统状态空间模型,并基于扩展卡尔曼滤波方程给出了导航估计算法。基于多步卡尔曼滤波方法,将集中的滤波算法解耦为多个平行的子滤波器,使计算量降低到原算法的50%以下,并且在切换测量的导航方案下,部分解耦出的子滤波器可以只预测不更新,能够进一步地降低计算负担。给出了多步滤波算法的推导过程,证明了其与标准卡尔曼滤波的数学等价性,故算法的估计性能及计算结果与标准卡尔曼滤波一致,但计算速度有明显提升。最后,通过具体算例给出了算法的仿真验证。     

CFD和MDO技术在乘波飞行器设计中的应用综述

乘波飞行器由于其具有高升阻比特性而成为国内外高超声速飞行器研究的热点。介绍了乘波飞行器的研究进展,在此基础上阐述了乘波飞行器设计对先进设计技术的需求。重点讨论了计算流体力学（CFD）技术和多学科设计优化（MDO）理论与方法在乘波飞行器设计中的应用现状。提出了今后应重点对高超声速飞行条件下乘波飞行器的动态气动特性进行全面的数值模拟研究．大力开展包含可靠性和经济性分析的乘波飞行器多目标多学科设计优化研究。随着MDO方法在乘波飞行器设计中的深入应用,CFD必将发挥更大的作用,共同促进乘波飞行器的快速发展。     

SVM最优分类面相对位置的修正

通过放宽标准支持向量机(SVM,Support Vector Machines)中类别边界至分类面等间隔的约束,保持两类函数间隔之和不变的条件,在支持向量机思想框架下得出分类面依样本分布进行调整的新型支持向量机,其对偶形式与标准支持向量机完全相同,从而在理论上进一步完善了支持向量机.在此基础上,提出使类别的函数间隔正比于样本标准差的具体算法--方差修正法,达到最优分类面的相对位置依样本方差而调整之目的.从统计意义上来说,方差修正法在分类精度上有所提高,但计算量增加不多.     

全玻璃真空管型太阳热水器内流场的CFD模拟

全玻璃真空管型太阳热水器是技术相对成熟、应用最广的太阳能利用方式.通过对全玻璃真空管型太阳热水器内流场的计算流体力学模拟,研究了器内的对流换热过程,分析了真空管截面的流体流动速度分布,考察了真空管不同位置处的流体循环速度及箱体内水温对循环速度的影响.结果表明,随着流体温度的升高,器内出现随机的湍动涡流;涡流的存在将造成管内冷热流体的混和,对换热过程不利;在真空管内安置引流挡板将抑制流体的湍动,确保有序的热对流流动,提高对流换热效率.研究结果有助于剖析热水器内对流换热的机理,对技术革新提供参考.      

教练机训练效能计算方法改进

教练机训练效能对飞行学员掌握飞行技能和战术水平有重要作用,量化评估教练机训练效能是优化训练体制和评估飞行训练大纲的前提.典型的教练机训练效能计算模型对飞机的航空电子系统、操纵系统考虑不足,对飞行参数选择有局限性.利用层次分析法原理改进的教练机训练效能评估模型弥补了这些不足,同时对飞行科目权重给出了新的选择方法.改进模型能够很好地适应第三代战斗机飞行员训练效能评估,为现代飞行训练大纲和飞行训练体制评估提供了基础,算例结果证明改进模型更为合理可行.      

复合材料格栅结构优化设计中的计算智能技术

针对复合材料格栅结构优化设计多变量、多约束、连续和离散混合变量、高度非线性的难点,提出了用进化神经网络来实现结构设计参数(输入)与结构响应参数(输出)的全局非线性映射关系,以此来代替优化过程中的有限元计算,以提高优化效率.以遗传算法为优化求解器,神经网络屈曲稳定性响应面为主要约束,对复合材料格栅加筋结构进行优化.结果表明,在相同样本数的情况下,进化神经网络可获得比BP网络更高精度的映射模型,具有很强的泛化能力.该方法可以为解决大型复合材料结构优化问题提供一条高效途径.      

彩色计算干涉技术及应用

在对高速气流进行干涉法测量时 ,由于激波的作用或者光的散射、斑点等现象 ,干涉图的干涉条纹可能会出现不连续。笔者通过仿真M Z干涉仪或全息干涉仪光学模型 ,并且采用对多块不规则网格的计算流体力学结果进行重构的直接体视化图形算法 ,得到了高分辨率的彩色数值干涉图 ,克服了干涉条纹的不连续性并给出了一个弹道靶中超高声速钝锥流场的例子     

关于有理Bézier曲面片的几何连续拼接问题

本文深入研究了有理Bézier曲面片的几何连续拼接问题,给出了GC~1拼接条件的显式表示和判断两曲面片GC~1拼接状况的判定条件。用此条件可编写一简单程序,通过输入两曲面片的控制顶点及权因子,便可以“YES”或“NO”的输出回答两曲面片的拼接是否为GC~1连续。在非GC~1拼接时,可对称地修改两曲面片使其GC~1拼接。最后,本文给出了几种CAD/CAM工程中实用的充分条件。     

求解大型非对称线性方程组的UNSYMMLQ方法

本文给出了求解大型非对称线性方程组的Lanczos方法的一个判据,提出了求解非对称方程组Ax=b的UNSYMMLQ方法,它是Paige和Saunders求解对称线性方程组的SYMMLQ方法的推广。文中描述并讨论了一些数值试验。