An active strain electromechanical model for cardiac tissue

We propose a finite element approximation of a system of partial differential equations describing the coupling between the propagation of electrical potential and large deformations of the cardiac tissue. The underlying mathematical model is based on the active strain assumption, in which it is assumed that a multiplicative decomposition of the deformation tensor into a passive and active part holds, the latter carrying the information of the electrical potential propagation and anisotropy of the cardiac tissue into the equations of either incompressible or compressible nonlinear elasticity, governing the mechanical response of the biological material. In addition, by changing from an Eulerian to a Lagrangian configuration, the bidomain or monodomain equations modeling the evolution of the electrical propagation exhibit a nonlinear diffusion term. Piecewise quadratic finite elements are employed to approximate the displacements field, whereas for pressure, electrical potentials and ionic variables are approximated by piecewise linear elements. Various numerical tests performed with a parallel finite element code illustrate that the proposed model can capture some important features of the electromechanical coupling, and show that our numerical scheme is efficient and accurate.

Validation Studies of Thermal-hydraulic Code for Safety Analysis of Nuclear Power Plants

This thesis gives an overview of the validation process for thermal hydraulic system codes and it presents in more detail the assessment and validation of the French code CATHARE for VVER calculations. Three assessment cases are presented: loop seal clearing, core reflooding and flow in a horizontal steam generator. The experience gained during these assessment and validation calculations has been used to analyze the behavior of the horizontal steam generator and the natural circulation in the geometry of the Loviisa nuclear power plant. The cases presented are not exhaustive, but they give a good overview of the work performed by the personnel of Lappeenranta University of Technology (LUT). Large part of the work has been performed in co-operation with the CATHARE-team in Grenoble, France. The design of a Russian type pressurized water reactor, VVER, differs from that of a Western-type PWR. Most of thermal-hydraulic system codes are validated only for the Western-type PWRs. Thus, the codes should be assessed and validated also for VVER design in order to establish any weaknesses in the models. This information is needed before codes can be used for the safety analysis. Theresults of the assessment and validation calculations presented here show that the CATHARE code can be used also for the thermal-hydraulic safety studies for VVER type plants. However, some areas have been indicated which need to be reassessed after further experimental data become available. These areas are mostly connected to the horizontal stem generators, like condensation and phase separation in primary side tubes. The work presented in this thesis covers a large numberof the phenomena included in the CSNI code validation matrices for small and intermediate leaks and for transients. Also some of the phenomena included in the matrix for large break LOCAs are covered. The matrices for code validation for VVER applications should be used when future experimental programs are planned for code validation.

Code Generator for Key Management Protocols - Design and Implementation

Key management has a fundamental role in secure communications. Designing and testing of key management protocols is tricky. These protocols must work flawlessly despite of any abuse. The main objective of this work was to design and implement a tool that helps to specify the protocol and makes it possible to test the protocol while it is still under development. This tool generates compile-ready java code from a key management protocol model. A modelling method for these protocols, which uses Unified Modeling Language (UML) was also developed. The protocol is modelled, exported as an XMI and read by the code generator tool. The code generator generates java code that is immediately executable with a test software after compilation.

From caging to rouse dynamics in polymer melts with intramolecular barriers: a critical test of the mode coupling theory

By means of computer simulations and solution of the equations of the mode coupling theory (MCT),we investigate the role of the intramolecular barriers on several dynamic aspects of nonentangled polymers. The investigated dynamic range extends from the caging regime characteristic of glass-formers to the relaxation of the chain Rouse modes. We review our recent work on this question,provide new results, and critically discuss the limitations of the theory. Solutions of the MCT for the structural relaxation reproduce qualitative trends of simulations for weak and moderate barriers. However, a progressive discrepancy is revealed as the limit of stiff chains is approached. This dis-agreement does not seem related with dynamic heterogeneities, which indeed are not enhanced by increasing barrier strength. It is not connected either with the breakdown of the convolution approximation for three-point static correlations, which retains its validity for stiff chains. These findings suggest the need of an improvement of the MCT equations for polymer melts. Concerning the relaxation of the chain degrees of freedom, MCT provides a microscopic basis for time scales from chain reorientation down to the caging regime. It rationalizes, from first principles, the observed deviations from the Rouse model on increasing the barrier strength. These include anomalous scaling of relaxation times, long-time plateaux, and nonmonotonous wavelength dependence of the mode correlators.

The role of intramolecular barriers on the glass transition of polymers: computer simulations versus mode coupling theory

We present computer simulations of a simple bead-spring model for polymer melts with intramolecular barriers. By systematically tuning the strength of the barriers, we investigate their role on the glass transition. Dynamic observables are analyzed within the framework of the mode coupling theory (MCT). Critical nonergodicity parameters, critical temperatures, and dynamic exponents are obtained from consistent fits of simulation data to MCT asymptotic laws. The so-obtained MCT λ-exponent increases from standard values for fully flexible chains to values close to the upper limit for stiff chains. In analogy with systems exhibiting higher-order MCT transitions, we suggest that the observed large λ-values arise form the interplay between two distinct mechanisms for dynamic arrest: general packing effects and polymer-specific intramolecular barriers. We compare simulation results with numerical solutions of the MCT equations for polymer systems, within the polymer reference interaction site model (PRISM) for static correlations. We verify that the approximations introduced by the PRISM are fulfilled by simulations, with the same quality for all the range of investigated barrier strength. The numerical solutions reproduce the qualitative trends of simulations for the dependence of the nonergodicity parameters and critical temperatures on the barrier strength. In particular, the increase in the barrier strength at fixed density increases the localization length and the critical temperature. However the qualitative agreement between theory and simulation breaks in the limit of stiff chains. We discuss the possible origin of this feature.

A signaling mechanism coupling netrin-1/deleted in colorectal cancer chemoattraction to SNARE-mediated exocytosis in axonal growth cones

Directed cell migration and axonal guidance are essential steps in neural development. Both processes are controlled by specific guidance cues that activate the signaling cascades that ultimately control cytoskeletal dynamics. Another essential step in migration and axonal guidance is the regulation of plasmalemma turnover and exocytosis in leading edges and growth cones. However, the cross talk mechanisms linking guidance receptors and membrane exocytosis are not understood. Netrin-1 is a chemoattractive cue required for the formation of commissural pathways. Here, we show that the Netrin-1 receptor deleted in colorectal cancer (DCC) forms a protein complex with the t-SNARE (target SNARE) protein Syntaxin-1 (Sytx1). This interaction is Netrin-1 dependent both in vitro and in vivo, and requires specific Sytx1 and DCC domains. Blockade of Sytx1 function by using botulinum toxins abolished Netrin-1-dependent chemoattraction of axons in mouse neuronal cultures. Similar loss-of-function experiments in the chicken spinal cord in vivo using dominant-negative Sytx1 constructs or RNAi led to defects in commissural axon pathfinding reminiscent to those described in Netrin-1 and DCC loss-of-function models. We also show that Netrin-1 elicits exocytosis at growth cones in a Sytx1-dependent manner. Moreover, we demonstrate that the Sytx1/DCC complex associates with the v-SNARE (vesicle SNARE) tetanus neurotoxin-insensitive vesicle-associated membrane protein (TI-VAMP) and that knockdown of TI-VAMP in the commissural pathway in the spinal cord results in aberrant axonal guidance phenotypes. Our data provide evidence of a new signaling mechanism that couples chemotropic Netrin-1/DCC axonal guidance and Sytx1/TI-VAMP SNARE proteins regulating membrane turnover and exocytosis.

A signaling mechanism coupling netrin-1/deleted in colorectal cancer chemoattraction to SNARE-mediated exocytosis in axonal growth cones

Directed cell migration and axonal guidance are essential steps in neural development. Both processes are controlled by specific guidance cues that activate the signaling cascades that ultimately control cytoskeletal dynamics. Another essential step in migration and axonal guidance is the regulation of plasmalemma turnover and exocytosis in leading edges and growth cones. However, the cross talk mechanisms linking guidance receptors and membrane exocytosis are not understood. Netrin-1 is a chemoattractive cue required for the formation of commissural pathways. Here, we show that the Netrin-1 receptor deleted in colorectal cancer (DCC) forms a protein complex with the t-SNARE (target SNARE) protein Syntaxin-1 (Sytx1). This interaction is Netrin-1 dependent both in vitro and in vivo, and requires specific Sytx1 and DCC domains. Blockade of Sytx1 function by using botulinum toxins abolished Netrin-1-dependent chemoattraction of axons in mouse neuronal cultures. Similar loss-of-function experiments in the chicken spinal cord in vivo using dominant-negative Sytx1 constructs or RNAi led to defects in commissural axon pathfinding reminiscent to those described in Netrin-1 and DCC loss-of-function models. We also show that Netrin-1 elicits exocytosis at growth cones in a Sytx1-dependent manner. Moreover, we demonstrate that the Sytx1/DCC complex associates with the v-SNARE (vesicle SNARE) tetanus neurotoxin-insensitive vesicle-associated membrane protein (TI-VAMP) and that knockdown of TI-VAMP in the commissural pathway in the spinal cord results in aberrant axonal guidance phenotypes. Our data provide evidence of a new signaling mechanism that couples chemotropic Netrin-1/DCC axonal guidance and Sytx1/TI-VAMP SNARE proteins regulating membrane turnover and exocytosis.

A signaling mechanism coupling netrin-1/deleted in colorectal cancer chemoattraction to SNARE-mediated exocytosis in axonal growth cones

Directed cell migration and axonal guidance are essential steps in neural development. Both processes are controlled by specific guidance cues that activate the signaling cascades that ultimately control cytoskeletal dynamics. Another essential step in migration and axonal guidance is the regulation of plasmalemma turnover and exocytosis in leading edges and growth cones. However, the cross talk mechanisms linking guidance receptors and membrane exocytosis are not understood. Netrin-1 is a chemoattractive cue required for the formation of commissural pathways. Here, we show that the Netrin-1 receptor deleted in colorectal cancer (DCC) forms a protein complex with the t-SNARE (target SNARE) protein Syntaxin-1 (Sytx1). This interaction is Netrin-1 dependent both in vitro and in vivo, and requires specific Sytx1 and DCC domains. Blockade of Sytx1 function by using botulinum toxins abolished Netrin-1-dependent chemoattraction of axons in mouse neuronal cultures. Similar loss-of-function experiments in the chicken spinal cord in vivo using dominant-negative Sytx1 constructs or RNAi led to defects in commissural axon pathfinding reminiscent to those described in Netrin-1 and DCC loss-of-function models. We also show that Netrin-1 elicits exocytosis at growth cones in a Sytx1-dependent manner. Moreover, we demonstrate that the Sytx1/DCC complex associates with the v-SNARE (vesicle SNARE) tetanus neurotoxin-insensitive vesicle-associated membrane protein (TI-VAMP) and that knockdown of TI-VAMP in the commissural pathway in the spinal cord results in aberrant axonal guidance phenotypes. Our data provide evidence of a new signaling mechanism that couples chemotropic Netrin-1/DCC axonal guidance and Sytx1/TI-VAMP SNARE proteins regulating membrane turnover and exocytosis.