利用对象Petri网验证场景

序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证.将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为"展示"给需求开发者和用户,以此进行行为需求的验证.     

基于蚁群算法的被动目标定位算法

通过对蚁群算法的研究,用蚁群算法成功解决了无源测向定位中消除虚假点,对真实交点进行正确聚类的难题.并通过Matlab 仿真实验证明了该算法的有效性.同时该算法具有目标关联确率高、计算速度快、鲁棒性强等优点.     

电子靶场中对歼击航空兵战训活动的自动化评估

航空兵在局部战争和武装冲突中的使用经验显示,战斗任务的完成效率不仅取决于武器装备的性能,还取决于机组和战斗指挥人员的战术素养水平。本文针对航空兵试验、训练靶场存在的问题,论证了构建电子靶场的必要性、可行性以及电子靶场的主要功能和目标,提出了电子靶场中对歼击航空兵战训活动的自动化评估方法。这种方法可用于评估自动化系统（电子靶场）目标的掩护结果,也可在构建未来机组作战指挥人员和空勤人员战术综合模拟器时使用。此外,还提出了可对歼击航空兵机组和战术机群行动结果进行实时评估的自动化评估程序和算法模型,下一步将根据歼击航空兵的宗旨,编制自动化评估算法软件。     

Optimal production ramp-up in the smartphone manufacturing industry

Motivated by challenges in the smartphone manufacturing industry, we develop a dynamic production ramp-up model that can be applied to economically satisfy nonstationary demand for short-life-cycle products by high-tech companies. Due to shorter life cycles and more rapid evolution of smartphones, production ramp-up has been increasingly critical to the success of a new smartphone. In the production ramp-up, the key challenge is to match the increasing capacity to nonstationary demand. The high-tech smartphone manufacturers are urged to jointly consider the effect of increasing capacity and decreasing demand. We study the production planning problem using a high-dimensional Markov decision process (MDP) model to characterize the production ramp-up. To address the curse of dimensionality, we refine Monte Carlo tree search (MCTS) algorithm and theoretically analyze its convergence and computational complexity. In a real case study, we find that the MDP model achieves revenue improvement by stopping producing the existing product earlier than the benchmark policy. In synthetic instances, we validate that the proposed MCTS algorithm saves computation time without loss of solution quality compared with traditional value iteration algorithm. As part of the Lenovo production solution, our MDP model enables high-tech smartphone manufacturers to better plan the production ramp-up.     

空间非合作目标捕获方法综述

随着空间事故和失效航天器的增多,地球附近的轨道资源越来越紧张。如今世界各国都在大力发展在轨服务和太空碎片清除,作为其中最关键的技术之一,空间非合作目标捕获近年来成了太空研究领域的重点。目前,国内外各大研究机构针对非合作目标进行了深入研究,并提出了多种捕获方法,取得了较大的进展。对非合作目标进行分类,基于现有的捕获方法介绍了国内外非合作目标捕获技术发展的最新状况,总结了原理方案,分析了捕获方法和关键技术,为我国后续开展相关研究提供了一种研究思路。     

临近空间高空气球囊体材料的蠕变试验和数值分析

蠕变是临近空间高空气球囊体材料的重要特性。设计了蠕变试验架,对一种典型的临近空间高空气球囊体材料的蠕变特性进行测试,获得了该材料在常温下的蠕变数据。根据一般高分子材料的蠕变模型,结合测试得到的蠕变数据,分析高空气球囊体材料的蠕变计算模型,确定相关参数。通过有限元分析,仿真了高空气球囊体材料的蠕变量。通过对比根据蠕变模型计算的蠕变量、有限元仿真分析的蠕变量与蠕变试验得到的实际蠕变量,验证了针对DPE-3薄膜建立的蠕变模型和仿真分析的准确性。所采用的蠕变试验测试方法和计算分析结果可为临近空间高空气球的设计和分析提供参考。     

螺栓法兰连接结构有限元模型参数确定方法

螺栓法兰连接广泛用于各种工业结构中,为准确预测该连接在实际工作中发挥的作用,需要建立准确高效的有限元模型。针对有限元建模过程中模型各种参数的确定问题,综合使用数值仿真手段和试验手段分别对模型网格参数和接触参数的确定开展研究。参数确定后的螺栓法兰连接结构有限元模型在保证计算精度的前提下,计算效率得到显著提高。     

基于HHT的助飞反潜鱼雷入水信号检测方法

针对助飞反潜鱼雷入水信号在浅海条件下信噪比低、干扰成分多导致难以检测的问题,采用HHT处理方法,通过CEEMD分解方法提高原始信号的信噪比;通过希尔伯特变换突出入水信号的时域特征,降低了入水信号检测的难度。所提方法应用于实航试验数据,显著提高了信号检测的可靠性。     

机载燃油泵性能退化试验研究

为了获取刻画燃油泵退化规律的退化数据,提出机载燃油泵性能退化试验研究。基于失效机理分析制定燃油泵性能退化试验方案。搭建燃油泵在电应力载荷下的性能退化试验平台,可模拟飞机燃油泵注油循环过程,施加电应力载荷,采集出口压力信号。建立Holt指数平滑退化模型用于剩余寿命预测。结果表明该退化模型表征了燃油泵的退化规律,验证了该试验方案和平台的有效性和可行性。     

一种应用于目视化瞄准的头动注视点定位算法

应用目视化瞄准技术可以简化火炮直瞄射击过程中的操作难度和瞄准效率。对于目视化瞄准时应用传统桌面式眼动仪器人体头部需要保持静止的问题,研究了一种适用于火炮目视化瞄准的头动注视点定位算法,该算法通过对头部建立四元数坐标系,计算眼球视场和屏幕坐标系,最后通过实验验证证明了通过该算法可以在人体头部自由移动的情况下获得良好的跟踪效果,证明了使用本算法可以实现头部不受限制下的眼动追踪,大大提高了视线追踪技术的适用范围,从而应用于火炮目视化直瞄射击。