带有分段常数变量的捕食者-食饵模型的稳定性和Neimark-Sacker分支

讨论一类带有分段常数变量的捕食者-食饵模型的稳定性和Neimark-Sacker分支行为.首先通过转化得到该模型所对应的差分方程,然后利用线性方程稳定性理论讨论正平衡点局部渐近稳定的充分条件;其次运用正规形理论和中心流形定理阐释系统随参数变化而发生的Neimark-Sacker分支,从而发生混沌现象.     

基于RIMER方法的体系能力需求推荐方法

随着现代作战样式和军事信息系统的深度复杂化, 军事需求工程的任务也逐渐加重。当下, 能力需求是军事需求建设的一个重要着眼点。本文聚焦能力需求的构建阶段, 运用规范化需求描述、基于置信规则库的证据推理(belief rule-base inference methodology using the evidential reasoning, RIMER)等方法对基于能力的体系需求推荐方法展开了研究。之后, 以工兵的作战任务想定为背景, 展开了案例研究, 完成了对于该想定下工兵能力需求的推荐并验证了所提出能力需求推荐方法的可行性和合理性。并将需求推荐带入了军事需求场景, 获得了一种应用于军事复杂系统需求生成的新方法, 加速了能力需求的生成。     

一个混合CD-LS共轭梯度法

在CD方法和LS方法的基础上,提出了一个混合的CD和LS共轭梯度法来求解无约束最优化问题;在适当的条件下,即可证明该方法在Wolfe线性搜索下对一般函数具有全局收敛性.     

模块化自重构机器人关键技术综述及研究展望

近年来，模块化自重构机器人因其构型复杂多样、运动模式丰富多变、目标构型可重构等特性而备受关注。通过对模块化自重构机器人关键技术的文献进行归纳，对现有的模块化自重构机器人关键技术进行了全面总结。首先，介绍了模块化自重构机器人的结构特点以及拓扑结构，重点分析了3种拓扑结构的优缺点以及发展趋势；其次，对自重构机器人现有的关键技术进行了综述，重点关注了模块化自重构机器人3种不同连接结构的物理原理和基本结构、机器人模块的重构算法以及重构过程的快速性3方面技术，分析总结了其优缺点以及发展现状；最后，针对自重构机器人空间在轨、抢险救灾两项任务的发展前景进行了展望，并提出未来的研究重点：1）探索连结结构的强刚度和轻质量的兼具方法，高效快速完成机器人重构过程；2）作业过程中，重构算法的高容错性和低耗能发展；3）将实时数据与所建立的动力学模型进行有机结合，对机器人进行人工调整，提高机器人的作业效率。     

面向应用的河长制信息管理系统设计与实现

针对河长制透彻感知信息化平台对省、市、县各级信息的综合化、精细化、智慧化、整体化表达的迫切需求，本文对现有网络架构难以满足河长制信息管理应用平台组网的安全规划、没有一套大数据标准体系作为基础支撑、平台对现有业务信息化表达不直观等问题，开展网络传输架构、综合信息高性能存储与管理、河长制信息管理应用平台建设等技术的创新研究。旨在突破河长制信息管理应用平台的关键技术瓶颈，形成一套完善的、行之有效的河长制决策支持系统。采用省、市、县三级联动部署，实现了涉河湖信息、实时断面水质、河湖保护管理突出问题等信息数字化管理及可视化展示，同时集工作即时通讯、河长工作平台、日常巡查、巡河信息管理、责任落实督办、监督考核评价等功能，已得到示范应用。