Les moyens offerts par les systèmes de gestion de base de données et les systèmes transactionnels pour maintenir la cohérence et l'intégrité des systèmes d'information sont tout d'abord analysés tant en centralisé qu'en réparti. La seconde partie est consacrée à l'étude de deux grandes classes de méthodes de conception, l'une fondée sur les modèles de description de données, l'autre sur les types abstraits. Dans chaque cas, une méthode particulière est présentée et analysée. Après présentation de l'application bancaire pilote, la troisième partie définit un modèle pour la description des applications transactionnelles. Celui-ci est appliqué et confronté à l'application pilote. La dernière partie décrit la réalisation de ce modèle dans le langage ADA. Un environnement de conception est construit et se présente comme un sur-ensemble du langage ADA. Enfin, cet outil est comparé à d'autres propositions du domaine de la recherche

Étude d'un modèle mathématique pour formaliser le comportement des systèmes parallèles et temps réel, à des fins de spécification de problèmes, de description, d'analyse et de preuve de réalisations. Construction, à partir des mêmes notions, d'un calcul formel conduisant à des méthodes systématiques d'analyse de systèmes logiques temporisés, au niveau algorithmique

Davantage que par le passé, le concepteur de lois de commande se trouve confronté à des systèmes complexes : nombre élevé de dynamiques mais aussi d'actionneurs et de capteurs, voire contraintes spatiales sur la structure du régulateur. Ceci résulte de la complexification croissante des processus industriels, de l'avènement de systèmes de communication performants ainsi que de la recherche de performances accrues (recherche d'une optimisation plus globale).<br /><br />Si la commande décentralisée a mobilisé de nombreux efforts de recherche dés les années 70, de nombreux problèmes restent ouverts. Dans le même temps, des outils d'analyse et de synthèse performants ont été développés, dans le cadre H2 et H¥ notamment. Leur mise en œuvre pour de très grands systèmes (composés le plus souvent de sous-systèmes interconnectés) peut cependant poser problème, et ce d'autant que des contraintes de structure sont appliquées au correcteur.<br /><br />L'élaboration de commandes pour les systèmes complexes requiert à l'évidence de la méthodologie. A cette fin, ce document s'intéresse à l'analyse des interconnexions internes au système pour choisir la structure du régulateur la mieux appropriée. Il considère également la problématique du choix du critère et la possibilité d'aborder séquentiellement l'optimisation globale d'un correcteur H2. Ces réflexions à caractère méthodologique sont mises en œuvre sur un système expérimental (multi-moteurs) d'entraînement de bande flexible.

L'intelligence économique permet de fournir à l'entreprise une compréhension fine de son environnement. Ce concept destiné à aider le processus de décision améliore la gestion des flux informationnels de l'entreprise. Puisqu'une information n'a pas forcément la même signification pour deux individus, il est nécessaire d'avoir un système d'information capable d'aider l'utilisateur à trouver des informations pertinentes en fonctionne de ses besoins.<br />Nous proposons, donc, un modèle fondé sur les besoins informationnels de l'utilisateur qui intègre les caractéristiques individuelles de l'utilisateur, ses activités, son objectif de recherche, le contexte d'utilisation des résultats et l'ensemble d'informations disponibles. Le modèle permet de mieux connaître les attentes des usagers du système en termes d'évolution de leurs connaissances.<br />Ce modèle est implanté dans une interface graphique conçue pour le moteur de recherche d'informations déjà développé au sein de l'équipe SITE

La conception d'un système complexe est une étape cruciale. Ce constat est particulièrement vrai dans le cadre de la conception de systèmes mécatroniques, multi technologies et nécessitant une approche pluridisciplinaire et collaborative. Nous nous plaçons ici dans le cadre de l'Ingénierie Système (IS) qui se focalise sur la définition des besoins et des exigences, la recherche de concepts, puis la définition d'architectures fonctionnelles et organiques d'un système. L'IS promeut pour cela un certain nombre de concepts, de processus et une démarche maintenant éprouvés en industrie, souvent normalisés tout en faisant l'objet de nombreux travaux de recherche. En particulier, nous nous intéressons ici à un processus dit support de l'IS, le processus d'évaluation. Nous nous focalisons particulièrement sur l'évaluation de l'efficacité puis la comparaison des différentes solutions d'architectures fonctionnelles et organiques d'un système mécatronique qui émergent invariablement de la conception. Le but de ce processus est de guider et d'aider au choix, parmi ces architectures candidates mais souvent incomplètes ou à tout le moins immatures en début de conception, d'une solution permettant de maximiser la satisfaction des besoins de toutes les parties prenantes du système. La mise en œuvre de cette évaluation se heurte à plusieurs difficultés. Tout d'abord, la vision consensuelle et unifiée de données, informations et connaissances mais aussi des activités proprement dites d'évaluation, 'au-dessus' des métiers impliqués dans la conception, reste limitée. C'est un premier verrou traité dans ces travaux car son absence est ainsi un frein à l'évaluation objective et partagée d'une solution. Pour contribuer à cette vision consensuelle, il est proposé un modèle conceptuel des données de l'évaluation en ingénierie système. Ensuite, l'estimation des conséquences des choix tout au long d'une conception résolument itérative et qui procède donc à petits pas, le traitement d'objectifs multiples voire contradictoires et la prise en compte de l'incertitude propre à la conception sont autant de problèmes classiques en conception. C'est le verrou central sur lequel ce travail a porté. L'estimation des choix de conception est traitée d'abord par une formalisation des liens de traçabilité entre les exigences, fonctions et composants de la conception. Cette formalisation est un préalable à la détection et correction des incohérences des liens de traçabilité en vue de l'identification automatisée des impacts potentiels des choix d'élément d'architecture sur les différents critères de satisfaction du système à faire. Une articulation entre les modèles de comportement du système à faire et les modèles de décision est ensuite proposée pour agréger le degré de satisfaction des objectifs de la conception, et ainsi assurer la gestion des objectifs multiples voire opposés des parties prenantes. Des techniques d'évaluation qualitative sont enfin proposées afin de trier les alternatives de solution de conception selon leur degré de satisfaction en tenant compte du niveau de maturité croissant mais incertain de la solution. Enfin, on peut regretter le manque d'un environnement de travail permettant de modéliser le système et de procéder aux analyses et évaluations de la solution. Les deux contributions synthétisées ci-dessus ont donc fait l'objet d'une intégration dans un atelier d'IS existant, offrant ainsi un continuum entre activités de conception et activités d'évaluation. Le résultat est ainsi un guide méthodologie outillé pour l'évaluation de systèmes mécatroniques en conception.

La thèse Analyse multifactorielle de l’influence de l’environnement sur la stabilité et la locomotion humaine, propose des recherches théoriques et expérimentales dans le domaine complexe des influences du milieu environnant, à travers ses paramètres spécifiques, sur les performances de la locomotion et d’équilibre stable du corps humain. Elle met ensemble plusieurs domaines pour l’obtention d’une évaluation statistique des influences provenant des paramètres signifiants du milieu environnant sur la locomotion et sur l’équilibre stable, représentés par le centre de pression et par les forces générées dans la zone plantaire. La thèse est structurée en huit chapitres dont quatre sont concernés à l’introduction, les objectifs de la thèse, les conclusions, les contributions originales et le mode de valorisation de la recherche, ainsi qu’aux directions futures de développement, alors que les quatre suivants développent successivement, d’une manière consistante, le sujet de thèse débutant avec l’étude bibliographique dans le domaine spécifique, suivi de l’étude et l’analyse des paramètres spécifiques du milieu environnant, l’analyse de la locomotion et de la stabilité humaine et l’analyse expérimentale des influences de l’environnement sur la stabilité et la locomotion humaine. Elle contient 195 pages, 147 de figures, 22 tableaux et 5 annexes étendues sur 50 pages concernant les recherches expérimentales.Durant le programme de recherche, l’auteur a élaboré et publié 13 articles dans les proceedings des manifestations scientifiques en Roumanie et à l’étranger et a participé à deux contrats de recherche. / The thesis Contributions to research concerning the influences of the environment on human stability and locomotion proposes theoretical and experimental researches in the very complex domain of the influences of environment, described through its specific parameters, on locomotion and stable equilibrium of human body’s performances, characterized by pressure center and by the forces generated in the plantar area. The thesis is structured in eight chapters and, among them: four are concerned on introduction, thesis objectives, conclusions, original contribution and thesis valorization (published papers and research grants)/future research directions. The next four develop, consistently, the thesis subject, beginning with critical analyze of the specialized literature that is followed by the analyze of specific parameters of the environment, the analyze of the human locomotion and stability and of influences of environment on human locomotion and stable equilibrium. It contains 195 pages, 147 figures and 22 tables and is accompanied by 5 annexes on 50 pages concerning the experimental research. During the research program, the author elaborated and published 13 papers in the proceedings of different scientific events in Romania and abroad and was a part of two research teams for scientific grants.

Cette thèse apporte une généralisation du principe de recommandation des systèmes de recommandation. Au lieu de considérer une recommandation comme un item, elle est considérée comme une combinaison constituée de plusieurs items suivant un pattern donné. Une recommandation d'un seul item est alors un cas particulier de ce type de recommandation. L’architecture de système de recommandation proposé se base sur une architecture dérivée des travaux en systèmes hypermédia adaptatifs. Trois couches sont définies : une couche sémantique, une couche utilisateur et une couche intelligence. La couche sémantique est constituée de deux sous-couches, une sous-couche modélisant le contenu suivant la connaissance générale du domaine et une sous-couche modélisant le contenu suivant la connaissance spécifique à l'application, plus précisément spécifique aux possibles contraintes des utilisateurs dans l'application. Cette deuxième partie permet de prendre en compte le savoir-faire du fournisseur de l’offre dans les propositions du système de recommandation. La couche utilisateur modélise l’utilisateur au sein du système de recommandation et la couche intelligence contient le processus de recommandation. Nous proposons de décomposer ce dernier en deux sous-processus principaux, un processus dit de projection des individus du domaine sur les profils utilisateurs et un processus de recherche combinatoire. Le premier apporte une pondération, appelée note dans la plupart des systèmes de recommandation, donnant les intérêts probables des utilisateurs pour les différents items. Le processus de recherche combinatoire recherche parmi la multitude de combinaisons possibles, une solution convenable (optimale si possible) à proposer à l'utilisateur. Cette architecture de système de recommandation combinatoire est appliquée au domaine touristique pour l'entreprise Côte-d'Or Tourisme impliquée dans le contrat de recherche. Le but de cette application est de proposer à l'utilisateur un ensemble d'offres touristiques sous forme de séjour. Ce problème touristique amène à la définition formelle d'un problème d'optimisation combinatoire qui est une variante d'un sous-problème du problème de sac à dos. Pour résoudre ce genre de problème, il est nécessaire d'utiliser une métaheuristique afin de tendre vers une bonne solution en un temps raisonnable. Nous présentons un algorithme basé sur le recuit simulé et un algorithme multi-objectif pour la résolution de ce problème. L’instanciation de chaque couche de l’architecture pour le système touristique est décrite en détail. Enfin, cette thèse présente une application mobile faisant office d’interface utilisateur avec le système de recommandation touristique et elle présente les développements techniques nécessaires à ce projet, étant donné son contexte industriel. / This thesis gives a generalization of the recommendation principle of recommender systems. Instead of considering a recommendation as an item, it is considered as a combination of several items following a given pattern. A recommendation of a unique item is then a particular case of this type of recommendation. The proposed recommender system framework is based on an architecture derived from work in adaptive hypermedia systems. Three layers are defined: a semantic layer, a user layer and an intelligence layer. The semantic layer consists of two sub-layers, a sub-layer modeling the content according to the general knowledge of the domain and a sub-layer modeling the content according to the specific knowledge of the application. This second sub-layer allows taking into account the expertise of the offer’s supplier for the proposals of the recommender system. The user layer models the user into the recommender system and the intelligence layer contains recommendation process. We propose to decompose the adaptation into two main processes, a process called projection of domain’s individuals on user profiles and a combinatorial research process. The first brings a weight, called the note in most recommender systems, giving probable users’ interests on the different items. The combinatorial research process searches among the many possible combinations a suitable solution (optimal if possible) to propose to the user. This framework of combinatory recommender systems is applied to the domain of tourism for the company Côte-d'Or Tourisme implied in the research contract. The purpose of this application is to offer the user a set of tourism offers in the form of journey. This tourism problem leads to the formal definition of a combinatory optimization problem which is a variant of the knapsack problem. To resolve this kind of problem, it is necessary to use a metaheuristic to tend toward a good solution in a reasonable time. We present an algorithm based on simulated annealing and a multi-objective algorithm to solve this problem. The instantiation of each layer of the framework for the tourism system is described in detail. Finally, this thesis presents a mobile application serving as a user with the tourism recommender system and it presents the technical developments for this project.

L'élucidation de la microcircuiterie liant les différentes composantes des ganglions de la base est d'une importance capitale afin d'améliorer notre compréhension de ce système neuronal hautement complexe impliqué notamment dans le contrôle de la motricité. C'est dans cette optique qu'ont été entrepris les travaux de recherche consolidés dans cet ouvrage qui rapporte des données neuroanatomiques nouvelles obtenues chez le singe cynomolgus {Macaca fascicularis) et le singe écureuil (Saimiri sciureus) à l'aide d'une technique de pointe permettant le marquage et la reconstruction tridimensionnelle complète de neurones individuels. L'injection par microiontophorèse d'un traceur antérograde, la biotine dextran aminé, dans le pallidum interne, le complexe centre médian/parafasciculaire du thalamus ainsi que le cortex moteur primaire, a permis de tracer en détail l'arborisation axonale des neurones composant ces structures. L'étude approfondie des neurones de projection du pallidum interne révèle que la majorité des axones pallidofuges sont fortement collatéralisés, un même neurone étant en mesure d'influencer à la fois le thalamus ventral, le complexe centre médian/parafasciculaire du thalamus ainsi que le noyau pédonculopontin du tegmentum mésencéphalique par le biais d'un jeu complexe de collatérales axonales. Il en est de même pour les neurones de projection du complexe thalamique centre médian/parafasciculaire dont le branchement axonal permet d'influencer individuellement et de façon variée, à la fois le cortex cérébral et le striatum. Nos travaux révèlent en plus que, contrairement à ce que l'on croyait, la projection corticostriée en provenance du cortex moteur primaire chez le primate n'est pas dédiée uniquement au striatum. En effet, la découverte de neurones corticaux projetant à la fois au striatum et vers le tronc cérébral via des collatérales axonales prouve que le cortex moteur primaire peut influencer le striatum de façon directe et indirecte. L'ensemble de ces résultats révèle que les ganglions de la base forment un réseau neuronal très vaste dont les éléments constitutifs possèdent un axone fortement collatéralisé. Ces données neuroanatomiques jettent un éclairage nouveau sur l'organisation anatomique et fonctionnelle des ganglions de la base chez le primate et doivent être prises en considération dans l'élaboration de nouvelles approches thérapeutiques visant à contrer les processus neurodégénératifs qui affectent les ganglions de la base, comme ceux associés aux maladies de Parkinson et de Huntington. / A better knowledge of the neural wiring that links the major components of the basai ganglia is essential to understand the complex spatiotemporel séquence of neural events that ensures the correct flow of cortical information through this set of subcortical structures involved in the control of motor behavior. The présent thesis reports novel neuroanatomical findings gathered in both Old World (cynomolgus; Macaca fascicularis) and New Word (squirrel monkey, Saimiri sciureus) primates using a state-of-the-art method allowing a complète labelling and three-dimension reconstruction of single neurons. Microiontophoretic injections of biotin dextran aminé, an anterograde neuronal tracer, in the internai pallidum, the centre médian/parafascicular thalamic complex and the primary motor cortex allowed a detailed description of projection neurons within thèse forebrain structures. Our data show that the majority of pallidal neurons are endowed with a highly collateralized axon that projects to the ventral tiers thalamic nuclei, the centre médian/parafascicular thalamic complex and the brainstem pedunculopontin tegmental nucleus. Our results also reveal that single centre médian or parafascicular neurons are able to influence in a multifarious fashion both the cérébral cortex and the striatum. Furthermore, we hâve shown that the corticostriatal projection arising from primary motor cortex is not dedicated solely to the striatum, in contrast to current belief. We found neurons that project to the striatum indirectly through a thin collatéral emitted by a thick long-range axon heading towards the brainstem, a finding that indicates that the primary motor cortex also has an indirect access to the primate striatum providing this structure with a copy of the neuronal information that is being sent to the brainstem and/or spinal cord. Altogether, thèse data indicate that the main components of basai ganglia in primates harbour différent types of projection neurons, each endowed with a highly collateralized axons. In the light of thèse findings, the basai ganglia can now be viewed as a widely distributed neuronal network, whose éléments are endowed with a highly patterned set of axon collaterals. The understanding of this finely tuned network is a prerequisite for the development of new therapeutic avenues for the treatment of basai ganglia disorders, such as Parkinson's disease and Huntington's chorea.

Le contrôle d'accès permet de spécifier une partie de la politique de sécurité d'un système d'informations (SI). Une politique de contrôle d'accès (CA) permet de définir qui a accès à quoi et sous quelles conditions. Les concepts fondamentaux utilisés en CA sont : les permissions, les interdictions (ou prohibitions), les obligations et la séparation des devoirs (SoD). Les permissions permettent d'autoriser une personne à accéder à des ressources. Au contraire les prohibitions interdisent à une personne d'accéder à certaines ressources. Les obligations lient plusieurs actions. Elles permettent d'exprimer le fait qu'une action doit être réalisée en réponse à une première action. La SoD permet de sécuriser une procédure en confiant la réalisation des actions composant cette procédure à des agents différents. Différentes méthodes de modélisation de politiques de contrôle d'accès existent. L'originalité de la méthode EB3SEC issue de nos travaux repose sur deux points : • permettre d'exprimer tous les types de contraintes utilisées en CA dans un même modèle, • proposer une approche de modélisation basée sur les événements. En effet, aucune des méthodes actuelles ne présente ces deux caractéristiques, au contraire de la méthode EB3SEC. Nous avons défini un ensemble de patrons, chacun des patrons correspond à un type de contraintes de CA. Un modèle réalisé à l'aide de la méthode EB3SEC peut avoir différentes utilisations : • vérification et simulation, • implémentation. La vérification consiste à s'assurer que le modèle satisfait bien certaines propriétés, dont nous avons défini différents types. Principalement, les blocages doivent être détectés. Ils correspondent à des situations où une action n'est plus exécutable ou à des situations où plus aucune action n'est exécutable. Les méthodes actuelles des techniques de preuves par vérification de modèles ne permettent pas de vérifier les règles dynamiques de CA. Elles sont alors combinées à des méthodes de simulation. Une fois qu'un modèle a été vérifié, il peut être utilisé pour implémenter un filtre ou noyau de sécurité. Deux manières différentes ont été proposées pour réaliser cette implémentation : transformer le modèle EB3SEC vers un autre langage, tel XACML, possédant une implémentation ayant déjà atteint la maturité ou réaliser un noyau de sécurité utilisant le langage EB3SEC comme langage d'entrée. [symboles non conformes]

Cette thèse s’intéresse aux systèmes tutoriels intelligents (STI), un type d’environnement informatique pour l’apprentissage humain (EIAH) qui se distingue des autres (p. ex. les exerciseurs et les hypermédias éducatifs) en offrant un mécanisme d’évaluation plus sophistiqué. Parmi les différentes familles de STI, ce sont les STI « par traçage de modèle » (MTT) qui ont le plus fait leurs preuves. Les MTT sont critiqués, premièrement parce qu’ils évaluent l’apprenant de façon serrée (c.-à-d. qui positionne l’action de l’apprenant par rapport à une ou plusieurs méthodes pour effectuer la tâche), ce qui n’est possible que pour des tâches bien définies. Par conséquent, on leur reproche d’encourager un apprentissage superficiel. Deuxièmement, parce que les efforts de création qu’ils requièrent sont jugés prohibitifs, ce qui a mené à l’apparition d’autres familles de STI, comme les STI « par contraintes » et les STI « par traçage d’exemples » et ceux basés sur l’apprentissage automatique. Par cette thèse, nous voulons contribuer à renouveler l’intérêt pour les MTT en améliorant le rapport entre les efforts de création et l’efficacité potentielle des interventions, et en établissant plus clairement leur rôle pédagogique. Pour ce faire, nous proposons la plateforme Astus qui permet d’explorer l’espace qui existe entre les MTT créés avec les plateformes existantes, et des MTT dédiés ayant recours à des connaissances didactiques sophistiquées (p. ex. des dialogues) qui exigent des efforts de création encore plus importants. La plateforme Astus se distingue des plateformes existantes parce qu’elle génère des interventions plutôt que de recourir à des interventions prémâchées et qu’elle supporte les tâches s’effectuant dans des environnements qui ont une dimension physique. La génération des interventions dépend : d’un modèle de la tâche qui s’inscrit dans le paradigme du tuteur, c’est-à-dire qui représente une abstraction et une généralisation des instructions d’un tuteur humain; d’un modèle de l’UI qui permet des interventions riches comme une démonstration (c.-à-d. déplacements du pointeur et simulation des clics et des saisies); de langages dédiés et d’outils qui réduisent les efforts de création des auteurs; de mécanismes d’extension qui permettent d’adapter la génération en fonction d’une stratégie pédagogique particulière. Le paradigme du tuteur, parce qu’il favorise une communication transparente entre le système et l’apprenant, met en évidence les avantages et les désavantages de l’approche pédagogique des MTT, essentiellement une évaluation précise (c.-à-d. qui permet de produire des indices sur la prochaine étape et des rétroactions sur les erreurs), mais serrée. En s’inscrivant explicitement le paradigme du tuteur, entre autres en évitant de tirer profit de la nature de domaines particuliers ou de propriétés de tâches particulières pour assouplir l’évaluation, la plateforme Astus se démarque plus nettement des autres familles de STI que les autres MTT. Par conséquent, elle établit plus clairement le rôle pédagogique des MTT. Cinq expérimentations (menées par Luc Paquette) à petite échelle ont été réalisées auprès d’étudiants au baccalauréat au département d’informatique (un laboratoire pour la manipulation d’arbres binaires de recherche et un pour la conversion de nombres en virgule flottante). Ces expérimentations indiquent que les interventions générées sont efficaces. Au-delà de ces résultats, c’est le processus entourant ces expérimentations, parce qu’il est comparable au processus des chercheurs potentiellement intéressés par la plateforme Astus, qui montre que la version présentée dans cette thèse est plus qu’un prototype et qu’elle peut être utilisée à l’interne dans un contexte réel.