Desenvolvimento de um sistema de aquecimento indutivo para a síntese de grafeno por CVD em reator de parede fria

Since it was firstly isolated, graphene has become one of the most researched nano materials, due to its exciting physical and chemical properties, namely the nearly ballistic transport and high charge mobility, optical transparency and extreme mechanical behaviour, meeting a plethora of application fields. However, the industrial mass-production is still to overcome, and a multitude of growing processes evolved as an effort to reach this objective. Fast, controlled and scalable growth of single crystalline graphene in a continuous process are the basic guidelines for an ideal synthesis process, that the Chemical Vapour Deposition (CVD) technique can offer. This work settles on the exploitation of Cold Wall CVD by designing, developing and testing an electromagnetic inductively assisted CVD system. This approach proved to enable rapid and controlled heating curves, allowing for sample suspension inside the reactor tube, permitting an operation based on optical pyrometric monitoring of the temperature as a key parameter for the growth process. Using this system, high quality single layer graphene domains with well-defined hexagonal shape were obtained, as confirmed by Raman spectroscopy and scanning electron microscopy. The present work contributes with an effort towards an understanding of graphene growth mechanisms in order to accurately control the substrate temperature, a key growth parameter.Desde que foi isolado pela primeira vez, o grafeno assumiu-se como um dos nano-materiais mais investigados dadas as suas extraordinárias propriedades, nomeadamente a condução elétrica quase balística e elevada mobilidade de carga, transparência ótica e comportamento mecânico extremo, compatíveis com um sem número de campos de aplicação. No entanto, a sua produção industrial em larga escala ainda não foi alcançada, e vários métodos de síntese foram sendo desenvolvidos num esforço para atingir esse objetivo. A síntese rápida, controlada e escalável num processo contínuo de grafeno monocristalino são condições altamente desejáveis que a técnica de Deposição Química em Fase de Vapor oferece. Este trabalho baseia-se no desenvolvimento de um sistema de aquecimento indutivo para a síntese de grafeno num reator CVD de parede fria, englobando a sua conceção, construção e validação. Esta abordagem permitiu obter curvas de aquecimento rápidas e controladas, numa configuração de amostra suspensa, possibilitando uma operação baseada na monitorização pirométrica da temperatura como parâmetro chave para o processo de crescimento. Utilizando este equipamento, foi possível obter domínios hexagonais de grafeno de camada única e elevada qualidade, como confirmado por espectroscopia de Raman e microscopia eletrónica de varrimento. O presente trabalho contribui para a compreensão dos mecanismos de crescimento de grafeno através do controlo preciso da temperatura do substrato, identificado como um parâmetro chave.Trabalho desenvolvido no âmbito do projeto UID/CTM/50015/2019 financiado por fundos nacionais pela FCT/MEC (UID/CTM/50025/2019) e cofinanciado pelo FEDER(POCI-01-0145-FEDER028755) sob o acordo de parceria PT2020.Mestrado em Engenharia Físic

Preparo do solo e perda de nutrientes por erosão na cultura do pepino

Minimum tillage reportedly reduce erosion, avoid soil degradation and improve crop productivity. This study aimed to determine how tillage operations may affect either nutrient accumulation or nutrient losses by erosion. The study was, carried out from December, 2000 to March, 2001, in the watershed of the Caetés River, in Rio de Janeiro State, Brazil (22º25'43"S, 43º25'07"W). The experiment was set up in sandy clay Kandiudult soil, 60% slope, under cucumber (Cucumis sativus L.) crop. Soil samples were collected before planting and after harvest, on 22.0 X 4.0 m Greeoff plots. After each rainfall, fine sediments carried by runoff were deposited into two collecting tanks in a row, installed at the end of each plot, and were later dried, weighed and stored for analyses. Treatments (n = 4) were characterized by different tillage systems: (i) downhill plowing followed by the burning of crop residues (DPB); (ii) downhill plowing with no burning of the crop residues (DPNB); (iii) animal traction contour plowing, with strips of guinea grass planted at a spacing of 7.0 m (AT); and (iv) minimum tillage (MT). Samples of the soil-plowed layer were collected before planting and after harvest, between the rows and from the plants. Total concentration of Ca, Mg, K and P were determined after extraction with nitric perchloride digestion. Labile P and exchangeable K were extracted with the Mehlich 1 extractant solution. The MT system reduced losses of both exchangeable bases (15%) and P (8%), and affected the distribution of labile and organic P. Crop residues left on soil surface in the MT system, resulted in increased organic matter content. Downhill plowing, the most used tillage operation in the region, resulted in the greatest losses of Ca, Mg, K, and P.O cultivo mínimo reputadamente reduz a erosão, evita a degradação do solo e melhora a produtividade das culturas. Este trabalho teve por objetivo determinar a influência de diferentes métodos de preparo do solo sobre o acúmulo e perdas por erosão de nutrientes. O experimento foi realizado na microbacia de Caetés, município de Paty do Alferes RJ, (22º25'43"S, 43º25'07"O) durante os meses de dezembro de 2000 a março de 2001 no ciclo de cultivo do pepino (Cucumis sativus L.). O experimento foi localizado em Argissolo Vermelho Amarelo, intermediário latossólico textura argila arenosa/argilosa e declividade de 60%. Foram instaladas parcelas do tipo Wischmeier, numa área de 22,0 X 4,0 m com diferentes sistemas de preparo de solo. Ao final de cada parcela foram instalados dois tanques para o armazenamento das águas pluviais e dos sedimentos carreados pela enxurrada. Os tratamentos (n = 4) utilizados foram: (i) aração com trator morro abaixo e queima dos restos vegetais (MAQ); (ii) aração com trator morro abaixo não queimado com restos de vegetação natural entre as linhas (MANQ); (iii) aração com tração animal em nível, faixas de capim colonião a cada 7,0 m (AA) e (iv) cultivo mínimo (CM). Nas linhas e nas covas de cada parcela foram coletadas amostras da camada arável do solo antes do plantio e depois da colheita. Após cada chuva os sedimentos carreados pela erosão foram recolhidos, secos, pesados e guardados para posterior análise. As concentrações totais de Ca, Mg, K e P em solo e sedimentos foram determinadas em extratos nitro perclóricos. O CM reduziu as perdas das bases trocáveis e do P e também influenciou na distribuição nas formas lábil e orgânica de P. O aproveitamento dos resíduos vegetais, na parcela sob CM, propiciou aumento no teor de matéria orgânica. O tratamento MAQ, típico da região, foi o que apresentou as perdas mais elevadas de Ca, Mg, K e P

Influência dos meios de armazenamento na microdureza do esmalte e da dentina

Poster apresentado no XXXV Congresso Anual da Sociedade Portuguesa de Estomatologia e Medicina Dentária (SPEMD), 9-10 Outubro 2015, Centro de Congressos do Lagoas Park, Oeiras, Lisboa.Under a Creative Commons license - http://creativecommons.org/licenses/by-nc-nd/4.0

Diagnóstico de avarias em motores elétricos

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia MecânicaOs motores elétricos trifásicos de indução são os mais utilizados na indústria, para o acionamento mecânico, devido à sua fiabilidade, robustez e baixa manutenção. A desvantagem da regulação da velocidade encontra-se ultrapassada pelos variadores de frequência. Apesar disto, é necessário garantir operações seguras e confiáveis, daí que se recorra à manutenção. O trabalho a desenvolver nesta dissertação, é o diagnóstico de avarias em motores elétricos, numa vertente do controlo da condição. Com o objetivo de verificar quais as vantagens e desvantagens de cada tecnologia. Foram provocados 5 danos em motores diferentes e cada um deles foi submetido a um diagnóstico, através de três tecnologias de manutenção preditiva, análise de vibrações, análise corrente e análise termográfica. Concluiu-se que, no caso da análise de corrente os resultados teóricos são validadosatravés dos diagnósticos, mas esta não é aplicada para a deteção, devido ao tempo que demora uma aquisição e quando dois danos são diagnosticados através da mesma opção não deteta a causa, por exemplo, em danos nos rolamentos e excentricidade só revelaque há variação do entreferro. Enquanto no caso da termografia, nesta dissertação, não mostrou dados satisfatórios, nem na deteção, como era esperado, mas a temperatura é muito importante no caso dos motores, logo deve estar presente. A análise de vibrações deteta grande parte dos danos numa fase incipiente mas os resultados necessitam de um diagnóstico cuidado. Sintetizando, no caso desta dissertação, as tecnologias complementaram-se e chegaram a um diagnóstico mais assertivo.Abstract: The three-phase induction motors are the most used in industry for mechanical drive due to its reliability, robustness and low maintenance, the disadvantage of speed regulation is overcome by frequency inverters. Although it is necessary to ensure safe and reliable operations, hence it will turn maintenance. The work in this thesis is the diagnosis of faults in electric motors, an arm of the control condition. In order to check the advantages and disadvantages of each technology. were caused 5 damages in different engines and each was subjected to a diagnostic of three predictive maintenance technologies through, vibration analysis, thermal analysis and flow analysis It was concluded that, in the case of the MCSA theoretical results are validated through the diagnosis, but this is not applied to the detection, due to the time it takes an acquisition and when two injuries are diagnosed using the same option does not detect the cause for example, in damage to bearing eccentricity and only reveals that there is variation in air gap. While in the case of thermal imaging, this dissertation showed no satisfactory data, and the detection, as expected, but the temperature is very important in case of engines, must soon be present. Vibration analysis detects most of the damage at an early stage but the results require a careful diagnosis. Summarizing, in the case of this dissertation, the technologies are complementary and evolved into a more assertive diagnosis

Em direção à formalização das propriedades de normalização do sistema λex

Trabalho de Conclusão de Curso (graduação)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2016.O cálculo /\ é um sistema formal, capaz de expressar o processo computacional. Pela sua simplicidade e expressividade, este cálculo é usado como modelo teórico para o paradigma de programação funcional. Em consequência disto, uma grande quantidade de extensões do cálculo foi proposta, com o objetivo de obter um sistema formal intermediário entre o cálculo /\ e suas implementações. O objeto de estudo deste trabalho é uma destas variantes, chamada /\ex, um cálculo com substituições explicitas proposto por Delia Kesner. Este cálculo é um dos primeiros a possuir a preservação da normalização forte enquanto permite composição completa de substituições explícitas. Continuamos o trabalho de formalização deste cálculo, no assistente de prova Coq, iniciado em 2014, e que tem por objetivo fornecer uma prova mecância e construtiva da propriedade de normalização forte para o cálculo /\ex. Mais especificamente, iniciamos a prova da propriedade IE, chave para a prova da preservação da normalização forte do cálculo /\ex. Isto foi feito seguindo a estratégia de prova no artigo da Kesner: estendemos a formalização para marcar alguns termos que não inserem problemas de normalização e definimos regras de redução para lidar com tais termos. Por fim, provamos a equivalência dessas novas regras com a regra original do sistema./\-calculus is a formal system, capable of expressing the computational process. Because of its simplicity and expressiveness, this calculus is used as a theorical model for the paradigm of functional programming. Consequently, a great variety of extensions were proposed, with the goal of obtaining an intermediate formal system between the /\-calculus and its implementations. The object of study of this work is one of these variants, called /\ex, a calculus with explicit subsititutions, proposed by Delia Kesner. This calculus is one of the first to preserve strong normalization of terms while permitting full composition of explicit substitutions. We continued the work in the formalization of this calculus, in the Coq proof assistant, initiated in 2014, with the goal of providing a mechanical and constructive proof of the strong normalization property for the /\ ex calculus. More specifically, we began the proof of the IE property, key to the demonstration of the preservation of strong normalization of the _ex-calculus. This was done following the strategy on Kesner’s paper: we extended the formalization to mark some terms that do not insert normalization issues and define reduction rules to deal with such terms. Finally, we prove the equivalence of these new rules with the original reduction rule of the system

A investigação criminal na PSP: que contributo para a missão da polícia de segurança pública

À Polícia de Segurança Pública está atribuída a nobre missão de velar pela segurança de pessoas e bens, em observância dos princípios do Estado de Direito Democrático. A actividade de investigação criminal conheceu, nos últimos anos, um forte desenvolvimento no seio desta força de segurança, Instituição centenária, que realizou, ao longo da sua história, um complexo percurso evolutivo, através do qual acompanhou as mudanças da sociedade que serve, e da qual faz parte, com vista à realização da sua missão, “Promover a Liberdade em Segurança.” A actividade de investigação criminal representa um desvio ao paradigma tradicional de policiamento desenvolvido por esta polícia. Esse desvio é, no entanto, compatível com a sua natureza e missão, desempenhando um papel activo, profícuo e reconhecido na prossecução da realização da justiça penal. É essencial a existência de uma visão integrada das diversas valências da Polícia de Segurança Pública, com vista à maximização dos recursos disponíveis, com ganhos evidentes para a Instituição e para a sociedad

O viés da confirmação e a responsabilidade do auditor independente

Monografia (graduação)—Universidade de Brasília, Faculdade de Economia, Administração e Contabilidade, Departamento de Ciências Contábeis e Atuariais, Bacharelado em Ciências Contábeis, 2016.Durante repercussões polêmicas, as opiniões tendem a divergir de alguma maneira, isso ocorre porque a mente humana volta-se a considerar informações que estão de acordo com suas crenças, fato denominado de Viés da Confirmação. A responsabilidade do auditor na contabilidade é um desses assuntos. Há os que creem que os auditores devem ser responsabilizados em casos de fraude, e os que discordam. O objetivo deste trabalho é constatar se o viés da confirmação se aplica ou não em relação ao entendimento da responsabilidade do auditor na emissão de seus pareceres em casos de fraudes para alunos de Ciências Contábeis da Universidade de Brasília. A analise dos 132 questionários aplicados resultou na positividade do viés da confirmação, onde se concluiu, por meio das respostas, que a tendência foi de fornecer maior credibilidade às informações que confirmam crenças e pensamentos pessoais do que aceitar algo que possa contradizer.During polemical repercussions opinions tend to differ in some way, this is because the human mind turns to consider information that is according to your beliefs, this fact is called confirmation bias. The responsibility of the auditor in accounting is one of these issues, there are those who believe that auditors should be held responsible in cases of fraud, and those who disagree. The objective of this study is to see if the confirmation bias is applied or not in relation to the understanding of the auditor's responsibility in issuing its opinions in cases of fraud for students of Accounting at the University of Brasilia. A questionnaire was administered to 132 students to receive their opinion of these. Then, the data were tabulated in Excel and inserted into Gretel program, which has shown the positivity of confirmation bias, through the relationship between students' conceptions and their answers

A resolution-based E-connected calculus

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2019.Neste trabalho, apresentamos um cálculo para raciocinar sobre E-conexões, as quais provêem um método computacionalmente robusto para combinar Abstract Description Systems (ADSs) arbitrários. ADSs, introduzidos por Baader et al, são uma generalização de várias lógicas, tais como temporais, espaciais, epistêmicas, lógicas descritivas e modais. Provemos um cálculo baseado em resolução para lidar com conexões, assumindo que o problema de satifatibilidade global das lógicas componentes é decidível. Isto nos permite focar em raciocinar apenas sobre as restrições impostas pelas E-conexões, deixando o raciocínio específico de cada domínio para as lógicas componentes. Um dos passos mais importantes necessários para alcançar isto é a devida separação dos elementos sintáticos relacionados às diferentes componentes, através de uma forma normal proposta. Assim, provemos o conjunto completo de regras de transformação, apresentando provas para a terminação e preservação de satisfatibilidade desta transformação. Este trabalho apresenta as provas de correção, completude e terminação para o cálculo proposto. Também disponibilizamos uma implementação prototípica, baseada no provador KSP. Discutimos os resultados da avaliação e sugerimos algumas modificações que podem ser feitas para melhorar a performance, abrindo caminho para o desenvolvimento de uma futura implementação tanto modular quanto eficiente.Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES).We introduce a calculus to reason about E-connections, which provide a computationally ro- bust method to combine arbitrary Abstract Description Systems (ADSs). ADSs, introduced by Baader et al, are a generalization of various logics such as temporal, spatial, epistemic descrip- tion and modal logics in general. In this work, we restrict the logics to be combined to normal modal logics. We provide a resolution-based calculus to deal with connections, assuming that the global satisfiability problems of the component logics are decidable. This allows us to focus on reasoning only about the restrictions imposed by the E-connections, leaving domain-specific reasoning to the component logic. One of the most important steps required to achieve this is the proper separation of syn- tactical elements related to different components via a proposed normal form. Therefore, we provide the full set of transformation rules, presenting proofs for termination and preservation of satisfiability of this transformation. This work presents the correctness, completeness and termination proofs for the proposed calculus. We also make available a proof-of-concept implementation, based on the KSP prover. We discuss the results of the evaluation and suggest some modifications that can be made to improve performance, paving the way for the development of a future modular and efficient implementation

NEW LOCATIONS AND HABITAT STUDY OF THE RARE IBERIAN ENDEMISM

Serapias perez-chiscanoi Acedo is an Iberian endemism (Orchidaceae) initially found along the Guadiana river basin (Extremadura of Spain), in wet (not flooded) grasslands, on siliceous sands, from 100 to 400m. The species’ presence in Sado Basin (Portugal) was first discovered by Pereira et al. (2008) in Baixo Alentejo (Alvito, Vila Nova da Baronia). This population (200 individuals) was monitored from 2002 to 2007, in order to study the habitat characteristics and ecological succession. Very recently, two new locations were found in Central Portugal: one close to Abrantes (Alferrarede), and another in Serra de Sicó (Pombal, Ereiras), locating the taxon in the basins of the rivers Tagus and Mondego, respectively. Although it is considered rare, being protected under Spanish laws, this orchid occurs in vulnerable habitats that require conservation. Still little is known about its biology and ecology, and it does not benefit from any legal protection in Portugal. This work comprises its habitats in Portugal, focusing in flora and vegetation analysis (classic sigmatist method of Braun-Blanquet, phytosociological relevés and tables), geology, biogeography, bioclimatology and top soil characteristics. The population near Alferrarede (occurring in a degraded clearing of Eucalyptus sp. forest), is placed in the cork oak climatophilous series gaditan-algarvian and lusitan-extremadurean Asparago aphylli-Querceto suberis sigmetum, and its sub-serial stages Erico scopariae-Quercetum lusitanicae, Asparago aphylli-Myrtetum communis, Thymo villosi-Ulicetum airensis and Trifolio cherleri-Plantaginetum bellardii. The population found in 2010 in Ereiras, in calcareous substrates, is included in the Nature 2000 Network (Sítio Sicó/Alvaiázere - PTCON0045). The dominant climatophilous series is Arisaro-Quercetum broteroi sigmetum, endemic for the Dividing Portuguese and Ribatagan-Sadensean sectors, with the sub-serial stages Lavandulo luisieri-Ulicetum jussiaei, Phlomido lychnitidis-Brachypodietm phoenicoidis (correspondent to the priority habitat “6210: Semi-natural dry grasslands and scrubland facies on calcareous substrates (Festuco Brometalia)(*important orchid habitats)”) and Trifolio cherleri-Plantaginetum bellardii. The studied habitats share a strong Mediterranean character, having a preference for moist soils covered by perennial and annual grasslands (in humid depressions of the soil), at the humid fringes of Ulex sp. heaths, in the understorey of oak formations

Dynamic Fluid Flow Exacerbates the (Pro-)Inflammatory Effects of Aerosolised Engineered Nanomaterials In Vitro

The majority of in vitro studies focusing upon particle–lung cell interactions use static models at an air–liquid interface (ALI). Advancing the physiological characteristics of such systems allows for closer resemblance of the human lung, in turn promoting 3R strategies. PATROLS (EU Hori-zon 2020 No.760813) aimed to use a well-characterised in vitro model of the human alveolar ep-ithelial barrier to determine how fluid-flow dynamics would impact the outputs of the model following particle exposure. Using the QuasiVivoTM (Kirkstall Ltd., York, UK) system, fluid-flow conditions were applied to an A549 + dTHP-1 cell co-culture model cultured at the ALI. DQ12 and TiO2 (JRCNM01005a) were used as model particles to assess the in vitro systems’ sensitivity. Us-ing a quasi- and aerosol (VitroCell Cloud12, VitroCell Systems, Germany) exposure approach, cell cultures were exposed over 24hrs at IVIVE concentrations of 1 and 10 (DQ12) and 1.4 and 10.4 (TiO2) µg/cm2, respectively. We compared static and fluid flow conditions after both these expo-sure methods. The co-culture was subsequently assessed for its viability, membrane integrity and (pro-)inflammatory response (IL-8 and IL-6 production). The results suggested that the addition of fluid flow to this alveolar co-culture model can influence the viability, membrane integrity and inflammatory responses dependent on the particle type and exposure