La réponse automatique aux courriels est une solution envisagée pour faciliter le travail de certains services d’entreprises, tels que les services à la clientèle ou les relations avec des investisseurs, services confrontés à un grand nombre de courriels souvent répétitifs. Nous avons décidé d’adapter une approche de raisonnement à base de cas (CBR - Case-Based Reasoning) pour confronter ce problème. Cette approche vise à réutiliser des messages antérieurs pour répondre à de nouveaux courriels, en sélectionnant une réponse adéquate parmi les messages archivés et en l’adaptant pour la rendre pertinent par rapport au contexte de la nouvelle requête. L’objectif de nos travaux est de définir une démarche pour aider l’usager d’un système de réponse au courriel à réutiliser les entités nommées de courriels antécédents. Cependant, les entités nommées nécessitent une adaptation avant d’être réutilisées. Pour ce faire, nous effectuons deux tâches qui sont d’abord l’identification des portions modifiables du message antécédent et ensuite la sélection des portions qui seront adaptées pour construire la réponse à la requête. Les deux tâches nécessitent l’utilisation de connaissances. Notre problématique consiste à déterminer si les approches adaptatives, basées sur des techniques d’apprentissage automatique permettent d’acquérir des connaissances pour réutiliser efficacement des entités nommées. La première tâche d’identification des portions modifiables s’apparente à l’extraction d’information. Toutefois nous nous intéressons uniquement aux entités nommées et à leurs spécialisations. La seconde tâche, la sélection de portions à adapter, correspond à une catégorisation de textes dans laquelle nous utilisons la requête pour attribuer une classe à la réponse que nous devons construire. La classe nous indique quelles entités doivent être adaptées. ii Nous avons étudiés et comparées différentes approches pour les deux tâches. Ainsi, nous avons testés pour l’extraction, les approches manuelle et automatiques, de haut en bas (top-down) et de bas vers le haut (bottom-up) sur un corpus de courriels. Les résultats obtenus par l’approche manuelle sont excellents. Toutefois nous observons une dégradation pour les approches automatiques. Pour la catégorisation, Nous avons évalué différentes représentations des textes et des mots, l’utilisation de poids pour ces derniers, et l’impact d’une compression obtenue par l’utilisation de règles d’association. Les résultats obtenus sont généralement satisfaisants et nous indique que notre approche, composée des deux tâches décrites précédemment, pourrait s’appliquer à notre problème de réponse automatique aux courriels. / An automatic e-mail response system is a solution for improving the operations of certain business services, like customers’ services or investor relations. Those services are dealing with a large volume requests coming through e-mail messages, most of them being repetitive. We have decided to explore a CBR approach (Case-Based Reasoning) for this problem. Such an approach makes use of antecedent messages to respond to new incoming e-mails. Requests coming from customers or investors are often redundant; we could select an adequate answer among the archived messages, and then adapt it to make it coherent with the actual context of the new message request. In this project, we address the re-use problem, but more specifically the identification of named entity and their specialized roles. These entities are portions of text strongly depend on the context of the antecedent message, and hence need some adaptation to be re-used. We divide the reuse process in two tasks which are: a) the identification of modifiable portions of an antecedent message; b) the selection of portions to be adapted to build the answer of the request. For first task, we make use of information extraction techniques. But we will concentrate our efforts uniquely on the extraction of named entities and their specializations. For second task we make use of text classification techniques to decide which portions are subject to adaptation. This decision is based on the context of the request, words which compose it. We used different approaches for the two tasks. We tested manual and automatics top-down and bottom-up extraction techniques on an e-mail corpus for the identification of iv modifiable portions extraction task. Manual approach gives us excellent results. But, we notice a degradation of performance for automatic extraction techniques. For the selection of portions to be adapted, we compared made use of association rules and various word representation. Association rules use permits to compress data without degrades results a lot. Globally, results are good and indicate that our approach, desrcibes before, could be applied to our problem.

Doctorat en sciences psychologiques / info:eu-repo/semantics/nonPublished

Résumé: Les propriétés que l'on souhaite exprimer sur les applications système d'information ne peuvent se restreindre aux propriétés statiques, dites propriétés d'invariance, qui portent sur des états du système pris au même moment. En effet, certaines propriétés, dites propriétés dynamiques, peuvent faire référence à l'état passé ou futur du système. Les travaux existants sur la vérification de telles propriétés utilisent généralement le model checking dont l'efficacité pour le domaine des systèmes d'information est plutôt réduite à cause de l'explosion combinatoire de l'espace des états. Aussi, les techniques, fondées sur la preuve, requièrent des connaissances assez avancées en termes de raisonnement mathématique et sont donc difficiles à mettre en œuvre d'autant plus que ces dernières ne sont pas outillées. Pour pallier ces limites, nous proposons dans cette thèse des méthodes de vérification de propriétés dynamiques basées sur la preuve en utilisant la méthode formelle B. Nous nous intéressons principalement aux propriétés d'atteignabilité et de précédence pour lesquelles nous avons défini des méthodes de génération d'obligations de preuve permettant de les prouver. Une propriété d'atteignabilité permet d'exprimer qu'il existe au moins une exécution du système qui permet d'atteindre un état cible à partir d'un état initial donné. Par contre, la propriété de précédence permet de s'assurer qu'un état donné du système est toujours précédé par un autre état. Afin de rendre ces différentes approches opérationnelles, nous avons développé un outil support qui permet de décharger l'utilisateur de la tâche de génération d'obligations de preuve qui peut être longue et fastidieuse.||Abstract: The properties that we would like to express on data-intensive applications cannot be limited to static properties, called invariance properties , that depend on states taken at the same time. Indeed, some properties, called dynamic properties, may refer to the past or the future states of the system. Existing work on the verification of such properties typically use model checking whose effectiveness for data-intensive applications is rather limited due to the combinatorial explosion of the state space. In addition, the techniques, based on the proof, require fairly advanced knowledge and mathematical reasoning especially that they are not always supported by tools. To overcome these limitations, we propose in this thesis proof-based verification approaches that use the B formal method. We are mainly interested in reachability and precedence properties for which we defined formal rules to generate proof obligations that permit to discharge them. A reachability property expresses that there is at least one execution scenario that permits to reach a target state from a given initial state while a precedence property ensures that a given system state is always preceded by another state. To make these different approaches workable, we have developed a support tool that permits to discharge the users from tedious and error-prone tasks.

Au cours des dernières décennies, l'utilisation de l'aluminium n'a cessé d'augmenter dans différents secteurs industriels. Par ailleurs, dans le domaine de la Conception Assistée par Ordinateur (C.A.O.), les opportunités de développement d'outils de design de l'aluminium sont encore nombreuses. Le présent mémoire propose une méthodologie générale permettant la conversion de pièces structurelles de l'acier vers l'aluminium. Une démarche définie par cinq étapes principales est élaborée à l'aide de différents algorithmes : (1) Analyse mécanique d'une pièce structurelle en acier ; (2) Définition des critères de conception ; (3) Paramétrage de la pièce ; (4) Analyses itératives de pièces d'aluminium ; (5) Élaboration des alternatives retenues et rejetées du design en aluminium. Parallèlement au développement de la méthodologie, les possibilités d'implémentation sont étudiées. Certains concepts d'automatisation sont proposés à l'aide du logiciel CATIA. Un exemple général est proposé, à la fin du mémoire, afin d'illustrer les différentes étapes de la méthodologie.

L'application du traitement de l'image et son automatisation dans le domaine de l'imagerie médicale montre l'évolution des tendances avec la disponibilité des technologies émergentes. Les procédés et outils de traitement de l’image médicale sont résumés, les différentes manières de travailler sur une image sont représentés pour expliquer une recherche expansive dans différents domaines, tandis que les applications disponibles sont discutées. Ces applications sont aussi illustrées par le biais d’outils du traitement de l’image développés pour des besoins spécifiques. La catégorisation de chaque travail est effectuée selon des paradigmes. Ces derniers sont définis selon le niveau de considération au niveau global (formation de l’image, amélioration, visualisation, analyse, gestion), au sein de l’image (scène, organe, région, texture, pixel), de l’outil (reconstruction, recalage, segmentation, morphologie mathématique), du processus d’automatisation et de son applicabilité (faisabilité, validation, reproductibilité, implémentation, optimisation) en clinique (prédiction, diagnostic, amélioration, aide à la décision), ou en recherche (niveau de preuve). Par ce biais, il est démontré le rôle de chaque outil pris en exemple dans la construction d’un processus d’automatisation qui est expliqué, et étendu du patient au compte rendu en passant par l’image. L’actualité de la recherche conjointe sur le traitement de l'image et le processus d'automatisation en imagerie médicale actuelle est débattue. Le rôle de la communauté des ingénieurs et radiologues dans et autour de ce processus d’automatisation est discuté. / The application of image processing and its automation in the field of medical imaging shows the evolution of trends with the availability of emerging technologies. Medical image processing methods and tools are summarized, different ways of working on an image are represented to explain expansive search in different domains, while available applications are discussed. These applications are also illustrated through image processing tools developed for specific needs. The categorization of each work is done according to paradigms. These are defined according to the level of consideration at the global level (image formation, improvement, visualization, analysis, management), within the image (scene, organ, region, texture, pixel), of the tool (reconstruction, registration, segmentation, mathematical morphology), the automation process and its applicability (feasibility, validation, reproducibility, implementation, optimization) in clinic (prediction, diagnosis improvement, decision support), or in research (level of evidence). In this way, it is demonstrated the role of each tool taken as an example in the construction of an automation process that is explained, and extended from the patient to the report through the image. News from the joint research on image processing and the automation process in current medical imaging is debated.The role of the community of engineers and radiologists in and around this automation process is discussed.

Thèse doctorat : Automatique Industrielle : Villeurbanne, INSA : 2004. / Titre provenant de l'écran-titre. Bibliogr. p. 169-[176].

Thèse de doctorat : Sciences et techniques : Nancy 1 : 1999. / 1999NAN10242. Titre provenant de l'écran-titre.

Reproduction de : Thèse doctorat : Génie informatique, automatique et traitement du signal : Reims : 2008. / Titre provenant de l'écran titre. Bibliogr. p. 163-170.

Mémoire (M.Sc.A.)--Université du Québec à Chicoutimi, 1990. / Document électronique également accessible en format PDF. CaQCU

Thèses (M.Sc.A.)--Université de Sherbrooke (Canada), 1998. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.