http://hdl.handle.net/2332/384 2013-05-23T00:54:34Z http://hdl.handle.net/2332/1671 Contribution à la vérification d'exigences de sécurité : application au domaine de la machine industrielle. EVROT D.; Institut National de Recherche et de Sécurité pour la prévention des accidents du travail et des maladies professionnelles L'introduction des nouvelles technologies de l'information et de la communication dans les systèmes automatisés entraîne un accroissement de la complexité des fonctions qu'ils supportent. Cet accroissement de la complexité a un impact sur la sécurité des systèmes. En effet, leurs propriétés ne sont plus réductibles aux propriétés de leurs constituants pris isolément mais émergent d'un réseau d'interactions entre ces constituants qui peut être à l'origine de comportements néfastes et difficiles à prévoir. Notre conviction est que le développement sûr de ces systèmes doit combiner des approches pragmatiques orientées " système ", qui tiennent compte du facteur d'échelle réel d'une automatisation pour appréhender le fonctionnement global du système et son architecture, avec des approches plus formelles qui permettent de s'assurer que les propriétés intrinsèques des constituants contribuent efficacement au respect des exigences " système " formulées par les utilisateurs. Le travail présenté dans ce mémoire définit donc une approche méthodologique basée sur le formalisme SysML (System Modeling Language) permettant l'identification, la formalisation et la structuration d'exigences globales relatives à un système, puis leur projection, sous forme de propriétés invariantes, sur une architecture de composants. La vérification des exigences de sécurité, repose alors, d'une part, sur un raffinement prouvé (par theroem proving) des exigences " système " permettant d'établir leur équivalence avec un ensemble de propriétés intrinsèques relatives à chacun des composants, et d'autre part, sur la vérification formelle (par model checking) de ces propriétés intrinsèques. Cette note scientifique a donné lieu à une thèse de doctorat présentée à l'Université Henri Pointcaré de Nancy I. 158 p., ill., bibliogr. 2008-12-31T23:00:00Z http://hdl.handle.net/2332/1667 Influence de la géométrie d'une source thermique sur le développement du panache. BLAISE J.; Institut National de Recherche et de Sécurité pour la prévention des accidents du travail et des maladies professionnelles Ce rapport présente les résultats d'une étude expérimentale du développement d'un panache thermique dans un milieu confiné et ventilé. Cette situation est rencontrée dans les installations de la ventilation par déplacement. Cette note scientifique a donné lieu à une thèse de doctorat présentée à l'Université Henri Pointcaré de Nancy I. 140 p., ill., bibliogr. 2007-12-31T23:00:00Z http://hdl.handle.net/2332/1068 La densité : concept, exemples et mesures : éclairage sur le concept de densité et sur les différents usages de ses mesures Duhayon, Jean-Jacques; Pages, Adeline; Prochasson, François; Centre d'études sur les réseaux, les transports, l'urbanisme et les constructions publiques; Centre d'études techniques de l'équipement de l'Ouest Un seuil de peuplement, un sentiment d’entassement, des données démographiques, un coefficient d’occupation des sols, l’étalement urbain… On peut voir que le concept de densité a renvoyé à différentes dimensions au cours de l’histoire. La densité est une donnée sans signification intrinsèque. Elle n’a de pertinence que pour comparer des territoires entre eux ou dans le temps. Cet instrument de mesure est le rapport d’éléments dénombrables sur une surface donnée. Il ne prend son sens qu’en fonction de l’objet d’étude (formes urbaines, fonctions urbaines, activités, mobilité, environnement végétal…) et de l’échelle de l’analyse (îlot, quartier, agglomération, aire urbaine…). Il est donc important de s’entendre sur la terminologie employée dans chaque cas et sur le mode de calcul utilisé, notamment sur la prise en compte des vides urbains et de l’échelle d’application préférentielle. 88 pages, tableaux, graphiques, figures, 43 références bibliographiques 2002-06-30T22:00:00Z