▼ 

Tese de mestrado, Engenharia Informática (Engenharia de Software), Universidade de Lisboa, Faculdade de Ciências, 2014

Para desenvolver programas concorrentes, o modelo de programação prevalente é o uso de threads. Uma thread define uma linha de execução sequencial num programa, em que partilha o espaço de memória com todas as outras threads que estão a executar o programa ao mesmo tempo. Além de memória partilhada, as threads de um programa também interagem mediante primitivas de concorrência como locks ou barreiras. O uso de threads é suportado por alguma das linguagens de programação mais conhecidas e utilizadas, como por exemplo, o Java ou C. Em programas multithreaded, erros de programação são fáceis de cometer, com o uso de memória partilhada e primitivas de interacção. Por exemplo, a partilha de memória entre as threads pode levar a condições de corrida sobre os dados (data races), e inerente inconsistência de valores para os mesmos. Outro problema típico é a ocorrência de impasses (deadlocks) no uso de primitivas de concorrência, como locks, que não permitem que uma ou mais threads progridem na sua execução. Quando um bug se manifesta, um programador normalmente tenta determinar manualmente a sua origem, através de t´técnicas de debugging, e/ou executa o conjunto de testes associados ao programa, observando em quais testes são reportados erros. Frequentemente, estas duas abordagens falham para programas multithreaded. A razão para estas dificuldades é que numa execução¸ com múltiplas threads as mudanças de contexto acontecem de forma não-determinista, o que torna impossível observar e controlar de forma precisa o fluxo de execução¸ e escalonamento de threads associado. Ao mesmo tempo, os bugs tipicamente apenas se manifestam num sub-conjunto de todos os escalonamentos possíveis, e com frequência apenas em escalonamentos bastante específicos e difíceis de reproduzir. Um teste de software pode ser repetido imensas vezes, sem expor um bug. Se e quando este é detectado, pode ser extremamente difícil identificar e replicar o fluxo de execução¸ ocorrido. Até padrões de bugs relativamente simples são difíceis de detectar e replicar com precisão (por exemplo, ver [9]). Esta tese trata do problema geral de testar programas concorrentes escritos em Java [16], de modo a que bugs possam ser descobertos e replicados de forma determinista. A nossa abordagem passa pela execução¸ de testes de software com semântica cooperativa [23, 24]. A observação fundamental subjacente ao uso de semântica cooperativa é que as mudanças de contexto relevantes entre threads acontecem apenas nos pontos de potencial interferência entre estas, tais como o acesso a dados partilhados ou o uso das primitivas para concorrência, chamados yield points cooperativos. Uma execução¸ é considerada cooperativa se o código entre dois yield points consecutivos da mesma thread executa de forma sequencial como uma transação, sem qualquer interferência de outras threads. A semântica cooperativa pode ser explorada para testes de software deterministas, em que…

Advisors/Committee Members: Martins, Francisco Cipriano da Cunha, 1972-, Marques, Eduardo Resende Brandão.

▼ 

Tese de mestrado, Matemática para Professores, Universidade de Lisboa, Faculdade de Ciências, 2015

A Estatística é, hoje em dia, crucial para o desenvolvimento da sociedade em problemas tão diversos como o combate a doenças epidémicas variadas, a implementação de novos fármacos, o estudo de risco ambiental, o controlo de qualidade na indústria, estudos em ciências sociais, o desenvolvimento de modelos económicos apropriados, a disseminação da informação feita pela comunicação social. A intervenção da Estatística em cada uma destas áreas requer, hoje em dia, uma formação exigente, que permita aos profissionais terem um papel pró-ativo junto dos diversos agentes. Os testes estatísticos são fundamentalmente utilizados em pesquisas que têm por objectivo comparar condições experimentais. Os testes podem ser divididos em paramétricos e não paramétricos. Uma justificação para o uso de métodos não paramétricos é a simplicidade. Em certos casos, até mesmo quando o uso de métodos paramétricos é justificado, os métodos não paramétricos são mais fáceis de usar. Devido tanto à simplicidade quanto à maior robustez, os métodos não paramétricos são vistos por algumas pessoas da área da estatística como o método que deixa menos espaço para usos indevidos e mal-entendidos. A maior aplicabilidade e a maior robustez dos testes não paramétricos têm um custo: em alguns casos onde os testes paramétricos seriam apropriados, testes não paramétricos têm menos potência estatística. Por outras palavras, uma amostra maior pode ser necessária para retirar conclusões com o mesmo grau de confiança. Os testes não paramétricos não têm exigências quanto ao conhecimento da distribuição da variável na população. Estes testes são cada vez mais usados em análise estatística, sobretudo na área das Ciências Sociais, nas Ciências Admnistrativas (por exemplo em estudos de Marketing) e nas Ciências da Saúde, especialmente em Psiquiatria e Psicologia. A Estatística não paramétrica representa um conjunto de ferramentas de uso mais apropriado em pesquisas onde não se conhece bem a distribuição da população e os seus parâmetros. Este trabalho teve como objectivo principal o estudo de testes não paramétricos e a sua aplicação em diversas situações. Foram estudados alguns testes de hipóteses não paramétricos e, sempre que possível, foi dado um exemplo de aplicação desses mesmos testes. Foi feita uma aplicação pratica de um teste, neste caso do teste do Qui-Quadrado de independência para estudar a influência do grau de escolaridade dos pais no resultado académico dos alunos, tendo por base os dados recolhidos nas duas turmas leccionadas pela autora.

Today Statistics is crucial to the development of the society, in issues as diverse as the fight against several epidemic diseases, the implementation of new drugs, the study of environmental risk, industry quality control, studies in social sciences, the development of appropriate economical models and the dissemination of information made by the media. Today the intervention of Statistics in each of these areas…

Advisors/Committee Members: Diamantino, Maria Fernanda Nunes, 1961-.

▼ 

Tese de doutoramento, Estatística e Investigação Operacional (Probalilidades e Estatística), Universidade de Lisboa, Faculdade de Ciências, 2012

Diagnostic tests play an important role in health care and the statistical evaluation of their accuracy is imperative before they are used in practice. The receiver operating characteristic (ROC) curve is the most widely used measure to evaluate the discriminatory performance of a continuous diagnostic test. In some diagnostic situations, covariate information that affects the test's performance is also available and this additional information should be taken into account when evaluating the accuracy of the test. When there are more than two possible disease status, ROC curves give rise to ROC surfaces. The statistical analysis of diagnostic data has traditionally used parametric methods. Nonparametric and semiparametric approaches are advantegeous because they provide exible and robust inferences. In this thesis we developed nonparametric and semiparametric estimators as well as new methodologies for the evaluation of continuous diagnostic tests. In the first part of this thesis, we developed a exible and robust Bayesian nonparametric approach based on mixtures of finite Polya trees priors to estimate the ROC surface. We thus relaxed the strong distributional assumptions of the existing approaches. In the second part, we proposed a Bayesian nonparametric ROC regression estimator based on dependent Dirichlet processes, which allows for modeling directly the entire conditional distribution in the healthy and diseased populations. This model also easily accomodates multiple predictors, either categorical or continuous. In the third part of the thesis, we have developed ROC regression methodology for the case where the covariate is functional, rather than univariate or multivariate. To this end, semiparametric and nonparametric ROC regression estimators were proposed. A large number of simulations and example analysis illustrate the performance of the proposed estimators.

Os testes de diagnóstico são um instrumento fundamental em medicina e o seu desempenho deve ser avaliado antes de serem utilizados em larga escala na prática clinica. A qualidade ou bom desempenho de um teste de diagnóstico traduz-se na sua capacidade de classificar corretamente os indivíduos em dois grupos clinicamente relevantes (por norma, doentes e saudáveis/não doentes).É admitido que o verdadeiro grupo a que cada indivíduo pertence é conhecido, i.e., é admitido que existe um teste perfeito que classifica corretamente todos os indivíduos doentes como sendo doentes e todos os indivíduos saudáveis como sendo saudáveis. Este teste é vulgarmente designado por padrão áureo (do inglês, gold standard). A curva ROC (do inglês, Receiver Operating Characteristic).é uma ferramenta amplamente utilizada para avaliar o desempenho de testes de diagnóstico que são medidos numa escala ordinal ou contínua. Nesta tese apenas estamos interessados em testes que são medidos numa escala contínua. A área abaixo da curva…

Advisors/Committee Members: Turkman, Maria Antónia Amaral, 1949-.

▼ 

Exportado OPUS

Made available in DSpace on 2019-08-12T16:25:06Z (GMT). No. of bitstreams: 1 dissertbarbara.pdf: 2310267 bytes, checksum: 324393f98941dd613b4acb1d2ff6354a (MD5) Previous issue date: 20

A Teoria da Resposta ao Item é uma teoria psicométrica que visa construir escalas e estimar traços latentes baseada em respostas dadas a itens que são diretamente in uenciadas por estes traços. Uma suposição usual dos modelos da TRI é assumir que os traços latentes são variáveis aleatórias que seguem uma distribuição normal. Embora distribuições normais sejam frequentemente observadas e computacionalmente convenientes, é improvável que a distribuição do traço latente seja bem aproximada pela normal em todos os casos. O objetivo deste trabalho é, através de mistura de distribuições normais, propor um novo modelo da TRI que exibiliza a hipotese de normalidade dos traços latentes. Em particular, esta abordagem permite uma solução para modelar distribuições com caudas pesadas ou assimetria sem o uso de distribuições com caudas pesadas ou assimétricas (ex: Skew-Normal ou t-Student). Esta dissertação também apresenta uma parametrização particular do modelo Probito de 3 par^ametros, com o objetivo de melhorar o algoritmo MCMC usado para se fazer inferência no modelo proposto, utilizando uma abordagem Bayesiana. E por último é apresentado estudos de simulações e dados reais para avaliar a e ciêcia e a aplicabilidade do modelo proposto.

The Item Response Theory (IRT) is a psychometric theory which aims to construct scales and estimate latent traits based on answers given to items that are directly in uenced by these traits. A common assumption of IRT models is to assume that the latent traits are random variables that follow a normal distribution. Although normal distributions are often observed and computationally convenient, it is unlikely that the latent traits are always well aproximated by the normal distribution. The aim of this dissertation is to propose a new IRT model that relaxes the assumption of normality by using mixtures of normal distributions. In particular, this approach provides a solution to modeling heavy-tails or asymmetry without the use of heavy-tailed or asymmetric distributions (e.g. t-Student or skew-normal). This dissertation also introduces a particular parametrisation of the 3 parameter Probit model using auxiliary variables to improve the MCMC algorithm used to make inference in the proposed model under a Bayesian approach. Finally, simulations and real data studies are presented to assess the eciency and applicability of the proposed model.

Advisors/Committee Members: Flavio Bambirra Goncalves, Tufi Machado Soares, Marcos Oliveira Prates.

▼ 

Tese de mestrado, Microbiologia Clínica, Faculdade de Medicina, Universidade de Lisboa - 2012

O aparecimento da pandemia do VIH na última década do século XX foi responsável pelo aumento do número de casos de tuberculose e também de infecções oportunistas por Micobactérias Não Tuberculosas (MNT) nesta população. O maior número de casos foi devido a infecções por micobactérias do complexo M. avium (MAC). Posteriormente, foi descrito que estas infecções eram frequentes noutros grupos da população que tinham em comum a existência de deficiências no sistema imunitário (e.g., transplantados, indivíduos com problemas do fórum oncológico). Paralelamente, começou a aumentar o número de MNT que eram consideradas como potenciais agentes etiológicos de infecções. Entre estas, salientamos o M. kansasii, M. abcessus, M. chelonae, M. malmoense e M. xenopi. Actualmente, as infecções por MNT são um grave problema de saúde pública, que afecta tanto os indivíduos imunodeprimidos como os imunocompetentes, cujo diagnóstico e tratamento são muito difíceis devido à elevada taxa de resistência aos fármacos actualmente disponíveis. Este facto conduz a uma situação paradoxal em que microrganismos classificados nas classes I e II sejam equiparados a microrganismos como o M. tuberculosis na sua vertente mais assustadora (estirpes multirresistentes). O primeiro passo para a resolução dos problemas levantados por estas infecções é a implementação de métodos de diagnóstico eficazes e rápidos. Estes devem permitir ao clínico não só implementar rapidamente uma terapêutica eficaz, como evitar a propagação das infecções a outros membros da comunidade. Este trabalho pretende ser um contributo para alcançar este objectivo. Para tal, identificámos de acordo com as directrizes vigentes, pelo menos dois métodos de biologia molecular e um método fenotípico, 54 estirpes de MNT (anos 2008-2009) pertencentes à colecção de estirpes bacterianas da Unidade de Micobactérias do Departamento de Doenças Infecciosas do INSA. Os resultados obtidos pelos diferentes métodos foram comparados de forma a avaliar a sua eficácia. A comparação dos três métodos (PRA-hsp65, sequenciação do hsp65 e do 16S rRNA), combinado com algumas características fenotípicas chave (tempo de crescimento e produção de pigmento), demonstraram que a correcta identificação de estirpes isoladas necessita da combinação de pelo menos dois métodos.

The last decade of the 20th century was marked by the appearance of the HIV pandemic. Together with this plague came not only the resurgence of tuberculosis but also the appearance of opportunistic infections due to nontuberculous mycobacteria (NTM) mainly by members of Mycobacterium avium complex (MAC). Later on these opportunistic infections were also often described in other groups of patients (e.g., organ transplanted and oncologic patients), which shared a compromised immune system. Concurrently, the number of NTM recognized as potential ethological agents of human diseases increased. Among these we highlight M. kansasii, M. abcessus, M.…

Advisors/Committee Members: Jordão, Luísa, Hänscheid, Thomas, 1964-.

▼ 

Tese de mestrado em Engenharia Informática, apresentada à Universidade de Lisboa, através da Faculdade de Ciências, 2012

Este trabalho, integrado no projeto QUEST, tem como objetivo geral a localização automática de erros em implementações Java de especificações algébricas, através da análise de testes JUnit criados pela ferramenta GenT e consequente produção de novos testes a partir da informação fornecida pelas faltas observadas. Numa primeira fase foi criado um conjunto de casos de estudo e uma experiência que permitiu avaliar a abordagem de localização de faltas em questão e a sua comparação com outras abordagens existentes. Por último foi construída uma aplicação que implementou esta abordagem para ser integrada com as ferramentas ConGu e GenT.

This work is within the scope of the QUEST project and its main objective is the automatic location of errors in Java implementations of algebraic specifications, through the analysis of JUnit generated tests using GenT tool and the production of new tests from the information obtained by the observed faults. In a first phase a set of case studies was created, as well as an experiment that allowed the evaluation of the fault tracking approach in question and its comparison with other existing approaches. Lastly, an application that implements this approach was built to be integrated with the ConGu and GenT tools.

Advisors/Committee Members: Nunes, Maria Isabel Batalha Reis da Gama, 1961-.

▼ 

Orientador : Prof. Dr. Patrício G. Peralta-Zamora

Co-orientador : Prof. Dr. Marcus Vinicius de Liz

Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Química. Defesa: Curitiba, 26/02/2015

Inclui referências : f. 104-110

Área de concentração: Tratamento de resíduos

Resumo: Os processos Fenton, fundamentados na geração de radicais oxidantes a partir da decomposição do H2O2 catalisada por espécies de ferro, tem sido amplamente estudados e empregados para degradação de inúmeros compostos de relevância ambiental. Por serem promovidas por radicais oxidantes, e fortemente influenciadas pela concentração e tipo de catalisador, concentração de H2O2, substrato de interesse, pH, dentre outros fatores; o mecanismo dessas reações permite diversas interpretações, o que tem gerado controvérsias na literatura. Em decorrência disso, este trabalho tem como objetivo um estudo minucioso das reações de Fenton homogêneas e heterogêneas, visando obter propostas de mecanismo de reação para catalisadores heterogêneos. Para isso, um estudo das reações de Fenton homogêneas na degradação do corante modelo RB-19 foi realizado, empregando-se otimização por planejamentos fatoriais, comparações entre reações catalisadas por Fe2+ e por Fe3+, avaliação da cinética das reações e ensaios com sequestrante de radicais hidroxila. Posteriormente, catalisadores heterogêneos (óxidos de ferro goetita e hematita, hematita suportada em sílica e ferro imobilizado em quitosana) foram sintetizados e caracterizados, sendo então submetidos a ensaios semelhantes aos realizados para as reações homogêneas. Foi observada uma forte contribuição do ferro lixiviado dos catalisadores para a velocidade das reações heterogêneas, pois as reações homogêneas realizadas com baixas concentrações de ferro solúvel obtiveram constantes de velocidade aparente semelhantes às catalisadas pelos óxidos de ferro. Além disso, o radical peridroxil e o ânion hidroperóxido foram considerados os importantes mediadores das reações, uma vez que a presença de sequestrantes de radicais hidroxila não impediu a ocorrência das mesmas. A avaliação da liberação de ferro pelos catalisadores goetita e hematita suportada em sílica permitiu a observação de dois tipos distintos de mecanismos de lixiviação, redutiva e ácida. A partir das observações experimentais e de comparações com a literatura, foram propostos mecanismos de reações para os catalisadores goetita e hematita suportada em sílica com grande contribuição de ferro solúvel. O catalisador de ferro suportado em quitosana apresentou forte contribuição adsortiva na remoção do corante modelo, o que inviabilizou a definição de um mecanismo de reação de Fenton para este catalisador. O catalisador heterogêneo hematita suportada em sílica foi o que apresentou melhor eficiência na remoção do corante modelo, devido à contribuição dos processos homogêneos decorrentes da lixiviação de ferro. Essa lixiviação foi facilitada pela baixa cristalinidade do óxido suportado em sílica. Este…

Advisors/Committee Members: Liz, Marcus Vinicius, Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Química, Peralta Zamora, Patricio Guillermo, 1962-.

▼ 

A avaliação da qualidade de vida por meio de questionários e escalas vem sendo empregada com frequência na área da saúde para informar a evolução do paciente e para a decisão quanto ao tratamento mais indicado. A maior parte dos instrumentos de avaliação de qualidade de vida e de avaliação ortopédica foi criada na língua inglesa. Para esses instrumentos serem usados em uma população de idioma e cultura diferentes do país onde foram desenvolvidos é necessário seguir algumas etapas para a sua tradução, adaptação cultural do idioma e validação quanto à manutenção das características do instrumento original. O Hip Outcome Score (HOS) é um instrumento capaz de avaliar pacientes fisicamente ativos com doenças do quadril sem alterações degenerativas graves; condição que os outros instrumentos de avaliação do quadril não são capazes de realizar com a mesma especificidade. As etapas de tradução e adaptação cultural desse questionário para a língua portuguesa do Brasil já foram realizadas. O objetivo desse trabalho foi validar a versão brasileira do questionário HOS em um grupo de pacientes fisicamente ativos, com diagnóstico médico de impacto femoroacetabular ou síndrome da dor peritrocantérica. Foram selecionados 70 pacientes de ambos os gêneros e faixa etária entre 19 e 70 anos. Os domínios estudados para o processo de validação foram: confiabilidade e validade. Tais domínios foram normatizados por um grupo de pesquisadores que desenvolveu o COSMIN (COnsensus-based Standards for the selection of health Measurement INstruments). Foram aplicados os seguintes questionários para o processo de validação: a versão brasileira do Hip Outcome Score; versão brasileira e validada do Nonarthritic Hip Score e do 12-Item Short-Form Health Survey. A confiabilidade foi calculada por meio das propriedades psicométricas da consistência interna e da confiabilidade teste-reteste intra-avaliador, segundo os testes estatísticos de alfa de Cronbach (resultado > 0,9) e do Coeficiente de Correlação Intraclasse (CCI > 0,9), respectivamente. A validade foi verificada por meio das propriedades pscicométricas da validade de construção e da validade de conteúdo. A validade de construção foi calculada pela validade convergente (r > 0,7) e divergente (r < 0,4), segundo o coeficiente de correlação de Pearson. A validade de conteúdo foi analisada pela evidência de questionários com efeito chão e/ou efeito teto, que não ocorreram. As propriedades psicométricas de confiabilidade e validade demonstraram excelentes resultados. Estudos adicionais estão em andamento com o objetivo de avaliar a responsividade da versão brasileira do HOS. O processo de validação da versão brasileira do questionário Hip Outcome Score foi realizado com êxito e tornou esse instrumento de avaliação da qualidade de vida válido e confiável para a língua portuguesa do Brasil e assim, fornecerá aos médicos e profissionais de saúde brasileiros um instrumento capaz de avaliar pacientes fisicamente ativos, com doenças do quadril sem alterações degenerativas graves.

The evaluation of…

Advisors/Committee Members: Luiz Alberto Batista, Liszt Palmeira de Oliveira, Themis Moura Cardinot, Bernardo Couto Neto, Gustavo Leporace de Oliveira Lomelino Soares.

▼ 

Tese de mestrado em Estatística, apresentada à Universidade de Lisboa, através da Faculdade de Ciências, 2011

Os testes não-paramétricos de ajustamento, de entre os quais destacamos os testes de Kolmogorov-Smirnov, de Stephens e de Cramér-von Mises são frequentemente usados em contexto paramétrico, com o objectivo de validar determinado modelo, como modelo subjacente aos dados. Os pontos críticos destes testes são facilmente acessíveis em tabelas, válidas quando não há necessidade de estimar parâmetros desconhecidos, uma situação totalmente irrealista na prática. Em Estatística de Extremos, a sua aplicação à validação de modelos extremais, tais como os modelo de tipo Pareto, generalizado de Pareto e generalizado de valores extremos (ou casos particulares, como os modelos Gumbel, Fréchet e Weibull) tem-se revelado importante, sendo então necessário proceder previamente à estimação de parâmetros desconhecidos e à construção de tabelas de pontos críticos adequadas. Após um estudo genérico destes testes de ajustamento e sua distribuição de amostragem em contexto de população subjacente independente de parâmetros desconhecidos, procederemos à construção de tabelas de pontos críticos dos referidos testes, a serem usadas na validação de alguns dos modelos extremais referidos. Essas tabelas podem ser construídas através de simulações de Monte-Carlo, que serão delineadas em R.

The nonparametric “goodness-of-fit" tests, among which we highlight the tests of Kolmogorov-Smirnov, Stephens and Cramér-von Mises are often used in a parametric framework, in order to validate a particular model as the one underlying the available data. The critical points of these tests are easily accessible in tables, which are valid when there is no need to estimate unknown parameters, a totally unrealistic situation in practice. In Statistics of Extremes, its application to the validation of extremal models, such as Pareto, generalized Pareto and generalized extreme value (or particular cases, as the Gumbel, Fréchet and Weibull) models, possibly dependent on unknown location, scale and shape parameters, has proved to be an important area. It is then necessary to proceed to an a priori estimation of the unknown parameters, and to the construction of tables of appropriate critical points. After the study of the generic sampling behavior of these goodness-of-fit test statistics, in the case that the underlying population is independent of unknown parameters, we will proceed to the construction of tables of critical points of these test statistics, to be used for the validation of some models, such as extremal models. These tables can be built through Monte-Carlo simulations, which will be outlined in R.

Advisors/Committee Members: Gomes, M. Ivete, 1948-, Bermudez, Patrícia Cortés de Zea, 1966-.

▼ A avaliação da articulação do quadril é considerada desafiadora e medidas reprodutíveis são fundamentais para construir uma prática baseada em evidências. O objetivo da presente dissertação de Mestrado foi avaliar a reprodutibilidade intra e interavaliador do teste de força máxima isométrica com dinamômetro manual, da avaliação fotogramétrica e goniométrica da amplitude de movimento (ADM) e da medida do deslocamento angular do quadril 2-D em vídeo por meio do teste de agachamento unipodal em sujeitos saudáveis. No Capítulo I, por meio de uma ampla revisão de literatura, percebemos a existência de divergências no que diz respeito à avaliação do quadril, uma vez que não foi observada uma avaliação sistematizada envolvendo as medidas mais comumente indicadas na prática clínica. O capítulo II avaliou a reprodutibilidade intra e interavaliador por três avaliadores para os desfechos força muscular por dinamometria manual (rotadores internos (RI) e externos (RE), adutores (ADU) e abdutores (ABD) e flexores (FLX) e extensores (EXT)), ADM do quadril por goniometria (FLX ativa (ATI) e passiva (PAS); RE ATI e PAS e os movimentos de rotação interna bilateral (RI BIL) e EXT ativas e fotogrametria (RE e RI BIL de forma ativa ATI e PAS e deslocamento angular durante o agachamento unipodal para as variáveis flexão de joelho no plano sagital (FLX JOE PS), báscula pélvica (BASC), adução do quadril (ADU QUA) e adução do joelho (ADU JOE) Todas as variáveis foram avaliadas nos lados direito (DIR) e esquerdo (ESQ). Vinte sujeitos do sexo masculino (27,0 ± 4,9 anos; massa corporal: 80,07 ± 13,13 kg; estatura: 1,78 ± 0,06 cm; dominância direita [n=18, 90%]), foram submetidos a dois dias de avaliação da funcionalidade do quadril por três avaliadores: (1) dia 1 pelo avaliador 1; (2) dia 2 por três avaliadores (avaliador 1, 2 e 3, com 30 minutos de intervalo entre as avaliações). A análise dos dados foi realizada no software SPSS v. 20.0, por meio de estatística descritiva (média, DP - desvio padrão) e inferencial (ICC – intraclass correlation coefficient; SEM – Standard error measurement; MDC – minimal detectable change = 1,96*SEM) (α<0,05). O teste t pareado foi utilizado para examinar se houve diferença sistemática entre o teste e re-teste e a ANOVA One-Way para medidas repetidas foi utilizada para comparar as médias entre os avaliadores. Havendo efeito principal significativo, foi utilizado um teste post-hoc de Bonferroni para comparações múltiplas (p≤0,05). Para as medidas de força de todos os grupos musculares, a reprodutibilidade intra-avaliador revelou valores de ICC classificados como excelentes para todos os grupos musculares avaliados (ICC≥0,89; p<0,001) com valores médios de SEM = 11,83 ± 2,94 N e MDC = 23,21 ± 5,80 N A reprodutibilidade interavaliador revelou valores de ICC excelentes para todos os grupos musculares (ICC≥0,90; p<0,001) com valores médios de SEM = 10,69 ± 1,96 N e MDC = 20,93 ± 3,86 N. Em relação às medidas de ADM obtidas por goniometria, a reprodutibilidade intravaliador foi classificada como excelente (ICC≥0,77;… Advisors/Committee Members: Vaz, Marco Aurelio, Frasson, Viviane Bortoluzzi.

▼ 

Projeto de mestrado em Engenharia Informática, apresentada à Universidade de Lisboa, através da Faculdade de Ciências, 2014

A importância da execução de testes durante o processo de desenvolvimento de software tem vindo a crescer, uma vez que estes são cruciais para garantir a qualidade do software desenvolvido, representando o principal método para a redução de ocorrência de erros. Isto tem um carater fundamental, pois no nosso dia-a-dia o software é ubíquo, e indispensável à tecnologia que dependemos. É, pois, fundamental garantir que o software possua um nível de qualidade elevado, pois uma falha poderá causar graves consequências a nível financeiro ou até mesmo ao nível humano. Torna-se assim imprescindível que os engenheiros de software dominem as técnicas de testes de software. O presente trabalho tem como objetivo construir uma ferramenta para apoiar o ensino de testes de mutação. Esta tem sido muito explorada recentemente e tem uma eficácia comprovada na atividade de testes. Os testes de mutação são uma técnica baseada em faltas e são utilizados para testar a robustez de um conjunto de casos de teste, com base no número de falhas identificadas. Cada uma das faltas produzidas por esta técnica representa um requisito de teste, que neste modelo de testes é designado por mutante. No entanto, o número de mutantes gerados é de tal ordem extenso que não pode ser sistematicamente tratado de forma manual. Daí a importância da utilização de uma ferramenta para este tipo de testes. A concretização deste trabalho resultou no desenvolvimento de uma ferramenta integrada com o ambiente de desenvolvimento Eclipse, de grande utilização tanto a nível profissional como a nível académico. Este documento apresenta aspetos relacionados com a ferramenta desenvolvida, nomeadamente, os conceitos teóricos essenciais à sua implementação; a sua integração na plataforma Eclipse e as dependências com outros elementos desta plataforma; a descrição da sua estrutura interna: a apresentação de detalhes da implementação de processos fundamentais para a concretização das funcionalidades presentes na ferramenta; e a descrição dos elementos da interface gráfica que permitem acompanhar as várias fases que compõem o processo de testes de mutação, como por exemplo, apresentação dos mutantes gerados, a pontuação dos testes de mutação, entre outras informações.

The importance of running tests during the development process of software has been growing, as these are crucial to ensuring the quality of software developed, representing the primary method for reducing errors. This has a fundamental character, because in our day- to-day software is ubiquitous and essential to the technology we depend. It is therefore essential to ensure that the software has a high level of quality because a failure may cause serious consequences in financial terms or even the human level. It thus becomes essential that software engineers master the techniques of software testing. This paper aims to build a tool to support the teaching of mutation testing. This has…

Advisors/Committee Members: Martins, Francisco Cipriano da Cunha, 1972.

▼ 

Tese de mestrado, Psicologia (Secção de Psicologia dos Recursos Humanos, do Trabalho e das Organizações), Universidade de Lisboa, Faculdade de Psicologia, 2011

O presente trabalho de investigação aplicada centra-se na temática da equivalência intercultural, e consiste no estudo de uma bateria de testes de aptidões, utilizada em diversas organizações nacionais e internacionais, em contextos de avaliação psicológica – Bateria de Raciocínio Crítico (CRTB). Partiu do pressuposto de que as versões originais e as versões adaptadas de cada teste são equivalentes, e procedeu à comparação entre as versões do Reino Unido (original) e de Portugal, da Austrália e da África do Sul (adaptações), e de Portugal (original) e Moçambique (adaptação). Partindo de um total 4946 respostas a três testes de aptidões - Verbal, Numérico e Diagramático - foi efectuado o estudo do Funcionamento Diferencial dos Itens (DIF), nas versões aplicadas nos cinco países, com recurso a metodologia baseada na Teoria da Resposta ao Item (TRI), nomeadamente, pela aplicação do Modelo de Rasch. Detectou-se a presença de DIF em alguns itens, nos vários testes, o que pode comprometer a equivalência intercultural das diferentes versões. Contudo, a análise efectuada não permitiu concluir que os testes são, na sua globalidade, culturalmente enviesados, devido a limitações na qualidade dos dados amostrais disponíveis. Este estudo alertou para a necessidade de averiguar a qualidade dos conteúdos dos itens e para a conveniência da utilização conjunta de Métodos Estatísticos e dos Juízes, nas adaptações de testes, assim como para a necessidade de interpretação cautelosa, em decisões de selecção que tenham por base os resultados de instrumentos psicométricos adaptados. Adicionalmente, reuniu evidências das potencialidades e vantagens da metodologia TRI para a investigação em Psicologia Intercultural.

This applied research project focuses on the problem of cross-cultural equivalence and aims at studying an ability test battery, used in psychological assessments from different national and international organizations – the Critical Reasoning Test Battery (CRTB). It was based on the assumption that both the original and the adapted versions must be equivalent and it compares the version used in the United Kingdom (original) with the one used in Portugal, in Australia and in South Africa (adaptations), as well as the version used in Portugal (original) with the one used in Mozambique (adaptation). From a total of 4946 responses to three ability tests – Verbal, Numerical and Diagrammatic – the presence of Differential Item Functioning (DIF) was studied on the versions applied in five countries, through a methodology based on Item Response Theory (IRT), namely the Rasch Model. On several tests, various items flagged DIF, which can compromise the cross-cultural equivalence of the different versions. However, the analysis performed does not allow to conclude that the tests are in general culturally biased, due to sample limitations which interfere with the quality of the…

Advisors/Committee Members: Afonso, Maria João, 1959-.

▼ 

Exportado OPUS

Made available in DSpace on 2019-08-10T18:58:59Z (GMT). No. of bitstreams: 1 tese___mariana_c._de_ara_jo.pdf: 1571937 bytes, checksum: fcf4e43c31b087e881e598504485baf7 (MD5) Previous issue date: 30

Nesta tese abordamos o aperfeiçoamento de testes de hipóteses na classe dos modelos não-lineares simétricos heteroscedásticos. Inicialmente, aprimoramos os testes de heteroscedasticidade baseados nas estatísticas da razão de verossimilhanças e razão de verossimilhanças perfiladas modificadas. A versão modificada da verossimilhança perfilada considerada neste trabalho é a proposta por Cox e Reid (1987). Em seguida, obtemos um fator de correção tipo-Bartlett para o teste de heteroscedasticidade baseado na estatística gradiente. A estatística gradiente foi proposta por Terrell (2002) e tem recebido crescente atenção na literatura, uma vez que além de ter estrutura simples de calcular e implementar, é assintoticamente equivalente às estatísticas da razão de verossimilhanças, Wald e escore. Ainda, realizamos um estudo de poder local dos testes da razão de verossimilhanças, Wald, escore e gradiente a fim de avaliar (localmente) o poder dos quatro testes. Para cada abordagem realizada, foi desenvolvido um estudo de simulação de Monte Carlo a fim de avaliar o desempenho dos testes sob investigação.

In this thesis, we deal with improvement for hypotheses tests in heteroscedastic symmetric nonlinear models. First, we derive Bartlett adjustments for likelihood ratio statistics and modified profile likelihood ratio statistics in order to improve likelihood ratio and modified profile likelihood ratio tests, respectively. Next, we calculate a type-Bartlett adjustment to improve the gradient test, a new hypotheses test proposed by Terrell (2002) which is asymptotically equivalent to likelihood ratio, Wald and score tests. We also treat about the local power of likelihood ratio, Wald, score and gradient tests in heteroscedastic symmetric nonlinear models. For each approach, we develop a Monte Carlo simulation study in order to evaluate the performance of the tests in finite-size samples.

Advisors/Committee Members: Lourdes Coral Contreras Montenegro, Audrey Helen Mariz de Aquino Cysneiros, Dione Maria Valença, Francisco José de Azevedo Cysneiros, Enrico Antonio Colosimo, Wagner Barreto de Souza.

▼ 

Tese de mestrado. Biologia (Microbiologia Aplicada). Universidade de Lisboa, Faculdade de Ciências, 2010

A malária é uma doença que tem sido uma preocupação constante para a humanidade ao longo de séculos, continuando a ser responsável por cerca de 1 milhão de mortes por ano.84 O impacto da malária é elevado estende-se muito além das taxas de mortalidade e morbilidade associadas.20 A malária em humanos é causada por cinco espécies de parasitas: Plasmodium falciparum, Plasmodium vivax, Plasmodium ovale, Plasmodium malariae e Plasmodium knowlesi. O parasita Plasmodium falciparum é responsável pela maioria dos casos em África e dos casos de malária severa. Estas cinco espécies diferem na distribuição geográfica, características microscópicas, características clínicas e no potencial para desenvolver resistência aos anti-maláricos. O ciclo de vida do parasita é complexo e envolve um vector e um hospedeiro vertebrado. Durante o ciclo de vida, no hospedeiro, existem duas fases principais: fase hepática e a fase sanguínea. Durante a fase sanguínea o parasita invade eritrócitos, desenvolve-se e multiplica-se no seu interior. Esta fase é a responsável pela sintomatologia associada à infecção por malária. Durante o desenvolvimento do no interior dos eritrócitos o parasita degrada a hemoglobina para obter aminoácidos e para regular a pressão ósmotica.28 Como consequência desta degradação é produzido heme livre. Este, tal como acontece em organismos superiores, é tóxico para o parasita.78 Para ultrapassar este obstáculo o parasita desintoxica o heme livre transformando-o em hemozoína (Hz), também denominado por pigmento malárico.39 O conteúdo de Hz aumenta à medida que o parasita matura constituindo, assim, um óptimo indicador de crescimento.7 Vários anti-maláricos interferem com a produção de Hz. Fármacos que contêm quinolina, como a cloroquina, quinino, mefloquina, amodiaquina e halonfantrina têm como principal mecanismo de acção a inibição da produção de Hz, levando à morte do parasita, como uma consequência da acumulação de heme livre tóxico.28,69,78 Outro grupo de fármacos que também pode estar envolvido na inibição da produção de Hz é eventualmente a artemisina e os seus derivados.55 Apesar de existirem algumas provas que apontam para o envolvimento da Hz, o mecanismo de acção deste fármacos é um tema controverso, e ainda não está completamente esclarecido. Nas últimas décadas tem-se vindo a observar um aumento da resistência a determinados antimaláricos. A resistência aos anti-maláricos é um grave problema de saúde publica, uma vez que está associado à propagação da malária a novas áreas e ao reaparecimento em regiões onde fora erradicada.6 Perante este cenário torna-se imprescindível ter conhecimento das susceptibilidades do parasita aos diferentes anti-maláricos. Actualmente existem diversos testes de sensibilidade. Basicamente, podemos agrupá-los em: ensaios in vivo e ensaios in vitro. Estes testes são úteis para definir guidelines para politicas de saúde pública, são ferramentas essenciais para o desenvolvimento de…

Advisors/Committee Members: Hanscheid, Thomas, Reis, Ana Maria Gonçalves, 1958-.

▼ 

Tese de mestrado, Segurança Informática, Universidade de Lisboa, Faculdade de Ciências, 2010

Neste projeto, o nosso objetivo é usar a técnica de teste de fuzzing, que fornece dados inválidos, inesperados ou aleatórios para a entrada de um programa para nele tentar encontrar vulnerabilidades. Os resultados do teste fornecem ao programador informações para melhorar o programa, nomedamente para torná-lo mais seguro. Um ambiente de computação em grade é usado para suportar o fuzzing das aplicações usando simultaneamente os recursos de vários computadores em uma rede, a fim de paralelizar o processo e permitir tentar muitas entradas diferentes. Um trabalho de fuzzing é dividido em várias tarefas de fuzzing e distribuído aos recursos de rede que se encontrem livres para que a operação seja realizada. Um broker recebe as solicitações de fuzzing de clientes, e insere a divisão de tarefas num servidor Web, como o Apache. Quando os recursos da rede estão disponíveis, as tarefas de difusão são descarregadas a partir do servidor web e automaticamente executadas e os resultados retornados ao serviço de coordenação. O serviço de coordenação Zookeeper é usado para sincronizar o broker, o servidor web e dos recursos.

In this project, our goal is to use a testing technique called fuzzing that provides invalid, unexpected or random data to the input fields of an application to find vulnerabilities in the same application. The testing results provide a programmer with information to improve the program, making it more secure. A Grid computing environment was designed to support the fuzzing of applications, by using simultaneously the resources of many computers in a network, in order to parallelize the process and allow trying many different inputs. One fuzzing job is divided into many fuzzing tasks and distributed to the free network resources for fuzzing. A broker gets the fuzzing requests from clients, and then inserts the split fuzzing tasks into a Web server, like Apache. When resources in the network are available, fuzzing tasks will be downloaded from the web server and resources will automatically execute these tasks and return the results to ZooKeeper. The ZooKeeper coordination service is used for synchronizing the broker, the web server and the resources.

Advisors/Committee Members: Correia, Miguel Nuno Dias Alves Pupo, 1968-.

▼ 

Orientador: Prof. Dr. Elias Procópio Duarte Jr.

Tese (doutorado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Curso de Pós-Graduaçao em Informática. Defesa: Curitiba, 12/04/2013

Bibliografia: fls. 126-148

Resumo: O diagnóstico baseado em comparações e uma forma realista para detectar falhas em hardware, software, redes e sistemas distribuídos. O diagnostico se baseia na comparaçao de resultados de tarefas produzidos por pares de unidades para determinar quais sao as unidades falhas e sem-falha do sistema. Qualquer diferenca no resultado da comparacao indica que uma ou ambas as unidades estao falhas. O diagnostico completo do sistema e baseado no resultado de todas as comparações. Este trabalho apresenta um novo algoritmo de diagnostico para identificar falhas em sistemas de topologia arbitraria com base no modelo MM*. A complexidade do algoritmo proposto e O(t2AN) no pior caso para sistemas de N unidades, onde t denota o numero maximo permitido de unidades falhas e A e o grau da unidade de maior grau no sistema. Esta complexidade e significativamente menor que a dos outros algoritmos previamente publicados. Alem da especificacao do algoritmo e das provas de correcão, resultados obtidos atraves da execucao exaustiva de experimentos sao apresentados, mostrando o desempenho me dio do algoritmo para diferentes sistemas. Al em do novo algoritmo para sistemas de topologia arbitraria, este trabalho tambem apresenta duas outras solucoes para deteccão e combate a poluicao de conteudo, ou alteracoes nao autorizadas, em transmissões de mídia contínua ao vivo em redes P2P - a primeira e uma solucão centralizada e que realiza o diagnostico da poluicao na rede, e a segunda e uma solucao completamente distribuída e descentralizada que tem o objetivo de combater a propagacao da poluicao na rede. Ambas as solucoes utilizam o diagnostico baseado em comparacoes para detectar alterações no conteudo dos dados transmitidos. As soluções foram implementadas no Fireflies, um protocolo escalavel para redes overlay, e diversos experimentos atraves de simulacao foram conduzidos. Os resultados mostram que ambas as estrategias sao solucães viaveis para identificar e combater a poluiçcãao de conteudo em transmissãoes ao vivo e que adicionam baixa sobrecarga ao trafego da rede. Em particular a estrategia de combate a poluicao foi capaz de reduzir consideravelmente a poluicão de conteudo em diversas configurações, em varios casos chegando a elimina-la no decorrer das transmissoães.

Comparison-based diagnosis is a practical approach to detect faults in hardware, software, and network-based systems. Diagnosis is based on the comparison of task outputs returned by pairs of system units in order to determine whether those units are faulty or fault-free. If the comparison results in a mismatch then one ore both units are faulty. System diagnosis is based on the complete set of all comparison results. This work introduces a novel diagnosis algorithm to identify faults in t-diagnosable systems of arbitrary topology under the MM*…

Advisors/Committee Members: Duarte Junior, Elias Procópio, Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática.

▼ 

A radiação ultravioleta (UV) induz diversos efeitos nocivos nos organismos e a quantidade desta radiação que atinge a biosfera é afetada pela concentração de ozônio, latitude, altitude, clima e reflexão especular. As respostas de briófitas em relação aos efeitos da radiação UV e a presença de compostos que absorvem esta radiação têm sido estudadas. Sanionia uncinata, Holomitriopsis laevifolia e Leucobryum laevifolium são espécies de musgos encontrados em locais expostos a alta incidência de radiação UV e com habitats distintos. Considerando que as respostas de musgos contra os efeitos da radiação UV e seus mecanismos de proteção ainda são pouco caracterizados, o objetivo deste estudo foi investigar o potencial fotoprotetor e possíveis riscos toxicológicos associados aos extratos dos musgos S. uncinata, proveniente da Antártica e H. laevifolia e L. laevifolium, proveniente do Amazonas. Seus extratos metanólico (EM), aquoso (EA), hidroalcoólico (EH) e etanólico (EE) foram estudados com a caracterização química por absorção ao UV e visível e pela cromatografia líquida de alta eficiência; quantificação do índice total de compostos fenólicos; determinação da capacidade captadora do radical 2,2-difenil-1-picril-hidrazila a fim de avaliar as atividades antioxidantes; avaliação do potencial de fotoproteção cutânea pela determinação do fator de proteção solar; avaliações do potencial mutagênico e citototóxico, através do ensaio de Salmonella/microssoma, utilizando as cepas TA97, TA98, TA100, TA102 e TA104; do potencial fotomutagênico através do ensaio de fotomutagenicidade, usando as cepas TA102 e TA104; e investigação dos efeitos genotóxicos e fotogenotóxicos, pelo ensaio de micronúcleo e fotomicronúcleo, respectivamente, usando diferentes linhagens celulares estabelecidas. Foram encontradas atividades fotoprotetoras e antioxidantes e observou-se que os extratos se apresentaram singulares devido a sua composição química. Os resultados fotoprotetores, além dos mutagênicos/fotomutagênicos, genotóxicos/fotogenotóxicos e suas respectivas avaliações citotóxicas também permitiram selecionar extratos e suas concentrações, como promissores candidatos em fotoproteção Assim, os EA e EH de H. laevifolia e L. laevifolium apresentam, no geral, os resultados mais significativos, tornando-se potenciais para avaliações refinadas em fotoproteção e na separação de componentes que possam levar a futuras aplicações como antioxidantes e protetores solares ou como adjuvantes.

The ultraviolet radiation (UV) induces many harmful effects in all living organisms and the amount of this radiation that reaching the ground is affected by many factors including ozone concentration, latitude, altitude, climate and specular reflection. The responses of bryophytes against the effects of UV radiation and the presence of compounds that absorb the UV region have been studied. Mosses Sanionia uncinata, Holomitriopsis laevifolia and Leucobryum laevifolium are found in locations exposed to UV at high levels of radiation and in different habitats. Whereas that…

Advisors/Committee Members: José Luiz Mazzei da Costa, Marcelo de Pádula, Marsen Garcia Pinto Coelho, Israel Felzenszwalb, Mônica Freiman de Souza Ramos.

▼ 

A engenharia de superfície tem buscado atender a demanda da indústria por ferramentas, peças e outros componentes com maior vida útil e resistência frente ao desgaste, utilizando como revestimentos protetores, materiais cujas propriedades mecânicas, tribológicas e físico-químicas, tais como dureza, atrito, desgaste, resistência à corrosão e à oxidação, entre outras podem ser otimizadas. Uma das condições que podem influenciar diretamente essas propriedades é o tipo de estrutura do revestimento, bem como a temperatura do substrato durante a deposição dos filmes. Neste trabalho foram estudados revestimentos compostos por multicamadas de CrN/Si3N4 depositados sobre substrato de silício (001) a uma temperatura de 300 °C, variando-se a espessura do período da bicamada entre 2 e 10 nm. Diversas técnicas de caracterização físico-química foram utilizadas. Como caracterização de propriedades mecânicas, foi utilizado nanoindentação. Os filmes de camadas individuais produzidos apresentaram razões de Cr/N de 1,02 ± 0,05 e de Si/N de 0,74 ± 0,03, ou seja, estequiométricos e livres de contaminantes. Para CrN atingiu-se uma dureza de 12 GPa, já para Si3N4, 26 GPa. Os parâmetros de deposição para os quais as camadas individuais alcançam durezas próximas ao máximo (12 a 15 GPa para CrN e 18 a 22 GPa para Si3N4) também contribuem para o aumento de dureza, objetivo deste trabalho. Dos períodos de multicamadas avaliados a dureza máxima (34,6 ± 1,27 GPa) foi atingida para um período de 4 nm, representando um aumento de 40% em relação ao Si3N4. Os resultados da caracterização físico-química das amostras apresentam formação efetiva de uma estrutura de multicamadas e permitiram determinar as espessuras de ordem nanométrica, a distribuição dos elementos em profundidade, as ligações químicas presentes na amostra, assim como interfaces abruptas. Além disso, o CrN tem estrutura cristalina e o Si3N4, essencialmente amorfo, satisfazem uma condição prevista na literatura de aumento de dureza pelo mecanismo de travamento das discordâncias nas interfaces cristalino-amorfo.

Surface engineering has been searching to attend the industrial demand for tools, parts and other components with larger lifecycles and higher wear resistance, by means of protective coatings whose mechanical, physical-chemical and tribological properties, such as hardness, friction, wear and corrosion and oxidation resistance can be optimized. One of the conditions that can influence directly these properties is the type of structure of the coating, as well as the temperature of the substrate during film deposition. In the present work were studied coatings composed by CrN/Si3N4 multilayers depositated on silicon substrate (001) at a temperature of 300°C, with varying bilayer periods between 2 and 10 nm. Several physicalchemical characterization techniques were used. Mechanical properties were assessed by nanoindentation tests. Films produced with single layers presented Cr/N ratio of 1.02 ± 0.05 and Si/N ratio of 0.74 ± 0.03, thus being considered stoichiometric and free…

Advisors/Committee Members: Baumvol, Israel Jacob Rabin, Vasconcellos, Marcos Antonio Zen, Michels, Alexandre Fassini, Catafesta, Jadna.

▼ 

A engenharia de superfície tem buscado atender a demanda da indústria por ferramentas, peças e outros componentes com maior vida útil e resistência frente ao desgaste, utilizando como revestimentos protetores, materiais cujas propriedades mecânicas, tribológicas e físico-químicas, tais como dureza, atrito, desgaste, resistência à corrosão e à oxidação, entre outras podem ser otimizadas. Uma das condições que podem influenciar diretamente essas propriedades é o tipo de estrutura do revestimento, bem como a temperatura do substrato durante a deposição dos filmes. Neste trabalho foram estudados revestimentos compostos por multicamadas de CrN/Si3N4 depositados sobre substrato de silício (001) a uma temperatura de 300 °C, variando-se a espessura do período da bicamada entre 2 e 10 nm. Diversas técnicas de caracterização físico-química foram utilizadas. Como caracterização de propriedades mecânicas, foi utilizado nanoindentação. Os filmes de camadas individuais produzidos apresentaram razões de Cr/N de 1,02 ± 0,05 e de Si/N de 0,74 ± 0,03, ou seja, estequiométricos e livres de contaminantes. Para CrN atingiu-se uma dureza de 12 GPa, já para Si3N4, 26 GPa. Os parâmetros de deposição para os quais as camadas individuais alcançam durezas próximas ao máximo (12 a 15 GPa para CrN e 18 a 22 GPa para Si3N4) também contribuem para o aumento de dureza, objetivo deste trabalho. Dos períodos de multicamadas avaliados a dureza máxima (34,6 ± 1,27 GPa) foi atingida para um período de 4 nm, representando um aumento de 40% em relação ao Si3N4. Os resultados da caracterização físico-química das amostras apresentam formação efetiva de uma estrutura de multicamadas e permitiram determinar as espessuras de ordem nanométrica, a distribuição dos elementos em profundidade, as ligações químicas presentes na amostra, assim como interfaces abruptas. Além disso, o CrN tem estrutura cristalina e o Si3N4, essencialmente amorfo, satisfazem uma condição prevista na literatura de aumento de dureza pelo mecanismo de travamento das discordâncias nas interfaces cristalino-amorfo.

Conselho Nacional de Desenvolvimento Científico e Tecnológico

Surface engineering has been searching to attend the industrial demand for tools, parts and other components with larger lifecycles and higher wear resistance, by means of protective coatings whose mechanical, physical-chemical and tribological properties, such as hardness, friction, wear and corrosion and oxidation resistance can be optimized. One of the conditions that can influence directly these properties is the type of structure of the coating, as well as the temperature of the substrate during film deposition. In the present work were studied coatings composed by CrN/Si3N4 multilayers depositated on silicon substrate (001) at a temperature of 300°C, with varying bilayer periods between 2 and 10 nm. Several physicalchemical characterization techniques were used. Mechanical properties were assessed by nanoindentation tests. Films produced with single layers presented Cr/N ratio…

Advisors/Committee Members: Vasconcellos, Marcos Antonio Zen, Michels, Alexandre Fassini, Catafesta, Jadna, Baumvol, Israel Jacob Rabin.

▼ 

Tese de mestrado em Engenharia Informática, apresentada à Universidade de Lisboa, através da Faculdade de Ciências, 2013

Em projetos de desenvolvimento de software, os programadores colaboram muitas vezes em equipa com o intuito de aumentar a sua produtividade. Os sistemas de controlo de versões (VCS) permitem facilitar esta colaboração, tendo a tarefa de fundir as alterações feitas por cada membro da equipa, possibilitando modificações de um ou mais ficheiros concorrentemente por vários programadores e aumentando assim a produtividade da equipa. No entanto, vários conflitos podem emergir neste processo de fusão. Os sistemas de controlo de versões mais simples têm a capacidade de fundir linhas de texto; outros mais complexos recorrem às características sintáticas e semânticas de cada linguagem. Em resultado destas fusões podem aparecer diferentes tipos de conflitos, a maior parte detetada pelos compiladores, manifestando-se através de erros de compilação. Entre os conflitos mais importantes estão os conflitos semânticos, i.e., situações em que é possível fazer a fusão ao nível textual, mas o comportamento do programa passa a não ser correto. Estes conflitos são, por certos autores, classificados em duas categorias: conflitos estáticos e comportamentais. Os conflitos estáticos podem ser detetados a partir da análise do código fonte do programa, por exemplo durante a análise semântica do compilador. Os conflitos comportamentais afetam o comportamento dos programas, que após a fusão pode já não corresponder ao que cada membro esperava do código que produziu. No contexto de linguagens orientadas a objetos (OO) como o Java, este tipo de conflitos surge normalmente devido ao uso de primitivas específicas do OO como a herança, a redefinição e a sobrecarga de métodos. Este documento descreve uma técnica desenvolvida para detetar conflitos comportamentais em projetos Java, assim como um protótipo de uma ferramenta que concretiza parcialmente esta técnica. O objetivo da ferramenta, denominada MC-MODS (Merging Conflict and Mutation Operation Detection System), é diagnosticar classes importantes de conflitos em Java. A convicção é que ao reportar os conflitos detetados no contexto de VCSs irá ajudar a forma como os programadores trabalham cooperativamente. A técnica desenvolvida explora a semelhança que existe entre mudanças que ocorrem em resultado de um processo de fusão e as mutações efetuadas no contexto do teste de mutação, uma técnica que consiste em introduzir alterações em programas (chamadas mutações) para desenhar novos testes ou avaliar a qualidade dos testes existentes. As alterações efetuadas por cada membro da equipa podem ser vistas como mutações—mudanças ao código do membro sempre que chama o processo de atualização. O MCMODS, uma vez integrado com um sistema de controlo de versões, permitirá analisar as mutações produzidas por diferentes membros da equipa, procurando métodos que possam ter sido afetados por estas, ou seja, cuja semântica, ou comportamento, possa ter mudado. No que se segue, estes são chamados…

Advisors/Committee Members: Martins, Francisco Cipriano da Cunha, 1972-, Lopes, Maria Antónia Bacelar da Costa, 1968-.

▼ 

Tese de mestrado, Química Aplicada ao Património Cultural, Universidade de Lisboa, Faculdade de Ciências, 2009

Neste trabalho é descrito o estudo da caracterização de taninos em cabedais, através de testes químicos colorimétricos sobre as fibras de cabedais e dos respectivos extractos obtidos com uma mistura de água/acetona. Com o objectivo de desenvolver a metodologia de análise, bem como obter resultados que sirvam de referência, foram estudadas seis amostras de cabedais actuais curtidos com taninos de diferentes proveniências vegetais, uma das quais de curtimenta mista vegetal/mineral. Esta metodologia foi aplicada ao estudo de quatro amostras de cabedais históricos provenientes de estofos de mobiliário de assento, nomeadamente, um couro lavrado português do século XVII, um marroquim do século XIX, um cabedal liso do século XIX e um guadamecil do século XVIII. Foi ainda incluído no estudo um cabedal utilizado numa encadernação datada do século XIX. A metodologia utilizada neste trabalho incluiu a adaptação e optimização de três testes químicos - os testes da rodanina, do ácido nitroso e do butanol acidificado, desenvolvidos para identificar, respectivamente, galhotaninos, elagitaninos e taninos condensados em tecidos vegetais - para a caracterização de taninos em amostras de cabedais. Os extractos de água/acetona foram ainda analisados através de espectrofotometria de UV-Vis e espectroscopia de FTIR. Através dos resultados obtidos verificou-se que a metodologia de análise utilizada permite a caracterização de taninos em amostras de cabedais. Confirmou-se a classe dos taninos presentes nas amostras de cabedais actuais e identificaram-se os taninos utilizados na curtimenta do marroquim, do cabedal liso e da encadernação.

In this study it is described the characterization of tannins in leather samples using spot tests applied to leather fibbers and colorimetric assays applied to water/acetone extracts. Five new leather samples tanned with known vegetable sources were studied in order to develop a new analysis methodology and to obtain references for future comparisons. A mixed veg/mineral leather sample was also included. Four historic leather samples from furniture upholstery namely, 17th century Portuguese carved leather, 19th century morocco leather from, 19th century plain leather and 18th century gilt leather were investigated in what concerns their tannage. One bookbinding leather dated from 19th century was also included in this study. An adaptation and optimization of three chemical tests - rhodanine assay, nitrous acid assay and acid butanol assay, previously developed to, respectively, identify gallotannins, ellagitannins and condensed tannins in vegetable tissues – was used to characterize tannins in leather samples. UV-Vis and FTIR spectra were obtained for water/acetone leather extracts. With the methodology developed within this work it was possible to characterize veg tannins used in leather tannage. Tannage of new leathers was confirmed and tannins of the historic leathers, morocco, plain and…

Advisors/Committee Members: Araújo, Maria Eduarda Machado de, 1956-.

Tese de doutoramento, Linguística (Linguística Aplicada), Universidade de Lisboa, Faculdade de Letras, 2012

Fundação para a Cîência e a Tecnologia (FCT, SFRH/BD/27576/2006 e projeto PTDC/LIN/68034/2006)

Advisors/Committee Members: Gonçalves, Anabela, 1965-, Schlichting, Liesbeth, 1938-.

▼ Resumo: Pacientes pediátricos com doença grave e aguda apresentam frequentemente distúrbios metabólicos, hidroeletrolíticos e ácido-básicos, os quais podem ser correlacionados com as complicações apresentadas durante a evolução e também com a mortalidade. A hipofosfatemia é um distúrbio que pode afetar vários sistemas orgânicos e a prevalência deste distúrbio metabólico é significante em pacientes agudamente doentes. Objetivo: Verificar a utilidade do fósforo como marcador prognóstico em crianças agudamente doentes. Métodos: Estudo prospectivo, longitudinal, tipo observacional de 91 pacientes admitidos na UTI Pediátrica (UTIP) do Hospital de Clínicas (UFPR) entre junho e dezembro de 2005. De acordo com o motivo que levou à internação, os pacientes foram subdivididos em quatro grupos: grupo 1 (cirurgias eletivas), grupo 2 (sepse e outras síndromes infecciosas, exceto as de foco pulmonar), grupo 3 (pneumopatias agudas e infecções do trato respiratório) e grupo 4 (doenças do sistema nervoso central). Todos os pacientes que evoluíram a óbito ou foram transferidos da unidade nas primeiras 48 horas da admissão foram excluídos. Foram realizados exames de gasometria arterial e perfil bioquímico, registrados dados de exame físico de todos os pacientes no momento da admissão (hora zero), assim como 24 e 48 horas após. Uma segunda amostra foi constituída de 152 pacientes internados na UTIP no período de janeiro a setembro de 2006, para a qual, retrospectivamente foram recuperadas as informações sobre os níveis séricos de fósforo, nos mesmos momentos estabelecidos na primeira etapa do estudo, e evolução. Resultados: 91 pacientes preencheram esses critérios, sendo que 83 sobreviveram e 8 foram a óbito. Notou-se que a hipofosfatemia tem importante valor preditivo de mau prognóstico nestes pacientes, independente da causa que motivou a internação na UTIP, com significância superior à da hiperglicemia ou hiperlactatemia. Baixos valores séricos de fósforo no momento da admissão são os que possuem a maior sensibilidade e especificidade para mau prognóstico em pacientes agudamente doentes, principalmente naqueles com patologias do sistema respiratório. Conclusões: A hipofosfatemia esteve presente em todos os pacientes que foram a óbito, independente do motivo de internação na UTI Pediátrica ou da reposição exógena de fósforo para estes pacientes. Em todos os momentos do estudo (hora zero, 24 e 48 horas após), a hipofosfatemia teve valor preditivo de mortalidade nos pacientes estudados, principalmente no momento da admissão. Advisors/Committee Members: Cat, Izrail, Giraldi, Dinarte Jose, 1933-, Koliski, Adriana, Universidade Federal do Paraná. Setor de Ciencias da Saúde. Programa de Pós-Graduaçao em Saúde da Criança e do Adolescente.

▼ 

Orientador: Prof. Dr. Andrey Ricardo Pimentel

Tese (doutorado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa : Curitiba, 14/09/2018

Inclui referências: p.132-144

Área de concentração: Ciência da Computação

Resumo: A identificacao do perfil de personalidade de alunos, levando em consideracao as diferencas, colabora com os educadores no processo de encontrar situacoes de aprendizagem adequadas para cada aluno. Este processo pode ser realizado de forma intuitiva em pequenas turmas presenciais, mas apresenta-se como um grande desafio no cenario de grandes turmas em ambientes a distancia. Uma das formas de identificar o perfil de personalidade e a utilizacao dos inventarios de personalidade, nos quais os alunos respondem a uma serie de perguntas que sao posteriormente avaliadas, gerando os indicadores de perfil de personalidade de acordo com um modelo especifico. Em contrapartida a esses metodos manuais de aplicacao de inventarios, tem-se desenvolvido metodos nao intrusivos, baseados, por exemplo, na identificacao das pistas de personalidade registradas pelos individuos nos textos por estes produzidos. Com a utilizacao de processos de aprendizado de maquina, as pistas identificadas nos textos podem ser comparadas as pistas identificadas em bases de dados de referencia, nas quais um processo previo de identificacao manual foi realizado, inferindo-se assim o perfil de personalidade dos autores dos textos. Esta pesquisa apresenta um modelo, denominado IP3, que permite a realizacao da identificacao automatica do perfil de personalidade de alunos, de uma forma nao intrusiva, tendo como referencia somente o texto em portugues registrado por estes alunos em atividades educacionais. Este modelo e baseado em aprendizado de maquina, utilizando bases de aprendizado previamente rotuladas, modelos de representacao do texto e tecnicas de classificacao. Como base de treinamento e referencia para os testes dos classificadores, foram utilizadas as bases ESSAYS e myPersonality, bases estas utilizadas por diversas pesquisas na area de identificacao de personalidade a partir do texto. Para a representacao do texto foi utilizado o lexico LIWC, bem como a representacao estatistica nos modelos n-gram e Word2Vec. Tambem foram avaliadas as tecnicas utilizadas para classificacao de texto, sendo proposta a utilizacao da estrategia de combinacao de classificadores. Com o objetivo de validar o modelo apresentado, foi realizado um experimento pratico em um ambiente educacional. Os resultados apresentados demonstram a viabilidade da utilizacao do modelo IP3 para identificacao do perfil de personalidade dos alunos baseado somente nos textos registrados em ambientes educacionais. Palavras-chave: identificacao de personalidade, classificacao de texto, representacao de texto, processamento de linguagem natural, aprendizado de maquina.

The personality profile identification of students supports educators in the process of finding suitable learning conditions for each student while…

Advisors/Committee Members: Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática, Pimentel, Andrey Ricardo, 1965-.

▼ 

Tese (doutorado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2012

Bibliografia: f. 71-76

Introdução: Evidências indicam que o sedentarismo é um dos fatores de risco para a ocorrência de enfermidades coronarianas, acidentes vasculares cerebrais e doenças arteriais periféricas. Estratégias que conciliem gasto energético e diversão podem ser uma.

Introduction: Evidence suggests that a sedentary lifestyle is a risk factor for coronary artery disease, stroke, and peripheral arterial disease. Strategies that balance energy expenditure and fun can be an important alternative for combating the sedentar.

Advisors/Committee Members: Précoma, Dalton Bertolim, Pontifícia Universidade Católica do Paraná. Programa de Pós-Graduação em Ciências da Saúde.

▼ 

Tese (doutorado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2012

Inclui bibliografias

Introdução: O objetivo deste estudo foi determinar a dureza de cimentos resinosos de ativação química e dual para a cimentação de diferentes pinos em três profundidades do canal radicular. Métodos: Um canal radicular simulado foi confeccionado em um bloco

Objectives: The aim of the present study was to assess the hardness of selfand dual-cured resin cements used for the Iuting of different types of posts at different root canal depths. Methods: A simulated root canal was constructed in a Tefion® block. Tra

Advisors/Committee Members: Souza, Evelise Machado de, Pontifícia Universidade Católica do Paraná. Programa de Pós-Graduação em Odontologia.

▼ 

Submitted by Guilherme Lemes ([email protected]) on 2019-11-13T17:15:04Z No. of bitstreams: 1 Tese Final_ VERSÃO FINAL_AGO-2019.pdf: 5691251 bytes, checksum: 33184c896ffc07f6752436aa065d365e (MD5)

Approved for entry into archive by Jane Campos ([email protected]) on 2019-11-14T12:28:22Z (GMT) No. of bitstreams: 1 Tese Final_ VERSÃO FINAL_AGO-2019.pdf: 5691251 bytes, checksum: 33184c896ffc07f6752436aa065d365e (MD5)

Made available in DSpace on 2019-11-22T18:46:24Z (GMT). No. of bitstreams: 1 Tese Final_ VERSÃO FINAL_AGO-2019.pdf: 5691251 bytes, checksum: 33184c896ffc07f6752436aa065d365e (MD5) Previous issue date: 2019-02-25

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

As tecnologias utilizadas nos sistemas de cobertura do período colonial brasileiro são heranças da engenharia desenvolvida nos países colonizadores. Portugal como principal país colonizador do Brasil, aportou na então colônia, tecnologias construtivas que aproximaram ainda mais as duas culturas. A composição da simetria e volumetria das edificações das cidades de Braga, Porto e Guimarães assemelham-se com as cidades de Ouro Preto, Mariana e São João Del Rey. Fato se dá a imigração de engenheiros, arquitetos e militares da região norte portuguesa a então região de exploração das minas. Dentre os conhecimentos construtivos herdados pelos mestres de obra, as tipologias de cobertura tiveram destaque. As asnas de nível foram adaptadas ao regionalismo mineiro como tesouras de caibro-armado, o que de fato determinou a exuberante execução dos forros e ornatos no interior das edificações religiosas. Entretanto a madeira, como material orgânico e heterogêneo, necessita de inspeções minuciosas para determinação dos métodos mais adequados a manutenção de seus elementos. Metodologias não destrutivas são essenciais para as ações de preservação do patrimônio cultural edificado pois permitem a aplicação de métodos de inspeção sem a degradação do material. Neste contexto, a elaboração de uma metodologia de inspeção que englobe variáveis físicas e mecânicas das coberturas antigas considerando o difícil acesso aos elementos de madeira, a instabilidade da tipologia, a historicidade do sistema construtivo e o frágil estado da arte das construções são de exímia importância para a preservação das edificações históricas. Com isso, esta tese apresenta uma metodologia não destrutiva utilizando os métodos de termografia ativa, tomografia acústica e raio-x na inspeção da integridade de uma tesoura da Igreja do Santíssimo Sacramento da cidade de Jequitibá, Minas Gerais, investigando a historicidade do sistema construtivo de caibro-armado e suas raízes portuguesas.

The technologies used in the coverage systems of the Brazilian colonial period are inheritances of the engineering developed in the colonizing countries. Portugal as the main colonizing country of Brazil, contributed in the then colony constructive technologies that brought the two cultures closer together. The composition of the symmetry and volumetry of the buildings of the…

Advisors/Committee Members: Edgar Vladimiro Mantilla Carrasco, Eduarda Vieira, Luiz Antônio Cruz Souza, Willi de Barros Gonçalves, Tito Flávio Rodrigues de Aguiar, Rejane Costa Alves.

▼ A acromegalia é uma doença multissistêmica decorrente da hipersecreção do hormônio do crescimento (GH) e do fator de crescimento semelhante à insulina tipo I (IGF-I), o que resulta no crescimento somático exagerado e alterações nas proporções corporais, estando associada à considerável aumento da morbidade e mortalidade. Estima-se ainda que os problemas respiratórios contribuam com 25% de todas as mortes encontradas neste grupo de pacientes. Diferenças metodológicas entre os diversos estudos levaram ao surgimento de dados inconsistentes sobre o papel do crescimento alveolar no desenvolvimento do aumento do volume pulmonar em acromegálicos, o que reforça a importância de novos trabalhos e outras abordagens sobre o tema. Ao mesmo tempo, com o desenvolvimento tecnológico, os métodos de imagem propostos em alguns estudos foram substituídos por outros mais sensíveis como a tomografia computadorizada (TC) multislice (Q-MDCT) que garante adequada mensuração do volume pulmonar, o que proporciona diferentes tipos de comparação e análise e, ainda, permite o estudo anatômico do tórax e vias pulmonares. Nossos objetivos foram identificar os principais achados da tomografia computadorizada (TC) em pacientes acromegálicos, determinar por meio da TC de tórax o volume pulmonar e comparar os achados da densitometria pulmonar com os da função pulmonar entre pacientes acromegálicos com doença ativa e doença controlada e, secundariamente, correlacionar estes achados. Foi realizado um estudo transversal com 29 portadores de acromegalia que tiveram diagnóstico da acromegalia suspeitado por características clínicas e confirmado por níveis elevados de GH não suprimido ou com níveis de IGF-I acima do limite normal. Posteriormente, os pacientes foram subdivididos nos grupos doença ativa(11 indivíduos) e doença controlada(18 indivíduos), segundo os níveis séricos de IGF-I. Houve ainda um grupo controle (17 indivíduos) em que os pacientes, após já terem realizado TC de tórax por alguma razão, foram convidados à realizar os testes de função pulmonar. A Q-MDCT e os testes de função pulmonar apresentaram excelente correlação: o volume total do pulmão (VTP) medido na TC inspiratória apresentou correlação significante com a capacidade pulmonar total (rs=0,742, p=0,0001), enquanto VTP medido na TC expiratória apresentou correlação significante com a capacidade residual funcional (rs=0,606, p=0,0005). Os pacientes acromegálicos com doença ativa apresentaram pulmões mais pesados em relação aos controles [885 (723994) vs. 696 (599769) g, p=0.017]. Os pacientes com acromegalia ativa também apresentaram maiores quantidades de compartimentos pobremente aerados em relação aos outros dois grupos, sendo esta diferença observada em %VTP [3,25 (2,553,46) vs. 2,24 (1,702,56) vs. 1,70 (1,452,15), p = 0,001] e g [82,6 (75,4 100,2) vs. 63,9 (49,180,3) vs. 54,2 (42,259,2), p = 0,0001]. O compartimento pobremente aerado medido na TC inspiratória apresentou correlação significante com os níveis de GH e IGF (rs=0,407, p=0,029; rs=0,467, p=0,011, respectivamente). Em… Advisors/Committee Members: Agnaldo José Lopes, Domenico Capone, Alexandra Maria Monteiro Grisolia, Alysson Roncally Silva Carvalho.

▼ 

Este trabalho apresenta a caracterização da morfologia de filmes finos poliméricos e copoliméricos por meio de técnicas de processamento e análise de imagens, utilizando principalmente ferramentas baseadas na segmentação e rotulação. Os objetivos principais são a quantificação de grandezas geométricas das estruturas que formam os filmes e a descrição de padrões de superfície formados. Foram investigados dois conjuntos de imagens, (i) imagens de microscopia ótica de filmes finos de polianilina (PANI) depositados sobre vidro via técnica de impressão à jato de tinta, e (ii) imagens de microscopia de força atômica (AFM) de filmes de poliestireno-poli(etileno-butileno)-poliestireno (SEBS) depositados sobre mica por dip coating. Nos filmes de PANI, realizamos medidas de área, excentricidade, e dimensão fractal do contorno das gotas, para filmes depositados sobre substratos com diferentes características físicas: filmes recobertos com uma fina camada de poli(ácido-vinil-sulfônico) (PVS) e filmes sem recobrimento. Os resultados obtidos mostram que os valores de área das gotas apresentam uma pequena dispersão, com menor distribuição em torno da média no caso dos filmes sem recobrimento. Os valores de excentricidade são bem diferentes, evidenciando gotas com menor excentricidade nos filmes com recobrimento devido à adsorção das gotas pela camada polimérica. Os filmes de SEBS, por sua vez, despertam grande interesse devido à sua capacidade de formação de estruturas auto-organizadas em escala micro e nanométrica, e a extração de medidas durante o processo de evolução da morfologia do filme é uma contribuição de grande importância ao entendimento da dinâmica de formação dos padrões. Foram analisadas diferentes morfologias: filmes formados por estruturas auto-organizadas na forma de tiras e pontos regularmentes espaçados e filmes contínuos oriundos da segregação de fase dos componentes do copolímero por meio da chamada decomposição spinodal. No caso dos padrões regulares, a área recoberta dos filmes diminui conforme a morfologia evolui de tiras para pontos, enquanto a altura e a largura aumentam

This work presents a morphology description of thin polymers and copolymers films using image processing and analysis techniques, mainly using segmentation and labeling tools. The main purposes are the quantification of various geometric structures that form the films and the description of surface patterns. We investigate two image sets, (i) optical microscopy of polyaniline (PANI) thin films over glass substrates obtained by a deposition method based in ink jet printing, (ii) atomic force microscopy (AFM) images of poly(styrene)-b-poly(ethene-cobutene- 1)-b-poly(styrene) (SEBS) deposited over mica substrates by dip coating. For PANI films, it was calculated geometrical measures like area, eccentricity and fractal dimension of drops contours, in different hydrophilized glass substrates, covered or not with poly(vinyl sulfonic acid) (PVS). The obtained results show a small dispersion in drops area, where more than 80% of values are…

Advisors/Committee Members: Américo Tristão Bernardes, Luiz de Siqueira Martins Filho, Andréa Gomes Campos Bianchi.