COSMOS : composition de noeuds de contexte

National audienceLes applications ubiquitaires évoluent dans une grande diversité de contextes d'utilisation. Or, cette diversité requiert une adaptation continuelle afin de préserver le bon fonctionnement des applications. Dès lors, l'observation du contexte joue un rôle prépondérant. Si les approches actuelles « centrée utilisateur » et « système » ont prouvé leur pertinence dans ce domaine, elles souffrent néanmoins de certaines limitations liées à l'expressivité des compositions des inférences et au passage à l'échelle. Par conséquent, nous proposons de réorganiser les fonctionnalités traditionnelles d'un gestionnaire de contexte de manière systématique en cycles « collecte / interprétation / identification de situations ». Cette approche repose sur la définition du concept de noeuds de contexte composés dans un graphe (hiérarchie avec partage), et l'expression du concept en composant et architecture logicielle pour faciliter la définition et la gestion des politiques de gestion de contexte

Qu'est-ce que Chambord ? étude du décor sculpté et nouvelles interprétations.

National audiencePartant du constat qu'aucun relevé exhaustif du décor sculpté de Chambord n'avait jamais été effectué, nous avons entrepris un travail de recensement qui a permis la mise en évidence de thèmes ornementaux originaux et d'un décor clairement soumis à un programme. Nous en sommes venus à proposer une nouvelle lecture de Chambord qui met en valeur le caractère éminemment religieux et politique de l'édifice

Étude de la stabilité de poteaux d'acier formés à froid de section octogonale

Les pylônes sont des supports métalliques réservés surtout aux lignes de transport, alors que les poteaux en bois ou en béton servent plutôt aux lignes de distribution. En raison de la diminution des réserves de bois d'¶uvre, les constructeurs canadiens songent sérieusement à remplacer les poteaux de bois par des poteaux d'acier. Des marches pour l'exportation de poteaux et pylônes en acier existent déjà.Les poteaux en acier de section polygonale sont aussi considérés comme des éléments structuraux prometteurs pour les tours d'éclairage, les tours de transmission, les piles pour les autoroutes, les haubans des pylônes des ponts, du point de vue aérodynamique et esthétique. L'objectif de ce projet est d'étudier la stabilité de poteaux en acier à parois minces formes à froid. Pour ce faire, on a opté pour des poteaux d'acier de forme octogonale. Deux types de poteaux seront considérés pour cette étude à savoir, un octogone régulier et un autre irrégulier, chacune de ces structures présentera deux types d'assemblage longitudinal : un assemblage avec une soudure et un autre avec deux soudures, ce dernier permettra un transport aisé des structures en imbriquant les deux parties du poteau. Le rapport comporte essentiellement trois volets : une étude bibliographique des travaux antérieurs entrepris dans le même contexte, un calcul par le biais du logiciel d'éléments finis COSMOS/M et une série de tests en laboratoire sur huit poteaux d'acier à parois minces formes à froid de forme octogonale

Contrôle des procédures d'affaires

La modélisation des procédures d'affaires est un domaine de recherche récent qui vise à faciliter la compréhension et la communication entre agents humains, à supporter et à améliorer les processus de travail, ainsi que leur gestion, leur automatisation et leur exécution.La plupart des résultats obtenus dans ce domaine concernent des langages de description de procédures d'affaires qui permettent d'instancier un modèle donné dans un environnement cible. En pratique, l'organisation est formée par trois sous-systèmes, à savoir : le système opérant (transformé, produit), le système de pilotage (réfléchi, décidé, contrôlé) et le système d'information (mémorisé, traité, diffusé). Le travail de recherche présenté dans ce mémoire constitue une étude exploratoire qui porte sur l'utilisation de la théorie du contrôle des systèmes à événements discrets dans la modélisation et le contrôle de procédures d'affaires. Nous montrons comment des contrôleurs peuvent être intégrés à une organisation en considérant le système opérant comme un procédé et le système de pilotage comme un contrôleur. Nous montrons aussi à partir de deux exemples comment appliquer des algorithmes de synthèse de contrôleurs propres à théorie du contrôle des systèmes à événements discrets. Un contrôleur est généré à partir du comportement dynamique des procédures d'affaires et de règles de gestion modélisées à l'aide d'automates ou de réseaux de Petri

Du mythe á l'archéologie mythique.

Sin resume

Chronique d’une invention : le phonautographe d’Édouard-Léon Scott de Martinville (1817-1879) et les cercles parisiens de la science et de la technique

Cette étude, entreprise par la Commission d’histoire de la Société d’encouragement après la visite récente de chercheurs américains à la poursuite des grands ancêtres de l’enregistrement sonore, nous a conduits sur les traces d’un « artiste » peu connu aujourd’hui, Édouard-Léon Scott de Martinville [1817-1879]. L’activité de cet inventeur, précurseur des études modernes de phonétique acoustique, témoigne du fonctionnement des milieux académiques et industriels du Second Empire, à la charnière de la science et de la technique. Et ses apports se sont avérés aller bien au-delà de ce qu’il avait pu lui-même imaginer.Following a recent visit of two American scholars in Paris, looking for the great ancestors of the sound recordings, some members of the Historical Commission of the « Société d’encouragement pour l’industrie nationale » undertook a study on Edouard-Léon Scott de Martinville (1817-1879) and his activities. This inventor, who is not very well-known today, is one of the precursors of modern studies on acoustical phonetics. Scott’s activities illustrate the part played by academic and industrial circles during the French Second Empire for connecting between science and technology. Surprisingly, Scott’s contributions went beyond those he himself imagined

Prise en compte de la dynamique du contexte pour les systèmes ambiants par systèmes multi-agents adaptatifs

Les systèmes ambiants se composent de nombreux appareils électroniques hétérogènes, distribués dans l'environnement et interagissant de façon dynamique. Dès lors, l'individu est au centre des préoccupations de la conception de ces systèmes qui peuvent et doivent s'adapter au contexte des utilisateurs. On parle alors de systèmes sensibles au contexte. Cependant, la forte dynamique des systèmes ambiants rend difficile, voire impossible, d'établir à l'avance pour de tels systèmes toutes les règles d'adaptation nécessaires. L'apprentissage du comportement à attribuer à un système ambiant en fonction du contexte, en s'affranchissant de toute connaissance a priori, qu'il s'agisse de connaissance sur le comportement qu'il cherche à apprendre, sur les données manipulées, sur les préférences ou profils des utilisateurs, est un défi à lequel tente de répondre cette thèse. La principale contribution de ce travail porte sur la conception du système multi-agent Amadeus. Son objectif est d'apprendre un comportement pertinent pour un système ambiant en se basant sur l'observation des actions récurrentes des utilisateurs, puis d'établir dans quels contextes ces actions sont réalisées afin de suppléer l'utilisateur si une situation similaire se présente. L'apprentissage réalisé par Amadeus s'appuie sur l'approche par AMAS (Adaptive Multi-Agent System), et est local à chaque dispositif. Il consiste à distribuer et à intégrer les agents d'Amadeus à chaque dispositif composant le système ambiant, ces agents étant alors en charge d'apprendre et de mettre en œuvre localement et coopérativement le bon comportement à attribuer au dispositif associé en fonction des actions de l'utilisateur.The ambient systems are composed by many heteregeneous devices, distributed in the environment, and interacting dynamically. So, the person is a central concern of these systems that have to adapt themselves to the users' context. Thos kind of systems are called/named context aware system. However, the strong dynamic of ambient systems makes impossible to design a priori all adaptation rules needed. The learning of the behaviour to give to an ambient system depending of its context, independantly of any a priori knowledge -knowledge about the behaviour he has to learn, about the used data, or about the users preferences- is the challenge to which this thesis tries to answer. The main contribution of this work is the design of the adaptive multi agent system Amadeus. Its objective is to learn a pertinent behaviour for an ambient system based on the observation of the reccuring actions performed by users, and then to determine in which contexts theses actions are performed in order to perform them on behalf of the user. The learning performed by Amadeus is based on the AMAS approach (Adaptive Multi-Agent System), and is local to each device. It consists in distributing and integrating the Amadeus agents to each device of the ambient system, these agents being able to determine locally and cooperatively the good behaviour to assign to the associated device depending of the users actions

Canevas de développement agile pour l'évolution fiable de systèmes logiciels à composants et orientés services

Modern software is characterized by a need for constant and rapid evolution, such as in the mobile domain. To facilitate the development and the rapid evolution of complex systems, software engineering approaches have been proposed, such as software architecture and agile software development. However, current solutions offer poor support to enable the development of a reliable system, i.e, allow its modification while ensuring its compliance with the quality of services requirement and its good overall safety. The contribution of this PhD thesis is CALICO, an agile development framework for the design and evolution of safe component-based and service-oriented software. The agile software development relies on an iterative and incremental development cycle that allows the architect to iterate between the design of the architecture and the debug of the software in its execution context. At each iteration, the architect can evolve its software and check the consistency of its evolution through the execution of static and dynamic analysis tools. Thus, during the design and the evolution of the system, architect can use a set of metamodels to specify the structure of the architecture and its various quality of services requirement. During the deployment, CALICO instantiates the system on the target runtime platform from the models specified and keeps them synchronized with the software during its execution. By this way, the architect still has a conceptual view which allows him to reason on the critical software properties during its evolution. Moreover, in order to check these evolutions, CALICO provides a unifying framework which allows reuse of many static analysis tools of software architectures and dynamic debugging tools, that were scattered in different existing platforms. Thus, each change can be statically analyzed on the conceptual view before being propagated to the software system. Dynamic analysis are based on data values only available during the execution. The capture of these values is done through automatic instrumentation of the software system. Globally, CALICO enables reliable evolution even if the underlying platforms does not natively provide this support. Our contribution is concretized by a multi-platform implementation. The current version handles four component-based and service-oriented platforms. Moreover, the benchmarks that we have performed show that CALICO is usable for the design and development of safe applications up to 10,000 components and services, which corresponds to the maximal load of most runtime platforms.Les systèmes logiciels modernes se caractérisent par un besoin d'évolutions perpétuelles et rapides, comme par exemple dans le monde de l'informatique mobile. Pour faciliter le développe\-ment et l'évolution rapide de systèmes complexes, des approches de génie logiciel ont été proposées, telles que les architectures logicielles et la méthode de conception agile. Néanmoins, les solutions actuelles offrent peu de support pour permettre l'évolution fiable d'un système, c'est-à-dire permettre sa modification tout en garantissant le respect de ses exigences de qualités de service et de bon fonctionnement global. La contribution de cette thèse est CALICO, un canevas de développement agile pour la conception et l'évolution fiable de systèmes logiciels à composants et orientés services. Le développement agile repose sur l'utilisation d'un cycle de développement itératif et incrémental qui permet à l'architecte d'itérer entre les étapes de conception de l'architecture et de débogage du logiciel dans son environnement d'exécution. A chaque itération du cycle, l'architecte peut faire évoluer son logiciel et fiabiliser ses évolutions grâce à l'exécution d'analyses statiques et dynamiques complémentaires. Ainsi, lors de la conception et de l'évolution d'un système, l'architecte dispose d'un ensemble de métamodèles pour spécifier la structure de l'architecture de son logiciel et ses diverses exigences de qualité de services. Lors du déploiement, CALICO utilise les modèles spécifiés pour instancier le système sur la plate-forme d'exécution cible et les garde synchronisés avec le logiciel lors de son exécution. De cette façon, l'architecte dispose toujours d'une vue conceptuelle qui lui permet de raisonner sur les propriétés critiques de son logiciel lors d'une évolution. De plus, pour fiabiliser ces évolutions, CALICO offre un cadre fédérateur qui autorise la réutilisation de nombreux outils d'analyse statique des architectures logicielles et de débogage dynamique qui étaient jusqu'alors dispersés dans différentes plates-formes existantes. Ainsi, chaque évolution peut être analysée statiquement sur la vue conceptuelle avant d'être propagée au système logiciel. Les analyses dynamiques reposent quant à elles sur des valeurs disponibles à l'exécution. La capture de ces valeurs est effectuée grâce à une instrumentation automatique du système logiciel. CALICO permet donc de fiabiliser les évolutions même si les plates-formes d'exécution sous-jacentes ne le proposent pas nativement. Notre contribution se concrétise par une implémentation multi plates-formes. La version actuelle prend en charge quatre plates-formes à composants et une plate-forme à services. Par ailleurs, les tests de performances que nous avons réalisés démontrent que CALICO est utilisable pour la conception et l'évolution fiable de larges applications jusqu'à 10000 composants et services, ce qui correspond à la montée en charge maximale de la plupart des plates-formes d'exécution