BioDiVinE: A Framework for Parallel Analysis of Biological Models

In this paper a novel tool BioDiVinEfor parallel analysis of biological models is presented. The tool allows analysis of biological models specified in terms of a set of chemical reactions. Chemical reactions are transformed into a system of multi-affine differential equations. BioDiVinE employs techniques for finite discrete abstraction of the continuous state space. At that level, parallel analysis algorithms based on model checking are provided. In the paper, the key tool features are described and their application is demonstrated by means of a case study

Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract)

In this paper, a novel computational technique for finite discrete approximation of continuous dynamical systems suitable for a significant class of biochemical dynamical systems is introduced. The method is parameterized in order to affect the imposed level of approximation provided that with increasing parameter value the approximation converges to the original continuous system. By employing this approximation technique, we present algorithms solving the reachability problem for biochemical dynamical systems. The presented method and algorithms are evaluated on several exemplary biological models and on a real case study.Comment: In Proceedings CompMod 2011, arXiv:1109.104

Influence of semi-circular cracks on threaded connection fatigue by means of Kitagawa-Takahashi diagram and El Haddad equation

Evaluation of semi-circular surface crack influence on threaded connection fatigue behavior, made of 42CrMo4 heat treatable steel, was carried out. Crack diameters were defined as 0.02, 0.05, 0.1, and 0.15 mm. Influence of semi-circular surface cracks was investigated by means of Kitagawa-Takahashi diagram and El Haddad equation. Assessments were done for survival probability of 99% on detailed FE model with normal metric thread profile and preload force at 70% of force at bolt yield point. The most critical location on threaded connections usually are thread roots which contain a very high notch effect. In order to accurately consider multiaxial stress field in thread root, multiaxial fatigue stress criterion based on a critical plane theory for fatigue assessment, was used. Mean stress influence was taken into account by means of Haigh diagram. Variable amplitude loading history of low-high (Lo-Hi) sequence spectrum was analyzed with the numerical algorithm of Rainflow cycle counting in the time domain. Fatigue damage was calculated according to the modified Palmgren-Miner linear damage accumulation hypothesis

Influence of semi-circular cracks on threaded connection fatigue by means of Kitagawa-Takahashi diagram and El Haddad equation

Evaluation of semi-circular surface crack influence on threaded connection fatigue behavior, made of 42CrMo4 heat treatable steel, was carried out. Crack diameters were defined as 0.02, 0.05, 0.1, and 0.15 mm. Influence of semi-circular surface cracks was investigated by means of Kitagawa-Takahashi diagram and El Haddad equation. Assessments were done for survival probability of 99% on detailed FE model with normal metric thread profile and preload force at 70% of force at bolt yield point. The most critical location on threaded connections usually are thread roots which contain a very high notch effect. In order to accurately consider multiaxial stress field in thread root, multiaxial fatigue stress criterion based on a critical plane theory for fatigue assessment, was used. Mean stress influence was taken into account by means of Haigh diagram. Variable amplitude loading history of low-high (Lo-Hi) sequence spectrum was analyzed with the numerical algorithm of Rainflow cycle counting in the time domain. Fatigue damage was calculated according to the modified Palmgren-Miner linear damage accumulation hypothesis

Measurement of thermal emission during cutting of materials using abrasive water jet

This article deals with measurement of the thermal gradient on material during abrasive water jet cutting. The temperature was measured by thermocamera before the technological process started, during the abrasive water jet cutting process technology, and just after the cutting process. We performed measurements on several types of materials. We calculated the approximate amount of energy during the abrasive water jet cutting process technology that changes into thermoenergy, which is the current water pressure drained in a catcher tank

Analysis of acoustic emission emerging during hydroabrasive cutting and options for indirect quality control

The paper discusses connections of acoustic emission in abrasive water jet cutting. Introduction focuses on theoretical knowledge on this technology and offers analysis related to current state of the art of the problem research. Further description of performed experiments is presented in case in which acoustic emission behaviour was observed with the exactly scheduled change of cutting conditions or rather cutting head traverse speed v. The beginning of the initial part contains FFT spectral analyses and comparison of the examined sections of the experimental samples. Consequently a graphical representation and comparison of peak-to-peak values (maximal amplitudes) and values of AERMS at the time of experimental cutting follow. At the close of the work, the analyses are expressed as dependence on the cutting head traverse speed v with expressed regulation equations applicable in the close-loop control process with minimum human intervention and in case of fault conditions—broken focusing tube, fractured water nozzle.Web of Science661-4584