Background The vortex ring formed in the left ventricle (LV) of the human heart during early diastolic inflow (corresponding to the Doppler E-wave) contains information about the normal and pathophysiologic aspects of diastole. Previous studies suggest that the volume of the vortex ring is an important characteristic of vortex ring formation. However, due to lack of quantitative methods, vortex...

In this paper, an upper bound approach is used to analyze the extrusion process of bimetallic rods through arbitrarily curved dies. Based on a spherical velocity field, internal, shearing and frictional power terms are calculated. The developed upper bound solution is used for calculating the extrusion force for two types of die shapes: a conical die as a linear die profile and a streamlined di...

In this paper the eccentric forward extrusion of sections has been simulated and analyzed using FEM Abaqus-explicit. The results have been compared to those obtained from upper bound theorem and experimental works. Close agreements was observed between the FEM and experimental work and as compared with the upper bound data more realistic and better predictions were made by the authors’ method. ...

In this paper, an upper bound approach is used to analyze the tube extrusion process through rotating conical dies with large mandrel radius. The material under deformation in the die and inside the container is divided to four deformation zones. A velocity field for each deformation zone is developed to evaluate the internal powers and the powers dissipated on all frictional and velocity disco...

We investigate the connection between the equatorial Madden-Julian Oscillation (MJO) and different types of the Northern Hemisphere mid-winter major stratospheric sudden warmings (SSWs), i.e., vortex-displacement and vortex-split SSWs. The MJO-SSW relationship for vortex-split SSWs is stronger than that for vortex-displacement SSWs, as a result of the stronger and more coherent eastward propaga...

We present a detailed study of the extrusion of an imperfect palindrome, derived from the terminal regions of vaccinia virus DNA and contained in a superhelical plasmid, into a cruciform containing bulged bases. We monitor the course of extrusion by two-dimensional gel electrophoresis experiments as a function of temperature and linking number. We find that extrusion pauses at partially extrude...

Vortex is a workflow language to support decision making activities. It centers around gathering and computing attributes of input objects. The semantics of Vortex is declarative, and the dependency graphs of Vortex programs are acyclic. This paper discusses the application of symbolic model checking techniques to verification of Vortex programs. As a case study we used a Vortex program MIHU fo...

A microscopic, quantum mechanical model for neutron vortices in the crust of a neutron star is presented. After a brief introduction to the Bogoliubov-de Gennes equations, which form the basis for our calculations, we present results for density distributions, vortex core sizes and vortex energies, both for an isolated neutron vortex and for the case when the vortex core overlaps with a cylindr...