Refinamento de diagramas de classes: análise e verificação

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

In-situ X-ray diffraction studies during growth of Ni-Ti shape memory alloy films and their complementary ex-situ characterization

Shape Memory Alloy (SMA) Ni-Ti films have attracted much interest as functional and smart materials due to their unique properties. However, there are still important issues unresolved like formation of film texture and its control as well as substrate effects. Thus, the main challenge is not only the control of the microstructure, including stoichiometry and precipitates, but also the identification and control of the preferential orientation since it is a crucial factor in determining the shape memory behaviour. The aim of this PhD thesis is to study the optimisation of the deposition conditions of films of Ni-Ti in order to obtain the material fully crystallized at the end of the deposition, and to establish a clear relationship between the substrates and texture development. In order to achieve this objective, a two-magnetron sputter deposition chamber has been used allowing to heat and to apply a bias voltage to the substrate. It can be mounted into the six-circle diffractometer of the Rossendorf Beamline (ROBL) at the European Synchrotron Radiation Facility (ESRF), Grenoble, France, enabling an in-situ characterization by X-ray diffraction(XRD) of the films during their growth and annealing. The in-situ studies enable us to identify the different steps of the structural evolution during deposition with a set of parameters as well as to evaluate the effect of changing parameters on the structural characteristics of the deposited film. Besides the in-situ studies, other complementary ex-situ characterization techniques such as XRD at a laboratory source, Rutherford backscattering spectroscopy(RBS), Auger electron spectroscopy (AES), cross-sectional transmission electron microscopy (X-TEM), scanning electron microscopy (SEM), and electrical resistivity (ER) measurements during temperature cycling have been used for a fine structural characterization. In this study, mainly naturally and thermally oxidized Si(100) substrates, TiN buffer layers with different thicknesses (i.e. the TiN topmost layer crystallographic orientation is thickness dependent) and MgO(100) single crystals were used as substrates. The chosen experimental procedure led to a controlled composition and preferential orientation of the films. The type of substrate plays an important role for the texture of the sputtered Ni-Ti films and according to the ER results, the distinct crystallographic orientations of the Ni-Ti films influence their phase transformation characteristics.

Gas tungsten arc welding of NiTi shape memory alloy

Shape memory alloys are characterized by the ability of recovering their initial shape after being deformed and by superelasticity. Since the discovery of these alloys, a new field of interest emerged not only for the scientific community but also to many industries. However, these alloys present poor machinability which constitute a constrain in the design of complex components for new applications. Thus, the demand for joining techniques able to join these alloys without compromising their properties became of great importance to enlarge the complexity of existing applications. Literature shows that these alloys are joined mainly using laser welding. In the present study, similar NiTi butt joints, were produced using TIG welding. The welds were performed in 1.5 mm thick plates across the rolling direction. A special fixture and gas assist device was designed and manufactured. Also a robot arm was adapted to accommodate the welding torch to assure the repeatability of the welding parameters. Welds were successfully achieved without macroscopic defects, such as pores and distortions. Very superficial oxidation was seen on the top surface due to insufficient shielding gas flow on the weld face. The welded joints were mechanically tested and structurally characterized. Testing methods were used to evaluate macro and microstructure, as well as the phase transformation temperatures, the mechanical single and cyclic behaviour and the shape recovery ability. Differential Scanning Calorimetry (DSC), Scanning Electron Microscopy (SEM), Energy Dispersive Spectroscopy (EDS), microhardness measurements were techniques also used to evaluate the welded joints. A depletion in Ni in the fusion zone was seen, as well as a shift in Ms temperature. For strain values of 4% the accumulated irrecoverable strain was of about 30% and increased with the strain imposed during cycling. Nevertheless, a complete recovery of initial shape was observed when testing the shape memory effect on a dedicated device that introduces a deformation of 6.7%. That is, the welding procedure does not remove the ability of the specimens to recover their initial shape.

Plasma nitriding of AA2011 alloy and surface characterization by NDT techniques

Al-Cu alloys are widely used in the aerospace and automotive industries due to their high specific strength in some tempered conditions. However, due to poor corrosion and wear resistance, they are often anodized and/or painted. Plasma nitriding has been proposed as an alternative, though the developments in this technique are still in a recent stage for Al alloys. Electrical characterization techniques are well implemented NDTs in the industry because of good accuracy associated with lower cost, compared to other methods. Some, like eddy currents and 4-point probe techniques, are often used in coating inspection. The objective of this study was to perform Al nitriding at low temperatures to minimize the tempering initial condition damage and to assess the feasibility of eddy currents technique as a method for evaluating surface properties. The work developed can be divided in two stages. The first one was the process tuning, done at the Shibaura Institute of Technology, in Tokyo; and the second was the electrical characterization done in Faculdade de Ciências e Tecnologia, UNL. Low temperature nitriding of AA2011 alloy specimens was successfully achieved. Electrical conductivity results show that lift-off measurements by eddy currents testing can be related to surface properties.

Integrating the theme approach with aspectual scenarios

Dissertação de Mestrado em Engenharia Informática

Modelo de sistemas de informação técnica baseado numa plataforma SIG

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

Noble metal nanoparticles - Au and Ag - for biodetection

Dissertation submitted for obtainment of the Master’s Degree in Biotechnology, by the Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Preliminary study on the production of functionally graded materials by friction stir processing

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Mecânica

Metamodelação de processos e serviços

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

DNA nanoprobes for molecular detection

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Biológica – especialidade Engenharia Genética, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Archaeometallurgical study of artefacts from Castro de Vila Nova de São Pedro (Azambuja, Portugal)

Dissertação para obtenção do Grau de Mestre em Conservação e Restauro

Production of aluminium based composites reinforced with embedded NiTi by friction stir welding

Dissertação para a obtenção do grau de Mestre em Engenharia Mecânica

Recuperação automática da modelação comportamental com aplicações ao ensaio baseado em modelos

O problema dos sistemas de software legados sem documentação ou com documentação obsoleta, continua a ser uma realidade no mundo empresarial. O progressivo aumento da dimensão e complexidade dos sistemas desenvolvidos vem aumentar a necessidade de existirem mecanismos de modelação e documentação de apoio às actividades de manutenção e teste. Apesar da investigação que tem sido levada a cabo para tentar apresentar cada vez melhores abordagens à resolução deste problema,o seu uso no mundo empresarial ainda é muito esparso. Tal deve-se, pelo menos em parte, ao facto de muitas das abordagens propostas acabarem por representar um acrescento do esforço e do tempo, que as organizações não estão em condições de disponibilizar. Esta dissertação contribui com uma abordagem automatizada de suporte às actividades de documentação de sistemas, de manutenção e de testes. Para demonstrar a aplicabilidade e usabilidade da abordagem, propõe-se a implementação de uma ferramenta de apoio. A abordagem proposta baseia-se em técnicas já existentes e consolidadas, mas propõe extensões que permitem melhorar a sua integração,usabilidade e eficiência na sua aplicação. O problema fulcral aqui tratado é a inexistência ou insuficiência de documentação sobre os sistemas desenvolvidos. De modo a mitigar este problema, é apresentado um mecanismo de recuperação da modelação dinâmica de sistemas legados e respectiva geração de artefactos documentais,nomeadamente diagramas de sequência (UML), cartões CRC e matrizes de CRUD. Finalmente, introduzem-se técnicas de rastreabilidade e de apoio a testes de qualidade e cobertura para os sistemas construídos, usando uma metáfora de coloração de diagramas UML.

Cenários visuais: rastreio de requisitos, documentação e animação para sistemas legados

A rastreabilidade dos requisitos de software nos sistemas legados é um problema recorrente na maioria das empresas. Existem várias causas para este problema, mas as razões principais estão na falta de documentação e unem-se à inexistência de um suporte adequado que permita manter a rastreabilidade entre os requisitos, o desenho e o código fonte de um sistema de software. Nos casos em que existe alguma documentação do sistema esta apresenta-se normalmente na forma de documentos de texto não estruturado, escritos em língua natural. A falta de um standard para representar a informação, torna mais difícil perceber a estrutura e a complexidade de um sistema legado. Esta dissertação vem tentar mitigar o problema apresentado, da falta de rastreabilidade entre os requisitos e a implementação, propondo uma abordagem inovadora designada por Cenários Visuais. A técnica proposta tenta mitigar o problema que existe da rastreabilidade do software e vai facilitar a compreensão do sistema por parte de todos os envolvidos, desde a sua criação até às fases posteriores do seu ciclo de vida. Os cenários visuais são filmagens da execução de cenários, onde é possível encontrar informação adicional sobre as iterações entres os componentes de um sistema. Os cenários visuais são uma representação dinâmica e sincronizada entre duas perspectivas de um sistema de software. A primeira corresponde à perspectiva do utilizador do sistema (caixa preta) e é constituída por um filme descrevendo cada cenário de um caso de utilização. A segunda corresponde à perspectiva do construtor de sistemas de software (caixa branca) e é concretizada por um diagrama de sequência (UML). O processo de criação de um cenário visual servirá de suporte para a criação automática de documentação de sistemas legados e facilitará a validação dos requisitos de um sistema de software. Em suma, espera-se que com esta dissertação a compreensão de um sistema de software legado possa vir a ser melhorada.

De arquitecturas organizacionais em i* para arquitecturas baseadas em agentes: uma abordagem orientada a modelos

Os requisitos dizem, normalmente, o que um sistema deve fazer, por oposição a como fazê-lo. O contexto organizacional justifica e ajuda a compreender os porquês que levam à necessidade de certos requisitos importantes para um sistema de software ser bem sucedido. As técnicas de modelação de requisitos oferecem o conhecimento que permite a análise necessária nesta fase inicial do desenvolvimento. Contudo, a maioria das técnicas de requisitos são mais adequadas para uma fase posterior do processo da engenharia de requisitos. O desenvolvimento de software orientado a agentes procura preencher esta lacuna, mas é um paradigma relativamente recente. Para a consolidação deste novo paradigma, o projecto Tropos está a desenvolver uma abordagem para o desenvolvimento orientado a Agentes que se baseia nos conceitos sociais e intencionais oferecidos pela abordagem de modelação organizacional i*. No entanto, o uso do i* não é suficientemente expressivo como uma linguagem de descrição arquitectural. Reconhecendo no UML a capacidade de actuar como linguagem de descrição arquitectural, esta dissertação especifica as transformações necessárias dos modelos arquitecturais organizacionais descritos em i*, para os modelos arquitecturais descritos no perfil de Agência do UML utilizado para modelar sistemas multi-agente, através de uma abordagem orientada a modelos.