A novel modeling approach for express package carrier planning

Express package carrier networks have large numbers of heavily‐interconnected and tightly‐constrained resources, making the planning process difficult. A decision made in one area of the network can impact virtually any other area as well. Mathematical programming therefore seems like a logical approach to solving such problems, taking into account all of these interactions. The tight time windows and nonlinear cost functions of these systems, however, often make traditional approaches such as multicommodity flow formulations intractable. This is due to both the large number of constraints and the weakness of the linear programming (LP) relaxations arising in these formulations. To overcome these obstacles, we propose a model in which variables represent combinations of loads and their corresponding routings, rather than assigning individual loads to individual arcs in the network. In doing so, we incorporate much of the problem complexity implicitly within the variable definition, rather than explicitly within the constraints. This approach enables us to linearize the cost structure, strengthen the LP relaxation of the formulation, and drastically reduce the number of constraints. In addition, it greatly facilitates the inclusion of other stages of the (typically decomposed) planning process. We show how the use of templates, in place of traditional delayed column generation, allows us to identify promising candidate variables, ensuring high‐quality solutions in reasonable run times while also enabling the inclusion of additional operational considerations that would be difficult if not impossible to capture in a traditional approach. Computational results are presented using data from a major international package carrier. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008     

战役炮兵火力毁伤筹划中“直接计算法”的应用

我军兼收俄、美火力毁伤理论之优长,依据我军编制体制、武器装备和作战原则,运用科学的数据和算法,创建了具有我军特色的战役炮兵火力毁伤理论。基于直接计算的目标选择方法,分别对直接计算目标选择方法的基本思路、主要优点和实施过程进行了论述。该计算方法较好地解决了针对具体目标如何进行兵器弹药需求量计算的问题,使战役炮兵火力毁伤筹划方法更具科学性。     

进化计算在机器人轨迹规划中的应用研究

本文介绍了采用进化计算思想研制的机器人轨迹规划系统ＲＴＰ－１，提出多层次动态结构化编码方案，利用低中高三层进化算法分别优化距离、路径和关节角度偏差，基于多层综合优化策略解决多目标多约束工程优化问题，建立了次序相关问题求解的通用框架。在进化算法中，利用拉马克效应加快轨迹规划速度，在ＲＭ－５０１机械手上实现的任意空间直线和空间曲线轨迹规划具有良好的鲁棒性，规划轨迹的相邻臂构型间具有良好的柔顺性，规划轨迹的臂构型序列具有良好的平滑性。本文所采用的机器人轨迹规划方法具有通用性，可推广应用于各种动力学系统的研制。     

机器人PTP控制曲线研究

本文根据点位控制机器人运动特点和其加速——匀速——减速三段控制方式,以及实时计算量的大小和所定义的点位控制机器人控制曲线参数——最大加速度系数、最大跃动系数,对点位控制机器人用控制曲线进行了系统、深入的分析,给出了一种变形sin加速度控制曲线,并在点位控制机器人上对其性能进行了验证。     

英国车辆电子学研究防御倡议(VERDI)述评

车辆电子学（ＶＥＴＲＯＮＩＣＳ）是近年来装甲车辆研究领域内兴起的一项意义深远的尖端技术。目前,最有影响的３个典型系统是美国的“标准陆军车辆电子系统体系结构（ＳＡＶＡ）”、英国的“车辆电子学研究防御倡议（ＶＥＲＤＩ）”及法国的全电子化主战坦克“勒克莱尔”。简单介绍了ＶＥＲＤＩ的研究历史,系统阐述了其第二研究阶段（ＶＥＲＤＩ－２）的改进方针、改进后的系统组成、设备配置、功能度及系统特征等。     

自动导向车控制系统的数学模型及应用

本文提出自动导向车偏差控制系统的数学模型。文章首先研究自动导向车的运动特性,分析偏差量与车轮速度的关系,在此基础上导出它的动态结构图。它是一个多输入多输出的非线性系统。然后通过小偏差线性化方法,把它简化成线性单输入数学模型。该数学模型应用于激光导向无人小车,获得较好的运行控制效果。     

空间布置中的干涉性检查算法

本文提出一种新的干涉性检查算法:首先估计被测对象是否位于可能发生干涉的区域,若是,则再进一步检查它们之间是否接触或穿越等。算法简单明了,效率较高,适用面广,计算机运行结果证实了算法的正确性和可靠性。     

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

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

软件测试工具的问题及解决方法

讨论了当前软件测试工具的关键技术,并指出了其弱点,介绍了如何基于.NET技术对这些弱点进行相应的改善.     

浅议陆军合成旅装备一体化联合检验

近年来,装备试验深入推进。作为装备试验领域的最高形式,装备一体化联合检验已经成为陆军合成旅装备试验的新趋势和新常态。本文从装备一体化联合检验的概念入手,简要阐述了以作战效能、作战适用性、体系适用性和在役适用性为主的“一能三性”,从装备体系效能的联合检验、装备体系运用的具体检验和陆军合成旅的综合检验三个方面深入理解和认识装备一体化联合检验,提出了立足联合作战、立足贴近实战、紧盯短板弱项、聚焦摸清底数等四个需要重点关注的问题,以为陆军合成旅装备一体化联合检验的深入开展提供理论参考和借鉴。