Algoritmos meta-heurísticos para a solução do problema do caixeiro viajante com múltiplas caronas

The Traveling Salesman with Multiple Ridesharing (TSP-MR) is a type of the Capacitated Traveling Salesman, which presents the possibility of sharing seats with passengers taking advantage of the paths the salesman travels through his cycle. The salesman shares the cost of a path with the boarded passengers. This model can portray a real situation in which, for example, drivers are willing to share parts of a trip with tourists that wish to move between two locations visited by the driver’s route, accepting to share the vehicle with other individuals visiting other locations within the cycle. This work proposes a mathematical formulation for the problem, and an exact and metaheuristics algorithms for its solution, comparing them.

Verificación de algoritmos y estructuras de datos en Dafny

La verificación formal de un programa es la demostración de que este funciona de acuerdo a una descripción del comportamiento esperado en toda posible ejecución. La especificación de lo deseado puede utilizar técnicas diversas y entrar en mayor o menor detalle, pero para ganarse el título de formal esta ha de ser matemáticamente rigurosa. El estudio y ejercicio manual de alguna de esas técnicas forma parte del currículo común a los estudios de grado de la Facultad de Informática y del itinerario de Ciencias de la Computación de la Facultad de Ciencias Matemáticas de la Universidad Complutense de Madrid, como es el caso de la verificación con pre- y postcondiciones o lógica de Hoare. En el presente trabajo se explora la automatización de estos métodos mediante el lenguaje y verificador Dafny, con el que se especifican y verifican algoritmos y estructuras de datos de diversa complejidad. Dafny es un lenguaje de programación diseñado para integrar la especificación y permitir la verificación automática de sus programas, con la ayuda del programador y de un demostrador de teoremas en la sombra. Dafny es un proyecto en desarrollo activo aunque suficientemente maduro, que genera programas ejecutables.

Aceleración de algoritmos de estimación de movimiento mediante OpenCL

El flujo óptico y la estimación de movimiento es área de conocimiento muy importante usado en otros campos del conocimiento como el de la seguridad o el de la bioinformática. En estos sectores, se demandan aplicaciones de flujo óptico que realicen actividades muy importantes con tiempos de ejecución lo más bajos posibles, llegando a tiempo real si es posible. Debido a la gran complejidad de cálculos que siguen a este tipo de algoritmos como se observará en la sección de resultados, la aceleración de estos es una parte vital para dar soporte y conseguir ese tiempo real tan buscado. Por lo que planteamos como objetivo para este TFG la aceleración de este tipo de algoritmos mediante diversos tipos de aceleradores usando OpenCL y de paso demostrar que OpenCL es una buena herramienta que permite códigos paralelizados con un gran Speedup a la par que funcionar en toda una diversa gama de dispositivos tan distintos como un GPU y una FPGA. Para lo anteriormente mencionado trataremos de desarrollar un código para cada algoritmo y optimizarlo de forma no especifica a una plataforma para posteriormente ejecutarlo sobre las diversas plataformas y medir tiempos y error para cada algoritmo. Para el desarrollo de este proyecto partimos de la teoría de dos algoritmos ya existentes: Lucas&Kanade monoescala y el Horn&Schunck. Además, usaremos estímulos para estos algoritmos muy aceptados por la comunidad como pueden ser el RubberWhale o los Grove, los cuales nos ayudarán a establecer la corrección de estos algoritmos y analizar su precisión, dando así un estudio referencia para saber cual escoger.

Fatores sócio-demográficos e diagnósticos de enfermagem em pacientes transplantados renais

Analisar a associação estatística entre diagnósticos de enfermagem identifi cados nos pacientes transplantados renais e seus fatores sócio-econômicos. Estudo transversal realizado em um hospital universitário em Fortaleza-CE, no período compreendido entre dezembro de 2004 a abril de 2005. Foram identifi cados 38 diagnósticos de enfermagem. Dez diagnósticos apresentaram freqüências acima do percentil 75: Risco de infecção; percepção sensorial perturbada: visual; Padrão de sono perturbado; Nutrição desequilibrada: mais do que as necessidades corporais; Fadiga; Disfunção sexual; Percepção sensorial perturbada: audição; Dor aguda; Padrões de sexualidade inefi cazes; Risco de nutrição desequilibrada: mais do que as necessidades. O estudo sobre diagnósticos de enfermagem ajudou a expandir o conhecimento da realidade dos pacientes, o que é necessário para o estabelecimento de cuidados de enfermagem ao transplante renal, bem como para abordar os resultados que vierem a ser desenvolvidas com o objetivo de melhorar a qualidade de vida

Epidemiología, agentes causales y métodos diagnósticos en pacientes con fiebre de duración intermedia en Gran Canaria

Programa de doctorado: Microbiología y enfermedades infecciosas

PREDIÇÃO DE LINKS EM REDES SOCIAIS ACADÊMICAS: UMA ANÁLISE DA INFLUÊNCIA DAS CARACTERÍSTICAS DA REDE NA EFICÁCIA DOS ALGORITMOS BASEADOS NA TOPOLOGIA

A predição de links em redes sociais tem sido objeto de estudo em um crescente número de artigos científicos e comerciais devido à grande oferta de bases de dados com representações das relações entre pessoas e também devido à facilidade de acesso a recursos computacionais para análise dessas redes. Prever conexões em redes sociais acadêmicas contribui para o crescimento científico, facilitando a colaboração entre pesquisadores com potencial de contribuição mútua. Este trabalho busca identificar as características das redes levam a uma maior eficiência na predição de links feita por algoritmos baseados na topologia. As características serão isoladas conjuntos de dados e alguns experimentos serão repetidos com diferentes algoritmos para buscar identificar tendências. As análises feitas neste trabalho poderão ajudar a compreender melhor a dinâmica das redes sociais acadêmicas e também contribuir na escolha dos melhores algoritmos de predição de link para cada tipo de rede social.

Plataforma de simulación de aberraciones ópticas vía implementación de las características de un SLM y reconstrucción de fase usando algoritmos basados en los sensores de Hartmann-Shack

Dada la importancia que hoy día presenta dentro del ámbito de la óptica, la implementación y conocimiento de dispositivos capaces tanto de generar aberraciones ópticas bien caracterizadas como de censarlas, se presenta a lo largo de este trabajo el desarrollo de una interfaz gráfica en MATLAB, que permita simular el funcionamiento tanto de un sensor de frente de onda de Hartamnn-Shack (HS), así como la simulación de dispositivos capaces de modificar frentes de onda como los SLM, adicionando algoritmos de propagación y cálculo de centroides -- Para ello, se implementarán en primer lugar máscaras de fase que generen frentes de onda aberrados a partir de la modulación en fase de moduladores espaciales de luz o SLM, tanto a través de funciones lente de primer orden en representación de las aberraciones constantes, como de fase cuadrática en representación de las aberraciones de bajo orden y adicionalmente como combinaciones lineales de polinomios de Zernike -- Todo lo anterior se simulará teniendo en cuenta las características técnicas de los SLM, como lo son el número de pixeles en x y en y, el tamaño de estos y la curva de calibración de los moduladores espaciales, tanto para una relación lineal como para una relación no lineal -- Posteriormente se simularán las dos propagaciones sufridas por los haces de luz desde el SLM hasta el CCD (dispositivo de carga acoplada), pasando a través de la matriz de multilentes del HS (MLA), a partir de la implementación de algoritmos de propagación de un solo paso, que nos permitirán observar sobre el plano del CDD el mapa de spots necesario para el censado de las superficies -- Continuaremos con la construcción de algoritmos para determinar los centroides de dicho mapa y sus respectivas coordenadas, seguiremos con la implementación de algoritmos de reconstrucción modal empleados por sensores de frente de onda de Hartmann-Shack, y finalmente compararemos el grado de error existente entre las superficies generadas y las superficies censadas a través del cálculo de su error cuadrático medio

Inserção da informática nos cursos de Arquitetura e Urbanismo do Brasil (1994 2006): diagnósticos, rebatimentos e perspectivas nas Instituições Federais de Ensino Superior do Nordeste: UFRN, UFPB e UFPE

This work supports the formalist education s improvement of the Brazilian architect and urban designer through a better application and systematization of the computer science s teaching potentialities. The research analyzes the discipline introduction in the Brazilian courses: Computer Science Applied to Architecture and Urbanism (InfoAU) in the Architecture and Urbanism Courses of Brazil (CAUs). It goes since the discipline was obligated by the MEC s Regulation nr. 1.770 from 1994 until the CNE/CES Resolution nr. 6 from 2006; it comprehends the discipline implantation, development and current context, in order to get more detailed, the research analyses three federal universities from the Northeast of the country: UFRN, UFPB and UFPE. Once identified the historical educational needs in the CAUs, the study focus on the computer science s increasing potential as an agent of integration, communication, development and knowledge/data management. It points out new social perspectives for a better use of this tool/mechanism, which adequately structuralized and integrated, creates propitious educational and professional performance/recycling conditions and a propeller instrument of research and extension activities. Among this work, it is suggested the aggregation of elements, which are complementary to the InfoAU discipline s reorganization, throughout a computerization s plan for the CAUs, extensive to the professional formation, generating a virtuous cycle in several activities of the academic, administrative and, research and extension s departments. Therefore, the InfoAU in the Brazilian CAUs context was analyzed; the main solutions and problems found were systemized; the possibilities of computer science s uses inside AU ware structuralized, InfoAU discipline s improvement plan was also defined, as well as strategies for the implementation of the computerization s plan for the CAUs, which would guarantee its maintenance in a continuity perspective

Proposta de processo de enfermagem em unidade de internação obstétrica: históricos, diagnósticos e cuidados de enfermagem à luz de horta fundamentada em nanda

O presente estudo teve como objetivo geral elaborar uma proposta de processo de enfermagem contemplando históricos de enfermagem, diagnósticos de enfermagem, prescrição de cuidados de enfermagem para gestantes e puérperas em Unidade de Internação Obstétrica à luz de Horta, fundamentada em NANDA e, como objetivos específicos: identificar os dados clínico-obstétricos mais frequentes das gestantes em Unidade de Internação Obstétrica; identificar os dados clínico-obstétricos mais frequentes das puérperas em Unidade de Internação Obstétrica; identificar os diagnósticos de enfermagem a partir dos dados clínico-obstétricos mais frequentes das gestantes em Unidade de Internação Obstétrica; identificar os diagnósticos de enfermagem a partir dos dados clínico-obstétricos mais frequentes das puérperas em Unidade de Internação Obstétrica; elaborar modelos de histórico de enfermagem e de prescrição de cuidados de enfermagem para os diagnósticos de enfermagem identificados; e obter o consenso dos enfermeiros assistenciais da Unidade de Internação Obstétrica sobre a proposta construída. Trata-se de pesquisa qualitativa, descritiva e exploratória, realizada em uma Unidade de Internação Obstétrica de um hospital universitário do Sul do Brasil. Realizou-se uma consulta documental em 148 prontuários, com vistas à identificação dos diagnósticos e cuidados de enfermagem, baseados, respectivamente, na taxonomia II da North American Diagnosis Association 2009-2011 e da Nursing Intervention Classification. Desenvolveu-se um modelo de histórico de enfermagem para gestante/puérpera e outro para o recém-nascido. No total, identificaram-se 26 diagnósticos de enfermagem, assim distribuídos: nove direcionados às gestantes; nove, às puérperas; dois, ao binômio mãe/filho; seis, ao recém-nascido. A análise foi realizada por meio da apresentação da proposta construída e discussão com base em autores da área. Com isso, almeja-se contribuir para direcionar o cuidado de enfermagem às necessidades das gestantes, puérperas, binômios mãe/filho e recém-nascidos nesse microcenário, favorecendo a educação em saúde, a identificação precoce e a prevenção de complicações. Permanecem lacunas quanto às necessidades psicoespirituais, visto que elas não foram abordadas nos resultados. Assim, essa proposta de Processo de Enfermagem em Unidade Obstétrica contemplando históricos, diagnósticos e cuidados de enfermagem mantém em aberto o aperfeiçoamento do modelo, visando à inclusão de outros diagnósticos de enfermagem, de forma a aproximar-se de um cuidado mais holístico.

Síndrome de boca ardente

A Síndrome de Boca Ardente (SBA) é uma condição caracterizada por uma sensação descrita pelo paciente como ardência e que afeta a mucosa oral. Tem sido referida como dor orofacial crónica, sem lesões na mucosa oral ou outros sinais clínicos evidentes. Afeta predominantemente mulheres no período pós-menopáusico. A sua etiologia foi considerada multifatorial, contudo foram sugeridos como fatores etiológicos os seguintes fatores: locais, sistémico, psicológicos, neuropáticos e idiopático. O seu diagnóstico é complexo e essencialmente por exclusão. De forma a compreender quais são os fatores etiológicos implicados nesta síndrome, como é realizado o seu diagnóstico e quais são os tratamentos utilizados de forma eficaz, foi realizada uma revisão bibliográfica nas bases de dados “PubMed”e “B-On”. O tratamento geralmente tem como objetivo o alívio sintomático de forma a melhorar a qualidade de vida das pessoas afetadas por SBA, as modalidades de tratamento podem variar desde farmacológicos até aos não farmacológicos. Ainda não existe um consenso relativamente aos critérios de diagnósticos que devem ser utilizados e nem do mais eficaz. Há necessidade de realização de mais estudos de forma a criar algoritmos específicos para esta condição.

Ocho diagnósticos para el desarrollo regional

El Programa de Intercambio Educativo (PIE) se inicia en el año 1987 como una red orientada a desarrollar vínculos institucionales entre la Universidad del Pacífico y universidades públicas de reconocida trayectoria y calidad académica, ubicadas en diversas regiones del país. Desde el inicio, el objetivo principal de la red PIE fue contribuir con la mejora de la calidad de la enseñanza y de la investigación de las instituciones que la conformaban, con un énfasis particular en las especialidades de Administración, Economía y Contabilidad. En tal sentido, el programa se fundamentó, desde su creación, en una filosofía orientada a promover la “formación de formadores”. Con el paso de los años, la red se fue abriendo a otras universidades del país y actualmente el nombre “PIE” ya no se refiere a una pequeña red de universidades, sino al programa de capacitación docente que ofrece la Universidad del Pacífico, con el apoyo de su Patronato y de sus empresas benefactoras, a los profesores de todas las universidades públicas del país. La presente publicación recoge las investigaciones realizadas por docentes –y en algunos casos estudiantes de último año– de Economía de diversas universidades del país, las cuales fueron seleccionadas para ser presentadas en la I y la II Conferencia Académica del Programa de Intercambio Educativo (PIE), realizadas en la Universidad del Pacífico los años 2012 y 2013, respectivamente.

Algoritmos de planificación en redes de paquetes

En este artículo se presentan los mecanismos y procesos necesarios que realizan los enrutadores para ofrecer calidad de servicio en redes de paquetes y se hace especial énfasis en el estudio del estado del arte en lo referente a los algoritmos de planificación utilizados en este tipo de redes.

Fatores sócio-demográficos e diagnósticos de enfermagem em pacientes transplantados renais

Analisar a associação estatística entre diagnósticos de enfermagem identifi cados nos pacientes transplantados renais e seus fatores sócio-econômicos. Estudo transversal realizado em um hospital universitário em Fortaleza-CE, no período compreendido entre dezembro de 2004 a abril de 2005. Foram identifi cados 38 diagnósticos de enfermagem. Dez diagnósticos apresentaram freqüências acima do percentil 75: Risco de infecção; percepção sensorial perturbada: visual; Padrão de sono perturbado; Nutrição desequilibrada: mais do que as necessidades corporais; Fadiga; Disfunção sexual; Percepção sensorial perturbada: audição; Dor aguda; Padrões de sexualidade inefi cazes; Risco de nutrição desequilibrada: mais do que as necessidades. O estudo sobre diagnósticos de enfermagem ajudou a expandir o conhecimento da realidade dos pacientes, o que é necessário para o estabelecimento de cuidados de enfermagem ao transplante renal, bem como para abordar os resultados que vierem a ser desenvolvidas com o objetivo de melhorar a qualidade de vida

Simulador gráfico de algoritmos matemáticos

O objetivo principal do trabalho de investigação foi desenvolver uma ferramenta computacional que possa ser usada por professores e alunos no ensino dos Métodos Numéricos. A ferramenta, designada por GraSMA (Graphical Simulator of Mathematical Algorithms), permite visualizar no ecrã a execução dos correspondentes algoritmos. Esta ferramenta integra vários softwares open source e baseia-se na anotação automática de código Octave com funções de inspeção que permitem captar a sucessão de valores e produzir uma animação do funcionamento do método. A validação do GraSMA como ferramenta de apoio à lecionação destes métodos foi feita através de uma experiência feita em contexto de sala de aula que obteve resultados muito positivos conforme será descrito neste artigo.