Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Closed form solution for the collapse of polygonal thin-walled columns in the axial crushing case

Maalej Y, Chaari F., Zouari B., Markiewicz E.

Journal of Theoretical and Applied Mechanics

2014

Vol. 52 nr 3

707--718

The main objective of this paper is to propose a new closed form solution, useful in the pre-design stage, that allows one to calculate the mean load in the case of post-collapse of polygonal thin-walled columns in the axial crushing case. This model gives a rapid and accurate evolution of the normalized mean load as function of the corner element angle as well as the ratio between the corner length and the column thickness. To identify the parameters of this model, numerical simulations with an explicit finite element software have been carried out and then compared to experimental results reported in the literature. Finally, all these results combined with the findings based on the known generalized mixed model developed by other researchers working on this topic enabled one to establish the closed form solution. This is a unified and continuous closed form solution, which is suitable for different columns shapes, even non-conventional shapes obtained thanks to the development of extrusion techniques.

Local Verification Using a Distributed State Space

Abid C. A., Zouari B.

Fundamenta Informaticae

2013

Vol. 125, nr 1

1--20

This paper deals with the modular analysis of distributed concurrent systems modelled by Petri nets. The main analysis techniques of such systems suffer from the well-known problem of the combinatory explosion of state space. In order to cope with this problem, we use a modular representation of the state space instead of the ordinary one. The modular representation, namely modular state space, is much smaller than the ordinary state space. We propose to distribute the modular state space on every machine associated with one module. We enhance the modularity of the verification of some local properties of any module by limiting it to the exploration of local and some global information. Once the construction of the distributed state space is performed, there is no communication between modules during the verification.