997 resultados para Membrane Computing
Resumo:
Sec1/Munc18 (SM) protein family members are evolutionary conserved proteins. They perform an essential, albeit poorly understood function in SNARE complex formation in membrane fusion. In addition to the SNARE complex components, only a few SM protein binding proteins are known. Typically, their binding modes to SM proteins and their contribution to the membrane fusion regulation is poorly characterised. We identified Mso1p as a novel Sec1p interacting partner. It was shown that Mso1p and Sec1p interact at sites of polarised secretion and that this localisation is dependent on the Rab GTPase Sec4p and its GEF Sec2p. Using targeted mutagenesis and N- and C-terminal deletants, it was discovered that the interaction between an N-terminal peptide of Mso1p and the putative Syntaxin N-peptide binding area in Sec1p domain 1 is important for membrane fusion regulation. The yeast Syntaxin homologues Sso1p and Sso2p lack the N-terminal peptide. Our results show that in addition to binding to the putative N-peptide binding area in Sec1p, Mso1p can interact with Sso1p and Sso2p. This result suggests that Mso1p can mimic the N-peptide binding to facilitate membrane fusion. In addition to Mso1p, a novel role in membrane fusion regulation was revealed for the Sec1p C-terminal tail, which is missing in its mammalian homologues. Deletion of the Sec1p-tail results in temperature sensitive growth and reduced sporulation. Using in vivo and in vitro experiments, it was shown that the Sec1p-tail mediates SNARE complex binding and assembly. These results propose a regulatory role for the Sec1p-tail in SNARE complex formation. Furthermore, two novel interaction partners for Mso1p, the Rab GTPase Sec4p and plasma membrane phospholipids, were identified. The Sec4p link was identified using Bimolecular Fluorescence Complementation assays with Mso1p and the non-SNARE binding Sec1p(1-657). The assay revealed that Mso1p can target Sec1p(1-657) to sites of secretion. This effect is mediated via the Mso1p C-terminus, which previously has been genetically linked to Sec4p. These results and in vitro binding experiments suggest that Mso1p acts in cooperation with the GTP-bound form of Sec4p on vesicle-like structures prior to membrane fusion. Mso1p shares homology with the PIP2 binding domain of the mammalian Munc18 binding Mint proteins. It was shown both in vivo and in vitro that Mso1p is a phospholipid inserting protein and that this insertion is mediated by the conserved Mso1p amino terminus. In vivo, the Mso1p phospholipid binding is needed for sporulation and Mso1p-Sec1p localisation at the sites of secretion at the plasma membrane. The results reveal a novel layer of membrane fusion regulation in exocytosis and propose a coordinating role for Mso1p in connection with membrane lipids, Sec1p, Sec4p and SNARE complexes in this process.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
The Hodgkin and Huxley (HH) model of action potential has become a central paradigm of neuroscience. Despite its ability to predict action potentials with remarkable accuracy, it fails to explain several biophysical findings related to the initiation and propagation of the nerve impulse. The isentropic heat release and optical phenomena demonstrated by various experiments suggest that action potential is accompanied by a transient phase change in the axonal membrane. In this study a method was developed for preparing a giant axon from the crayfish abdominal cord for studying the molecular mechanisms of action potential simultaneously by electrophysiological and optical methods. Also an alternative setup using a single-cell culture of an Aplysia sensory neuron is presented. In addition to the description of the method, the preliminary results on the effect of phloretin, a dipole potential lowering compound, on the excitability of a crayfish giant axon are presented.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.