飞翼布局横航向气动导数的总体估算方法研究

根据飞机设计初级阶段所得到的总体布局参数,建立并估算飞翼布局横航向气动导数的数值计算模型,对模型进行了算例分析,与计算流体力学方法(CFD-FASTRAN)、风洞实验所得的横航向气动导数做了对比分析.结果表明,基于总体布局参数估算的横航向气动导数简洁、快速、合理.     

集合论-泛逻辑悖论

对于一类 n(2≤n≤_n) 值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统 UL ₁.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它们分别是二值逻辑中的联结词否定、蕴涵和等值的一般化.利用这些联结词,可以给出Russell型造集谓词、Curry型造集谓词的一般形式.此外,还提出了一种新型造集谓词,这种造集谓词只包含等值联结词,而不涉及其它联结词.通过这3种造集谓词,利用该系统的逻辑工具,证明了在通常的有穷值逻辑、可数无穷值逻辑和不可数无穷值逻辑系统中,概括原则都将导致悖论.     

两种小力值校准装置研究

介绍了小力值校准的应用现状和需求;详述了两种结构的小力值校准装置的技术指标、工作原理、结构设计;最后给出了小力值校准装置的部分比对试验数据。     

基于多指标动态优先级的无人机协同路径规划

针对复杂城市环境下多无人机（UAVS）协同巡检、配送等任务,提出一种基于多指标动态优先级的协同路径规划方法,以节省运行成本和增加任务效率。综合考虑碰撞风险、总路程、等待时间等指标构建动态优先级模型,并在优先级单边避碰机制下,定制组合规避策略以处理局部冲突,更好地权衡协同规划效率和路径质量。针对无人机个体路径规划,在Lazy Theta*算法基础上引入拥堵权值地图,引导无人机避开拥堵区域,降低冲突发生可能性。对比仿真试验表明：提出的个体规划算法可以减少拥堵区域和降低拥堵持续时间,提出的多指标动态优先级协同规划算法相比于飞行时间驱动的动态优先级,能够提高规划效率和结果最优性。     

利用分数低阶空时矩阵进行冲击噪声环境下的DOA估计

研究冲击噪声环境下的信号DOA估计问题。在对称α稳定(SαS: Symmetric α-stable)分布冲击噪声假设下,定义了一个阵列接收数据的广义分数低阶空时矩阵。理论分析表明,对广义分数低阶空时矩阵进行奇异值分解可获得噪声子空间估计。与信号空间DOA估计技术相结合,提出一种新的基于信号空间分解的DOA估计算法。该算法在低信噪比下对强冲击噪声具有更好的抑制作用。计算机仿真证明了算法的有效性。     

求解对流扩散积分微分方程的高效并行计算

近年,李寿佛创立了非线性刚性Volterra泛函微分方程数值方法的B理论。该理论为数值求解非线性刚性常微分方程、非线性刚性积分微分方程以及在实际问题中遇到的其他各种类型的刚性泛函微分方程提供了统一的稳定性和收敛性分析的基础。文章将该理论用于一类对流扩散积分微分方程的数值处理,获得了十分理想的结果。由于这类问题常出现于生态学、电力系统、人口增长模型等领域,因而对其数值方法理论进行研究具有重要意义和实用价值。     

测度中实值积分理论的推广

本文把测度论中实值积分理论向复值做了推广，得到若干结果。     

按参数实际值求解螺纹量规中径的方法

通过最佳和非最佳２组三线跨线值的测算，推导出用非最佳三线按参数实际值求解螺纹量规中径的方法，这种方法简便易行，不需要按传统方法求解各参数的修正值而进行复杂的数学运算。