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

Práticas de gestão de recursos humanos em grandes empresas da Cidade da Praia – Cabo Verde

Este estudo tem como objetivo principal caraterizar as práticas de GRH existentes nas grandes empresas da Cidade da Praia. Neste sentido, foi realizada uma abordagem teórica à evolução da GRH e identificadas as práticas de GRH, capazes de reconhecer nas pessoas um recurso determinante no sucesso organizacional. O presente estudo caracteriza as práticas de GRH desenvolvidas pelas empresas da nossa amostra; o grau de intervenção do departamento de recursos humanos no desenvolvimento dessas práticas. Simultaneamente, é apresentada a caracterização das empresas e do departamento de RH. A uma amostra de 40 empresas foi aplicado um inquérito por questionário que permitiu concluir que (1) as práticas mais desenvolvidas são a contratação e as práticas de remuneração direta ou económica; (2) na maioria das práticas de GRH desenvolvidas, o DRH tem um elevado grau de intervenção no desenvolvimento e implementação das práticas de GRH; (3) os responsáveis de RH não possuem formação específica na área de GRH.

Jungle yellow fever: clinical and laboratorial sudies emphasizing viremia on a human case

The authors report the clinical, laboratorial and epidemiological aspects of a human case of jungle yellow fever. The patient suffered from fever, chills, sweating, headaches, backaches, myalgia, epigastric pains, nausea, vomiting, diarrhea and prostration. He was unvaccinated and had been working in areas where cases of jungle yellow fever had been confirmed. Investigations concerning the yellow fever virus were performed. Blood samples were collected on several days in the course of the illness. Three of these samples (those obtained on days 5,7 and 10) were inoculated into suckling mice in attempt to isolate virus and to titrate the viremia level. Serological surveys were carried out by using the IgM Antibodies Capture Enzyme Linked Immunosorbent Assay (MAC-ELISA), Complement Fixation (CF), Hemagglulinalion Inhibition (HI) and Neutralization (N) tests. The yellow fever virus, recovered from the two first samples and the virus titration, showed high level of viremia. After that, specific antibodies appeared in all samples. The interval between the end of the viremia and the appearance of the antibodies was associated with the worsening of clinical symptoms, including bleeding of the mucous membrane. One must be aware of the risk of having a urban epidemics in areas where Aedes aegypti is found in high infestation indexes.

Estudo e Implementação de Ferramentas Lean

Neste documento, apresenta-se o reflexo sobre o trabalho de estágio desenvolvido entre 17 de Fevereiro e 31 de Julho de 2014, nas instalações da Fábrica das Estruturas Metálicas da Faurecia, em São João da Madeira, num Projecto Final no âmbito de Implementação de Ferramentas Lean. O objetivo proposto foi a participação na procura e implementação de soluções, com vista à melhoria contínua do sistema de produção. Foi utilizado, para esse efeito, um vasto conjunto de ferramentas entre as quais os 5S, QRCI, Standardized Work, entre outras e amplamente empregues na indústria automóvel (e nesta empresa em particular), através do Sistema de Excelência Faurecia (FES), aplicado ao ramo de negócio onde está solidamente implantada esta multinacional de origem francesa. O período de tempo em que decorreu o estágio constituiu uma oportunidade única para o estagiário contactar com os problemas existentes no departamento de produção, num mercado tão concorrencial e competitivo como é o da indústria de componentes para automóveis. O presente trabalho de estágio apresenta duas vertentes distintas: uma de caráter interno à empresa e outra relativa aos fornecedores e clientes. Em termos internos, foi visível a batalha pela diminuição das variabilidades que surgem no plano da produção ao absorver grande parte do esforço dos agentes que trabalham na otimização dos processos. Externamente, observou-se a dificuldade em encontrar fornecedores adequados a satisfazer os aprovisionamentos da Faurecia, em quantidade e qualidade, e um elevado grau de exigência imposto por parte dos vários clientes. Por fim, este Projeto possibilitou a aplicação de conhecimentos adquiridos não só ao longo do curso como também durante a realização do estágio, o conhecimento da realidade industrial e o enriquecimento técnico e pessoal.

Modelo de seleção de fornecedores baseado em dados reais – plataforma informática e dados de suporte ao modelo

Atualmente, as estratégias que as empresas optam por seguir para a maximização de recursos materiais e humanos, podem representar a diferença entre o sucesso e o fracasso. A seleção de fornecedores é um fator bastante crítico para o desempenho da empresa compradora, sendo por vezes necessária a resolução de problemas que apresentam um elevado grau de complexidade. A escolha dos métodos a ser utilizados e a eleição dos critérios mais relevantes foi feito com base no estudo de diversos autores e nas repostas obtidas a um inquérito online difundido por uma amostra de empresas portuguesas, criado especificamente para compreender quais os fatores que mais peso tinham nas decisões de escolha de parceiros. Além disso, os resultados adquiridos desta forma foram utilizados para conceder mais precisão às ponderações efetuadas na ferramenta de seleção, na escolha dos melhores fornecedores introduzidos pelos utilizadores da mesma. Muitos estudos literários propõem o uso de métodos para simplificar a tarefa de seleção de fornecedores. Esta dissertação aplica o estudo realizado nos métodos de seleção, nomeadamente o Simple Multi-Attribute Rating Technique (SMART) e Analytic Hierarchy Process (AHP), necessários para o desenvolvimento de uma ferramenta de software online que permitia, a qualquer empresa nacional, obter uma classificação para os seus fornecedores perante um conjunto de critérios e subcritérios.

Exigências funcionais em pavimentos de madeira

Durante séculos a madeira foi dos materiais mais privilegiados e usados na construção. Ainda hoje, existem construções antigas em madeira em bom estado de conservação e que, desempenham as suas funções adequadamente. Com o aparecimento do betão e do aço, os projetistas deixaram de usar este tipo de estruturas. Isto provocou um desinteresse na indústria da madeira, adiando a criação de regulamentos e normas relativamente às exigências funcionais deste tipo de estruturas. Com a necessidade da reabilitação do património edificado, verifica-se uma inversão desta tendência, devido às edificações no centro histórico serem constituídas por estruturas de madeira, essencialmente os pavimentos e coberturas. Na maioria das vezes estas estruturas apresentam um elevado nível de degradação e a solução mais rentável é demolir. Os pavimentos de madeira são então substituídos por lajes aligeiradas ou de betão armado provocando alterações estruturais inadequadas nas fachadas a manter. Pretende-se com esta dissertação mostrar as potencialidades dos pavimentos de madeira e assim incentivar ao seu uso, principalmente nas áreas a reabilitar. São analisados todos os regulamentos e normas aplicáveis às exigências estruturais, térmicas, acústicas e contra incêndio dos pavimentos de madeira. A análise da normalização aplicável vai ser sintetizada, ou seja, só vão ser referidos os aspetos a ter em conta para a verificação das exigências funcionais em pavimentos de madeira. A aplicação dos conceitos e das verificações necessárias são aplicadas a um pavimento de madeira a ser construído na parcela C4 do Quarteirão das Cardosas. Os resultados obtidos neste caso de estudo são encorajadores, e abrem uma perspetiva das potencialidades que este sistema construtivo apresenta.

A calculus for modeling and analyzing conversations in service-oriented computing

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Projecto e concepção de um dispositivo experimental para medição e caracterização dos esforços aplicados no finca-pés de um caiaque de pista: Investigação, desenho e desenvolvimento

Após o enquadramento da canoagem, como modalidade Olímpica, verificou-se um aumento significativo de estudos e pesquisas acerca da biomecânica da modalidade, o que contribuiu para uma diminuição dos tempos na competição. Contudo poucos foram os que se focaram nas forças desenvolvidas e aplicadas ao caiaque através do finca-pés, criado assim oportunidade de desenvolvimento de dispositivos para a medição das mesmas. Assim, o objectivo primordial é desenvolver um sistema experimental capaz de quantificar as forças geradas em cada um dos lados do finca-pés (esquerdo e direito). Este, deverá não só ser passível de se utilizar em caiaque ergómetro como também num caiaque de pista, permitido avaliar as forças aplicadas durante o ciclo de pagaiada, tanto em compressão como em tracção. A sua concepção baseou-se num modelo de finca-pés já existente, tornando-o compatível com os caiaques de competição mais comercializados, e permitindo que no futuro se possa utilizar na água, bastando para isso apenas possuir um caiaque e embarcar o sistema de medição. Este sistema experimental foi testado em caiaque ergómetro por 7 (sete) sujeitos com níveis distintos: seis homens (um atleta olímpico medalhado e cinco de nível nacional) e uma mulher (de nível de selecção Portuguesa) que, entre outros, realizaram um plano definido por 60s a uma frequência de 75 pagaiadas por minuto, seguido de uma intensa mudança de ritmo e força (Sprint). Após análise dos dados obtidos em cada um dos diferentes sujeitos, conseguimos identificar algumas das suas características, tais como: esforço assimétrico dos membros inferiores; utilização de forma heterogénea da fita do finca-pés; diferença de forças máximas aplicadas entre atletas (Ex.: para um atleta olímpico as forças medidas (Min; Max): Pé Esquerdo (- 444; 1087) N e Pé Direito (- 476; 1068) N); etc. Os resultados não só são bastante promissores como também são motivantes e congruentes com estudos anteriores, nomeadamente Begon et al. 2008 e Sturm 2010 e 2012. Finalmente, consegue-se afirmar, com segurança, que foram alcançados os objectivos propostos com a concepção deste dispositivo de medição de forças. Este permite caracterizar os esforços desenvolvidos no finca-pés por cada membro inferior, com ou sem a fita de suporte, possibilitando aos treinadores e atletas uma visão, para muitos desconhecida, das forças transmitidas e das suas assimetrias. No final, este conhecimento permitirá aos atletas melhorar o seu desempenho desportivo bem como facilitar a gestão desportiva, com base nos principais princípios mecânicos inerentes ao movimento dos atletas desde desporto Olímpico.

Hybrid systems biology: application to Escherichia coli

Dissertation presented to obtain a Master degree in Biotechnology

Previsão de avarias em transformadores de potência através da análise de ensaios físico-químicos

Os Transformadores de potência são máquinas de elevada importância ao nível dos Sistemas Elétricos de Energia (SEE) uma vez que são estas máquinas que possibilitam a interligação dos diferentes níveis de tensão da rede e a transmissão de energia elétrica em Corrente Alternada (CA). Geralmente, estas máquinas são de grandes dimensões e de elevado nível de complexidade construtiva. Caracterizam-se por possuírem períodos de vida útil bastante elevados (vinte a trinta anos) e preços elevados, o que conduz a um nível de exigência de fiabilidade muito elevada, uma vez que não e viável a existência de muitos equipamentos de reserva nos SEE. Com o objetivo de tentar maximizar o período de vida útil dos transformadores de potência e a sua fiabilidade, tenta-se, cada vez mais, implementar conceitos de manutenção preventiva a este tipo de máquinas. No entanto, a gestão da sua vida útil e extremamente complexa na medida em que, estas máquinas têm vários componentes cruciais e suscetiveis de originar falhas e, quase todos eles, encontram-se no interior de uma cuba. Desta forma, não e possível obter uma imagem do seu estado, em tempo real, sem colocar o transformador fora de serviço, algo que acarreta custos elevados. Por este motivo, desenvolveu-se uma técnica que permite obter uma indicação do estado do transformador, em tempo real, sem o retirar de serviço, colhendo amostras do óleo isolante e procedendo a sua análise físico-química e Analise Gases Dissolvidos (DGA). As análises aos óleos isolantes tem vindo a adquirir uma preponderância muito elevada no diagnóstico de falhas e na analise do estado de conservação destes equipamentos tendo-se desenvolvido regras para interpretação dos parâmetros dos óleos com carácter normativo. Considerando o conhecimento relativo a interpretação dos ensaios físico-químicos e DGA ao oleol, e possível desenvolver ferramentas capazes de otimizar essas mesmas interpretações e aplicar esse conhecimento no sentido de prever a sua evolução, assim como o surgimento de possíveis falhas em transformadores, para assim otimizar os processos de manutenção. Neste campo as Redes Neuronais Artificiais (RNAs) têm um papel fundamental

An approach for automated service selection and ranking using services choreography

In today’s highly competitive market, it is critical to provide customers services with a high level of configuration to answer their business needs. Knowing in advance the performance associated with a specific choreography of services (e.g., by taking into account the expected results of each component service) represents an important asset that allows businesses to provide a global service tailored to customers’ specific requests. This research work aims at advancing the state-of-the-art in this area by proposing an approach for service selection and ranking using services choreography, predicting the behavior of the services considering customers’ requirements and preferences, business process constraints and characteristics of the execution environment.

Verificação prática de anomalias em programas de memória transaccional

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

Planeamento estratégico para abertura e implementação de um ginásio desportivo

Projeto apresentado ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do Grau de Mestre em Gestão das Organizações, Ramo de Gestão de Empresas. Orientada pelo Professor Doutor Eduardo Manuel Lopes de Sá e Silva Coorientada pelo Mestre Adalmiro Álvaro Malheiro de Castro Andrade Pereira

Incremental Recomputation of Pig Latin’s Nest and Unnest Operators

This master’s thesis addresses the maintenance of pre-computed structures, which store a frequent or expensive query, for the nested bag data type in the high level work-flow language Pig Latin. This thesis defines a model suitable to accommodate incremental expressions over nested bags on Pig Latin. Afterwards, the partitioned normal form for sets is extended with further restrictions, in order to accommodate the nested bag model, allow the Pig Latin nest and unnest operators revert each other, and create a suitable environment to the incremental computations. Subsequently, the extended operators – extended union and extended difference – are defined for the nested bag data model with the partitioned normal form for bags (PNF Bag) restriction, and semantics for the extended operators are given. Finally, incremental data propagation expressions are proposed for the nest and unnest operators on the data model proposed with the PNF Bag restriction, and the proof of correctness is given.

Domestic Rhodnius ecuadoriensis (Hemiptera, Reduviidae) infestation in Northern Peru: a comparative trial of detection methods during a six-month follow-up

Two passive methods in the assessment of intradomiciliary infestation by Rhodnius ecuadoriensis were tested: (i) the Gomes Nuñez sensor box (GN), (ii) sheets of white typing paper and (iii) one active timed manual method. The study was carried out in the Alto Chicama River Valley, Province of Gran Chimú, Department of La Libertad. The study design consisted of an initial searching of triatomines inside of the domestic environment by the manual capture active procedure (man/hour) covering all the studied houses. Then, matched pairs of GN boxes and paper sheets were simultaneously installed in the bedrooms of 207 households distributed in 19 localities. A comparative prospective trial of these passive detection devices were monitored at 2, 4 and, finally 6 months follow-up. Parasitological Trypanosoma rangeli and/or T. cruzi infections were investigated in two houses with high level of infestation by R. ecuadoriensis. 16.9% of the 207 households investigated by an initial active manual method were infested with R. ecuadoriensis. The proportion of infested houses fluctuated from 6.2 to 55.5% amongst the 19 localities investigated. T. rangeli natural infection was detected in R. ecuadoriensis specimens collected in two households. Parasite rates in the bugs ranged from 16.6 to 21.7% respectively. The most striking fact was an average rate of salivary gland infection ranging from 7.4 to 8.3%. At the end of the sixth month period, a cumulative incidence of 31.4% of positive GN boxes against 15.9% for paper sheets was recorded. All three methods combined detected domestic infestation in 129 (62.3%) of the 207 houses studied in the 19 localities. The range of houses infested varies from 6.7% to 92.9%. In areas with low bug density infestation rates, the methodology experienced in our studies, seems to be the best choice for investigations on domestic R. ecuadoriensis populations.