Study of cardiovascular function using a coupled left ventricle and systemic circulation model

To gain insight into cardio-arterial interactions, a coupled left ventricle-systemic artery (LV–SA) model is developed that incorporates a three-dimensional finite-strain left ventricle (LV), and a physiologically-based one-dimensional model for the systemic arteries (SA). The coupling of the LV model and the SA model is achieved by matching the pressure and the flow rate at the aortic root, i.e. the SA model feeds back the pressure as a boundary condition to the LV model, and the aortic flow rate from the LV model is used as the input for the SA model. The governing equations of the coupled system are solved using a combined immersed-boundary finite-element (IB/FE) method and a Lax–Wendroff scheme. A baseline case using physiological measurements of healthy subjects, and four exemplar cases based on different physiological and pathological scenarios are studied using the LV–SA model. The results of the baseline case agree well with published experimental data. The four exemplar cases predict varied pathological responses of the cardiovascular system, which are also supported by clinical observations. The new model can be used to gain insight into cardio-arterial interactions across a range of clinical applications

Smoothing a program soundly and robustly

We study the foundations of smooth interpretation, a recently-proposed program approximation scheme that facilitates the use of local numerical search techniques (e.g., gradient descent) in program analysis and synthesis. While the popular techniques for local optimization works well only on relatively smooth functions, functions encoded by real-world programs are infested with discontinuities and local irregular features. Smooth interpretation attenuates such features by taking the convolution of the program with a Gaussian function, effectively replacing discontinuous switches in the program by continuous transitions. In doing so, it extends to programs the notion of Gaussian smoothing, a popular signal-processing technique used to filter noise and discontinuities from signals. Exact Gaussian smoothing of programs is undecidable, so algorithmic implementations of smooth interpretation must necessarily be approximate. In this paper, we characterize the approximations carried out by such algorithms. First, we identify three correctness properties—soundness, robustness, and β-robustness—that an approximate smooth interpreter should satisfy. In particular, a smooth interpreter is sound if it computes an abstraction of a program’s “smoothed” semantics, and robust if it has arbitrary-order derivatives in the input variables at every point in its input space. Second, we describe the design of an approximate smooth interpreter that provably satisfies these properties. The interpreter combines program abstraction using a new domain with symbolic calculation of convolution.National Science Foundation (U.S.) (Grant CCF-0953507)Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laborator

Wind turbine SCADA alarm pattern recognition

Current wind turbine (WT) studies focus on improving their reliability and reducing the cost of energy, particularly when they are operated offshore. WT Supervisory Control and Data Acquisition (SCADA) systems contain alarm signals providing significant important information. Pattern recognition embodies a set of promising techniques for intelligently processing WT SCADA alarms. This paper presents the feasibility study of SCADA alarm processing and diagnosis method using an artificial neural network (ANN). The back-propagation network (BPN) algorithm was used to supervise a three layers network to identify a WT pitch system fault, known to be of high importance, from pitch system alarm. The trained ANN was then applied on another 4 WTs to find similar pitch system faults. Based on this study, we have found the general mapping capability of the ANN help to identify those most likely WT faults from SCADA alarm signals, but a wide range of representative alarm patterns are necessary for supervisory training

Bayesian Network for Wind Turbine Fault Diagnosis

Wind turbine reliability studies have become more important because good wind turbine reliability with predictable turbine maintenance schedule will reduce the cost of energy and determine the success of a wind farm project. Previous research on wind turbine SCADA system has made progress in this respect. However, SCADA data volume is usually too huge and alarm information is too unclear to indicate failure root causes. In addition, SCADA signals and alarms are not currently interpreted as a whole. This highlights the need for more intelligent methods which can use existing SCADA data to automatically provide accurate WT failure diagnosis. This paper presents a new approach, based on Bayesian Network, to describe the relationship between wind turbine failure root causes and symptoms. The Bayesian Network model was derived from an existing probability-based analysis method – the Venn diagram, and based upon 26 months of historical SCADA data. The Bayesian Network reasoning results have shown that the Bayesian Network is a valuable tool for WT fault diagnosis and has great potential to rationalise failure root causes

Gene expression time delays & Turing pattern formation systems

The incorporation of time delays can greatly affect the behaviour of partial differential equations and dynamical systems. In addition, there is evidence that time delays in gene expression due to transcription and translation play an important role in the dynamics of cellular systems. In this paper, we investigate the effects of incorporating gene expression time delays into a one-dimensional putative reaction diffusion pattern formation mechanism on both stationary domains and domains with spatially uniform exponential growth. While oscillatory behaviour is rare, we find that the time taken to initiate and stabilise patterns increases dramatically as the time delay is increased. In addition, we observe that on rapidly growing domains the time delay can induce a failure of the Turing instability which cannot be predicted by a naive linear analysis of the underlying equations about the homogeneous steady state. The dramatic lag in the induction of patterning, or even its complete absence on occasions, highlights the importance of considering explicit gene expression time delays in models for cellular reaction diffusion patterning

Application of semidefinite programming to maximize the spectral gap produced by node removal

The smallest positive eigenvalue of the Laplacian of a network is called the spectral gap and characterizes various dynamics on networks. We propose mathematical programming methods to maximize the spectral gap of a given network by removing a fixed number of nodes. We formulate relaxed versions of the original problem using semidefinite programming and apply them to example networks.Comment: 1 figure. Short paper presented in CompleNet, Berlin, March 13-15 (2013

Spin 3/2 Pentaquarks

We investigate the possible existence of the spin 3/2 pentaquark states using interpolating currents with K-N color-octet structure in the framework of QCD finite energy sum rule (FESR). We pay special attention to the convergence of the operator product expansion

A detailed study of giant pulses from PSR B1937-1-21 using the Large European Array for Pulsars

Contains fulltext : 202558.pdf (Publisher’s version ) (Open Access

A Hybrid Monte Carlo Method for Surface Growth Simulations

We introduce an algorithm for treating growth on surfaces which combines important features of continuum methods (such as the level-set method) and Kinetic Monte Carlo (KMC) simulations. We treat the motion of adatoms in continuum theory, but attach them to islands one atom at a time. The technique is borrowed from the Dielectric Breakdown Model. Our method allows us to give a realistic account of fluctuations in island shape, which is lacking in deterministic continuum treatments and which is an important physical effect. Our method should be most important for problems close to equilibrium where KMC becomes impractically slow.Comment: 4 pages, 5 figure