In this paper, we present a reduction method for modeling slender laminated elastomeric structure... more In this paper, we present a reduction method for modeling slender laminated elastomeric structures, which is developed in the context of nearly incompressible hyperelasticity. This method, based on a finite element formulation, consists in projecting the unknown fields onto a polynomial basis in order to reduce the dimension of the problem and the model size. Two types of finite elements are used, one for plane-strain and the other for 3D structures. Comparisons with classical finite element models on single layers show the reliability of the present method. The method proposed successfully predicts the global and local behavior and since it reduces both the model size and the computing time. It can be used to model slender bearing consisting of several layers.
International Journal of Computer Mathematics, 2009
In this paper, we give an elegant algorithm to generate all distributions of n identical objects ... more In this paper, we give an elegant algorithm to generate all distributions of n identical objects to m bins without repetition. The best known previous algorithm, due to Klingsberg, generates each distribution in constant time in average sense. Using a new technique of ...
Following the trend to combine techniques to cover several facets of the development of modern sy... more Following the trend to combine techniques to cover several facets of the development of modern systems, an integration of Z and CSP, called Circus, has been proposed as a refinement language; its relational model, based on the unifying theories of programming (UTP), justifies refinement in the context of both Z and CSP. In this paper, we introduce Circus Time, a timed extension of Circus, and present a new UTP time theory, which we use to give semantics to Circus Time and to validate some of its laws. In addition, we provide a framework for validation of timed programs based on FDR, the CSP model-checker. In this technique, a syntactic transformation strategy is used to split a timed program into two parallel components: an untimed program that uses timer events, and a collection of timers. We show that, with the timer events, it is possible to reason about time properties in the untimed language, and so, using FDR. Soundness is established using a Galois connection between the untimed UTP theory of Circus (and CSP) and our time theory.
European Journal of Trauma and Emergency Surgery, 2006
Extensive bleeding from the perivertebral space is a rare encountered problem in abdominal trauma... more Extensive bleeding from the perivertebral space is a rare encountered problem in abdominal trauma surgery. In this report, we present a technique for the hemostasis of perivertebral hemorrhage apart from the conventional hemostatic measures in a patient with penetrating injury to the lumbar artery and tributaries. In order to construct a controlled compartment in the retroperitoneal perivertebral cavity, bone cement was plastered alongside the dissection plane near the vertebral wall and hemostasis was achieved. Bone cement application, therefore, may pose as an alternative hemostatic method for patients with uncontrollable bleeding in the perivertebral compartment.
In this paper, we present a reduction method for modeling slender laminated elastomeric structure... more In this paper, we present a reduction method for modeling slender laminated elastomeric structures, which is developed in the context of nearly incompressible hyperelasticity. This method, based on a finite element formulation, consists in projecting the unknown fields onto a polynomial basis in order to reduce the dimension of the problem and the model size. Two types of finite elements are used, one for plane-strain and the other for 3D structures. Comparisons with classical finite element models on single layers show the reliability of the present method. The method proposed successfully predicts the global and local behavior and since it reduces both the model size and the computing time. It can be used to model slender bearing consisting of several layers.
International Journal of Computer Mathematics, 2009
In this paper, we give an elegant algorithm to generate all distributions of n identical objects ... more In this paper, we give an elegant algorithm to generate all distributions of n identical objects to m bins without repetition. The best known previous algorithm, due to Klingsberg, generates each distribution in constant time in average sense. Using a new technique of ...
Following the trend to combine techniques to cover several facets of the development of modern sy... more Following the trend to combine techniques to cover several facets of the development of modern systems, an integration of Z and CSP, called Circus, has been proposed as a refinement language; its relational model, based on the unifying theories of programming (UTP), justifies refinement in the context of both Z and CSP. In this paper, we introduce Circus Time, a timed extension of Circus, and present a new UTP time theory, which we use to give semantics to Circus Time and to validate some of its laws. In addition, we provide a framework for validation of timed programs based on FDR, the CSP model-checker. In this technique, a syntactic transformation strategy is used to split a timed program into two parallel components: an untimed program that uses timer events, and a collection of timers. We show that, with the timer events, it is possible to reason about time properties in the untimed language, and so, using FDR. Soundness is established using a Galois connection between the untimed UTP theory of Circus (and CSP) and our time theory.
European Journal of Trauma and Emergency Surgery, 2006
Extensive bleeding from the perivertebral space is a rare encountered problem in abdominal trauma... more Extensive bleeding from the perivertebral space is a rare encountered problem in abdominal trauma surgery. In this report, we present a technique for the hemostasis of perivertebral hemorrhage apart from the conventional hemostatic measures in a patient with penetrating injury to the lumbar artery and tributaries. In order to construct a controlled compartment in the retroperitoneal perivertebral cavity, bone cement was plastered alongside the dissection plane near the vertebral wall and hemostasis was achieved. Bone cement application, therefore, may pose as an alternative hemostatic method for patients with uncontrollable bleeding in the perivertebral compartment.
Uploads
Papers by Adnan Elegant