progressive collapse is a chain reaction of failures propagating throughout a portion of the structure disproportionate to the original local failure occurring when a sudden loss of a critical load‐bearing element initiates a structural element failure, eventually resulting in partial or full collapse of the structure. both general services administration (gsa) and united states department of d...

This paper deals with the implementation of an efficient Arbitrary Lagrangian Eulerian (ALE) formulation for the three dimensional finite element modeling of mode I self-similar dynamic fracture process. Contrary to the remeshing technique, the presented algorithm can continuously advance the crack with the one mesh topology. The uncoupled approach is employed to treat the equations. So, each t...

An important, challenging problem in the verification of imperative programs with shared, mutable state is the frame problem in the presence of data abstraction. That is, one must be able to specify and verify upper bounds on the set of memory locations a method can read and write without exposing that method’s implementation. Separation logic is now widely considered the most promising solutio...

The simulation of the store separation using the automatic coupling of dynamic equations with flow aerodynamics is addressed. The precision and cost (calculation time) were considered as comparators. The method used in the present research decreased the calculation cost while limiting the solution error within a specific and tolerable interval. The methods applied to model the aerodynamic force...

In implicit human computer interaction, computers are required to understand users’ actions and intentions so as to provide proactive services. Visual processing has to detect and understand human actions and then transform them as the implicit input. In this paper an adaptive vision system is presented to solve visual processing tasks in dynamic meeting context. Visual modules and dynamic cont...

flood routing has many applications in engineering projects and helps designers in understanding the flood flow characteristics in river flows. floods are taken unsteady flows that vary by time and location. equations governing unsteady flows in waterways are continuity and momentum equations which in case of one-dimensional flow the saint-venant hypothesis is considered. dynamic wave model as ...

This contribution is concerned with the observability and accessibility analysis of implicit discrete-time dynamic systems. The presented approach is motivated by a geometric representation of discrete-time systems and the crucial observation that the Lie group investigations known for implicit continuoustime dynamic systems is also appropriate in the discrete-time scenario. The obtained formal...