Wave propagation in a micropolar fluid contained in a visco-elastic membrane

The aim of the paper is to investigate the propagation of a pulse in a micropolar fluid contained in a visco-elastic membrane. It was undertaken with a view to study how closely we can approximate the flow of blood in arteries by the above model. We find that for large Reynolds number, the effect of micropolarity is hardly perceptible, whereas for small Reynolds numbers it is of considerable importance.

Framework for enabling highly available distributed applications for utility computing

The move towards IT outsourcing is the first step towards an environment where compute infrastructure is treated as a service. In utility computing this IT service has to honor Service Level Agreements (SLA) in order to meet the desired Quality of Service (QoS) guarantees. Such an environment requires reliable services in order to maximize the utilization of the resources and to decrease the Total Cost of Ownership (TCO). Such reliability cannot come at the cost of resource duplication, since it increases the TCO of the data center and hence the cost per compute unit. We, in this paper, look into aspects of projecting impact of hardware failures on the SLAs and techniques required to take proactive recovery steps in case of a predicted failure. By maintaining health vectors of all hardware and system resources, we predict the failure probability of resources based on observed hardware errors/failure events, at runtime. This inturn influences an availability aware middleware to take proactive action (even before the application is affected in case the system and the application have low recoverability). The proposed framework has been prototyped on a system running HP-UX. Our offline analysis of the prediction system on hardware error logs indicate no more than 10% false positives. This work to the best of our knowledge is the first of its kind to perform an end-to-end analysis of the impact of a hardware fault on application SLAs, in a live system.

Computing complete test graphs for hierarchical systems

Conformance testing focuses on checking whether an implementation. under test (IUT) behaves according to its specification. Typically, testers are interested it? performing targeted tests that exercise certain features of the IUT This intention is formalized as a test purpose. The tester needs a "strategy" to reach the goal specified by the test purpose. Also, for a particular test case, the strategy should tell the tester whether the IUT has passed, failed. or deviated front the test purpose. In [8] Jeron and Morel show how to compute, for a given finite state machine specification and a test purpose automaton, a complete test graph (CTG) which represents all test strategies. In this paper; we consider the case when the specification is a hierarchical state machine and show how to compute a hierarchical CTG which preserves the hierarchical structure of the specification. We also propose an algorithm for an online test oracle which avoids a space overhead associated with the CTG.

New computational approaches for wrinkled and slack membranes

The static response of thin, wrinkled membranes is studied using both a tension field approximation based on plane stress conditions and a 3D nonlinear elasticityformulation, discretized through 8-noded Cosserat point elements. While the tension field approach only obtains the wrinkled/slack regions and at best a measure of the extent of wrinkliness, the 3D elasticity solution provides, in principle, the deformed shape of a wrinkled/slack membrane. However, since membranes barely resist compression, the discretized and linearized system equations via both the approaches are ill-conditioned and solutions could thus be sensitive to discretizations errors as well as other sources of noises/imperfections. We propose a regularized, pseudo-dynamical recursion scheme that provides a sequence of updates, which are almost insensitive to theregularizing term as well as the time step size used for integrating the pseudo-dynamical form. This is borne out through several numerical examples wherein the relative performance of the proposed recursion scheme vis-a-vis a regularized Newton strategy is compared. The pseudo-time marching strategy, when implemented using 3D Cosserat point elements, also provides a computationally cheaper, numerically accurate and simpler alternative to that using geometrically exact shell theories for computing large deformations of membranes in the presence of wrinkles. (C) 2010 Elsevier Ltd. All rights reserved.

Specification-driven approach for protocol design of distributed computing systems

An important issue in the design of a distributed computing system (DCS) is the development of a suitable protocol. This paper presents an effort to systematize the protocol design procedure for a DCS. Protocol design and development can be divided into six phases: specification of the DCS, specification of protocol requirements, protocol design, specification and validation of the designed protocol, performance evaluation, and hardware/software implementation. This paper describes techniques for the second and third phases, while the first phase has been considered by the authors in their earlier work. Matrix and set theoretic based approaches are used for specification of a DCS and for specification of the protocol requirements. These two formal specification techniques form the basis of the development of a simple and straightforward procedure for the design of the protocol. The applicability of the above design procedure has been illustrated by considering an example of a computing system encountered on board a spacecraft. A Petri-net based approach has been adopted to model the protocol. The methodology developed in this paper can be used in other DCS applications.

Frequency-Dependent Viscosity of Membrane Solutions

It is shown that dilute suspensions of membranes have strongly frequency-dependent viscosities. This behaviour should be seen in a variety of measurements such as capillary flow, mechanical impedance and ultrasound damping.

Gas turbine diagnostics using a soft computing approach

A fuzzy system is developed using a linearized performance model of the gas turbine engine for performing gas turbine fault isolation from noisy measurements. By using a priori information about measurement uncertainties and through design variable linking, the design of the fuzzy system is posed as an optimization problem with low number of design variables which can be solved using the genetic algorithm in considerably low amount of computer time. The faults modeled are module faults in five modules: fan, low pressure compressor, high pressure compressor, high pressure turbine and low pressure turbine. The measurements used are deviations in exhaust gas temperature, low rotor speed, high rotor speed and fuel flow from a base line 'good engine'. The genetic fuzzy system (GFS) allows rapid development of the rule base if the fault signatures and measurement uncertainties change which happens for different engines and airlines. In addition, the genetic fuzzy system reduces the human effort needed in the trial and error process used to design the fuzzy system and makes the development of such a system easier and faster. A radial basis function neural network (RBFNN) is also used to preprocess the measurements before fault isolation. The RBFNN shows significant noise reduction and when combined with the GFS leads to a diagnostic system that is highly robust to the presence of noise in data. Showing the advantage of using a soft computing approach for gas turbine diagnostics.

Computing a matrix symmetrizer exactly using modified multiple modulus residue arithmetic

A symmetric solution X satisfying the matrix equation XA = AtX is called a symmetrizer of the matrix A. A general algorithm to compute a matrix symmetrizer is obtained. A new multiple-modulus residue arithmetic called floating-point modular arithmetic is described and implemented on the algorithm to compute an error-free matrix symmetrizer.

PVA-SSA-HPA Mixed-Matrix-Membrane Electrolytes for DMFCs

Stabilized forms of heteropolyacids (HPAs), namely phosphomolybdic acid (PMA), phosphotungstic acid (PTA), and silicotungstic acid (STA), are incorporated into poly (vinyl alcohol) (PVA) cross-linked with sulfosuccinic acid (SSA) to form mixed-matrix membranes for application in direct methanol fuel cells (DMFCs). Bridging SSA between PVA molecules not only strengthens the network but also facilitates proton conduction in HPAs. The mixed-matrix membranes are characterized for their mechanical stability, sorption capability, ion-exchange capacity, and wetting in conjunction with their proton conductivity, methanol permeability, and DMFC performance. Methanol-release kinetics is studied ex situ by volume-localized NMR spectroscopy (employing point-resolved spectroscopy'') with the results clearly demonstrating that the incorporation of certain inorganic fillers in PVA-SSA viz., STA and PTA, retards the methanol-release kinetics under osmotic drag compared to Nafion, although PVA-SSA itself exhibits a still lower methanol permeability. The methanol crossover rate for PVA-SSA-HPA-bridged-mixed-matrix membranes decreases dramatically with increasing current density rendering higher DMFC performance in relation to a DMFC using a pristine PVA-SSA membrane. A peak power density of 150 mW/cm(2) at a load current density of 500 mA/cm(2) is achieved for the DMFC using a PVA-SSA-STA-bridged-mixed-matrix-membrane electrolyte. (C) 2010 The Electrochemical Society. [DOI: 10.1149/1.3465653] All rights reserved.

On the admittance of lipid bilayer membranes: Part I. Membrane-permeable ions

The modular formalism of Rangarajan [J. Electroanal. Chem., 55 (1974) 297] has been applied to the admittance of lipid bilayer membranes. The method leads to equations which clearly show the interrelations between the various partial processes involved in ion transport, and which allow examination of model assumptions without the need for a complete rederivation of the membrane admittance. Explicit expressions are given for both the continuum and single jump models. The former includes the ionic displacement component, important mostly at high frequencies.

On the admittance of lipid bilayer membranes: Part I. Membrane-permeable ions

The modular formalism of Rangarajan [J. Electroanal. Chem., 55 (1974) 297] has been applied to the admittance of lipid bilayer membranes. The method leads to equations which clearly show the interrelations between the various partial processes involved in ion transport, and which allow examination of model assumptions without the need for a complete rederivation of the membrane admittance. Explicit expressions are given for both the continuum and single jump models. The former includes the ionic displacement component, important mostly at high frequencies.

On computing an equivalent symmetric matrix for a nonsymmetric matrix

A real or a complex symmetric matrix is defined here as an equivalent symmetric matrix for a real nonsymmetric matrix if both have the same eigenvalues. An equivalent symmetric matrix is useful in computing the eigenvalues of a real nonsymmetric matrix. A procedure to compute equivalent symmetric matrices and its mathematical foundation are presented.

Stabilization of the bio-membrane by small molecules: interaction of trehalose with the phospholipid bilayer

Anhydrobiotic organisms undergo periods of acute dehydration during their life cycle. It is of interest to understand how the biomembrane remains intact through such stress. A disaccharide, trehalose, which is metabolised during anhydrobiosis is found to prevent disruption of model membrane systems. Molecular modelling techniques are used to investigate the possible mode of interaction of trehalose with a model monolayer. The objective is to maximise hydrogen bonding between the two systems. A phospholipid matrix consisting of 1,2-dimyristoyl-sn-glycero-3-phosphatidylcholine (DMPC) is chosen to represent the monolayer. The crystal structure of DMPC reveals that there are two distinct conformers designated as A and B. An expansion of the monolayer, coplanar with its surface, results in the trehalose molecule being accommodated in a pocket formed by four B conformers. One glucose ring of the sugar rests on the hydrophobic patch provided by the choline methyls of an A conformer. Five hydrogen bonds are formed involving the phosphate oxygens of three of the surrounding B conformers. The model will be discussed with reference to relevant experimental data on the interaction.