加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

具有终端角度约束的H_∞制导律设计

针对导弹对地面运动目标精确攻击时姿态约束的H_∞末制导问题,提出了一种新的具有终端角度约束的制导律.基于二维弹目相对运动学的非线性关系,并将目标机动运动和系统结构摄动作为外部的扰动,建立了垂直平面内弹目相对运动的数学模型.以命中点终端姿态角跟踪误差和控制能量最小为性能指标,同时基于零化弹目视线角速率的思想, 设计得到了非线性H_∞鲁棒制导律.该方法利用Lyapunov稳定理论严格证明了制导系统的全局渐近稳定性,而非求解HJI偏微分方程,同时也避免了对剩余时间的估计.数字仿真表明这种制导律在不需要任何目标运动信息的情况下,仍然保证终端角度和制导精度的要求,具有很强的鲁棒性和适应性.     

Dynamic inventory management with cash flow constraints

In this article, we consider a classic dynamic inventory control problem of a self‐financing retailer who periodically replenishes its stock from a supplier and sells it to the market. The replenishment decisions of the retailer are constrained by cash flow, which is updated periodically following purchasing and sales in each period. Excess demand in each period is lost when insufficient inventory is in stock. The retailer's objective is to maximize its expected terminal wealth at the end of the planning horizon. We characterize the optimal inventory control policy and present a simple algorithm for computing the optimal policies for each period. Conditions are identified under which the optimal control policies are identical across periods. We also present comparative statics results on the optimal control policy. © 2008 Wiley Periodicals, Inc. Naval Research Logistics 2008     

大椭圆停泊轨道月球探测器发射窗口运动学约束特性分析及转移轨道快速设计方法

通过分析大椭圆停泊轨道月球探测器发射窗口的运动学约束特性,给出了转移轨道运动学约束对发射窗口的影响规律,进一步明确了在该种情况下月球探测器的发射机会和增加窗口的可能性.并结合发射窗口运动学约束特性,提出了一种基于大椭圆停泊轨道的地月转移轨道快速设计方法.仿真结果验证了大椭圆停泊轨道下探测器发射窗口运动学约束特性分析的正确性,以及转移轨道设计方法的有效性.     

基于等值线约束的地磁匹配定位技术

地磁匹配定位是利用地磁图进行定位的方法,位置输出可用于限制惯导系统的误差积累.介绍了地磁辅助导航的原理和发展现状,并重点研究了地磁匹配定位技术.提出了一种基于等值线约束的改进的相关匹配算法,能有效消除导航系统的初始位置误差并能限制匹配过程中惯导系统的积累误差.仿真实验证明该算法能有效地提高相关匹配的实时性,并能把定位精度控制在地磁数据网格间距以内.算法对航向误差具有一定的适应性.     

卫星任务调度问题的约束规划模型

卫星任务规划与调度是空间资源管理的重要内容之一,其目的在于为卫星系统的任务计划编制提供科学合理的决策手段与依据。卫星任务调度问题的重要特点在于,调度任务存在可见时间窗口约束。只有在可见时间窗口内,调度任务才可能执行并完成。在进行合理假设的基础上,建立卫星任务调度问题的约束规划模型。对基本禁忌搜索算法进行改进,提出了模型求解的变邻域禁忌搜索算法。应用结果表明,约束规划模型的建立与求解是合理的。     

链约束下加工时间恶化的Flow Shop排序问题

讨论作业具有线性加工时间,作业间具有链约束的两台处理机流水作业排序问题,目标函数为极小化完工时间。在作业加工时间简单线性恶化下,提出作业的非负开始和停止延迟恶化率,构造了满足约束条件的复合作业。在此基础上,给出作业间具有平行链约束的两台处理机流水作业排序问题的最优多项式算法。     

仿射不变轮廓矩及其稳定性分析

针对区域矩需要计算全图像素的统计分布、计算量大的问题,构造了基于目标形状的仿射不变轮廓矩。首先采用PDE方法推导得到了6个仿射不变矩的数学模型,然后将积分区间变为目标区域的边界,计算得到基于目标形状的仿射不变轮廓矩,最后通过三类舰船不同姿态下的图像进行了实验验证并对其稳定性进行了分析。研究结果表明:仿射不变轮廓矩具有较好的稳健性及区分度,可将其作为不变特征用于舰船目标识别。     

某制导侵彻航弹复合制导方案设计

首先分析了着靶姿态对钻地弹侵彻的影响,并就某制导侵彻航弹要求弹着角大和射程远的特点,提出了解决方案,设计钻地航弹复合制导方案,即通过方案弹道加末端角约束比例导引律实现对钻地航弹射程和末段着靶姿态的要求。针对方案弹道设计PID控制律,提出了中末段制导方案转换条件,仿真结果表明弹药着地时具有高速且满足末端角度约束。     

无奇点三维攻击时间控制滑模导引律

为研究导弹在视场角约束下的三维攻击时间控制问题,提出一种三维非线性滑模导引律。利用攻击时间误差设计滑模面,推导出三维形式的俯仰和偏航加速度指令;通过对所设计制导律进行简单修正,解决了零初始前置角引起的奇点问题;从数学上证明了该导引律的稳定性和收敛性,讨论了导引律相关参数的取值范围,分析了与纯比例导引法、解耦三维导引律之间的关系。仿真结果表明,所设计导引律能够在视场角约束条件下有效实现攻击时间增大或减小的控制;俯仰和偏航平面的耦合程度越强,该导引律控制能耗小的优势越为明显。