基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

模糊多目标群决策的装备采办问题研究

对模糊多目标群决策的装备采办问题,根据模糊数学理论和多目标决策理论方法,综合现有各种方法的优点,给出了无约束条件下模糊多目标群决策的装备采办问题的一般解法,并通过实例说明了该方法的有效性及通用性。     

基于MAS的武器装备供应管理支持系统设计

对武器装备供应管理系统结构和功能进行了分析,给出系统的一般构成模式和运行要求,阐明了其所需的决策支持;以系统一般模式为背景,探讨了利用多Agent系统理论构建装备供应管理支持系统的思路,提出支持系统的组成框架,并说明了其主要特点;最后,对支持系统的信息监控过程做了具体研究,给出了相应程序。     

潜在故障状态可测的一种故障检查模型

从系统的功能故障状态和潜在故障状态两方面讨论了故障检查模型,基于延迟时间模型推导了系统的期望可用度模型并对其适用性进行了讨论与验证。     

基于模糊推理的机动目标自适应多模型跟踪算法

针对当前空中来袭目标的主要特点,运用模糊理论和多模型理论探索空中机动目标跟踪问题,并设计了一种模糊自适应多模型(FAMM)目标跟踪算法,该算法采用五个基本模型,以加速度估值作为模糊推理系统的输入,经模糊推理融合得到系统状态和方差的估计值以及下一时刻的滤波模型(最多三个).经Monte Carlo仿真研究,与IMM算法相比较,该算法不仅在目标弱机动或不机动条件下,而且在复杂机动时能更稳定、精确地跟踪目标,较好地满足了海上对空防御作战中跟踪机动目标的需求.     

带宽受限下频谱分离对提高RDSS入站容量的影响分析

用户入站容量是RDSS系统设计的一个重要指标,主要受限于入站信号之间的多址干扰.提高扩频码速率可以增加人站容量,但卫星转发器带宽限制了扩频码速率的最大值,从而限制了单个扩频频谱入站信号容量最大值.在卫星转发器带宽受限情况下,提出了采用分离扩频频谱的方法来提高入站容量,并分别对扩频频谱分离为两个和三个的情况进行了详细分析,得出了两种分离扩频频谱方案下扩频码速率的最优值.仿真结果表明,在现有转发器带宽内分离为两个扩频频谱可以提高入站容量29％,分离为三个扩频频谱可以提高人站容量37％.     

Optimal inventory control policy for periodic‐review inventory systems with inventory‐level‐dependent demand

We consider a setting in which inventory plays both promotional and service roles; that is, higher inventories not only improve service levels but also stimulate demand by serving as a promotional tool (e.g., as the result of advertising effect by the enhanced product visibility). Specifically, we study the periodic‐review inventory systems in which the demand in each period is uncertain but increases with the inventory level. We investigate the multiperiod model with normal and expediting orders in each period, that is, any shortage will be met through emergency replenishment. Such a model takes the lost sales model as a special case. For the cases without and with fixed order costs, the optimal inventory replenishment policy is shown to be of the base‐stock type and of the (s,S) type, respectively. © 2012 Wiley Periodicals, Inc. Naval Research Logistics, 2012     

IMM-Singer模型的机动目标跟踪算法

交互式多模型(IMM)算法是一种有效机动目标跟踪算法,但其性能与模型的选择、个数以及参数有关。Singer模型算法可以实现对机动目标的跟踪,但该算法存在机动频率和过程噪声大小等参数难以选取的问题。针对以上情况,利用IMM算法易于结合其他算法的特点,提出一种基于IMM-Singer模型的机动目标跟踪算法,实现Singer模型参数的自适应选择。仿真结果表明,该算法比单一的Singer模型算法或一般的IMM算法更能有效提高机动目标跟踪精度。     

基于作战任务的多机种故障备件需求模型

通过分析战时故障备件的需求特点,对备件的工作时间进行讨论,改进了传统的单机故障备件需求模型。根据多机种协同作战任务的不同,引入备件工作运行比的概念,在考虑飞机是否战损的前提下,建立了基于作战任务的多机种故障备件需求模型。算例分析证明了模型的有效性。     

MEFP战斗部结构的正交优化设计

以多爆炸成型弹丸(MEFP)为计算模型,应用显式有限元程序LS-DYNA,分析了药型罩间距、锥角、壁厚、装药高度和装药直径5种因素对MEFP发散角的影响规律。结果表明:随着药型罩间距、壁厚和装药直径的增加以及药型罩锥角、装药高度的减小,MEFP的发散角在减小。在此基础上以MEFP发散角为命中和毁伤概率指标,应用正交优化方法针对5种结构因素对MEFP发散角的影响主次关系进行了分析研究。结果表明药型罩壁厚是MEFP战斗部命中和毁伤概率的主要影响因素,并得到了5种结构因素各水平的最优组合。