In this work, we are interested in obtaining existence, uniqueness of the solution and an approximate numerical solution for the model of linear thermoelasticity with moving boundary. We apply finite element method with finite difference for evolution in time to obtain an approximate numerical solution. Some numerical experiments were presented to show the moving boundary’s effects for problems...

This paper presents a complete derivation and implementation of the Arbitrary Lagrangian Eulerian (ALE) formulation for the simulation of nonlinear static and dynamic problems in solid mechanics. While most of the previous work done on ALE for dynamic applications was mainly based on operator split and explicit calculations, this work derives the quasi-static and dynamic ALE equations in its si...

Embedded system design requires the use of eecient scheduling policies to execute on shared resources, e.g. the processor, algorithms that consist of a set of concurrent tasks with complex mutual dependencies. Scheduling techniques are called static when the schedule is computed at compile time, dynamic when some or all decisions are made at run-time. The choice of the scheduling policy mainly ...

Previous work introduced a dynamic compute model aimed at eliminating existing barriers to the widespread efficient exploitation of reconfigurable devices. Among other achievements this model decoupled application design-time decisions from the run-time physical resource bindings. The compute model uses graphs of compute pages and memory blocks connected by stream links to capture the definitio...

RVC-CAL is an actor-based dataflow language that enables concurrent, modular and portable description of signal processing algorithms. RVC-CAL programs can be compiled to implementation languages such as C/C++ and VHDL for producing software or hardware implementations. This paper presents a methodology for automatic discovery of piecewise-deterministic (quasi-static) execution schedules for RV...

Quasi-Static analysis of moored vessels is vastly used for engineering designs, as a substitute to the numerical simulation of dynamic mooring analysis. Yet, the level of validity of the results of quasi-static analysis is a matter of discussion. In the present study, the validation of the assumptions behind the quasi-static analysis of mooring vessels is examined with application of a dynamic ...

We investigate the formation of singularities in thermoelasticity with second sound. Transforming into Euler coordinates and combining ideas from Sideris [14], used for compressible fluids, and Tarabek [15], used for small data large time existence in second sound models, we are able to show that there are in general no global smooth solutions for large initial data. In contrast to the situatio...

Formulations for a general theory of thermoelasticity to generate accurate thermal stresses for structural members of aeronautical vehicles were developed in 1954 by Boley. The formulation also provides three normal stresses and a shear stress along the entire length of the beam. The Poisson effect of the lateral and transverse normal stresses on a thermally loaded beam is taken into account in...

The present paper concerns with the effect of initial stress on the propagation of plane waves in a rotating transversely isotropic medium in the context of thermoelasticity theory of GN theory of type-II and III. After solving the governing equations, three waves propagating in the medium are obtained. The fastest among them is a quasi-longitudinal wave. The slowest of them is a thermal wave. ...