Les sciences relevant des sciences du vivant et de l'environnement (biologie, risques naturels, télédétection, etc.) ont depuis de nombreuses années accumulé les données d'observation et développé de grandes variétés de traitements.Les scientifiques de ces domaines doivent asseoir leur réflexion par des validations expérimentales. Celles-ci nécessitent la mise en œuvre de chaînes de traitements (ou protocoles expérimentaux) plus ou moins complexes.Le concept de "workflow" a été introduit de manière globale et raffiné en "workflow scientifique".Les systèmes actuels restent cependant difficiles à appréhender par des scientifiques dont les préoccupations ne relèvent pas directement de l'ingénierie informatique.L'approche suivie, en terme de méthodologie et de composants, propose une solution à ce problème.L'hypothèse initiale repose sur la vision utilisateur qui conçoit son travail en trois étapes :- La phase de planification, qui consiste à définir un modèle métier abstrait d'un workflow ;- La phase intermédiaire, qui consiste à concrétiser le modèle abstrait précédemment défini, en localisant les diverses ressources existantes au sein de ce que nous désignons comme contexte de travail. La définition, la vérification et la validation des modèles concrets reposent sur la connaissance des experts et sur la compatibilité des éléments du modèles ;- La phase dynamique, qui consiste à exécuter le modèle concret validé avec un moteur d'exécution.La thèse se focalise principalement sur les divers problèmes soulevés dans les deux premières phases (planification et intermédiaire).A partir d'une analyse des travaux existants, nous déclinons les divers maillons :méta modèle et langage de workflow, contexte de travail, graphe de ressources, traitement de cas d'incompatibilité de la proposition.La validation des travaux s'est effectuée dans plusieurs domaines cibles: biologie, risques naturels et télédétection.Un prototype a été développé, il propose les fonctionnalités suivantes :conception et sauvegarde de chaines de traitements abstraites,description et localisation de ressources, vérification de la validité des chaînes concrètes. / For many years in life and the environmental science domains (such asbiology, risk, remote sensing, etc.), observational data haveaccumulated and a great number of related applications have beenimplemented. Scientists working in these domains have to establish theirreflections and evaluations based on experimental validations, whichrequire a more or less complex workflow. The "workflow" has beenintroduced as a global and general concept, and defined as "scientificworkflow". However, the current complex systems remain difficult toaccess by scientist, whose expertise is not directly related to thedomain of computer science engineering.Within the following approach we propose a methodical solution for thisproblem.The initial hypothesis is based on the vision of an user, who conceiveshis work in three stages:1) The conception stage, which consists of constructing an abstractworkflow model;2) The intermediate stage, which represents an instantiation step of thepre-defined abstract model, by locating different existing resources inan environment, named "work context" in our approach. The definition,verification and validation of a concrete model depend on the experts'knowledge of his specialized domain and the compatibility of elements inthe model.3) The dynamic stage, which consists of establishing and executing thevalid concrete model by using a workflow execution engine.In this thesis we mainly concentrate on the different problems raised bythe first two stages (conception and intermediate). Based on an analysisof existing efforts we decline some elements such as meta model and theassociated workflow language, work context, resource graph, solution propositions for incompatible compositions.The validation for our approach has been carried out in various target domains such as biology, natural risk and remote sensing. A prototype has been developed, which provides the following functionalities:construction and saving the abstract workflow models, description and location of (data / application) resource, verification and validation of concrete workflow models.

Orientador: João Batista Ernesto de Moraes / Resumo: A Descrição do Documento de Arquivo, como uma das funções de procedimento Arquivístico, é elaborada de modo a permitir a difusão e o acesso aos usuários; tal método procura proporcionar elementos/caracteres do conteúdo formal do documento de forma a se elaborar instrumentos de pesquisa. Assim sendo, a Descrição é um processo de representação dos elementos intrínsecos e extrínsecos ao Documento de Arquivo e deve ser fidedigna. Com isto, objetivou-se conhecer e como ocorrem o Ato Narrativo e a Ética na representação do documento de arquivo, demonstrando que tal ato representativo não é objetivo, mas sim subjetivo advindo de interpretações, de modo a contribuir para discussões e aprofundamento na área de Representação, bem como apresentar subsídios para compreensão da subjetividade sobre o processo de representação por meio da descrição do documento de arquivo, com intuito de descrever os procedimentos metodológicos; reproduzir interlocuções metodológicas e ilustrar a aplicação do processo de descrição sobre os dossiês da Comissão Pastoral da Terra, da CNBB - Conferência Nacional dos Bispos do Brasil - Norte 2 com reflexões dos procedimentos metodológicos e filosóficos apresentados. Assim, identificou-se como resultados que os processos descritivos são interpretativos e podem vir a atribuir juízos críticos valorativos e categóricos por meio da visão de mundo do profissional arquivista durante a representação. Dado que o procedimento de descrição aplicado pelo arquivista em sua a... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The Archive Document description, as one of the Archival Procedure Functions, is elaborated to allow the diffusion and user’s access; this method seeks to provide elements/characters of documents formal contents in order to elaborate research tools. Therefore, description is a representation process of intrinsic and extrinsic of Archive Docmument elements should be trustworthy. With this, it was aimed to know about and how Narrative Act and Ethic occurs in archive document representation, demonstrating that such representative act is not objetive, but subjetive from intepretations, in order to contribute to discussions and deepening of representation area, well with presenting subsidies to subjetive comprehention about de representation process by the archive document descripition, in order to describe methodological procedures; reproduce metodological interlocutions and ilustrate this process application to description about the Comissão Pastoral da Terra dossiers, CNBB – Conferência Nacional dos Bispos do Brasil – Norte 2, with reflections about methodological and filosophical procedures presented. Thus, was identified as results that descriptive process are interpretative and may atribute valuable and categorical critical judgments, through archivist professional worldview during the representation. The description procedure applied by the in his professional performance uses cognitive aspects, based on his interpretations, which seeks to identify and extract the elements/... (Complete abstract click electronic access below) / Resumen: La representación descriptiva en archivología pasa por algunos procesos de creación de archivos correlacionados con sus funciones, tales como la evaluación y la clasificación, entre otros. En esta investigación, la función explorada fue la descripción del documento de archivo, conciliando teóricamente la práctica del “hacer” y del “cómo hacer”, desde el proceso de descripción hasta la representación del documento de archivo, siguiendo los estándares internacionales de descripción desde la concepción posmoderna. La investigación buscó comprender los aspectos del acto narrativo y la ética sobre el proceso de descripción, con el fin de contribuir a la comprensión de estos aspectos en el proceso. Con esto se enfatizó que los procesos descriptivos son interpretativos y atribuyen juicios críticos, valorativos y categorías fundamentados en la cosmovisión del archivista durante el acto de representación. El procedimiento de descripción aplicado por el archivero en su práctica profesional se apoya en aspectos cognitivos interpretativos, que buscan identificar y extraer los elementos y actores del contenido y el contexto del documento de archivo, de forma confiable. Por lo tanto, la representación surgida del proceso de descripción no es neutral ni objetiva, ya que usa percepciones cognitivas, es decir, es subjetiva. Por lo tanto, el acto narrativo en la descripción puede considerarse como el acto de contar o (re)contar una historia. La ética busca guiar la actuación profesional del ar... (Resumen completo clicar acceso eletrônico abajo) / Doutor

The goal of this thesis is to improve efficiency of an induction motor. In the first part, the working principle is described. The next part deals with the origin of losses and possible solutions to decreasing losses without impacting the production possibles. The third part of the thesis is focused on the calculation of parameters of a small serial production motor. In the fourth part, these parameters are verified using the analytical tool RMxprt which is included in Ansys Maxwell. The fifth chapter deals with the optimization using Matlab genetic algorithm. In the final chapter, the design modifications are verified using the method of finite element Ansys Maxwell 2D.

La complexité croissante des Systèmes de Systèmes et autres grandes fédérations d’acteurs pose de nouvelles problématiques de conception et de réalisation. Cette complexité, induite par des structures de management toujours plus sophistiquées et un cycle de vie long, doit être maîtrisée au plus tôt dans la conception des entreprises. Cette maîtrise permet à l’ensemble des intervenants au cours du cycle de vie d’une entreprise d’identifier ses points clés et de prendre confiance en sa capacité à atteindre ses objectifs. En particulier, il importe de savoir estimer les capacités de l’entreprise à s’adapter à des situations imprévues ou exceptionnelles afin d’assurer ses missions en toutes circonstances. En réaction, de nouvelles démarches d’ingénierie émergent. Elles s’appuient sur la modélisation et la simulation de l’architecture de ces systèmes aux différents stades de leur développement et de leur fonctionnement. Dans le cadre d’une de ces démarches nommée IDEA, nous avons enrichi le langage de description d’architecture avec des concepts et des mécanismes ayant pour but d’adresser l’adaptabilité et des capacités de reconfiguration des entreprises. Ces apports ont été expérimentés avec succès par prototypage et dans des contextes d’affaires industrielles. / As the complexity of large civilian and military Systems of Systems and system federations increases, new system architecture and engineering challenge emerge. This complexity is mainly due to intricate management structures and a long lifecycle, and needs to be mastered from the early stages of architecting. All engineering stakeholders need to identify the key aspects of the enterprise and gain confidence in its ability to fulfill its missions. To ensure that the enterprise is able to satisfy its objectives despite evolving situations, there is a need to focus on its capability to adapt through reconfiguration. New engineering approaches emphasize architecture modelling and simulation to tackle the complexity of the enterprise in all stages of its lifecycle in a flexible and global way. In the context of such an approach named IDEA, we updated the architecture description language to include concepts and mechanisms dedicated to the adaptability and reconfiguration of the enterprise. We also focused on ensuring model consistency. The results were experimented through prototyping and application on industrial affairs.

Un nombre croissant d'ontologies de grandes tailles ont été développées et mises à disposition dans des référentiels tels que le NCBO Bioportal. L'accès aux connaissances les plus pertinentes contenues dans les grandes ontologies a été identifié comme un défi important. À cette fin, nous proposons dans cette thèse trois notions différentes : modules d’ontologie minimale (sous-ontologies conservant toutes les implications sur un vocabulaire donné), meilleurs extraits ontologiques (certains petits nombres d’axiomes qui capturent le mieux les connaissances sur le vocabulaire permettant un degré de perte sémantique) et un module de projection (sous-ontologies d'une ontologie cible qui impliquent la subsomption, les requêtes d'instance et les requêtes conjonctives issues d'une ontologie de référence). Pour calculer le module minimal et le meilleur extrait, nous introduisons la notion de justification de subsomption en tant qu'extension de la justification (ensemble minimal d'axiomes nécessaires pour conserver une conséquence logique) pour capturer la connaissance de subsomption entre un terme et tous les autres termes du vocabulaire. De même, nous introduisons la notion de justifications de projection qui impliquent une conséquence pour trois requêtes différentes afin de calculer le module de projection. Enfin, nous évaluons nos approches en appliquant une implémentation prototype sur de grandes ontologies. / An increasing number of ontologies of large sizes have been developed and made available in repositories such as the NCBO Bioportal. Ensuring access to the most relevant knowledge contained in large ontologies has been identified as an important challenge. To this end, in this thesis, we propose three different notions: minimal ontology modules (sub-ontologies that preserve all entailments over a given vocabulary), best ontology excerpts (certain, small number of axioms that best capture the knowledge regarding the vocabulary by allowing for a degree of semantic loss) and projection module (sub-ontologies of a target ontology that entail subsumption, instance and conjunctive queries that follow from a reference ontology). For computing minimal module and best excerpt, we introduce the notion of subsumption justification as an extension of justification (a minimal set of axioms needed to preserve a logical consequence) to capture the subsumption knowledge between a term and all other terms in the vocabulary. Similarly, we introduce the notion of projection justifications that entail consequence for three different queries in order to computing projection module. Finally, we evaluate our approaches by applying a prototype implementation on large ontologies.

Ette thèse s’inscrit dans le contexte de la réalité augmentée (RA). La problématique majeure consiste à calculer la pose d’une caméra en temps réel. Ce calcul doit être effectué en respectant trois critères principaux : précision, robustesse et rapidité. Dans le cadre de cette thèse, nous introduisons certaines méthodes permettant d’exploiter au mieux les primitives des images. Dans notre cas, les primitives sont des points que nous allons détecter puis décrire dans une image. Pour ce faire, nous nous basons sur la texture de cette image. Nous avons dans un premier temps mis en place une architecture favorisant le calcul rapide de la pose, sans perdre en précision ni en robustesse. Nous avons pour cela exploité une phase hors ligne, où nous reconstruisons la scène en 3D. Nous exploitons les informations que nous obtenons lors de cette phase hors ligne afin de construire un arbre de voisinage. Cet arbre lie les images de la base de données entre elles. Disposer de cet arbre nous permet de calculer la pose de la caméra plus efficacement en choisissant les images de la base de données jugées les plus pertinentes. Nous rendant compte que la phase de description et de comparaison des primitives n’est pas suffisamment rapide, nous en avons optimisé les calculs. Cela nous a mené jusqu’à proposer notre propre descripteur. Pour cela, nous avons dressé un schéma générique basé sur la théorie de l’information qui englobe une bonne part des descripteurs binaires, y compris un descripteur récent nommé BOLD [BTM15]. Notre objectif a été, comme pour BOLD, d’augmenter la stabilité aux changements d’orientation du descripteur produit. Afin de réaliser cela, nous avons construit un nouveau schéma de sélection hors ligne plus adapté à la procédure de mise en correspondance en ligne. Cela permet d’intégrer ces améliorations dans le descripteur que nous construisons. Procéder ainsi permet d’améliorer les performances du descripteur notamment en terme de rapidité en comparaison avec les descripteurs de l’état de l’art. Nous détaillons dans cette thèse les différentes méthodes que nous avons mises en place afin d’optimiser l’estimation de la pose d’une caméra. Nos travaux ont fait l’objet de 2 publications (1 nationale et 1 internationale) et d’un dépôt de brevet. / This thesis belongs within the context of augmented reality. The main issue resides in estimating a camera pose in real-time. This estimation should be done following three main criteria: precision, robustness and computation efficiency.In the frame of this thesis we established methods enabling better use of image primitives. As far as we are concerned, we limit ourselves to keypoint primitives. We first set an architecture enabling faster pose estimation without loss of precision or robustness. This architecture is based on using data collected during an offline phase. This offline phase is used to construct a 3D point cloud of the scene. We use those data in order to build a neighbourhood graph within the images in the database. This neighbourhood graph enables us to select the most relevant images in order to compute the camera pose more efficiently. Since the description and matching processes are not fast enough with SIFT descriptor, we decided to optimise the bottleneck parts of the whole pipeline. It led us to propose our own descriptor. Towards this aim, we built a framework encompassing most recent binary descriptors including a recent state-of-the-art one named BOLD. We pursue a similar goal to BOLD, namely to increase the stability of the produced descriptors with respect to rotations. To achieve this goal, we have designed a novel offline selection criterion which is better adapted to the online matching procedure introduced in BOLD.In this thesis we introduce several methods used to estimate camera poses more efficiently. Our work has been distinguished by two publications (a national and an international one) as well as with a patent application.

Dans le contexte du Web sémantique, les ontologies OWL représentent des connaissances explicites sur un domaine sur la base d'une conceptualisation des domaines d'intérêt, tandis que la connaissance correspondante sur les individus est donnée par les données RDF qui s'y réfèrent. Dans cette thèse, sur la base d'idées dérivées de l'ILP, nous visons à découvrir des motifs de connaissance cachés sous la forme de règles d'association multi-relationnelles en exploitant l'évidence provenant des assertions contenues dans les bases de connaissances ontologiques. Plus précisément, les règles découvertes sont codées en SWRL pour être facilement intégrées dans l'ontologie, enrichissant ainsi son pouvoir expressif et augmentant les connaissances sur les individus (assertions) qui en peuvent être dérivées. Deux algorithmes appliqués aux bases de connaissances ontologiques peuplées sont proposés pour trouver des règles à forte puissance inductive : (i) un algorithme de génération et test par niveaux et (ii) un algorithme évolutif. Nous avons effectué des expériences sur des ontologies accessibles au public, validant les performances de notre approche et les comparant avec les principaux systèmes de l'état de l'art. En outre, nous effectuons une comparaison des métriques asymétriques les plus répandues, proposées à l'origine pour la notation de règles d'association, comme éléments constitutifs d'une fonction de fitness pour l'algorithme évolutif afin de sélectionner les métriques qui conviennent à la sémantique des données. Afin d'améliorer les performances du système, nous avons proposé de construire un algorithme pour calculer les métriques au lieu d'interroger viaSPARQL-DL. / In the Semantic Web context, OWL ontologies represent explicit domain knowledge based on the conceptualization of domains of interest while the corresponding assertional knowledge is given by RDF data referring to them. In this thesis, based on ideas derived from ILP, we aim at discovering hidden knowledge patterns in the form of multi-relational association rules by exploiting the evidence coming from the assertional data of ontological knowledge bases. Specifically, discovered rules are coded in SWRL to be easily integrated within the ontology, thus enriching its expressive power and augmenting the assertional knowledge that can be derived. Two algorithms applied to populated ontological knowledge bases are proposed for finding rules with a high inductive power: (i) level-wise generated-and-test algorithm and (ii) evolutionary algorithm. We performed experiments on publicly available ontologies, validating the performances of our approach and comparing them with the main state-of-the-art systems. In addition, we carry out a comparison of popular asymmetric metrics, originally proposed for scoring association rules, as building blocks for a fitness function for evolutionary algorithm to select metrics that are suitable with data semantics. In order to improve the system performance, we proposed to build an algorithm to compute metrics instead of querying via SPARQL-DL.

The master's thesis is a comparative analysis of requirements to the description of archival documents in the Russian Federation and the provisions of the General international standard archival description. The conclusions are drawn about the degree of conformity of domestic and international approaches to archival description. In addition, given the promising directions of theoretical and methodological developments in the study area. / В диссертационной работе проведен сравнительный анализ требований к описанию архивных документов в Российской Федерации и в положениях Основного международного стандарта архивного описания, на основе которого были сформулированы выводы о степени соответствия отечественного и международного подходов к архивному описанию, обозначены перспективные направления теоретических и методических разработок в изучаемой сфере.

Dès le début du 21e siècle, une nouvelle dimension suscite un intérêt grandissant : l’émotion. Ce mémoire propose une étude exploratoire-descriptive de la place qu’occupent les émotions dans la description et la diffusion archivistique. Pour contextualiser cette étude, nous commençons par une revue de la littérature clé publiée entre 2008 et 2020, cette revue illustrant l’évolution de la compréhension et de l’acceptation des émotions par les professionnels de divers milieux (archivistes, historiens, historiens des émotions, et psychologues) dans la description et la diffusion archivistique. Nous étudions ensuite une sélection de règles de description archivistique et la place qui est donnée aux émotions dans la description d’archives, le cas échéant. Ces aperçus mènent à une étude exploratoire-descriptive de trois projets réalisés par deux institutions d’archives québécoises, soit le Musée Lac-Brome et le Musée McCord, dans le cadre desquels des descriptions archivistiques de différentes collections de documents textuels ont été préparées en incluant les émotions évoquées dans les textes décrits. Nous discutons ensuite de notre analyse de différents termes d’indexation et d’émotions référencés dans ces descriptions archivistiques, incluant certaines tendances qui peuvent ressortir. Deux perspectives émergent à partir desquelles l’émotion peut être davantage considérée dans la description archivistique : l’émotion exprimée par les sujets représentés dans le document ou par l’auteur du document ; la place de l’empathie et de l’émotion dans la diffusion archivistique. Ces perspectives pourraient permettre à la communauté archivistique de mieux comprendre et d’accueillir les pratiques naissantes impliquant l’inclusion de l’émotion dans la description et la diffusion archivistique. / Since the beginning of the 21st century, a new dimension has sparked a growing interest : emotions. This dissertation offers an exploratory-descriptive study of the place emotions occupy in archival descriptions and dissemination. To contextualize this study, we begin with a review of key literature between 2008 and 2020 illustrating the evolution of professionals’—archivists, historians, emotions historians, and psychologists—understanding and acceptance of emotions in archival descriptions and dissemination. We then review certain rules for archival description and the place, if any, for including emotions in these descriptions. These overviews lead to an exploratory-descriptive study of three description projects carried out by two Quebec archival institutions, the Lac-Brome Museum and the McCord Museum, who have prepared archival descriptions of different collections of textual records including emotions evoked in these texts. We then discuss our analysis of the different index terms and emotions referenced in these archival descriptions, including certain trends that can be identified. Two perspectives emerge from which emotion can be further considered in archival description : emotion expressed by the subjects represented in the record or by the author of the record ; the place of empathy and emotion in archival dissemination. These perspectives could allow the archival community to better understand and accommodate budding practices involving the inclusion of emotion in archival description and in outreach programs.

Mit der aktuellen Überarbeitung der Sprache SDL (Specification and Description Language) der ITU-T wurde die semantische Fundierung der formalen Definition dieser Sprache vollständig überarbeitet; die formale Definition basiert nun auf dem Kalkül der Abstract State Machines (ASMs). Ebenfalls neu definiert wurde das um objekt-orientierte Konzepte erweiterte Datentypsystem. Damit musste eine formale semantische Fundierung für diese neuen Konzepte gefunden werden. Der bisher verwendete Kalkül ACT.ONE sollte nicht mehr verwendet werden, da er schwer verwendbar, nicht implementierbar und nicht auf Objektsysteme erweiterbar ist. In der vorliegenden Arbeit werden die Prinzipien einer formalen Sprachdefinition dargelegt und die Umsetzung dieser Prinzipien für die Sprache SDL-2000 vorgestellt. Dabei wird erläutert, dass eine konsistente Sprachdefinition nur dadurch erreicht werden konnte, dass die Definition der formalen Semantik der Sprache parallel mit der Entwicklung der informalen Definition erfolgte. Dabei deckt die formale Sprachdefinition alle Aspekte der Sprache ab: Syn-tax, statische Semantik und dynamische Semantik. Am Beispiel der Datentypsemantik wird erläutert, wie jeder dieser Aspekte informal beschrieben und dann formalisiert wurde. Von zentraler Rolle für die Anwendbarkeit der formalen Semantikdefinition in der Praxis ist der Einsatz von Werkzeugen. Die Arbeit erläutert, wie aus der formalen Sprachdefinition voll-automatisch ein Werkzeug generiert wurde, das die Sprache SDL implementiert, und wie die durch die Umsetzung der formalen Semantikdefinition in ein Werkzeug Fehler in dieser Definition aufgedeckt und behoben werden konnten. / With the latest revision of ITU-T SDL (Specification and Description Language), the semantic foundations of the formal language definition were completely revised; the formal definition is now based on the calculus of Abstract State Machines (ASMs). In addition, the data type system of SDL was revised, as object-oriented concepts were added. As a result, a new semantical foundation for these new concepts had to be defined. The ACT.ONE calculus that had been used so far was not suitable as a foundation any more, as it is hard to use, unimplementable and not extensible for the object oriented features. In this thesis, we elaborate the principles of a formal language definition, and the realisation of these principles in SDL-2000. We explains that a consistent language definition can only be achieved by developing the formal semantics definition in parallel with the development of the informal definition. The formal language definition covers all aspects of the language: syntax, static semantics, and dynamic semantics. Using the data type semantics as an example, we show how each of these aspects is informally described, and then formalized. For the applicability of the formal semantics definition for practitioners, usage of tools plays a central role. We explain how we transform the formal language definition fully automatically into a tool that implements the language SDL. We also explain how creating the tool allowed us to uncover and correct errors in the informal definition.