Un Framework Basé Bigraphes pour la Conception et l'Analyse des Systèmes Sensibles au Contexte

Today, modern technologies have become a part of our daily life. Whether to be informed, entertained, or even to communicate with friends, ubiquitous computing offers numerous opportunities. For this to become reality, computer systems must be able to observe the environment and to adapt their behaviour according to the users expectations and needs. This is called context-awareness. Indeed, the literature shows that context-awareness is the focal point of ubiquitous computing. However, due to heterogeneity and dynamicity of context information, taking it into account requires establishing a model to represent these information at a high-level of abstraction.In this thesis, we propose a model called BigCAS (Bigraphical Context-Aware System) that supports the design of context-aware systems. To achieve this goal, BigCAS is based on formal specifications, derived from bigraphical reactive systems, for modelling structural and behavioural aspects of context aware systems. It provides a clear separation between the context-aware part and the context-unaware part of these systems. Each part is modelled separately as a distinct bigraph, where the composition of these bigraphs models the general structure of the system, particularly, its components interactions and their side effects. Moreover, BigCAS considers not only structural aspects, but also the different reconfigurations involved in the behaviour of context aware systems.We also propose an extension to BigCAS, named BigCAS-FA (Bigraphical Context-Aware System - Formal Analysis), that provides formal verification of safety and liveness properties of context aware systems. Furthermore, BigCAS-FA provides contract-based strategies to guide the dynamic reconfiguration according to the context.To validate our proposals, we develop a prototype, BigCAS-Tool (Bigraphical Context Aware System - Tool), devoted to the specification and verification of context-aware systems. The proposed prototype is illustrated with a case study of a smart lighting system.Aujourd'hui, les nouvelles technologies font partie de notre vie quotidienne. Qu'il s'agisse de s'informer, de se divertir, ou même de communiquer avec ses amis, les possibilités qu'offre l'informatique ubiquitaire sont innombrables.Pour que ces possibilités puissent devenir une réalité, les systèmes informatiques doivent alors se doter d'une capacité d'observation de leur environnement et de s'adapter en fonction des attentes et des besoins des utilisateurs. C'est ce qu'on appelle la sensibilité au contexte. En effet, la littérature montre que la sensibilité au contexte est le point central de l'informatique ubiquitaire. Cependant, face à l'hétérogénéité et la dynamicité des informations de contexte, sa prise en compte nécessite la mise en place d'un modèle pour décrire ces informations à un haut niveau d'abstraction.Dans ce travail de thèse nous proposons, dans un premier temps, un modèle appelé BigCAS (Bigraphical Contexte-Aware System) qui permet la conception formelle des systèmes sensibles au contexte. Pour accomplir cet objectif, BigCAS repose sur des modèles formelles à base des systèmes réactifs bigraphiques permettant la modélisation des aspects structurels et comportementaux des systèmes sensibles au contexte. Il offre une séparation claire entre la partie sensible au contexte et la partie non-sensible au contexte de ces systèmes. Chacune de ces parties est modélisée séparément par un bigraphe distinct, où la composition de ceux-ci modélise la structure générale du système ainsi que les interactions et les effets de bord entre ses différents composants. Par ailleurs, BigCAS tient compte non seulement des aspects structurels, mais aussi des différentes reconfigurations intervenant dans le comportement des systèmes sensibles au contexte.Nous proposons également une extension du modèle BigCAS, appelée BigCAS-FA (Bigraphical Context-Aware System - Formal Analysis), qui permet la vérification formelle de propriétés de sûreté et de vivacité des systèmes sensibles au contexte. En outre, BigCAS-FA possède des stratégies à base de contrats qui consistent à guider la reconfiguration dynamique en fonction du contexte.Afin de valider nos propositions, nous développons le prototype BigCAS-Tool (Bigraphical Context Aware System - Tool) dédié à la spécification et la vérification des systèmes sensibles au contexte, et nous l'illustrons à travers une étude de cas d'un système d'éclairage intelligent

Causes des troubles du développement, du comportement et des apprentissages chez l enfant et l adolescent

Les troubles du développement, du comportement et des apprentissages handicapent de nombreux enfants dans leurs relations, leur réussite scolaire puis professionnelle. Certaines causes présentes dans l environnement, parfois provoquées par les changements de notre mode de vie occidental, peuvent contribuer à ces troubles. Il en est ainsi des perturbateurs endocriniens, de la télévision, de la sédentarité, des troubles du sommeil, du stress, du cannabis, de la consommation de substances psychoactives par les parents, de l hypersexualisation, des musiques à basse fréquence, du déséquilibre de la balance en acides gras, de la carence en vitamine D, de l anesthésie générale, de la pollution de l air intérieur, des mutilations sexuelles, de la consanguinité, du non dépistage des troubles des apprentissages, des carences éducatives, de la nocivité des villes actuelles. Le médecin généraliste doit être conscient de l impact de ces facteurs de risque sur le bon développement global des enfants. Il doit avoir les arguments pour convaincre les parents de modifier certaines de leurs pratiques pour le bien de leur enfant. Les pouvoirs publics ont également un rôle à jouer dans la prévention de ces troubles par l information de la population grâce à des campagnes nationales.ROUEN-BU Médecine-Pharmacie (765402102) / SudocSudocFranceF

Apprentissage comportemental en continu de dispositifs ambiants par systèmes multi-agents adaptatifs

International audienc

Le néo-sujet du droit criminel. Effets secondaires des psychotropes sur l’anthropologie pénale

Cette thèse a fait l'objet d'une publication: Le nouveau sujet du droit criminel : effets secondaires de la psychiatrie sur la responsabilité pénale / Christian Saint-Germain. — Montréal : Liber, [2014]. — 358 pages ; 23 cm. ISBN 9782895784654.Cette étude analyse les effets conjugués de la montée du néo-libéralisme et de la consommation de psychotropes sur l’anthropologie pénale. Cette conjoncture modifie les rapports du sujet de droit à lui-même, à autrui et au social. Elle remet en cause la logique de l’imputabilité et la psychologie morale au fondement de la compréhension du sujet pénal. Dans le cadre du procès, les concepts d’intention, de volonté et de libre arbitre ne sont pas neutres. Ils n’ont pas de portée autre que celle permettant la rhétorique incriminatoire. L’intégration de la psychiatrie pour étoffer scientifiquement la scolastique pénale constitue une erreur : l’acceptation devant les tribunaux des prétentions « oraculaires » de cette discipline incertaine de la médecine relève d’une délégation massive du sens commun. En revenant sur le moment décisif de l’intrusion de la psychiatrie dans le discours juridique, cette étude identifie les stratégies par lesquelles se nouent, au fil de l’histoire, des « affinités électives » entre ces deux univers normatifs qui n’ont finalement en partage que l’absence d’une théorie du sujet responsable. Par-delà cette mésalliance, cette étude saisit, à l’occasion de la défense d’automatisme, un des rares ancrages historiques où le droit criminel réfléchit la condition neurologique de l’esprit. Cette étude épouse l’ambiguïté féconde de l’automatisme : à la fois compris comme défense, mais révélant aussi le noyau physique des processus psychiques, renversant ainsi les présupposés moraux qui fondent le discours sur la conscience en droit criminel. Cette étude rappelle le caractère fondamental du concept de désinhibition pour comprendre le néo-sujet. Elle décrit le déploiement d’une pharmaco-politique encore dissimulée sous le concept de santé mentale. Elle se conclut par l’analyse de deux procès criminels pour meurtre devant la Cour d’appel du Québec dans lesquels l’admissibilité de la défense d’automatisme a justement été posée lorsqu’il s’est agi de pondérer le caractère causal des antidépresseurs sur le comportement et l’impact de la dépression. Dans les deux cas, le recours à l’expertise psychiatrique n’a su éclairer le droit.his study analyzes the combined effects of the rise of neo-liberalism and the use of psychotropic drugs on criminal anthropology. This conjecture alters the relationship of the subject of law to himself, to others and to society as well. It questions the logic of accountability and moral psychology at the foundation of the understanding of the criminal subject. During a trial, the concepts of free will and intention are not neutral. They have no other relevance than supporting a rhetoric allowing incrimination. The integration of psychiatry to expand scientifically criminal scholasticism is a mistake. Acceptance by the courts of the "oracles" of psychiatry is a massive delegation of common sense fraught with uncertainty. With regards to the decisive moment of the intrusion of psychiatry in legal discourse, this study identifies the strategies developped over time involving "elective affinities" between two normative realms wich have in common the absence of a theory of the responsible subject. Beyond this misalliance, this study sheds light on the defense of automatism as one of the few opportunities where criminal law ponders on the neurological conditions of the mind. This study points to the ambiguity of automatism : both as a defense and as the physical core of psychological processes, thus putting into question the assumptions at the basis of moral discourse on consciousness in criminal law. This study emphasizes the fundamental concept of disinhibition in order to understand the neo-subject. It describes the deployment of a pharmaceutical policy hidden in the concept of mental health. It concludes with an analysis of two murder trials before the Quebec Court of Appeal in wich the admissibility of the defense of automatism was questioned – particularily whith regards to the effects of antidepressants on conduct and the impact of depression on behaviour. In both cases, the use of psychiatric expertise was unable to enlighten the court

Pour une onto-anthropotechnie de la sphère humaine. La question de l'interdit technologique au prisme d’une lecture phénoménologique du transhumanisme.

The discussion about the extent to which technology structures the human sphere is nowadays severely hampered by the popularization of mythological (Promethean threat, etc.) or narrative analogies (threat of AI, cyborg, etc.). Many authors who have questioned the essence of technology in detail have come to divide it into two categories, roughly summarized as (post)modern technology and ancient technology, thus evacuating the formal quality of technology. The feeling of anxiety that our societies experience in front of the autonomy and empowerment of technology would be explained by the ontological discontinuity of the human-technology relations. Isn't transhumanism, incidentally, the concrete embodiment of this rupture? Our thesis postulates that in order to correctly interpret the emergence of phenomena such as transhumanism, we need a philosophical reading of the phenomenon of technique. Now, a philosophical reading of the technique is only possible by questioning the anthropological and ontological roots of technology itself. Our intention to use philosophy to tackle this complex and highly mediatized issue of transhumanism leads us to reinvest pre-existing and absolutely fundamental metaphysical questions regarding the relationship between technology and human beings. We have chosen to take a phenomenological approach to better understand transhumanism, in order to outline the metaphysical issues at stake in our technical imaginary, as well as to serve as a new entry point to the question of technology itself. The eidetic reduction allows us to identify the internal divergences of transhumanism in order to express a minimal discourse, the desire to improve the human being through technology. This dialogue can from then on be assumed by the philosophy of technology and serve as a revealing phenomenon, while taking part in a major discussion that is still ongoing. In spite of the cultural and anthropological evolution of technology and its objects, we defend the hypothesis that there is no rupture between a modern technology and an ancient one, and that the emergence or the solidification of forms of contemporary technical imaginaries contributes to the ontological sphere of human existence. Our purpose is to return to the questions that technology raises towards the being of the human, instead of staying at the human that raises questions about the impact of science and technology. The transhumanism is considered as a starting point to the question of technology, which allows to reinstate the human-technology relations in the temporality of a continuous evolution, and induces a renewed and plastic adaptation of the human being to his environment. Our first part introduces the conceptual framework of the understanding of the technical object, as an object embedded in human mediations. We question this object from familiar landmarks, between mechanism and finalism, gesture and mediation, organ and tool. This allows us to determine some phenomenological aspects regarding body unity and the relation between "paraphernalia" and technical object. These defining elements are embodied in the analysis of contemporary techno-scientific objects, which determines the convergences and divergences between the mode of existence of technical objects and the one of emerging objects, in order to induce the possibility of a formal continuity in the ontology of the technical object. It is then necessary to question the relationship of the human being to his materiality, and thus his relationship to his milieu and temporality. Our second part aims at revitalizing the phenomenology of the dwelling through anthropology, in order to bring technology into play at the center of the human experience. We put our technical milieu back at the center of an epistemology that focuses on the notions of intention, invention and imagination, in order to reconstruct the relation of technology to human virtuality and to propose an analysis of the evolution of technology outside the ontic framework of human historicity. This apparent independence of technology requires us to question the reasons behind the feeling of threat that contemporary technology gives rise to. Our third part reshapes the rational and irrational dangers of which technique is the scapegoat by placing them outside the essence of technology itself. We start from a metaphysics of the substance of worldly objects which locates these concrete perils within the framework of the anthropological evolution of production modes and technical progress. We present these elements as the symptom of the transition from a humanist imaginary to a form of technical imaginary. This transition participates in a redefinition of the humanism that is able to overcome the technological ban and to testify of the cultural reality of technology. The emblematic example of these new technical imaginaries is the emergence of transhumanism. The fourth part thus extends these concrete questionings by focusing on the way in which transhumanism reclaims the metaphysical stakes of our materiality. It is based on the transhumanist conception of the human body through the difference therapy/enhancement, which reveals the invariant of the body phenomenon and revitalizes the truly disruptive viewpoints of transhumanism on immortality. They contrast with the existential relation of the human to finitude, considered as a structuring horizon of time. The opening of finitude to new temporalities invites us to question the way in which transhumanism brings into play the thought of eschatology and transcendence as a measure of lived time. Therefore, our fifth and last part questions the notion of transhumanist Grand Narrative in the light of emblematic technical myths, in order to unveil the metapoetics of imaginaries that support transhumanist and anti-transhumanist discourses. We locate the mythification of transhumanism in a more general eschatological and temporal process, taking into account the chosen recourse of transhumanist movements to technophilic optimism. These interrogations allow us to reinvest our analyses of the milieu and temporality to synthesize the continuistic evolutionism that makes transhumanism a consistent and metaphysical vector of the technical organization of the human sphere.Le débat visant à évaluer dans quelle mesure la technique structure la sphère humaine est aujourd’hui grandement bridé par la vulgarisation d’analogies mythologiques (menace prométhéenne, etc.) ou narratives (menace de l’IA, du cyborg, etc.). De nombreux auteurs qui ont questionné en détail l’essence de la technique la scindent aujourd’hui selon deux modalités, résumées schématiquement en une technique (post)moderne et une technique ancienne, en évacuant la quiddité formelle de la technique. Le sentiment d’inquiétude qu’éprouvent nos sociétés face à l’autonomisation et à la puissance technique s’expliquerait par la discontinuité ontologique des relations humain-technique. Le transhumanisme, d’ailleurs, ne se fait-il pas l’incarnation concrète de cette rupture ? Notre thèse postule qu’afin de correctement interpréter l’émergence de phénomènes comme le transhumanisme, nous avons besoin d’une lecture philosophique du phénomène de la technique. Cette lecture philosophique de la technique nécessite de réinterroger les racines anthropologiques et ontologiques de la technique elle-même. Nous adoptons pour cela une approche phénoménologique de l’objet transhumaniste, qui se propose d’esquisser les enjeux métaphysiques propres à nos imaginaires techniques, en plus de servir d’entrée nouvelle à la question de la technique elle-même. La réduction eidétique nous permet de localiser les divergences internes au transhumanisme pour les rendre à l’expression d’un discours minimal, la volonté d’amélioration de l’homme par la technique. Ce discours manifesté et manifestant peut dès lors être pris en charge par la philosophie de la technique et servir de phénomène dévoilant, en prenant part à une discussion majeure et au demeurant largement entamée. Malgré l’évolution culturelle et anthropologique de la technique et de ses objets, nous défendons l’hypothèse qu’il n’y a pas de rupture entre une technique moderne et une technique ancienne, et que l’émergence ou la solidification de formes d’imaginaires techniques contemporains participe ontologiquement de la sphère d’existence humaine, et non accidentellement. Notre intention est donc de revenir aux questions que soulève la technique envers l’être de l’humain, au lieu d’en rester à l’humain comme l’être soulevant des questions sur l’impact de la science et de la technique. Le transhumanisme est pensé comme une porte d’entrée à la question de la technique, permettant de réinscrire les relations humain-technique dans la temporalité d’une évolution continue, induisant l’adaptation renouvelée et plastique de l’homme à son milieu. Notre première partie introduit le cadre conceptuel de la compréhension de l’objet technique, comme objet s’insérant dans les médiations humaines. Nous interrogeons cet objet à partir de points de repères familiers, entre mécanisme et finalisme, geste et médiation, organe et outil. Ces éléments nous permettent de déterminer certains apports phénoménologiques quant à l’unité organique et au rapport entre « util » et objet technique. Ces éléments de définition sont concrétisés dans l’analyse d’objets technoscientifiques contemporains, qui détermine les convergences et divergences entre le mode d’existence des objets techniques et celui des objets émergents, afin d’induire la possibilité d’une continuité formelle dans l’ontologie de l’objet technique. Il devient nécessaire de questionner le rapport de l’humain à l’engagement de sa matérialité, et donc de ses rapports au milieu et à la temporalité. Notre seconde partie cherche à revitaliser la phénoménologie de l’habitat par l’anthropologie, afin de faire jouer la technique au centre de la notion de vécu humain. Nous y replaçons le milieu technique au centre d’une épistémologie faisant travailler les notions d’intention, d’invention et d’imagination, pour reconstruire la relation de la technique à la virtualité humaine et proposer une analyse de l’évolution de la technique et de ses objets hors du cadre ontique de l’historicité humaine. Cette apparente autonomisation de la technique nous enjoint dès lors à questionner les ressorts du sentiment de danger que fait naître la technique contemporaine. Notre troisième partie participe d’une tentative de redéfinition de l’humanisme, apte à dépasser l’interdit technologique et à témoigner de la réalité culturelle de la technique. Elle restructure les dangers rationnels et irrationnels dont la technique se fait le bouc-émissaire en les resituant en dehors de l’essence de la technique elle-même, à partir d’une métaphysique de la substance des objets mondains qui replace ces périls concrets dans le cadre de l’évolution anthropologique de modes de production et de la notion de progrès technique. Nous présentons ces éléments comme le symptôme du passage d’un imaginaire humaniste vers une forme d’imaginaire technique, dont l’exemple emblématique est l’émergence du transhumanisme. La quatrième partie prolonge donc ces questionnements concrets en s’appuyant sur la façon dont le transhumanisme se réapproprie les enjeux métaphysiques de notre matérialité. Elle s’appuie sur la conception transhumaniste du corps humain à travers la différence thérapie/augmentation, qui dévoile l’invariant du phénomène corporel et vient revitaliser l’aspect véritablement rupturel des considérations immortalistes transhumanistes. Celles-ci viennent en contrepoint à la relation existentiale de l’humain à la finitude, considérée comme horizon de structuration du temps et du monde. L’ouverture de la finitude à de nouvelles temporalités nous invite alors à questionner la façon dont le transhumanisme fait jouer une pensée de l’eschatologie et de la transcendance comme mesure d’un temps vécu. Notre cinquième et dernière partie interroge par conséquent la notion de Grand Récit transhumaniste à l’aune de mythes techniques emblématiques, pour dévoiler la métapoétique de l’imaginaire qui sous-tend les discours transhumanistes et anti-transhumanistes. Nous en venons à resituer la mythification du transhumanisme dans un processus eschatologique et temporel plus général, prenant en compte le recours choisi des mouvements transhumanistes à l’optimisme technophile. Ces interrogations nous permettent de réinvestir nos analyses du milieu et de la temporalité pour synthétiser l’évolutionnisme continuiste faisant du transhumanisme un vecteur consistant de la structuration onto-anthropotechnique de la sphère humaine