延时线性系统最优控制的Walsh级数分析法

本文借助于 Walsh 级数的分析方法,导出了延时算子,并利用延时算子和 Walsh级数的运算特性给出了一套延时线性系统最优控制的 Walsh 级数分析法,避免了求解 Riccati方程使算法非常简单。     

Supercritical carbon dioxide as a new working medium for pneumatic launch: A theoretical study

Compared with the conventionally gaseous or liquid working media, the specific internal energy of supercritical carbon dioxide (SCD) is higher at the same temperature and pressure, and the critical temperature of carbon dioxide is close to room temperature, making SCD a potential new working medium for pneumatic launch. To analyze the feasibility of this conception, an analytical model of a pneumatic catapult is established on basis of the conservations of mass and energy. The model consists of a high-pressure chamber and a low-pressure chamber connected by multiple valves, and there is a movable piston in the low-pressure chamber that can push an aircraft to accelerate. The effects of the launch readiness state of SCD in the high-pressure chamber, the initial volume of the low-pressure chamber and the valve control on the movement of the aircraft are analyzed. It is found that there is a restrictive relation between the temperature and pressure of the launch readiness state of SCD, i.e., there is a maximum allowable launch readiness pressure when the launch readiness temperature is fixed. If this restrictive relation is not satisfied, the working medium in the low-pressure chamber will drop to its triple point within a few milliseconds, leading to a launch failure. Owing to this restrictive relation, there is an optimal launch readiness state of SCD with the highest working capacity for any allowable launch readiness temperature. The pressure of the low-pressure chamber will decrease significantly as the initial volume increases, leading to a decreased acceleration of the aircraft. The ac-celeration can be controlled below a critical value by a designed sequential blasting technique of multiple valves. The calculated results show that a 500 kg aircraft can be accelerated from 0 to 58 m/s in 0.9 s with 36 kg of carbon dioxide. This research provides a new technique for the controllable cold launch of an aircraft.     

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不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

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

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

连续情形的窃贼问题

讨论了连续时间上的窃贼问题。Ｊｔ是［０,ｔ］上窃贼作案的次数,｛Ｊｔ｝ｔ≥０是Ｐｏｉｓ－ｓｏｎ过程;收获过程与风险过程都是独立同分布的时间序列。利用弱无穷小算子,我们找出了最优停时规则。     

Bayesian selling problem with partial information

We introduce an optimal stopping problem for selling an asset when the fixed but unknown distribution of successive offers is from one of n possible distributions. The initial probabilities as to which is the true distribution are given and updated in a Bayesian manner as the successive offers are observed. After receiving an offer, the seller has to decide whether to accept the offer or continue to observe the next offer. Each time an offer is observed a fixed cost is incurred. We consider both the cases where recalling a past offer is allowed and where it is not allowed. For each case, a dynamic programming model and some heuristic policies are presented. Using simulation, the performances of the heuristic methods are evaluated and upper bounds on the optimal expected return are obtained. © 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.