Simulação e estudo experimental de protocolos de encaminhamento seguro com tolerância a intrusões em redes de sensores sem fios de grande escala

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática.

Melhoria de protocolos de encaminhamento em VANETs de alta densidade

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Análise de contingências da queixa escolar: procedimentos de ensino e medidas de aprendizagem no âmbito da formação inicial de professores

Pós-graduação em Psicologia do Desenvolvimento e Aprendizagem - FC

Impact of node mobility in user-centric routing

Recent paradigms in wireless communication architectures describe environments where nodes present a highly dynamic behavior (e.g., User Centric Networks). In such environments, routing is still performed based on the regular packet-switched behavior of store-and-forward. Albeit sufficient to compute at least an adequate path between a source and a destination, such routing behavior cannot adequately sustain the highly nomadic lifestyle that Internet users are today experiencing. This thesis aims to analyse the impact of the nodes’ mobility on routing scenarios. It also aims at the development of forwarding concepts that help in message forwarding across graphs where nodes exhibit human mobility patterns, as is the case of most of the user-centric wireless networks today. The first part of the work involved the analysis of the mobility impact on routing, and we found that node mobility significance can affect routing performance, and it depends on the link length, distance, and mobility patterns of nodes. The study of current mobility parameters showed that they capture mobility partially. The routing protocol robustness to node mobility depends on the routing metric sensitivity to node mobility. As such, mobility-aware routing metrics were devised to increase routing robustness to node mobility. Two categories of routing metrics proposed are the time-based and spatial correlation-based. For the validation of the metrics, several mobility models were used, which include the ones that mimic human mobility patterns. The metrics were implemented using the Network Simulator tool using two widely used multi-hop routing protocols of Optimized Link State Routing (OLSR) and Ad hoc On Demand Distance Vector (AODV). Using the proposed metrics, we reduced the path re-computation frequency compared to the benchmark metric. This means that more stable nodes were used to route data. The time-based routing metrics generally performed well across the different node mobility scenarios used. We also noted a variation on the performance of the metrics, including the benchmark metric, under different mobility models, due to the differences in the node mobility governing rules of the models.

Encaminhamento de dados tolerante a intrusões para redes de sensores sem fios

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Localização segura de objectos autenticados por RFID

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Serviço de correio eletrónico em ambiente marítimo utilizando redes tolerantes ao atraso

Delay Tolerant Network (DTN) é uma arquitetura de redes que procura resolver os problemas associados à conetividade intermitente de sistemas e possibilita a existência de comunicações em ambientes onde o conjunto de protocolos tradicionais TCP/IP não funciona. A arquitetura DTN é adequada a cenários com uma topologia de rede dinâmica, densidade de nós reduzida, conetividade intermitente e de curta duração entre os nós, e em que as aplicações são tolerantes ao atraso. Nesta dissertação é apresentada uma solução de baixo custo recorrendo ao conceito DTN que permite a utilizadores de embarcações utilizarem o serviço de correio eletrónico no mar. A solução estende o sistema de correio eletrónico ao cenário marítimo recorrendo a estações na costa, comunicação sem fios entre embarcações e entre estas e a estações na costa, e à capacidade das embarcações funcionarem como meios de transporte de dados. Para proceder à validação da proposta apresentada, foi implementado um protótipo com o sistema de correio eletrónico adaptado ao cenário marítimo. O protótipo é constituído por vários nós, configurados de forma a assumir o papel de embarcações, estação da costa e um servidor de e-mail presente na Internet. Os resultados dos testes experimentais realizados em ambiente controlado mostram que os objetivos do trabalho foram alcançados. O serviço de e-mail assente sobre a arquitetura DTN e adaptado ao cenário de comunicações marítimo foi testado em diferentes contextos, e em todos eles, as experiências tiveram resultados positivos.

Procedimentos legais e protocolos para utilização de cadáveres no ensino de anatomia em Pernambuco

A aquisição de cadáveres para estudo e pesquisa vinha sendo feita tradicionalmente utilizando-se corpos não reclamados, sem grandes formalidades. Com a complexidade dos tempos atuais, o simples encaminhamento desses corpos às escolas de Medicina passou a ser temido com o receio de transgredir a lei. Isso desencadeou uma redução no número de cadáveres para as aulas de Anatomia. Esta realidade motivou o Departamento de Anatomia da Universidade Federal de Pernambuco, juntamente com outras instituições do Estado, a pesquisar mecanismos legais que solucionassem a escassez de cadáveres para estudo e pesquisa. A metodologia utilizada constou de reuniões de discussão e apresentação de protocolos de recebimento de cadáveres com base principalmente na legislação vigente. Os resultados obtidos foram: (a) publicação do Provimento 28/2008 da Corregedoria Geral de Justiça do Tribunal de Justiça do Estado de Pernambuco, que dispõe sobre o registro de óbito dos cadáveres destinados às escolas de Medicina para fins de ensino e pesquisa; (b) criação de protocolos para o aproveitamento de cadáveres no Estado de Pernambuco. Concluímos que o conhecimento das atribuições por parte de cada uma das instituições envolvidas facilitará o processo de aproveitamento dos cadáveres.

Implementação de duas arquiteturas microcontroladas tolerantes a falhas para controle da temperatura

Pós-graduação em Física - IGCE

Desarrollo Riguroso de Sistemas Tolerantes a Fallas

Los sistemas críticos son aquellos utilizados en áreas en las cuales las fallas, o los eventos inesperados, pueden ocasionar grandes perdidas de dinero; o quizás peor aún, daños a vidas humanas. Esta clase de sistemas juegan un rol importante en actividades esenciales de la sociedad tales como la medicina y las comunicaciones. Los sistemas críticos, cada vez son más usuales en la vida real, algunos ejemplos de estos son los sistemas de aviones, sistemas para automóviles y sistemas utilizados en telefonia móvil. Para minimizar las fallas, y las perdidas materiales o humanas ocasionadas por el funcionamiento incorrecto de dichos sistemas, se utilizan técnicas de tolerancia a fallas. Estas técnicas permiten que los sistemas continúen funcionando aún bajo la ocurrencia de fallas, o eventos inesperados. Existen diversas técnicas para lograr tolerancia a fallas utilizando, por ejemplo, redundancia a diferentes niveles de abstracción, como, por ejemplo, al nivel de hardware. Sin embargo, estas técnicas dependen fuertemente del sistema, y del contexto en las que se utilizan. Más aún, la mayoría de la técnicas de tolerancia a fallas son usadas a bajo nivel (código fuente o hardware), estimamos que el uso de formalismos rigurosos (con fundamentos matemáticos) pueden llevar al diseño de sistemas tolerantes a fallas y robustos a un nivel de abstracción más alto, a la vez que la utilización de técnicas de verificación que han sido exitosas en la práctica tales como model checking, o la síntesis de controladores, pueden llevar a una verificación y producción automática de sistemas robustos. El objetivo del presente proyecto es estudiar tanto marcos teóricos, que permitan la construcción de sistemas más robustos, como también herramientas automáticas que hagan posible la utilización de estos formalismos en escenarios complejos. Para lograr estos objetivos, será necesario considerar casos de estudios de diferente complejidad, y además que sean relevantes en la práctica. Por ejemplo: bombas de insulina, protocolos de comunicación, sistemas de vuelo y sistemas utilizados con fines médicos. Planeamos obtener prototipos de algunos de estos casos de estudio para evaluar los marcos teóricos propuestos. En los últimos años diferentes formalismos han sido utilizados para razonar sobre sistemas tolerantes a fallas de una forma rigurosa, sin embargo, la mayoría de estos son ad hoc, por lo cual sólo son aplicables a contextos específicos. Planeamos utilizar ciertas lógicas modales, en conjunto con nociones probabilísticas, para obtener un conjunto de herramientas suficientemente generales para que puedan ser utilizadas en diferentes contextos y aplicaciones. Los materiales a utilizar son equipos informáticos, en particular computadoras portátiles para el equipo de trabajo y computadoras más potentes para el testeo y desarrollo del software necesario para lograr los objetivos del proyecto. Para construir los prototipos mencionados se utilizarán equipos de computación estándar (el equipo investigación cuenta con computadoras intel y mac) en conjunto con lenguajes de programación modernos como JAVA o C#. En el caso de que los sistemas de software sean sistemas embebidos; se piensa desarrollar un motor de simulación que permita evaluar el desempeño del software cuando es ejecutado en el dispositivo mencionado. Se espera desarrollar, e investigar, las propiedades de formalismos matemáticos que permitan el desarrollo de sistemas tolerantes a fallas. Además, se desarrollarán herramientas de software para que estos sistemas tolerantes a fallas puedan verificarse, o obtenerse automáticamente. Los resultados obtenidos serán difundidos por medio de publicaciones en revistas del área. El desarrollo de sistemas tolerantes a fallas por medio de técnicas rigurosas, a diferentes niveles de abstracción (captura de requisitos, diseño, implementación y validación), permitirá minimizar los riesgos inherentes en actividades críticas.

Procedimentos legais e protocolos sobre a sistemática de aquisição de cadáveres na Universidade Federal do Rio Grande do Norte para o ensino de anatomia humana

A disponibilidade de cadáveres para estudo e pesquisa vinha sendo feita tradicionalmenteutilizando-se corpos não reclamados sem grandes formalidades. Com a complexidadejurídica, social, ética e moral dos tempos atuais, o simples encaminhamento dessescorpos ao Departamento de Morfologia da Universidade Federal do Rio Grande do Norte,passou a ser temido com o receio de transgredir a legislação penal. Isso desencadeouuma redução no número de cadáveres para as aulas práticas de Anatomia. Essarealidade levou o Departamento de Morfologia da Universidade Federal do Rio Grande doNorte a pesquisar mecanismos legais que solucionassem a escassez de cadáveres parao estudo e pesquisa. A metodologia utilizada constou de reuniões de discussão eapresentação de protocolos de aquisição de cadáveres com base na legislação vigente.Os resultados obtidos foram: (1) Publicação do provimento 093/2012 da CorregedoriaGeral da Justiça do Tribunal de Justiça do Estado do Rio Grande do Norte, que dispõesobre o registro de óbito dos cadáveres destinados às escolas de Medicina para fins deensino e pesquisa; (2) Elaboração de protocolos para aquisição de cadáveres nãoreclamados junto às instituições; (3) Programa de doadores voluntários na UniversidadeFederal do Rio Grande do Norte.Por fim, concluímos que o conhecimento das atribuiçõespor parte das instituições públicas e privada, bem como o programa de doação voluntáriaaumentaram a oferta de cadáveres para o ensino da Anatomia Humana na UniversidadeFederal do Rio Grande do Norte.

Elaboração de protocolos clínicos das principais urgências/emergências atendidas na Unidade Básica de Saúde do Sobradinho na cidade de São Francisco - Mg

Durante o exercício de médico generalista na Unidade de Saúde do Sobradinho, no município de São Francisco - MG, observou-se, não raramente, o atendimento aos usuários desta Unidade em diversas situações de urgências/emergências. Nestas circunstâncias, era notória a ausência de uma abordagem profissional adequada para estes usuários, na maioria das vezes, por falta de organização do processo de trabalho, não priorizando o que e/ou quem realmente deveria ser priorizado. Apesar de saber que as Unidades Básicas de Saúde não são unidades de emergência, elas acabam recebendo pacientes nesta situação, oferecendo atendimento inicial, para posterior encaminhamento a unidades de referência. Assim, o presente trabalho teve como objetivo geral propor a padronização do atendimento em situações de urgências/emergências aos usuários desta Unidade Básica de Saúde. Especificadamente, buscou-se identificar as situações urgências/emergências mais comuns e elaborar protocolos de atendimento aos usuários de acordo com as principais situações encontradas, que foram - crises hipertensivas, cefaleia, asma, pneumonia comunitária, diarreia e epilepsia, A elaboração dos protocolos foi baseada em literatura médica atualizada e revisada e - adaptada à realidade da Unidade de Saúde, sem oferecer aumento de custos.

Protocolos de investigação de variáveis psicológicas na epilepsia infantil

Epilepsy is a common chronic condition in the childhood and its diagnosis reveals psychological, social and family difficulties, that seem to be related with beliefs and quality of parents-children interaction. The purpose of this paper is to schematize investigation strategies for the psychological variables: beliefs, impact of the disease, family relationship, identification of changes. Based upon collected reports of epileptic children's parents and upon surveyed aspects of the literature, psychological questionnaires were elaborated to identify important variables that affect the child's epilepsy life and his family. The use of more appropriate investigation procedures facilitates the psychological evaluation and ensures the collection of data.

Adaptação de protocolos invasivos e não invasivos para avaliações aeróbias e anaeróbias específicas ao basquetebol feminino

OBJECTIVE: To adapted the critical velocity (CV), RAST test and lactate minimum (LM) to evaluation of female basketball players. METHODS: Twelve well-trained female basketball players (19 ± 1yrs) were submitted to four intensities running (10 - 14 km/h) at shuttle exercise until exhaustion, applied on alternate days. The linear model 'velocity vs. 1/tlim' was adopted to determine the aerobic (CV) and anaerobic (CCA) parameters. The lactate minimum test consisted of two phases: 1) hiperlactatemia induction using the RAST test and 2) incremental test composed by five shuttle run (20-m) at 7, 8, 9, 10, and 12 km/h. Blood samples were collected at the end of each stage. RESULTS: The velocity (vLM) and blood lactate concentration at LM were obtained by two polynomial adjustments: lactate vs. intensity (LM1) and lactate vs. time (LM2). ANOVA one-way, Student t-test and Pearson correlation were used for statistical analysis. The CV was obtained at 10.3 ± 0.2 km/h and the CCA estimated at 73.0 ± 3.4 m. The RAST was capable to induce the hiperlactatemia and to determine the Pmax (3.6 ± 0.2 W/kg), Pmed (2.8 ± 0.1 W/kg), Pmin (2.3 ± 0.1 W/kg) and FI (30 ± 3%). The vLM1 and vLM2 were obtained, respectively, at 9.47 ±0.13 km/h and 9.8 ± 0.13 km/h, and CV was higher than vLM1. CONCLUSION: The results suggest that the non-invasive model can be used to determine the aerobic and anaerobic parameters. Furthermore, the LM test adapted to basketball using RAST and progressive phase was effective to evaluate female athletes considering the specificity of modality, with high success rates observed in polynomial adjustment 'lactate vs. time' (LM2).

Efeitos de diferentes protocolos de treinamento físico sobre o controle autonômico e cardiorrespiratório em homens de meia-idade

Universidade Estadual de Campinas . Faculdade de Educação Física