Numerical study on the case effect of a bomb air explosion

When considering the bomb explosion damage effect, the air shock wave and high-speed fragments of the bomb case are two major threats. In experiments, the air shock wave was studied by the bare ex-plosives superseding the real cased bomb; in contrast, the bomb case influence was ignored to reduce risk. The air explosion simulations of the MK84 warhead with and without the case were conducted. The numerical simulation results showed that the bomb case significantly influenced the shock wave generated by the bomb: the spatial distribution of shock wave in the near field changed, and the peak value of shock wave was reduced. Breakage of the case and kinetic energy of the fragmentation consumed 3 and 38% of the explosion energy, respectively. The increasing factors of the peak over-pressure induced by the bare explosive on the ground and in the air were 1.43-3.04 and 1.37-1.57, respectively. Four typical stages of case breakage were defined. The mass distribution of the fragments follows the Mott distribution. The initial velocity distribution of the fragments agreed well with the Gurney equation.     

Disruption management in production planning

We study the problem of recovering a production plan after a disruption, where the disruption may be caused by incidents such as power failure, market change, machine breakdown, supply shortage, worker no‐show, and others. The new recovery plan we seek after has to not only suit the changed environment brought about by the disruption, but also be close to the initial plan so as not to cause too much customer unsatisfaction or inconvenience for current‐stage and downstream operations. For the general‐cost case, we propose a dynamic programming method for the problem. For the convex‐cost case, a general problem which involves both cost and demand disruptions can be solved by considering the cost disruption first and then the demand disruption. We find that a pure demand disruption is easy to handle; and for a pure cost disruption, we propose a greedy method which is provably efficient. Our computational studies also reveal insights that will be helpful to managing disruptions in production planning. © 2005 Wiley Periodicals, Inc. Naval Research Logistics, 2005.     

鱼雷航向估计模型的可信性

悬浮式深弹拦截鱼雷是大型水面舰艇水下防护作战的一种重要形式,其中估计来袭鱼雷的航向是实施拦截的关键。针对鱼雷航向的估计问题,引用基于相遇三角形原理的来袭鱼雷航向估计模型,分析了来袭鱼雷的可能航向角范围。采用数字仿真和仿真模型置信度的决策分析方法,对模型的可信性及其决策风险进行了量化分析。结果表明,该鱼雷航向估计模型可信,可为悬浮式深弹拦截鱼雷的作战训练、战法研讨及其仿真研究提供参考。     

Averaging frameworks for simulation optimization with applications to simulated annealing

We present two frameworks for designing random search methods for discrete simulation optimization. One of our frameworks is very broad (in that it includes many random search methods), whereas the other one considers a special class of random search methods called point‐based methods, that move iteratively between points within the feasible region. Our frameworks involve averaging, in that all decisions that require estimates of the objective function values at various feasible solutions are based on the averages of all observations collected at these solutions so far. Also, the methods are adaptive in that they can use information gathered in previous iterations to decide how simulation effort is expended in the current iteration. We show that the methods within our frameworks are almost surely globally convergent under mild conditions. Thus, the generality of our frameworks and associated convergence guarantees makes the frameworks useful to algorithm developers wishing to design efficient and rigorous procedures for simulation optimization. We also present two variants of the simulated annealing (SA) algorithm and provide their convergence analysis as example application of our point‐based framework. Finally, we provide numerical results that demonstrate the empirical effectiveness of averaging and adaptivity in the context of SA. © 2012 Wiley Periodicals, Inc. Naval Research Logistics, 2012     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

双球破片冲击柱壳装药的临界起爆条件

为了研究导弹战斗部(柱壳装药)在破片场中的累积毁伤问题,在现有单破片起爆平板装药的Jacobs-Roslund经验准则的基础上,分别建立了考虑破片尺寸、破片撞击角度、柱壳装药的装药半径和壳体厚度的单球破片、双球破片冲击柱壳装药临界起爆条件的工程分析模型.该模型计算结果与数值模拟结果和现有试验结果相吻,证明利用该模型能较...     

多比特信息分布式检测优化研究

本文拓展了通常意义下多传感器组网分布式检测模型,允许各传感器向融合中心传输多比特信息。给出了Ｋｕｌｌｂａｃｋ分辨率意义下,确定最优多比特信息的方法,以利于改善系统检测性能。数值结果表明,多比特信息分布式检测方案是可行的。     

Formulations for dynamic lot sizing with service levels

In this article, we study deterministic dynamic lot‐sizing problems with a service‐level constraint on the total number of periods in which backlogs can occur over a finite planning horizon. We give a natural mixed integer programming formulation for the single item problem (LS‐SL‐I) and study the structure of its solution. We show that an optimal solution to this problem can be found in \begin{align*}\mathcal O(n^2\kappa)\end{align*} time, where n is the planning horizon and \begin{align*}\kappa=\mathcal O(n)\end{align*} is the maximum number of periods in which demand can be backlogged. Using the proposed shortest path algorithms, we develop alternative tight extended formulations for LS‐SL‐I and one of its relaxations, which we refer to as uncapacitated lot sizing with setups for stocks and backlogs. {We show that this relaxation also appears as a substructure in a lot‐sizing problem which limits the total amount of a period's demand met from a later period, across all periods.} We report computational results that compare the natural and extended formulations on multi‐item service‐level constrained instances. © 2013 Wiley Periodicals, Inc. Naval Research Logistics, 2013     

量子环流理论研究富勒烯分子的磁学性质

在原子轨道线性组合方法中引进规范变换,推导出在外加恒定磁场下分子中的电子环流表达式,应用该理论导出了分子磁化率的一般公式,并对Ｃ６０和Ｃ７０分子中π电子的磁化率进行了计算。     

An alliance between Cyprus and Greece: assessing its partners’ relative security contribution

The issue that this paper tackles is the assessment of the relative security benefits that Cyprus and Greece derive in the context of their cooperation on defence matters. This form of cooperation, known as the ‘Integrated Defence Space Doctrine’, aims at defending their interests in the Aegean Sea and the broader East Mediterranean theatre. The paper relies heavily on earlier research on this topic, which deals with the Greek–Cypriot alliance facing an arms race against Turkey, and uses a coefficient especially designed to assess the optimal levels of security and the associated defence expenditure of the two allies. A comparison of the relative security coefficient values for the two allies suggests that the security benefit that Greece derives thanks to its alliance with Cyprus exceeds the corresponding Cypriot benefit by far. Given the importance assigned to human resources by this index, in conjunction with the demographic problems of Greece, this conclusion justifies the recent Greek defence policy revision, emphasizing quality, capital equipment and flexibility of forces. This revision aims at satisfying the security requirements of the alliance and the increasing demands of an arms race against Turkey.