Geração de simuladores de filas para diferentes contextos com estudo de casos para redes de computadores

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Análisis de la adecuación de libros de texto de E. Primaria a la enseñanza a estudiantes de altas capacidades matemáticas

Un problema al que se enfrentan los profesores de matemáticas de Enseñanza Primaria es la necesidad de hacer adaptaciones en sus programaciones para ofrecer una educación adecuada a sus alumnos de altas capacidades matemáticas. Las editoriales de libros de texto de matemáticas de estos niveles educativos ofrecen diversas soluciones que, usualmente, consisten en incluir, en el libro del alumno, algunos problemas más difíciles y, en la documentación del profesor, una propuesta de problemas de ampliación. Una cuestión que se plantea al analizar un libro de texto de matemáticas es valorar cómo de útil puede ser el material proporcionado por la editorial (libro de texto y materiales complementarios) para un profesor que necesita una programación específica para sus alumnos de altas capacidades matemáticas. En este artículo proponemos diversas variables con las que valorar el grado de adecuación a estudiantes de altas capacidades matemáticas de los documentos proporcionados a los profesores por las editoriales. Después ponemos en práctica esta propuesta analizando el tema dedicado a los cuadriláteros en 4º curso de Enseñanza Primaria de una editorial de amplia difusión en España. Las conclusiones globales son que los materiales del profesor analizados prestan poca atención a los estudiantes de altas capacidades matemáticas y que la metodología de análisis que hemos empleado permite identificar direcciones para plantear actividades interesantes para estos estudiantes.

Competencia en el sector salud: análisis de la reforma sueca (1992 - 1995)

El artículo revisa los éxitos y fracasos de la reforma sueca de salud, así como las lecciones que dejó en su afán de alcanzar mejores resultados financieros y estándares de calidad.

Auditoria energética à indústria têxtil do Ave

A Indústria Têxtil do Ave S.A. (ITA) dedica-se, desde 1948, à produção de componentes têxteis para pneus em forma de fio torcido (corda) e tela. Estes componentes são quimicamente activados e impregnados em estufas, possibilitando assim a posterior adesão ao pneu. A máquina de impregnar corda Single End é composta pelos grupos de estiragem, por um recipiente contendo a solução química e por 4 estufas em série. A máquina de impregnar tela Zell é composta pelos grupos de estiragem, pelos acumuladores de saída e entrada, pelos recipientes com as soluções químicas e por um grupo de 7 estufas em série. O aquecimento das estufas é feito através da queima de gás natural. O presente trabalho teve como objectivo a realização de uma auditoria energética à ITA com um especial destaque às máquinas de impregnar corda (Single End) e tela (Zell). As correntes de entrada que contribuem para a potência térmica de impregnação são a combustão do gás natural, o ar de combustão, o ar fresco, o artigo em verde e as soluções químicas. As correntes de saída correspondem aos gases de combustão e exaustão, ao artigo impregnado e às perdas térmicas. A auditoria à máquina Single End mostrou que a potência térmica de impregnação é de 413,1 kW. Dessa potência térmica, 77,2% correspondem à combustão do gás natural, 6,7% ao ar de combustão, 15% ao ar fresco, 0,7% às cordas em verde e 0,4% à solução química. Da potência térmica de saída, 88,4% correspondem aos gases de combustão e exaustão, 3,2% às cordas impregnadas e 8,4% às perdas térmicas. Da auditoria à máquina Zell observou-se que a potência térmica de impregnação é de 5630,7 kW. Dessa potência, 73,3% corresponde à combustão do gás natural, 1,6% ao ar de combustão, 24,5% ao ar fresco, 0,3% à tela em verde e 0,3% às soluções químicas. Da potência térmica de saída, 65,2% correspondem aos gases de combustão e exaustão, 3,1% à tela impregnada e 31,7% às perdas térmicas. Foram sugeridas como medidas de optimização a redução dos caudais de exaustão das estufas e o aumento de temperatura do ar fresco. O aumento da temperatura do ar fresco da máquina de impregnar Single End para 50 ºC, usando ar quente dos torcedores, leva a uma poupança de 0,22 €/h, com um período de retorno do investimento de 13 anos e 4 meses enquanto o aumento para 120 ºC, usando o calor dos gases de combustão e exaustão, reduz os custos em 0,88 €/h, sendo o período de retorno para esse investimento de 2 anos e 6 meses. Na máquina de impregnar Zell, uma redução de 15% no caudal de exaustão numa das estufas leva a ganhos de 3,43 €/h. O aumento de temperatura do ar fresco para 45 ºC, usando o calor de gases de combustão e exaustão, leva a uma poupança de 9,93 €/h sendo o período de retorno para cada uma das duas sugestões de investimento de 5 meses e 9 meses.

eTourism – Mobile Data Interface (Sistema de Apoio On-Line ao Turista em Dispositivos Móveis com Adaptação de Tours Personalizados)

O intuito principal desta Tese é criar um interface de Dados entre uma fonte de informação e fornecimento de Rotas para turistas e disponibilizar essa informação através de um sistema móvel interactivo de navegação e visualização desses mesmos dados. O formato tecnológico será portátil e orientado à mobilidade (PDA) e deverá ser prático, intuitivo e multi-facetado, permitindo boa usabilidade a públicos de várias faixas etárias. Haverá uma componente de IA (Inteligência Artificial), que irá usar a informação fornecida para tomar decisões ponderadas tendo em conta uma diversidade de aspectos. O Sistema a desenvolver deverá ser, assim, capaz de lidar com imponderáveis (alterações de rota, gestão de horários, cancelamento de pontos de visita, novos pontos de visita) e, finalmente, deverá ajudar o turista a gerir o seu tempo entre Pontos de Interesse (POI – Points os Interest). Deverá também permitir seguir ou não um dado percurso pré-definido, havendo possibilidade de cenários de exploração de POIs, sugeridos a partir de sugestões in loco, similares a Locais incluídos no trajecto, que se enquadravam no perfil dos Utilizadores. O âmbito geográfico de teste deste projecto será a zona ribeirinha do porto, por ser um ex-líbris da cidade e, simultaneamente, uma zona com muitos desafios ao nível geográfico (com a inclinação) e ao nível do grande número de Eventos e Locais a visitar.

Controlador Boundary-Scan

A crescente complexidade dos sistemas electrónicos associada a um desenvolvimento nas tecnologias de encapsulamento levou à miniaturização dos circuitos integrados, provocando dificuldades e limitações no diagnóstico e detecção de falhas, diminuindo drasticamente a aplicabilidade dos equipamentos ICT. Como forma de lidar com este problema surgiu a infra-estrutura Boundary Scan descrita na norma IEEE1149.1 “Test Access Port and Boundary-Scan Architecture”, aprovada em 1990. Sendo esta solução tecnicamente viável e interessante economicamente para o diagnóstico de defeitos, efectua também outras aplicações. O SVF surgiu do desejo de incutir e fazer com que os fornecedores independentes incluíssem a norma IEEE 1149.1, é desenvolvido num formato ASCII, com o objectivo de enviar sinais, aguardar pela sua resposta, segundo a máscara de dados baseada na norma IEEE1149.1. Actualmente a incorporação do Boundary Scan nos circuitos integrados está em grande expansão e consequentemente usufrui de uma forte implementação no mercado. Neste contexto o objectivo da dissertação é o desenvolvimento de um controlador boundary scan que implemente uma interface com o PC e possibilite o controlo e monitorização da aplicação de teste ao PCB. A arquitectura do controlador desenvolvido contém um módulo de Memória de entrada, um Controlador TAP e uma Memória de saída. A implementação do controlador foi feita através da utilização de uma FPGA, é um dispositivo lógico reconfiguráveis constituído por blocos lógicos e por uma rede de interligações, ambos configuráveis, que permitem ao utilizador implementar as mais variadas funções digitais. A utilização de uma FPGA tem a vantagem de permitir a versatilidade do controlador, facilidade na alteração do seu código e possibilidade de inserir mais controladores dentro da FPGA. Foi desenvolvido o protocolo de comunicação e sincronização entre os vários módulos, permitindo o controlo e monitorização dos estímulos enviados e recebidos ao PCB, executados automaticamente através do software do Controlador TAP e de acordo com a norma IEEE 1149.1. A solução proposta foi validada por simulação utilizando o simulador da Xilinx. Foram analisados todos os sinais que constituem o controlador e verificado o correcto funcionamento de todos os seus módulos. Esta solução executa todas as sequências pretendidas e necessárias (envio de estímulos) à realização dos testes ao PCB. Recebe e armazena os dados obtidos, enviando-os posteriormente para a memória de saída. A execução do trabalho permitiu concluir que os projectos de componentes electrónicos tenderão a ser descritos num nível de abstracção mais elevado, recorrendo cada vez mais ao uso de linguagens de hardware, no qual o VHDL é uma excelente ferramenta de programação. O controlador desenvolvido será uma ferramenta bastante útil e versátil para o teste de PCBs e outras funcionalidades disponibilizadas pelas infra-estruturas BS.

Sistema de apoio à geração de ideias em grupo considerando as emoções e os aspectos sociais

As emoções dos indivíduos e o contexto social do grupo onde estes estão inseridos têm influência no seu desempenho no que se refere ao desenvolvimento de várias tarefas, incluindo as que são realizadas via electrónica. O processo de geração de ideias em grupo mediado por computador tem vantagens consideráveis em relação ao processo de geração de ideias em grupo tradicional, nomeadamente no que se refere ao aumento da sinergia entre os elementos do grupo, à existência da memória de grupo e à possibilidade dos elementos estarem dispersos no espaço e no tempo. Com isto em mente, o presente trabalho pretende analisar a importância do estado de espírito do participante e a influência que os vários aspectos sociais têm no participante, para assim ser possível tomar determinadas acções com o objectivo de potenciar o desempenho dos utilizadores ao longo da reunião de geração de ideias. Neste trabalho é analisada a influência que o estado de espírito dos participantes e o contexto social das reuniões podem ter no sucesso de uma reunião de geração de ideias electrónica. Considerando a influência de estes factores, é proposto um modelo que inclui essas variáveis no processo de geração de ideias em grupo mediado por computador. Com isto pretende-se demonstrar que a inclusão do modelo proposto numa ferramenta de apoio à geração de ideias em grupo permite melhorar o desempenho individual e consequentemente o desempenho do grupo, bem como a interacção entre todos os elementos. Assim, este trabalho pretende gerar sugestões com o objectivo de manter os participantes atentos e motivados para as tarefas que têm de realizar, nomeadamente a tarefa de geração de ideias. Com o objectivo de aplicar o modelo proposto é também apresentado neste trabalho uma nova ferramenta de geração de ideias em computador que considera o contexto emocional e social da reunião, o S-IGTAI (Social Idea Generation Tool for Ambient Intelligence). Através das interacções entre os participantes e a ferramenta S-IGTAI, é recolhida informação que será o input do modelo proposto, sendo que o output serão as sugestões enviadas para o facilitador. Estas sugestões têm o propósito que o facilitador realize recomendações aos participantes no sentido de manter os seus estados de espírito num nível positivo e eliminar a influência negativa dos vários aspectos sociais, potenciando dessa forma o desempenho de todos os participantes. Com a finalidade de validar o modelo proposto e a nova ferramenta (S-IGTAI) é apresentado um caso de estudo neste documento que permite realizar a avaliação do trabalho desenvolvido.

Automatic synthesis of VHDL Hardware Components from IOPT Petri Net models

Conferência: 39th Annual Conference of the IEEE Industrial-Electronics-Society (IECON), Vienna, Austria, Nov 10-14, 2013

Análisis político del Programa de Control del dengue en Morelos, México

OBJETIVO: Analizar medidas municipales implementadas para el control de la epidemia del dengue, sobretodo las de coordinación sectorial, gobernanza y participación de grupos sociales. MÉTODOS: Estudio de observación, realizado en Morelos, México, 2007. Los datos colectados en entrevistas y observaciones directas fueron sometidos a análisis de contenido y mapeo político. El software Policy Marker fue utilizado para evaluar los pesos atribuidos a los datos de desempeño (e.g. criterios alto, medio y bajo) y el papel de actores (acciones realizadas sean ellas de vigilancia, control o administrativas). Se realizó análisis estratégico de las oportunidades y desafíos en el cumplimiento de las políticas públicas y control del dengue. RESULTADOS: Las bases jurídicas indican que la respuesta a la epidemia es una tarea multisectorial. Sin embargo, la respuesta está centrada en actividades de los servicios de la salud, que están forzados a dar mayor apoyo financiero y derivar los recursos humanos necesarios, en contraste con la contribución de otros sectores (e.g. agua y saneamiento básico), que desconocen sus responsabilidades. El sector de la salud presenta alto nivel de factibilidad para la vinculación intra?institucional, en términos de optimización de recursos y cumplimiento de objetivos, particularmente entre autoridades de salud en los niveles estatal, jurisdiccional, municipal y local. CONCLUSIONES: El abordaje multidisciplinario y el fortalecimiento de las responsabilidades políticas permitirán la respuesta eficaz ante la epidemia del dengue, sustentada en la coordinación sectorial e involucramiento activo de la población afectada.

Evaluation of distinct input methods of an intelligent wheelchair in simulated and real environments: a performance and usability study

This paper focuses on evaluating the usability of an Intelligent Wheelchair (IW) in both real and simulated environments. The wheelchair is controlled at a high-level by a flexible multimodal interface, using voice commands, facial expressions, head movements and joystick as its main inputs. A Quasi-experimental design was applied including a deterministic sample with a questionnaire that enabled to apply the System Usability Scale. The subjects were divided in two independent samples: 46 individuals performing the experiment with an Intelligent Wheelchair in a simulated environment (28 using different commands in a sequential way and 18 with the liberty to choose the command); 12 individuals performing the experiment with a real IW. The main conclusion achieved by this study is that the usability of the Intelligent Wheelchair in a real environment is higher than in the simulated environment. However there were not statistical evidences to affirm that there are differences between the real and simulated wheelchairs in terms of safety and control. Also, most of users considered the multimodal way of driving the wheelchair very practical and satisfactory. Thus, it may be concluded that the multimodal interfaces enables very easy and safe control of the IW both in simulated and real environments.

Melhoria da eficiência de amplificadores de potência para sinais RF com envolvente variável

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Electrónica e Telecomunicações

Controlo e optimização de sistemas AVAC recorrendo a técnicas de inteligência artificial

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Reabilitação de um imóvel industrial em Marvila: projeto de investimento

Trabalho de Projeto para obtenção do grau de Mestre em Engenharia Civil

Seroprevalencia de rubeola en Colombia: un análisis por cohorte de nacimiento

OBJETIVO : Estimar la seroprevalencia de rubéola y factores asociados. METODOS : Estudio de seroprevalencia poblacional con una muestra aleatoria de 2.124 individuos de seis a 64 años, representativa por edad, sexo y área en Medellín, Colombia, 2009. Se analizó la asociación de variables biológicas y socioeconómicas con la seroprotección para rubéola, según la cohorte del año de nacimiento antes (1954 a 1990) y después (1991 a 2003) del inicio de la vacunación universal. Se determinaron los títulos de IgG con pruebas de alta sensibilidad (AxSYM ® Rubella IgG – Laboratorio Abbott) y especificidad (VIDAS RUB IgG II ® – Laboratorio BioMerieux). Se estimaron proporciones y promedios ponderados derivados de un muestreo complejo incluyendo un factor de corrección por las diferencias en la participación por sexo. Se analizó la asociación de la protección por grupos de variables biológicas y sociales con un modelo de regresión logística, según la cohorte de nacimiento. RESULTADOS : Los títulos promedio de IgG fueron más altos en los nacidos antes del inicio de la vacunación (media 110 UI/ml; IC95% 100,5;120,2) que en los nacidos después (media 64 UI/ml; IC95% 54,4;72,8), p = 0,000. La proporción de protección fue creciente de 88,9% en los nacidos en 1990-1994, de 89,2% en 1995-1999 y de 92,1% en 2000 a 2003, posiblemente relacionado con la administración del refuerzo desde 1998. En los nacidos antes del inicio de la vacunación, la seroprotección estuvo asociada con el antecedente de contacto con casos (RD 2,6; IC95% 1,1;5,9), el estado de salud (RD 2,5; IC95% 1,05;6,0), el nivel de escolaridad (RD 0,2; IC95% 0,08;0,8) y los años de residencia del hogar en el barrio (RD 0,96; IC95% 0,98;1,0), luego de ajustar por todas las variables. En los nacidos después se asoció con el tiempo de sueño efectivo (RD 1,4; IC95%1,09;1,8) y el estado de salud (RD 5,5; IC95%1,2;23,8). CONCLUSIONES : La vacunación masiva generó un cambio en el perfil de seroprevalencia, siendo mayores los títulos en quienes nacieron antes del inicio de la vacunación. Se recomienda monitorear el sostenimiento del nivel de protección a largo plazo y concertar acciones para el mejoramiento de las condiciones socioeconómicas potencialmente asociadas.