Theory and Applications of Simulated Annealing for Nonlinear Constrained Optimization

A general mixed-integer nonlinear programming problem (MINLP) is formulated as follows: where z = (x, y) T ∈ Z; x ∈ Rv and y ∈ D w are, respectively, bounded continuous and discrete variables; f(z) is a lower-bounded objective function; g(z) = (g1(z),…, gr(z)) T is a vector of r inequality constraint functions; 2 and h(z) = (h1(z),…,hm(z)) T is a vector of m equality constrain

Augmented Lagrangian Algorithms under Constraint Partitioning

We present a novel constraint-partitioning approach for solving continuous nonlinear optimization based on augmented Lagrange method. In contrast to previous work, our approach is based on a new constraint partitioning theory and can handle global constraints. We employ a hyper-graph partitioning method to recognize the problem structure. We prove global convergence under assumptions that are much more relaxed than previous work and solve problems as large as 40,000 variables that other solvers such as IPOPT [11] cannot solve

Modeling and analysis of air campaign resource allocation: a spatio-temporal decomposition approach

Abstract—In this paper, we address the modeling and analysis issues associated with a generic theater level campaign where two adversaries pit their military resources against each other over a sequence of multiple engagements. In particular, we consider the scenario of an air raid campaign where one adversary uses suppression of enemy air defense (SEAD) aircraft and bombers (BMBs) against the other adversary’s invading ground troops (GTs) that are defended by their mobile air defense (AD) units. The original problem is decomposed into a temporal and a spatial resource allocation problem. The temporal resource allocation problem is formulated and solved in a game-theoretical framework as a multiple resource interaction problem with linear attrition functions. The spatial resource allocation problem is posed as a risk minimization problem in which the optimal corridor of ingress and optimal movement of the GTs and AD units are decided by the adversaries. These two solutions are integrated using an aggregation/deaggregation approach to evaluate resource strengths and distribute losses. Several simulation experiments were carried out to demonstrate the main ideas. Index Terms—Air campaign modeling, applied game theory, military campaigns, resource allocation, resource interaction models. I

Data Warehouse Design and Management: Theory and Practice

The need to store data and information permanently, for their reuse in later stages, is a very relevant problem in the modern world and now affects a large number of people and economic agents. The storage and subsequent use of data can indeed be a valuable source for decision making or to increase commercial activity. The next step to data storage is the efficient and effective use of information, particularly through the Business Intelligence, at whose base is just the implementation of a Data Warehouse. In the present paper we will analyze Data Warehouses with their theoretical models, and illustrate a practical implementation in a specific case study on a pharmaceutical distribution companyData warehouse, database, data model.

Optimization Techniques for Modern Power Systems Planning, Operation and Control

Recent developments in computing, communication and improvements in optimization techniques have piqued interest in improving the current operational practices and in addressing the challenges of future power grids. This dissertation leverages these new developments for improved quasi-static analysis of power systems for applications in power system planning, operation and control. The premise of much of the work presented in this dissertation centers around development of better mathematical modeling for optimization problems which are then used to solve current and future challenges of power grid. To this end, the models developed in this research work contributes to the area of renewable integration, demand response, power grid resilience and constrained contiguous and non-contiguous partitioning of power networks. The emphasis of this dissertation is on finding solutions to system operator level problems in real-time. For instance, multi-period mixed integer linear programming problem for applications in demand response schemes involving more than million variables are solved to optimality in less than 20 seconds of computation time through tighter formulation. A balanced, constrained, contiguous partitioning scheme capable of partitioning 20,000 bus power system in under one minute is developed for use in time sensitive application area such as controlled islanding

On-line planning and scheduling: an application to controlling modular printers

We present a case study of artificial intelligence techniques applied to the control of production printing equipment. Like many other real-world applications, this complex domain requires high-speed autonomous decision-making and robust continual operation. To our knowledge, this work represents the first successful industrial application of embedded domain-independent temporal planning. Our system handles execution failures and multi-objective preferences. At its heart is an on-line algorithm that combines techniques from state-space planning and partial-order scheduling. We suggest that this general architecture may prove useful in other applications as more intelligent systems operate in continual, on-line settings. Our system has been used to drive several commercial prototypes and has enabled a new product architecture for our industrial partner. When compared with state-of-the-art off-line planners, our system is hundreds of times faster and often finds better plans. Our experience demonstrates that domain-independent AI planning based on heuristic search can flexibly handle time, resources, replanning, and multiple objectives in a high-speed practical application without requiring hand-coded control knowledge

Differential-Algebraic Equations

Differential-Algebraic Equations (DAE) are today an independent field of research, which is gaining in importance and becoming of increasing interest for applications and mathematics itself. This workshop has drawn the balance after about 25 years investigations of DAEs and the research aims of the future were intensively discussed

Structuring a Wayfinder\u27s Dynamic and Uncertain Environment

Wayfinders typically travel in dynamic environments where barriers and requirements change over time. In many cases, uncertainty exists about the future state of this changing environment. Current geographic information systems lack tools to assist wayfinders in understanding the travel possibilities and path selection options in these dynamic and uncertain settings. The goal of this research is a better understanding of the impact of dynamic and uncertain environments on wayfinding travel possibilities. An integrated spatio-temporal framework, populated with barriers and requirements, models wayfinding scenarios by generating four travel possibility partitions based on the wayfinder\u27s maximum travel speed. Using these partitions, wayfinders select paths to meet scenario requirements. When uncertainty exists, wayfinders often cannot discern the future state of barriers and requirements. The model to address indiscemibility employs a threevalued logic to indicate accessible space, inaccessible space, and possibly inaccessible space. Uncertain scenarios generate up to fifteen distinct travel possibility categories. These fifteen categories generalize into three-valued travel possible partitions based on where travel can occur and where travel is successful. Path selection in these often-complex environments is explored through a specific uncertain scenario that includes a well-defined initial requirement and the possibility of an additional requirement somewhere beforehand. Observations from initial path selection tests with this scenario provide the motivation for the hypothesis that paths arriving as soon as possible to well-defined requirements also maximize the probability of success in meeting possible additional requirements. The hypothesis evaluation occurs within a prototype Travel Possibility Calculator application that employs a set of metrics to test path accessibility in various linear and planar scenarios. The results did not support the hypothesis, but showed instead that path accessibility to possible additional requirements is greatly influenced by the spatio-temporal characteristics of the scenario\u27s barriers