Dissertations / Theses on the topic 'Assistance à la validation de scénarios'

Pour rester compétitifs, les industriels doivent réduire de plus en plus les coûts et les temps de développement de leurs nouveaux produits. Ceux-ci sont aujourd'hui de plus en plus intégrés, plus petits, plus légers et moins gourmands en énergie. Ils sont plus difficiles à concevoir et doivent être assemblés, maintenus et désassemblés sous de très fortes contraintes géométriques. Traditionnellement, en phase de conception, on établit le modèle CAO du produit, puis on fabrique les différentes parties physiques de celui-ci pour s’apercevoir trop souvent ensuite, que tout ou partie des tâches associées au cycle de vie du produit sont difficiles ou impossibles à réaliser. Une détection tardive de ces problèmes nécessite alors de remettre en cause la conception du produit. Les travaux de cette thèse s'intéressent à valider, dès la phase de conception et par simulation numérique avant la fabrication des prototypes physiques, l'ensemble des tâches associées au PLM, ce qui permettrait de réduire les temps et coûts de développement et de viser des procédés de fabrication plus respectueux de l’environnement en réduisant le nombre de prototypes physiques fabriqués. Une étape clef dans la validation par simulation des tâches du PLM consiste à trouver une trajectoire réalisable et sans collision afin de prouver leur faisabilité. La communauté robotique a, depuis les années 80, mis en oeuvre des méthodes de planification automatiques de trajectoires pour résoudre cette problématique. Toutefois, ces méthodes ont des limites, principalement liées à la complexité des modèles de l'environnement, traditionnellement purement géométriques. Dans des environnements très complexes, les planificateurs de trajectoires peuvent proposer des trajectoires peu pertinentes, dans des temps pouvant être très longs, voire échouer. Pour répondre à ces limites, des travaux ont considéré des approches collaboratives homme - planificateur mais qui ne permettent que rarement une interaction continue. Par ailleurs, les techniques de RV permettent la simulation avec un opérateur humain dans la boucle, en immersion dans l’environnement virtuel et en interaction avec celui-ci. Une approche originale liant planification automatique de trajectoires et RV a ainsi été développée au LGP permettant de profiter de la puissance de calcul des ordinateurs et des capacités cognitives d'un opérateur humain. Toutefois, dans cette approche, l'assistance proposée à l'opérateur n'est pas orientée vers le métier et la tâche à réaliser. Pour pouvoir raisonner au niveau de la tâche à réaliser il faut considérer conjointement planification de tâches et planification de trajectoires et s’intéresser à la capacité de modéliser des informations relatives à cette tâche et de raisonner sur celles-ci ; les ontologies sont un outil prometteur. L'objectif de cette thèse concerne l'élaboration d'une méthodologie pour le couplage sémantique des planificateurs de trajectoires et de tâches pour l’assistance à la manipulation en RV ou la robotique. Dans ce cadre, nous proposons deux contributions principales : La première contribution de ce travail propose deux ontologies originales. La première, ENVOn-2, concerne la modélisation de l'environnement dans lequel se déroule une tâche. La seconde, TAMPO, est une ontologie développée pour le planification conjointe de tâches et de trajectoires. La seconde contribution porte sur l'élaboration d'une méthodologie pour le couplage sémantique des planificateurs de tâches et de trajectoires. Cette méthodologie, par l'utilisation conjointe des deux ontologies, permet d'améliorer la planification de trajectoires d'une action primitive tout en proposant un plan (ou des plans) de tâche (s) pertinent(s) pour la manipulation effectuée. Ces développements ont ensuite été validés à l'aide de scénarios variés et de complexités croissantes. Les résultats obtenus montrent la pertinence de l'approche
To remain competitive, manufacturers need to reduce the costs and development times of their new products. Current products are increasingly integrated, smaller, lighter and more energyefficient. They are more difficult to design and have to be assembled, maintained and disassembled under very high geometric constraints. Traditionally, during the design phase, the CAD model of the product is established, then the physical parts of the product are manufactured, to discover all too often that some or all of the tasks associated with the product's life cycle are difficult or impossible to carry out. If these problems are detected too late, the product design has to be reconsidered. The aim of this thesis is to validate, at the design stage, all the tasks associated to the PLM using digital simulation before the physical prototypes are manufactured. This would make it possible to reduce development times and costs and to aim for more environmentally-friendly manufacturing processes by reducing the number of physical prototypes manufactured. A key step in the simulation-based validation of PLM tasks is to find a feasible collision-free trajectory in order to prove their feasibility. Since the 1980s, the robotics community has been using automatic path planning methods to solve this problem. However, these methods have limitations, mainly linked to the complexity of the environment models, which are traditionally purely geometric. In very complex environments, path planners can propose trajectories that are not very relevant, in times that can be very long, or even fail. To overcome these limitations, some works has considered collaborative human-planner approaches, but these rarely enable continuous interaction. On the other hand, VR techniques allow simulation with a human operator in the loop, immersed in the virtual environment and interacting with it. An original approach linking automatic path planning and VR has been developed at LGP, taking advantage of the computing power of computers and the cognitive abilities of a human operator. However, in this approach, the assistance offered to the operator is not oriented towards the task to be carried out. In order to be able to reason at the level of the task to be carried out, task planning and path planning must be considered together, and attention must be paid to the ability to model information relating to the task and to reason about these information; ontologies are a promising tool. The aim of this thesis is to develop a common framework for the semantic coupling of path and task planners for manipulation assistance in VR or robotics. Within this framework, we propose two main contributions: The first contribution of this work proposes two original ontologies. The first, ENVOn-2, concerns the modelling of the environment in which a manipulation task takes place. The second, TAMPO, is an ontology developed for jointly use path and task planning. The second contribution concerns the development of a methodology for the semantic coupling of task and trajectory planners. This methodology, through the joint use of the two ontologies, makes it possible to improve the path planning of a primitive action while proposing a task plan (or plans) that is (are) relevant to the manipulation being carried out. These developments were then validated using a variety of scenarios of increasing complexity. The results obtained demonstrate the relevance of the approach

La phase de test est une étape importante dans le développement et représente aujourd’hui un enjeu capital pour les opérateurs téléphoniques. Il est donc nécessaire d’avoir à disposition des outils permettant d’exprimer facilement certains comportements complexes, mais courants des systèmes télécoms afin de pouvoir exécuter automatiquement des campagnes de tests sans intervention humaine. Cette étude cherche donc à pallier ce problème et essayer, après une analyse rigoureuse des langages actuels, de proposer des constructions innovantes répondant à notre problématique. Certaines de ces constructions utilisent un paradigme non déterministe afin de spécifier facilement des comportements concurrents ou non contrôlables. En plus de cette proposition, nous allons essayer de vérifier les idées avancées au travers d’un prototype permettant d’évaluer les constructions innovantes, mais aussi de valider définitivement celles-ci lors du test réel d’une application industrielle
The testing phase is an important step in the development and now represents a crucial issue for telecommunication companies. One possible way for reducing the development time and increasing the software quality is to automize as possible the testing phase. So, we need tools for expressing easily complex, but common, behaviours in order to execute automatically test compaign without any human intervention. This study tries to get round this problem and, just after an analysis of the current testing languages which deal with active black-box testing, it will put forward several new constructions for this domain trying to solve this problem. Several of this constructions use a nondeterministic paradigm for easily expressing concurrent or non-controllable behaviours. Moreover, we will try to verify these ideas through a prototype which implements these new functionnalities and also validate these constructions during a real test of an industrial project

Un développement d'un système débute par la constitution, dans la phase de spécification des besoins, d'un cahier des charges dans lequel un ensemble de scénarios d'utilisation du système est défini avec les contraintes auxquelles il doit obéir, dans lequel chaque scénario est un simple exemple d'exécution du système à concevoir. Une fois que tous les scénarios sont précisés, on obtient une description complète des interactions entre les composants. Toutefois, cette spécification n'est pas directement implémentable, car il est difficile, surtout pour les systèmes les plus complexes, d'apercevoir le comportement d'un système dans sa globalité directement à partir des scénarios. C'est pour cela que ces derniers sont souvent intégrés à d'autres modèles, utilisés dans la conception détaillée, qu'on appelle "les modèles de comportement", en particulier les machines à états [Harel 87] qui permettent de passer de la vue partielle à la vue globale du système afin de répondre à différents problèmes comme la validation du comportement ou la détection des inconsistances au sein du système. Notre thèse a pour but, d'une part, de recenser et étudier différents langages de scénarios, particulièrement les diagrammes de séquences UML et les diagrammes MSC's, et d'autre part de proposer une méthode se synthèse automatique permettant de générer des modèles exécutables à évènements discrets DEVS [Zeigler 76] à partir d'une base de scénarios décrivant le comportement fonctionnel du système. Les modèles obtenus sont déterministes et avec une sémantique formelle qui garantit une interprétation unique de chaque élément des modèles
A development of a system begins with the constitution, in the phase of requirements analysis, a specification in which a set of scenarios describing the behavior of the system is defined with the constraints that it must obey, where each scenario is a partial representation of the system behavior. However, this specification is not directly implementable, because it is difficult, especially for more complex systems, to observe the global behavior of a system directly from scenario. That is why they are often integrated with other models used in the detailed design, called "behavioral models", in particular State Machines [Harel 87], who allow to move from partial to global view of the system in order to answer different problems such as validation of the behavior or the detection of system inconsistencies. Our thesis aims, firstly, to study different languages of scenarios, especially UML sequence diagrams, and MSC's (Message Sequence Charts), and secondly to propose an automatic synthesis method who generate executable discrete event DEVS models [Zeigler 76] from scenarios describing the desired behavior of a system. The resulting models are executable and deterministic with a formal semantics that ensures a unique interpretation of each element of models. The use of final models simulation traces, taking into account the coverage of the simulation compared to the number of states and transitions visited, allow validating the behavior

Les travaux de thèse s'inscrivent dans le domaine des Environnements Informatiques pour l'Apprentissage Humain (EIAH). Ils portent sur la proposition de processus, méthodes et outils pour assister les enseignants et les formateurs dans la réutilisation et la capitalisation des scénarios d'apprentissage. L'approche proposée nommée CAPtuRe a pour objectif de modéliser, évaluer et exploiter les informations contextuelles relatives à un scénario en se basant sur des observations effectives de ce dernier pour améliorer la réutilisation.Les problématiques étudiées concernent : (1) l'expression et l'analyse du contexte d'usage, (2) l'évaluation de la pertinence du scénario dans un contexte précis, (3) l'indexation des contextes sur la base de critères de réussite et d'efficacité du scénario pour la définition de son périmètre de réutilisation et (4) la suggestion proactive de réutilisation.Nous avons commencé par la spécification d'un cadre global d'ingénierie et de réutilisation de scénarios d'apprentissage. Dans ce cadre, nous avons défini un processus qui spécifie le cycle de vie du scénario explicitant la dimension contextuelle et son utilisation dans un environnement de "conception par la réutilisation". Pour opérationnaliser ce processus, nous avons défini une approche générique de modélisation de l'information contextuelle enrichie par les indicateurs, une méthode d'indexation et un algorithme de calcul de similarités contextuelles pour la sélection et la recommandation de scénarios appropriés à une situation d'apprentissage cible. Ces contributions ont été implémentées sous la forme d'une plateforme logicielle et appliquées sur des cas d'usage de scénarios hybrides
The work presented in this thesis is a part of the Technology Enhanced Learning domain. It focuses on the proposal of processes, methods and tools that assist teachers and trainers in the reuse and the capitalization of educational scenarios. The objective of the proposed approach named CAPtuRe is to model, evaluate and exploit the contextual information related to a scenario based on its effective observations with the aim to enhance reuse. The main concerns are: (1) the expression and the analysis of the usage context, (2) the evaluation of the relevance of the scenario in a specific context, (3) the indexing of the contexts based on criteria of success and effectiveness of the scenario to define its reuse scope and (4) the proactive suggestion of reuse. We started by specifying a global framework for the engineering and the reuse of educational scenarios. In this context, we have defined a process specifying the scenario lifecycle introducing the contextual dimension and its utilization in a "design by reuse" environment. In order to operationalize this process, we define a generic approach to model the contextual information of a scenario that is enriched by the indicators, an indexing method and an algorithm calculating contextual similarities for the selection and the recommendation of appropriated scenarios to a target learning situation. These contributions are implemented as a software platform and applied to hybrid scenarios usage cases

Cette étude est dédiée à la reconnaissance et l’anticipation des situations dynamiques à des fins d’assistance. Certains outils comme les Modèles de Markov Cachés ou les Réseaux de Petri sont déjà utilisés dans ce contexte mais pour pouvoir fonctionner en temps-réel, le concepteur doit préciser au préalable les différentes situations possibles. Nous proposons un algorithme générique qui acquiert lui-même les connaissances du système dynamique observé. Il s’adapte à l’utilisateur et aux situations rencontrées pour effectuer des prédictions. Nous représentons le déroulement des situations dynamiques sous forme de scénarios. Un scénario correspond à une période temporelle où les évènements ont une influence les uns sur les autres. Il est constitué d’une succession d’états et d’actions sous forme de symboles. Cet algorithme est inspiré du Raisonnement à Partir de Cas. Il a été imaginé et développé dans un souci de rapidité et pour une bonne gestion de l’évolution temporelle. La validation est effectuée par application à deux domaines indépendants. La première consiste à assister l’utilisateur d’un fauteuil roulant électrique. Sans connaissance initiale de l’environnement et après avoir appris les trajets habituellement effectués, l’algorithme décharge l’utilisateur d’une partie des commandes. Dans la seconde application, l’expérience de tous les utilisateurs d’un jeu multi-joueurs est collectée pour assister les joueurs débutants : la prédiction de l’issue du combat en cours leur est indiquée
Our study deals with the problem of recognition and anticipation of dynamic situations for user assistance. Existing tools like Hidden Markov Models or Petri Nets are already used in this context. However, learning this kind of models is complicated and slow. Thus, the de-signer has to specify every model of situation so that the program can work in real-time. Our solution is a generic algorithm which build itself the representation of the dynamic system. It adapts to the user and the situation in order to make predictions. Dynamic situations are modeled by scenarios. A scenario corresponds to a period during which every event has an influence on other. It is made of an ordered series of states and actions in the form of symbols. The algorithm is a kind of Case-Based Reason-ing method but some modifications are made. Representations and computations are oriented towards simplicity and speed. Moreover, the algorithm is suitable for problems which evolve in time. The approach is applied to two distinct fields. The first application consists in assisting the user of a powered wheelchair. Without knowing initially the environment, the algorithm memorizes the usual paths of the user. This knowledge is used to drive automatically the wheelchair during usual paths. The second ap-plication is dedicated to the assistance of novice players in a multi-player online game. Experience of dynamic situations is learned from all the players and is used to predict the consequences of every battle

Les activités de validation et vérification de modèles sont devenues essentielles dans le développement de systèmes complexes. Les efforts de formalisation de ces activités se sont multipliés récemment étant donné leur importance pour les systèmes embarqués critiques. Notre travail s’inscrit principalement dans cette voie. Nous abordons deux visions complémentaires pour traiter cette problématique. La première est une description syntaxique implicite macroscopique basée sur une ontologie pour aider les concepteurs dans le choix des outils selon leurs exigences. La seconde est une description sémantique explicite microscopique pour faciliter la construction de techniques de vérification compositionnelles. Nous proposons dans la première partie de cette thèse une ontologie pour expliquer et expliciter les éléments fondateurs du domaine que nous appelons VVO. Cette ontologie pourra avoir plusieurs autres utilisations : une base de connaissance, un outil de formation ou aussi un support pour le choix de la méthode à appliquer et l’inférence de correspondance entre outils. Nous nous intéressons dans la seconde partie de cette thèse à une formalisation dans un assistant à la preuve de l’introduction de composants dans un langage de modélisation et des liens avec les activités de validation et vérification. Le but est d’étudier la préservation des propriétés par composition : les activités de vérification sont généralement coûteuses en terme de temps et d’effort, les faire d’une façon compositionnelle est très avantageux. Nous partons de l’atelier formel pour l’Ingénierie Dirigée par les Modèles Coq4MDE. Nous suivons la même ligne directrice de développement prouvé pour formaliser des opérateurs de composition et étudier la conservation des propriétés par assemblage. Nous nous intéressons au typage puis à la conformité de modèles par rapport au métamodèle et nous vérifions que les opérateurs définis permettent de conserver ces propriétés. Nous nous focalisons sur l’étude d’opérateurs élémentaires que nous exploitons pour spécifier des opérateurs de plus haut niveau. Les préconditions des opérateurs représentent les activités de vérification non compositionnelles qui doivent être effectuées en plus de la vérification des composants pour assurer la postcondition des opérateurs qui est la propriété souhaitée. Nous concluons en présentant des perspectives pour une formalisation algébrique en théorie des catégories.

Avec le vieillissement de la population, le maintien à domicile des personnes âgées est devenu un enjeu majeur pour les pays développés et émergents. Parmi les solutions clés à explorer, les gérontechnologies sont considérées comme des plus prometteuses sans toutefois avoir apporté la preuve de leur efficacité pour l’autonomie domiciliaire, voire même être utilisables et acceptables pour le public visé. Dans ce contexte, une méthodologie de conception centrée-utilisateur a été mise en place pour proposer une plateforme d’assistance domiciliaire multi-tâches et multi-domaines (soutenant à la fois les activités quotidiennes, la sécurité de la personne et de son domicile et le lien social) ciblant un public âgé fragile en perte d’autonomie. Cette plateforme est appelée DomAssist. Sur la base d’une analyse des capacités physiques, cognitives et fonctionnelles en présence (étude 1) et des besoins d’assistance (étude 2) de notre échantillon d’étude, DomAssist a été conçu avec pour originalité une offre de services multi-domaines. En effet, la plateforme s’appuie d’une part sur un système de surveillance d’activités pour délivrer des assistances dites « context-aware » (étude 3) et d’autre part sur un système d’interaction homme-machine unifié et simplifié (étude 4), et ceci tout en promouvant l’auto-détermination (étude 5). Les résultats ont étayé la fiabilité du système de surveillance d’activités, et renforcé le bien-fondé de nos principes de conception concernant le système unifié d’interaction; et le soutien de l’auto-détermination. Notamment un rendu positif concernant l’utilisabilité et l’acceptabilité du système, et un effet bénéfique sur le sentiment de l’autodétermination des utilisateurs âgés ont été obtenus. De là, une dernière étude (étude 6) a évalué les bénéfices apportés après 6 mois d’utilisation de la plateforme, en termes de capacités fonctionnelles des participants fragiles, et de réduction du fardeau de l’aidant. Un effet positif (effet « protecteur » observé par les aidants professionnels) de DomAssist sur le statut fonctionnel des participants équipés (comparé aux contrôles) a été observé ainsi qu’une réduction du fardeau objectif de leur aidant. Au total, les résultats de ce travail pilote sont encourageants et ouvrent de nombreuses perspectives de recherche à fort potentiel d’impact sociétal concernant la problématique du maintien à domicile des personnes âgées
With the increase of life expectancy, aging in place is today a major concern for developed and emerging countries. Among the key solutions to explore, gerontechnologies are seen as the most promising. However, their evidence-based efficacy remains to be demonstrated for independent living or even for their usability and acceptance by the targeted old users. In this context, a user-centered conception methodology has been implemented for designing a multi-task and multi-domain (supporting everyday activities, safety, and social participation) assisted living platform targeting frail older adults with functional decline. This platform is named HomeAssist. Based on an analysis of physical, cognitive and fonctional abilities (study 1) and assistive technology needs (study 2) of our sample, HomeAssist has been designed with the originality of providing multi-domain services. Indeed, HomeAssist proposes an activity monitoring system to provide context-aware assistance (study 3), and a unified human-computer interaction system (study 4); while promoting self-determination (study 5). Results underpined the reliability of our activity monitoring system, and reinforced the rationale of our design principles, concerning the unified interaction system and the self-determination support. Notably, positive outcomes in terms of usability and acceptance of the system, as well as benefits concerning users’ feeling of self-determination have been obtained. From this, a last study (study 6) evaluated the benefits from a six-month use of HomeAssist, on functional abilities of frail older adults and caregiver burden. A positive effect of HomeAssist on functional status was obtained (“protective” effect reported by the professional caregivers), as well as a reduction of objective dimension of caregiver burden. Taken together, the results from these pilot studies are encouraging and open numerous research perspectives with high societal impact concerning the promotion of aging in place

nÃo hÃ
O presente estudo objetivou construir uma Tecnologia de SistematizaÃÃo da AssistÃncia de Enfermagem (SAE) Ãs gestantes de alto risco, baseado na Teoria das Necessidades Humanas BÃsicas (NHB); validar a tecnologia construÃda quanto à aparÃncia e conteÃdo com juÃzes especialistas; e verificar a aplicabilidade da tecnologia de SAE Ãs gestantes de alto risco na prÃtica clÃnica. Para tanto, realizou-se um estudo metodolÃgico desenvolvido em quatro etapas: construÃÃo de umaTecnologia de SAE Ãs gestantes de alto risco com base em revisÃo integrativa, experiÃncia clÃnica das pesquisadoras e literatura pertinente; validaÃÃo de aparÃncia e conteÃdo por 29 juÃzes especialistas com experiÃncia em SAE e/ou obstetrÃcia; refinamento daTecnologia e construÃÃo da 2 versÃo do mesmo; e por fim, avaliaÃÃo da aplicabilidade da tecnologia por 13 enfermeiros assistenciais da ClÃnica ObstÃtrica da Maternidade Escola Assis Chataubriand (MEAC). Este estudo resultou em umaTecnologia de SAE à gestante de alto risco intitulado âPlano de cuidado de enfermagem à gestante de alto riscoâ o qual contemplou 21 DE, sendo 18 referentes Ãs NHB psicobiolÃgica e 3 NHB psicossociais. Esta tecnologia foi validado com uma mÃdia geral de Ãndice de ValidaÃÃo de ConteÃdo (IVC) de 0,92. A aplicabilidade da tecnologia foi avaliada de forma satisfatÃria segundo os critÃrios de usabilidade, funcionalidade e eficiÃncia, demonstrando assim que, segundo os enfermeiros assistenciais, a tecnologia à aplicÃvel na prÃtica clÃnica no cuidado Ãs gestantes de alto risco. Concluiu-se que o estudo atingiu seus objetivos e que o produto foi umatecnologia de SAE Ãs gestantes de alto risco validado quanto a aparÃncia e conteÃdo e aplicÃvel na prÃtica clÃnica do enfermeiro. A limitaÃÃo do estudo foi a dificuldade de literatura sobre SAE em obstetrÃcia, ou de estudos que tivessem validado o conteÃdo dos diagnÃsticos de enfermagem em gestantes. Assim, recomenda-se que mais estudos sejam desenvolvidos envolvendo a temÃtica em questÃo. Espera-se que o nosso estudo possa ser utilizado como um recurso a mais para o aperfeiÃoamento da SistematizaÃÃo da AssistÃncia de Enfermagem a gestantes e deste modo possa apoiar o desenvolvimento de um cuidado de enfermagem que colabore com a promoÃÃo da saÃde do binÃmio mÃe e filho.
This study aimed to develop an instrument of Nursing Care Systematization (NCS) for high-risk pregnancies, based on the Theory of Basic Human Needs (BHN); validate the instrument built as regards the appearance and content with expert judges; and verify the applicability of the NCS instrument with high-risk pregnant women in clinical practice. For this purpose, a methodological study took place in four stages: construction of the NCS instrument for high-risk pregnancies based on integrative review; clinical experience of the researchers and pertinent literature; appearance and content validation by 29 expert judges with experience in NCS and/or obstetrics; instrument improvement and construction of its second version; and finally, evaluation of the instrument applicability by 13 nurse practitioners of the Obstetric Clinic at the Assis Chateaubriand Maternity School (MEAC). This study resulted in a NCS instrument for high-risk pregnancies entitled âNursing care plan to high-risk pregnant women,â contemplating 21 ND, of which 18 were related to psychobiological BHN and 3 to psychosocial BHN. This instrument was validated with an overall Content Validation Index (CVI) of 0.92. The instrument applicability received a satisfactory assessment according to the usability, functionality, and efficiency criteria, thus demonstrating that, according to nurse practitioners, the instrument is applicable in clinical practice in the care for high-risk pregnant women. It was concluded that the study achieved its objectives and that the product was a NCS instrument for high-risk pregnancies validated as regards the appearance and content and applicable in clinical nursing practice. The study limitation concerned the lack of literature on NCS in obstetrics or studies that had validated the contents of the diagnosis in pregnant women. Therefore, it is recommended the development of further studies involving the subject in question. We hope that our study can be used as a resource to further improvement of Nursing Care Systematization for pregnant women, as well as support the development of nursing care that helps the health promotion of the mother-child binomial.

Devant le besoin de nouveaux outils d'aide à l'investigation post-incendie, cette thèse se propose d'évaluer le recours à des modèles numériques pour apprécier un scénario proposé par un expert. Pour cela, les conditions d'utilisation de la version 4 de Fire Dynamics Simulator (FDS) ont été déterminées dans une optique de reconstitution de sinistres. Une méthode a ensuite été développée afin de confronter les résultats des simulations aux observations faites lors de l'investigation : cette méthode se base sur l'utilisation de multiples points de comparaison qui sont des effets thermiques ou mécaniques remarquables sur un matériau. Les résultats obtenus ont ensuite été utilisés pour la simulation de deux cas réels. Le premier s'attache à comparer, à des simulations, des mesures de propagation de flammes à la surface d'un matelas dans deux configurations différentes. Cela est réalisé afin d'évaluer le modèle de combustion solide de FDS dans différentes conditions de ventilation. La seconde application est la reconstitution d'un incendie ayant fait une victime dans un appartement. Ce second cas a été choisi dans le but d'évaluer les méthodes de simulation et d'utilisation des points de comparaison établies dans les premiers chapitres.

Avec la generalisation de leur emploi et des exigences de qualite croissantes, la validation des systemes logiciels devient problematique. Les methodes formelles sont considerees comme la solution a utiliser pour verifier les systemes dits critiques. Toutefois, sauf dans des cas tres precis, elles n'ont jusqu'a present pas ete capables de faire face a la taille et a la complexite des applications industrielles. Parallelement au debut de cette these, lpv, une nouvelle technologie de validation du logiciel basee sur la programmation lineaire, naissait a l'universite de caen et nous avons participe a sa mise au point en travaillant pour le cnet caen a la modelisation d'une carte a microprocesseur dans le but de generer des scenarios de test non triviaux. Le premier chapitre presente le contexte et les techniques visant a ameliorer la qualite du logiciel. Il se termine en situant ce travail dans le monde des cartes a microprocesseur et en donnant les objectifs de la these. Apres avoir expose les principes de lpv, le deuxieme chapitre presente l'utilisation informelle en eclaireur de cette technologie dans le cadre de la generation de scenarios de test non triviaux pour les cartes a microprocesseur. L'objectif etait de voir les problemes rencontres lors d'une telle application. Les solutions ad hoc et pragmatiques proposees ont servi, d'une part, a definir les elements essentiels pour obtenir une technologie de validation applicable a des problemes industriels et, d'autre part, a alimenter le travail theorique qui a conduit l'ensemble de l'equipe lpv a produire des solutions praticables aux problemes souleves lors de ces experiences. Nous concluons la these en presentant des extensions necessaires pour faire de lpv un veritable outil de genie logiciel.

The work described in this Master’s Degree thesis was born after the collaboration with the company Maserati S.p.a, an Italian luxury car maker with its headquarters located in Modena, in the heart of the Italian Motor Valley, where I worked as a stagiaire in the Virtual Engineering team between September 2021 and February 2022. This work proposes the validation using real-world ECUs of a Driver Drowsiness Detection (DDD) system prototype based on different detection methods with the goal to overcome input signal losses and system failures. Detection methods of different categories have been chosen from literature and merged with the goal of utilizing the benefits of each of them, overcoming their limitations and limiting as much as possible their degree of intrusiveness to prevent any kind of driving distraction: an image processing-based technique for human physical signals detection as well as methods based on driver-vehicle interaction are used. A Driver-In-the-Loop simulator is used to gather real data on which a Machine Learning-based algorithm will be trained and validated. These data come from the tests that the company conducts in its daily activities so confidential information about the simulator and the drivers will be omitted. Although the impact of the proposed system is not remarkable and there is still work to do in all its elements, the results indicate the main advantages of the system in terms of robustness against subsystem failures and signal losses.

Cette thèse CIFRE, réalisé au sein de Stellantis, fournit une stratégie de génération de scénarios, modélisée par niveaux d’abstraction et orientée par la sensibilité du VA, pour une validation par simulation. Ce travail s’inscrit dans le périmètre du standard ISO PAS 21448 /SOTIF (Safety Of The Intended Functionality). Pour ce faire, la démarche suivie s’articule autour de cinq contributions : (1) Une analyse de l’architecture fonctionnelle du VA et la mise en évidence des challenges liés à la validation de sa sécurité : aspects normatifs, chaines de simulation, la présence d’incertitude dans l’environnement opérationnel du VA. (2) La proposition d’un cadre conceptuel (modèle de connaissance) sur lequel s’appuiera la méthodologie de génération des scénarios qui sera proposée par la suite. (3) Une synthèse sur les indicateurs manipulés dans la littérature, ainsi que ceux, que nous retiendrons dans notre stratégie de génération finale dont notamment l’indicateur de sensibilité. Elle donne également une structure du système de génération des scénarios et de validation par simulation de la sécurité du VA, ainsi que la manière dont les indicateurs seront exploités dans cette structure. (4) La proposition d’une heuristique de génération des scénarios et l’estimation de l’indicateur de risque associé au VA. Cette quatrième contribution, s’appuie sur les éléments développés dans les contributions précédentes : le modèle conceptuel proposé (contribution 2), la structure du système de génération et de validation ainsi que les indicateurs associés (contribution 3). (5) Enfin, la dernière contribution est une implémentation des propositions précédentes via un cas d’étude.Mots clés : Véhicule Autonome (VA), SOTIF (Safety Of The Intended Functionality), Limitation de performances fonctionnelles, Insuffisances fonctionnelles, Scénarios critiques, Métrique de sensibilité, Stratégie de génération de scénarios, Validation par simulation
This CIFRE thesis, carried out within Stellantis, provides a scenario generation strategy, modelled by levels of abstraction and oriented by the sensitivity of the AV, for a simulation-based validation process. This work is within the scope of the ISO PAS 21448 /SOTIF (Safety Of The Intended Functionality) standard.To do this, the approach followed is based on five contributions: (1) An analysis of the functional architecture of the AV and the highlighting of the challenges related to its safety validation: normative aspects, simulation chains, the presence of uncertainty in the operational environment of the AV. (2) The proposal of a conceptual framework (knowledge model) on which the scenario generation methodology to be proposed later will be based. (3) A summary of the indicators used in the literature, as well as those that we will use in our final generation strategy, including the sensitivity indicator. It also gives a structure of the system of scenario generation and simulation based validation of the safety of the AV, as well as the way in which the indicators will be exploited in this structure. (4) The proposal of a scenario generation heuristic and the estimation of the risk indicator associated with the AV. This fourth contribution is based on the elements developed in the previous contributions: the proposed conceptual model (contribution 2), the structure of the generation and validation system and the associated indicators (contribution 3). (5) Finally, the last contribution is an implementation of the previous proposals via a case study.Keywords: Autonomous Vehicle (AV), Safety Of The Intended Functionality (SOTIF), Functional performance limitation, Functional insufficiencies, Critical scenarios, Sensitivity metric, Scenarios generation strategy, Simulation-based Validation process

Le calage d'un modèle numérique vise à reproduire des événements de référence par l'ajustement de paramètres à base physique. Cette thèse propose une approche à l'aide de Systèmes à Base de Connaissances. Après une définition des concepts clés, sont présentés un état de l'art et une analyse des différents objets, procédures et raisonnements mis en oeuvre pour mener à bien cette tâche. Ces éléments sont formalisés puis intégrés au sein d'un système d'assistance au calage, selon trois niveaux de connaissances : génériques, propres à l'hydraulique fluviale 1-D, et spécifiques au code de calcul utilisé. Deux cas réels d'application sont traités, en fonction des données disponibles et de l'objectif projeté du modèle. La thèse a permis la capitalisation d'un savoir-faire qui a conduit à un prototype opérationnel d'assistance au calage de modèles hydrauliques et au développement d'outils d'intelligence artificielle dédiés au calage et indépendants de la discipline considérée.

Le travail de cette thèse a été consacré au développement d’une nouvelle méthode de détection pour un système anticollision par la mesure de trajectographie, ce qui pourrait contribuer aux systèmes d’aide à la conduite. Pour obtenir une haute probabilité de détection, nous avons choisi la solution de vidéo stéréoscopique coopérative : la coopération entre véhicules rend la détection plus facile et fiable. Il y a deux participants dans le système : les véhicules « porteurs du système » aussi bien que les « suiveurs », sont équipés de caméras stéréoscopiques, c’est à dire de deux capteurs d’image, appartenant à des familles technologique à haute cadence; les véhicules « cibles » sont équipés des feux à Leds modulés, dont la fréquence de modulation est déjà connue par les véhicules « suiveurs ». Après filtrage dans l’espace temporel, le système ne détecte que des signaux issus des feux modulés, ce qui réduit fortement l’information à traiter par rapport aux calculs de trajectographie traditionnels. La détection de feux modulés est donc réalisée par le filtrage par traitement numérique des images, qui est adapté à la fréquence de modulation recherchée. Pour cela, nous avons proposé 3 types de filtres adaptés à la fréquence de modulation et conçus de façon à rejeter au mieux les signaux de fond.Pour évaluer les performances tant en détection qu’en réjection des fausses alarmes, nous avons d’abord effectué des simulations numériques en prenant en compte des signaux artificiels, puis des calculs sur vrais signaux obtenus dans les expérimentations avec véhicule d’essai statique, puis roulant. Les roulages étaient de différentes vitesses, de 30km/h jusqu’à 100km/h, ce qui nous a permis d’analyser le signal issu du feu ainsi que le comportement de nos filtres à des vitesses angulaires de feu nulles, faibles ou élevées. Le résultat de ces expérimentations montre que le filtrage permet de détecter les feux à Leds de type DRL jusqu’à 140m sans aucune fausse détection sur le fond. Ces expérimentations sont une étape essentielle pour définir de façon plus précise un tel système, en particulier dans le choix du seuil. Nous avons aussi évalué des technologies qui peuvent améliorer la performance du système, mais qui ne sont pas encore prêtes à industrialiser. Par exemple, les « rétines » artificielles nous permettent d’utiliser les filtres analogiques intégrés, et ainsi de réduire leurs bandes passantes
This thesis was devoted to the development of a new detection method for vehicular collision avoidance system based on trajectory measurement, which could contribute to driver assistance systems.In order to obtain high detection probability, we have chosen the cooperative stereoscopic video solution: the cooperation between vehicles makes it easier and more reliable when they aim to detect each other. There are two participants in the system: the “system carriers" vehicles, or the " followers" are equipped with stereoscopic cameras (two image sensors), who belong to high speed technology families; the "targets" vehicles are equipped with modulated LED lights, with the modulation frequency being already known by the "followers". After space-time filtering, the system detects the signals emitted bymodulated lights sources, which greatly reduces the amount of information to be processed comparing to traditional trajectory calculations methods. The detection of modulated light is achieved by filtering based on digital image processing, which is adapted to the desired modulation frequency. We have proposed three types of filters suitable for detecting the modulation at this frequency and at the same time for rejecting the background as well as possible.In order to be able to evaluate the performances of both detecting signals and rejecting false alarms, we first performed numerical simulations based on the model signals, then calculations on real signals acquired in static and driving experiments. The tested speeds were from 30km/h up to 100km/h, which allowed us to analyze the signals emitted from vehicle lights as well as the behavior of our filters under different angular velocities of the lights (zero, low and high). The result of these experiments showed that our method of filtering could detect LED-type DRL lights up to 140m without any false alarm. This is essential to define more precisely the values of thresholds of such systems. We have also evaluated technologies that are possible to improve system performance in the future, which are not yet ready to be used in industry productions. For example, artificial "retinas" could allow us to integrate analog filters in the chips, and thus to reduce bandwidth of the filters

L’autodétermination est un droit universel qui repose sur le principe de normalisation (Nirje, 1972). Wehmeyer (1999) définit le concept d’autodétermination comme l’ensemble des habiletés et attitudes requises chez une personne, lui permettant d'agir directement sur sa vie en effectuant librement des choix non influencés par des agents externes. En accord avec ces idées, les politiques sociales de nombreux pays placent le concept d’autodétermination comme un élément central, permettant de guider toute démarche d’accompagnement des personnes en situation de handicap et notamment des personnes présentant une Déficience Intellectuelle (DI). Les recherches montrent que les personnes présentant une trisomie 21 présentent une autodétermination limitée, ainsi que des difficultés cognitives, motrices et de fonctionnement quotidien qui ne leur permettent pas de participer pleinement à leur vie et à leur communauté. Les technologies d’assistance, et en particulier les technologies de soutien à l’autodétermination, offrent des perspectives extrêmement prometteuses chez les personnes présentant une DI, notamment en ce qui concerne le développement personnel, les compétences, l'inclusion sociale ou encore la participation communautaire. Dans ce contexte, les objectifs de cette thèse sont de : 1) mieux comprendre les difficultés d’autodétermination des personnes présentant une trisomie 21 ; 2) mieux comprendre les difficultés cognitives dans cette population ; et 3) concevoir et valider deux outils numériques de soutien à l’autodétermination. Les résultats des études présentées dans cette thèse montrent que l’autorégulation est la composante de l’autodétermination perçue comme étant la plus faible par les personnes présentant une trisomie 21, alors que l’autonomie comportementale et l’autoréalisation ne sont pas perçues comme étant problématiques. Ils montrent également que le niveau d’autodétermination est lié aux compétences langagières, mnésiques ainsi qu’aux capacités motrices. De plus, ces études mettent en avant des déficits de mémoire prospective et de prise de décision chez les adultes présentant une trisomie 21, en lien également avec les difficultés d’autodétermination et d’autorégulation. Enfin, les deux assistances numériques conçues et développées ont montré leur efficacité (amélioration de la richesse du projet de vie, pour l’un, et des habiletés domiciliaires, pour l’autre). Leur utilisation prolongée a été associée à des répercussions extrêmement positives sur le bien-être psychologique, l’inquiétude, l’autodétermination et l’estime de soi
Self-determination is a universal right based on the principle of normalization (Nirje, 1972). Wehmeyer (1999) defines the concept of self-determination as the set of skills and attitudes required for individuals to act upon their lives by making free choices that are not influenced by unwanted external agents. In line with this concept, the social policies of many countries place self-determination as a central element in support for people with disabilities, especially people with intellectual disability (ID). Research shows that people with ID have self-determination, cognitive, motor, and daily functioning difficulties that do not allow them to fully participate in their lives and their communities. Assistive technologies, and in particular self-determination support technologies, offer extremely promising perspectives for people with ID, especially with regard to personal development, skills, social inclusion or community participation. In this context, the objectives of this thesis are: 1) to better understand the difficulties of self-determination of people with Down syndrome; 2) to better understand the cognitive difficulties in this population; and 3) to design, develop and validate two digital assistants for self-determination support. The results of the studies, presented in this thesis, show that self-regulation is the component of self-determination perceived as the weakest by people with Down syndrome, while autonomy and self-realization are not perceived as problematic. Furthermore, the level of self-determination is related to language, memory and motor skills. Prospective memory and decision-making abilities are deficient in adults with Down syndrome and are also related to elf-determination and self-regulation. Finally, the two digital assistants that we have designed and developed have shown their effectiveness: improvement of ideas and elements related to the life plan and home skills. Their prolonged use of these technologies has also been associated with extremely positive impact on psychological well-being, worry, self-determination and self-esteem

Zahlreiche chirurgische Assistenzsysteme sind in der klinischen Praxis im Einsatz, um die Genauigkeit und Sicherheit medizinischer Eingriffe zu erhöhen. Die Verwendung von Bildgebungsverfahren durch solche Systeme und die Teilautomatisierung von Prozessen kann einen weiteren Schritt in Richtung höherer Effizienz chirurgischer Interventionen und höherer Patientensicherheit darstellen. Dies stellt jedoch große Herausforderungen an die Systementwickler, welche zur Evaluation dieser Systeme während der Konstruktion geeignete Konzepte und Testmethoden benötigen. Diese Arbeit hat zwei wesentliche Zielsetzungen: Zum einen soll vorgestellt werden, wie zur zielführenden Entwicklung eines duplexsonographisch geführten, semiautomatisch arbeitenden Assistenzsystems zur Gefäßpräparation (ASTMA-System) ein anthropomorphes, physiologisches Phantom anhand zuvor definierter, für die Entwicklung relevanter, Anforderungen konstruiert wurde. Dieses ermöglichte es, die Arbeitsprozesse des Systems und deren Eignung bereits in vitro umfangreich zu testen. Zum andern soll dargestellt werden, wie das Phantom hinsichtlich dieser Anforderungen in einer Studie validiert wurde, um zu gewährleisten, dass dieses für die Systementwicklung erforderliche Eigenschaften aufwies. Dadurch konnten wichtige Informationen über Nutzen und Limitierung der Verwendung des Phantoms und mögliche Probleme des ASTMA-Systems gewonnen werden. Hiermit soll demonstriert werden, wie ein Entwicklungs- und Validierungsansatz für ein Phantom als Testsystem zur Entwicklung und Evaluation ähnlicher komplexer medizintechnischer Systeme mit intraoperativer Bildgebung gestaltet werden kann und welchen Anforderungen solche Phantome genügen sollten. Dies kann dabei helfen, die Systementwicklung zielführend und ressourceneffizient durchzuführen, Probleme bereits während früher Entwicklungsschritte aufzudecken und zu lösen und die Eignung des Verfahrens des entwickelten Systems zu beurteilen.

Made available in DSpace on 2015-05-08T14:47:46Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 944181 bytes, checksum: 8daac4b10a33c843218823287437770d (MD5) Previous issue date: 2009-12-10
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES
Introduction: The neonatal period includes the first 28 days of the baby s life. In this life stage, the human being presents many particularities which are characterized by his/her immaturity. However, it can be noted that newborns express emotions, pleasure and pain, no matter their gestational age when born. This way, the attention given to them must be structured to prevent complications and to reduce risks. Because of the procedures more and more specialized, it is known that the use of technology, as well as the way the assistance is being given are increasing the possibilities of survival by the newborns in a significant way. In this context, the nurse, through the Nursing Process, aims to improve his/her assistance, because this process permits the identification of the health problems presented by our clients. From this, interventions can be elaborated to solve these problems. The systematization of the nursing assistance constitutes a necessity for the development of a more effective attention, what favors the clients, mainly. Because of this problematic, the present study was developed. Objective: to built and to validate a data collect instrument for the newborns assisted in the nursery, because the nursing historic constitutes the first stage of the nursing assistance systematization to contribute with the implementation of this research methodology. Furthermore, in this study we adopted the Basic Human Necessities Theory, by Horta, because it is a very known theory in Brazil. Also, this theory is part of the Nursing Assistance Systematization Project of Lauro Wanderley Universitarian Hospital (HULW). Methodology: Then, it was developed a methodological study, which was done at the nursery of HULW in João Pessoa PB. The present study has as population and sample assistencial nurses and professors, as well as the newborns assisted there. By the Explained and Released Consent Term, they accepted to participate of the research. Results: This research was divided into two stages. The first one is the built of the first version of the data collect instrument for a newborn assisted in the nursery, from an ample literature revision which permitted the identification of the empiric indicators to these clients, based on Horta and the validation of them by assistencial nurses and professors. The second one is the built of the final version of the instrument, from the form and content validation by assistencial nurses and newborns assisted in the nursery of the first instrument version. Then, it culminated in a Data Collect Instrument for newborns assisted in the nursery and the elaboration of one rule for operationalize it. Final Considerations: However, we understand that this study can be modified at any time, since new and better ideas emerge. We hope that this instrument can be incorporated to the professional practice of the nursing team and that it contributes to improve the assistance given to our client, the newborn.
Introdução: O período neonatal compreende os primeiros 28 dias de vida do bebê. Nessa fase da vida, o ser humano apresenta muitas particularidades caracterizadas pela sua imaturidade. Entretanto, percebe-se que, independentemente, de sua idade gestacional ao nascer, o recémnascido expressa emoções, prazer e dor. Dessa forma, a atenção prestada a ele deve ser estruturada no sentido de prevenir complicações e diminuir os riscos. Sabe-se que, diante de procedimentos cada vez mais especializados, o uso da tecnologia e a forma como está sendo prestada esta assistência vêm aumentando significativamente as possibilidades de sobrevivência dos recém-nascidos. Nesse contexto, o enfermeiro, por meio do Processo de Enfermagem, visa melhorar sua assistência, pois a utilização deste Processo possibilita a identificação dos problemas de saúde apresentados por nossa clientela. A partir de então, poderão ser elaboradas intervenções para a resolução destes problemas. A sistematização da assistência de enfermagem constitui uma necessidade para o desenvolvimento de uma atenção mais eficaz, favorecendo principalmente o cliente. Objetivo: Construir e validar um instrumento de coleta de dados para recém-nascidos assistidos no berçário, uma vez que o histórico de enfermagem constitui a primeira etapa da sistematização da assistência de enfermagem, para contribuir com implantação desta metodologia de trabalho. Neste estudo, optamos em utilizar a Teoria das Necessidades Humanas Básicas de Horta, por ser uma teoria bastante difundida em todo o Brasil e por esta fazer parte do Projeto de Sistematização da Assistência de Enfermagem do Hospital Universitário Lauro Wanderley. Metodologia: Para tanto, foi desenvolvido um estudo metodológico, realizado no berçário do Hospital Universitário Lauro Wanderley, na cidade de João Pessoa-PB. O presente estudo teve como população e amostra enfermeiros assistenciais desta instituição, docentes da disciplina Enfermagem Pediátrica da Universidade Federal da Paraíba (UFPB), bem como recémnascidos ali assistidos e que, através do Termo de Consentimento Livre e Esclarecido, concordaram em participar da pesquisa, sendo os recém-nascidos representados pela suas genitoras. Resultados: Esta pesquisa foi dividida em duas fases: construção da 1ª versão do instrumento de coleta de dados para recém-nascidos assistidos no berçário, a partir de uma ampla revisão de literatura, a qual permitiu a identificação dos indicadores empíricos comuns a esta clientela com base em Horta e a validação destes por enfermeiros assistenciais e docentes; construção da versão final do instrumento a partir da validação de conteúdo e forma, por enfermeiros assistenciais e recém-nascidos assistidos no berçário, da 1ª versão do instrumento, o que culminou em um Instrumento de coleta de dados para recém-nascidos assistidos no berçário e a elaboração de um roteiro para operacionalizá-lo. Considerações finais: Contudo, entendemos que este estudo poderá ser modificado a qualquer tempo, à medida que novas ideias forem surgindo. Esperamos que este instrumento seja incorporado à prática profissional da equipe de enfermagem e que venha a contribuir para melhorar a assistência prestada ao nosso cliente, o recém-nascido.

Dieser Beitrag untersucht Potenziale des Einsatzes von MBE-Ansätzen bei der Validierung von Fahrerassistenzsystemen. Ziel ist die Untersuchung der Machbarkeit des Aufbaus einer Validierungsumgebung zur Automatisierung von Tests im Rahmen der kontinuierlichen Validierung von Fahrerassistenzsystemen. [... aus der Einleitung]

Vehicle-to-everything (V2X) communications allow vehicles to exchange messages useful for several scopes, including accident reduction and safety applications. This feature, in cooperation with advanced driver assistance systems (ADAS), needs to be tested and validated to guarantee optimal functionality. This thesis focuses on the development of a Simulink V2X simulation communication module, as an extension to the traffic simulator adopted as part of a validation platform, with the aim of interfacing it with hardware devices. The traffic simulator generates the scenario and controls, through a protocol defined in this activity, an external simulator, which in turn activates the exchange of V2X messages. The system is then tested by applying, as an example, a forward collision warning (FCW) application. More specifically firstly, simulations have been developed in a software in the loop (SiL) architecture; finally, a hardware in the loop (HiL) setup has been implemented, involving real on-board units (OBUs), with a tablet simulating human-to-machine interface (HMI).

Fahrerassistenzsysteme (FAS), wie zum Beispiel die „Aktive Gefahrenbremsung“, sollen dazu beitragen, das Fahren sicherer zu machen und die Anzahl an Unfällen und Verunglückten im Straßenverkehr weiter zu senken. Bei der Entwicklung von FAS muss neben der funktionalen Zuverlässigkeit des FAS sichergestellt werden, dass der Fahrer die Assistenzfunktion versteht und fehlerfrei benutzen kann. Zur Bestimmung geeigneter Systemauslegungen kommen in der Entwicklung Probandenversuche zum Einsatz, bei denen die zukünftigen Nutzer das FAS erleben und anschließend beurteilen. In dieser Arbeit wird die Eignung eines statischen Fahrsimulators für die Durchführung von Probandenversuchen zur Bewertung aktiv eingreifender FAS untersucht. Hierzu wurde ein Fahrversuch auf der Teststrecke und im statischen Fahrsimulator konzipiert, mit jeweils ca. 80 Probanden durchgeführt und die Ergebnisse bezüglich der Auswirkung des FAS „Aktive Gefahrenbremsung“ auf ausgewählte objektive und subjektive Kennwerte in der jeweiligen Versuchsumgebung vergleichend gegenübergestellt. Es zeigt sich, dass der statische Fahrsimulator prinzipiell für die Durchführung von Studien zur Bewertung aktiv eingreifender FAS geeignet ist. Als Ergebnis der Arbeit werden Erkenntnisse zur Aussagekraft der betrachteten Kennwerte sowie Empfehlungen zur Versuchsdurchführung im statischen Fahrsimulator gegeben.

Today, the main research field for the automotive industry is to find solutions for active safety. In order to perceive the surrounding environment, tracking nearby traffic objects plays an important role. Validation of the tracking performance is often done in staged traffic scenarios, where additional sensors, mounted on the vehicles, are used to obtain their true positions and velocities. The difficulty of evaluating the tracking performance complicates its development. An alternative approach studied in this thesis, is to record sequences and use non-causal algorithms, such as smoothing, instead of filtering to estimate the true target states. With this method, validation data for online, causal, target tracking algorithms can be obtained for all traffic scenarios without the need of extra sensors. We investigate how non-causal algorithms affects the target tracking performance using multiple sensors and dynamic models of different complexity. This is done to evaluate real-time methods against estimates obtained from non-causal filtering. Two different measurement units, a monocular camera and a LIDAR sensor, and two dynamic models are evaluated and compared using both causal and non-causal methods. The system is tested in two single object scenarios where ground truth is available and in three multi object scenarios without ground truth. Results from the two single object scenarios shows that tracking using only a monocular camera performs poorly since it is unable to measure the distance to objects. Here, a complementary LIDAR sensor improves the tracking performance significantly. The dynamic models are shown to have a small impact on the tracking performance, while the non-causal application gives a distinct improvement when tracking objects at large distances. Since the sequence can be reversed, the non-causal estimates are propagated from more certain states when the target is closer to the ego vehicle. For multiple object tracking, we find that correct associations between measurements and tracks are crucial for improving the tracking performance with non-causal algorithms.

Пилипенко Ю. М. Публічно-управлінські механізми валідації державних соціальних допомог : кваліфікаційна робота магістра спеціальності 281 "Публічне управління та адміністрування" / наук. керівник Л. Д. Кривега. Запоріжжя : ЗНУ, 2020. 82 с.
UA : Мета дослідження: виявлення та дослідження особливостей процесу верифікації державної соціальної допомоги в Україні. Об’єкт дослідження верифікація в сфері призначення державної соціальної допомоги в українському та закордонному досвіді. Предмет дослідження: особливості процесу верифікації державних соціальних допомог в Україні. Методи дослідження: аналіз, абстрагування, індукція, дедукція, порівняння, діагностичний метод. Гіпотеза: покращити існуючу службу соціального державного інспекторату за рахунок застосування різноманітних методів. Висновки:1. Аналіз стану наукової розробки визначив, що проблема верифікації соціальних допомог в Україні є недостатньо дослідженою темою в соціальних-політичних науках. 2. Досягнення які має принести євроінтеграція в українське суспільство вбачається через підвищення фінансових заощаджень, покращення якості життя, умов праці, освіти та оздоровлення. Але не менш важливим фактором є вимоги самої держави до своїх же громадян. Процес самоідентифікації особистостей через правову обізнаність, культуру, особисті зобов'язання та особисту відповідальність. 3. Повна політична криза та нерішучість правлячої верхівки запровадити дієвий механізм перевірок та державного моніторингу над державними витратами. Наразі маємо імітацію контролю за фінансами держави, яка межує з повною бездіяльністю та безвідповідальністю теперішнього уряду України.
EN : Research purpose is to identify and study the validation process features of state social assistance in Ukraine. Research object is the validation in the field of state social assistance’s purpose in Ukrainian and foreign experience. Research subject is the validation process features of state social assistance in Ukraine. Research methods are analysis, abstraction, induction, deduction, comparison, diagnostic method. Research hypothesis is improvement of the existing state social inspectorate service by applying a variety of methods. Conclusions: 1. The analysis of the scientific development state has determined that the problem of social assistance validation in Ukraine is an under-researched topic both in social and political sciences. 2. European integration achievements in Ukrainian society are seen as follows: increased financial savings, improved life quality, working conditions, education and health. No less important is the state’s demands on its citizens. The process of individuals’self-identification is made through legal awareness, culture, personal obligations and personal responsibility. 3. There is a complete political crisis and indecisiveness of the ruling elite to put in place an effective checking mechanism and state monitoring of public expenditure. Nowadays we have an imitation of control over the state finances that borders on the complete inaction and irresponsibility of the current government of Ukraine.

Zahlreiche chirurgische Assistenzsysteme sind in der klinischen Praxis im Einsatz, um die Genauigkeit und Sicherheit medizinischer Eingriffe zu erhöhen. Die Verwendung von Bildgebungsverfahren durch solche Systeme und die Teilautomatisierung von Prozessen kann einen weiteren Schritt in Richtung höherer Effizienz chirurgischer Interventionen und höherer Patientensicherheit darstellen. Dies stellt jedoch große Herausforderungen an die Systementwickler, welche zur Evaluation dieser Systeme während der Konstruktion geeignete Konzepte und Testmethoden benötigen. Diese Arbeit hat zwei wesentliche Zielsetzungen: Zum einen soll vorgestellt werden, wie zur zielführenden Entwicklung eines duplexsonographisch geführten, semiautomatisch arbeitenden Assistenzsystems zur Gefäßpräparation (ASTMA-System) ein anthropomorphes, physiologisches Phantom anhand zuvor definierter, für die Entwicklung relevanter, Anforderungen konstruiert wurde. Dieses ermöglichte es, die Arbeitsprozesse des Systems und deren Eignung bereits in vitro umfangreich zu testen. Zum andern soll dargestellt werden, wie das Phantom hinsichtlich dieser Anforderungen in einer Studie validiert wurde, um zu gewährleisten, dass dieses für die Systementwicklung erforderliche Eigenschaften aufwies. Dadurch konnten wichtige Informationen über Nutzen und Limitierung der Verwendung des Phantoms und mögliche Probleme des ASTMA-Systems gewonnen werden. Hiermit soll demonstriert werden, wie ein Entwicklungs- und Validierungsansatz für ein Phantom als Testsystem zur Entwicklung und Evaluation ähnlicher komplexer medizintechnischer Systeme mit intraoperativer Bildgebung gestaltet werden kann und welchen Anforderungen solche Phantome genügen sollten. Dies kann dabei helfen, die Systementwicklung zielführend und ressourceneffizient durchzuführen, Probleme bereits während früher Entwicklungsschritte aufzudecken und zu lösen und die Eignung des Verfahrens des entwickelten Systems zu beurteilen.