Inversão de funções do plano no plano aplicada ao cálculo de azeótropos

Azeotropia é um fenômeno termodinâmico onde um líquido em ebulição produz um vapor com composição idêntica. Esta situação é um desafio para a Engenharia de Separação, já que os processos de destilação exploram as diferenças entre as volatilidades relativas e, portanto, um azeótropo pode ser uma barreira para a separação. Em misturas binárias, o cálculo da azeotropia é caracterizado por um sistema não-linear do tipo 2 × 2. Um interessante e raro caso é o denominado azeotropia dupla, que pode ser verificado quando este sistema não-linear tem duas soluções, correspondendo a dois azeótropos distintos. Diferentes métodos tem sido utilizados na resolução de problemas desta natureza, como métodos estocásticos de otimização e as técnicas intervalares (do tipo Newton intervalar/bisseção generalizada). Nesta tese apresentamos a formulação do problema de azeotropia dupla e uma nova e robusta abordagem para a resolução dos sistemas não-lineares do tipo 2 × 2, que é a inversão de funções do plano no plano (MALTA; SALDANHA; TOMEI, 1996). No método proposto, as soluções são obtidas através de um conjunto de ações: obtenção de curvas críticas e de pré-imagens de pontos arbritários, inversão da função e por fim, as soluções esperadas para o problema de azeotropia. Esta metodologia foi desenvolvida para resolver sistemas não-lineares do tipo 2 × 2, tendo como objetivo dar uma visão global da função que modela o fenômeno em questão, além, é claro, de gerar as soluções esperadas. Serão apresentados resultados numéricos para o cálculo dos azeótropos no sistema benzeno + hexafluorobenzeno a baixas pressões por este método de inversão. Como ferramentas auxiliares, serão também apresentados aspectos numéricos usando aproximações clássicas, tais como métodos de Newton com técnicas de globalização e o algorítmo de otimização não-linear C-GRASP, para efeito de comparação.

The Riemann-Hilbert method applied to the theory of orthogonal polynomials

Doutoramento em Matemática

Left ventricle functional analysis from coronary CT angiography

Coronary CT angiography is widely used in clinical practice for the assessment of coronary artery disease. Several studies have shown that the same exam can also be used to assess left ventricle (LV) function. LV function is usually evaluated using just the data from end-systolic and end-diastolic phases even though coronary CT angiography (CTA) provides data concerning multiple cardiac phases, along the cardiac cycle. This unused wealth of data, mostly due to its complexity and the lack of proper tools, has still to be explored in order to assess if further insight is possible regarding regional LV functional analysis. Furthermore, different parameters can be computed to characterize LV function and while some are well known by clinicians others still need to be evaluated concerning their value in clinical scenarios. The work presented in this thesis covers two steps towards extended use of CTA data: LV segmentation and functional analysis. A new semi-automatic segmentation method is presented to obtain LV data for all cardiac phases available in a CTA exam and a 3D editing tool was designed to allow users to fine tune the segmentations. Regarding segmentation evaluation, a methodology is proposed in order to help choose the similarity metrics to be used to compare segmentations. This methodology allows the detection of redundant measures that can be discarded. The evaluation was performed with the help of three experienced radiographers yielding low intraand inter-observer variability. In order to allow exploring the segmented data, several parameters characterizing global and regional LV function are computed for the available cardiac phases. The data thus obtained is shown using a set of visualizations allowing synchronized visual exploration. The main purpose is to provide means for clinicians to explore the data and gather insight over their meaning, as well as their correlation with each other and with diagnosis outcomes. Finally, an interactive method is proposed to help clinicians assess myocardial perfusion by providing automatic assignment of lesions, detected by clinicians, to a myocardial segment. This new approach has obtained positive feedback from clinicians and is not only an improvement over their current assessment method but also an important first step towards systematic validation of automatic myocardial perfusion assessment measures.

Effect assessment of nanoparticles toxicity in the terrestrial compartment

Over 11 million tons of nanomaterials (NMs) have been produced in 2012 and predictions point the increase in production. Despite predictions and extended usage via consumer products and industry, the understanding of the potential impact of these materials on the environment is virtually absent. The main aim of this thesis is to understand how a selected group of nanomaterials (metal based particles) may impact soil invertebrates, with special focus on the mechanisms of response. Since a case-by-case Environmental Risk Assessment (ERA) of all the emerging contaminants (particularly NMs) is impossible, among others due to time and cost reasons, to gain understanding on the mechanism of action and response is very important to reach a common paradigm. Understanding the modes of action provides predictive characters in cross particle extrapolation. Besides, it also provides insight for the production of new and sustainable materials. Overall, the effects of the selected NMs (Copper and Silver, Titanium and Zirconium oxides) and the respective salt forms, were investigated at the gene expression (using high-throughput tools, microarray and qPCR technology), biochemical (using enzymatic assays for analysis of oxidative stress markers) and organism (survival and reproduction as in OECD test guidelines) levels, this using standard soil species (Enchytraeus albidus, Enchytraeus crypticus, Eisenia fetida). Gene expression analysis provided valuable information on the mechanisms affected by each of the NMs. The gene expression profile highlighted a (nano)material signature and the effect of the duration of exposure. The functional analyses integrated with the biochemical and organism data, revealed a good understanding power. The biochemical parameters (oxidative stress related) were distinct across the materials and also influenced by duration of exposure and concentration. The standardized organismal responses differed the least between the various materials. The overall outcome is that, in this context of NMs effect assessment, gene expression and enzymatic assays introduced a very important knowledge gap, which could not had been achieved by the standard organismal effects alone. A reoccurring issue with some metal based NMs is the possible dissolution and subsequent release of ions that then causes toxicity e.g. Cu-NPs or Ag-NPs release Cu2+ or Ag+. The oxidation state of the particles was investigated, although this was not the focus of the thesis. The study of fate, e.g. dissolution of NPs, is also only in its beginning and the appropriate techniques are currently being developed. The results showed a specific nanoparticle effect. The UV exposure with titanium dioxide nanoparticles increased its effect.

Functional analysis of String/CDC25 phosphatase in post-mitotic neurons

Cell cycle and differentiation are two highly coordinated processes during organ development. Recent studies have demonstrated that core cell cycle regulators also play cell cycle-independent functions in post-mitotic neurons, and are essential for the maintenance of neuronal homeostasis. CDC25 phosphatases are well-established CDK activators and their activity is mainly associated to proliferating tissues. The expression and activity of mammalian CDC25s has been reported in adult brains. However, their physiological relevance and the potential substrates in a non-proliferative context have never been addressed. string (stg) encodes the Drosophila CDC25 homolog. Previous studies from our group showed that stg is expressed in photoreceptors (PRs) and in lamina neurons, which are two differentiated cell types that compose the fly visual system. The aims of this work are to uncover the function of stg and to identify its potential neuronal substrates, using the Drosophila visual system as a model. To gain insight into the function of stg in a non-dividing context we used the GAL4/UAS system to promote downregulation of stg in PR-neurons, through the use of an RNAi transgene. The defects caused by stg loss-of-function were evaluated in the developing eye imaginal disc by immunofluorescence, and during adult stages by scanning electron microscopy. This genetic approach was combined with a specific proteomic method, two-dimensional difference gel electrophoresis (2D-DIGE), to identify the potential substrates in PR-cells. Our results showed that stg downregulation in PRs affects the well-patterned retina organization, inducing the loss of apical maintenance of PR-nuclei on the eye disc, and ommatidia disorganization. We also detected an abnormal accumulation of cytoskeletal proteins and a disruption of the axon structure. As a consequence, the projection of PR-axons into the lamina and medulla neuropils of the optic lobe was impaired. Upon stg downregulation, we also detected that PR-cells accumulate Cyclin B. Although the rough eye phenotype observed upon stg downregulation suggests neurodegeneration, we did not detect neuronal death during larval stages, suggesting that it likely occurs during pupal stages or during adulthood. By 2D-DIGE, we identified seven proteins which were differentially expressed upon stg downregulation, and are potential neuronal substrates of Stg. Altogether, our observations suggest that Stg phosphatase plays an essential role in the Drosophila visual system neurons, regulating several cell components and processes in order to ensure their homeostasis.

Insights into molecular and cellular events involved in normal and pathological vertebral development and fusion using zebrafish as model organism

The vertebral column and its units, the vertebrae, are fundamental features, characteristic of all vertebrates. Developmental segregation of the vertebral bodies as articulated units is an intrinsic requirement to guarantee the proper function of the spine. Whenever these units become fused either during development or postsegmentation, movement is affected in a more or less severe manner, depending on the number of vertebrae affected. Nevertheless, fusion may occur as part of regular development and as a physiological requirement, like in the tetrapod sacrum or in fish posterior vertebrae forming the urostyle. In order to meet the main objective of this PhD project, which aimed to better understand the molecular and cellular events underlying vertebral fusion under physiological and pathological conditions, a detailed characterization of the vertebral fusion occurring in zebrafish caudal fin region was conducted. This showed that fusion in the caudal fin region comprised 5 vertebral bodies, from which, only fusion between [PU1++U1] and ural2 [U2+] was still traceable during development. This involved bone deposition around the notochord sheath while fusion within the remaining vertebral bodies occur at the level of the notochord sheath, as during the early establishment of the vertebral bodies. A comparison approach between the caudal fin vertebrae and the remaining vertebral column showed conserved features such as the presence of mineralization related proteins as Osteocalcin were identified throughout the vertebral column, independently on the mineralization patterns. This unexpected presence of Osteocalcin in notochord sheath, here identified as Oc1, suggested that this gene, opposing to Oc2, generally associated with bone formation and mature osteoblast activity, is potentially associated with early mineralization events including chordacentrum formation. Nevertheless, major differences between caudal fin region and anterior vertebral bodies considering arch histology and mineralization patterns, led us to use RA as an inductive factor for vertebral fusion, allowing a direct comparison of equivalent structures under normal and fusion events. This fusion phenotype was associated with notochord sheath ectopic mineralization instead of ectopic perichordal bone formation related with increased osteoblast activity, as suggested in previous reports. Additionally, alterations in ECM content, cell adhesion and blood coagulation were discussed as potentially related with the fusion phenotype. Finally, Matrix gla protein, upregulated upon RA treatment and shown to be associated with chordacentrum mineralization sites in regular development, was further described considering its potential function in vertebral formation and pathological fusion. Therefore with this work we propose zebrafish caudal fin vertebral fusion as a potential model to study both congenital and postsegmentation fusion and we present candidate factors and genes that may be further explored in order to clarify whether we can prevent vertebral fusion.

Identification and molecular characterization of bone-related micrornas: functional implications

Tese de doutoramento, Ciências Biomédicas, Departamento de Ciências Biomédicas e Medicina, Universidade do Algarve, 2014

Base genética da hipercolesterolemia familiar

Tese de doutoramento, Bioquímica (Genética Molecular), Universidade de Lisboa, Faculdade de Ciências, 2014

Biological membranes : biophysical properties and aquaporin function

Tese de doutoramento, Farmácia (Bioquímica), Universidade de Lisboa, Faculdade de Farmácia, 2014

Software de gestão de manutenção como ferramenta de apoio à melhoria da eficiência da gestão de infraestruturas

Este trabalho académico surge no âmbito da realização da dissertação do Mestrado em Engenharia e Gestão Industrial. Tem como objetivo a melhoria da gestão do Departamento de Infraestruturas, numa empresa de produção de motores elétricos para a indústria automóvel, através da análise, implementação e melhoria de um software de gestão de manutenção, de forma a aumentar a eficiência do Departamento. Este estudo foi desenvolvido durante um estágio curricular na empresa Globe Motors Portugal Lda, localizada em Vila do Conde. Para sua sustentação, foi efetuada uma análise funcional, suportada por um Software de gestão de manutenção, de forma a perceber qual a importância que o mesmo tem no funcionamento do Departamento de Infraestruturas. Pretendeu-se compreender quais as vantagens e desvantagens da sua utilização. Posteriormente, implementou-se uma nova versão deste software, analisando-se os pontos fortes e as oportunidades de melhoria, de forma a tornar o Departamento de infraestruturas mais eficiente, através da utilização desta renovada ferramenta de trabalho. Como objetivo último, pretendeu-se à melhoria da organização e gestão do Departamento de infraestruturas, contribuindo para um desenvolvimento de toda a empresa, uma vez que comungamos a ideia de que só é possível ser competitivo, num mercado altamente exigente, através de processos eficientes, possibilitando a redução de custos a todos os níveis.

Localização de jogos

Dissertação de Mestrado apresentada ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Tradução e Interpretação Especializadas, sob orientação do Doutor Manuel Moreira da Silva Esta versão não contém as críticas e sugestões dos elementos do júri

Conceptualization and therapeutic treatment of a compulsive gambling case by Functional Analysis and Acceptance and Commitment Therapy

A clinical case of compulsive gambling is exposed in this article. The subject’s playing behaviour had both positive and negative consequences. The subject tried to practice control over the urge to play. As shown in the functional analysis, the failure to control the urge despite the best efforts worsened the problem due to its negative consequences. A variation of acceptance and commitment therapy (ACT) was applied in order to break down the fight-surrender vicious circle of the playing behaviour. Two treatment strategies were agreed upon: acceptance of the fact that both playing and not playing had negatives consequences and commitment to one of these options despite its disadvantages. Finally, it is proposed that this acceptance and commitment therapy is a useful therapeutic process as it decreases the suffering subject and eliminates the problem: playing bahaviour.

La génesis de las parafilias sexuales y la homosexualidad egodistónica: el Modelo de los Mecanismos Tensionales

Mediante el desarrollo del Modelo de los Mecanismos Tensionales, basado en el trastorno de evitación experiencial (Hayes, Wilson, Gifford, Follette & Stroshal,1996) y en la Teoría de la Terminación Conductual propuesta por McConaghy (1980), el presente artículotrata de exponer una serie de fenómenos que pueden estar pasando desapercibidos a la hora de explicar la génesis y el mantenimiento de las parafilias sexuales y la homosexualidad egodistónica. Para ello se parte del análisis de los testimonios de sujetos parafílicos y homosexuales egodistónicos (que no aceptan su homosexualidad) registrados durante los años 2005 y 2006. Desde una perspectiva de la psicología contextual y haciendo uso del análisis funcional y topográfico de las conductas características de cada trastorno, se observará cómo ambas manifestaciones sexuales tienen aspectos comunes (factores predisponentes, precipitantes y demantenimiento) en su origen y evolución.

Tópicos em programação dinâmica

Muitos problemas de Dinâmica em Economia se encaixam dentro de uma estrutura de modelos de decisão seqüencial, sendo resolvidos recursivamente. Programação Dinâmica uma técnica de otimização condicionada que se encarrega de solucionar problemas desse tipo. Esse trabalho tem como objetivo apresentar uma resenha dos principais resultados teóricos em Programação Dinâmica. Os métodos da Programação Dinâmica são válidos tanto para problemas determinísticos como para os que incorporam variável incerteza. esperada objetividade de uma dissertação de Mestrado, no entanto, nos impediu de extender análise, deixando assim de considerar explicitamente neste trabalho modelos estocásticos, que teria enriquecido bastante parte destinada aplicações Teor ia Econômica. No capítulo desenvolvemos instrumental matemático, introduzindo uma série de conceitos resultados sobre os quais se constrói análise nos capítulos subsequentes. Ilustramos tais conceitos com exemplos que seguem um certo encadeamento. Nas seções 1.1 1.2 apresentamos as idéias propriedades de espaços métricos espaços vetoriais. Na seção 1.3, prosseguimos com tópicos em análise funcional, introduzindo noção de norma de um vetor de espaços de Banach. seção 1.4 entra com idéia de contração, Teor ema do Ponto Fixo de Banach e o teor ema de Blackwell. O Teorema de Hahn-Banach, tanto na sua forma de extensão quanto na sua forma geométrica, preocupação na seção 1.5. Em particular, forma geométrica desse teorema seus corolários são importantes para análise conduzida no terceiro capítulo. Por fim, na seção 6, apresentamos Teorema do Máximo. Ao final deste capítulo, como também dos demais, procuramos sempre citar as fontes consultadas bem como extensões ou tratamentos alternativos ao contido no texto. No capítulo II apresentamos os resultados métodos da Programação Dinâmica em si seção 2.1 cuida da base da teoria, com Princípio da Otimal idade de Eellman e a derivação de um algoritmo de Programação Dinâmica. Na seção 2.2 mostramos que esse algoritmo converge para função valor ótima de um problema de horizonte infinito, sendo que esta última satisfaz chamada Equação de Bellman. seção seguinte se preocupa em fornecer caracterizaçBes para função valor mencionada acima, mostrando-se propriedades acerca de sua monotonicidade concavidade. seção 2.4 trata da questão da diferenciabi idade da função valor, que permite se obter alguns resultados de estática Cou dinâmica} comparativa partir da Equação de Bellman. Finalmente, na seção 2.5 apresentamos uma primeira aplicação Teoria Econômica, através de um modelo de crescimento econômico ótimo. No capítulo III introduzimos uma outra técnica de otimização Programação Convexa- mostramos dificuldade em se tentar estabelecer alguma relação de dominância entre Programação Dinâmica Programação Convexa. Na seção 3.2 "apresentamos os Teoremas de Separação, dos quais nos utilizamos na seção seguinte para demonstrar existência de Multiplicadores de Lagrange no problema geral da Programação Convexa. No final desta seção dizemos porque não podemos inferir que em espaços de dimensão infinita Programação Convexa não pode ser aplicada, ao contrário da Programação Dinâmica, que evidenciaria uma dominancia dessa última técnica nesses espaços. Finalmente, capítulo IV destinado uma aplicação imediata das técnicas desenvolvidas principalmente no segundo capítulo. Com auxílio dessas técnicas resolve-se um problema de maximização intertemporal, faz-se uma comparação dos resultados obtidos através de uma solução cooperativa de uma solução não-cooperativa.

Aplicabilidade dos conceitos de manufatura enxuta e ágil em serviços : caso de telecomunicações

A área de manufatura tem durante os últimos cem anos se utilizado de uma série de desenvolvimentos técnicos e organizacionais que lhe permitiu aumentos de eficiência. Considerando que manufatura enxuta e ágil são as modalidades de organização mais atuais em termos de gestão para indústrias de manufatura e que elas tem trazido aumento de competitividade das empresas, buscou-se analisar a sua aplicação no ramo de serviços. O objetivo deste trabalho é analisar a aplicabilidade dos conceitos de manufatura enxuta e ágil em serviços e mais especificamente no mercado brasileiro de telecomunicações. Optou-se pelas serviços de comunicação de dados corporativos e escolheram-se empresas prestadoras deste tipo de serviço no Brasil. Para se considerar a aplicabilidade destes conceitos buscou-se respostas às seguintes perguntas: • Os conceitos de manufatura enxuta são aplicáveis à indústria de serviços? • Caso os conceitos de manufatura enxuta sejam aplicáveis, quais são sugestões para aplica-los formalmente e estruturadamente na indústria de serviços? • Os conceitos de manufatura ágil são aplicáveis à indústria de serviços? • Caso os conceitos de manufatura ágil sejam aplicáveis, quais são sugestões para aplica-los formalmente e estruturadamente na indústria de serviços? Utilizou-se de três estudos de caso. Através do uso de estudos de caso associados à Técnica de Análise Funcional de Sistemas estruturou-se a pesquisa focando na visão do cliente deste tipo de serviço. A indústria de serviços tem tido um aumento na importância econômica na maioria dos países porém não tem tido a oportunidade de usufruir , ainda que parcialmente, de muitos dos grandes avanços que a indústria de manufatura e processo obtiveram durante sua longa evolução até o estágio atual. Considerando estes fatos é extremamente pertinente prover a indústria de serviços de novos instrumentais para aumentar sua eficiência e eficácia e com isso garantir o aumento da competitividade.