Displaying similar documents to “Les I -types du système ℱ ”

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...