蝉翅翼的运动研究与三维数值分析

以蝉为研究对象,首先通过分析蝉翅翼在高速摄像机下的运动影像获得了其运动方程,然后建立了蝉翅翼的三维模型,并研究了基于Fluent软件的蝉翅翼周围流场数值模拟方法,最后模拟分析了三维蝉翅翼模型在不同运动参数(拍动频率、拍动幅值和最大扭转角度)下的平均升力系数和平均阻力系数.研究结果表明最大扭转角度对蝉翅翼气动力影响较大,因此在仿蝉扑翼飞行器的设计与操控中必须考虑扭转运动.      

嵌入式操作系统的形式化验证方法

对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。     

定子双绕组异步发电机航空变频交流发电系统不对称运行性能分析

在航空变频交流电(AC)源中,为保证机载用电设备的正常工作,发电系统应具备适应不对称负载的能力。为了分析基于定子双绕组异步电机(DWIG)的变频交流发电系统带不对称负载运行的性能,提出了一种负载多端口网络不对称分析方法。首先,推导出三相四线制不对称负载的多端口网络等效电路;其次,将其与DWIG的正序、负序和零序等效电路结合,建立完整的DWIG不对称运行的等效模型;最后,根据该模型列写相应的方程并进行求解,最终得到DWIG不对称运行时的输出电压。基于该分析方法,可实现对该发电系统带不对称负载运行性能的定量分析,并得到了电机参数对于输出电压不对称度的影响。样机计算结果与实验结果较一致,验证了DWIG具有较强的带不对称负载的能力。     

低能自由空气电离室优化设计

借助于空气比释动能的基本定义和概念以及空气比释动能绝对测量的理论方法,分析了自由空气电离室可以作为空气比释动能绝对测量方法的原理和条件。通过平板型与圆柱型自由空气电离室的优劣比较,选择平板型作为研究对象,详细介绍了经典的平板型自由空气电离室,并通过理论分析计算以及模拟计算的方法,优化设计包括:光阑半径、空气衰减长度、极间距等低能自由空气电离室的关键几何尺寸,以最小化空气比释动能测量时产生的总不确定度。     

转动惯量测量研究的进展及展望

对转动惯量测量的研究情况作了综述,对三线摆法、扭摆法、落体法等转动惯量测量方法的测量原理及其优缺点进行了总结,介绍了针对以上缺点的一种新的测量方法,预测该方法将代表转动惯量测量的发展方向。     

脉冲等离子体推力器电磁加速机理数值研究

为了对脉冲等离子体电磁加速机理有清晰的认识,为后续推力器性能的优化和产品的小型化提供理论基础,需要对脉冲等离子体推力器的特性进行数值研究。利用包含电容、电感、平行板电极、等离子体的一维集成电路模型,开展了脉冲等离子体推力器的数值模拟研究。通过改变初始放电电压和电极间距的大小,系统地研究了脉冲等离子体推力器的初始放电电压、电极间距对推力器电磁加速的影响。结果表明,在其他参数不变的情况下,推力器的推力、比冲、元冲量,以及等离子体的密度、温度随推力器初始放电电压的增加而增加;同样,增加电极间距也能够提高推力器的推力、比冲;然而,电极间的阻抗会随电极间距的增加而增加,导致推力器的点火难度也随之增加,因此脉冲等离子体的电极间距存在一个最优值。     

准远场天线测量修正方法研究

远场测量是获得天线辐射特性的一种常用方法。然而对于一维电尺寸大,另一维电尺寸小的天线,如基站天线,由于场地因素的限制,往往不能满足远场测量条件,用近场测量又费时费力。在这种准远场条件下,天线测量结果与远场情况下的测量结果有较大差异。本文基于柱面波展开,给出了一种由准远场距离上测得的方向图计算远场的理论计算方法,经过该算法补偿后的结果与理论计算结果吻合很好,从而验证了算法的正确性。     

LHT40低功率霍尔推力器放电特性试验

为了获得300W级混合励磁模式低功率霍尔推力器的放电特性,采用一套高精度激光微推力测量装置和集成离子流诊断装置获得推力器不同工况下推力、比冲、效率、束流发散角和质量利用效率的变化特性。试验结果表明,推力器的推力、比冲、阳极效率在200～300V存在一个最大值;放电电流、放电电压呈现无阻尼谐波振荡特性,其一阶频率大约4.05kHz。在恒定电场和磁场下,推力器束流离子电流密度呈现双极扩散的结构;阳极流率增大至0.95mg/s时,离子电流密度呈现典型的双峰结构,质量利用效率与质量流率呈现正相关的特性。     

均匀各向同性湍流的脱体涡数值模拟

采用脱体涡模拟方法对均匀各向同性湍流进行了数值模拟,并与Comte-Bellot实验测量结果进行了对比,验证了该文的脱体涡模拟方法对均匀各向同性湍流模拟的可靠性.初始速度场的生成采用Rogallo所提出的构造方法,初始湍能谱满足Von Karman波谱分布;在对流输运项的选择方面,分别采用二阶中心型格式、四阶偏斜对称型中心格式和迎风型低耗散通量分裂格式,考察它们在均匀各向同性湍流模拟中的计算精度和适用性.同时,通过改变计算域大小以及脱体涡模拟方法中的模型常数,达到能谱截断波数的改变,考察它对各向同性湍流计算的能谱以及能谱截断处小尺度涡能量积累问题的影响.