Deteção e previsão de falhas em equipamentos de produção industrial

As empresas nacionais deparam-se com a necessidade de responder ao mercado com uma grande variedade de produtos, pequenas séries e prazos de entrega reduzidos. A competitividade das empresas num mercado global depende assim da sua eficiência, da sua flexibilidade, da qualidade dos seus produtos e de custos reduzidos. Para se atingirem estes objetivos é necessário desenvolverem-se estratégias e planos de ação que envolvem os equipamentos produtivos, incluindo: a criação de novos equipamentos complexos e mais fiáveis, alteração dos equipamentos existentes modernizando-os de forma a responderem às necessidades atuais e a aumentar a sua disponibilidade e produtividade; e implementação de políticas de manutenção mais assertiva e focada no objetivo de “zero avarias”, como é o caso da manutenção preditiva. Neste contexto, o objetivo principal deste trabalho consiste na previsão do instante temporal ótimo da manutenção de um equipamento industrial – um refinador da fábrica de Mangualde da empresa Sonae Industria, que se encontra em funcionamento contínuo 24 horas por dia, 365 dias por ano. Para o efeito são utilizadas medidas de sensores que monitorizam continuamente o estado do refinador. A principal operação de manutenção deste equipamento é a substituição de dois discos metálicos do seu principal componente – o desfibrador. Consequentemente, o sensor do refinador analisado com maior detalhe é o sensor que mede a distância entre os dois discos do desfibrador. Os modelos ARIMA consistem numa abordagem estatística avançada para previsão de séries temporais. Baseados na descrição da autocorrelação dos dados, estes modelos descrevem uma série temporal como função dos seus valores passados. Neste trabalho, a metodologia ARIMA é utilizada para determinar um modelo que efetua uma previsão dos valores futuros do sensor que mede a distância entre os dois discos do desfibrador, determinando-se assim o momento ótimo da sua substituição e evitando paragens forçadas de produção por ocorrência de uma falha por desgaste dos discos. Os resultados obtidos neste trabalho constituem uma contribuição científica importante para a área da manutenção preditiva e deteção de falhas em equipamentos industriais.

Projecto de Estruturas Metálicas e Mistas de acordo com os Eurocódigos

Este trabalho pretende ilustrar o dimensionamento dos vários elementos constituintes de uma estrutura metálica e mista, e das ligações entre os mesmos, de acordo com a legislação europeia, denominados, Eurocódigos (EN1990; EN1991-1-1; EN1991-1-4; EN1992-1-1; EN1993-1-1; EN1993- 1-8; EN1994-1-1). Trata-se de um edifício “open space” de 3 pisos, sendo o primeiro piso uma zona comercial e os dois pisos acima escritórios, situado no Porto, tendo sido efectuada a modelação da sua estrutura através de um programa de cálculo automático (SAP2000).

Sarcosine oxidase composite screen-printed electrode for sarcosine determination in biological samples

As the prostate cancer (PCa) progresses, sarcosine levels increase both in tumor cells and urine samples, suggesting that this metabolite measurements can help in the creation of non-invasive diagnostic methods for this disease. In this work, a biosensor device was developed for the quantification of sarcosine via electrochemical detection of H2O2 (at 0.6 V) generated from the catalyzed oxidation of sarcosine. The detection was carried out after the modification of carbon screen printed electrodes (SPEs) by immobilization of sarcosine oxidase (SOX) on the electrode surface. The strategies used herein included the activation of the carbon films by an electrochemical step and the formation of an NHS/EDAC layer to bond the enzyme to the electrode, the use of metallic or semiconductor nanoparticles layer previously or during the enzyme immobilization. In order to improve the sensor stability and selectivity a polymeric layer with extra enzyme content was further added. The proposed methodology for the detection of sarcosine allowed obtaining a limit of detection (LOD) of 16 nM, using a linear concentration range between 10 and 100 nM. The biosensor was successfully applied to the analysis of sarcosine in urine samples.

Sarcosine oxidase composite screen-printed electrode for sarcosine determination in biological samples

XIX Meeting of the Portuguese Electrochemical Society - XVI Iberic Meeting of Electrochemistry

Relatório de estágio em educação pré-escolar e ensino do 1º ciclo do ensino básico

O presente relatório – requisito parcial para obtenção do grau de mestre em Educação Pré-Escolar e Ensino do 1.º Ciclo do Ensino Básico – reflete as experiências e conhecimentos desenvolvidos, resultantes da prática pedagógica supervisionada desenvolvida em dois contextos de estágio: Educação Pré-Escolar e 1.º Ciclo do Ensino Básico. Com efeito, a estudante teve como objetivo descrever, compreender e refletir acerca do processo de prática segundo o desenvolvimento de capacidades e competências substanciais à prática docente. Enquanto (futura) profissional de educação, verifica-se pertinente a mobilização de saberes científicos, pedagógicos e culturais, adquiridos ao longo da formação inicial para que se torne exequível uma prática sustentada. Similarmente, o docente, baseando-se em quadros teóricos e concetuais (amplificados de forma subjetiva e continuada), desenvolverá a sua forma pessoal de pensar e agir nos contextos de práticas reais visando a inclusão e equidade educativas, e a colaboração profissional e reflexiva. Conforme a metodologia de investigação-ação (constituída por várias etapas interligadas – observação, planificação, ação e avaliação, reflexão), a ação da mestranda desenvolveu-se de forma cíclica e articulada, numa perspetiva construtivista – e holística – do conhecimento a erigir pelas crianças (atores centrais do processo) ressalvando-se, igualmente, a pertinência dos demais instrumentos orientadores elaborados no decorrer da ação. Concludentemente, os estágios desenvolvidos nos dois contextos facultaram a edificação de uma postura profissional, reflexiva e investigativa, promotora da tomada de decisões em contexto de prática reafirmando-se competências profissionais e pessoais e valorando-se, efetivamente, a formação ao longo da vida para aquele que se constitui um docente generalista.

TEC4SEA - A Modular Platform for Research, Test and Validation of Technologies Supporting a Sustainable Blue Economy

This paper presents the TEC4SEA research infrastructure created in Portugal to support research, development, and validation of marine technologies. It is a multidisciplinary open platform, capable of supporting research, development, and test of marine robotics, telecommunications, and sensing technologies for monitoring and operating in the ocean environment. Due to the installed research facilities and its privileged geographic location, it allows fast access to deep sea, and can support multidisciplinary research, enabling full validation and evaluation of technological solutions designed for the ocean environment. It is a vertically integrated infrastructure, in the sense that it possesses a set of skills and resources which range from pure conceptual research to field deployment missions, with strong industrial and logistic capacities in the middle tier of prototype production. TEC4SEA is open to the entire scientific and enterprise community, with a free access policy for researchers affiliated with the research units that ensure its maintenance and sustainability. The paper describes the infrastructure in detail, and discusses associated research programs, providing a strategic vision for deep sea research initiatives, within the context of both the Portuguese National Ocean Strategy and European Strategy frameworks.

Embalagens Flexíveis: estudo do processo de reticulação de adesivos e do coeficiente de atrito

A dissertação foi realizada em ambiente industrial, mais precisamente na empresa Monteiro, Ribas – Embalagens Flexíveis, S.A.. Esta empresa dedica-se à impressão e laminagem de filmes, assim como à confeção de sacos. Os seus produtos são direcionados na sua maioria para a indústria alimentar, exportando mais de 50% da sua produção, e dizem respeito a complexos (dois ou mais filmes unidos pela presença de um adesivo) que podem possuir impressão ou não. Estes complexos podem ser enviados para o cliente em bobina ou já em saco. Os objetivos propostos pela empresa diziam respeito a estudos relacionados com a força de laminagem dos complexos, com o coeficiente de atrito dos mesmos e com a identificação dos espetros dos componentes dos adesivos, assim como o estudo do processo de reticulação dos mesmos por espetrofotometria de Infravermelho. Relativamente aos resultados obtidos verificou-se que tanto a tinta como os metalizados influenciam negativamente a força de laminagem. Por sua vez o coeficiente de atrito é afetado por vários fatores. Através dos ensaios experimentais verificou-se que o adesivo, a tinta e o verniz mate favorecem o aumento do valor do COF. Além disso, nos complexos em que se utilizaram filmes de polietileno de maior espessura obtiveram-se valores de COF mais baixos, e no que diz respeito à temperatura e à tensão de enrolamento, verificou-se que valores mais elevados e muito baixos da primeira traduzem-se num aumento do valor do COF e uma tensão de enrolamento maior também tem o mesmo efeito. Relativamente ao tipo de filme impresso, substratos com maior energia superficial atraem mais o agente de deslizamento (slip). Por último, não se conseguiu perceber qual o tipo de adesivo (com ou sem solvente) que tem maior impacto no COF uma vez que em 55% dos casos o valor do COF é superior nas amostras que foram complexadas com adesivo sem solvente e em 45% o COF era superior nas amostras complexadas com adesivo base solvente. No que diz respeito aos espetros obtidos verificou-se que a reticulação dos adesivos é identificada pela diminuição da extensão do pico correspondente à ligação N=C=O.

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Nanosized iron based permeable reactive barriers for nitrate removal - Systematic review

It is unquestionable that an effective decision concerning the usage of a certain environmental clean-up technology should be conveniently supported. Significant amount of scientific work focussing on the reduction of nitrate concentration in drinking water by both metallic iron and nanomaterials and their usage in permeable reactive barriers has been worldwide published over the last two decades. This work aims to present in a systematic review of the most relevant research done on the removal of nitrate from groundwater using nanosized iron based permeable reactive barriers. The research was based on scientific papers published between 2004 and June 2014. It was performed using 16 combinations of keywords in 34 databases, according to PRISMA statement guidelines. Independent reviewers validated the selection criteria. From the 4161 records filtered, 45 met the selection criteria and were selected to be included in this review. This study's outcomes show that the permeable reactive barriers are, indeed, a suitable technology for denitrification and with good performance record but the long-term impact of the use of nanosized zero valent iron in this remediation process, in both on the environment and on the human health, is far to be conveniently known. As a consequence, further work is required on this matter, so that nanosized iron based permeable reactive barriers for the removal of nitrate from drinking water can be genuinely considered an eco-efficient technology.

Competitive paths for methanol decomposition on ruthenium: a DFT study

Methanol decomposition is one of the key reactions in direct methanol fuel cell (DMFC) state-of-the-art technology, research, and development. However, its mechanism still presents many uncertainties, which, if answered, would permit us to refine the manufacture of DMFCs. The mechanism of methanol decomposition on ruthenium surfaces was investigated using density functional theory and a periodic supercell approach. The possible pathways, involving either initial C−H, C−O or O−H scission, were defined from experimental evidence regarding the methanol decomposition on ruthenium and other metallic surfaces. The study yielded the O−H scission pathway as having both the most favorable energetics and kinetics. The computational data, which present a remarkable closeness with the experimental results, also indicate methanol adsorption, the starting point in all possible pathways, to be of weak nature, implying a considerable rate of methanol desorption from the ruthenium, compromising the reaction.

Relatório de estágio em 1º ciclo do ensino básico

No âmbito do Mestrado em Educação Pré-Escolar e Ensino do 1.º Ciclo do Ensino Básico, desenvolveu-se o presente relatório de caráter formativo, no qual foi analisada sob uma holística crítica e reflexiva, a Prática Pedagógica Supervisionada da mestranda, nos dois níveis educativos aos quais se propõe a uma profissionalidade futura – Educação Pré-Escolar e Ensino do 1.º Ciclo do Ensino Básico. Sendo que o estágio em Educação Pré-Escolar decorreu com um grupo de crianças com idades compreendidas entre os quatro e os cinco anos de idade e o estágio em 1.º Ciclo do Ensino Básico com uma turma do 3.º ano de escolaridade, no Colégio Novo da Maia. Neste documento foi desenvolvida uma descrição, análise e reflexão das competências profissionais e pessoais que a estudante desenvolveu ao longo das suas intervenções decorrentes num processo de formação profissional. Para isto, foi exposta a ação educativa da estudante, sustentada em quadros teórico e conceptuais já desenvolvidos; nos normativos legais; e características dos contextos educativos, ambiente educativo e respetivas crianças/alunos. Neste sentido, a mestranda fundamentou as suas práxis desenvolvidas em dois contextos de estágio diferentes, na metodologia de investigação-ação, numa constante postura crítica, reflexiva, investigativa e indagatória, nas diferentes fases que caraterizam esta metodologia. Ao longo da realização dos dois estágios procurou-se uma construção e reconstrução contínua de aprendizagens potenciadoras de um crescimento profissional enquanto docente generalista e de práticas geradoras de aprendizagens mais significativas por parte das crianças e alunos dos diferentes contextos

XATA 2010 : XML : Associated Technologies and Applications, 8th

These are the proceedings for the eighth national conference on XML, its Associated Technologies and its Applications (XATA'2010). The paper selection resulted in 33% of papers accepted as full papers, and 33% of papers accepted as short papers. While these two types of papers were distinguish during the conference, and they had different talk duration, they all had the same limit of 12 pages. We are happy that the selected papers focus both aspects of the conference: XML technologies, and XML applications. In the first group we can include the articles on parsing and transformation technologies, like “Processing XML: a rewriting system approach", “Visual Programming of XSLT from examples", “A Refactoring Model for XML Documents", “A Performance based Approach for Processing Large XML Files in Multicore Machines", “XML to paper publishing with manual intervention" and “Parsing XML Documents in Java using Annotations". XML-core related papers are also available, focusing XML tools testing on “Test::XML::Generator: Generating XML for Unit Testing" and “XML Archive for Testing: a benchmark for GuessXQ". XML as the base for application development is also present, being discussed on different areas, like “Web Service for Interactive Products and Orders Configuration", “XML Description for Automata Manipulations", “Integration of repositories in Moodle", “XML, Annotations and Database: a Comparative Study of Metadata Definition Strategies for Frameworks", “CardioML: Integrating Personal Cardiac Information for Ubiquous Diagnosis and Analysis", “A Semantic Representation of Users Emotions when Watching Videos" and “Integrating SVG and SMIL in DAISY DTB production to enhance the contents accessibility in the Open Library for Higher Education". The wide spread of subjects makes us believe that for the time being XML is here to stay what enhances the importance of gathering this community to discuss related science and technology. Small conferences are traversing a bad period. Authors look for impact and numbers and only submit their works to big conferences sponsored by the right institutions. However the group of people behind this conference still believes that spaces like this should be preserved and maintained. This 8th gathering marks the beginning of a new cycle. We know who we are, what is our identity and we will keep working to preserve that. We hope the publication containing the works of this year's edition will catch the same attention and interest of the previous editions and above all that this publication helps in some other's work. Finally, we would like to thank all authors for their work and interest in the conference, and to the scientific committee members for their review work.

HRM higher education in Europe

Higher education has earned in the recent years an increasing attention in Europe. European Higher Education Area (EHEA) is being developed, a three-cycle qualifications structure is formally in place, the principles of quality assurance are agreed, and a range of mobility instruments is being created. A European Qualifications Framework (EQF) is established (2008), and national qualifications frameworks in Europe should be all be published this year. In the HRM field, higher education is remaining largely unexamined. It is undertheorised and with lack of empirical research, especially if we consider the European reality. With the exception of Brewster et al. (2000) and Boxall et al. (2007), all the research published on the specific HRM higher education field seems to be American (Barber, 1999; Chadwick, 2005; Hayton et al.,2005; Kaufman, 1996, 1999; Langbert, 2005, 2000; Sincoff & Owen, 2004; Van Eyden et al., 1997; Wimbush 2008). This study analyses HRM higher education in Europe with the aim to identify the current trends of European HRM academic qualifications system. In order to provide strategic indicators on the subject, research was carried out in 14 European countries. The sample was constituted by the three cycles defined in Bergen (bachelor, master and PhD) and the primary information source was the Portal on Learning Opportunities throughout the European Space promoted by the European Commission (PLOTEUS). Within a qualitative methodology, qualifications’ structures, approaches, and competencies are explored as main analytical categories.

Projecto de equipamento de rotação de moldes de grande porte com recurso ao método de elementos finitos

A fabricação de moldes é uma actividade que se desenvolve em Portugal há várias décadas, com qualidade reconhecida mundialmente. A indústria automóvel é um dos principais destinos de grande parte dos moldes produzidos em Portugal. Algumas das peças produzidas nesses moldes possuem dimensões apreciáveis, tendo em conta o peso e dimensão média das peças injectadas em plástico. São exemplo disso os pára-choques dos automóveis e o tabliê. A produção dos moldes para estas peças é complexa, implicando um longo tempo de maquinagem e a manipulação dos moldes em diferentes fases, com vista ao acesso a todas as faces do molde. A IGM – Indústria Global de Moldes, SA. é a empresa responsável pela produção dos moldes para peças de média dimensão dentro do Grupo SIMOLDES. Atendendo à necessidade permanente de rodar a 90o moldes de grande porte, que podem apresentar pesos na ordem das 10 a 30 toneladas, e não existindo no mercado qualquer solução adaptável a esta necessidade, a empresa entendeu por bem levar a efeito o projecto desse equipamento, atendendo ao compromisso custo-benefício que torne viável a realização prática do mesmo. Após os esboços iniciais e uma discussão interactiva e iterativa com a empresa, foram analisadas as diferentes soluções entendidas como viáveis, tendo sido escolhido um dos anteprojectos realizados. Foram ainda discutidas as diversas alternativas de accionamento. Com base nesse anteprojecto, a estrutura foi optimizada e verificada através do Método de Elementos Finitos, tendo sido elaborado o projecto final, com o grau de detalhe necessário à sua fabricação e implementação na empresa.

Articulação de várias linguagens de programação/tecnologias no desenvolvimento aplicacional

O desenvolvimento aplicacional é uma área em grande expansão no mercado das tecnologias de informação e como tal, é uma área que evolui rápido. Os impulsionadores para esta característica são as comunicações e os equipamentos informáticos, pois detêm características mais robustas e são cada vez mais rápidos. A função das aplicações é acompanhar esta evolução, possuindo arquiteturas mais complexas/completas visando suportar todos os pedidos dos clientes, através da produção de respostas em tempos aceitáveis. Esta dissertação aborda várias arquiteturas aplicacionais possíveis de implementar, mediante o contexto que esteja inserida, como por exemplo, um cenário com poucos ou muitos clientes, pouco ou muito capital para investir em servidores, etc. É fornecido um nivelamento acerca dos conceitos subjacentes ao desenvolvimento aplicacional. Posteriormente é analisado o estado de arte das linguagens de programação web e orientadas a objetos, bases de dados, frameworks em JavaScript, arquiteturas aplicacionais e, por fim, as abordagens para definir objetivos mensuráveis no desenvolvimento aplicacional. Foram implementados dois protótipos. Um deles, numa arquitetura multicamada com várias linguagens de programação e tecnologias. O segundo, numa única camada (monolítica) com uma única linguagem de programação. Os dois protótipos foram testados e comparados com o intuito de escolher uma das arquiteturas, num determinado cenário de utilização.