Arquitecturas e ferramentas para gestão de redes e sistemas: estudo de um caso

Mestrado em Engenharia Informática - Área de Especialização em Arquitecturas, Sistemas e Redes

Contributo para a construção de um code set da classificação internacional de funcionalidade, incapacidade e saúde, para terapeutas ocupacionais, em unidades de cuidados continuados integrados

A CIF é uma ferramenta universal desenvolvida pela OMS que permite a classificação de funcionalidade e incapacidade, através de uma visualização global do que condiciona o desempenho do indivíduo na concretização de atividades e na participação em ocupações. A ideologia da CIF e os seus componentes interrelacionam-se com a essência da TO, indo ao encontro dos modelos da profissão. As UCCI constituem uma atualidade em Portugal e o terapeuta ocupacional é um dos profissionais obrigatórios na equipa multidisciplinar destas unidades. Atendendo à relevância internacional da CIF, à sua ligação com a TO e à necessidade de tornar a CIF operacional na prática clínica diária dado que é uma ferramenta complexa e extensa, é objetivo deste estudo contribuir para a construção de um code set da CIF para terapeutas ocupacionais que exercem funções em UCCI, especificamente em UC, UMDR e ULDM. Para a concretização desta investigação, utilizou-se a técnica de Delphi, que envolveu duas rondas. Na primeira ronda foi possível contar com a participação de 37 terapeutas ocupacionais experientes na área, uma vez que exercem funções em UCCI, e na segunda ronda contou-se com a participação de 20 elementos. Obtiveram consenso na última ronda de Delphi um total de 96 categorias, constituindo esta listagem uma proposta de code set para UCCI. No que se refere às tipologias de unidades, 69 categorias obtiveram consenso em UC, 91 em UMDR e 41 em ULDM. Concluiu-se que a criação de code sets poderá constituir uma mais-valia em contexto de equipa multidisciplinar das UCCI, sendo uma forma de tornar a CIF operacional na prática clínica diária.

Core group approach to identify college students at risk for sexually transmitted infections

OBJECTIVE: To analyze the core group for sexually transmitted infections (STI) among college students. METHODS: Cross-sectional study carried out in a convenience sample comprising 711 college students of the public university of Morelos, Mexico, between 2001 and 2003. Sociodemographic and sexual behavior information were collected using self-applied questionnaires. Herpes simplex 2 (HSV-2) infection was tested in the blood. The number of sexual partners in the last year and cocaine consumption were used as indicators to construct the dependent variable "level of STI risk" in three categories: low, medium and high risk (core group). A multinomial analysis was conducted to evaluate whether different sex behaviors were associated with the variable "level of STI risk". RESULTS: There was significant association between HSV-2 seroprevalence and the variable "level of STI risk": 13%, 5.6% and 3.8% were found in high (core group), medium and low categories, respectively. There were gender differences regarding the core group. Men started having sexual intercourse earlier, had more sex partners, higher alcohol and drug consumption, higher frequency of sex intercourse with sex workers, exchanging sex for money, occasional and concurrent partners compared to women. CONCLUSIONS: The study findings suggest existing contextual characteristics in the study population that affect their sex behavior. In Mexico, the cultural conception of sexuality is determined mainly by gender differences where men engage in higher risky sexual behavior than women.

Padrão de ativação de músculos do core abdominal e tilt pélvico no teste de extensão da anca, em indivíduos com e sem dor lombo- pélvica

Introdução: Os padrões de movimento podem sofrer alterações por atraso no timing de ativação e/ou modificações na sequência de recrutamento muscular, predispondo o indivíduo a disfunções, nomeadamente a dor lombo-pélvica. Objetivo: Investigar o timing e o padrão de ativação de músculos do core abdominal, durante o movimento de extensão da anca, do membro dominante, em indivíduos com e sem dor lombo- pélvica crónica inespecífica. Pretende-se, também, pesquisar a existência do padrão de ativação considerado “normal“ e verificar a relação entre o padrão de ativação e o tilt pélvico, em ambos os indivíduos. Métodos: Estudo transversal, com 64 estudantes universitários, divididos em dois grupos: 31 sem e 33 com dor lombo-pélvica. Através de eletromiografia de superfície foi recolhida a atividade muscular dos Eretores da Espinha ipsilateral e contralateral, Glúteo Máximo e Bicípite Femoral ipsilaterais. Foi analisado o timing de ativação muscular e as respetivas ordens de ativação. Adicionalmente foi medido o tilt pélvico. Resultados: O grupo com dor lombo-pélvica apresentou um atraso significativo no timing de ativação dos músculos Glúteo Máximo ipsilateral (t=-3,171;p=0,002) e Bicípite Femoral ipsilateral (t=-2,092;p=0,041), em comparação com o grupo sem dor. Verificou-se uma associação significativa entre as 5 ordens de ativação mais frequentes e a presença de dor lombo-pélvica (xf2=11,54;p=0,015). A ordem de ativação "normal" – Glúteo Máximo ipsilateral>Bicípite Femoral ipsilateral>Eretor da Espinha contralateral>Eretor da Espinha ipsilateral – não foi utilizada. Verificou-se que o Bicípite Femoral ipsilateral foi maioritariamente o primeiro a ativar-se e o Glúteo Máximo ipsilateral o último em ambos os grupos. Verificou-se um tilt pélvico significativamente superior nos indivíduos que ativam primeiro o Bicípite Femoral ipsilateral nos grupos com (U=51;p=0,001) e sem dor (U=41p=0,001). Conclusão: Os indivíduos com dor lombo-pélvica apresentaram um atraso no timing de ativação dos músculos do core abdominal. Os resultados parecem refutar a ordem de ativação "normal" que tem sido proposta. Não foi possível apoiar nem contestar a teoria de que um atraso na ativação do Glúteo Máximo está associado com dor lombo-pélvica.

Impactos do projecto solvência II nos sistemas de governance das seguradoras portuguesas

Mestrado em Contabilidade e Gestão das Instituições Financeiras

Effects of natural mortality on the yield per recruit models

Dissertação de Mestrado, Estudos Integrados dos Oceanos, 22 de Janeiro de 2016, Universidade dos Açores.

Stability of the tree-level vacuum in two Higgs doublet models against charge or CP spontaneous violation

We show that in two Higgs doublet models at tree-level the potential minimum preserving electric charge and CP symmetries, when it exists, is the global one. Furthermore, we derived a very simple condition, involving only the coefficients of the quartic terms of the potential, that guarantees spontaneous CP breaking. (C) 2004 Elsevier B.V. All rights reserved.

Longitudinal versus polar wrinkling of core-shell fibers with anisotropic size mismatches

We consider a fiber made of a soft elastic material, encased in a stiff elastic shell (core-shell geometry). If the core and shell dimensions are mismatched, e.g., because the core shrinks while the shell does not, but the two remain attached, then an elastic instability is triggered whereby wrinkles may appear on the shell. The wrinkle orientation may be longitudinal (along the fiber axis), polar (along the fiber perimeter), or a mixture of both, depending on the fiber's geometrical and material parameters. Here we investigate under what conditions longitudinal or polar wrinkling will occur.

Supporting intra-task parallelism in real-time multiprocessor systems

Os sistemas de tempo real modernos geram, cada vez mais, cargas computacionais pesadas e dinâmicas, começando-se a tornar pouco expectável que sejam implementados em sistemas uniprocessador. Na verdade, a mudança de sistemas com um único processador para sistemas multi- processador pode ser vista, tanto no domínio geral, como no de sistemas embebidos, como uma forma eficiente, em termos energéticos, de melhorar a performance das aplicações. Simultaneamente, a proliferação das plataformas multi-processador transformaram a programação paralela num tópico de elevado interesse, levando o paralelismo dinâmico a ganhar rapidamente popularidade como um modelo de programação. A ideia, por detrás deste modelo, é encorajar os programadores a exporem todas as oportunidades de paralelismo através da simples indicação de potenciais regiões paralelas dentro das aplicações. Todas estas anotações são encaradas pelo sistema unicamente como sugestões, podendo estas serem ignoradas e substituídas, por construtores sequenciais equivalentes, pela própria linguagem. Assim, o modo como a computação é na realidade subdividida, e mapeada nos vários processadores, é da responsabilidade do compilador e do sistema computacional subjacente. Ao retirar este fardo do programador, a complexidade da programação é consideravelmente reduzida, o que normalmente se traduz num aumento de produtividade. Todavia, se o mecanismo de escalonamento subjacente não for simples e rápido, de modo a manter o overhead geral em níveis reduzidos, os benefícios da geração de um paralelismo com uma granularidade tão fina serão meramente hipotéticos. Nesta perspetiva de escalonamento, os algoritmos que empregam uma política de workstealing são cada vez mais populares, com uma eficiência comprovada em termos de tempo, espaço e necessidades de comunicação. Contudo, estes algoritmos não contemplam restrições temporais, nem outra qualquer forma de atribuição de prioridades às tarefas, o que impossibilita que sejam diretamente aplicados a sistemas de tempo real. Além disso, são tradicionalmente implementados no runtime da linguagem, criando assim um sistema de escalonamento com dois níveis, onde a previsibilidade, essencial a um sistema de tempo real, não pode ser assegurada. Nesta tese, é descrita a forma como a abordagem de work-stealing pode ser resenhada para cumprir os requisitos de tempo real, mantendo, ao mesmo tempo, os seus princípios fundamentais que tão bons resultados têm demonstrado. Muito resumidamente, a única fila de gestão de processos convencional (deque) é substituída por uma fila de deques, ordenada de forma crescente por prioridade das tarefas. De seguida, aplicamos por cima o conhecido algoritmo de escalonamento dinâmico G-EDF, misturamos as regras de ambos, e assim nasce a nossa proposta: o algoritmo de escalonamento RTWS. Tirando partido da modularidade oferecida pelo escalonador do Linux, o RTWS é adicionado como uma nova classe de escalonamento, de forma a avaliar na prática se o algoritmo proposto é viável, ou seja, se garante a eficiência e escalonabilidade desejadas. Modificar o núcleo do Linux é uma tarefa complicada, devido à complexidade das suas funções internas e às fortes interdependências entre os vários subsistemas. Não obstante, um dos objetivos desta tese era ter a certeza que o RTWS é mais do que um conceito interessante. Assim, uma parte significativa deste documento é dedicada à discussão sobre a implementação do RTWS e à exposição de situações problemáticas, muitas delas não consideradas em teoria, como é o caso do desfasamento entre vários mecanismo de sincronização. Os resultados experimentais mostram que o RTWS, em comparação com outro trabalho prático de escalonamento dinâmico de tarefas com restrições temporais, reduz significativamente o overhead de escalonamento através de um controlo de migrações, e mudanças de contexto, eficiente e escalável (pelo menos até 8 CPUs), ao mesmo tempo que alcança um bom balanceamento dinâmico da carga do sistema, até mesmo de uma forma não custosa. Contudo, durante a avaliação realizada foi detetada uma falha na implementação do RTWS, pela forma como facilmente desiste de roubar trabalho, o que origina períodos de inatividade, no CPU em questão, quando a utilização geral do sistema é baixa. Embora o trabalho realizado se tenha focado em manter o custo de escalonamento baixo e em alcançar boa localidade dos dados, a escalonabilidade do sistema nunca foi negligenciada. Na verdade, o algoritmo de escalonamento proposto provou ser bastante robusto, não falhando qualquer meta temporal nas experiências realizadas. Portanto, podemos afirmar que alguma inversão de prioridades, causada pela sub-política de roubo BAS, não compromete os objetivos de escalonabilidade, e até ajuda a reduzir a contenção nas estruturas de dados. Mesmo assim, o RTWS também suporta uma sub-política de roubo determinística: PAS. A avaliação experimental, porém, não ajudou a ter uma noção clara do impacto de uma e de outra. No entanto, de uma maneira geral, podemos concluir que o RTWS é uma solução promissora para um escalonamento eficiente de tarefas paralelas com restrições temporais.

Modelling and segmentation of the vocal tract during speech production by using deformable models in magnetic resonance images

The first and second authors would like to thank the support of the PhD grants with references SFRH/BD/28817/2006 and SFRH/PROTEC/49517/2009, respectively, from Fundação para a Ciência e Tecnol ogia (FCT). This work was partially done in the scope of the project “Methodologies to Analyze Organs from Complex Medical Images – Applications to Fema le Pelvic Cavity”, wi th reference PTDC/EEA- CRO/103320/2008, financially supported by FCT.

Anomaly-free U(1) gauge symmetries in neutrino seesaw flavor models

Agência Financiadora: Fundação para a Ciência e a Tecnologia (FCT) - PEst-OE/FIS/UI0777/2013; CERN/FP/123580/2011; PTDC/FIS-NUC/0548/2012

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

New insights on integer-programming models for the kidney exchange problem

In recent years several countries have set up policies that allow exchange of kidneys between two or more incompatible patient–donor pairs. These policies lead to what is commonly known as kidney exchange programs. The underlying optimization problems can be formulated as integer programming models. Previously proposed models for kidney exchange programs have exponential numbers of constraints or variables, which makes them fairly difficult to solve when the problem size is large. In this work we propose two compact formulations for the problem, explain how these formulations can be adapted to address some problem variants, and provide results on the dominance of some models over others. Finally we present a systematic comparison between our models and two previously proposed ones via thorough computational analysis. Results show that compact formulations have advantages over non-compact ones when the problem size is large.

Simulation of the magnetic induction vector of a magnetic core to be used in FFC NMR relaxometry

This paper is a contribution for the assessment and comparison of magnet properties based on magnetic field characteristics particularly concerning the magnetic induction uniformity in the air gaps. For this aim, a solver was developed and implemented to determine the magnetic field of a magnetic core to be used in Fast Field Cycling (FFC) Nuclear Magnetic Resonance (NMR) relaxometry. The electromagnetic field computation is based on a 2D finite-element method (FEM) using both the scalar and the vector potential formulation. Results for the magnetic field lines and the magnetic induction vector in the air gap are presented. The target magnetic induction is 0.2 T, which is a typical requirement of the FFC NMR technique, which can be achieved with a magnetic core based on permanent magnets or coils. In addition, this application requires high magnetic induction uniformity. To achieve this goal, a solution including superconducting pieces is analyzed. Results are compared with a different FEM program.