Étude de l'analyse formelle dans les données relationnelles : application à la restructuration des modèles structuraux UML

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal

Un système décisionnel pour l’analyse de la qualité des eaux de rivières

National audienceThis article describes a decisional system developed to allow the analysis of data about hydro-ecosystem functioning; there are numerous and various data, from several sources. The implemented system includes an integrated database, a datawarehouse for exploring data dimensions, and data mining tools for answering hydroecologists’ questions.Cet article décrit un système décisionnel développé pour permettre l’analyse des données concernant le fonctionnement des hydro-écosystèmes ; ces données sont nombreuses, diverses et issues de sources variées. Le système mis en place comporte une base de données intégrée, un entrepôt permettant l’exploration des dimensions associées aux données, et des outils de fouille permettant de répondre aux questions des hydro-écologues

Analyse des systèmes - Sûreté de fonctionnement

La complexité croissante des organisations et systèmes industriels et la recherche récurrente d’une meilleure compétitivité forcent les entreprises et gestionnaires d’équipements à une évaluation systématique et quasi continue des performances. La performance est multidimensionnelle. Déclinée suivant des attributs de coût, qualité, délai,…, des critères de productivité, flexibilité, robustesse,…, des aspects environnementaux, sociaux, sociétaux,…, elle doit être évaluée sur l'ensemble du cycle de vie du système ou des produits réalisés. Cette diversité, motivée par une logique socio-économique de développement durable, génère un besoin fort en méthodologies, techniques et outils pour aider aux choix des décideurs dans les phases de conception, de développement ou d’exploitation des produits et systèmes. Nombreuses sont les réponses ; nombreux aussi sont les ouvrages et articles spécialisés qui exposent celles-ci, depuis un état détaillé de toutes les formes d’aide jusqu’à la présentation précise d’outil ou de technique particulière. L’objectif de l'article est de fournir une approche efficace d’analyse d’un système afin d'estimer et d'évaluer la performance de celui-ci. Les éléments méthodologiques qui garantissent une analyse rationnelle du système et de ses performances seront mis en exergue, focalisant sur les aspects sûreté de fonctionnement considérés dès les étapes de conception ; la recherche de performance est, en effet, corrélée au souci constant d‘amélioration de la disponibilité opérationnelle du système et d’optimisation de son coût global de possession

Gérer les informations temporelles dans et par les modèles informatiques

International audienceTemporal information proves to be prominent in many scientific problems. As regards Geography, temporal concerns are often in long or mean term interaction with spatial aspects and calendar issues. Practical and theoretical approaches necessarily cross-reference various viewpoints from several scientific communities. The use of formal models is a means to make languages and practices more accurate and efficient, hence leading to more efficiency (consistency, correction, reusability…). The will to access larger, more and more complex and heterogeneous pieces of information, leads to master the way to populate and query data warehouses and knowledge bases. With several paradigms, computer science, provides models which can express and help solving many current and forthcoming problems. This paper gives an overview of the state of art in the matter of temporal modelling, accompanied with some meta-model instances and some insight into practical applications.Les informations temporelles jouent un rôle important dans une grande majorité de problèmes scientifiques. En géographie, l'interaction avec les aspects spatiaux et la référence à des calendriers sur de longues périodes est fréquente. Les approches théoriques ou expérimentales croisent nécessairement différents points de vue de plusieurs communautés scientifiques. Pour préciser et unifier les langages et les pratiques, l'utilisation systématique de modèles plus ou moins formels est une garantie d'efficacité (cohérence, correction, réutilisation, etc.). L'accès à des masses toujours plus importantes d'informations complexes et hétérogènes, la volonté de capitalisation des résultats nécessitent le peuplement et l'interrogation d'entrepôts de données et de bases de connaissance. L'informatique produit des modèles qui permettent de formuler et de résoudre un grand nombre de questions en la matière. Le présent article donne un état de l'art sur le sujet ainsi que des exemples de modèles assortis de références à des travaux applicatifs