Jouer en bibliothèque

Le développement du jeu vidéo mais également l’engouement des jeunes adultes pour les jeux de plateau, l’utilisation de dispositifs ludiques comme outils de médiation ou associés aux apprentissages sont venus prolonger les services des ludothèques et conduisent les bibliothèques à se réinventer pour devenir les lieux naturels où permettre la pratique de l’expérience du jeu dans toutes ses dimensions. Le plan s’organise autour de quatre parties : connaître le contexte (les espaces, les équipes, le droit), acquérir/valoriser (les fonds, jouets et serious games), animer/créer (projet de service, partenariats, médiation), et participer (une approche orientée communauté)

Contribution aux approches formelles de synthèse de commande spécifiée par GRAFCET

La complexité croissante des Systèmes Automatisés de Production, accroît les exigences des utilisateurs en terme de sûreté de fonctionnement et d'aide à la conception de programmes. Pour aider le concepteur à réaliser ces deux points, deux approches sont possibles : la première par validation et la seconde par synthèse. Nous nous sommes intéressés dans ce mémoire à l'approche par synthèse qui consiste à construire une commande où les propriétés attendues pour le système sont prises en compte dès le début de la conception. Le travail de cette thèse constitue une démarche formelle permettant la synthèse de l'implantation la plus permissive de la commande à partir d'une spécification Grafcet, d'un système à commander et d'un ensemble de contraintes à respecter. Pour établir cette synthèse, en plus de la spécification de la commande par Grafcet, il faut modéliser le système physique, ensuite, exprimer les contraintes de sûreté et de vivacité. Cependant, la modélisation du système physique et des contraintes s'avère être une tâche complexe. Pour pallier ces problèmes, notre démarche s'appuie sur des modèles structurés et évolués en utilisant, pour la partie opérative, des modèles booléens à base de règles et pour les contraintes, des équations logiques dans l'algèbre de Boole classique. Une aide dans l'élaboration de la commande et dans le raffinement des modèles de départ est proposée au concepteur lui permettant de visualiser et d'analyser les séquences bloquantes ainsi que les corrections proposées.The Automated Production Systems complexity, increases the requirements for users in term of operational safety as well as the program design reliability. To help the user to carry out these two points, two approaches are possible: the validation approach and the synthesis approach. We are interested in this thesis, with the synthesis approach which consists in building a controller where the properties awaited for the system are taken into account from the beginning of the design. The work of this thesis concerns a formal approach allowing the synthesis of the most permissive implementation of an optimal control for a given Grafcet. It allows also a system to be controlled and a number of constraints to be respected. To establish this synthesis, in addition to the specification of the Grafcet controller, it is necessary to model the physical system, then, to express the constraints of liveness and safety. However, modelling the physical system and the constraints is a complex task. To mitigate these problems, this approach is based on structured and advanced models while using the Boolean models containing rules for the plant and the logical equations in the traditional Boolean algebra for the constraints. A help in the development of the controller and the refinement of the starting models is proposed to the user enabling him to visualise and analyse the blocking sequences as well as the suggested corrections.REIMS-BU Sciences (514542101) / SudocCACHAN-ENS (940162301) / SudocSudocFranceF

Contribution au diagnostic décentralisé des systèmes à événements discrets: application aux systèmes manufacturiers

Le diagnostic des défaillances des systèmes industriels est à l'origine de nombreux travaux depuis ces dernières années. Il est défini comme l'opération permettant de détecter et de localiser un défaut. La détection de défauts consiste à rendre une décision sur l'état du système qu'il soit en fonctionnement normal ou défaillant. Cette opération est ensuite suivie d'une étape de localisation du défaut afin d'identifier ses causes et son origine. Ce mémoire de thèse présente une approche décentralisée avec coordinateur pour le diagnostic des Systèmes à Evénements Discrets (SED) et plus particulièrement pour les systèmes manufacturiers composés de capteurs et d'actionneurs discrets. Cette approche considère la Partie Opérative (PO) comme un ensemble d'éléments composé d'un actionneur et d'un ensemble de capteurs. La construction des diagnostiqueurs s'appuie sur une modélisation modulaire des éléments de la Partie Opérative, d'un modèle des spécifications de la Partie Commande (PC) et d'une information temporelle liée à la réactivité des actionneurs. Chaque diagnostiqueur représente un observateur de l'état du système affecté d'une étiquette de décision, cette décision étant le résultat de l'observation des événements, des conditions sur les états du système et/ou sur le temps de retard entre événements. Afin de définir la capacité de l'ensemble des diagnostiqueurs locaux à diagnostiquer un ensemble de défauts dans un délai fini, une notion de codiagnosticabilité a été établie. Dans cette thèse, cette notion tient compte de la modélisation des défauts à base d'événements, à base d'états et à base d'informations temporelles. Elle détermine ainsi l'ensemble des défauts que la structure décentralisée peut diagnostiquer. L'ensemble des décisions locales doit être ensuite agrégé afin d'obtenir une décision globale sur l'état du système. Cette fusion est réalisée par un coordinateur construit à partir d'un ensemble de règles permettant de résoudre les différents problèmes d'indécision et d'ambiguïté entre les diagnostiqueurs locaux. Ce coordinateur permet d'obtenir des performances de diagnostic équivalentes à celles d'un diagnostiqueur centralisé. Deux exemples d'applications manufacturières illustrent l'efficacité et l'intérêt de la structure décentralisée en terme d'explosion combinatoire. Un simulateur basé sur Stateflow de Matlab permet de tester et valider l'approche proposée.Fault diagnosis of industrial systems is a subject that has received a great attention in the past few decades. It is defined as the process of detecting and isolating faults. Fault detection leads to a binary decision that either the system is working under normal conditions or an abnormality in its behaviour has occurred. Fault detection is followed by fault isolation, which determines the fault type, location and causes. This thesis presents a decentralized approach to realize the diagnosis of Discrete Event Systems (DES), particularly manufacturing systems with discrete sensors and actuators. This approach considers the plant as a set of elements. Each plant element is composed of an actuator and a set of sensors. The construction of the local diagnosers is based on a modular modelling of the plant elements, of the controller specifications and the temporal information about the actuators reactivity. It is a special case of an observer that carries fault information by means of labels attached to states. Diagnosers base their decisions on the sequences of observed events, on the current behavior and/or on the time delays between these events. In order to verify that the set of local diagnosers are capable to diagnose a set of faults within a bounded delay, a notion of codiagnosability must be defined. In this thesis, a timed-event-state-based diagnosability notion is defined in order to verify the diagnosability property of the set of local diagnosers. All local diagnosis decisions must be merged in order to obtain one global diagnosis decision. This fusion can be realized by a coordinator based on a set of rules. The goal of this coordinator is to solve the problem of decision conflict and/or ambiguity among local diagnosers in order to obtain a diagnosis performance equivalent to the one of the centralized diagnoser. Two examples of manufacturing applications are used to illustrate and to show the advantages and the interest of this approach. A simulation tool based on Stateflow of Matlab is constructed in order to test and validate the proposed approach on application examples.REIMS-BU Sciences (514542101) / SudocCACHAN-ENS (940162301) / SudocSudocFranceF

Pseudo-hermaphrodisme féminin par déficit en aromatase

PARIS6-Bibl. St Antoine CHU (751122104) / SudocPARIS-BIUM (751062103) / SudocSudocFranceF

Contribution à la conception d applications de pilotage des systèmes manufacturiers

Quelque soient les applications développées dans le cadre des systèmes à évènements discrets, l analyse et la représentation du comportement de la partie opérative par un modèle formel est nécessaire. L analyse bibliographique montre que, suivant les applications et les auteurs, la modélisation de la partie opérative prend des formes très différentes suivant les objectifs à atteindre. Le modèle utilisé est généralement proposé empiriquement et il est supposé faire partie du travail préliminaire aux travaux présentés. Bien que située à la base de tous les travaux, la modélisation en tant que telle, ne fait pas beaucoup l objet de travaux de recherche. Nous nous sommes intéressés dans ce mémoire à l obtention d un modèle de partie opérative selon deux approches : la première consiste à mettre à l épreuve formellement un modèle de partie opérative de bas niveau pour tester si tous les changements de commandes sont considérés. La confiance dans le modèle de partie opérative empirique est augmentée en vérifiant partiellement certaines propriétés sur celui-ci. La seconde approche s intéresse à la construction du modèle de partie opérative par analyse de la composition en constituants physiques de la partie opérative. Chaque composant est modélisé indépendamment suivant un niveau de précision plus ou moins important avant que le modèle de partie opérative ne soit assemblé pour être utilisé dans des applications. D abord basés sur les outils de représentation classique de la théorie des langages, les résultats de la modélisation de la partie opérative présentés dans ce mémoire sont ensuite appliqués à la supervision industrielle d un atelier flexible d emballage et de conditionnement. Cette modélisation montre ses limites dans la prise en compte du temps et l aspect continu du comportement de la partie opérative. La démarche de modélisation est ensuite étendue aux Réseaux de Petri hybrides pour pouvoir représenter le comportement discret et continu de la partie opérative et leurs interactions. Cette approche hybride permet enfin d apporter un cadre formel pour la simulation de parties opératives réalistes intégrée dans le logiciel ITS_PLC Professional EditionWhatever applications in the field of Discrete Event System, analysis and plant part behavior modeling represented by a formal model is required. Our bibliographical analysis shows that, according to authors and applications, operative part modeling can take very different forms depending on goals. Used models are generally empirical and are supposed to be defined before the contribution. Although modeling is needed in all the research contribution, modeling does not provide a lot of contribution dedicated to it. In this thesis, we are interested in how to obtain the plant model with two approaches: the first one consists in putting to the test formally an empirical low-level plant model to test if all the control changes are considered. Confidence in the empirical plant model is improved by verifying partially on this one. The second approach consists in proposing to build the plant model by analyzing the components that compose the plant. Each material component is modeled independently with a precision level more or less important before that the plant model is assembled to be used in applications. First, the representing tool that is used is based on the language theory. The obtain results on the modeling of the plant parts are applied to the supervisory control of a packaging flexible cell. The modeling tool shows its limits in the taking into account of the time and the continuous aspects of the plant behavior. Then, our approach is extended to hybrid Petri nets to take into account the discrete and continuous behavior of the plant and their interaction. This hybrid approach enables to supply formal context to simulate realist plant models integrated in the software ITS_PLC Professionnal EditionREIMS-BU Sciences (514542101) / SudocSudocFranceF

: [actes du XIe Colloque international Histoire et archéologie de l'Afrique du Nord, Marseille, Aix-en-Provence, 8-11 octobre 2014]

International audienc

Introduction

International audiencePrésentation de la thématique du colloqu

Introduction

International audiencePrésentation de la thématique du colloqu

Méthodes de relevés de vestiges submergés

International audienc

Bcl-2—Enhanced Efficacy of Microtubule-Targeting Chemotherapy through Bim Overexpression: Implications for Cancer Treatment

Bcl-2 is commonly overexpressed in tumors, where it is often associated with unfavorable outcome. However, it has also been linked to a favorable sensitivity to microtubule-targeting agents (MTAs). We show that Bcl-2– overexpressing lung and breast cancer cells were more sensitive to both paclitaxel and vinorelbine. Bcl-2 overexpression also significantly potentiated in vivo efficacy of paclitaxel, in terms of tumor volume decrease and survival benefits, in models of nude mice bearing lung cancer xenografts. To further investigate this favorable effect of Bcl-2, a genomic approach was taken. It revealed that Bcl-2 overexpression induced up-regulation of the proapoptotic protein Bim in lung cancer cells and that, conversely, Bcl-2 silencing decreased Bim expression level. A gene regulation study implicated the transcription factor Forkhead box-containing protein, class O3a in Bim up-regulation. Lastly, we show that Bim was responsible for MTA-triggered lung cancer cell death through a dynamin-related protein 1–mediated mitochondrial fragmentation. The Bcl-2–governed Bim induction evidence offers for the first time an explanation for the favorable higher sensitivity to treatment shown by Bcl-2–overexpressing cells. We suggest that Bim could be a powerful predictive factor for tumor response to MTA chemotherapy. Our data also give new insight into some failures in the efficacy of therapies targeted against Bcl-2