Novel techniques for the design and practical realization of switched-capacitor circuits in deep-submicron CMOS technologies

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

JPEG decoder implementation on FPGA using dynamic partial reconfiguration

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Electrónica e telecomunicações

Desenvolvimento de um modelo para avaliar o nível lean de uma organização: caso de estudo

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica Perfil de Manutenção e Produção

Practical software improve design and performance of a randomly packed air stripping column for removing volatile organic compounds from water

STRIPPING is a software application developed for the automatic design of a randomly packing column where the transfer of volatile organic compounds (VOCs) from water to air can be performed and to simulate it’s behaviour in a steady-state. This software completely purges any need of experimental work for the selection of diameter of the column, and allows a choice, a priori, of the most convenient hydraulic regime for this type of operation. It also allows the operator to choose the model used for the calculation of some parameters, namely between the Eckert/Robbins model and the Billet model for estimating the pressure drop of the gaseous phase, and between the Billet and Onda/Djebbar’s models for the mass transfer. Illustrations of the graphical interface offered are presented.

Targeting specific nutrient deficiencies in proteinrestricted diets: some practical facts in PKU dietary management

Among aminoacidopathies, phenylketonuria (PKU) is the most prevalent one. Early diagnosis in the neonatal period with a prompt nutritional therapy (low natural-protein and phenylalanine diet, supplemented with phenylalanine-free amino acid mixtures and special low-protein foods) remains the mainstay of the treatment. Data considering nutrient contents of cooked dishes is lacking. In this study, fourteen dishes specifically prepared for PKU individuals were analysed, regarding the lipid profile and iron and zinc contents. These dishes are poor sources of essential nutrients like Fe, Zn or n-3 fatty acids, reinforcing the need for adequate supplementation to cover individual patients’ needs. This study can contribute to a more accurate adjustment of PKU diets and supplementation in order to prevent eventual nutritional deficiencies. This study contributes to a better understanding of nutrient intake from PKU patients’ meals, showing the need for dietary supplementation.

Auditorias energéticas – definição de um plano de ação para edifícios de serviços

O setor dos edifícios representa perto de 40% do consumo de energia final na Europa e cerca de 30% no caso de Portugal [1]. Para fazer face a esta situação foi elaborada e aprovada uma Diretiva Europeia Relativa ao Desempenho Energético dos Edifícios, que foi transposta a nível nacional através de um pacote legislativo assente em três pilares, nomeadamente o Sistema Nacional de Certificação Energética e da Qualidade do Ar Interior (SCE), o Regulamento dos Sistemas Energéticos de Climatização em Edifícios (RSECE) e o Regulamento das Características de Comportamento Térmico dos Edifícios (RCCTE). Atuando ao nível da eficiência energética o consumo de energia nos edifícios pode diminuir para metade, para tal é necessário proceder-se à execução de auditorias energéticas para poder determinar as soluções mais adequadas de forma a reduzir os desperdícios e custos associados ao consumo de energia. Nesta dissertação desenvolveu-se uma metodologia para a realização de auditorias energéticas em edifícios que assenta essencialmente em cinco etapas, nomeadamente: o planeamento, a análise do estado atual, o planeamento estratégico, a elaboração de relatório e a implementação de medidas com acompanhamento de resultados. A aplicação desta metodologia constitui uma grande ajuda na realização de auditorias energéticas conferindo uma maior qualidade à sua execução. De forma a validar a metodologia efetuada foi realizado o estudo de três casos práticos relativos a três agências bancárias (denominadas de A, B e C), em que duas delas pertencem a um projeto de eficiência energética que engloba 50 agências e uma outra que pertence a um outro projeto de apenas 3 agências. A metodologia segue a mesma lógica para as três agências, no entanto, em termos de validação, a última instalação baseia-se nos consumos dos dados monitorizados em contínuo.

Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations

Trabalho apresentado no âmbito do Doutoramento em Informática, como requisito parcial para obtenção do grau de Doutor em Informática

Proposta de aplicação do sistema de custeio baseado em atividades numa empresa de prestação de serviços aduaneiros

Trabalho de Projeto apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Contabilidade e Finanças, sob orientação de Amélia Cristina Ferreira da Silva

Logic-based schedulability analysis for compositional hard real-time embedded systems

Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for mis-interpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by-construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uni-processor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.

Depositions of rulers in the later middle ages: on the theory of th "useless ruler" and its practical utilization

pp. 157-168

Adaptive Penalty and Barrier function based on Fuzzy Logic

Optimization methods have been used in many areas of knowledge, such as Engineering, Statistics, Chemistry, among others, to solve optimization problems. In many cases it is not possible to use derivative methods, due to the characteristics of the problem to be solved and/or its constraints, for example if the involved functions are non-smooth and/or their derivatives are not know. To solve this type of problems a Java based API has been implemented, which includes only derivative-free optimization methods, and that can be used to solve both constrained and unconstrained problems. For solving constrained problems, the classic Penalty and Barrier functions were included in the API. In this paper a new approach to Penalty and Barrier functions, based on Fuzzy Logic, is proposed. Two penalty functions, that impose a progressive penalization to solutions that violate the constraints, are discussed. The implemented functions impose a low penalization when the violation of the constraints is low and a heavy penalty when the violation is high. Numerical results, obtained using twenty-eight test problems, comparing the proposed Fuzzy Logic based functions to six of the classic Penalty and Barrier functions are presented. Considering the achieved results, it can be concluded that the proposed penalty functions besides being very robust also have a very good performance.

Avaliação institucional e melhoria: o trajeto do plano de melhoria de um agrupamento de escolas

No decurso deste projeto, procurou-se através do desenvolvimento de um processo de investigação-ação, efetuar mudanças em dois níveis, tendo sido o primeiro em prol da minoração de debilidades na aprendizagem previamente diagnosticadas num Agrupamento de Escolas, e o segundo visando uma transformação de hábitos enraizados, inerentes à cultura organizacional da comunidade escolar que compõe este Agrupamento. Desta forma, pretendeu-se a compreensão de determinadas situações que se constituíam, na aceção do investigador, como problemáticas sob determinados aspetos e suscetíveis de mudança, exigindo uma resposta prática. Face a isto, procurou-se construir um projeto realista porém ambicioso, assente em lógicas e teorias validadas e enquadrado nas especificidades de um Agrupamento de Escolas. Ao longo do trajeto, recorreu-se a uma série de procedimentos, designadamente de investigação, planeamento, ação, negociação, mudança, monitorização, análise e reformulação. Espera-se e deseja-se que os procedimentos levados a termo surtam os efeitos para os quais foram delineados e que perdurem, particularmente, na cultura organizacional que integra o Agrupamento, embora ciente que as mudanças efetivas nem sempre se produzem em espaços temporais definidos à partida.

Management of Childhood Urticaria: Current Knowledge and Practical Recommendations

Urticaria, defined by the presence of wheals and/or angioedema,is a common condition in children, prompting parents to consult physicians. For its successful management, paediatric-specific features must be taken into account, regarding the identification of eliciting triggers and pharmacological therapy. This review systematically discusses the current best-available evidence on spontaneous acute and chronic urticaria as well as physical and other urticaria types in children. Potential underlying causes, namely infections, food and drug hypersensitivity, autoreactivity and autoimmune or other conditions, and eliciting stimuli are considered, with practical recommendations for specific diagnostic approaches. Second-generation antihistamines are the mainstay of pharmacological treatment aimed at relief of symptoms, which require dose adjustment for paediatric use. Other therapeutic interventions are also discussed. In addition, unmet needs are highlighted, aiming to promote research into the paediatric population, ultimately aiming at the effective management of childhood urticaria.