A General Analysis of the Convergence of ADMM

We provide a new proof of the linear convergence of the alternating direction method of multipliers (ADMM) when one of the objective terms is strongly convex. Our proof is based on a framework for analyzing optimization algorithms introduced in Lessard et al. (2014), reducing algorithm convergence to verifying the stability of a dynamical system. This approach generalizes a number of existing results and obviates any assumptions about specific choices of algorithm parameters. On a numerical example, we demonstrate that minimizing the derived bound on the convergence rate provides a practical approach to selecting algorithm parameters for particular ADMM instances. We complement our upper bound by constructing a nearly-matching lower bound on the worst-case rate of convergence.Comment: 10 pages, 6 figure

Diagnostics of Data-Driven Models: Uncertainty Quantification of PM7 Semi-Empirical Quantum Chemical Method.

We report an evaluation of a semi-empirical quantum chemical method PM7 from the perspective of uncertainty quantification. Specifically, we apply Bound-to-Bound Data Collaboration, an uncertainty quantification framework, to characterize (a) variability of PM7 model parameter values consistent with the uncertainty in the training data and (b) uncertainty propagation from the training data to the model predictions. Experimental heats of formation of a homologous series of linear alkanes are used as the property of interest. The training data are chemically accurate, i.e., they have very low uncertainty by the standards of computational chemistry. The analysis does not find evidence of PM7 consistency with the entire data set considered as no single set of parameter values is found that captures the experimental uncertainties of all training data. A set of parameter values for PM7 was able to capture the training data within ±1 kcal/mol, but not to the smaller level of uncertainty in the reported data. Nevertheless, PM7 was found to be consistent for subsets of the training data. In such cases, uncertainty propagation from the chemically accurate training data to the predicted values preserves error within bounds of chemical accuracy if predictions are made for the molecules of comparable size. Otherwise, the error grows linearly with the relative size of the molecules

Electrochemical standardization of the dehydrogenase assay used in the estimation of respiration rates

A primary coulometric titration is proposed as a standardization technique for the succinate dehydrogenase assay used in the estimation of respiration rates in marine plankton. The coulometric method, which is shown to be simple, accurate, and reproducible, eliminates the difficulties of using a chemical reducing agent. An alternative method using polarography is also discussed

Designing for Maintainability and System Availability

The final goal for a delivered system (whether a car, aircraft, avionics box or computer) should be its availability to operate and perform its intended function over its expected design life. Hence, in designing a system, we cannot think in terms of delivering the system and just walking away. The system supplier needs to provide support throughout the operating life of the product. Here, supportability requires an effective combination of reliability, maintainability, logistics and operations engineering (as well as safety engineering) to have a system that is available for its intended use throughout its designated mission lifetime. Maintainability is a key driving element in the effective support and upkeep of the system as well as providing the ability to modify and upgrade the system throughout its lifetime. This paper then, will concentrate on maintainability and its integration into the system engineering and design process. The topics to be covered include elements of maintainability, the total cost of ownership, how system availability, maintenance and logistics costs and spare parts cost effect the overall program costs. System analysis and maintainability will show how maintainability fits into the overall systems approach to project development. Maintainability processes and documents will focus on how maintainability is to be performed and what documents are typically generated for a large scale program. Maintainability analysis shows how trade-offs can be performed for various alternative components. The conclusions summarize the paper and are followed by specific problems for hands-on training

The European neutrals in World War II

The thesis begins with a short section on the nature of neutrality in Europe in the 1930s, and briefly introduces the political circumstances of the six nations that remained neutral throughout the war. The primary subject of the paper deals with the relationship between the belligerents and the neutral states, especially the extent to which military strength and preparedness was responsible for the latter maintaining their neutrality

Software Design Improvements

Computer hardware and associated software have been used for many years to process accounting information, to analyze test data and to perform engineering analysis. Now computers and software also control everything from automobiles to washing machines and the number and type of applications are growing at an exponential rate. The size of individual program has shown similar growth. Furthermore, software and hardware are used to monitor and/or control potentially dangerous products and safety-critical systems. These uses include everything from airplanes and braking systems to medical devices and nuclear plants. The question is: how can this hardware and software be made more reliable? Also, how can software quality be improved? What methodology needs to be provided on large and small software products to improve the design and how can software be verified

Unmanned Multiple Exploratory Probe System (MEPS) for Mars observation. Volume 2: Calculations and derivations

This volume of the final report on the unmanned Multiple Exploratory Probe System (MEPS) details all calculations, derivations, and computer programs that support the information presented in the first volume

Unmanned Multiple Exploratory Probe System (MEPS) for Mars observation. Volume 1: Trade analysis and design

This report presents the unmanned Multiple Exploratory Probe Systems (MEPS), a space vehicle designed to observe the planet Mars in preparation for manned missions. The options considered for each major element are presented as a trade analysis, and the final vehicle design is defined