Expansion planning for waste‐to‐energy systems using waste forecast prediction sets

We consider an expansion planning problem for Waste‐to‐Energy (WtE) systems facing uncertainty in future waste supplies. The WtE expansion plans are regarded as strategic, long term decisions, while the waste distribution and treatment are medium to short term operational decisions which can adapt to the actual waste collected. We propose a prediction set uncertainty model which integrates a set of waste generation forecasts and is constructed based on user‐specified levels of forecasting errors. Next, we use the prediction sets for WtE expansion scenario analysis. More specifically, for a given WtE expansion plan, the guaranteed net present value (NPV) is evaluated by computing an extreme value forecast trajectory of future waste generation from the prediction set that minimizes the maximum NPV of the WtE project. This problem is essentially a multiple stage min‐max dynamic optimization problem. By exploiting the structure of the WtE problem, we show this is equivalent to a simpler min‐max optimization problem, which can be further transformed into a single mixed‐integer linear program. Furthermore, we extend the model to optimize the guaranteed NPV by searching over the set of all feasible expansion scenarios, and show that this can be solved by an exact cutting plane approach. We also propose a heuristic based on a constant proportion distribution rule for the WtE expansion optimization model, which reduces the problem into a moderate size mixed‐integer program. Finally, our computational studies demonstrate that our proposed expansion model solutions are very stable and competitive in performance compared to scenario tree approaches. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 47–70, 2016     

A strategic model for state compliance verification

The theory of directed graphs and noncooperative games is applied to the problem of verification of State compliance to international treaties on arms control, disarmament and nonproliferation of weapons of mass destruction. Hypothetical treaty violations are formulated in terms of illegal acquisition paths for the accumulation of clandestine weapons, weapons‐grade materials or some other military capability. The paths constitute the illegal strategies of a sovereign State in a two‐person inspection game played against a multi‐ or international Inspectorate charged with compliance verification. The effectiveness of existing or postulated verification measures is quantified in terms of the Inspectorate's expected utility at Nash equilibrium. A prototype software implementation of the methodology and a case study are presented. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 260–271, 2016     

Generalizing the survival signature to unrepairable homogeneous multi‐state systems

The notion of signature has been widely applied for the reliability evaluation of technical systems that consist of binary components. Multi‐state system modeling is also widely used for representing real life engineering systems whose components can have different performance levels. In this article, the concept of survival signature is generalized to a certain class of unrepairable homogeneous multi‐state systems with multi‐state components. With such a generalization, a representation for the survival function of the time spent by a system in a specific state or above is obtained. The findings of the article are illustrated for multi‐state consecutive‐k‐out‐of‐n system which perform its task at three different performance levels. The generalization of the concept of survival signature to a multi‐state system with multiple types of components is also presented. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 593–599, 2017     

Optimal pricing and scheduling control of product shipping

In this article, we seek to understand how a capacity‐constrained seller optimally prices and schedules product shipping to customers who are heterogeneous on willingness to pay (WTP) and willingness to wait (WTW). The capacity‐constrained seller does not observe each customer's WTP and WTW and knows only the aggregate distributions of WTP and WTW. The seller's problem is modeled as an M/M/N_s queueing model with multiclass customers and multidimensional information screening. We contribute to the literature by providing an optimal and efficient algorithm. Furthermore, we numerically find that customers with a larger waiting cost enjoys a higher scheduling priority, but customers with higher valuation do not necessarily get a higher scheduling priority. © 2015 Wiley Periodicals, Inc. Naval Research Logistics 62: 215–227, 2015     

激光测距系统控制策略研究的一种新方法

首先运用更新理论研究了激光测距系统漏测点的分布规律,在该系统跟踪目标的角误差为平稳高斯过程的前提下,给出了易于计算的漏测点分布律的显式表示,为求取使不可补漏测点出现概率最小的控制策略提供了一条行之有效的新途径。     

基于数据库和构件技术的通用ATS软件框架

针对当前测试软件中存在的通用性、扩展性和升级性差的问题,提出了通用ATS软件框架的设计准则,设计了基于数据库与构件技术的通用ATS软件框架,即＂框架＋数据库＋构件＂的软件体系结构,该结构降低了系统的复杂性,解决了ATS软件的通用性、灵活性、可靠性、扩展性差的问题。     

装甲装备保障综合数据库安全研究

确保装甲装备保障综合数据库安全可靠是装甲装备保障信息化建设中的一项重要内容.全面分析了装甲装备保障综合数据库安全保密特点及安全内容,阐述了数据库系统的安全机制,提出了装甲装备保障综合数据库可以采取的安全措施.     

制冷空调系统的模糊控制与模拟仿真

在制冷空调系统中采用电子膨胀阀（ＥＸＶ）代替传统的热力膨胀阀后,为各种调节控制技术的应用提供了广阔的前景．作者介绍了模糊控制器的设计及在制冷空调系统中的应用前景,并通过Ｍａｔｌａｂ工具包中的Ｓｉｍｕｌｉｎｋ软件进行模拟仿真,验证了模糊控制器的控制特性．     

Web与数据库互连技术研究

针对Web与数据库互连技术的重要性,重点研究了采用CGI、IDC、JAVA、ASP这四种技术实现Web与数据库互连,并对其进行综合比较。     

多机器人编队控制研究

多机器人编队控制是多机器人协调控制中一个最具有挑战性的研究问题.首先简要概述了多机器人编队问题的研究现状.从面向问题的角度出发,将编队问题分解成编队角色分配、队形生成、队形变换与选择、编队跟踪4个子问题,并针对每个子问题,总结了现有的研究方法.最后,特别强调编队控制中的网络问题并指明未来的研究万向.