Displaying similar documents to “Sur quelques algorithmes récursifs pour les probabilités numériques”

Les types de données syntaxiques du système

Samir Farkh, Karim Nour (2001)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

Nous présentons dans ce papier une définition purement syntaxique des types entrées et des types sorties du système . Nous définissons les types de données syntaxiques comme étant des types entrées et sorties. Nous démontrons que les types à quantificateurs positifs sont des types de données syntaxiques et qu’un type entrée est un type sortie. Nous imposons des restrictions sur la règle d’élimination des quantificateurs pour démontrer qu’un type sortie est un type entrée.

Analyse régionale des systèmes distribués

A. El Jai (2002)

ESAIM: Control, Optimisation and Calculus of Variations

Similarity:

Le but de cet article est de montrer l’état de l’art dans l’analyse des systèmes distribués lorsque l’on examine certains concepts à partir de considérations régionales. Autrement dit, à partir de la donnée d’un système dynamique défini sur un domaine Ω , on ne s’intéresse à sa contrôlabilité, à son observabilité, à sa stabilité, ... que sur une région privilégiée ω , ω Ω . Partant de concepts classiques, on développe leur adaptation au cas régional. On développe ensuite des concepts régionaux...

Sur des problèmes d’asservissements stratigraphiques

Gérard Gagneux, Guy Vallet (2002)

ESAIM: Control, Optimisation and Calculus of Variations

Similarity:

On expose les difficultés d’ordre mathématique que posent des modèles récents de sédimentation-érosion de bassins élaborés par l’Institut Français du Pétrole et fondés sur la prise en compte de diverses contraintes d’unilatéralité. On présente quelques résultats partiels théoriques et des directions de recherche pour la résolution d’un problème inverse posé par l’étude stratigraphique d’une colonne monolithologique.

Correcteurs proportionnels-intégraux généralisés

Michel Fliess, Richard Marquez, Emmanuel Delaleau, Hebertt Sira-Ramírez (2002)

ESAIM: Control, Optimisation and Calculus of Variations

Similarity:

Nous introduisons pour les systèmes linéaires constants les reconstructeurs intégraux et les correcteurs proportionnels-intégraux généralisés, qui permettent d’éviter le terme dérivé du PID classique et, plus généralement, les observateurs asymptotiques usuels. Notre approche, de nature essentiellement algébrique, fait appel à la théorie des modules et au calcul opérationnel de Mikusiński. Plusieurs exemples sont examinés.

Autour de nouvelles notions pour l’analyse des algorithmes d’approximation : formalisme unifié et classes d’approximation

Marc Demange, Vangelis Paschos (2002)

RAIRO - Operations Research - Recherche Opérationnelle

Similarity:

The main objective of the polynomial approximation is the development of polynomial time algorithms for NP-hard problems, these algorithms guaranteeing feasible solutions lying “as near as possible” to the optimal ones. This work is the fist part of a couple of papers where we introduce the key-concepts of the polynomial approximation and present the main lines of a new formalism. Our purposes are, on the one hand, to present this theory and its objectives and, on the other hand, to...