关于BL-代数的implicative滤子的一些结果

通过研究BL-代数的implicative滤子的等价条件,得到了normal滤子与implicative滤子之间的关系,并给出了两个公开问题"一个normal滤子在什么合适条件下成为fantastic滤子?"和"在什么合适的条件下,normal滤子的拓展性成立?"结论成立的一种条件。     

高校图书馆社会化服务问题及路径探讨

在分析高校图书馆社会化服务现状的基础上,审视了高校图书馆现阶段开展社会化服务存在的诸多问题及原因,提出高校图书馆开放于社会、服务于公众是历史的必然走向和现实要求。明晰各种不利因素的影响对推进社会化服务的进程大有裨益。对推进高校图书馆社会化服务进行了初步探讨,提出了营造氛围、强化内因、整合资源、健全制度的分步实施发展路径。     

教练机研发能力建设

主战装备是赢取战争的先决条件,适应未来作战环境和作战任务的教练机是发挥主战装备战斗力的基础。本文旨在通过对教练机研发能力建设现状、存在问题及发展思路进行分析,全方位提升教练机研发能力,从而提高教练机研制质量、缩短研制周期,降低全寿命期费用。     

一种修正的双模式盲均衡算法研究

传统的CMA盲均衡算法存在收敛速度较慢、稳态均方误差较大的缺点。结合了判决引导算法的CMA算法虽具有稳态均方误差小的优势,但是算法本身收敛能力弱,在信号眼图未张开的条件下难以保证算法收敛。针对上述不足,提出了一种含软判决思想的双模式盲均衡算法。该算法通过最大化均衡器输出信号的后验概率密度函数来获得均衡器抽头系数的最优值。计算机仿真结果表明,所提算法可以有效地纠正输出信号的相位旋转,具有较好的均衡效果。     

仿生三维扑动实验测试系统

为了对微型仿生扑翼进行三维复合扑动时的气动力特性进行试验研究,设计了一种能实现扑翼三自由度同步扑动的综合试验平台,平台具有扑动、俯仰和扫掠三个方向的运动自由度。机翼根部安装有力/力矩传感器,可对扑动过程中机翼所受的三个方向的力和力矩进行实时测量。开发了三维扑动试验测控软件,软件可对三个微型伺服电机进行精确控制从而在机翼上实现任意形式的复合扑动。进行了三维扑动验证试验,试验结果表明,系统可以满足后续风洞试验的测控要求。     

拖靶系统挂机安装角度计算

拖靶安全释放是拖靶系统正常执行任务的前提,拖靶挂机安装角度的优劣直接影响着拖靶的安全释放.依据拖靶释放特性建立了拖靶系统动力学模型,提出了拖靶安全释放的条件,给出了拖靶挂机安装角度的计算方法;通过实例对方法的正确性进行了验证,其结果直接应用于某新型拖机改装试验中,取得了满意的效果.     

飞机封闭腔室减重降噪优化方法

噪声水平是现代飞机封闭腔室设计的重要指标,设计中单纯地对壁板进行加肋处理虽能显著降低噪声但会大大增加结构质量,为此对由封闭腔室构成的结构-声耦合系统进行了减重降噪优化研究。基于结构-声耦合有限元模型,利用有限元软件ACTRAN计算了频谱加载时舱内的声压响应。通过试验对简化处理及数值计算进行了验证,并修正了相关模型参数。为了降低结构质量,以加强肋为边界对舱门壁板进行了分区,通过对各个区域壁板厚度及肋条截面积的优化设计,使系统动刚度分配更趋合理,降低了声辐射能量以及结构-声腔的耦合性,从而实现了在满足噪声约束条件下减轻结构质量的目标。本文的工作对实际工程中由加肋壁板所构成的类似结构的减重降噪设计有着较好的工程指导价值。     

基于非结构/混合网格的高阶精度DG/FV混合方法研究进展

DG/FV混合方法因其具有紧致、易于推广获得高阶格式及相比同阶精度DG方法计算量、存储量小等优点,自提出以来已成功应用于一维、二维标量方程和Euler/N-S方程的求解。综述了DG/FV混合方法的研究进展,重点介绍了DG/FV混合方法的空间重构算法、针对RANS方程的求解方法、隐式时间离散格式、数值色散耗散及稳定性分析、计算量理论分析,并给出了系列粘性流算例的计算结果,包括用于验证混合方法数值精度的库埃特流,以及方腔流、亚声速剪切层、低速平板湍流、NACA0012翼型湍流绕流等。数值计算结果表明DG/FV混合方法达到了设计的精度阶,且相比同阶DG方法计算量减少约40%,而隐式方法能大幅提高定常流的收敛历程,较显式Runge-Kutta的收敛速度提高1~2个量级。     

封闭前后航天发射塔回转平台结构动特性分析

建立了封闭前后航天发射塔回转平台的结构有限元模型,分析求解了其固有频率和振型.通过对比分析,明确了封闭对回转平台结构动特性和可靠性安全性的影响规律.上述分析计算结果对实际工程使用具有一定的参考价值.     

IP over CCSDS协议适配的高速并行实现技术

天地一体化组网应用须在空间网和地面网之间部署IP over CCSDS(基于CCSDS空间链路承载IP业务)协议适配网关,以实现在高速CCSDS(空间数据系统咨询委员会)空间链路之上传输IP(互联网协议)数据包。针对此需求,提出一种IP over CCSDS协议适配的高速并行实现方法,并在Linux内核中采用多线程技术实现IP over CCSDS协议适配过程,通过实验进行测试与验证。测试表明,在处理器多核数目的范围内,协议适配处理性能随线程并发数目的增加而增加;当线程数目超过处理器核数时,受限于处理器核数和线程调度开销的影响,协议适配的性能并不能随着线程数目的增多而线性增加。后续,可利用FPGA(现场可编程门阵列)硬件逻辑电路的并行能力在硬件上实现协议适配的高速并行处理,并设计更高速率的同步接口,以从硬件上实现几千兆比特甚至几十千兆比特的高速IP over CCSDS协议适配。