Hereditary history preserving bisimulation is a natural extension of bisimulation to the setting of so-called “true” concurrency. Somewhat surprisingly, this extension turns out to be undecidable, in general, for finite-state concurrent systems. In this paper, we show that for a substantial and useful class of finite-state concurrent systems— those whose semantics can be described in terms of M...

The main objective of this study is estimating acceleration time history of 16 September 1978 Tabas earthquake incorporating the seismological/geological source-path and site model parameters by using finite-fault simulation approach. The method generalizes the stochastic ground-motion simulation technique, developed for point sources, to the case of finite faults. It subdivides the fault plane...

The theory of life history evolution provides a powerful framework to understand the evolutionary dynamics of pathogens in both epidemic and endemic situations. This framework, however, relies on the assumption that pathogen populations are very large and that one can neglect the effects of demographic stochasticity. Here we expand the theory of life history evolution to account for the effects...

The Kolmogorov-Sinai entropy is a far reaching dynamical generalization of Shannon entropy of information systems. This entropy works perfectly for probability measure preserving (p.m.p.) transformations. However, it is not useful when there is no finite invariant measure. There are certain successful extensions of the notion of entropy to infinite measure spaces, or transformations with ...

In hot forming process, the workpiece undergoes plastic deformation at high temperature and the microstructure of the workpiece changes according to the plastic deformation. These changes affect the mechanical properties of workpiece. In order to optimize this process, both the plastic deformation of workpiece and its microstructural changes should be taken into consideration. Since material be...

In hot forming process, the workpiece undergoes plastic deformation at high temperature and the microstructure of the workpiece changes according to the plastic deformation. These changes affect the mechanical properties of workpiece. In order to optimize this process, both the plastic deformation of workpiece and its microstructural changes should be taken into consideration. Since material be...

in this paper, the propagation of the waves in the laminated composite plates which is subjected to low velocity impact is investigated using the finite element method. a rigid metallic projectile with spherical nose is considered and the impact of this projectile with laminated composite is studied in this study. considering a finite element model the governing equations of the problem is disc...

Shoulder geometry of tool plays an important role in friction-stir welding because it controls thermal interactions and heat generation. This work is proposed and developed a coupled rigid-viscoplastic numerical modeling based on computational fluid dynamics and finite element calculations aiming to understand these interactions. Model solves mass conservation, momentum, and energy equations in...