MPI parallel programming of mixed integer optimization problems using CPLEX with COIN-OR

The aim of this technical report is to present some detailed explanations in order to help to understand and use the Message Passing Interface (MPI) parallel programming for solving several mixed integer optimization problems. We have developed a C++ experimental code that uses the IBM ILOG CPLEX optimizer within the COmputational INfrastructure for Operations Research (COIN-OR) and MPI parallel computing for solving the optimization models under UNIX-like systems. The computational experience illustrates how can we solve 44 optimization problems which are asymmetric with respect to the number of integer and continuous variables and the number of constraints. We also report a comparative with the speedup and efficiency of several strategies implemented for some available number of threads.

Technologies for Measuring Currents in Coastal Environments, Portland, Maine, October 26-28, 2005:workshop proceedings

The Alliance for Coastal Technologies (ACT) Workshop entitled "Technologies for Measuring Currents in Coastal Environments" was held in Portland, Maine, October 26-28, 2005, with sponsorship by the Gulf of Maine Ocean Observing System (GoMOOS), an ACT partner organization. The primary goals of the event were to summarize recent trends in nearshore research and management applications for current meter technologies, identify how current meters can assist coastal managers to fulfill their regulatory and management objectives, and to recommend actions to overcome barriers to use of the technologies. The workshop was attended by 25 participants representing state and federal environmental management agencies, manufacturers of current meter technologies, and researchers from academic institutions and private industry. Common themes that were discussed during the workshop included 1) advantages and limitations of existing current measuring equipment, 2) reliability and ease of use with each instrument type, 3) data decoding and interpretation procedures, and 4) mechanisms to facilitate better training and guidance to a broad user group. Seven key recommendations, which were ranked in order of importance during the last day of the workshop are listed below. 1. Forums should be developed to facilitate the exchange of information among users and industry: a) On-line forums that not only provide information on specific instruments and technologies, but also provide an avenue for the exchange of user experiences with various instruments (i.e. problems encountered, cautions, tips, advantages, etc). (see References for manufacturer websites with links to application and technical forums at end of report) b) Regional training/meetings for operational managers to exchange ideas on methods for measuring currents and evaluating data. c) Organize mini-meetings or tutorial sessions within larger conference venues. 2. A committee of major stakeholders should be convened to develop common standards (similar to the Institute of Electrical and Electronics Engineers (IEEE) committee) that enable users to switch sensors without losing software or display capabilities. (pdf contains 28 pages)

Resource management of dynamic coastal environments using synoptic measures from remote sensing

In addition to providing vital ecological services, coastal areas of North Carolina provide prized areas for habitation, recreation, and commercial fisheries. However, from a management perspective, the coasts of North Carolina are highly variable and complex. In-water constituents such as nutrients, suspended sediments, and chlorophyll a concentration can vary significantly over a broad spectrum of time and space scales. Rapid growth and land-use change continue to exert pressure on coastal lands. Coastal environments are also very vulnerable to short-term (e.g., hurricanes) and long-term (e.g., sea-level rise) natural changes that can result in significant loss of life, economic loss, or changes in coastal ecosystem functioning. Hence, the dynamic nature, effects of human-induced change over time, and vulnerability of coastal areas make it difficult to effectively monitor and manage these important state and national resources using traditional data collection technologies such as discrete monitoring stations and field surveys. In general, these approaches provide only a sparse network of data over limited time and space scales and generally are expensive and labor-intensive. Products derived from spectral images obtained by remote sensing instruments provide a unique vantage point from which to examine the dynamic nature of coastal environments. A primary advantage of remote sensing is that the altitude of observation provides a large-scale synoptic view relative to traditional field measurements. Equally important, the use of remote sensing for a broad range of research and environmental applications is now common due to major advances in data availability, data transfer, and computer technologies. To facilitate the widespread use of remote sensing products in North Carolina, the UNC Coastal Studies Institute (UNC-CSI) is developing the capability to acquire, process, and analyze remotely sensed data from several remote sensing instruments. In particular, UNC-CSI is developing regional remote sensing algorithms to examine the mobilization, transport, transformation, and fate of materials between coupled terrestrial and coastal ocean systems. To illustrate this work, we present the basic principles of remote sensing of coastal waters in the context of deriving information that supports efficient and effective management of coastal resources. (PDF contains 4 pages)

Watershed monitoring and the TMDL modeling to assess bacterial loading in estuarine environments to improve management

Shellfish bed closures along the North Carolina coast have increased over the years seemingly concurrent with increases in population (Mallin 2000). More and faster flowing storm water has come to mean more bacteria, and fecal indicator bacterial (FIB) standards for shellfish harvesting are often exceeded when no source of contamination is readily apparent (Kator and Rhodes, 1994). Could management reduce bacterial loads if the source of the bacteria where known? Several potentially useful methods for differentiating human versus animal pollution sources have emerged including Ribotyping and Multiple Antibiotic Resistance (MAR) (US EPA, 2005). Total Maximum Daily Load (TMDL) studies on bacterial sources have been conducted for streams in NC mountain and Piedmont areas (U.S. EPA, 1991 and 2005) and are likely to be mandated for coastal waters. TMDL analysis estimates allowable pollutant loads and allocates them to known sources so management actions may be taken to restore water to its intended uses (U.S. EPA, 1991 and 2005). This project sought first to quantify and compare fecal contamination levels for three different types of land use on the coast, and second, to apply MAR and ribotyping techniques and assess their effectiveness for indentifying bacterial sources. Third, results from these studies would be applied to one watershed to develop a case study coastal TMDL. All three watershed study areas are within Carteret County, North Carolina. Jumping Run Creek and Pettiford Creek are within the White Oak River Basin management unit whereas the South River falls within the Neuse River Basin. Jumping Run Creek watershed encompasses approximately 320 ha. Its watershed was a dense, coastal pocosin on sandy, relic dune ridges, but current land uses are primarily medium density residential. Pettiford Creek is in the Croatan National Forest, is 1133 ha. and is basically undeveloped. The third study area is on Open Grounds Farm in the South River watershed. Half of the 630 ha. watershed is under cultivation with most under active water control (flashboard risers). The remaining portion is forested silviculture.(PDF contains 4 pages)

Beyond Watson and Crick : programming the self-assembly and reconfiguration of DNA nanostructures based on stacking interactions

Life is the result of the execution of molecular programs: like how an embryo is fated to become a human or a whale, or how a person’s appearance is inherited from their parents, many biological phenomena are governed by genetic programs written in DNA molecules. At the core of such programs is the highly reliable base pairing interaction between nucleic acids. DNA nanotechnology exploits the programming power of DNA to build artificial nanostructures, molecular computers, and nanomachines. In particular, DNA origami—which is a simple yet versatile technique that allows one to create various nanoscale shapes and patterns—is at the heart of the technology. In this thesis, I describe the development of programmable self-assembly and reconfiguration of DNA origami nanostructures based on a unique strategy: rather than relying on Watson-Crick base pairing, we developed programmable bonds via the geometric arrangement of stacking interactions, which we termed stacking bonds. We further demonstrated that such bonds can be dynamically reconfigurable.

The first part of this thesis describes the design and implementation of stacking bonds. Our work addresses the fundamental question of whether one can create diverse bond types out of a single kind of attractive interaction—a question first posed implicitly by Francis Crick while seeking a deeper understanding of the origin of life and primitive genetic code. For the creation of multiple specific bonds, we used two different approaches: binary coding and shape coding of geometric arrangement of stacking interaction units, which are called blunt ends. To construct a bond space for each approach, we performed a systematic search using a computer algorithm. We used orthogonal bonds to experimentally implement the connection of five distinct DNA origami nanostructures. We also programmed the bonds to control cis/trans configuration between asymmetric nanostructures.

The second part of this thesis describes the large-scale self-assembly of DNA origami into two-dimensional checkerboard-pattern crystals via surface diffusion. We developed a protocol where the diffusion of DNA origami occurs on a substrate and is dynamically controlled by changing the cationic condition of the system. We used stacking interactions to mediate connections between the origami, because of their potential for reconfiguring during the assembly process. Assembling DNA nanostructures directly on substrate surfaces can benefit nano/microfabrication processes by eliminating a pattern transfer step. At the same time, the use of DNA origami allows high complexity and unique addressability with six-nanometer resolution within each structural unit.

The third part of this thesis describes the use of stacking bonds as dynamically breakable bonds. To break the bonds, we used biological machinery called the ParMRC system extracted from bacteria. The system ensures that, when a cell divides, each daughter cell gets one copy of the cell’s DNA by actively pushing each copy to the opposite poles of the cell. We demonstrate dynamically expandable nanostructures, which makes stacking bonds a promising candidate for reconfigurable connectors for nanoscale machine parts.

Control of dynamical systems with temporal logic specifications

This thesis is motivated by safety-critical applications involving autonomous air, ground, and space vehicles carrying out complex tasks in uncertain and adversarial environments. We use temporal logic as a language to formally specify complex tasks and system properties. Temporal logic specifications generalize the classical notions of stability and reachability that are studied in the control and hybrid systems communities. Given a system model and a formal task specification, the goal is to automatically synthesize a control policy for the system that ensures that the system satisfies the specification. This thesis presents novel control policy synthesis algorithms for optimal and robust control of dynamical systems with temporal logic specifications. Furthermore, it introduces algorithms that are efficient and extend to high-dimensional dynamical systems.

The first contribution of this thesis is the generalization of a classical linear temporal logic (LTL) control synthesis approach to optimal and robust control. We show how we can extend automata-based synthesis techniques for discrete abstractions of dynamical systems to create optimal and robust controllers that are guaranteed to satisfy an LTL specification. Such optimal and robust controllers can be computed at little extra computational cost compared to computing a feasible controller.

The second contribution of this thesis addresses the scalability of control synthesis with LTL specifications. A major limitation of the standard automaton-based approach for control with LTL specifications is that the automaton might be doubly-exponential in the size of the LTL specification. We introduce a fragment of LTL for which one can compute feasible control policies in time polynomial in the size of the system and specification. Additionally, we show how to compute optimal control policies for a variety of cost functions, and identify interesting cases when this can be done in polynomial time. These techniques are particularly relevant for online control, as one can guarantee that a feasible solution can be found quickly, and then iteratively improve on the quality as time permits.

The final contribution of this thesis is a set of algorithms for computing feasible trajectories for high-dimensional, nonlinear systems with LTL specifications. These algorithms avoid a potentially computationally-expensive process of computing a discrete abstraction, and instead compute directly on the system's continuous state space. The first method uses an automaton representing the specification to directly encode a series of constrained-reachability subproblems, which can be solved in a modular fashion by using standard techniques. The second method encodes an LTL formula as mixed-integer linear programming constraints on the dynamical system. We demonstrate these approaches with numerical experiments on temporal logic motion planning problems with high-dimensional (10+ states) continuous systems.