微型软体机器人能源驱动技术研究进展

具有高柔顺性、低能耗、高功率等特点的微型软体机器人在管道检修、战场侦察等复杂环境中具有广阔的应用前景。能源与驱动器决定了微型软体机器人运动方式和运动性能。为使更多研究人员了解现有柔性驱动技术及其能量来源的研究进展,从物理能源驱动、化学能源驱动以及生物混合驱动三方面入手,总结了基于这三种能源的典型驱动方式并分析其优劣。对现有柔性驱动及其能源存在的不足与未来发展进行讨论与总结,可为后续软体机器人柔性驱动技术发展与性能提升提供参考。     

基于图形分析的舰空导弹射击效能评估方法

在分析现有舰空导弹武器系统射击效能评估方法的基础上,提出一种基于图形分析的舰空导弹射击效能评估方法。这种方法简单、直观,不仅适用于舰空导弹武器系统,而且可以推广应用于其它类型的防空导弹武器系统。     

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

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

兰切斯特方程在水雷战模型中的应用与分析

根据对抗模拟的特点,以兰切斯特方程为基础建立了水雷战的解析数学模型,并进行了仿真,得到了被封锁方的兵力组合优化曲线,以定量分析的方法阐明了该模型在战役全局和战术局部上对水雷战对抗双方的指导意义。     

定向攻击水雷打击概率模型研究

根据定向攻击锚雷的工作原理,建立了其对水面目标打击概率的仿真数学模型,可用于定向区域攻击锚雷打击概率的蒙特卡洛法仿真.     

Irreducibility of joint inventory positions in an assemble‐to‐order system under (r,nQ) policies

In a typical assemble‐to‐order system, a customer order may request multiple items, and the order may not be filled if any of the requested items are out of stock. A key customer service measure when unfilled orders are backordered is the order‐based backorder level. To evaluate this crucial performance measure, a fundamental question is whether the stationary joint inventory positions follow an independent and uniform distribution. In this context, this is equivalent to the irreducibility of the Markov chain formed by the joint inventory positions. This article presents a necessary and sufficient condition for the irreducibility of such a Markov chain through a set of simultaneous Diophantine equations. This result also leads to sufficient conditions that are more general than those in the published reports. © 2011 Wiley Periodicals, Inc. Naval Research Logistics, 2011     

方位向电扫描SAR系统参数设计与仿真验证

方位向电扫描SAR(Terrain Observation by Progressive Scans,TOPSAR)是星载SAR的一种全新工作模式,这种工作模式通过天线波束在方位向扫描,在保持ScanSAR宽测绘带优点的同时,解决了扇贝效应(scalloping)问题。针对这种工作模式要求天线在方位向和距离向都进行扫描的特点,推导了方位分辨率与扫描周期的具体关系,进而分析了系统参数的约束关系,提出了适于工程设计的系统参数设计方法。最后,用TerraSAR-X的参数进行了一组设计,以该设计结果为输入参数,运用SBRAS(SpaceBorne Radar Advance Simulator)进行了信号仿真,仿真结果验证了方法的有效性。     

HLA的雷达目标跟踪算法验证系统

构建了一个基于HLA的雷达目标跟踪分布式仿真系统。采用组件设计思想,实现目标跟踪组件和滤波组件,并将这两套组件嵌入到目标跟踪分布式仿真系统中。实践结果表明:基于组件思想构建的目标跟踪和滤波算法能够很好嵌入到分布式雷达目标跟踪系统中,从而为跟踪算法的合理选择、算法参数的优化设计,以及实际系统的研制提供有力支撑。     

武器装备伪装的军事经济效益分析

假目标设置是装备伪装的基本内容之一。高技术战争中要求设置多倍假目标以提高战场生存概率,如何在考虑军事经济效益的前提下设置假目标数量是一个难题。基于装备的隐真和示假生存概率,建立了伪装的效费比数学模型,通过对效费比模型的分析对如何科学、合理地设置假目标数量提出了建议。