概念模型验证方法研究综述

概念模型验证是保证和提高仿真可信性的重要手段,是建模与仿真VV＆A中的重点和难点．首先将概念模型的验证方法划分为非形式化方法、静态方法、动态方法和形式化方法4类,并提出了一种基于本体推理的概念模型验证方法,然后对各种方法的基本思想、基本原理、基本过程、适用对象、优缺点进行全面的分析总结,明确了各种方法的优缺点和适用范围,为如何选用各种验证方法提供参考,也明确了下一步应重点研究的问题．     

弹丸初速对磁阻型线圈发射器发射性能的影响分析

通过设置弹丸初速并研究其对单级磁阻型线圈发射器发射性能的影响,模拟分析前一级线圈弹丸出口速度对后一级线圈发射性能影响的规律;利用Ansoft有限元仿真软件进行了动态仿真,得到弹丸初速对单级磁阻型线圈发射器驱动电流、驱动线圈感应电压、电磁力、弹丸出VI速度、弹丸位移及能量转换效率等影响的规律．研究表明：弹丸初速越大,经过单级线圈加速后弹丸出口速度也越大,但弹丸出口速度增量减小;随着弹丸初速增大,能量转换效率呈现先增大后减小的趋势．     

两栖装甲装备作战运用试验研究

信息化条件下的作战复杂性导致了作战试验想定空间巨大、试验次数呈指数增长、作战影响因素交织以及因果关系难以发现等问题.以两栖装甲装备作战运用为背景,采用现代试验设计方法进行试验,通过采用专家知识进行定性分析,抽取重要因素,缩减想定空间;在缩小的想定空间中,进一步采用正交分析、极差分析等方法对试验进行进一步探索,进而获得试验结论.试验所得结论比较符合当前理论研究,说明试验方法有效可行.     

一种用于GAF协议的优化邻居表算法

GAF协议是一种基于地理信息的无线传感器网络路由协议,由于采用多跳传输,将导致热区的产生。提出了一种优化邻居表算法,可以有效辨识GAF虚拟网格内的节点密度,从而选择密度大的网格通行,以均衡热区能耗,延长网络寿命。仿真结果验证了该算法的可行性。     

要地防空指挥控制系统作战效能灰色聚类评估

建立要地防空指挥控制系统作战效能评估指标体系,运用层次分析法确定各层次指标权重,提出了一种基于灰色定聚类和中心点三角白化权函数的要地防空指挥控制系统作战效能灰色聚类评估方法,并通过算例对该方法的有效性进行了检验。结果表明该方法是切实可行的。     

Steady-state analysis of load balancing with Coxian-2 distributed service times

This paper studies load balancing for many-server (N servers) systems. Each server has a buffer of size b ? 1, and can have at most one job in service and b ? 1 jobs in the buffer. The service time of a job follows the Coxian-2 distribution. We focus on steady-state performance of load balancing policies in the heavy traffic regime such that the normalized load of system is λ = 1 ? N^?α for 0 < α < 0.5. We identify a set of policies that achieve asymptotic zero waiting. The set of policies include several classical policies such as join-the-shortest-queue (JSQ), join-the-idle-queue (JIQ), idle-one-first (I1F) and power-of-d-choices (Po d) with d = O(N^α log N). The proof of the main result is based on Stein's method and state space collapse. A key technical contribution of this paper is the iterative state space collapse approach that leads to a simple generator approximation when applying Stein's method.     

基于认知实验的虚拟维修训练效果评估研究

为了客观、准确地评估虚拟维修训练系统的训练效果,从实验的角度出发,提出了基于认知实验的虚拟维修训练效果评估方法。首先,分析了虚拟维修训练的评估现状;其次,重点阐述了该方法的实施步骤,并通过对比维修人员基于传统训练手段和虚拟维修训练手段的考试成绩,评估训练系统的训练效果,为系统的改进、优化以及下一步的推广使用提供了重要的理论依据;最后,通过实例分析,验证了该方法的可行性和科学性.     

基于ANSYS的油罐拱顶稳定性分析

针对加肋拱顶稳定性十分复杂的问题,基于ANSYS建立了加肋拱顶油罐的三维有限元模型,对加肋拱顶的结构稳定性进行了数值模拟。对加肋拱顶在外压作用下的线性与非线性临界屈曲载荷进行了对比分析,利用弧长法获得了拱顶在加肋情况下径向、环向、轴向的载荷-位移曲线。结果表明:数值模拟的加肋拱顶屈曲方向和屈曲区域与实际失稳结果相一致,可以为加肋拱顶设计和稳定性分析提供一定参考。     

面向需求变化的军队自动化立体仓库货位优化

为提高军队自动化立体仓库的出库能力,提出应根据需求变化对在库物资货位进行动态调整,从而最大限度地保障军队物资需求。综合考虑堆垛机总行程、货物离散度和出库频率等评价指标,采用遗传算法对该多目标优化问题进行求解,并运用Matalab仿真。结果表明,该方法能较好地提高军队自动化立体仓库在需求动态变化时的出库能力。同时,该研究对一般仓库的货位优化也有一定的借鉴意义。