Scaling the Indian Buffet Process via Submodular Maximization

Inference for latent feature models is inherently difficult as the inference space grows exponentially with the size of the input data and number of latent features. In this work, we use Kurihara & Welling (2008)'s maximization-expectation framework to perform approximate MAP inference for linear-Gaussian latent feature models with an Indian Buffet Process (IBP) prior. This formulation yields a submodular function of the features that corresponds to a lower bound on the model evidence. By adding a constant to this function, we obtain a nonnegative submodular function that can be maximized via a greedy algorithm that obtains at least a one-third approximation to the optimal solution. Our inference method scales linearly with the size of the input data, and we show the efficacy of our method on the largest datasets currently analyzed using an IBP model.

Explicitly coupled thermal flow mechanical formulation for gas-hydrate sediments

This paper presents an explicit time-marching formulation for the solution of the coupled thermal flow mechanical behavior of gas- hydrate sediment. The formulation considers the soil skeleton as a deformable elastoplastic continuum, with an emphasis on the effect of hydrate (and its dissociation) on the stress-strain behavior of the soil. In the formulation, the hydrate is assumed to deform with the soil and may dissociate into gas and water. The formulation is explicitly coupled, such that the changes in temperature because of energy How and hydrate dissociation affect the skeleton stresses and fluid (water and gas) pressures. This, in return, affects the mechanical behavior. A simulation of a vertical well within a layered soil is presented. It is shown that the heterogeneity of hydrate saturation causes different rates of dissociation in the layers. The difference alters the overall gas production and also the mechanical-deformation pattern, which leads to loading/ unloading shearing along the interfaces between the layers. Copyright © 2013 Society of Petorlleum Engineers.

Time-optimal control of a 3-level quantum system and its generalization to an n-level system

We solve the problem of steering a three-level quantum system from one eigen-state to another in minimum time and study its possible extension to the time-optimal control problem for a general n-level quantum system. For the three-level system we find all optimal controls by finding two types of symmetry in the problem: ℤ2 × S3 discrete symmetry and S1 continuous symmetry, and exploiting them to solve the problem through discrete reduction and symplectic reduction. We then study the geometry, in the same framework, which occurs in the time-optimal control of a general n-level quantum system. © 2007 IEEE.

Time-optimal control of a 3-level quantum system and its generalization

We solve the problem of steering a three-level quantum system from one eigen-state to another in minimum time and study its possible extension to the time-optimal control problem for a general n-level quantum system. For the three-level system we find all optimal controls by finding two types of symmetry in the problems: ℤ × S3 discrete symmetry and 51 continuous symmetry, and exploiting them to solve the problem through discrete reduction and symplectic reduction. We then study the geometry, in the same framework, which occurs in the time-optimal control of a general n-level quantum system. Copyright ©2007 Watam Press.

Thermodynamic formulation of flowing soft matter with transient forces

The Responsive Particle Dynamics model is a very efficient method to account for the transient forces present in complex fluids, such as solutions of entangled polymers. This coarse-grained model considers a solution of particles that are made of a core and a corona. The cores typically interact through conservative interactions, while the coronae transiently penetrate each other to form short-lived temporary interactions, typically of entropic origin. In this study, we reformulate the resulting rheological model within the general framework of nonequilibrium thermodynamics called General Equation for the Nonequilibrium Reversible-Irreversible Coupling. This allows us to determine the consistency of the model, from a mechanistic and thermodynamic point of view, and to isolate the reversible and irreversible contributions to the dynamics of the model system. © 2012 Springer-Verlag Berlin Heidelberg.

Minimum maneuver time calculation using convex optimization

The problem of calculating the minimum lap or maneuver time of a nonlinear vehicle, which is linearized at each time step, is formulated as a convex optimization problem. The formulation provides an alternative to previously used quasi-steady-state analysis or nonlinear optimization. Key steps are: the use of model predictive control; expressing the minimum time problem as one of maximizing distance traveled along the track centerline; and linearizing the track and vehicle trajectories by expressing them as small displacements from a fixed reference. A consequence of linearizing the vehicle dynamics is that nonoptimal steering control action can be generated, but attention to the constraints and the cost function minimizes the effect. Optimal control actions and vehicle responses for a 90 deg bend are presented and compared to the nonconvex nonlinear programming solution. Copyright © 2013 by ASME.

Model based control for closed loop testing of 1-D engine simulation models

1-D engine simulation models are widely used for the analysis and verification of air-path design concepts and prediction of the resulting engine transient response. The latter often requires closed loop control over the model to ensure operation within physical limits and tracking of reference signals. For this purpose, a particular implementation of Model Predictive Control (MPC) based on a corresponding Mean Value Engine Model (MVEM) is reported here. The MVEM is linearised on-line at each operating point to allow for the formulation of quadratic programming (QP) problems, which are solved as the part of the proposed MPC algorithm. The MPC output is used to control a 1-D engine model. The closed loop performance of such a system is benchmarked against the solution of a related optimal control problem (OCP). As an example this study is focused on the transient response of a light-duty car Diesel engine. For the cases examined the proposed controller implementation gives a more systematic procedure than other ad-hoc approaches that require considerable tuning effort. © 2012 IFAC.

Design and formulation of functional pluripotent stem cell-derived cardiac microtissues.

Access to robust and information-rich human cardiac tissue models would accelerate drug-based strategies for treating heart disease. Despite significant effort, the generation of high-fidelity adult-like human cardiac tissue analogs remains challenging. We used computational modeling of tissue contraction and assembly mechanics in conjunction with microfabricated constraints to guide the design of aligned and functional 3D human pluripotent stem cell (hPSC)-derived cardiac microtissues that we term cardiac microwires (CMWs). Miniaturization of the platform circumvented the need for tissue vascularization and enabled higher-throughput image-based analysis of CMW drug responsiveness. CMW tissue properties could be tuned using electromechanical stimuli and cell composition. Specifically, controlling self-assembly of 3D tissues in aligned collagen, and pacing with point stimulation electrodes, were found to promote cardiac maturation-associated gene expression and in vivo-like electrical signal propagation. Furthermore, screening a range of hPSC-derived cardiac cell ratios identified that 75% NKX2 Homeobox 5 (NKX2-5)+ cardiomyocytes and 25% Cluster of Differentiation 90 OR (CD90)+ nonmyocytes optimized tissue remodeling dynamics and yielded enhanced structural and functional properties. Finally, we demonstrate the utility of the optimized platform in a tachycardic model of arrhythmogenesis, an aspect of cardiac electrophysiology not previously recapitulated in 3D in vitro hPSC-derived cardiac microtissue models. The design criteria identified with our CMW platform should accelerate the development of predictive in vitro assays of human heart tissue function.

Effects of damming on population sustainability of Chinese sturgeon, Acipenser sinensis: evaluation of optimal conservation measures

The numbers of spawning sites for Chinese sturgeon have been drastically reduced since the construction of the Gezhouba Dam across the Yangtze River. This dam has blocked migration of Chinese sturgeon to their historic spawning ground causing a significant decline of the Chinese sturgeon population. We conducted a VORTEX population viability analysis to estimate the sustainability of the population and to quantify the efficiency of current and alternative conservation procedures. The model predicted the observed decline of Chinese sturgeon, resulting from the effect of the Gezhouba Dam. These simulations demonstrated the potential interest of two conservation measures: increasing spawning area and reducing predation on sturgeon eggs. The simulations also demonstrated that the actual restocking program is not sufficient to sustain sturgeon population as the artificial reproduction program induce the loss of more wild mature adults that the recruitment expected by the artificial reproduction.

Optimal displacement mechanisms beneath shallow foundations on linear-elastic perfectly plastic soil

An energy method for a linear-elastic perfectly plastic method utilising the von Mises yield criterion with associated flow developed in 2013 by McMahon and co-workers is used to compare the ellipsoidal cavity-expansion mechanism, from the same work, and the displacement fields of other research by Levin, in 1995, and Osman and Bolton, in 2005, which utilise the Hill and Prandtl mechanisms respectively. The energy method was also used with a mechanism produced by performing a linear-elastic finite-element analysis in Abaqus. At small values of settlement and soil rigidity the elastic mechanism provides the lowest upper-bound solution, and matches well with finite-element analysis results published in the literature. At typical footing working loads and settlements the cavity-expansion mechanism produces a more optimal solution than the displacement fields within the Hill and Prandtl mechanisms, and also matches well with the published finite-element analysis results in this range. Beyond these loads, at greater footing settlements, or soil rigidity, the Prandtl mechanism is shown to be the most appropriate.