L'Université et la ville de l'inscription locale aux stratégies de réseaux, Présentation des recherches

Ce document est un résumé d'un ensemble de neuf rapports de recherche. Il est composé de 9 parties avec une présentation générale. L'ensemble fait 34 pagesCe document présente de façon résumée les principaux résultats obtenus après 3 années de recherche (1990-1993) financée par le Plan Urbain, dans le cadre de l'appel d'offre recherche liée à l'opération Université 2000. Cette recherche a porté sur les relations ville université établies dans le cadre de l'agglomération de Tours à cette époque. Ll'ensemble des résultats et informations forme un tout qui n'existait pas antérieurement et ce en particulier sur l'organisation universitaire et son fonctionnement en tant que système de Formation. A cette époque, l'activité du groupe fut également l'élément moteur du repositionnement du fait universitaire dans le discours urbain par l'apparition d'un concept nouveau articulatoire soit la notion de "ville universitaire" définie comme ressource majeure au développement local. Si cette figure symbolique s'est imposée à la fin de la recherche, elle a plus contribué à définir un ensemble de problèmes posé par l'actualisation de cette figure, que la résolution de questions immédiates. Sur le plan de l'organisation spatiale, l'identité universitaire reste une dimension à affirmer d'autant plus que les deux pôles majeurs qui structurent la position de l'université dans la ville sont et seront encore soumis à un ensemble d'événements aléatoires qui participeront de leur insertion dans le tissu urbain. L'université ne forme pas un tout homogène. L'étude des comportements estudiantins par rapport à la ville nous le démontre. L'intégration recherchée doit être basée sur une exploitation des singularités. Le multisite tourangeau est un facteur de déploiement des étudiants dans la Ville. Les recherches menées sur le logement et les déplacements nous fournissent un ensemble de données qui pourront être engagées à la fois dans une politique globale du logement et un meilleur couplage entre sites universitaires et pôles urbains des activités étudiantes de loisir, de culture et de sport. L'université est avant tout un système de formations. Ce n'est pas un système structurellement et fonctionnellement homogène. L'université doit être définie comme un champ de ressources diversifiées autorisant l'accession aux formations du supérieur à un ensemble d'étudiants qui ont des origines sociales multiples et qui ont eu antérieurement des cursus de formations variés. Le rôle social de l'université est à rechercher dans cette diversité. Enfin l'université de Tours est une université moyenne et jeune. Avec l'usage de l'outil réseau d'universités, qu'il reste à définir même s'il existe, elle peut participer à l'émergence d'une région du centre ouest avec un capital universitaire autonome et être un élément moteur pour l'aménagement de ce territoire

Théorie des catégories pour la cohérence de modèles multi-niveaux systèmes (MBSE) et sûreté de fonctionnement (MBSA)

The thesis focuses on the topic of system architecture to safety analysis models consistency.Those models aim at representing a same system towards two different modeling intents, representation of the architecture and safety validation of the system.It is therefore necessary to show that both models indeed represent the same system, namely that they are consistent with each-other.There exist different methodologies that allow for consistency assertion and synchronisation of models.In this work we propose a mathematical frame within which such models can be represented, and a general definition of what is a consistency relation between such mathematical objects.This intention of this thesis is to provide means to formally represent MBSE/MBSA models synchronisation methodologies and to do mathematical proofs that such a methodology is efficient.This thesis is part of the S2C project (https://www.irt-systemx.fr/projets/s2c), which is a collaborative project between IRT SystemX and IRT St Exupery.This project is done in partnership with academic, industrial and institutional entities.La thèse s'intéresse au sujet de la cohérence des modèles d'architecture système (MBSE) et de sûreté de fonctionnement (MBSA).En effet, si ces modèles s'attachent à représenter un système à deux intentions différentes, d'un côté la représentation de son architecture, et de l'autre la validation de sa sûreté, il est nécessaire de prouver qu'ils représentent effectivement tous deux le même système, c'est-à-dire qu'ils sont cohérents l'un avec l'autre.Il existe différentes méthodologies qui cherchent à vérifier la cohérence de ces modèles ainsi qu'à les synchroniser.Dans ces travaux de thèse, nous proposons un cadre mathématique dans lequel on peut représenter ces modèles, ainsi qu'une définition de ce qu'est de manière générale une relation de cohérence.L'objectif est de proposer à travers ce cadre, une façon mathématique de représenter les méthodologies de synchronisation de modèles MBSE et MBSA, de manière à contribuer à la démonstration mathématique de l'efficacité de ces méthodes.Cette thèse est effectuée dans le cadre du projet S2C (https://www.irt-systemx.fr/projets/s2c/), projet collaboratif entre l'IRT SystemX (organisme d'hébergement de la thèse) et l'IRT St Exupery.Ce projet est réalisé en partenariat avec des entités académiques, industrielles et institutionnelles, en particulier intéressées par le domaine de l'aéronautique

Théorie des catégories pour la cohérence de modèles multi-niveaux systèmes (MBSE) et sûreté de fonctionnement (MBSA)

La thèse s'intéresse au sujet de la cohérence des modèles d'architecture système (MBSE) et de sûreté de fonctionnement (MBSA).En effet, si ces modèles s'attachent à représenter un système à deux intentions différentes, d'un côté la représentation de son architecture, et de l'autre la validation de sa sûreté, il est nécessaire de prouver qu'ils représentent effectivement tous deux le même système, c'est-à-dire qu'ils sont cohérents l'un avec l'autre.Il existe différentes méthodologies qui cherchent à vérifier la cohérence de ces modèles ainsi qu'à les synchroniser.Dans ces travaux de thèse, nous proposons un cadre mathématique dans lequel on peut représenter ces modèles, ainsi qu'une définition de ce qu'est de manière générale une relation de cohérence.L'objectif est de proposer à travers ce cadre, une façon mathématique de représenter les méthodologies de synchronisation de modèles MBSE et MBSA, de manière à contribuer à la démonstration mathématique de l'efficacité de ces méthodes.Cette thèse est effectuée dans le cadre du projet S2C (https://www.irt-systemx.fr/projets/s2c/), projet collaboratif entre l'IRT SystemX (organisme d'hébergement de la thèse) et l'IRT St Exupery.Ce projet est réalisé en partenariat avec des entités académiques, industrielles et institutionnelles, en particulier intéressées par le domaine de l'aéronautique.The thesis focuses on the topic of system architecture to safety analysis models consistency.Those models aim at representing a same system towards two different modeling intents, representation of the architecture and safety validation of the system.It is therefore necessary to show that both models indeed represent the same system, namely that they are consistent with each-other.There exist different methodologies that allow for consistency assertion and synchronisation of models.In this work we propose a mathematical frame within which such models can be represented, and a general definition of what is a consistency relation between such mathematical objects.This intention of this thesis is to provide means to formally represent MBSE/MBSA models synchronisation methodologies and to do mathematical proofs that such a methodology is efficient.This thesis is part of the S2C project (https://www.irt-systemx.fr/projets/s2c), which is a collaborative project between IRT SystemX and IRT St Exupery.This project is done in partnership with academic, industrial and institutional entities

La pêche au homard / Christian Vidalie, réal. ; Georges Voguet, aut. ; Viviane Gauthier, concept.

Collection : Monde animal-Monde des plantesCollection : Monde animal-Monde des plantesAppartient à l’ensemble documentaire : PoitouCh1Résumé : Sur l'ile d'Oléron, la pêche au homard en mer sur un chalutier et à marée basse, sous les rochers. (source : Média-Scérén)Durée : 00:18:17Thème : Techniqu

Fourier and wavelet spectrograms seen as smoothed Wigner-Ville distributions

International audienc

Production de bio-carburants à partir de micro-algues

Nationa

Category Theory Framework for System Engineering and Safety Assessment Model Synchronization Methodologies

International audienceIn recent decades, there has been a significant increase in systems’ complexity, leading to a rise in the need for more and more models. Models created with different intents are written using different formalisms and give diverse system representations. This work focuses on the system engineering domain and its models. It is crucial to assert a critical system’s compliance with its requirements. Thus, multiple models dedicated to these assertions are designed, such as safety or multi-physics models. As those models are independent of the architecture model, we need to provide means to assert and maintain consistency between them if we want the analyses to be relevant. The model synchronization methodologies give means to work on the consistency between the models through steps of abstraction to a common formalism, comparison, and concretization of the comparison results in the original models. This paper proposes a mathematical framework that allows for a formal definition of such a consistency relation and a mathematical description of the models. We use the context of category theory, as this is a mathematical theory providing great tools for taking into account different abstraction levels and composition of relations. Finally, we show how this mathematical framework can be applied to a specific synchronization methodology with a realistic study case

Seismic stratigraphy of the Lower Cretaceous Valhall Formation (Danish Graben, North Sea)

Detailed seismic stratigraphic analysis of a 3D seismic survey covering the southern part of the Danish Central Graben in the North Sea has revealed a complex stratigraphic basin infill pattern controlled by eustacy and local tectonics in the Lower Cretaceous Valhall Formation. The understanding of the stratigraphic architecture of this mudstone formation is critical for the development of the overlaying chalk reservoirs of the Tuxen and Sola Formations. The applied workflow included an application of flattening in order to approximate the Lower Cretaceous basin morphology, the attenuation of multiples generated by the overlying chalk deposits, a systematic use of both 2D transects and horizon slices in the analysis of the depositional geometries and the application of a Relative Geological Time (RGT) model interpretation technology. The results show an asymmetrical infill of the Lower Cretaceous consisting of westward prograding, mud-dominated clinoforms. The overall progradational pattern is clearly expressed in the most southern part of the basin by coast-parallel features interpreted as shelf margin breaks. The asymmetrical paleotopography, created by the muddy shelf of the Valhall Formation, formed subsequently the substratum for the deposition of the chalks of the Tuxen and Sola Formations, and controlled their facies distribution