Static detection of anomalies in transactional memory programs

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Força Muscular Isocinética após Reconstrução do Ligamento Cruzado Anterior – Influência do Tipo de Enxerto (Osso-Tendão-Osso/Isquio-Tibiais)

Introdução: É reconhecida a importância do ligamento cruzado anterior (LCA) no funcionamento normal do joelho. Em caso de rotura ligamentar, nomeadamente em desportos com marcada solicitação dos movimentos de rotação do joelho, é justificada a necessidade de reconstrução do LCA na maioria dos casos. Objetivo (s): Avaliar a influência do tipo de enxerto na reconstrução do ligamento cruzado anterior na força muscular isocinética, assim como na funcionalidade e sintomas após 6 meses. Métodos: Estudo transversal analítico, constituído por 20 indivíduos voluntários do sexo masculino, que haviam sido submetidos a uma ligamentoplastia do cruzado anterior, pelo mesmo cirurgião, seguido de uma intervenção individualizada por um fisioterapeuta. Em 10 indivíduos, o procedimento cirúrgico foi realizado com enxerto do tendão rotuliano (grupo OTO), e nos restantes 10 com enxerto do semitendinoso e gracilis (grupo STG). Como forma de avaliar a Força Muscular Isocinética (Peak Torque, Trabalho Total Muscular, ratio Isquiotibiais/Quadricipite), foi utilizado o Dinamómetro Isocinético Biodex. A avaliação foi efectuada apenas aos 6 meses após o procedimento cirúrgico. Para observação da funcionalidade, amplitude de movimento e sintomas, utilizou-se o questionário International Knee Documentation Committee (IKDC). Resultados: Foi possível observar que entre os grupos apenas se observaram diferenças significativas no peak torque de extensão a 180º no membro não lesado (p=0,019). Contudo, foi observada uma tendência para o grupo OTO apresentar um maior défice no peak torque e trabalho total muscular em extensão. Comparativamente ao membro contra-lateral, o membro lesado apresentou valores significativamente inferiores na maioria das variáveis ( p < 0,05). Conclusão: Após 6 meses de pós-cirúrgico com reabilitação de fisioterapia, não foi possível apontar qual o enxerto que garante uma melhor recuperação da força muscular. Aos 6 meses, ambos os grupos ainda apresentaram limitações musculares, quando comparados com o lado contra-lateral. Relativamente ao rácio isquiotibiais/quadricípite, assim como no IKDC, não se observaram diferenças entre os dois tipos de enxertos.

Projeto de uma ponte atirantada rodoferroviária sobre o rio Lima, Viana do Castelo

Trabalho académico com o objetivo do autor desenvolver um estudo prévio e um projeto de uma travessia sobre o rio Lima, na cidade de Viana do Castelo constituída por uma ponte de tirantes rodoferroviária. O projeto académico visa, também, desenvolver e compreender: os conceitos básicos, as metodologias de conceção, e o funcionamento de estruturas desse género. O motivo principal da escolha do tema é a necessidade de uma alternativa à ponte Eiffel em Viana do Castelo, e juntando o facto de em Portugal não existir nenhuma obra de arte de tirantes rodoferroviária até ao presente, seria interessante estudar e projetar uma estrutura rodoferroviária de tirantes. Das diversas possibilidades de sistemas estruturais estudados, adotou-se uma ponte que acomodará 4 vias rodoviárias e 2 vias ferroviárias, com um desenvolvimento total de 660 metros, constituída por dois vãos laterais com 165 metros cada um, e com um vão central de 330 metros. A obra de arte será em semi-leque com dois planos de tirantes, ancorados a duas torres de betão em Y invertido de altura aproximadamente de 110 metros. O tabuleiro será duplo misto aço-betão, constituído por duas vigas trianguladas do tipo Warren, e por carlingas, afastadas entre si de 15 metros com secções tubulares metálicas de espessura variável. As carlingas ao nível superior suportam a laje de betão, que constitui a rodovia, e inferiormente, suportam outra laje de betão para a parte ferroviária. O trabalho inicia-se com o enquadramento conceptual geral da envolvente da obra de arte, seguidamente com apresentação da evolução histórica ao longo do tempo das pontes de tirantes, e à apresentação de algumas pontes rodoferroviárias de tirantes. É realizada uma análise preliminar, onde se estudam as restrições, as condicionantes, o local de implantação, e o sistema da configuração geométrica a adotar na conceção estrutural. São descritos todos os tipos de materiais, equipamentos a utilizar, bem como as suas características mecânicas necessárias para o cálculo estrutural. A quantificação das ações e das combinações de cálculo efetuaram-se de acordo com as normas em vigor nacionais e europeias, designadamente os Eurocódigos das várias especialidades e o Regulamento de Segurança e Ações para Estruturas de Edifícios e Pontes. Efetuou-se um pré-dimensionamento e uma otimização de vários sistemas estruturais possíveis de todos os elementos estruturais, tendo em conta variáveis de estudo como a economia e a resistência estrutural das secções, por forma a chegar à solução final. A estrutura foi discretizada e analisada num modelo estático tridimensional num programa de cálculo automático. A análise de resultados foi efetuada longitudinalmente para a verificação dos Estados Limites Últimos e Estados Limites de Utilização dos elementos estruturais que constituem a ponte. Foi ainda efetuada uma estimativa orçamental da ponte no rio Lima na cidade de Viana do Castelo.

A Veterinária, os Medicamentos e a Formação dos Profissionais de Farmácia

É cada vez mais proeminente abordarmos a temática da medicina veterinária devido à necessidade de formação dos profissionais e dos cuidados requeridos nas vertentes homem/animal/ambiente. Com o principal objetivo de conhecer se a base de formação dos profissionais de farmácia é suficiente e tem resultados na satisfação das necessidades de todos os utentes com animais, foi levantado um estudo de artigos já publicados sobre o tema e posteriormente um questionário online para possível comparação dos resultados com a realidade. Abordam-se temas como: intoxicações em animais, regulamentação sobre este tipo de medicamentos, aconselhamento e consumo de medicamentos veterinários, saúde pública, algumas terapias complementares e finalmente a formação dos profissionais de farmácia. Os resultados obtidos a nível da formação destes profissionais não foram os mais satisfatórios, embora este resultado no futuro possa ser melhorado visto que há interesse por parte dos inquiridos em obter formação sobre a área. Aplicou-se um estudo observacional, do tipo transversal e analítico. A população alvo são os profissionais de farmácia portugueses. Para a recolha destas informações foi utilizado um questionário online, anónimo, confidencial e voluntário a 400profissionais. A amostra é constituída maioritariamente por indivíduos do género feminino (75%), sendo a faixa etária mais frequente dos 23 aos 25 anos (41%). Verificou-se que mais de 70% dos profissionais trabalham num local onde se vendem medicamentos veterinários e embora apenas 21% tenha tido uma formação na área. É de notar que 69% sentiu dificuldades no preenchimento do questionário e 94% considera importante obter uma formação extra nesta área, principalmente em temáticas como medicação, prevenção de doenças e alimentação.

Deteção de avarias na caixa de engrenagens de aerogeradores

Ao longo dos últimos anos tem-se assistido a um forte desenvolvimento e crescimento do número de parques eólicos instalados no mundo, o que leva a que seja necessário o incremento de ferramentas que permitam aperfeiçoar os sistemas de monitorização e controlo atualmente existentes. Por outro lado, não se deve deixar de ter em conta os custos elevados de operação e manutenção dos sistemas eólicos bem como o facto de os aerogeradores estarem localizadas em locais remotos ou offshore, o que faz aumentar os custos associados à sua exploração. A dissertação nasce da intenção clara do mercado em apostar na supervisão e previsão de avarias graves, de forma a minimizar os encargos subjacentes. Este trabalho de dissertação visa a utilização de redes neuronais para criar uma ferramenta informática de previsão de avarias em caixas de engrenagens em aerogeradores. As redes neuronais são ferramentas informáticas ideais para trabalhar com muita informação, sendo que a sua aplicação depende da qualidade e quantidade dos dados. Para tal irá ser efetuado um estudo em um parque eólico, no qual se analisará as principais avarias detetadas bem como as grandezas que deverão integrar a construção desta rede neuronal. Assim sendo, a informação relativa às diversas máquinas existentes num parque, é de enorme importância para a definição e otimização da rede neuronal a construir. Os resultados obtidos neste trabalho com a aplicação de redes neuronais para a previsão de avarias em caixas de engrenagens do parque eólico de estudo, provam que é possível realizar uma deteção da avaria bem como uma constatação de que a reparação possa ter sido bem efetuada ou mal sucedida, podendo assim ser ajustados os programas de manutenção a efetuar e uma verificação das ações de reparação para sua validação.

Influência do tipo de adesivo em juntas híbridas soldadas-adesivas

A necessidade de utilizar métodos de ligação entre componentes de forma mais rápida, eficaz e com melhores resultados, tem causado a crescente utilização das juntas adesivas, em detrimento dos métodos tradicionais de ligação tais como a soldadura, brasagem, ligações aparafusadas e rebitadas. A utilização das juntas adesivas tem vindo a aumentar em diversas aplicações industriais por estas apresentarem vantagens das quais se destacam a redução de peso, redução de concentrações de tensões e facilidade de fabrico. No entanto, também apresentam desvantagens, como a necessidade de preparação das juntas e o descentramento da carga aplicada que provoca efeitos de flexão, os quais dão origem a tensões normais na direcção da espessura do adesivo (tensões de arrancamento), afectando assim a resistência da junta. A combinação da ligação adesiva com a soldadura por pontos permite algumas vantagens em comparação com as juntas adesivas tradicionais como a maior resistência, aumento da rigidez, melhor resistência ao corte e arrancamento e também à fadiga. Neste trabalho é apresentado um estudo experimental e numérico de juntas de sobreposição simples adesivas e híbridas (adesivas-soldadas). Os adesivos utilizados são o Araldite AV138®, apresentado como sendo frágil, e os adesivos Araldite 2015® e Sikaforce® 7752, intitulados como adesivos dúcteis. Foram considerados substratos de aço (C45E) em juntas com diferentes comprimentos de sobreposição ( ), que foram sujeitas a esforços de tracção. Foi realizada uma análise dos valores experimentais e efectuada uma comparação destes valores com os resultados obtidos por Elementos Finitos (EF) no software ABAQUS®, que incluiu uma análise de tensões na camada de adesivo e previsão do comportamento das juntas por Modelos de Dano Coesivo (MDC). A análise por MDC permitiu obter os modos de rotura, as curvas força-deslocamento e a resistência das juntas com bastante precisão, com excepção das juntas coladas com o adesivo Sikaforce® 7752. Estes resultados permitiram validar a técnica de modelação proposta para as juntas coladas e híbridas, o que representa uma base para posterior aplicação desta técnica em projecto, com as vantagens decorrentes da redução do tempo de projecto e maior facilidade de optimização.

Desenvolvimento de apoio à decisão operacional – previsão de curto prazo de geração distribuída de tecnologia eólica ligada à RND

No contexto da penetração de energias renováveis no sistema elétrico, Portugal ocupa uma posição de destaque a nível mundial, muito devido à produção de eólica. Com um sistema elétrico com forte presença de fontes de energia renováveis, novos desafios surgem, nomeadamente no caso da energia eólica pela sua imprevisibilidade e volatilidade. O recurso eólico embora seja ilimitado não é armazenável, surgindo assim a necessidade da procura de modelos de previsão de produção de energia elétrica dos parques eólicos de modo a permitir uma boa gestão do sistema. Nesta dissertação apresentam-se as contribuições resultantes de um trabalho de pesquisa e investigação sobre modelos de previsão da potência elétrica com base em valores de previsões meteorológicas, nomeadamente, valores previstos da intensidade e direção do vento. Consideraram-se dois tipos de modelos: paramétricos e não paramétricos. Os primeiros são funções polinomiais de vários graus e a função sigmoide, os segundos são redes neuronais artificiais. Para a estimação dos modelos e respetiva validação, são usados dados recolhidos ao longo de dois anos e três meses no parque eólico do Pico Alto de potência instalada de 6 MW. De forma a otimizar os resultados da previsão, consideram-se diferentes classes de perfis de produção, definidas com base em quatro e oito direções do vento, e ajustam-se os modelos propostos em cada uma das classes. São apresentados e discutidos resultados de uma análise comparativa do desempenho dos diferentes modelos propostos para a previsão da potência.

Short-term Wind Forecasting to Support Virtual Power Player Operation

This paper proposes a wind speed forecasting model that contributes to the development and implementation of adequate methodologies for Energy Resource Man-agement in a distribution power network, with intensive use of wind based power generation. The proposed fore-casting methodology aims to support the operation in the scope of the intraday resources scheduling model, name-ly with a time horizon of 10 minutes. A case study using a real database from the meteoro-logical station installed in the GECAD renewable energy lab was used. A new wind speed forecasting model has been implemented and it estimated accuracy was evalu-ated and compared with a previous developed forecast-ing model. Using as input attributes the information of the wind speed concerning the previous 3 hours enables to obtain results with high accuracy for the wind short-term forecasting.

MASCEM Restructuring: Ontologies For Scenarios Generation in Power Systems Simulators

The electricity market restructuring, along with the increasing necessity for an adequate integration of renewable energy sources, is resulting in an rising complexity in power systems operation. Various power system simulators have been introduced in recent years with the purpose of helping operators, regulators, and involved players to understand and deal with this complex environment. This paper focuses on the development of an upper ontology which integrates the essential concepts necessary to interpret all the available information. The restructuring of MASCEM (Multi-Agent System for Competitive Electricity Markets), and this system’s integration with MASGriP (Multi-Agent Smart Grid Platform), and ALBidS (Adaptive Learning Strategic Bidding System) provide the means for the exemplification of the usefulness of this ontology. A practical example is presented, showing how common simulation scenarios for different simulators, directed to very distinct environments, can be created departing from the proposed ontology.

Simulador em Realidade Virtual para Aprendizagem da Física

A forma como aprendemos depende do contexto tecnológico e sociocultural que nos rodeia, actualmente a inclusão de tecnologia recente na sala de aula não é mais considerada opcional, mas sim uma necessidade pois a forma como o aluno aprende está em constante evolução. Tendo em atenção esta necessidade, foi desenvolvido no decorrer desta tese um simulador em realidade virtual que utiliza comandos/interfaces hápticos. O objectivo deste simulador é ensinar conceitos de física de forma interactiva. Os dispositivos hápticos permitem adicionar o sentido táctil ou de toque à interacção entre homem e máquina, permitindo assim aceder a novas sensações relativas ao seu uso nomeadamente com objectivos de aprendizagem. O simulador desenvolvido designado por “Forces of Physics” aborda três tipos de forças da física: forças de atrito, forças gravitacionais e forças aerodinâmicas. Cada tipo de força corresponde a um módulo do simulador contendo uma simulação individual em que são explicados conceitos específicos dessa força num ambiente visual estimulante e com uma interacção mais realista devido à inclusão do dispositivo háptico Novint Falcon. O simulador foi apresentado a vários utilizadores bem como á comunidade científica através de apresentações em conferências. A avaliação foi realizada com recurso a um questionário com dez perguntas, cinco de sobre aprendizagem e cinco sobre a utilização, tendo sido preenchido por 14 utilizadores. O simulador obteve uma boa recepção por parte dos utilizadores, tendo vários utilizadores expressado as suas opiniões sobre estado actual do simulador, do futuro do mesmo e da respectiva validade para uso na sala de aula.

New Strategies on Molecular Biology Applied to Microbial Systematics

Systematics is the study of diversity of the organisms and their relationships comprising classification, nomenclature and identification. The term classification or taxonomy means the arrangement of the organisms in groups (rate) and the nomenclature is the attribution of correct international scientific names to organisms and identification is the inclusion of unknown strains in groups derived from classification. Therefore, classification for a stable nomenclature and a perfect identification are required previously. The beginning of the new bacterial systematics era can be remembered by the introduction and application of new taxonomic concepts and techniques, from the 50’s and 60’s. Important progress were achieved using numerical taxonomy and molecular taxonomy. Molecular taxonomy, brought into effect after the emergence of the Molecular Biology resources, provided knowledge that comprises systematics of bacteria, in which occurs great evolutionary interest, or where is observed the necessity of eliminating any environmental interference. When you study the composition and disposition of nucleotides in certain portions of the genetic material, you study searching their genome, much less susceptible to environmental alterations than proteins, codified based on it. In the molecular taxonomy, you can research both DNA and RNA, and the main techniques that have been used in the systematics comprise the build of restriction maps, DNA-DNA hybridization, DNA-RNA hybridization, sequencing of DNA sequencing of sub-units 16S and 23S of rRNA, RAPD, RFLP, PFGE etc. Techniques such as base sequencing, though they are extremely sensible and greatly precise, are relatively onerous and impracticable to the great majority of the bacterial taxonomy laboratories. Several specialized techniques have been applied to taxonomic studies of microorganisms. In the last years, these have included preliminary electrophoretic analysis of soluble proteins and isoenzymes, and subsequently determination of deoxyribonucleic acid base composition and assessment of base sequence homology by means of DNA-RNA hybrid experiments beside others. These various techniques, as expected, have generally indicated a lack of taxonomic information in microbial systematics. There are numberless techniques and methodologies that make bacteria identification and classification study possible, part of them described here, allowing establish different degrees of subspecific and interspecific similarity through phenetic-genetic polymorphism analysis. However, was pointed out the necessity of using more than one technique for better establish similarity degrees within microorganisms. Obtaining data resulting from application of a sole technique isolatedly may not provide significant information from Bacterial Systematics viewpoint

Implementação de um Sistema Integrado de Gestão da Qualidade e Segurança e Saúde do Trabalho

Dissertação de Mestrado em Gestão Integrada Qualidade, ambiente e Segurança

EXPERIENCE IN THE EVALUATION OF CHILDREN WITH HEPATOSPLENOMEGALY AT A TEACHING AMBULATORY, SÃO PAULO, BRAZIL

Objectives: Describe cases of children with hepatosplenomegaly (HS) attended at the General Pediatric Teaching Ambulatory (AGER) of Instituto da Criança, São Paulo, identifying the main causes, evolution, necessity for hospitalization and/or referral to specialists. Methodology: Retrospective analysis of the records of children presenting HS on admission at AGER from September 1, 1993 to August 31, 1996. Results: Of the 89 children included (age range, 1 to 148 months; median, 24 months), 64 (72%) were referred from other services for HS investigation. Most common presenting complaints were: fever - 39 (44%); pallor - 26 (29%); weight loss - 21 (24%) and jaundice - 14 (16%). Main alterations noticed on physical examination were: pallor - 47 (53%) and short stature - 17 (19%). Anemia was diagnosed in 70 children (79%); 35 children (39%) had infections; 7 (8%) metabolic disorders and 5 (6%) neoplastic disorders. The most frequent infections were of the urinary tract - 9 (10%) and hepatitis A - 6 (7%).Thirty six children (40%) were referred to specialists, 17 of which were already diagnosed. Conclusions: Most of the children with HS present deficiency anemia associated with infections which the general pediatrician is able to diagnose. Persistence of unexplained HS for more than 2 months, especially when there is substantial volume enlargement or alteration in the organs consistency, is an indication for referral to specialists.

Estruturas flexíveis multicamada para gestão de humidade

O conforto é uma necessidade para a maioria das pessoas. A busca de vestuário que se adapte às condições ambientais tornou-se essencial. Queremos materiais que nos mantenham quentes ou frescos, em condições de frio ou calor, e sejam capazes de nos manter secos se chover, ou se transpirarmos, devido a actividade intensa, ou simplesmente porque está quente. O objectivo principal deste trabalho era desenvolver uma estrutura multicamada respirável, para posterior aplicação num sapato perfurado, tornando-o respirável e impermeável. São já aplicados em peças de roupa e calçado, materiais que permitem essa gestão de calor e humidade – as membranas. Neste trabalho, foram apresentadas algumas membranas, de fabricantes e materiais diferentes, que foram testadas de modo a obter valores para a transmissão de vapor de água e classificá-las quanto à sua respirabilidade, relativamente a uma membrana de referência. Foram feitos testes com as membranas isoladas, laminadas e com sobreposição de duas membranas laminadas. Verificou-se que a laminagem não diminuía, substancialmente, a respirabilidade das membranas. Já a sobreposição de membranas, demonstrou diminuir em 35 % a respirabilidade das membranas. A membrana com melhor desempenho é constituída por um polímero de base éter e blocos de amida (PEBA). Ainda pouco aplicado em vestuário e calçado, mas com algum potencial, são os não-tecidos impregnados com polímeros super absorventes (SAP’s). Estes podem absorver até 500 vezes o seu peso em água, dependendo da quantidade de SAP’s com que o não tecido é impregnado e da aplicação final. Esta capacidade de adsorção seria uma mais-valia, em condições de chuva intensa, mas por outro lado, se atingir a saturação, não permite a entrada ou saída de ar, o que poderia levar a desconforto no utilizador. Por fim, foi utilizado um manequim térmico (pé), onde se testaram diferentes calçados, verificando-se que só é possível perder calor e vapor de água pela sola do sapato se esta se encontrar perfurada e utilizar um sistema respirável. Futuramente, pretende-se aplicar uma outra camada de não-tecido, na outra face das membranas já testadas, de modo a criar um sistema de 3 camadas, e testar a sua respirabilidade. Sugere-se, também, criar uma estrutura sólida e arejada para utilizar os não-tecidos impregnados em SAPs. Posteriormente, deve-se aplicar estas estruturas num sapato com a sola perfurada e testá-las no manequim térmico.

Tolerância a falhas em sistemas de tempo-real distribuídos e embebidos

Este documento descreve um modelo de tolerância a falhas para sistemas de tempo-real distribuídos. A sugestão deste modelo tem como propósito a apresentação de uma solu-ção fiável, flexível e adaptável às necessidades dos sistemas de tempo-real distribuídos. A tolerância a falhas é um aspeto extremamente importante na construção de sistemas de tempo-real e a sua aplicação traz inúmeros benefícios. Um design orientado para a to-lerância a falhas contribui para um melhor desempenho do sistema através do melhora-mento de aspetos chave como a segurança, a confiabilidade e a disponibilidade dos sis-temas. O trabalho desenvolvido centra-se na prevenção, deteção e tolerância a falhas de tipo ló-gicas (software) e físicas (hardware) e assenta numa arquitetura maioritariamente basea-da no tempo, conjugada com técnicas de redundância. O modelo preocupa-se com a efi-ciência e os custos de execução. Para isso utilizam-se também técnicas tradicionais de to-lerância a falhas, como a redundância e a migração, no sentido de não prejudicar o tempo de execução do serviço, ou seja, diminuindo o tempo de recuperação das réplicas, em ca-so de ocorrência de falhas. Neste trabalho são propostas heurísticas de baixa complexida-de para tempo-de-execução, a fim de se determinar para onde replicar os componentes que constituem o software de tempo-real e de negociá-los num mecanismo de coordena-ção por licitações. Este trabalho adapta e estende alguns algoritmos que fornecem solu-ções ainda que interrompidos. Estes algoritmos são referidos em trabalhos de investiga-ção relacionados, e são utilizados para formação de coligações entre nós coadjuvantes. O modelo proposto colmata as falhas através de técnicas de replicação ativa, tanto virtual como física, com blocos de execução concorrentes. Tenta-se melhorar ou manter a sua qualidade produzida, praticamente sem introduzir overhead de informação significativo no sistema. O modelo certifica-se que as máquinas escolhidas, para as quais os agentes migrarão, melhoram iterativamente os níveis de qualidade de serviço fornecida aos com-ponentes, em função das disponibilidades das respetivas máquinas. Caso a nova configu-ração de qualidade seja rentável para a qualidade geral do serviço, é feito um esforço no sentido de receber novos componentes em detrimento da qualidade dos já hospedados localmente. Os nós que cooperam na coligação maximizam o número de execuções para-lelas entre componentes paralelos que compõem o serviço, com o intuito de reduzir atra-sos de execução. O desenvolvimento desta tese conduziu ao modelo proposto e aos resultados apresenta-dos e foi genuinamente suportado por levantamentos bibliográficos de trabalhos de in-vestigação e desenvolvimento, literaturas e preliminares matemáticos. O trabalho tem também como base uma lista de referências bibliográficas.