Análise da interoperabilidade aplicada ao projeto BIM de Estruturas Metálicas

O BIM – Building Information Modeling – é um conceito de controlo e gestão de informação desenvolvida, entre diferentes especialidades e intervenientes envolventes, durante o ciclo de vida das construções. A utilização das tecnologias BIM, no ramo da Engenharia Mecânica e Civil, tem sido uma aposta constante, e cada vez mais concisa, nos projetos de construção. A justificação para a adoção destas metodologias mais eficientes, em substituição dos processos convencionais, prende-se com o facto desses processos convencionais, ainda hoje, apresentarem muitas dificuldades e problemas associados, por exemplo, à falta de comunicação entre os intervenientes e ao ineficiente controlo na gestão de projetos. O objetivo desta dissertação centra-se na análise da interoperabilidade de softwares BIM, ou seja, na verificação da viabilidade de exportação de dados dos modelos produzidos, entre as ferramentas BIM. Para este campo de ação contribuirá a análise da passagem de informação, relativa ao modelo de uma Nave Industrial modelada, em alguns dos softwares BIM, correntemente mais utilizados. O conhecimento adquirido com a modelação do caso de estudo do presente trabalho irá permitir identificar algumas lacunas existentes ao nível da falta de recomendações práticas que sirvam de orientação na modelação recorrendo a ferramentas informáticas BIM-compatíveis. Assim, a base deste trabalho consiste na criação de uma série de recomendações ou de um roteiro de modelação em específico para a disciplina de estruturas enquanto área de aplicação concreta do estudo efetuado. Nesse sentido, a proposta deste trabalho é de apresentar alguns critérios de modelação onde são definidos os elementos a modelar em cada fase do projeto.

Aquisição de exaustividade em crianças falantes de Português Europeu

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciências da Linguagem

Projeto de estruturas do edifício administrativo de um polo logístico em Viana-Angola

O objetivo deste trabalho consiste em efetuar o dimensionamento estrutural de um edifício em betão armado, contemplando as diferentes fases, desde a conceção inicial, com a definição do modelo estrutural e escolha criteriosa dos elementos e soluções constituintes, até à fase final de dimensionamento, considerando para além das cargas gravíticas, a ação do vento e a ação sísmica. No âmbito deste trabalho considerou-se o dimensionamento de elementos estruturais nomeadamente, sapatas, paredes, pilares, vigas e lajes, com a verificação de segurança à flexão simples, flexão composta, esforço transverso e punçoamento, consoante a necessidade de cada elemento. Para tal, foi desenvolvido uma folha de cálculo automático (Macro) que permite a verificação da capacidade resistente de secções, à flexão simples e ao esforço transverso, quer em elementos com ou sem armadura de esforço transverso. Os esforços atuantes que estiveram na origem das verificações estruturais foram calculados com base na aplicação de um programa tridimensional de elementos finitos, nomeadamente o programa de cálculo ROBOT STRUCTURAL ANALYSIS. Os Critérios Gerais de Dimensionamento considerados, com base na regulamentação em vigor em Portugal – RSA, REBAP e Eurocódigos, bem como as Hipóteses de Cálculo consideradas na verificação aos estados limites últimos dos elementos estruturais são detalhadamente enunciados ao longo do trabalho. Os desenhos de elementos estruturais dimensionados, bem como os desenhos de dimensionamento do edifício encontram-se em Anexo.

Frequency of hepatitis B immunity and occupational exposures to body fluids among brazilian medical students at a public university

In the present study the frequencies of immunity against hepatitis B (HB) and of potentially contaminating accidents among medical students of a Brazilian public university were evaluated. Of all the 400 students who should have been immunized, 303 (75.7%), 66.3% of whom were women, answered an anonymous, self-administered questionnaire. Serum anti-HBs were determined in 205 of them and titers > 10 UI/L were considered to be protective. A total of 86.8% of students had received three doses of HB vaccine. The frequency of immunity among women (96.4%) was higher (p = 0.04) than that among men (87.7%). Among those who did not have immunity, 12/13 (92.3%) had been vaccinated before entering medical school. Only 11% of the students with complete vaccination had previously verified serological response to the vaccine. A total of 23.6% reported having been somehow exposed to blood or secretions. Among final-year students, this frequency was 45.0%, being similar among men (47.8%) and women (43.2%). Of all these accidents, 57.7% were due to body fluids coming in contact with mucosa and 42.3% due to cut and puncture accidents. The results from this study show that: 1) the frequency of immunity against HB is high among the evaluated medical students, although verification of response to vaccination is not a concern for them; 2) anti-HBs titers should be verified after complete vaccination and on a regular basis, especially by men; and 3) the frequency of potentially contaminating accidents is high.

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.