Recently we have presented dynamic condition response structures (DCR) as a declarative process model conservatively generalizing labelled event structures to allow for finite specifications of repeated, possibly infinite behavior and acceptance conditions for infinite runs. The key ideas are to split the causality relation of event structures in two dual relations: the condition relation and t...

In this paper, we study the elastic membrane equation with dynamic boundary conditions, source term and a nonlinear weak damping localized on part of past history. Under some appropriate assumptions relaxation function general decay for energy have been established using perturbed Lyapunov functionals properties convex functions.

This paper describes an efficient way to test the VAP-free (Vertex Accumulation Point free) planarity of oneand two-dimensional dynamic graphs. Dynamic graphs are infinite graphs consisting of an infinite number of basic cells connected regularly according to labels in a finite graph called a sraric graph. Dynamic graphs arize in the design of highly regular VLSI circuits, such as systolic arra...

The “Electro-mechanical Landing gear system Integration for Small Aircraft” (E-LISA) research project has the objective of developing an innovative “iron bird”, a testing facility dedicated to executing tests on landing small aircraft. This document presents structural analyses this complex machine performed with Finite Element Method (FEM). Key purposes these numerical simulations were quantif...

The 2.5D dynamic response of a half-space to an internal point load moving at sub- and super-critical speeds is studied in Cartesian coordinates both analytically numerically. Firstly, the partial differential equations waves are converted ordinary by Fourier transformation. Then, multiplying factor derived added stiffness matrix account for dissipation different velocities, with or without sel...