地铁火灾灭火战斗原则探讨

从地铁火灾特点及地铁灭火救援战斗规律入手，探讨了消防部队参加地铁火灾救援的战斗原则及这些原则的运用，供消防部队进行地铁火灾灭火救援时参考。     

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

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

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

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

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

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

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

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

Branch‐and‐price‐and‐cut for the manpower routing problem with synchronization constraints

In this article, we propose a branch‐and‐price‐and‐cut (BPC) algorithm to exactly solve the manpower routing problem with synchronization constraints (MRPSC). Compared with the classical vehicle routing problems (VRPs), the defining characteristic of the MRPSC is that multiple workers are required to work together and start at the same time to carry out a job, that is, the routes of the scheduling subjects are dependent. The incorporation of the synchronization constraints increases the difficulty of the MRPSC significantly and makes the existing VRP exact algorithm inapplicable. Although there are many types of valid inequalities for the VRP or its variants, so far we can only adapt the infeasible path elimination inequality and the weak clique inequality to handle the synchronization constraints in our BPC algorithm. The experimental results at the root node of the branch‐and‐bound tree show that the employed inequalities can effectively improve the lower bound of the problem. Compared with ILOG CPLEX, our BPC algorithm managed to find optimal solutions for more test instances within 1 hour. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 138–171, 2016     

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

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

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

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

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

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

多视图作战系统描述模型

从适应面向作战任务的作战系统动态集成需求出发,针对缺乏对现有作战系统描述模型的现状,借鉴Zachman框架和C4ISR体系结构框架理论和方法,给出了作战系统的形式化描述,提出了一种新的多视图作战系统描述模型,并对各个视图给出详细的描述,为实现以作战任务为中心对作战系统的分析、评估与选择奠定了基础,最后进行了总结.