近十年少先队教育发展脉络与问题审视

针对新时代背景下少先队教育面临的三个时代课题,为推动少先队教育改革与时俱进,在《国家中长期教育改革和发展规划纲要(2010-2020年)》的指导下,本文基于近十年相关文本政策进行分析,以光荣感教育、政治社会化、辅导员专业化发展为主线,探究其发展规律并做出阶段性总结,对少先队时代课题的破解提出做好家、校、社光荣感教育的衔接;促进队员政治社会化的培养;树立辅导员内部自觉发展意识等建议,力图为今后少先队工作的顺利开展提供借鉴。     

LCDP SO算法在协同空战攻击决策中的运用?

为了探索提高协同空战攻击决策算法性能的途径,将多子群粒子群优化理论用于求解协同空战攻击决策,利用生命周期粒子群模型（ LCPSO）,提出了一种生命周期离散粒子群（ LCDPSO）协同空战攻击决策算法。基于典型空战想定背景,仿真验证了算法的有效性。通过统计实验的方法,分析比较了LCDPSO协同空战攻击决策算法与多种智能决策算法的准确性、可靠性和快速性,研究结果证明LCDPSO协同空战攻击决策算法优良的综合性能。     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分，是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模，基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性，也表明了扩展标记变迁模型对于协议验证的有效性。     

中国维和警察学科理论体系基本框架构想

中国维和警察参与联合国维和行动已成为我国公安工作的重要内容，把中国维和警察理论作为中国警学的新兴学科，研究由联合国维和行动基本理论、中国维和警察特色理论、中国维和警察基础理论、中国维和警察专业理论、中国维和警察应用理论构建的中国维和警察学科理论体系基本框架，对我国维和警察工作的发展具有重要的促进作用。     

某型自动榴弹发射器弹链节断裂原因诊断及对策

某型自动榴弹发射器弹链节在进行可靠性试验时出现断裂，通过现场信息收集和理化试验分析，对断裂原因进行准确诊断，提出了行之有效的应对对策，杜绝了弹链节断裂的重复发生。     

非对消解耦方法在硬式空中加油管控制中的应用

研究了硬式空中加油管的控制问题,基于对伸缩管模型的分析,得出伸缩管必须进行解耦才可有效控制的结论;基于模型存在S右半平面零点的特征,提出了利用非对消解耦方法解决硬式空中加油管的控制问题。通过Matlab/Simulink进行仿真,结果表明该方法可以有效地消除系统间的耦合作用,能够满足伸缩管的控制需要。     

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

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

GA BP网络在机体研制费用预测中的应用

针对目前BP神经网络在应用中,网络结构难以确定以及网络极易陷入局部解问题,用遗传算法优化神经网络的连接权和网络结构,并在遗传进化过程中引入交叉概率和变异概率与个体的适度值相联系,改进了操作算子,而且在交叉操作后又引入模拟退火机制,提高遗传算法的局部搜索能力.建立了基于改进遗传算法的BP网络费用预测模型,并以某型飞机机体进行实例分析,计算结果表明,该方法预测的准确性更高,且预测结果稳定.     

不同热化学模型对表面传热影响的数值分析

研究不同热化学模型及壁面催化条件对表面传热的影响 ,包括 :(1)不同组元的高温空气模型 (7组元、 11组元 )的比较 ;(2 )热力非平衡 (双温度 )的化学动力过程与热力平衡 (单温度 )的化学动力过程的比较 ;(3)不同壁面催化条件的比较。