ECO-betão com adição de resíduo da indústria petrolífera

Dissertação de natureza Científica para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização em Edificações

ECO: argamassas de cal hidráulica para reabilitação de edifícios

Dissertação de Natureza Científica para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização de Edificações

An adaptive IoT management infrastructure for eco transport networks

The complexity associated with fast growing of B2B and the lack of a (complete) suite of open standards makes difficulty to maintain the underlying collaborative processes. Aligned to this challenge, this paper aims to be a contribution to an open architecture of logistics and transport processes management system. A model of an open integrated system is being defined as an open computational responsibility from the embedded systems (on-board) as well as a reference implementation (prototype) of a host system to validate the proposed open interfaces. Embedded subsystem can, natively, be prepared to cooperate with other on-board units and with IT-systems in an infrastructure commonly referred to as a center information system or back-office. In interaction with a central system the proposal is to adopt an open framework for cooperation where the embedded unit or the unit placed somewhere (land/sea) interacts in response to a set of implemented capabilities.

Die Surface Designer System

This paper defines Die Surface Designer (DSD) System for fast draw die in the product development feasibility phase on surfaces coming from styling. We propose a CAD integration, for better support the design process in industry, particularly on the development of new products in automotive sector. The DSD system intends to reduce the lead time by providing and integrating flexible and efficient capabilities for testing early concepts from surface analysis points of view in automotive product development.

MDAI: Model based Design in Automobile Industry

It is proposed a new approach based on a methodology, assisted by a tool, to create new products in the automobile industry based on previous defined processes and experiences inspired on a set of best practices or principles: it is based on high-level models or specifications; it is component-based architecture centric; it is based on generative programming techniques. This approach follows in essence the MDA (Model Driven Architecture) philosophy with some specific characteristics. We propose a repository that keeps related information, such as models, applications, design information, generated artifacts and even information concerning the development process itself (e.g., generation steps, tests and integration milestones). Generically, this methodology receives the users' requirements to a new product (e.g., functional, non-functional, product specification) as its main inputs and produces a set of artifacts (e.g., design parts, process validation output) as its main output, that will be integrated in the engineer design tool (e.g. CAD system) facilitating the work.

A checkpointing-enabled and resource-aware Java Virtual Machine for efficient and robust e-Science applications in grid environments

Object-oriented programming languages presently are the dominant paradigm of application development (e. g., Java,. NET). Lately, increasingly more Java applications have long (or very long) execution times and manipulate large amounts of data/information, gaining relevance in fields related with e-Science (with Grid and Cloud computing). Significant examples include Chemistry, Computational Biology and Bio-informatics, with many available Java-based APIs (e. g., Neobio). Often, when the execution of such an application is terminated abruptly because of a failure (regardless of the cause being a hardware of software fault, lack of available resources, etc.), all of its work already performed is simply lost, and when the application is later re-initiated, it has to restart all its work from scratch, wasting resources and time, while also being prone to another failure and may delay its completion with no deadline guarantees. Our proposed solution to address these issues is through incorporating mechanisms for checkpointing and migration in a JVM. These make applications more robust and flexible by being able to move to other nodes, without any intervention from the programmer. This article provides a solution to Java applications with long execution times, by extending a JVM (Jikes research virtual machine) with such mechanisms. Copyright (C) 2011 John Wiley & Sons, Ltd.

A Service Integration Platform for Collaborative Networks

Integrated manufacturing constitutes a complex system made of heterogeneous information and control subsystems. Those subsystems are not designed to the cooperation. Typically each subsystem automates specific processes, and establishes closed application domains, therefore it is very difficult to integrate it with other subsystems in order to respond to the needed process dynamics. Furthermore, to cope with ever growing marketcompetition and demands, it is necessary for manufacturing/enterprise systems to increase their responsiveness based on up-to-date knowledge and in-time data gathered from the diverse information and control systems. These have created new challenges for manufacturing sector, and even bigger challenges for collaborative manufacturing. The growing complexity of the information and communication technologies when coping with innovative business services based on collaborative contributions from multiple stakeholders, requires novel and multidisciplinary approaches. Service orientation is a strategic approach to deal with such complexity, and various stakeholders' information systems. Services or more precisely the autonomous computational agents implementing the services, provide an architectural pattern able to cope with the needs of integrated and distributed collaborative solutions. This paper proposes a service-oriented framework, aiming to support a virtual organizations breeding environment that is the basis for establishing short or long term goal-oriented virtual organizations. The notion of integrated business services, where customers receive some value developed through the contribution from a network of companies is a key element.

IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics

This paper presents an algorithm to efficiently generate the state-space of systems specified using the IOPT Petri-net modeling formalism. IOPT nets are a non-autonomous Petri-net class, based on Place-Transition nets with an extended set of features designed to allow the rapid prototyping and synthesis of system controllers through an existing hardware-software co-design framework. To obtain coherent and deterministic operation, IOPT nets use a maximal-step execution semantics where, in a single execution step, all enabled transitions will fire simultaneously. This fact increases the resulting state-space complexity and can cause an arc "explosion" effect. Real-world applications, with several million states, will reach a higher order of magnitude number of arcs, leading to the need for high performance state-space generator algorithms. The proposed algorithm applies a compilation approach to read a PNML file containing one IOPT model and automatically generate an optimized C program to calculate the corresponding state-space.

Neonatal anthropometry: a tool to evaluate the nutritional status and predict early and late risks

Neonatal anthropometry is an inexpensive, noninvasive and convenient tool for bedside evaluation, especially in sick and fragile neonates. Anthropometry can be used in neonates as a tool for several purposes: diagnosis of foetal malnutrition and prediction of early postnatal complications; postnatal assessment of growth, body composition and nutritional status; prediction of long-term complications including metabolic syndrome; assessment of dysmorphology; and estimation of body surface. However, in this age group anthropometry has been notorious for its inaccuracy and the main concern is to make validated indices available. Direct measurements, such as body weight, length and body circumferences are the most commonly used measurements for nutritional assessment in clinical practice and in field studies. Body weight is the most reliable anthropometric measurement and therefore is often used alone in the assessment of the nutritional status, despite not reflecting body composition. Derived indices from direct measurements have been proposed to improve the accuracy of anthropometry. Equations based on body weight and length, mid-arm circumference/head circumference ratio, and upper-arm cross-sectional areas are among the most used derived indices to assess nutritional status and body proportionality, even though these indices require further validation for the estimation of body composition in neonates.

Articulação do tratamento das águas lixiviantes de infraestruturas de resíduos com ETAR urbanas: caso de estudo

A deposição de resíduos sólidos urbanos (RSU) em aterros sanitários (AS) tem uma dimensão que necessita de uma atenção especial por parte da sociedade. Deste acto podem resultar situações gravosas para o meio ambiente se não forem tomadas as medidas correctas. Um dos pontos que necessita de uma particular atenção é o tratamento das águas lixiviantes dos aterros sanitários, uma vez que estas apresentam geralmente cargas altamente poluentes. O presente trabalho apresenta a estrutura de um aterro sanitário, definindo os seus princípios de funcionamento, bem como as principais características a ter em consideração para a sua concepção e construção. É ainda abordada a composição dos resíduos sólidos produzidos em Portugal de acordo com (1) e as características quantitativas e qualitativas do lixiviado produzido por um AS. São apresentados os sistemas tratamento convencionais, biológicos e físico-químicos, mais utilizados em Portugal para o tratamento de águas lixiviantes, relacionando as problemáticas e as limitações associadas a cada um deles. É ainda apresentado o tratamento combinado de águas lixiviantes com águas residuais e a recirculação de lixiviado no sistema de tratamento, assim como algumas das vantagens associadas a estas práticas. Tendo por base, uma situação real, avalia-se um caso de estudo, que visa a avaliação do funcionamento da estação de pré-tratamento das águas lixiviantes produzidas no aterro sanitário do ecoparque de Palmela, tendo em consideração o facto de este tratamento ser realizado em combinação com o tratamento de águas residuais urbanas. A avaliação do funcionamento da estação de pré-tratamento de águas lixiviantes (EPTAL) é realizada de acordo com os dados fornecidos nos relatórios elaborados pela empresa LUSÁGUA, que apresentam os valores das cargas poluentes medidos à entrada e saída da EPTAL, verificando com estes dados se os valores limite de emissão medidos à saída da EPTAL são respeitados. São ainda propostas algumas alterações baseadas em pareceres técnicos que acompanham os relatórios elaborados pela LUSÁGUA e um estudo elaborada pela ECOserviços em Fevereiro de 2010 onde se obtêm eficiências de etapas de tratamentos com base em testes laboratoriais e testes realizados na própria EPTAL.

Adequação da acústica e controlo do ruído em unidades de ressonância magnética: projeto de investigação

Mestrado em Segurança e Higiene do Trabalho.

Análise de eficiência energética de transportes rodoviários

Projecto para obtenção do grau de Mestre em Engenharia Informática e de computadores

BIT: Biosignal Igniter Toolkit

The study of biosignals has had a transforming role in multiple aspects of our society, which go well beyond the health sciences domains to which they were traditionally associated with. While biomedical engineering is a classical discipline where the topic is amply covered, today biosignals are a matter of interest for students, researchers and hobbyists in areas including computer science, informatics, electrical engineering, among others. Regardless of the context, the use of biosignals in experimental activities and practical projects is heavily bounded by the cost, and limited access to adequate support materials. In this paper we present an accessible, albeit versatile toolkit, composed of low-cost hardware and software, which was created to reinforce the engagement of different people in the field of biosignals. The hardware consists of a modular wireless biosignal acquisition system that can be used to support classroom activities, interface with other devices, or perform rapid prototyping of end-user applications. The software comprehends a set of programming APIs, a biosignal processing toolbox, and a framework for real time data acquisition and postprocessing. (C) 2014 Elsevier Ireland Ltd. All rights reserved.

Ressonância magnética funcional: mapeamento do córtex motor através do efeito BOLD

Introdução – A ressonância magnética funcional (RMf) é hoje uma ferramenta fundamental na investigação funcional do cérebro humano, quer em indivíduos saudáveis quer em doentes com patologias diversas. É uma técnica complexa que necessita de uma aplicação cuidada e rigorosa e uma compreensão dos mecanismos biofísicos, de modo a serem obtidos resultados fiáveis e com melhor aceitação clínica. O efeito BOLD (Blood Oxygenation Level Dependent), que se baseia nas propriedades magnéticas da hemoglobina, é o método mais utilizado para medir a atividade cerebral por RMf. Objetivos – Otimizar um protocolo de RMf por efeito BOLD em voluntários saudáveis para mapeamento do córtex motor, de modo a que possa ser aplicado no futuro em doentes com patologias diversas. Metodologia – Foram estudados 34 voluntários saudáveis divididos em 2 grupos de estudo: BOLD 1 e BOLD 2. Com vista à otimização, foram testados no subgrupo BOLD 1 diferentes paradigmas e no subgrupo BOLD 2 foi estudada a influência do tempo de eco (TE). Para as várias condições foram comparados os volumes da região ativada e os níveis de ativação obtidos. Resultados/Discussão – O córtex motor foi identificado em todos os voluntários estudados. Não foram detetadas diferenças estatisticamente significativas quando comparados os resultados obtidos com os diferentes parâmetros de aquisição. Conclusão – O protocolo foi otimizado tendo em conta o nível de conforto reportado pelos voluntários. Uma vez que se pretende aplicar este mesmo protocolo no estudo de doentes, este fator torna-se particularmente relevante.

Morfometria do trato vocal por ressonância magnética: simulação de padrões patológicos articulatórios

Introdução – A análise da forma ou morfometria de estruturas anatómicas, como o trato vocal, pode ser efetuada a partir de imagens bidimensionais (2D) como de aquisições volumétricas (3D) de ressonância magnética (RM). Esta técnica de imagem tem vindo a ter uma utilização crescente no estudo da produção da fala. Objetivos – Demonstrar como pode ser efetuada a morfometria do trato vocal a partir da imagem por ressonância magnética e ainda apresentar padrões anatómicos normais durante a produção das vogais [i a u] e dois padrões articulatórios patológicos em contexto simulado. Métodos – As imagens consideradas foram recolhidas a partir de aquisições 2D (Turbo Spin-eco) e 3D (Flash Gradiente-Eco) de RM em quatro sujeitos durante a produção das vogais em estudo; adicionalmente procedeu-se à avaliação de duas perturbações articulatórias usando o mesmo protocolo de RM. A morfometria do trato vocal foi extraída com recurso a técnicas manuais (para extração de cinco medidas articulatórias) e automáticas (para determinação de volumes) de processamento e análise de imagem. Resultados – Foi possível analisar todo o trato vocal, incluindo a posição e a forma dos articuladores, tendo por base cinco medidas descritivas do posicionamento destes órgãos durante a produção das vogais. A determinação destas medições permitiu identificar quais as estratégias mais comummente adotadas na produção de cada som, nomeadamente a postura articulatória e a variação de cada medida para cada um dos sujeitos em estudo. No contexto de voz falada intersujeitos, foi notória a variabilidade nos volumes estimados do trato vocal para cada som e, em especial, o aumento do volume do trato vocal na perturbação articulatória de sigmatismo. Conclusão – A imagem por RM é, sem dúvida, uma técnica promissora no estudo da fala, inócua, não-invasiva e que fornece informação fiável da morfometria do trato vocal.