稳像式火控系统实弹射击训练控制装置设计与应用

通过对装甲兵传统的枪代炮射击训练进行分析,并结合稳像式火控系统射击的特点,得出射手要减小瞄准操作误差、提高射击密集度,必须掌握平稳跟踪目标的动作要领。由于缺乏训练和检验该动作要领的手段,设计并制作了实弹射击训练控制装置,提出检验训练合格的标准,从而使射手较好地掌握平稳跟踪目标的动作要领,提高了小型射击场的训练效率。经过部队和院校多轮训练使用,效果良好,且该装置已配发装甲兵部队。     

A nonatomic‐game model for timing clearance sales under competition

We deal with dynamic revenue management (RM) under competition using the nonatomic‐game approach. Here, a continuum of heterogeneous sellers try to sell the same product over a given time horizon. Each seller can lower his price once at the time of his own choosing, and faces Poisson demand arrival with a rate that is the product of a price‐sensitive term and a market‐dependent term. Different types of sellers interact, and their respective prices help shape the overall market in which they operate, thereby influencing the behavior of all sellers. Using the infinite‐seller approximation, which deprives any individual seller of his influence over the entire market, we show the existence of a certain pattern of seller behaviors that collectively produce an environment to which the behavior pattern forms a best response. Such equilibrium behaviors point to the suitability of threshold‐like pricing policies. Our computational study yields insights to RM under competition, such as profound ways in which consumer and competitor types influence seller behaviors and market conditions. © 2014 Wiley Periodicals, Inc. Naval Research Logistics 61: 365–385, 2014     

反函数的导数定理的一个注记

给出反函数的导数定理的改进形式:若f(x),x∈(a,b)与φ(y),y(A,B)互为反函数,x0∈(a,b),y0=f(x0),φ(y)在点y0处可导且φ′(y)≠0,f(x)在点x0处连续,则f(x)在点x0处可导,且f′(x0)=1/φ′(y0).并说明,f(x)在点x0处连续这一条件不可去掉。     

二维损耗和色散介质光子晶体传输特性的研究

将传输矩阵法(TMM)用于光子晶体传输特性的研究,采用Mur近似吸收边界和周期边界来截断计算区域,计算了以TM模正入射时,二维方格子光子晶体在完整周期结构下的透过率谱;在微波波段制作了光子晶体模型,并设计了实验装置,实验与数值模拟计算结果相符合;另外还研究了有损介质光子晶体、色散和吸收介质光子晶体的传输特性,及其对光子禁带的影响。     

模拟罐声发射试验研究

为验证常压储罐声发射的基本规律,并获得罐底缺陷声发射信号数据,在模拟罐进行声发射试验。原始状态的模拟罐底部存在沉淀,通过原始状态与清洗罐底后声发射试验结果对比,得出罐底沉淀物会产生部分声发射信号并影响声发射检测,以及涂层对声发射检测影响较小的结论。凹坑和通孔是罐底常见腐蚀缺陷,通过设计和预制3种罐底缺陷状态,分别对各种缺陷状态的罐底进行声发射试验,分析缺陷的声发射信号特征,得到缺陷在升压和保压检测中的声发射信号数据,为声发射检测数据分析提供参考。     

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

以科学发展观为指导提升基于信息系统的体系作战能力

坚持以科学发展观为指导,提升基于信息系统的体系作战能力,是履行我军历史使命的必然要求.必须向体制编制要战斗力,切实筑牢信息化建设的"奠基石";向武器装备要战斗力,主动抢占信息化建设的"制高点";向人才队伍要战斗力,努力培养信息化建设的"驾驭者";向科学管理要战斗力,积极打造信息化建设的"助推器".     

基于排队论的维修资源需求分析方法

以装备维修过程为基础,应用排队论分析维修过程中各维修活动的基本关系,考虑多维修活动对维修资源需求的冲突问题,建立了维修过程的排队模型。以损伤装备平均修复时间不大于给定值为约束条件,以投入的维修资源总成本最少为目标,求解出维修资源需求。     

基于ExSpect的维修过程建模与仿真研究

应用ExSpect语言,采用自上而下的系统分析方法,建立了反映产品维修过程中的资源竞争、并发和同步关系的Petri网模型。最后进行了仿真实例研究和分析。     

鲁棒稳定控制器的参数化设计方法

基于特征结构配置参数化方法,讨论了一类匹配的不确定线性系统的鲁棒控制问题,目的是设计鲁棒稳定控制器,使不确定闭环线性系统的特征值始终位于复平面的左半平面中某扇形区域内.给出了该鲁棒稳定控制器存在的充分条件及其参数化表示,可进一步利用其自由度满足某些设计要求.给出的数值例子,表明了鲁棒稳定控制器参数化设计方法的有效性.