Gödel's diagonalization technique and related properties of theories
A. Macintyre, H. Simmons (1973)
Colloquium Mathematicae
Similarity:
A. Macintyre, H. Simmons (1973)
Colloquium Mathematicae
Similarity:
Vala, Jiří, Rek, Václav
Similarity:
The analysis of dynamic contacts/impacts of several deformable bodies belongs to both theoretically and computationally complicated problems, because of the presence of unpleasant nonlinearities and of the need of effective contact detection. This paper sketches how such difficulties can be overcome, at least for a model problem with several elastic bodies, using i) the explicit time-discretization scheme and ii) the finite element technique adopted to contact evaluations together with...
Kumbakonam R. Rajagopal (2003)
Applications of Mathematics
Similarity:
In classical constitutive models such as the Navier-Stokes fluid model, and the Hookean or neo-Hookean solid models, the stress is given explicitly in terms of kinematical quantities. Models for viscoelastic and inelastic responses on the other hand are usually implicit relationships between the stress and the kinematical quantities. Another class of problems wherein it would be natural to develop implicit constitutive theories, though seldom resorted to, are models for bodies that are...
Němec, Ivan, Vala, Jiří, Štekbauer, Hynek, Jedlička, Michal, Burkart, Daniel
Similarity:
The widely used method for solution of impacts of bodies, called the penalty method, is based on the contact force proportional to the length of the interpenetration of bodies. This method is regarded as unsatisfactory by the authors of this contribution, because of an inaccurate fulfillment of the energy conservation law and violation of the natural demand of impenetrability of bodies. Two non-traditional methods for the solution of impacts of bodies satisfy these demands exactly, or...
Philipp Emanuel Stelzig (2012)
ESAIM: Control, Optimisation and Calculus of Variations
Similarity:
We give a first contribution to the homogenization of many-body structures that are exposed to large deformations and obey the noninterpenetration constraint. The many-body structures considered here resemble cord-belts like they are used to reinforce pneumatic tires. We establish and analyze an idealized model for such many-body structures in which the subbodies are assumed to be hyperelastic with a polyconvex energy density and shall exhibit an initial brittle bond with their neighbors....
Philipp Emanuel Stelzig (2012)
ESAIM: Control, Optimisation and Calculus of Variations
Similarity:
We give a first contribution to the homogenization of many-body structures that are exposed to large deformations and obey the noninterpenetration constraint. The many-body structures considered here resemble cord-belts like they are used to reinforce pneumatic tires. We establish and analyze an idealized model for such many-body structures in which the subbodies are assumed to be hyperelastic with a polyconvex energy density and shall ...
Adriano Montanaro (1987)
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti
Similarity:
The work [3] of axiomatization of various classical theories on continuous bodies from the Mach-Painlevè point of view, is completed here in a way which -unlike [4]- is suitable for extension to special relativity. The main reason of this is the fact that gravitation can be excluded in all the theories on continuous bodies considered here. Following [1], the notion of (physical) equivalence among affine inertial frames, and that of (physical isotropy of these frames are introduced; it...