舰艇编队防空过程建模及分析

防空作战是大型水面舰艇编队的主要作战样式之一。运用PEPA(性能评价过程代数)方法对舰艇编队防空作战全过程进行有效建模,形式化描述了预警探测、情报传递、命令下达、防空拦截等作战主要过程。建立的PEPA模型具有层次化结构,考虑了要素间相互协作,体现了编队防空作战分布、并发的特点。通过对建立的PEPA模型进行性能指标选择和稳定状态分析,得到了不同因素对编队能力发挥的影响情况,获得了防空作战的基本要素组成,从而提供了一种解决舰艇编队问题的新方法。     

黑海新隐士俄海军11356M型隐身护卫舰

2013年11月15日,俄罗斯海军（后文简称俄海军）第5艘11356M型格里戈洛维奇海军上将级隐身护卫舰“伊斯托明海军上将”号铺设龙骨,使黑海舰队新一代隐身护卫舰再次引起世人关注。     

单级磁阻型线圈发射器放电模型仿真分析

给出了采用电容器作为能源的3种单级磁阻型线圈发射器放电模型,利用电磁场有限元仿真软件Ansoft进行仿真,分析了3种放电模型的优缺点:SCR放电模型简单,但放电结束不可控,能量转换效率较低,速度存在一个回落的过程,出口速度较低;IGBT半桥式放电模型充分利用了电能,能量转换效率高,出口速度最大,但结构较为复杂,相对占用体积最大;IGBT衰减式结构简单,能量转换效率较高,出口速度也较高.结果表明:IGBT衰减式放电模型具有较好的优势.分析结果为今后线圈发射器的设计提供了参考依据.     

基于Camlp5的泛型编程“缺省情况”研究

"泛型编程"旨在编写一般化并可重复使用的算法,主要目的是提高程序的复用性,其效率与针对某特定数据类型而设计的算法相同。在书写泛型函数时经常会出现新的数据结构或类型,这些数据类型往往并不符合已有通用函数的计算方式,而要计算这些新的数据类型需要修改原有通用函数的定义,从而极大降低了程序的复用性。通过定义新函数来操作新的数据类型可以避免频繁修改原有通用函数。但是,新函数定义中必然会有大量与原有通用函数功能相似的重复冗余代码,因此,引入"缺省情况"使得新函数的定义可以通过调用原有通用函数而获得,这样即不对原有函数造成影响,又极大简化了针对新类型书写相关函数的复杂程度。文中利用Camlp5工具对O′Caml语法进行扩展,在原有"泛型编程"的基础上引入了"缺省情况",使该语言书写的泛型函数更加清晰、不易出错,从而极大提高了O′Caml中"泛型编程"的稳定性和复用性。     

打造“五型”机关干部

近日,随着春播工作的全面展开,八师一四七团认真贯彻"八法工作制",在机关各科室、部门广泛开展"一张笑脸、一杯热水、一声问候、一次文明接待"的"四个一"活动。旨在激励全体机关工作人员争当"服务优质型、效率高效型、能力复合型、办事廉洁型、业绩一流型"的"五型"干部。为实现上述目标,该团机关实行首问责任制、事项督办制和结果通报制等制度,并将转变机关工作     

中国登岛作战“先锋官”——722-Ⅱ型全垫升气垫登陆艇

2003年10月,我南疆某海域“敌滩岸阵地”炮声隆隆、硝烟弥漫。     

线性回归模型系数Stein估计的改进研究

针对线性回归模型病态的根本原因,提出了一类新的估计———c-k型估计,将岭估计与Stein估计统一到一个估计类;研究了这一估计类,证明利用岭回归技术可以改进著名的Stein估计(在均方误差意义下);同时研究了相应参数的最优值,分别给出了它的一个上界及下界,为病态线性回归模型系数的有偏估计提供了改进的技术途径.     

深V型滑行艇横摇阻尼的实验确定

对深V型滑行艇模型进行了静水横摇衰减实验和零速正横浪规则波中横摇运动实验,讨论了在处理试验数据时所面临的一些问题;采用分段最小二乘拟合法对静水横摇衰减实验曲线进行光顺,用峰值处理法计算不同横摇角时的横摇阻尼,并进行多项式回归得到深V型滑行艇横摇阻尼公式.     

D0影响亚硝酸型SND工艺的机理探讨

亚硝酸型SND污水生物脱氮新工艺因兼具短程硝化和同时硝化反硝化工艺的优势而具有很强的开发潜力。在介绍亚硝酸型SND工艺特点之后,着重从微环境理论、微生物特性及化学计量学等角度较为深入地探讨了溶解氧浓度(DO)影响亚硝酸型SND工艺脱氮效果的机理,从理论上进一步证实了DO对于亚硝酸型SND工艺的重要性。