Les supports des interventions, ayant eu lieu dans les locaux de l’École des Mines, sont présentés dans le tableau ci-dessous.

Bernard Foray
Responsable de la sécurité du système d’information du groupe Casino

Le jeudi 12 janvier 2012 à 14h00, amphi 104, Espace Fauriel

"La fonction RSSI, bonnes pratiques et retour d’expérience"

Résumé :

L’intervenant s’attachera à montrer toutes les facettes du métier de responsable de la sécurité du système d’information (RSSI) tant sur les aspects techniques, que comportementaux ou organisationnels. Au travers de retours d’expérience, l’intervenant structurera sa présentation en 4 parties :

• la préparation au métier de RSSI (processus de sécurité, rôle et moyens d’action...)
• les fondamentaux de la sécurité (politiques, filtrage des flux, mécanismes d’authentification, gestion de la vulnérabilité...)
• les activités opérationnelles (authentification forte, mobilité, wifi, spam, continuité de service, sensibilisation à la sécurité, conformité informatique et libertés)
• les moyens de contrôle (tableau de bord, tests intrusifs, mesure de l’efficacité...)

Davy Monticolo
Laboratoire ERPI ENSGI / Institut national Polytechnique de Lorraine

Le mercredi 14 décembre 2011 à 14h00, amphi 104, Espace Fauriel

"Une approche organisationnelle pour la conception d’un système de gestion des connaissances"

Résumé :

L’ingénierie des connaissances est définie comme une démarche systémique et holistique en vue d’améliorer la gestion des connaissances (identification, extraction, annotation, mise à jour, évaluation, réutilisation, etc.) à tous les niveaux organisationnels (groupes d’individu, équipe projet, etc.) en vue de soutenir les objectifs de l’entreprise en terme de rentabilité, innovation, qualité, etc. Bien souvent les recherches en ingénierie des connaissances se concentrent sur la compréhension de la création, du partage et de l’utilisation des connaissances dans une organisation. Ces recherches s’intéressent particulièrement à quatre grands axes :

• La gestion des connaissances hétérogènes et distribuées utilisées dans les organisations humaines ;
• La gestion des objectifs et des connaissances individuels et des organisations pour atteindre une réalisation commune (développement d’un produit, d’un service, etc.) ;
• La coordination de l’ensemble des taches pour supporter le processus de gestion des connaissances ;
• La gestion du changement dans l’environnement humain (structures organisationnelles humaines, processus industriels, évolution des systèmes d’information, etc.)

L’ensemble de ces problèmes complexes relatifs à l’ingénierie des connaissances sont similaires aux problèmes traités dans le domaine des systèmes multi-agents. De part leurs caractéristiques (autonomie, agilité sociale et organisationnelle, comportement réactif et pro actif) les agents sont adapté pour supporter le processus de gestion des connaissances. Dans cet exposé deux exemples seront abordés :

• le système KATRAS (Knowledge Acquisition Traceability Reuse by Agent System), un système de gestion de mémoires partagés basé sur les aspects sociaux et organisationnels des acteurs métier,
• la plate forme SemKnow (Semantic Knowledge), une plate forme de gestion des connaissances distribuées et hétérogènes.

Rosita Guido
Université de Calabre, Italie

Le mercredi 28 septembre 2011 à 14h00, amphi F2, 158 cours Fauriel

"Planification et gestion de la salle d’opération"

Résumé :

Il est bien connu que la gestion de salles opératoires (c’est-à-dire la gestion du bloc opératoire) dans un établissement public ou privé est un problème très complexe puisqu’il s’agit de coordonner, dans le même temps, plusieurs activités, ressources humaines et non. Le bloc opératoire constitue le secteur le plus coûteux de l’hôpital puisqu’il implique différentes ressources humaines et matérielles très coûteuses.

Je suis co-autrice d’un travail récemment publié où plusieurs articles de la littérature sur la salle opératoire ont été revus. En particulier, on a mis en évidence comme souvent la complexité du problème est abordée en distinguant trois niveaux décisionnels hiérarchiques, c’est-à-dire le niveau stratégique, tactique, et opérationnel et comme divers problèmes de planification et gestion sont résolus avec des méthodes et techniques de la recherche opérationnelle (optimisation, simulation, etc). La schématisation en trois niveaux décisionnels facilite la gestion mais il faut considérer que on a plusieurs interactions entre eux et que la plus commune approche est de résoudre chaque niveau décisionnel séparément où d’adresser tous les trois hiérarchiquement en résolvant un problème d’optimisation à la fois (mais pour une seule spécialité chirurgicale). En outre, les critères optimisés sont divers et divers approches ont permis de donner une solution quantitative et parfois meilleur de celle adoptée dans les réalités hospitalières.

La complexité du problème est aussi due à différents acteurs impliqués qui ont objectifs et intérêts différents et souvent en conflit entre eux (par exemple, les objectifs des dirigeants sont différents de ceux des administrateurs, des patients, des chirurgiens, des anesthésistes, des infirmières) ; satisfaire tous est fortement difficile ou dans quelques cas impossible. Il faut donc chercher de définir les « meilleurs » compromis entre buts distincts comme coût, qualité, performance en examinant et équilibrant les demandes chirurgicales, les ressources, et les besoins.

La nature multi-objective du problème nous a porté à proposer un nouvel modèle d’optimisation combinatoire multi-objective pour planifier et affecter les interventions chirurgicales électives soit au bloc opératoire que à l’équipe chirurgicale en considérant la priorité clinique du malade, le séjour dans la liste d’atteinte et la durée des blocs opératoires ; en outre, les niveaux décisionnels considérés dans le même temps sont le tactique et l’opérationnel. Le but est avoir un compromis entre l’utilisation de salle opératoire, la maximisation des interventions chirurgicales électives programmées en prenant en considération soit la priorité affecté au patient que le temps d’attente à l’intervention, minimiser la sous-utilisassions des équipes chirurgicales, minimiser la prolongation horaire qui détermine des coûts extraordinaires.

Il faut noter qu’il y a peu de papiers où les techniques de l’optimisation multi-objectives évolutionnaires ont été appliquées pour résoudre les problèmes de la gestion de la salle opératoire formulés et la plupart des approches est basée sur une seule fonction objectif. Puisque le modèle mathématique formulé est NP-Dur, que les méthodes exactes peuvent prendre beaucoup de temps (plusieurs heures ou même quelques jours) et que les directeurs d’hôpital préfèrent une solution approximative mais de bonne qualité dans un temps raisonnable, nous avons utilisé des algorithmes génétiques pour obtenir le front Pareto.

Les résultats computationnels préliminaires ont été obtenus sur des donnés réels relatifs à deux semaines de planification effectuée à l’Hôpital Général de Cosenza (Italie) qui a 10 salles opératoires et 12 spécialités chirurgicales. La situation réelle considérée est de petite taille (c’est-à-dire 2 salles opératoires, 5 spécialités chirurgicales et 80 interventions à planifier pendant une semaine) . La frontière Pareto, qui est l’ensemble des solutions non dominées de l’espace de recherche, a été obtenue avec NSGAII et est formé par des solutions qui différent soit pour l’affectation des opérations chirurgicales soit pour l’affectation des blocs opératoires à les équipes chirurgicales. L’approche multi objective permet donc de prendre en considération et « balancer » plusieurs buts importants et stratégiques qui typiquement coexistent dans ce contexte. L’ensemble entier de solutions non-dominées peut ainsi aider le décideur à faire un meilleur choix parmi plusieurs solutions alternatives faisables.

Thibaut Lust
Louvain School of Management & FUCaM

Le mardi 20 septembre 2011 à 14h00, amphi F1, 158 cours Fauriel

"Optimisation combinatoire multiobjectif : méthodes et applications"

Résumé :

Dans cet exposé, nous présentons des méthodes pour résoudre des problèmes d’optimisation combinatoire multiobjectif. En optimisation multiobjectif, une solution admissible est évaluée par un ensemble de fonctions objectifs. Cette formulation convient mieux aux problèmes réels qui comprennent souvent plusieurs objectifs contradictoires. Pour ces problèmes, une solution minimisant simultanément chaque objectif n’existe pas et on retrouve un ensemble de solutions appelées solutions Pareto optimales. Une solution Pareto optimale est une solution pour laquelle il est impossible de trouver une solution qui la domine, c’est-à-dire une solution qui est au moins aussi bonne sur tous les objectifs, et meilleur sur au moins un objectif. Les principales difficultés liées à la génération de toutes les solutions Pareto optimales d’un problème d’optimisation combinatoire multiobjectif seront exposées.

Nous développerons ensuite quelques méthodes de résolution, qui sont essentiellement basées sur les métaheuristiques, étant donné la difficulté de résolution des problèmes multiobjectifs. Nous montrerons ensuite comment ces méthodes ont été adaptées pour résoudre des problèmes classiques d’optimisation combinatoire multiobjectif (voyageur de commerce, sac à dos, routage de véhicules). Deux applications en gestion hospitalière seront finalement abordées : l’ordonnancement du bloc opératoire et le traitement par radiothérapie de patients atteints de cancer.

Anna Zygmunt
AGH University of Science and Technology, Faculty of Electrical Engineering, Automatics, Computer Science and Electronics

Le jeudi 8 septembre 2011 à 15h00, amphi 104, Espace Fauriel

"Social Network Analysis in Applications"

Résumé :

Real relations between persons expressed by meetings, telephonic talks, e-mails, bank transfers, comments on blogs, connections using different Internet communicators may be described using a social network, where nodes represent persons (or groups of persons) and edges represent interactions between these persons. By analysing the fundamental parameters of nodes of such a network (mainly different centralities) it is possible to measure the degree of complexity of the network, importance of the given persons/nodes or to discover relations within groups/organisations. Additionally people in organisation join in different groups, which play significant role in the organization : they mirrored characteristics of the whole organization and build such organization. So analyzing process of group formation and finding structure of such groups can help in better understanding the community. Two realized systems : for phone calls analysis and blogosphere analysis will be presented.

Robert Marcjan
AGH University of Science and Technology, Faculty of Electrical Engineering, Automatics, Computer Science and Electronics

Le jeudi 8 septembre 2011 à 14h00, amphi 104, Espace Fauriel

"Multi-robot Systems Modeling and Simulation"

Résumé :

Research into robotics (and especially multi-robot systems) is one of the most interesting challenges of modern science and technology. This wide discipline interconnects number of different issues like analogue and digital electronics, wireless communication, control software creation, artificial intelligence and many others. Therefore design, building and programming of a new robot or coordinate robot activities in a multi-robot environment are very complex and sophisticated tasks. In addition inevitability of number of prototypes and unforeseen problems during building process makes this kind of research extremely expensive. Some of these issues can be solved by use of simulation tools. The system to be presented on the seminar is an advanced, distributed simulation environment for robot modeling, programming, and control program testing. It offers accurate, three-dimensional simulation of kinematics and dynamics of complex mechanical constructions, and ability of creating control programs in a convenient programming language. General architecture of the system, its abilities, and the process of distributed simulation, together with some results of experiments as well as examples of possible applications will be presented. The system was developed at the Department of Computer Science, AGH University of Science and Technology and is used for teaching and research on multi-robot systems.

Mathieu Petit
LIG Grenoble

Le mercredi 6 juillet 2011 à 10h30, salle 514, Espace Fauriel

"Démarche et perspectives de modélisation spatiale pour la conception de systèmes mobiles et contextuels "

Résumé :

Les utilisateurs d’un système d’information (SI) sont de moins en moins considérés comme des opérateurs dont les tâches et les objectifs sont invariants et connus dès la conception. L’introduction de la notion de contexte au début des années 90 a permis une meilleure flexibilité dans l’utilisation des SI en considérant que l’intention d’un utilisateur est dépendante de ses activités passées et de l’environnement dans lequel il se situe.
Dans les systèmes mobiles plus particulièrement, le milieu géographique d’exécution complète les dimensions du contexte. Discriminées en contexte d’usage et en contexte d’exécution, ces dimensions caractérisent une situation selon le point de vue de l’utilisateur ou celui du système. Ce séminaire revient sur les défis de l’adaptation contextuelle pour les SI mobiles et détaille une définition et une approche pour la modélisation du contexte d’exécution. La modélisation des contextes d’exécution géographiques est fournie en entrée d’un processus de conception de système mobile centré sur l’analyse des tâches des utilisateurs. Ce modèle conceptuel étendu à la definition proposée du contexte permet de stimuler la créativité des concepteurs en leur rapportant des situations d’exécutions non-encore prises en compte.

Eugénio Oliveira
STMicroelectronics / Ecole Nationale Supérieure des Mines de St Etienne, Institut Henri Fayol

Le lundi 4 juillet 2011 à 14h00, salle 129, Espace Fauriel

"Electronic Institutions, an agent-based framework for facilitating B2B automatic interoperability"

Résumé :

In this talk, I will briefly introduce the main ideas behind both the model and the implementation, providing services including adaptive Negotiation protocols, Ontology services and a Normative environment leading to Electronic Contracts formation and monitoring. Moreover, Computational Trust Models are being developed to help on partners’ selection process.
Discussion on potential joint collaboration will be welcome.

Michel Lutz
STMicroelectronics / Ecole Nationale Supérieure des Mines de St Etienne, Institut Henri Fayol

Le jeudi 23 juin 2011 à 14h00, amphi 104, Espace Fauriel

"Gestion de la capacité des ressources techniques des systèmes d’information : une approche statistique orientée métier"

Résumé :

Les Technologies de l’Information (TI) sont aujourd’hui considérées comme faisant partie intégrante de la stratégie globale d’une organisation. Les pratiques de management des TI actuelles montrent que l’on attend d’elles, qu’elles soient au service de l’agilité du cœur de métier des entreprises (approche service ITIL, architectures orientées services…). En ce sens, il est fondamental que les Départements Informatique soient en mesure d’assurer un juste dimensionnement des ressources en TI, afin d’être capable de supporter les besoins métiers présents et futurs. Les sciences de l’informatique ont largement traité cette problématique sous l’appellation "gestion de la capacité", dont les travaux typiques se basent sur la modélisation des files d’attentes au sein des systèmes informatiques. Cependant, l’évolution des architectures informatiques (informatique distribuée, modèle client-serveur…) rendent ces modèles de moins en moins adaptés à une application industrielle. Sont alors apparues des approches basées sur la récolte et l’analyse des données d’activité du système informatique. Cependant, ces approches peinent encore à intégrer deux problématiques clés de la gestion de la capacité moderne :

1. comment intégrer des scénarios causals intégrant des variables d’entrées métiers de haut niveau, afin de faire ce lien indispensable entre cœur de métier et TI ?
2. comment assurer suffisamment de flexibilité au processus de modélisation, afin de faire face à des architectures informatique devenues extrêmement changeantes ?

Pour tenter de répondre à ces questions, une collaboration a été développée avec la société de conception et production de semi-conducteurs STMicroelectronics, dans le cadre d’une thèse CIFRE au sein du laboratoire OMSI. Il a d’ors et déjà été montré qu’il est possible de mettre en relation certaines variables d’activités métiers (volume et complexité de la production, niveau d’en-cours de production…) et certaines variables techniques (utilisation de serveurs applicatifs), par la mise en œuvre d’une démarche économétrique structurée, combinant analyses quantitatives (analyse exploratoire des bases de données d’activités informatique et métier disponibles et modélisation statistique) et qualitatives (enquête terrain avec les experts système). Par ailleurs, ces premiers résultats ont permis de comprendre qu’une telle démarche ne peut être statique et qu’il est primordial d’inscrire cette démarche de modélisation dans le cadre d’un processus dynamique d’amélioration continue. Ainsi, dans le cadre de la présentation, nous proposons :

1. de survoler les principales approches de gestion de la capacité habituellement rencontrées
2. de présenter la démarche mise en œuvre chez STMicroelectronics et les premiers résultats obtenus
3. d’évoquer nos premières réflexions quant à la mise en œuvre d’un processus de modélisation dynamique.

Une large part sera également laissée à l’échange, afin de profiter de la discussion que devrait susciter un tel sujet, à la frontière entre plusieurs disciplines représentées au sein de l’Institut Fayol : sciences de l’ingénieur, sciences de l’informatique et de l’information, statistiques.

Eugénio Oliveira
LIACC, University of Porto, Portugal

Le jeudi 16 juin 2011 à 15h30, salle 514, Espace Fauriel

"MAS for B2B Interoperability "

Résumé :

I will first talk about a few projects (including MAS-based Disruption Management and Text Mining applications) that are being developed at the Distributed AI & Robotics group at LIACC ­ AI and Computer Science Lab at the University of Porto.
I will then follow with the main topic of the presentation addressing Electronic Institutions, an agent-based framework for facilitating B2B automatic interoperability.
For the presentation of our proposal for an Electronic Institution platform, I will briefly introduce the main ideas behind both the model and the implementation, providing services including adaptive Negotiation protocols, Ontology services and a Normative environment leading to Electronic Contracts formation and monitoring. Moreover, Computational Trust Models are being developed to help on partners’ selection process. Discussion on potential joint collaboration will be welcome.

Thierry Garaix
Ecole Nationale Supérieure des Mines de St Etienne, Centre CMP Georges Charpak

Le mercredi 15 juin 2011 à 14h00, amphi F1, 158 cours Fauriel

"Problèmes de transports à la demande avec qualité de service"

Résumé :

Les transports de personnes à la demande (TAD) représentent une voie pour repenser nos pratiques en terme de mobilité. Ils associent la souplesse des taxis à la capacité de regroupement des transports en commun. Leur développement s’est vu dopé par la diffusion élargie de nouvelles technologies de communication et de calcul de positionnement. Cet exposé se concentre sur les problèmes de planification des tournées effectuées par les véhicules du service. Plus précisément, certains critères de qualité de service diffèrent profondément d’un simple coût de transport et nécessitent l’utilisation de nouveaux modèles et l’adaptation des méthodes de calcul des tournées.
Je présenterai par quelles techniques les approches basées sur de la génération de colonnes ­ connues pour être performantes dans le cas général ­ permettent de prendre en compte des critères représentatifs comme le temps perdu en transport, le taux de remplissage et la régularité des tournées.
Les résultats seront illustrés à travers deux mises oeuvres de cas réels : la mise en place d’un TAD dans le Doubs Central et le ramassage de personnes handicapées à destination de leur centre médico-social.

Patrick Reignier
INRIA Rhône Alpes, équipe PRIMA

Le jeudi 17 février 2011 à 14h00, amphi 104, Espace Fauriel

"Intelligence Ambiante Pro-Active, de la spécification à l’implémentation "

Résumé :

L’objectif de l’informatique ubiquitaire ou ambiante, telle que défini par Weiser dans son article de référence, est de faire disparaître l’informatique traditionnelle au profit d’un espace informatisé. L’ordinateur ambiant doit également offrir des capacités d’interaction plus naturelles, être transparent et utilisable sans effort. L’intelligence ambiante est la rencontre de l’intelligence artificielle et de l’informatique ambiante. Il s’agit de déterminer, grâce à l’ensemble des dispositifs de perception présents, l’activité des utilisateurs (le contexte) afin de mieux comprendre et anticiper leurs besoins et leur proposer automatiquement des services appropriés (assistants virtuels). On parle d’applications sensibles au contexte.
La conception et la réalisation d’une application sensible au contexte est une tâche complexe, aussi bien du point de vue du développeur que de l’utilisateur final. Il est important de proposer une approche adaptée à ces deux catégories d’acteurs.
Dans cet exposé, nous présenterons différents travaux réalisés dans cette direction.
Nous avons tout d’abord proposé un modèle formel de spécification de contexte permettant d’établir le dialogue entre l’utilisateur et le développeur de l’application. Notre objectif est ensuite de proposer des approches permettant d’automatiser une partie de la production du code de manière à raccourcir le chemin entre cette spécification du modèle de contexte et sa mise en oeuvre au sein d’une application.
Dans le cadre de l’aide au développeur, nous avons proposé une approche basée sur l’apprentissage supervisé pour l’interprétation des données capteurs sous forme d’entités et de rôles. Cette interprétation des données capteurs sert d’entrée à la reconnaissance de contexte (scénarios). En nous appuyant sur une approche de type Ingénierie Dirigée par les Modèles, nous avons projeté la spécification du contexte vers deux méta-modèles pour la reconnaissance de scénarios : les réseaux de Petri synchronisés, et les réseaux de Petri Flous. Nous nous sommes également intéressés à l’apprentissage automatique d’un modèle de situations basé sur un ensemble d’observations annotées.
Les services attendus d’une application ambiante pro-active sont finalement très personnels et peuvent évoluer en profondeur au cours du temps. Il est important de fournir aux utilisateurs des outils permettant de façonner le comportement de ces applications pour répondre à leurs besoins. Cette démarche s’inscrit dans le cadre du end-user programming qu’il faut décliner dans le cadre des applications ambiantes pro-actives. Nous l’illustrerons à travers une approche d’apprentissage supervisé et une approche d’apprentissage renforcé indirect.

Juri Luca de Coi
Universités de Bologne et de Hannovre / ISCOD-LSTI

Le vendredi 10 décembre 2010 à 15h00, amphi 104, Espace Fauriel

"Security control brought back to the user"

Résumé :

The talk will present a work carried in the research field of policy languages. The talk consists of two parts. The first one will present the state of the art in policy languages, ending up with : (i) identifying the requirements up-to-date policy languages have to fulfill ; and (ii) presenting a policy language able to fulfill such requirements (namely, the Protune policy language). The second part will describe his approach to simplify the policy definition process and will present : (i) a subset of the controlled natural language ACE suitable to express Protune policies ; (ii) a mapping between ACE policies and Protune policies ; and (iii) how the ACE Editor has been adapted to guide users step by step when defining ACE policies. Juri’s research activity has been performed in tight collaboration with the Leibniz Universität Hannover and further European partners within the projects REWERSE, TENCompetence and OKKAM.

Oncu Hazir
Ecole Nationale Superieure des Mines de Saint-Etienne, LSTI / ROGI

Le jeudi 2 décembre 2010 à 14h00, amphi 104, Espace Fauriel

"Découpage et ordonnancement Juste-à-Temps de lots de production"

Résumé :

Nous nous intéressons au problème intégré de planification et d’ordonnancement qui consiste à partir des quantités de références à produire définies dans le plan de production à proposer un découpage de ces quantités en lots de production et un ordonnancement juste-à-temps de ces lots. Il s’agit d’un problème intégré de lot-streaming et d’ordonnancement. L’originalité de ce problème réside en la prise en compte simultanée de critères de ponctualité et de coût de création de lots d’une part et de contraintes de taille de lot minimale et maximale d’autre part. Des travaux antérieurs portant sur la seule prise en compte de coûts pondérés de retard ont été menés. Nous présentons de nouvelles propriétés lorsque des pénalités d’avance sont prises en compte.
Ces propriétés permettent d’établir un algorithme de résolution de complexité O(logB+log( r/b )) pour résoudre le problème avec une demande. Des propriétés ont également été établies dans le cas où les dates échues sont distinctes, ou dans le cas des machines parallèles.

Pavel Borisovsky
Omsk State University, Institute of Mathematics and Information Technologies

Le jeudi 25 novembre 2010 à 14h00, amphi 104, Espace Fauriel

"Modeling and solving the transfer line design problem with parallel operations at workstations"

Résumé :

We consider the problem of design of the transfer line for performing a given set of operations. The transfer line is represented as a sequence of workstations equipped with processing modules (blocks) performing specific sets of operations. The set of all possible blocks is defined a priory. All operations of the same workstation are performed in parallel, and inclusion, exclusion, and precedence constraints must be respected. A reduction of this transfer line design problem to a set partitioning type problem is suggested and the constraint generation algorithm is proposed. The computation experiments are presented.

Janis Janusevskis
Ecole Nationale Superieure des Mines de Saint-Etienne, LSTI / CROCUS

Le jeudi 18 novembre 2010 à 14h00, amphi 104, Espace Fauriel

"Simultaneous kriging-based sampling for optimization and uncertainty propagation "

Résumé :

Robust analysis and optimization is typically based on repeated calls to a deterministic simulator that aim at propagating uncertainties and nding optimal design variables. Without loss of generality, a double set of simulation parameters can be assumed : x are deterministic optimization variables, u are random parameters of known probability density function and f (x ; u) is the objective function attached to the simulator. Most robust optimization methods involve two imbricated tasks, the u ’s uncertainty propagation (e.g., Monte Carlo simulations, reliability index cal- culation) which is recursively performed inside optimization iterations on the x ’s. In practice, f is often calculated through a computationally expensive software. This makes the computational cost one of the principal obstacles to optimization in the presence of uncertainties. Kriging (Gaussian process regression) based optimization procedures have become popular for the optimiza- tion of expensive deterministic simulators. A kriging based optimization algorithm was introduced by Schonlau, Welch and Jones and named Ecient Global Optimization (EGO) where the so called Expected Improvement (EI) criterion is used to choose the next sampling point. In recent years, modications to this approach have been explored in order to adapt it to the optimization of noisy functions and partially converged simulations.
This talk will present a new ecient method for minimizing the mean objective function, minx 2 IR n E U f (x ;U ). The eciency stems from the simultaneous sampling of f for uncertainty propagation and optimization, i.e., the hierarchical imbrication is avoided. A kriging (Gaussian process conditioned on past calculations of f ) model of f (x ; u) is built and a mean process is analytically derived from it. The proposed sampling criterion that yields both x and u is the one-step ahead minimum variance of the mean process at the maximizer of the expected improvement. The method is compared with Monte Carlo and kriging-based approaches on analytical test functions in two, four and six dimensions.

Marie-Claude Portmann
Ecole des Mines de Nancy, équipe ORCHIDS du LORIA

Le jeudi 17 juin 2010 à 16h00, amphi 104, Espace Fauriel

"Planification de ressources et ordonnancement de tâches de préparation de commandes dans les plateformes logistiques "

Résumé :

Il s’agit d’un travail de recherche réalisé en collaboration avec Susana Carrera et Wahiba Ramdane Cherif. L’origine des travaux est l’audit d’un entrepôt à Chalons en Champagne par lequel transitent 2 millions de paires de chaussures par an avec des pointes saisonnières pour les entrées et les sorties et pour lequel il fallait revoir l’organisation avec remise en cause de l’implantation. L’objectif principal était de minimiser les coûts de personnels. Cet audit a donné suite à deux séries de recherche, l’une au niveau planification et l’autre au niveau ordonnancement. Au niveau planification, des modèles de programmation linéaire ont été proposés et testés de manière à représenter le mieux possible toutes les contraintes du problème concret en s’intéressant à plusieurs implantations et en acceptant de négocier de légères modifications pour les dates de livraison des fournisseurs en amont et pour les tournées de camions vers les magasins en aval afin de pouvoir faire baisser les coûts de personnel. Au niveau ordonnancement, ce qui ce passe à l’intérieur de l’atelier a été, dans un premier temps, considéré comme un problème à une machine, mais les contraintes amont et aval ont été prises en compte de manière fine avec trois hypothèses possibles. Des méthodes approchées et une procédure par séparation et évaluation ont été conçues pour les trois hypothèses.

Marie-Claude Portmann
Ecole des Mines de Nancy, équipe ORCHIDS du LORIA

Le jeudi 17 juin 2010 à 15h00, amphi 104, Espace Fauriel

"Présentation de grains interactifs et dynamiques montrant l’utilité de la recherche opérationnelle sur de petites applications concrètes "

Résumé :

Il y 3 ans, un site de démonstrations a été développé avec l’objectif initial de montrer à des industriels ce que l’on peut faire avec des outils d’aide à la décision. Il est interactif puisque l’utilisateur peut naviguer sur les démonstrations, mais également dynamique puisque le navigateur peut changer les données et demander que le démonstrateur calcule la solution pour ses propres données. Il peut être utilisé également dans le cadre de l’enseignement, en particulier pour enseigner la programmation dynamique et les algorithmes génétiques. Il a été présenté dans le cadre de la fête de la Science en novembre 2008 et dans le cadre d’une journée d’étude à Montbéliard en mars 2009. Dans le cadre du projet UNIT EnsROtice déposé en 2010 conjointement par l’Ecole des Mines de Saint Etienne, l’INSA de Rouen, l’Université de Metz et Nancy Université pour le compte de l’Ecole des Mines de Nancy, ces grains interactifs vont permettre d’imaginer quels types de grains interactifs on souhaite développer dans le cadre de ce projet.

Guillaume Lopez
The University of Tokyo, School of Engineering, Department of Mechanical Engineering

Le vendredi 26/03/10 à 10h00, amphi 022, Espace Fauriel

"Physiological Information Processing Platform and New Wearable Sensing Paradigm, to Support Lifestyle-related Diseases Countermeasures "

Résumé :

Currently, information on each individual’s health is straggling in various places. All these health information should be available in a unified way for management and practical use by individual’s intention. We can expect encouragement of actions turned towards health promotion, if it were possible to accurately and continuously understand one’s own health condition, and share as necessary all this information, with family members, medical institutions, or appropriate health service Business Company. We aim at the development of such structure to collect, store, and make practical use of one’s own health information. Through developed "Comprehensive Health Information System," individual could accurately know his own health condition, leading to personal objectives of health preservation and lifestyle disease prevention, which will promote active health management. Fundamental technologies in the areas of data collection using wearable sensors and data mining for screening of health risks have been developed.
As an example of the expected project outputs, the relationship between various physiological and environmental data and the metabolic syndrome condition have been investigated and the results will be used to devise new strategies to improve patients’ lifestyle habits. Particularly, we proposed new concepts of personal healthcare services that could prevent and treat the metabolic syndrome condition, which effectiveness will be verified by the experiments planned for this year.

Dan Suthers
Department of Information and Computer Sciences, University of Hawai’i at Manoa

Le lundi 7 décembre 2009 à 10h00, amphi 022, Espace Fauriel

"A Framework for Conceptualizing, Representing, and Analyzing Distributed Interaction"

Résumé :

Researchers studying computer-supported learning and work have long been concerned with understanding how interaction between users of social media leads to phenomena such as learning, knowledge building, and diffusion of innovations. The recent proliferation of social media has raised the urgency of this understanding. Yet, the nature of technology-mediated interaction poses analytic challenges towards reaching this understanding. Interaction may be distributed across actors, space, and time, and vary from synchronous, quasi- synchronous, and asynchronous, even within one data set. Often multiple media are involved and the data comes in a variety of formats. As a consequence, there are multiple analytic artifacts to inspect and the interaction may not be apparent upon inspection, being distributed across these artifacts.
To address these challenges as they were encountered in several studies in our own laboratory, we developed a framework for conceptualizing, representing, and analyzing distributed (technology- mediated) interaction. The representational foundation of this framework is an abstract transcript notation—the contingency graph— that can unify data derived from various media and interactional situations and has been used to support multiple analytic practices. The conceptual foundation of this framework includes "uptake" as a fundamental building block of interaction, and the basis for construing interaction as an object of study. The framework provides a theoretical perspective on how to look at interaction, and a coordinated set of concepts and representations with associated practices that support multiple methods of analyzing distributed interaction.
This talk will summarize the requirements that motivated the framework and discuss the theoretical foundations on which it is based. It will then present the framework and its application with examples from our work to illustrate how we have used it to support both ideographic and nomothetic research, using qualitative and quantitative methods. The presentation will conclude with thoughts on how the framework can support a research agenda that operates at multiple scales of analysis.

Jacek Blazewicz
Institute of Bioorganic Chemistry, Polish Academy of Sciences, Poznan

Le mercredi 28 octobre 2009 à 11h15, amphi 022, Espace Fauriel

"DNA sequencing and graph theory"

Résumé :

In the talk we will present the graph theoretic approach to the DNA sequencing problems. Based on it the algorithms solving the DNA assembling problem will be characterized. An impact of this approach on the graph theory itself will be also presented.

Bernard Moulin
Université Laval, Département d’informatique et de génie logiciel, Québec, Canada

Le jeudi 18 juin 2009 à 10h30, amphi 022, Espace Fauriel

"The MUSCAMAGS Project : 4 years of experience with multi-scale multi-agent geosimulation in various application domains "

Résumé :

In an increasingly interconnected and fast-changing world, decision makers from various sectors (governmental, military, industrial, medical, social) need to deal with complex situations for which multi-actor dynamic spatial situations (MADSS) are a key tool MADSS excel at helpint with situations that involve a large number of actors of different types (human, animal, static, mobile, etc.) acting in geographic spaces of various extents. The MUSCAMAGS Project aimed at developing methods and tools to create multi-scale multi-agent geo-simulations in order to support operational decision support systems for MADSSs. Over the past four years our team built several models and software that support most aspects of multi-scale Multi-Agent Geo-Simulations (MAGS) and applied them to a large variety of domains. We will present some important achievements of the project.
1) A scale-independent method and tools (TransNetSIM, a meso-simulator of urban car traffic coupled with Vissim a commercial micro-simulator) to model and create a urban virtual geographic environment (VGE) combining data about the population, transportation network and locations ;
2) The CrowdMAGS System for the micro-simulation of crowd behaviors and the intervention of control forces using non lethal-weapons (development of a crowd micro-simulation system and scenario specification software tool coupled with a macro-simulator implementing a System Dynamics approach) ;
3) A suite of software that automatically builds Informed Virtual Geographic Environments (IVGE) from GIS data, taking into account the geometric, topologic, and semantic characteristics of the geographic environment at different levels of detail ;
4) The VNO-MAGS System for the simulation of the West Nile Virus spread over the southern part of Quebec Province as a result of the spatio-temporal interactions of mosquitoes’ populations and bird populations.

Matthieu Canaud
IFP-Lyon

Le lundi 23 mars 2009 à 9h15, salle 514, Espace Fauriel

"Planification d’expériences adaptée aux problèmes de cinétique, application à la dépollution des fumées en sortie des moteurs"

Résumé :

Cette présentation s’intéresse à un système de dépollution catalytique et plus précisément un système de post-traitement des fumées en sortie des moteurs Diesel : le piège à NOx. Les modèles cinétiques développés pour représenter de tels phénomènes physico-chimiques dépendent de paramètres (facteurs pré exponentiels, énergies d’activation, constantes d’adsorption, et des chaleurs d’adsorption) que, la plupart du temps, on ne peut déduire de considérations théoriques. Il faut alors procèder à des expériences pour calibrer le modèle. Nous présentons ici une proposition de plan d’expériences adapté à l’identification des paramètres du modèle sachant que :
 le modèle ne s’ajuste pas complètement aux données expérimentales, il y a donc une erreur de modèle,
 le modèle est fortement non linéaire par rapport aux paramètres à identifier. Afin de résoudre le problème nous nous plaçons dans le contexte du krigeage, c’est-à-dire que nous modélisons la différence entre le modèle et les mesures par un processus gaussien.

Fabrice Reby
Excilis

Le jeudi 4 décembre 2008 à 14h00, amphi 104, Espace Fauriel

"Le service équitable – une autre façon de faire du service dans le monde de l’informatique "

Résumé :

L’intervention expliquera les idées clés derrière le service équitable et pourquoi le Groupe Excilys croit que le monde du service peut fonctionner différemment. Excilys essaye par la création d’un modèle équilibré (le service équitable) de réconcilier le client, le prestataire et la société de service. Les points clés de l’intervention : (1) L’histoire du Groupe et la création du modèle. (2) L’explication du modèle (les fondamentaux) :
 Création d’un vrai rapport de confiance.
 L’importance de la sélection.
 La formation au coeur de l’évolution de carrière.
 Une répartition juste de la richesse.
 Travailler avec le collaborateur pour créer son avenir (prendre un poste de responsabilité chez un client, devenir un expert, devenir un entrepreneur). Conclusion : 5 ans d’existence et une vraie satisfaction des salariés, des clients et une vraie stabilité d’entreprise.

Michele Piunti
DEIS, Università di Bologna / ISTC-CNR, Institute of Cognitive Science and Technologies, Roma

Le jeudi 13 novembre 2008 à 14h00, amphi 104, Espace Fauriel

"From Agents to Artifacts Back and Forth : Towards a Cognitive use of Artifacts in MAS "

Résumé :

Recent approaches in Multi-Agent Systems are focusing on models and methodologies for the design of environments and system facilities supposed to ease programming in the large and scale up complexities. Among others, the Agents and Artifacts (A&A) approach introduces the notion af artifact as first class abstraction — dual to the one provided by agents. Artifacts represent, in A&A terms, non autonomous computational entities and external resources providing agents with serviceable operations, additional information and coordination facilities explicitely conceived by the MAS designer for easing agents tasks. Based on the Agents and Artifacts (A&A) conceptual model, the CARTAGO framework allow the design and development of multi-agent environments in terms of open set of artifacts, collected in workspaces, that agents dynamically instantiate, share and use to support their individual and collective works. But, once the artifact based infrastructure has been enabled, we still need agents with new capabiities for interaction to use it. Among the topics planned in the talk :
 the integration of CARTAGO with heterogeneous agent platforms - Jason, JADEX, simpA will be touched in particular - enabling in the overall the development and execution of open and heterogeneous MAS ;
 the issue of goal-oriented and goal-directed use of artifacts, towards MAS with intelligent agents reasoning about the artifacts to select and use to achieve their goals and/or adapting their computational environment (e.g. by creating new artifacts, linking and manipulating existing ones).
 The discussion on the functional role played by artifacts once they are employed in the context of societies of cognitve agents, i.e. agents capable to reason about their epistemic and motivational states. Some of the outcomes of the described approaches will be discussed along with test cases showing agents engaged in goal-oriented activities relying on the transmission of relevant knowledge and the operations provided by artifacts.

Freddy Lécué
Ecole des Mines de Saint-Etienne (G2I) / France Telecom R&D Orange Lab

Le jeudi 23 octobre 2008 à 14h00, amphi 104, Espace Fauriel

"Web Service Composition : Semantic Links based Approach"

Résumé :

Automated composition of Web services or the process of forming new value added Web services is one of the most promising challenges facing the Semantic Web today. Semantics enables Web service to describe capabilities together with their processes, hence one of the key elements for the automated composition of Web services. In this Ph.D study we focus on the functional level of Web services i.e., services are described according i) to some input, output parameters semantically enhanced by concepts in a domain ontology and ii) to preconditions and side-effects on the world. Web service composition is then viewed as a composition of semantic links controlled by causal laws. The semantic links refer to semantic matchmaking between Web service parameters (i.e., outputs and inputs) in order to model their connection and interaction whereas causal laws are the relationships between actions, action preconditions and side-effects. The key idea is that the matchmaking enables, at run time, finding semantic compatibilities among independently defined Web service descriptions. By considering such a level of composition we first study semantic links in details, and more specially their properties of validity and robustness.
From this and depending on services expressivity we focus on two different approaches to perform Web service composition. In the first approach a formal model to perform the automated composition of Web services by means of semantic links i.e., Semantic Link Matrix is introduced. This Semantic Link Matrix is required as a starting point to apply problem-solving techniques such as regression (or progression)-based search for Web service composition. The model supports a semantic context and focuses on semantic links in order to find correct, complete, consistent and robust plans as solutions. In this part an innovative and formal model for an Artificial Intelligence planning-oriented composition is presented.
In the second approach, besides semantic links, causal laws are also considered to achieve compositions of Web services. To this end an augmented and adapted version of the logic programming language Golog i.e., sslGolog is presented as a natural formalism not only for reasoning about the latter links and laws, but also for automatically composing services. sslGolog operates as an offline interpreter that supports n-ary output parameters of actions to compute conditional compositions of services. This approach is much more restrictive since assumes more expressivity on Web service description.
Finally, since Web services have been enhanced with formal semantic descriptions, the quality of semantic links involved in a composition is used as a innovative and distinguishing criterion to estimate its overall semantic quality. Therefore non functional criteria such as quality of service (QoS) are no longer considered as the only criteria to rank compositions satisfying the same goal. In this part we focus on quality of semantic link based Web service composition. To this end, we present a general and extensible model to evaluate quality of both elementary and composition of semantic links. From this, we introduce a global semantic link selection based approach to compute the optimal composition. This problem is formulated as an optimization problem which is solved using efficient integer linear programming methods.
Our system is implemented and interacting with Web services dedicated on Telecommunication scenarios in use. The evaluation results showed high efficiency and effectiveness of the suggested approaches.

Valery Gordon
United Institute of Informatics Problems, National Academy of Sciences of Belarus

Le jeudi 17 juillet 2008 à 14h00, amphi 104, Espace Fauriel

"On single machine scheduling with processing time deterioration"

Résumé :

Single machine scheduling under several rules of processing time deterioration and given precedence constraints is considered. We study either start time deterioration when the actual processing time depends linearly on the start time of a job or positional deterioration when the processing time depends polynomially or exponentially on the position in which a job is sequenced. Under various models of deterioration, we prove that the objective functions are priority-generating for several scheduling problems of minimizing either the makespan or the (weighted) sum of completion times, and thereby the corresponding problems with series-parallel precedence constraints are solvable in O(nlogn) time.
We consider also single machine scheduling and due date assignment problems in which the processing time of a job depends on its position in a processing sequence. The objective functions include the cost of changing the due dates, the total cost of discarded jobs that cannot be completed by their due dates and, possibly, the total earliness of the scheduled jobs. We present polynomial-time dynamic programming algorithms in the case of two popular due date assignment methods : CON and SLK. The considered problems are related to mathematical models of cooperation between the manufacturer and the supplier in supply chain scheduling.

Robin Girard
LMC-IMAG, Grenoble

Le lundi 17 mars 2008 à 10h15, amphi 022, Espace Fauriel

"Segmentation d’images hyperspectrales"

Résumé :

Nous nous intéressons à la segmentation d’images hyperspectrales. En chaque pixel d’une telle image est observé un spectre constitué d’un grand nombre de bandes spectrales (environ 1000), c’est la nature hyperspectrale de l’image. Nos applications principales se situent dans le domaine de l’imagerie satellite et de l’imagerie médicale par résonance magnétique nucléaire (IRM). En IRM hyperspectrale, une image correspond à un plan de coupe du cerveau et un spectre en un voxel donné caractérise un mélange de tissus. En imagerie satellite, un spectre caractérise la composition géologique du terrain.
Le challenge fixé au statisticien par ce type de donnée est triple : il s’agit de savoir évaluer la pertinence d’une information, de trouver l’information pertinente et d’en faire bon usage. Aussi nous allons motiver et détailler une approche pour chacun des trois points suivant.
1. Reduction de Dimension. Comment se passer d’un choix a priori de divers bandes spectrales et ne pas souffrir du grand nombre de bandes spectrales.
2. Segmentation supervisée et non supervisée. Comment tirer parti de la régularité spatiale d’une image dans le cadre de la segmentation supervisée ou non supervisée (deux approches) tout en gardant la nature hyperspectrale de l’image.
3. Active Learning. Pourquoi et Comment superviser un apprentissage dynamiquement.

Jean-Baptiste Welcomme
EADS CCR - IRIT

Le jeudi 14 février 2008 à 10h00, amphi 104, Espace Fauriel

"MASCODE : un système multi-agent adaptatif pour concevoir des produits complexes"

Résumé :

La conception préliminaire avion est un problème d’optimisation multi-disciplinaire et multi-objectif qui consiste à trouver les valeurs des paramètres de description d’un avion et de ses performances en fonction de contraintes. Ces valeurs sont calculées grâce à des connaissances disciplinaires. Les interdépendances entre les paramètres et les non linéarités complexifient les calculs pour lesquels les méthodes classiques se montrent insuffisantes. Pour pallier ce problème, nous proposons une solution basée sur les systèmes multi-agents adaptatifs dans lesquels les agents représentent les disciplines, les paramètres de conception et les performances de l’avion. Les agents en utilisant des connaissances disciplinaires et par un comportement coopératif trouvent collectivement les valeurs des paramètres de conception qui satisfont les contraintes et les performances.

Gauthier Picard
Ecole Nationale Supérieure des Mines de Saint-Etienne, Centre G2I

Le jeudi 24 janvier 2008 à 15h30, amphi 104, Espace Fauriel

"Auto-organisation par coopération pour l’adaptation : principes et applications"

Résumé :

Dans le cadre de la résolution de problèmes distribués, les systèmes multi-agents se présentent comme un paradigme novateur et prometteur. Alliant des aspects dynamiques et distribués, leur implémentation et leur application à des problèmes complexes est souvent un bénéfice en terme de modularité et d’adaptation. Nos travaux se basent sur les principes de l’auto-organisation, afin de pourvoir les entités du système, les agents, de capacités locales de négociation et de coopération, afin de changer l’organisation du systèmes, et ainsi d’accomplir une tâche commune, non forcément connues de tous, de manière décentralisée. Le moteur de cette réorganisation est la coopération, se focalisant sur la résolution de conflits, et la mesure de l’impact des actions sur la société d’agents.
Cette présentation introduira les notions fondamentales que sont l’auto-organisation et la coopération, ainsi que le paradigme de conception utilisé que sont les systèmes multi-agents adaptatifs. Ces notions et cette approche seront illustrées et appliquées à des problèmes d’affectation, de robotique collective et de conception aéronautique. Nous dresserons également un état des perspectives de recherche et pistes de travail pouvant donner lieu à de futures collaborations.

Samy Missoum
Aerospace and Mechanical Engineering Department,
University of Arizona, Tucson, AZ

Le mardi 23 octobre 2007 à 14h00, salle 514, Espace Fauriel

"Handling discontinuities and bifurcations in probabilistic optimal design"

Résumé :

The simulation-based design of nonlinear systems is hampered by several hurdles such as high CPU times, the difficulty to evaluate gradients, and the acute sensitivity of responses to loading and design uncertainties. In addition, the system’s responses might be discontinuous due to the presence of numerous limit and bifurcation points. This considerably limits the blind use of traditional optimization and probabilistic methods. Typical examples of problems with discontinuous behaviors are structural impacts and nonlinear aeroelasticity with limit cycle oscillations (LCO).
The seminar will describe a methodology which facilitates the probabilistic (optimal) simulation-based design of nonlinear problems. The approach, referred to as explicit design space decomposition, is based on data mining and machine learning techniques. The main feature of this approach lies in the explicit definition of limit state functions (or constraints) constructed from a design of experiments (DOE). A method to adaptatively update the limit state function and refine the DOE will be presented.
Several test examples will demonstrate the efficiency of the approach in the case of the reliability-based optimization of nonlinear structures and LCO problems.

Alexis Aubry
Laboratoire G-SCOP, Grenoble

Le jeudi 20 septembre 2007 à 14h00, amphi 104, Espace Fauriel

"Configuration robuste de systèmes de production"

Résumé :

Les systèmes de production ont pour fonction de transformer un flux de produits entrant en flux de produits sortant en apportant une valeur ajoutée. A cette transformation s’ajoute des contraintes telles que la satisfaction clientèle et des objectifs tels que la rentabilité de l’entreprise. Pendant longtemps, les travaux dans les domaines de l’optimisation considéraient que les données du problème étaient connues et certaines. Les méthodes d’optimisation avaient alors pour but de proposer une solution optimale pour une instance prévisionnelle. Cependant le contexte industriel est caractérisé par un cadre très perturbé où l’instance réelle ne correspond pas forcément à l’instance prévisionnelle. Les performances de la solution optimale appliquée à l’instance réelle peuvent ainsi être très dégradées. Dans ce contexte il est important de pouvoir construire des solutions capables de garantir des performances globales sur un ensemble d’instances à défaut de construire des solutions optimales sur une instance donnée.
Dans ce séminaire, nous proposons de prendre en compte les perturbations dans la configuration des systèmes de production de biens ou de services. Dans un premier temps, les différentes approches de résolution prenant en compte l’incertain, proposées dans les domaines de la recherche opérationnelle et de l’aide à la décision seront présentées. Nous insisterons plus particulièrement sur la notion de robustesse à travers l’approche utilisée dans le cadre de nos travaux.
Nous présenterons ensuite des applications de nos travaux pour la configuration robuste de deux systèmes de production :
1) un système de production de biens : un atelier de machines parallèles partiellement multifonctions soumis à des incertitudes sur la demande. La performance à garantir est la capacité de la configuration à produire la demande de telle sorte que la charge des différentes machines est équilibrée. Nous proposerons un critère de robustesse pour évaluer la capacité de la configuration à supporter les variations de la demande. Ensuite les méthodes de résolutions pour résoudre les différents problèmes de robustesse sont présentées.
2) un système de production de services : un réseau de distribution d’électricité soumis à des incertitudes sur la charge des usagers et sur la capacité des sources de production. Nous mettrons en évidence les différentes perturbations pouvant survenir dans les réseaux électriques. Dans un contexte de dérégulation du marché et de montée en puissance des énergies vertes, la prise en compte des variations de la charge des usagers > et des incertitudes sur la capacité des sources représente un vrai enjeu. Dans ce contexte, garantir le service aux usagers malgré ces perturbations devient primordial. Un critère de robustesse permettant d’évaluer la capacité de la configuration du réseau à garantir le service aux usagers malgré les perturbations est ainsi proposé. Enfin les méthodes de résolutions pour résoudre les différents problèmes de robustesse issus du critère de robustesse sont présentées .

Sylvain Giroux
Département d’informatique de l’Université de Sherbrooke, Canada

Le mercredi 13 juin 2007 à 10h30, salle 214, Espace Fauriel

"L’assistance cognitive et la télévigilance dans les habitats intelligents"

Résumé :

Les déficits cognitifs ont des coûts humains, sociaux et économiques élevés. Qui n’a jamais cherché ses clefs ? Qui n’a jamais oublié une casserole sur le feu après un coup de téléphone ? Pris isolément, ces déficits de mémoire et d’attention ont des conséquences anodines. Les personnes souffrant de déficits cognitifs y sont par contre quotidiennement confrontées. Les traumatisés crâniens, les schizophrènes, les personnes âgées souffrant de la maladie d’Alzheimer savent combien de tels déficits peuvent bouleverser une vie. De leur côté, les aidants naturels et les intervenants professionnels sont continuellement confrontés à l’épuisement devant la lourdeur de la tâche et la rareté des ressources. Aussi actuellement, faute de systèmes d’assistance cognitive et de supervision, les personnes souffrant de déficits cognitifs doivent trop souvent quitter leur domicile pour vivre en institution. L’assistance cognitive et la télévigilance, une source d’espoir. Autour de nous, les microprocesseurs se multiplient et investissent les objets de la vie quotidienne. Les réseaux, facilement accessibles, souvent sans fil, permettent de les interconnecter. Ainsi l’évolution fulgurante de la technologie combinée à la baisse des coûts du matériel autorisent le développement d’applications qui étaient encore inconcevables, il y a peu. Nombre d’objets de la vie courante permettront alors des interactions innovantes et inusitées. Nos vêtements porteront notre profil pour reconfigurer notre environnement physique en fonction de nos préférences. Les lampes nous aideront à retrouver les objets perdus. Des portraits interactifs refléteront à distance l’état de santé de nos proches. Fort de ce constat, il devient impérieux de repenser l’informatique et de repenser nos habitats. L’informatique devient diffuse et cesse d’être associée au traditionnel ordinateur.
Le laboratoire DOMUS explore la conception d’une maison intelligente pour les personnes souffrant de déficits cognitifs. Nous présenterons quelques-uns des systèmes d’assistance cognitive et de télé-vigilance en cours de développement au laboratoire. Grâce à l’assistance cognitive, le domicile devient une prothèse cognitive capable de suppléer aux problèmes d’attention, de mémoire, de planification et d’initiation. Les systèmes de télévigilance permettent un meilleur suivi médical ethumain tout en soulageant l’essoufflement et l’épuisement des aidants.

Arnaud Doniec
LAMIH, Université de Valenciennes et du Hainaut Cambrésis

Le lundi 21 mai 2007 à 16h, amphi 104, Espace Fauriel

"Comportements anticipatifs dans les systèmes multi-agents : application à la simulation de trafic routier"

Résumé :

Les systèmes multi-agents permettent la simulation de phénomènes complexes difficilement descriptibles de manière analytique. Cette approche repose souvent sur la coordination d’agents dont l’ensemble des actions et interactions entraînent l’émergence du phénomène à simuler. Lorsqu’il s’agit de reproduire le comportement humain, il faut parfois composer avec une coordination compétitive et être capable de reproduire des comportements anticipatifs. Mes travaux se basent sur une approche de l’anticipation proposée par Rosen : "l’anticipation préventive" qui consiste à adapter son comportement courant de manière à éviter un certain nombre d’états indésirés. Je propose une formalisation de ce concept basée sur la manipulation et le traitement de réseaux de contraintes. Le modèle décisionnel sous-jacent utilise des techniques de propagation de contraintes permettant à chaque agent d’inférer les effets d’une action et de détecter ainsi un certain nombre d’états indésirés. L’algorithme proposé est générique et permet de filtrer, en amont de la coordination, toutes actions conduisant à l’un des états non désirés du système. Implémentée dans le cadre d’une simulation de trafic développée à l’INRETS : ARCHISIM, ma proposition permet d’introduire des comportements "opportunistes" plus réalistes sans risque d’apparition d’interblocage au centre des carrefours. Les différentes évaluations menées ont permis de valider l’émergence des phénomènes de trafic obtenus confirmant ainsi la pertinence de l’approche.

Thierry Moyaux
University of Liverpool

Le lundi 21 mai 2007 à 10h, amphi 104, Espace Fauriel

"Représentation d’une chaîne logistique comme un réseau d’enchères à la Steiglitz avec le modèle SCOR"

Résumé :

Cette présentation introduit un modèle de chaînes logistiques modélisées commes des réseaux d’enchères dans lesquelles (i) les entreprises sont représentées selon le premier niveau du modèle SCOR du Supply Chain Council et (ii) leur stratégie d’encherissage est celle proposée par Steiglitz et al. (1996). Plus précisément, SCOR modélise une entreprise comme trois fonctions, à savoir, Source, Make et Deliver. Nos entreprises peuvent aussi avoir ces trois fonctions, où Source et Deliver sont modélisés d’une façon proche des agents de Steiglitz et ses collègues, c’est-à-dire que ce sont des agents stockant des produits et faisant des offres d’achat ou de vente de produits pour maintenir leur inventaire à son niveau cible.
Après la présentation de notre modèle, nous étudions sa dynamique avec une simulation basée sur le simulateur JASA. Cette étude nous fournit des indications sur les dynamiques de la chaîne logistique et les comportements d’échanges commerciaux associés. En particulier, les simulations montrent que les dynamiques de prix dépendent non seulement d’un équilibre entre consommation, capacités de transformation et offre de produits (pour éviter toute inflation ou déflation), mais aussi d’autres facteurs influançant les mécanismes des enchères. De plus, nous identifions trois formes de dynamiques de prix, expliquons leur cause, et proposons des règles reliant l’occurrence de ces formes de dynamique de prix avec les conditions initiales de la simulation.

Paul Reaidy
Capgemini Est, Michelin

Le mardi 15 mai 2007 à 16h30, amphi 104, Espace Fauriel

"Etude et mise en oeuvre d’une Architecture d’Agents en Réseau dans les Systèmes Dynamiques Situés : Pilotage des Systèmes de Production Complexes"

Résumé :

Mes travaux de recherche portent sur l’utilisation de la technologie agent pour résoudre des problèmes complexes. L’application directe de ma thèse concerne l’allocation dynamique des ressources dans un système de production, en temps réel, dans un environnement dynamique situé (ou local). Les interactions entre les agents sont gérées par de nouveaux protocoles de négociation en mode coopératif, compétitif, coopétitif (coopératif + compétitif) et compération (compétition + coopération).
La prise de décision entre les agents utilise les principes des enchères et de la théorie des jeux. le modèle d’agent utilisé est un agent évolutif qui peut être désigné ? Agenthybride ? (entre réactif et cognitif).
Mes contributions ont conduit à la création de nouveaux protocoles de négociation et un nouveau concept de communication en temps réel nommé « Session de Demande » ; ils sont basés sur des principes récents de l’économie comme la « coopétition » et la théorie des jeux. De même, j’ai réalisé un simulateur basé sur une architecture décentralisée de pilotage, dans le cadre du projet européen PABADIS (IST - 60016 - Plant Automation BAsed on DIstributed Systems). Cet outil m’a permis de tester, valider, comparer et évaluer les performances des différents concepts existants et développés dans cette thèse. Les protocoles de négociation développés ont fait émerger des solutions réactives stables et adaptables dans des environnements dynamiques situés. Enfin, les concepts développés peuvent être utilisés pour gérer les interactions entre les agents dans d’autres contextes comme l’entreprise virtuelle, le « Grid Computing », le trafic aérien, et l’E-business.

Frédéric Armetta
Université de Lyon 1

Le mardi 15 mai 2007 à 14h, amphi 104, Espace Fauriel

"Représenter, comprendre et utiliser la complexité des systèmes"

Résumé :

De nombreux problèmes s’expriment sous la forme d’un système complexe (systèmes économiques, systèmes écologiques, réseaux routiers, systèmes de production, psychologie individuelle ou systémique, etc.). Ces systèmes sont dits complexes, car ils manifestent au cours de leurs dynamiques des interactions rétroactives entre les différentes entités qui les composent. La complexité de ces systèmes restreint l’efficacité des approches visant à les simplifier. Les systèmes complexes manifestent des comportements émergents qui ne peuvent être analysés, compris et contrôlés sans une interprétation et une compréhension des relations qui s’expriment à différents niveaux entre les composants de ceux-ci.
Je présenterai donc les voies de développement pour l’étude de ces systèmes par la simulation, la compréhension et à terme l’utilisation et le contrôle de de leur complexité. Nous verrons que cette façon d’aborder les problèmes fait de la complexité un atout à exploiter plutôt qu’un handicap, et que ceci dégage de nouvelles perspectives d’utilisation pour les systèmes informatiques. Les différentes propositions que je présenterai (rapport local/global, coordination décentralisée, auto-organisation, etc.) seront illustrées par l’approche CESNA (Complex Exchanges between Stigmergic Negotiating Agents) que j’ai développée au cours de ma thèse pour le problème complexe du partage de ressources critiques et qui fournit des résultats prometteurs.

Charles-Edmond Bichot
INPT, Université Toulouse 3 Paul Sabatier

Le vendredi 11 mai 2007 à 14h, amphi 104, Espace Fauriel

"La fusion fission, une nouvelle métaheuristique pour la recherche opérationnelle"

Résumé :

Cet exposé a pour but de présenter les résultats de recherche que j’ai obtenu pendant mes trois années de thèse au sein du Laboratoire d’Optimisation Globale de l’ENAC. Cette thèse a pour sujet la recherche de méthodes de partitionnement et de métaheuristiques pour une application au découpage de l’espace aérien européen. Dans un premier temps sera introduit la problématique de trafic aérien qui est l’objet de cette thèse, ainsi que le problème de la partition de graphes. Puis sera présentée l’application des métaheuristiques de recuit simulé, de colonies de fourmis et algorithmes génétiques au partitionnement de graphe et à notre problématique. Afin de pouvoir comparer les résultats obtenus par ces métaheuristiques avec ceux de la littérature, les méthodes et outils classiques de partitionnement de graphe seront décrits. Enfin, nous présenterons la métaheuristique de fusion fission et l’appliquerons au partitionnement de graphe pour la résolution de la problématique de trafic aérien, ainsi qu’en vue d’une comparaison avec les benchmarks classiques de la littérature. Dans ces deux cas, nous verrons que la méthode de fusion fission permet d’obtenir des solutions de bien meilleur qualité que celles des méthodes classique, et ce pour des fonctions objectifs différentes.

Gauthier Picard
IRIT, Université Toulouse 3 Paul Sabatier

Le vendredi 11 mai 2007 à 10h, amphi 104, Espace Fauriel

"Systèmes multi-agents adaptatifs : méthodologie et applications"

Résumé :

Dans le cadre de la résolution de problèmes distribués, les systèmes multi-agents se présentent comme un paradigme novateur et prometteur. Alliant des aspects dynamiques et distribués, leur implémentation et leur application à des problèmes complexes est souvent un bénéfice en terme de modularité et d’adaptation. Nos travaux se basent sur les principes de l’auto-organisation, afin de pourvoir les entités du système, les agents, de capacités locales de négociation et de coopération, afin de changer l’organisation du systèmes, et ainsi d’accomplir une tâche commune, non forcément connues de tous. Le moteur de cette réorganisation est la coopération, se focalisant sur la résolution de conflits, et la mesure de l’impact des actions sur la société d’agents. Afin de concevoir de tels systèmes, une méthode, ADELFE (Atelier de Développement de Logiciels à Fonctionnalité Emergente), a été développée, et propose une démarche, des notations et des outils spécifiques. Notre but est de fournir aux concepteurs les bases nécessaires au développement de systèmes multi-agents adaptatifs tout au long d’un processus, des besoins préliminaires au développement, extension du Rational Unified Process, manipulant des modèles et métamodèles AUML. Dans le cadre de nos travaux, ADELFE a été appliquée à des problèmes divers comme la mise en place d’emploi du temps universitaire, le transport multi-robot en environnement contraint, l’affectation de fréquences distribuée, le manufacturing control, ou la conception avionique. Dans ces applications, les agents coopératifs négocient et raisonnent sur leurs connaissances limitées sur les contraintes et les difficultés des agents voisins, afin d’atteindre leur but propre et celui du collectif.

Guillaume Muller
LSIS, Université Aix-Marseille II

Le jeudi 3 mai 2007 à 14h, amphi 022, Espace Fauriel

"Confiance et Réputation dans les Systèmes Multi-Agents Ouverts et Décentralisés"

Résumé :

Dans le cadre de ce séminaire, je présenterai les différentes recherches que j’ai effectuées sur les notions de confiance et de réputation dans les Systèmes Multi-Agents Ouverts et Décentralisés (SMAOD). Ces travaux se décomposent en trois parties : mes travaux de doctorat, effectués à l’ENSM.SE, sur le contrôle social de SMAOD ; mes recherches post-doctorales, effectués au LSIS à Marseille, sur la confiance dans le cadre du « Web 2.0 » ; mes travaux menés dans le cadre du projet international « ART-testbed ».
Dans la première partie de mon intervention, je présenterai mes travaux de doctorat. Les SMAOD, cadre dans lequel ces travaux prennent place, sont particulièrement vulnérables à l’introduction d’agents mal conçus ou malveillants. Mes travaux ont donc consisté à définir un modèle de contrôle des agents, afin que le système soit en mesure de faire face à l’introduction de tels agents. Cependant, afin de préserver la décentralisation du système et l’autonomie des agents, le modèle que j’ai proposé, LIAR, s’appuie sur les concepts de confiance et de réputation. Ainsi, il permet aux agents /eux-mêmes/ de contrôler les interactions de leurs pairs. C’est ce que Castelfranchi appelle le contrôle /social/.
Dans la deuxième partie de mon intervention, je présenterai mes recherches post-doctoratales, qui prennent place dans le cadre du « Web 2.0 ». Dans cette nouvelle version du Web, il n’est plus possible de certifier toutes les informations. Le but de mes travaux de recherche au LSIS est double. D’une part, il s’agit de proposer un modèle de réputation adapté à ce nouveau cadre informationnel. Il s’agit ensuite d’apporter une dimension supplémentaire à mes travaux en les intégrant à un moteur de recherche d’un genre original, qui doit présenter à l’utilisateur final le résultat de ses recherches de manière personnalisée, en fonction de la réputation que ce dernier accorde aux sources d’information.
Enfin, dans la troisième partie de mon intervention, je présenterai le projet international « ART-testbed », auquel je participe depuis sa création en 2004. Ce projet vise à concevoir et à implémenter une plate-forme d’expérimentation et de compétition pour les modèles de confiance et de réputation.

Alexandre Pauchet
LIPN, Université Paris XIII

Le mercredi 2 mai 2007 à 14h, amphi 022, Espace Fauriel

"Etude des interactions médiatisées : de la coopération à la collaboration"

Résumé :

La conception de systèmes multi-agents hétérogènes, ou communautés mixtes peut être améliorée par l’étude et la modélisation des interactions et de la planification humaines, afin d’intégrer aux agents logiciels la capacité d’interagir efficacement avec les humains. La première partie est consacrée à la planification individuelle et aux interactions coopératives par emails. A partir de l’analyse des traces issues d’une expérimentation, un modèle de la planification et un modèle des interactions humaines ont été conçus. Ces deux modèles ont été intégrés à une architecture d’agent afin de simuler les comportements humains. Les modèles cognitifs et l’architecture ont été validés par un test à la Turing.
La seconde partie de l’exposé est consacrée à l’étude de la collaboration et des interactions multi-modales. Une seconde expérimentation a été mise en place, basée sur un assemblage collaboratif de puzzles via une interface partagée. L’analyse des données recueillies vise à formaliser les interactions collaboratives multi-modales. A terme, la résolution des puzzles devrait pouvoir être simulée par agents animés.

Odile Bellenguez-Morineau
Université François-Rabelais de Tours,
Département Informatique de Polytech’Tours

Le jeudi 26 avril 2007 à 14h, amphi 104, Espace Fauriel

"Problème de gestion de projet multi-compétence : méthodes de résolution et applications"

Résumé :

On s’intéressera dans cet exposé au problème de gestion de projet multi-compétence : Il s’agit de planifier la réalisation d’un projet, composé d’activités, que l’on souhaite finir au plus tôt. Chaque activité nécessite pour sa réalisation l’exercice de certaines compétences. Les personnes affectées sont donc choisies pour exercer une compétence parmi celles qu’elles maîtrisent.
Plusieurs méthodes de résolution seront introduites : tout d’abord des bornes inférieures, puis différentes méthodes approchées : algorithmes gloutons et méthode tabou. Nous proposons ensuite une procédure par séparation et évaluation pour la résolution exacte de petites instances. Enfin, différents problèmes industriels pour lesquels ce modèle peut être adapté seront présentés : problème de planification de formations en fonction des compétences des formateurs disponibles ou encore problème de planification d’activités de maintenance réalisées par des opérateurs multi-compétents.

Alessandro Ricci
DEIS (Dipartimento di Elettronica Informatica e Sistemistica)
department at University of Bologna

Le jeudi 9 novembre 2006 à 14h, salle 120, Espace Fauriel

"The A&A Approach for Developing Cognitive MAS : Conceptual Framework and Prototyping Technologies"

Résumé :

In human society, almost any cooperative working context accounts for different kinds of object, tool, "artifact" in general that humans adopt, share and intelligently exploit so as to support their working activities, in particular social ones. According to human sciences theories and related computer science disciplines---such as CSCW and HCI---such entities have a key role in determining the success or failure of the activities, playing an essential function in simplifying complex tas ks and---more generally---in designing solutions that can scale with activity complexity.
Analogously to the human case, we think that also cognitive multi-agent systems (MAS) could greatly benefit from the definition and systematic exploitation of a suitable notion of working environment, composed by different kinds of artifact dynamically constructed, shared and used by agents to support their working activities. Among possible kinds of artifact, we consider "coordination" artifacts in particular to play a fundamental role in agent societies, as artifacts encapsulating some kind of coordination functionalities, useful to make the coordination activities in agent organisations effective.
Accordingly, in this talk we introduce and discuss a conceptual framework called A&A ("A"gents and "A"rtifacts) which aims at directly modelling and engineering such aspects in the context of cognitive multi-agent systems, and related technologies.
First, a general overview of the basic concepts and principles of A&A is provided. Then, current models and technologies that have been developed for concretely prototyping MAS applications in the A&A perspective are illustrated, including (1) CARTAGO, a recent framework that makes it possible to define and exploit A&A working environments running on the Java Virtual Machine (JVM), (2) TuCSoN, a coordination model / infrastructure used for MAS coordination since 1999, whose coordination abstractions called tuple centres are reframed here as programmable coordination artifacts. Finally, we discuss the integration of such models and technologies with existing cognitive agent models and platforms, taking in particular Jason MAS development platform as reference case.

Gildas Avoine
EFPL, Lausanne, Switzerland

Le jeudi 26 janvier 2006 à 14h, Amphi 104, Espace Fauriel

"Security and Privacy Issues in RFID Systems"

Résumé :

This presentation deals with Radio Frequency Identification (RFID), which consists in remotely identifying objects that carry a transponder. The great achievement that RFID has made today, lies essentially on the willingness to develop low cost transponders, called tags. Such tags have limited capabilities ; so, many questions have been asked regarding RFID’s potential and limitations, more precisely in terms of security and privacy.
In this talk, the RFID technology will be introduced and the security and privacy threats will be classified and analyzed. Then the presentation will focus on one of these threats that is the malicious traceability.

Olivier Boissier
Ecole Nationale Supérieure des Mines de Saint-Etienne, centre G2I

Le jeudi 1er décembre 2005 à 14h, Amphi 104, Espace Fauriel

"Programmation Orientée Multi-Agent"

Résumé :

Les applications informatiques actuelles sont de plus en plus complexes et distribuées. Elles sont confrontées aux défis de l’hétérogénéité des informations manipulées, de l’ouverture et de l’adaptation nécéssaire aux changements continuels et non prévisibles de l’environnement dans lequel elles sont insérées, de la non centralisation des traitements et des contrôles. Depuis une dizaine d’année, des langages de programmation, des outils et des plate-formes de développement d’agents intelligents et de systèmes multi-agents ont fait l’objet de recherches importantes. Dans le même temps, de nombreuses compagnies utilisent ces technologies pour résoudre des problèmes complexes touchant à la gestion de chaines logistiques, l’intégration d’applications, etc. Dans le cadre de ce séminaire, nous montrerons comment, et en quoi, les modèles et les technologies multi-agents permettent de développer et de programmer des applications informatiques répondant à ces différents défis.

Eric Matson
Wright State University

Le vendredi 23 septembre 2005 à 14h, Amphi 022, Espace Fauriel

"Transition in Agent Organizations"

Résumé :

Multiagent Systems (MAS) can be employed to solve a great many problems requiring self-organization or adaptation. When combined with an organization model, a MAS becomes an even more useful structure capable of taking on problems that require self- organization, adaptation, and recovery. To capture and understand the concept of organization and reorganization, the process by which organization transition occurs must be explored, understood and formally defined. In this presentation, an organization model that captures transition functionality will be shown. Three different transition control algorithms will be shown which differ in how organization capabilities are deployed and resource allocation decisions are made.

Liu Liming
Department of Industrial Engineering and Engineering Management
Hong Kong University of Science and Technology

Le jeudi 21 juillet 2005 à 14h, Amphi 104, Espace Fauriel

"Patient Flow and Resource Allocation in a Health Care System"

Résumé :

Healthcare is an overwhelmingly human as well as technology oriented service industry. As such, hospital systems are usually extremely complicated and resources intensive, and their operations environments are highly uncertain. The administrator of a hospital system such as those under the Hospital Authority in Hong Kong or the HMO’s in the United States often faces the challenge of managing two inter-connected issues : allocating limited resources and controlling patient flows among hospitals and clinics within the system, with an overall objective of providing high quality cares with available resources. We develop some novel modeling approaches to tackle these two issues and have obtained some interesting analytical results. In this talk, I will introduce a hospital system and the issues that motivate our research. A multi-site service network model is then proposed for this hospital system. Assuming a fixed system structure, i.e., capacity distribution, and social optimization, I will then show that the patient flow control problem can be addressed with a stochastic dynamic programming model. From this model, optimal switching curves can be obtained to either reject a patient from the system, or direct him or her to another clinic, or keep him or her in the home clinic. For health care resource, we show that the more cost-effective allocation is "one large and many small", i.e., concentrate all additional resource to a more populated area while maintaining an appropriate level of service to other areas.

Lina Makdessian
ISTIT - Université de Technologie de Troyes

Le mercredi 15 juin 2005 à 14h, Amphi 104, Espace Fauriel

"Choix d’équipement des lignes de production : approches mono et multicritère"

Résumé :

Ce travail de thèse porte sur un problème de conception des lignes de production et plus spécifiquement des lignes dites de transfert. Ces lignes sont d’un haut niveau d’automatisation et sont utilisées dans la production de masse d’un produit ou d’une famille de produits proches. Notre démarche consistait à chercher à cerner au mieux la problématique de conception ou de re-conception d’une telle ligne à travers des prismes différents. D’abord, nous avons réalisée une étude monocritère dont l’objectif était la minimisation du coût des équipements d’une telle ligne. Ensuite nous avons introduit d’autres critères et développé une approche d’optimisation multicritère.
Dans la première partie de la thèse, où nous développons l’approche monocritère, notre objectif est de choisir pour chaque station les équipements à utiliser en affectant toutes les opérations nécessaires pour la fabrication d’un produit aux stations de travail. Ce choix doit tenir compte d’un ensemble des équipements disponibles et de toutes les contraintes. Il doit assurer une productivité voulue, et cela à moindre coût des équipements. Nous considérons des lignes où chaque station de travail peut contenir un ou plusieurs équipements utilisés en parallèle. Chaque équipement exécute toutes les opérations qui lui sont affectées simultanément. Nous prenons en compte les contraintes dues à l’impossibilité de combiner certains équipements dans la même station de travail et également celles représentant les relations de précédence entre les opérations. Nous proposons une méthode exacte de type PSE (Procédure par Séparation et Évaluation) pour des instances de petite et moyenne taille. Pour des instances du problème de taille plus importante, nous avons développé une heuristique avec stratégie arborescente et un algorithme génétique. Nous avons obtenu avec les deux modes de résolution, exacte et approché, des résultats intéressants.
La deuxième partie, quant à elle, est consacrée à la problématique du choix multicritère des équipements. Les critères utilisés sont : le coût des équipements, la surface occupée, la productivité et l’homogénéité des niveaux des compétences requises pour les opérateurs entre différentes stations. Nous considérons que la répartition des opérations sur les stations de travail est déjà faite. Alors nous connaissons le nombre de stations dans la ligne. Le problème qui s’impose est de choisir pour chaque station de la ligne un ensemble des équipements à installer. Nous avons proposé des nouvelles techniques de résolution de ce problème multicritère en adaptant intelligemment et efficacement des algorithmes ou des concepts déjà existants, à savoir : méthode Multistart et algorithmes génétiques de type NSGA (Non Dominated Genetic Algorithm). Nous avons testé nos méthodes sur un panel important de problèmes. Ceci nous a amené à identifier des points de satisfactions et des voies d’explorations futures.

Gaelle Calvary
CLIPS-IMAG - équipe IIHM

Le jeudi 9 juin 2005 à 14h, Amphi 104, Espace Fauriel

"Plasticité des interfaces hommes-machine"

Résumé :

Avec l’informatique ambiante, c’est-à-dire diffuse et mobile, les contextes d’usage se diversifient : l’utilisateur évolue dans un environnement varié (la rue, son bureau, sa maison) et recourt, de façon opportuniste, à des plates-formes d’interaction diverses (PC, PDA, téléphone, console de jeu, montre, etc.). Si cette gamme de plates-formes semblait jusqu’ici maîtrisable, elle ne l’est plus dès lors qu’on envisage l’assemblage et le désassemblage dynamiques de plates-formes : le rapprochement de deux écrans donne, par exemple, l’opportunité d’une plus grande surface d’affichage. Désormais, les IHM se déploient dans des espaces interactifs hétérogènes et dynamiques : elles s’étalent, se réabsorbent, migrent, en fonction de l’arrivée ou du départ de ressources. Ces migrations partielles ou totales s’accompagnent souvent de remodelages, l’IHM ne pouvant, à l’évidence, être la même sur grand et petit écran. Si les ingénieries au cas par cas ont fait leur preuve pour des contextes d’usage stables, figés à la conception, elles se heurtent aujourd’hui à la diversité et variabilité de ces contextes. La Plasticité des Interfaces étudie, en réponse, la capacité d’une IHM à s’adapter à son contexte d’usage dans le respect de son utilisabilité. J’en présente un cadre de référence couvrant à la fois la conception et l’exécution d’interfaces plastiques.

Antoneta Bratcu
Ecole Nationale Supérieure des Mines de Saint-Etienne, centre G2I

Le jeudi 26 mai 2005 à 14h, Amphi 104, Espace Fauriel

"Optimisation du coût des lignes de transfert reconfigurables : approche par programmation linéaire"

Résumé :

Les lignes de transfert approchées ici sont utilisées dans l’usinage de grande masse. Elles disposent d’un ensemble d’outils multifonctionnels (têtes d’usinage) capables de réaliser plusieurs opérations en même temps (en parallèle) sur une même instance du produit. Chaque tel outil s’appelle bloc, étant complètement décrit par l’ensemble d’opérations qu’il peut faire, son temps opératoire et son coût. La propriété de reconfigurabilité concerne la possibilité d’usiner une famille de produits avec le même équipement. Les blocs et les caractéristiques de la famille de produits sont supposés connus. Le problème est d’assigner les blocs aux stations de telle sorte que le coût total de la ligne soit minimum et que les contraintes technologiques et de temps soient respectées pour l’entière famille. Ce problème est formulé en termes de programmation linéaire et résolu à l’aide du logiciel d’optimisation Cplex ILOG. Un exemple de taille moyenne est discuté afin d’illustrer les étapes de la méthode de résolution proposée.