Compliance matrices for cracked bodies

An algorithm is presented which can be used to develop compliance matrices for cracked bodies. The method relies on the numerical solution of singular integral equations with Cauchy-type kernels and provides an efficient and accurate procedure for relating applied loadings to crack opening displacements. The algorithm should be of interest to those performing repetitive calculations in the analysis of experimental results obtained from fracture specimens

Three-dimensional analysis of surface crack-Hertzian stress field interaction

The results are presented of a stress intensity factor analysis of semicircular surface cracks in the inner raceway of an engine bearing. The loading consists of a moving spherical Hertzian contact load and an axial stress due to rotation and shrink fit. A 3-D linear elastic Boundary Element Method code was developed to perform the stress analysis. The element library includes linear and quadratic isoparametric surface elements. Singular quarter point elements were employed to capture the square root displacement variation and the inverse square root stress singularity along the crack front. The program also possesses the capability to separate the whole domain into two subregions. This procedure enables one to solve nonsymmetric fracture mechanics problems without having to separate the crack surfaces a priori. A wide range of configuration parameters was investigated. The ratio of crack depth to bearing thickness was varied from one-sixtieth to one-fifth for several different locations of the Hertzian load. The stress intensity factors for several crack inclinations were also investigated. The results demonstrate the efficiency and accuracy of the Boundary Element Method. Moreover, the results can provide the basis for crack growth calculations and fatigue life prediction

Green's functions for dislocations in bonded strips and related crack problems

Green's functions are derived for the plane elastostatics problem of a dislocation in a bimaterial strip. Using these fundamental solutions as kernels, various problems involving cracks in a bimaterial strip are analyzed using singular integral equations. For each problem considered, stress intensity factors are calculated for several combinations of the parameters which describe loading, geometry and material mismatch

Flexible photonics for biomedical applications: A review

Flexible photonics is a powerful tool that has emerged in last few decades to solve footprint and shape related limitations in photonic devices. Indeed, flexible photonic devices offer several key features: ability to adjust to complex shape surfaces, small footprint, high resilience to mechanical damage, immunity to electromagnetic interference. Thanks to these characteristics, these devices are very attractive for applications in the biomedical field. For instance, the flexibility allows optimal adhesion to the skin, or the reduced size facilitates the realization of wearable devices. In this paper, we will first present the characteristic of flexible photonic devices and discuss about the so far impact of flexible photonics in the biomedical field. Then, we will analyze the currently existing devices and the main used components, with a focus on the applications

Scale effects for strength, ductility, and toughness in "brittle” materials

Decreasing scales effectively increase nearly all important mechanical properties of at least some "brittle” materials below 100 nm. With an emphasis on silicon nanopillars, nanowires, and nanospheres, it is shown that strength, ductility, and toughness all increase roughly with the inverse radius of the appropriate dimension. This is shown experimentally as well as on a mechanistic basis using a proposed dislocation shielding model. Theoretically, this collects a reasonable array of semiconductors and ceramics onto the same field using fundamental physical parameters. This gives proportionality between fracture toughness and the other mechanical properties. Additionally, this leads to a fundamental concept of work per unit fracture area, which predicts the critical event for brittle fracture. In semibrittle materials such as silicon, this can occur at room temperature when the scale is sufficiently small. When the local stress associated with dislocation nucleation increases to that sufficient to break bonds, an instability occurs resulting in fractur

Trend-based analysis of a population model of the AKAP scaffold protein

We formalise a continuous-time Markov chain with multi-dimensional discrete state space model of the AKAP scaffold protein as a crosstalk mediator between two biochemical signalling pathways. The analysis by temporal properties of the AKAP model requires reasoning about whether the counts of individuals of the same type (species) are increasing or decreasing. For this purpose we propose the concept of stochastic trends based on formulating the probabilities of transitions that increase (resp. decrease) the counts of individuals of the same type, and express these probabilities as formulae such that the state space of the model is not altered. We define a number of stochastic trend formulae (e.g. weakly increasing, strictly increasing, weakly decreasing, etc.) and use them to extend the set of state formulae of Continuous Stochastic Logic. We show how stochastic trends can be implemented in a guarded-command style specification language for transition systems. We illustrate the application of stochastic trends with numerous small examples and then we analyse the AKAP model in order to characterise and show causality and pulsating behaviours in this biochemical system

The physics models of FLUKA: status and recent development

A description of the intermediate and high energy hadronic interaction models used in the FLUKA code is given. Benchmarking against experimental data is also reported in order to validate the model performances. Finally the most recent developments and perspectives for nucleus-nucleus interactions are described together with some comparisons with experimental data.Comment: talk from the 2003 Computing in High Energy and Nuclear Physics (CHEP03), La Jolla, Ca, USA, March 2003, 10 pages, p

Interactions and scattering of quantum vortices in a polariton fluid

Quantum vortices, the quantized version of classical vortices, play a prominent role in superfluid and superconductor phase transitions. However, their exploration at a particle level in open quantum systems has gained considerable attention only recently. Here we study vortex pair interactions in a resonant polariton fluid created in a solid-state microcavity. By tracking the vortices on picosecond time scales, we reveal the role of nonlinearity, as well as of density and phase gradients, in driving their rotational dynamics. Such effects are also responsible for the split of composite spin-vortex molecules into elementary half-vortices, when seeding opposite vorticity between the two spinorial components. Remarkably, we also observe that vortices placed in close proximity experience a pull-push scenario leading to unusual scattering-like events that can be described by a tunable effective potential. Understanding vortex interactions can be useful in quantum hydrodynamics and in the development of vortex-based lattices, gyroscopes, and logic devices.Comment: 12 pages, 7 figures, Supplementary Material and 5 movies included in arXi

Efficient Parallel Statistical Model Checking of Biochemical Networks

We consider the problem of verifying stochastic models of biochemical networks against behavioral properties expressed in temporal logic terms. Exact probabilistic verification approaches such as, for example, CSL/PCTL model checking, are undermined by a huge computational demand which rule them out for most real case studies. Less demanding approaches, such as statistical model checking, estimate the likelihood that a property is satisfied by sampling executions out of the stochastic model. We propose a methodology for efficiently estimating the likelihood that a LTL property P holds of a stochastic model of a biochemical network. As with other statistical verification techniques, the methodology we propose uses a stochastic simulation algorithm for generating execution samples, however there are three key aspects that improve the efficiency: first, the sample generation is driven by on-the-fly verification of P which results in optimal overall simulation time. Second, the confidence interval estimation for the probability of P to hold is based on an efficient variant of the Wilson method which ensures a faster convergence. Third, the whole methodology is designed according to a parallel fashion and a prototype software tool has been implemented that performs the sampling/verification process in parallel over an HPC architecture