操作系统ARINC653标准符合性验证方法的研究

ARINC653标准是一种国际流行的多分区操作系统的接口标准，是否符合ARINC 653标准是衡量一个嵌入式实时多分区操作系统是否符合国际主流标准，以及上层应用是否丰富的一个重要因素。如何验证多分区操作系统是否符合ARINC 653一直是嵌入式实时多分区操作系统测试的重点和难点。提出了一种采用C／S结构、基于ARINC 653 Part 3测试标准验证框架的实用多分区操作系统符合性验证方法，方法不需要对操作系统源码进行修改，并且可以根据测试项排序连续测试。实验证明了验证方法的有效性和准确性。     

楔形体入波浪水面数值模拟

数值模拟分析楔形体入波浪水面流体力学现象和运动姿态变化历程，为水上飞机在波浪水面起降提供技术和理论支持。基于有限体积法求解非定常雷诺平均Navier-Stokes（URANS）方程和SST k-ω湍流模型，结合整体动网格法的速度入口造波方法、阻尼消波法和流体体积（VOF）液面捕捉技术构造数值波浪水池，耦合三/六自由度模型，实现楔形体入线性规则波和不规则波的数值模拟。在楔形体入静水面算例验证的基础上，详细研究二维楔形体在线性规则波波峰、波谷、平衡位置-上行速度和下行速度处入水过程的受力特性和运动姿态变化。结果表明：速度入口造波方法的波浪数值解与理论解析解较吻合，偏差为1%；在二维楔形体入规则波过程中，楔形体所受垂向力和垂向速度变化趋势相同，对横向位移影响较小，其数值变化少于0.01；在平衡位置入水过程中，模型的滚转角和横向速度变化明显，其数值变化约为波峰、波谷位置处的8倍和10倍。分析原因：平衡位置处波浪内流速度变化较快，模型所受波浪力冲量较大，且楔形体两侧斜边与波浪的相互作用力也参与到模型的运动中。数值模拟二维楔形体在线性不规则波5个随机时间点入水及三维楔形体在波峰、平衡位置-上行速度处入水过程，其变化规律及形成原因与入规则波相似。     

Numerical analysis of broadband noise reduction with wavy leading edge

Large Eddy Simulation(LES) is performed to investigate the airfoil broadband noise reduction with wavy leading edge under anisotropic incoming turbulence. The anisotropic incoming turbulence is generated by a rod with a diameter of 10 mm. The incoming flow velocity is 40 m/s and the corresponding Reynolds numbers based on airfoil chord and rod diameter are about 397000 and 26000, respectively. The far-field acoustic field is predicted using an acoustic analogy method which has been validated by the experiment. A straight leading edge airfoil and a wavy leading edge airfoil are simulated. The results show that wavy leading edge increases the airfoil lift and drag whereas the lift and drag fluctuations are substantially reduced. In addition, wavy leading edge can significantly change the flow pattern around the leading edge and a pair of counter-rotating streamwise vortices stemming from each wavy leading edge peak are observed.An averaged noise reduction of 9.5 dB is observed with the wavy leading edge at the azimuthal angle of 90°. Moreover, the wavy leading edge can mitigate noise radiation at all the azimuthal angles without significantly changing the noise directivity. The underlying noise reduction mechanisms are then analyzed in detail.     

基于FFDiag算法的变步长盲信号分离

基于快速Frobenius联合近似对角化（FFDiag）算法,提出了一种步长根据代价函数值大小变化的更新规则,使对角化的更新幅度随信号分离状态自适应变化。算法步长与信号分离状态相结合,具有收敛速度快和稳态误差小双重优点,仿真结果证实了算法的有效性。     

基于MPPSO的线性分布细金属柱体成像研究

基于线性分布细金属柱体的散射模型,用多极子展开求解电磁散射问题。以测量的散射场和计算散射场偏差为目标函数,将待优化变量设置为描述细金属柱体中心位置的向径和幅角,通过多相粒子群算法（MPP-SO）优化待优化变量,通过使目标函数达到最小值实现自由空间中线性分布的细金属柱体族的电磁成像。算例表明：MPPSO有较好的收敛性能和成像精度,以及较强的抗随机噪声干扰能力。     

基于光子集成回路的干涉成像技术

分块式平面侦察成像系统(Segmented Planar Imaging Detector for Electro optical Reconnaissance, SPIDER)是基于光子集成回路的干涉成像系统,是提高遥感成像分辨率,降低系统加工难度,减少系统体积、质量、功耗的有效手段之一。首先报告了SPIDER研究现状;并对其基本原理与组成进行了研究;建立了基于部分相干光理论的成像模型;研究了基于平衡正交检测的干涉条纹检测方法;分析了成像系统指标体系;最后对SPIDER成像能力进行了仿真验证。结果表明,SPIDER成像系统具有良好的成像效果,在遥感侦察、空间态势感知等领域具有良好应用潜力。     

民用客机电磁散射特性的研究

利用数值方法对民用客机的电磁散射问题进行了研究,相比各种高频方法,应用矩量法(MOM:Moment Method)可以获得精确的数值结果。本文建立了一种幂级数形式的混合域基函数矩量法的通用公式,该混合基函数基于四边形剖分模型,对三维矢量有效地实现了降维处理,并可用来模拟民用客机的探测的散射特性。     

平面交叉口混合交通流建模与仿真

在混合交通条件下,交通参与者成分复杂,各种交通方式速度各异,交通冲突频繁.特别是在交叉口机动车与非机动车相互干扰,带来了安全、效率、污染等多方面问题.本文首先介绍我国混合交通流的特点,然后对自行车个体微观行为进行定性的描述分析.通过对实际信号交叉口的调查研究,和对机动车流率与非机动车到达与释放规律的模型建立与定量计算.分析总结出平面交叉口机非干扰的一般规律和冲突避让原则.根据实测数据,结合视频处理和统计软件的使用通过计算直行与左转非机动车换算系数,提出了改进的机动车延误时间模型,并通过使用VISSIM3.6进行微观仿真验证了模型的有效性.     

一种分析电大尺寸金属目标散射特性的加速算法

为有效分析电大尺寸金属目标散射特性,提出了一种基于矩量法(MOM)的加速算法(FA).算法通过改进基函数生成稀疏对角系数矩阵,用迭代法快速求解所列的线性方程组.对无限长圆柱、无限长椭圆柱、无限长方柱和平板金属散射体的计算结果表明:该算法与MOM吻合较好,且大幅缩短计算时间,节省计算机内存.     

基于BMIA\CAG快速算法的粗糙面散射特性计算

为提高用点匹配矩量法计算粗糙面掠入射等散射问题的速度,提出了一种带状矩阵迭代规范网格法(BMIA\CAG),给出了带状矩阵迭代算法和规范网格法的计算模型.算例表明:BMIA\CAG可明显加快计算速度,矩阵维数越大,效果就越明显.另分析了带状矩阵带宽对算法的影响,以及掠入射时的分形粗糙面的散射系数.