兵团农十二师人武部组织野炊技能比武竞赛

日前,新疆生产建设兵团农十二师人武部组织全师民兵应急分队保障组进行了一场激烈的野炊比武竞赛。竞赛设野战炊具的展开与撤收、刀功、野炊三个内容。经过近3个小时的紧张角逐,由军地双方组成的评委评出了前三名。通过这次比武竞赛,有效检验了全师民兵应急分队的后勤保障能力,为今后执行急难险重任务奠定     

雪域高原砺精兵

沙场秋点兵,雪域鏖战急。前不久,驻藏某预备役混成旅克服高原恶劣的自然环境,首次在海拔4300余米的雪域高原上演了一场精彩的练兵大戏。此次野外训练,不仅有效检验了部队新装备当年列装当年形成战斗力的要求,也为高原预备役部队野战化训练探索总结了宝贵经验。     

暴力冲突的全球经济成本研究

暴力冲突可产生大量的经济成本。但现行估算常常关注一个国家,忽视冲突的国际外部性,因此这种成本的计算是不完全的。衡量冲突的全球经济成本应该考虑两个标准:第一,全面性,即考虑外部性和冲突对利益结果产生影响的异质性;第二,一致性,便于在国家与地区之间在时间和空间范围内进行比较。     

对数正态分布的维修时间均值检验方法

针对许多装备维修时间服从或近似服从对数正态分布,从对数方差已知或未知两种角度,在控制单方或双方风险的基础上,提出了维修时间均值的检验方法,并通过实例验证了检验方法的实用性。     

一种支持并行离散事件仿真建模和并行模型检验的建模语言

并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用.然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能.并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业...     

通信时延下欠驱动自主水下航行器编队控制

研究了通讯时延情况下的欠驱动自主水下航行器(Autonomous Underwater Vehicle)编队控制问题。考虑到水下通讯所面临困难,将编队问题分为两个部分：一部分为单个AUV的路径跟踪控制问题,保证每个AUV沿各自的期望路径航行;另一部分为路径参数的协同控制问题,保证每个AUV期望的路径参数能够实现同步,进而达到编队控制的目的。提出的控制方案仅需要AUV之间交互路径参数信息,通讯需求量小,满足实际工程需求且能够允许一定的通讯时间延迟。数值仿真结果验证了控制算法的有效性。     

三亚市举行快速运动员采血演练

血液是国防动员首批动员的重要物资之一。而通过近年来的潜力调查统计和实战动员演练发现,因受限于储备储藏和来源条件,目前血液中心(血站)血液储备量只能保障日常供给,在战时或突发情况下的供血能力极其有限。4月16日,按照"军事机关提需求、国动委搞协调、政府抓落实"的运     

贮存环境对火箭弹动平衡冲量的影响

实验测定了已经在南方和北方2个地区贮存5年的火箭弹动平衡速度,计算了动平衡冲量,并利用秩和检验方法对实验结果进行了处理与分析。通过实验与分析,得到了32发火箭弹的动平衡冲量,综合试验、计算和检验结果表明,贮存环境对于该火箭弹的动平衡冲量有显著影响。     

信号时序逻辑约束下基于终点回溯的高效规划

在信号时序逻辑约束下规划路径是一项具有挑战性的任务,其计算量非常高。提出了一种终点回溯的规划方法,它是一种适用于连续时间系统的抽象化方法。该规划方法分为离线构建阶段和在线规划阶段。离线构建阶段在Transducer理论的指导下,从能够完成任务的合理的终点构造一棵快速随机搜索树,向初始状态空间进行回溯。当采样点足够多时,在线规划阶段使用模型预测控制将机器人驱动到快速随机搜索树的叶子节点。通过所提出的规划方法,避免了环境的有限转移系统与信号时序逻辑对应的自动机乘积引起的状态空间爆炸问题。所提出的方法将在线路径规划所需时间降低到1s以下,充分说明了本方法的有效性。与混合整数线性规划以及贝叶斯优化方法相比较,所提出的终点回溯规划方法在线求解效率更优,且更加易于扩展至多机器人协同工作场景。