Avaliação de Riscos para a Segurança da Informação no ISEP Aplicação ao Processo de Notas

Desde que existe informação, há necessidade de criar um sistema que permita gerir e garantir que a informação está segura e que cumpre os requisitos básicos de segurança. Como tal, é necessário desenvolver técnicas e mecanismos para que os requisitos sejam testados e melhorados continuamente. Com esta necessidade em vista, apareceram padrões que dão resposta a um conjunto vasto de problemas, em diferentes sistemas e aplicações diversas. Estes tornaram-se guias de reflexão para quem os analisava, de arquitetura para quem os implementava e modelos para quem os geria. O padrão ISO 27001 dá resposta aos cuidados a ter para se conseguir um sistema de gestão da segurança da informação eficaz e eficiente. Esta norma preocupa-se com os detalhes de aplicação até à forma como é implementado e arquitetado o sistema. Os processos, atividades, fluxos de trabalho são essenciais para que esta norma seja cumprida. É necessário um bom escrutínio dos processos e suas atividades, assim como um fluxo de trabalho bem definido com papéis e responsabilidades de cada ator. É necessário também assegurar a forma como é gerido, a sua verificação e melhoria contínua. Foi aplicado no ISEP um exercício com o qual se pretendeu verificar se os processos e outros aspetos seguiam estes cuidados e se estavam de acordo com a norma. Durante o exercício foram verificados processos dentro de um certo âmbito, todas as suas atividades, papéis e responsabilidades, verificação de recursos, aplicação de controlos e aplicação de uma análise de risco. Esta análise tem como objetivo verificar o nível de segurança dos recursos, algo que a norma ISO 27001 propõe mas não especifica em que moldes. No final deste exercício pretendeu-se melhorar o sistema de gestão de informação do ISEP em vertentes tais como a documentação, a qual especifica quais os passos realizados no decorrer do mesmo.

Projeto e desenvolvimento de células robotizadas para soldadura e cladding

A utilização de equipamentos robóticos para o processo de soldadura por arco elétrico teve um forte crescimento nas décadas de 80 e 90, altura em que o custo e fiabilidade da tecnologia passou a permitir a integração de robôs em linhas de produção ou em células de fabrico. Depressa cresceram as exigências de uma produção com qualidade repetitiva e facilmente ajustável, e as restrições ao uso de processos manuais ou de tecnologias com pouca flexibilidade. Desde o início do século XXI que a renovação de uma estação de fabrico de peças soldadas para produção em série, especialmente no setor automóvel, parece forçada à integração de robôs industriais, que assim se tornaram símbolos de produtividade. A KAMAZ encontra-se atualmente a renovar alguns dos seus processos de fabrico, incluindo as áreas de soldadura por arco ou cladding. Esta Dissertação aborda o trabalho elaborado, depois de contratualizada com a ABB Rússia a instalação de novas células de fabrico robotizado nesta empresa. Este projeto tem início com o levantamento das necessidades, a verificação do processo existente, e a procura da solução tecnológica que se adapte a essas condições e cumpra os requisitos acordados. São realizadas modelações e simulações off-line em 3D, usando o software RobotStudio da ABB, que permitiram testar cada solução e analisar a sua adequação e viabilidade. Para maior garantia de se obter a qualidade esperada na fusão e deposição do material por processo com arco elétrico revestido a gás, foram realizados testes reais utilizando equipamento robótico em condições baseadas nos testes feitos no ambiente virtual. Por último, são ajustadas as localizações dos postos de trabalho ao layout existente e é feito o balanceamento do tempo de operação manual com o tempo do processo robotizado. Este projeto de Tese termina com a aceitação do cliente para a solução encontrada e para os resultados dos testes reais de ambos os processos.

Aplicação de um software de cálculo automático na verificação aos estados limites de utilização em estruturas de Betão Armado

Actualmente e cada vez mais, são concebidos e utilizados programas de cálculo automático de Engenharia na realização de projectos de edifícios, que proporcionam aos engenheiros uma possibilidade avançada e rápida de execução, simulação e análise de edifícios para estruturas complexas e de elevada dimensão. Contudo, será necessário que os resultados deverão ser fiáveis de modo a não existirem consequências no comportamento real da estrutura a longo prazo. O presente relatório de estágio, refere-se à verificação aos estados limites de utilização (tensões, fendilhação e deformação) segundo o Eurocódigo 2, de uma estrutura porticada em betão armado, nomeadamente de um pórtico central pertencente a essa mesma estrutura recorrendo ao programa de cálculo automático da Autodesk o Robot Structural Analysis Professional 2014. O objectivo principal do presente trabalho consiste na comparação de resultados referente aos estados limites últimos e de utilização, pelos diferentes módulos de dimensionamento Required e Provided Reinforcement presentes no programa Robot. É destacado no final do relatório, considerando uma disposição de armadura optada analiticamente para o pórtico, uma análise comparativa de resultados referente aos estados limites de utilização entre o comando Typical Reinforcement do módulo Provided Reinforcement e por expressões analíticas. Refere-se contudo que, o procedimento do método analítico teve como base de cálculo uma aplicação desenvolvida para a verificação de elementos de betão armado aos estados limites de utilização segundo o Eurocódigo 2, com o nome de XD-Conserv tendo sido também comparado os resultados finais do mesmo.

Avaliação numérica e experimental da carga admissível de vigas compostas para monocarris de sistemas de elevação

Este trabalho foi realizado com o apoio, e em colaboração da empresa Flexcrane, que constrói e comercializa soluções flexíveis de pontes rolantes para cargas ligeiras. Com cargas máximas de 2 toneladas estas pontes e seus caminhos de rolamento são construídas essencialmente enformados a frio. O objetivo deste trabalho é a verificação numérica e experimental das cargas que este tipo de estrutura suporta, nas suas diferentes configurações. Numa aproximação por engenharia inversa, com a realização deste trabalho, foi possível determinar a carga admissível das vigas compostas utilizadas, assim como o seu comportamento quando em carga. Para obtenção destes resultados foram realizadas simulações computacionais recorrendo ao método de elementos finitos, utilizando para isso o software Ansys Workbench e ainda ensaios experimentais que permitiram validar os resultados obtidos numericamente e consolidar o conhecimento sobre o comportamento desta solução comercial. Por ser de construção modular, são possíveis diferentes combinações para o produto final, por esta razão foram estudados numericamente diferentes configurações possíveis, com e sem reforços. Foi realizada a validação experimental para a configuração mais usual, fazendo recurso a um dispositivo para ensaio de estruturas e componentes, pertencente ao Isep. Foi ainda utilizada a técnica extensométrica para avaliar as tensões em pontos selecionados e compara-los com os obtidos numericamente. Concluiu-se pelo ótimo desempenho dos produtos Flexcrane.

Information flow analysis using data-dependent logical propositions

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

Type-based protocol conformance and aliasing control in concurrent java programs

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

Derivation and consistency checking of models in early software product line engineering

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

A proof system for lock-free concurrency

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

Analysable software language translations

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

Proposta de abordagem para gestão de ocorrências em Serviços de Sangue

RESUMO: A gestão de ocorrências, sendo um requisito, quer legal, ao nível da regulação, quer normativo, tal como surge na ISO 9001, é um componente crítico para garantir a melhoria contínua um Serviço de Sangue, dado ter como objetivo a satisfação contínua dos requisitos dos dadores e recetores. A gestão eficaz, mas com eficiência, depende, também da eficácia da abordagem para gestão de ocorrência, nomeadamente, através da geração de correções, ações corretivas e ações preventiva eficazes. Esta dissertação discute a relevância, propondo um modelo de abordagem de gestão da qualidade conforme com os requisitos da lei fundamental da regulação de Serviços de Sangue, DL 267/2007, e com a norma global para sistemas de gestão da qualidade, ISO 9001. Esta abordagem usada descreve as várias etapas para a gestão eficaz de ocorrências, desde o seu relato, à sua classificação, tratamento com medição e análise risco associado e verificação da eficácia das ações tomadas. A eficácia do modelo teórico proposto foi verificado através da sua passagem para algoritmo informático num software comercial. Foi evidenciado neste software o cumprimento dos requisitos da abordagem teórica, pelo que a aplicação informática está conforme com os requisitos estabelecidos num procedimento documentado. Foi evidenciado, também, a rastreabilidade dos dados ao longo e toda a metodologia. A utilização de uma ferramenta informática também acrescentou valor ao modelo teórico, dado o acesso a toda a informação ser mais célere e de fácil acesso, quando comparado com o uso em suporte de papel.---------ABSTRACT: The issues management is a law requirement intended for regulation of “Blood Banks” and a quality management global requirement from ISO 9001. It is a critical activity, intended to to ensure continuous improvement on “Blood Bank”. Its goal is the continuous satisfaction of blood donors and transfusion recipients. Effective management and efficiency also depend on the effectiveness of the management of occurrence approach, namely in successful corrections, corrective actions and preventive actions. This paper discusses the relevance and it proposes a model approach to quality management according to the requirements of the fundamental law of regulation of “Blood Bank”, DL 267/2007, and according to the global standard for quality management systems, ISO 9001. This approach describes the various steps for effective management of incidents, such as his account, its classification, measurement and treatment using risk analysis and verification of the effectiveness of actions taken. The efficiency of the proposed theoretical model was verified through its transition to a computer algorithm trading software. It was demonstrated in this software that the requirements of the theoretical approach has been fulfilled by the computer application, which complies with the requirements established in a documented procedure. It was also evident that traceability of data across the methodology. The use of a software tool also added value to the theoretical model due to the access to all information to be faster and more easily accessible, when compared to paper.

The Evolution of Population Distribution on the Iberian Peninsula: A Transnational Approach (1877–2001)

Surpassing the national perspective usually adopted, the authors confirmed the existence of a pattern of population distribution common to the whole Iberian Peninsula in the long run. This pattern is clearly associated with geographical factors. These variables seem to have more weight in explaining changes between 1877/78 and 1940 than in the period from 1940 to 2001. The observation of the cross-border region has shown that proximity to the frontier has not generated any distinct pattern of population density on either side of the boundary line. The spatial coherence of the observed phenomena throughout the Peninsula and of its evolution, independent of the border between states, reinforces the importance of geographic factors in their explanation. At the same time, this verification opens up new issues related to the effect of national political and economic policies.

Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores

Differentiation between Candida albicans and Candida dubliniensis using hypertonic Sabouraud broth and tobacco agar

INTRODUCTION: Opportunistic fungal infections in immunocompromised hosts are caused by Candida species, and the majority of such infections are due to Candida albicans. However, the emerging pathogen Candida dubliniensis demonstrates several phenotypic characteristics in common with C. albicans, such as production of germ tubes and chlamydospores, calling attention to the development of stable resistance to fluconazole in vitro. The aim of this study was to evaluate the performance of biochemistry identification in the differentiating between C. albicans and C. dubliniensis, by phenotyping of yeast identified as C. albicans. METHODS: Seventy-nine isolates identified as C. albicans by the API system ID 32C were grown on Sabouraud dextrose agar at 30°C for 24-48h and then inoculated on hypertonic Sabouraud broth and tobacco agar. RESULTS: Our results showed that 17 (21.5%) isolates were growth-inhibited on hypertonic Sabouraud broth, a phenotypic trait inconsistent with C. albicans in this medium. However, the results observed on tobacco agar showed that only 9 (11.4%) of the growth-inhibited isolates produced characteristic colonies of C. dubliniensis (rough colonies, yellowish-brown with abundant fragments of hyphae and chlamydospores). CONCLUSIONS: The results suggest that this method is a simple tool for screening C. albicans and non-albicans yeast and for verification of automated identification.

Texto(s) e competência textual

A investigação de que resulta o presente trabalho foi desenvolvida em Teoria do texto - área de especialização em Linguística criada na FCSH - UNL pela Professora Luísa Opitz. Os contornos teóricos e epistemológicos da configuração disciplinar assim designada merecem naturalmente uma atenção particular. Pode dizer-se que os primeiros contributos, no sentido de uma abordagem linguística do texto, se devem aos vários trabalhos que, sobretudo na Holanda e na Alemanha, desde o início dos anos setenta, preconizavam o alargamento do quadro generativista para além do domínio da frase. A estes projectos de gramática de texto convém também associar. como se pode compreender, a noção de competência textual - enquanto sistema de regras susceptíveis de derivarem qualquer texto, numa determinada lingua natural. Veja-se o paralelismo da definição proposta por Petôfi (um dos autores em destaque, nesta perspectiva): Its direct aim [of the grammatical theory of verbal texts] is to describe the knowledge of the 'ideal native speaker/listener' concernmg the grammatical structuredness of verbal texts (i.e. his verbal grammatical competence). PETÔFI 1973:206 Quase em simultâneo com a convicção generativista, ou decorrendo de alguma insatisfacão que se ia instalando, outras tendências menos formalizantes se faziam também sentir. Pode destacar-se, em particular, o ponto de vista de P. Hartmann, no prefácio que assina para Studies in Text Grammar, editado por J.S. Petôfi e H. Rieser em 1973. Assinalando a mudança, em termos de interesses epistemológicos, associada ao facto de se tratar de objectos cuja descrição requer mais dimensões do que as contempladas por uma gramática de frase, Hartmann afirma: Se a nogão de texto aparece associada å de fungão (ou funções), uma e outra são fundamentalmente determinadas pela decisão relativa aos objectos sujeitos a observação - isto é, pelo facto de se tomarem em consideração os textos efectivamente produzidos em situações de comunicação, não sujeitos, portanto, a reduções metodológicas.

Technical optimization of the synthesis of flavours

The goal of this thesis is the investigation and optimization of the synthesis of potential fragrances. This work is projected as collaboration between the University of Applied Sciences in Merseburg and the company Miltitz Aromatics GmbH in Bitterfeld‐Wolfen (Germany). Flavoured compounds can be synthesized in different ways and by various methods. In this work, methods like the phase transfer catalysis and the Cope‐rearrangement were investigated and applied, for getting a high yield and quantity of the desired substances and without any by‐products or side reactions. This involved the study of syntheses with different process parameters such as temperature, solvent, pressure and reaction time. The main focus was on Cope‐rearrangement, which is a common method in the synthesis of new potential fragrance compounds. The substances synthesized in this work have a hepta‐1,5‐diene‐structure and that is why they can easily undergo this [3,3]‐sigma tropic rearrangement. The lead compound of all research was 2,5‐dimethyl‐2‐vinyl‐4‐hexenenitrile (Neronil). Neronil is synthesized by an alkylation of 2‐methyl‐3‐butenenitrile with prenylchloride under basic conditions in a phase‐transfer system. In this work the yield of isolated Neronil is improved from about 35% to 46% by according to the execution conditions of the reaction. Additionally the amount of side product was decreased. This synthesized hexenenitrile involved not only the aforementioned 1,5‐diene‐structure, but also a cyano group, that makes this structure a suitable base for the synthesis of new potential fragrance compounds. It was observed that Neronil can be transferred into 2,5‐dimethyl‐2‐vinyl‐4‐hexenoic acid by a hydrolysis under basic conditions. After five hours the acid can be obtained with a yield of 96%. The following esterification is realized with isobutanol to produce 2,5‐dimethyl‐2‐vinyl‐4‐hexenoic acid isobutyl ester with quantitative conversion. It was observed that the Neronil and the corresponding ester can be converted into the corresponding Cope‐product, with a conversion of 30 % and 80%. Implementing the Cope‐rearrangement, the acid was heated and an unexpected decarboxylated product is formed. To achieve the best verification of reaction development and structure, scrupulous analyses were done using GC‐MS, 1H‐NMR and 13C‐ NMR.