8746 articles  [english version]

Vous pouvez consulter et rechercher ici l'ensemble des rapports de recherche et rapports techniques de l'Inria déposées sur HAL ou sur HAL-Inria.
Pour déposer sur Hal-Inria: http://hal.inria.fr


Contact : archive-ouverte@inria.fr


Derniers rapports des équipes Inria




Publications HAL de la collection INRIA-RRRT

2014

Titre
Energy conservation and dissipation properties of time-integration methods for the nonsmooth elastodynamics with contact
Auteurs
Vincent Acary url
Détail
[Research Report], 2014, pp. 29. RR-8602
Début du résumé
This research report is devoted to the study of the conservation and the dissipation properties of the mechanical energy of several time-integration methods dedicated to the elasto- dynamics with unilateral contact. Given that the direct application of the standard schemes as the Newmark schemes or the generalized-α schemes leads to energy blow-up, we study two schemes dedicated to the time-integration of nonsmooth systems with contact: the Moreau-Jean scheme and the nonsmooth generalized-α scheme. The energy conservation and dissipation properties of the Moreau-Jean is firstly shown. In a second step, the nonsmooth generalized-α scheme is studied by adapting the previous works .....
Accès au texte intégral et bibtex
RR-8602.pdf BibTex
Titre
Enlarged Krylov Subspace Conjugate Gradient Methods for Reducing Communication
Auteurs
Laura Grigori; Sophie Moufawad; Frédéric Nataf
Détail
[Research Report], 2014. RR-8597
Début du résumé
In this paper we introduce a new approach for reducing communication in Krylov subspace methods that consists of enlarging the Krylov subspace by a maximum of t vectors per iteration, based on the domain decomposition of the graph of A. The obtained enlarged Krylov subspace is a superset of the Krylov subspace. Thus it is possible to search for the solution of the system Ax=b in the enlarged Krylov subspace instead of the Krylov subspace. Moreover, we show in this paper that the enlarged Krylov projection subspace methods lead to faster convergence in terms of iterations and parallelizable algorithms with .....
Accès au texte intégral et bibtex
RR-8597.pdf BibTex
Titre
Numerical approximation of Backward Stochastic Differential Equations with Jumps
Auteurs
Antoine Lejay; Ernesto Mordecki; Soledad Torres
Détail
[Research Report], 2014, pp. 32. RR-8595
Début du résumé
In this paper we propose a numerical method to approximate the solution of a Backward Stochastic Differential Equations with Jumps (BSDEJ). This method is based on the construction of a discrete BSDEJ driven by a complete system of three orthogonal discrete time-space martingales, the first a random walk converging to a Brownian motion; the second, another random walk, independent of the first one, converging to a Poisson process. The solution of this discrete BSDEJ is shown to weakly converge to the solution of the continuous time BSDEJ. An application to partial integro-differential equations is given. .....
Accès au texte intégral et bibtex
RR-8595.pdf BibTex
Titre
A ProActive Backend for ABS: from Modelling to Deployment
Auteurs
Justine Rochas; Ludovic Henrio url
Détail
[Research Report], 2014. RR-8596
Début du résumé
ABS is an object-oriented modeling language that is based on a concurrent object group model, derived itself from the active object model. Its goal is to describe distributed and concurrent applications in order to verify their properties and make them safer. Thanks to the ABS Tool Suite, ABS programs can be translated into the Java programming language (among others), and executed in the JVM. This paper presents a new ABS backend that translates ABS programs into ProActive programs. ProActive is a well known active object Java library that provides support for distribution of applications across clusters or grids. The benefit .....
Accès au texte intégral et bibtex
RR-8596.pdf BibTex
Titre
Praspel: Contract-Driven Testing for PHP using Realistic Domains
Auteurs
Ivan Enderlin; Fabrice Bouquet; Frédéric Dadeau; Alain Giorgetti url
Détail
[Research Report], 2014, pp. 39. RR-8592
Début du résumé
We present an integrated contract-based testing framework for PHP. It relies on a behavioral interface specification language called Praspel, for "PHP Realistic Annotation and Specification Language". Using Praspel developers can easily annotate their PHP scripts with formal contracts, namely class invariants, and method pre- and postconditions. These contracts describe assertions either by predicates or by assigning realistic domains to data. Realistic domains introduce types in PHP and describe complex structures frequently encountered in applications, such as email addresses or SQL queries. Realistic domains display two properties: predicability, which allows to check if a data belongs to a given realistic domain, .....
Accès au texte intégral et bibtex
RR-8592.pdf BibTex