参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

Inventory sharing under decentralized preventive transshipments

We consider preventive transshipments between two stores in a decentralized system with two demand subperiods. Replenishment orders are made before the first subperiod, and the stores may make transshipments to one another between the subperiods. We prove that the transshipment decision has a dominant strategy, called a control‐band conserving transfer policy, under which each store chooses a quantity to transship in or out that will keep its second‐subperiod starting inventory level within a range called a control band. We prove that the optimal replenishment policy is a threshold policy in which the threshold depends on the capacity level at the other store. Finally, we prove that there does not exist a transfer price that coordinates the decentralized supply chain. Our research also explains many of the differences between preventive and emergency transshipments, including differences in the optimal transfer policies and the existence or nonexistence of transfer prices that coordinate the system. © 2010 Wiley Periodicals, Inc. Naval Research Logistics, 2010     

试论渡江战役与中美关系

渡江战役是解放战争中极为重要的一次战役,不仅在中国人民解放军历史上书写了浓墨重彩的一页,也是中美关系史上不可忽视的一个转折点。渡江战役标志着美国扶蒋反共政策的彻底破产,是美国以台制华策略的肇始。渡江战役前后中共中央的对美斗争为中华人民共和国处理中美关系积累了经验,有着重要的历史意义和现实意义。     

空天地一体化传感器网络中的节点定位算法

针对军用信息侦察的需求,提出了一种基于空天地一体化传感器网络的军用信息侦察系统。介绍了空天地一体化传感器网络的基本概念和网络结构,基于TOA和锚点的方向信息,提出了一种适于空天地一体化传感器网络的测距定位算法-TOA-D。仿真结果表明,该定位算法能够满足军用信息侦察系统对定位性能的需要。     

基于熵的地磁匹配定位算法

地磁匹配定位是近年来发展起来的新技术,针对地磁匹配定位中的匹配算法问题,引入了熵的概念,定义了地磁信息熵和地磁差异熵,提出了地磁信息熵和地磁差异熵综合的匹配算法,详细分析了其基本原理和实现过程。仿真实验表明,地磁熵算法的匹配误差并不随实时数据测量误差的增加而增加,该算法计算速度快、具有良好的抗测量误差干扰的能力,符合匹配精度和速度的要求。     

惯性/GPS/EMC组合导航系统可视化仿真

提出了低成本惯性/GPS/EMC组合导航系统可视化仿真器的设计方案.根据捷联惯导算法和卡尔曼滤波原理,仿真器能模拟纯惯性导航、组合导航及纯数字仿真、半实物仿真等多种导航模式,绘制导航参数和误差曲线;可灵活设置航路点,系统自动生成航行轨迹,在电子地图中动态显示航迹和导航参数.仿真器为捷联姿态矩阵算法和导航算法提供验证数据源,为组合导航系统性能的研究提供可视化平台.实际应用表明,仿真器性能可靠,能极大地减少组合导航系统研究开发成本.     

模糊专家系统自动装弹机故障检测系统

针对步战车装弹机故障检测困难,设计步战车装弹机故障检测系统,自动高效地实现对步战车装弹机的故障检测。利用模糊专家系统解决模糊问题的基本方法,阐述了系统的总体设计和硬件设计,按照输入输出信号的特点,将系统分为模拟信号输入输出模块和数字信号输入输出模块,并详细介绍了系统软件的核心——模糊专家系统的设计,特别是对模糊专家系统中知识库、推理机、解释模块以及学习模块的开发进行了探讨。     

论人民军队奖励工作的基本经验

奖励工作是人民军队政工作的重要内容.纵观人民军队奖励工作的历史表明:围绕中心工作,提高部队战斗力是奖励工作的根本任务;注重培养和宣扬先进典型,充分发挥英雄模范的示范引导激励作用是奖励工作的主要途径;坚持以人为本的理念,激发人的积极性是奖励工作的动力源泉;坚持发扬民主,完善法规制度是奖励工作的根本要求.     

摩托车排放试验循环的全球技术法规研究

介绍了GTR2《全球统一的摩托车排放试验循环(WMTC)》的制定过程,中国对WMTC法规所做的主要工作;对比分析了WMTC法规与我国摩托车和轻便摩托车排放标准的主要差异。     

舰载直升机系统安全评价指标体系研究

舰载直升机系统安全评价指标,是衡量舰载直升机系统安全目标的具体标志。在对舰载直升机系统进行安全评价时,必须建立能对各种因素进行衡量的统一尺度,即评价指标体系。通过对舰载直升机系统在使用中的实际状况进行安全分析,找到能够综合反映其安全的指标体系,这样就为系统安全评价提供了依据。