军事工程渗漏检测技术及设备研究

研究军事工程渗漏检测技术及设备,对保证部队官兵的战备训练和生活、武器装备和军需物资的安全存储、军事功能的发挥以及军事任务的完成,具有十分重要的军事、经济意义。比较分析了军事工程渗漏检测技术与方法,确定电磁波技术法为军事工程渗漏检测设备的基本检测原理。分别从检测与传输、智能处理与分析、机械设计与合成、工程实验与验证4个主要分系统对军事工程渗漏检测设备的研制进行了阐述。应用军事工程渗漏检测设备进行了工程实践,解决了已建工程渗漏检测、新建工程防水、防渗漏工程质量验收的技术难题。     

非局部弹性杆固有频率的Ritz法求解

采用Ritz法求解了非局部弹性直杆的固有频率问题。非局部弹性理论与经典弹性理论相对应,区别在于非局部理论中,一点的应力与该点以及其周围区域的应变都有关,并采用核函数来表征这种相关性。基于Eringen提出的非局部弹性模型,针对三种给定核函数,用Ritz法进行了直杆的动力学分析。并针对两种边界条件给出直杆的固有频率,与其它方法比较,该方法具有可以针对多种核函数求解,精度可控,易于编程等优点。     

位置信息与替换概率相结合的多核共享Cache管理机制

多核系统中末级Cache是影响整体性能的关键。为了提出一种细粒度、低延迟、低代价的末级共享Cache资源管理机制,将系统性能目标转换为每个内核当前占用Cache资源的替换概率,以决定每个内核能够提供的被替换资源的数量;对某个需要增加Cache资源的内核,从可提供被替换资源的候选内核中选出距离较近且替换概率较高的一个内核,并以Cache块为粒度进行替换,从而实现Cache资源在不同内核间的动态划分。与传统以相联度为粒度的粗粒度替换机制相比,以Cache块为单位的替换机制具有更细的替换粒度,灵活性更高。另外,通过将位置信息和替换概率结合,保证了Cache资源与相应内核在物理布局上的收敛,降低了访问延迟。同时,所提出的方法只需要增加极少的硬件代价。实验结果表明,根据实验场景和对比对象的不同,所提方法与其他已有研究成果相比,可以实现从6.8%到22.7%的性能提升。     

基于频谱分析的飞行模拟器飞行性能验证

介绍频谱分析用于仿真系统模型验证的原理和方法,提出一种应用频谱分析进行飞行模拟器飞行性能验证的方案。结合飞行试验和仿真模型的输出数据,分别采用窗谱估计和最大熵谱估计方法对某型飞行模拟器的飞行性能进行验证,并对验证结果进行分析。结果表明,频谱分析法用于飞行模拟器飞行性能的验证是有效的,可为其他训练模拟器的性能验证提供参考。     

UKF及其在目标跟踪中的应用

在高斯噪声环境下,为了解决扩展卡尔曼滤波(EKF)在目标跟踪应用中精度低和滤波发散的问题,将无迹卡尔曼滤波(UKF)应用于非线性系统的目标跟踪.研究了无迹卡尔曼滤波估计方法,对采样策略进行了比例修正.通过UKF在目标跟踪中的应用仿真结果表明,与EKF相比较,UKF有更好的跟踪性能、收敛快、对噪声有更强的适应能力,算法实现简单.     

社会保障与社会稳定关联性探析

社会保障制度作为“社会安全阀”,其与社会稳定之间存在正相关关系;但在实践中,由于我国社会保障制度不健全,保障调节功能弱化,又影响了社会稳定,其与社会稳定之间存在负相关关系。因此,必须尽快建立一套完整而切实可行的社会保障制度,以保证社会的稳定与发展。     

计算机导论课的教学研究与实践

本文在分析课程改革的基础上 ,结合计算机基础教学在提高教学质量上所起的重要作用 ,对计算机导论课在近两年来所采取的教学改革手段和实践方法进行了详细论述     

对接组合体初始姿态影响的建模研究

建立了对接过程对组合体初始姿态影响的解析与数值模型。解析模型采用相对于整体质心的动量矩定理,给出了对接完成后组合体姿态角速度计算的解析表达式。结合追踪器的绝对运动方程和目标器的相对运动方程,建立了基于对接动力学的数值模型。通过单一偏差和组合偏差两种算例,对解析和数值模型得到的组合体初始姿态角速度进行了对比分析。计算结果表明,两种模型绝对偏差在0.07°/s以内,相对偏差在10%以内,另外给出了两种模型在工程任务中各自的适用阶段。     

指令制导防空炮弹启控点参数的确定方法

简要阐述了指令制导防空炮弹有控弹道控制模式,建立了鸭舵控制力和控制力矩作用下的有控弹道模型,研究了弹丸理想启控姿态和启控位置的确定方法,得到了确定理想启控位置的启控函数.数值仿真结果表明,该启控函数简单、快速,具有较高精度,易于计算机程序实现,弹丸有控弹道也可保持飞行稳定.研究结果对今后深入展开指令制导防空炮弹的研究和工程设计具有一定的参考意义.     

求解非对称线性方程组的 s-BiCR算法

在BiCR算法的基础上,提出了求解非对称线性方程组的s-BiCR算法。首先,给出了s-BiCR的基本计算框架,介绍了算法基本原理及参数求解方法;其次,通过分析s-BiCR中剩余向量与方向向量序列的基本性质,推导出减少参数求解计算量的方法,并在此基础上提出了一种更为高效的s-BiCR算法;最后,证明了s-BiCR的正确性,即在第i步产生的近似解与BiCR第is步产生的近似解是一致的,同时,通过性能分析发现,s-BiCR的同步通信次数与访存次数明显少于BiCR,说明该算法具有很好的并行特性和数据本地性。大量实验验证了s-BiCR的高效性和正确性。