Efficient middleware for database replication

Dissertação de Mestrado em Engenharia Informática

Constraint-based modeling of minimum set covering: application to species differentation

Work presented in the context of the European Master in Computational Logics, as partial requisit for the graduation as Master in Computational Logics

Database repairs with answer set programming

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

EFFECT – Efficient finite element code

The theme of this dissertation is the finite element method applied to mechanical structures. A new finite element program is developed that, besides executing different types of structural analysis, also allows the calculation of the derivatives of structural performances using the continuum method of design sensitivities analysis, with the purpose of allowing, in combination with the mathematical programming algorithms found in the commercial software MATLAB, to solve structural optimization problems. The program is called EFFECT – Efficient Finite Element Code. The object-oriented programming paradigm and specifically the C ++ programming language are used for program development. The main objective of this dissertation is to design EFFECT so that it can constitute, in this stage of development, the foundation for a program with analysis capacities similar to other open source finite element programs. In this first stage, 6 elements are implemented for linear analysis: 2-dimensional truss (Truss2D), 3-dimensional truss (Truss3D), 2-dimensional beam (Beam2D), 3-dimensional beam (Beam3D), triangular shell element (Shell3Node) and quadrilateral shell element (Shell4Node). The shell elements combine two distinct elements, one for simulating the membrane behavior and the other to simulate the plate bending behavior. The non-linear analysis capability is also developed, combining the corotational formulation with the Newton-Raphson iterative method, but at this stage is only avaiable to solve problems modeled with Beam2D elements subject to large displacements and rotations, called nonlinear geometric problems. The design sensitivity analysis capability is implemented in two elements, Truss2D and Beam2D, where are included the procedures and the analytic expressions for calculating derivatives of displacements, stress and volume performances with respect to 5 different design variables types. Finally, a set of test examples were created to validate the accuracy and consistency of the result obtained from EFFECT, by comparing them with results published in the literature or obtained with the ANSYS commercial finite element code.

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Environmental data management in the Sado Estuary

Estuaries are perhaps the most threatened environments in the coastal fringe; the coincidence of high natural value and attractiveness for human use has led to conflicts between conservation and development. These conflicts occur in the Sado Estuary since its location is near the industrialised zone of Peninsula of Setúbal and at the same time, a great part of the Estuary is classified as a Natural Reserve due to its high biodiversity. These facts led us to the need of implementing a model of environmental management and quality assessment, based on methodologies that enable the assessment of the Sado Estuary quality and evaluation of the human pressures in the estuary. These methodologies are based on indicators that can better depict the state of the environment and not necessarily all that could be measured or analysed. Sediments have always been considered as an important temporary source of some compounds or a sink for other type of materials or an interface where a great diversity of biogeochemical transformations occur. For all this they are of great importance in the formulation of coastal management system. Many authors have been using sediments to monitor aquatic contamination, showing great advantages when compared to the sampling of the traditional water column. The main objective of this thesis was to develop an estuary environmental management framework applied to Sado Estuary using the DPSIR Model (EMMSado), including data collection, data processing and data analysis. The support infrastructure of EMMSado were a set of spatially contiguous and homogeneous regions of sediment structure (management units). The environmental quality of the estuary was assessed through the sediment quality assessment and integrated in a preliminary stage with the human pressure for development. Besides the earlier explained advantages, studying the quality of the estuary mainly based on the indicators and indexes of the sediment compartment also turns this methodology easier, faster and human and financial resource saving. These are essential factors to an efficient environmental management of coastal areas. Data management, visualization, processing and analysis was obtained through the combined use of indicators and indices, sampling optimization techniques, Geographical Information Systems, remote sensing, statistics for spatial data, Global Positioning Systems and best expert judgments. As a global conclusion, from the nineteen management units delineated and analyzed three showed no ecological risk (18.5 % of the study area). The areas of more concern (5.6 % of the study area) are located in the North Channel and are under strong human pressure mainly due to industrial activities. These areas have also low hydrodynamics and are, thus associated with high levels of deposition. In particular the areas near Lisnave and Eurominas industries can also accumulate the contamination coming from Águas de Moura Channel, since particles coming from that channel can settle down in that area due to residual flow. In these areas the contaminants of concern, from those analyzed, are the heavy metals and metalloids (Cd, Cu, Zn and As exceeded the PEL guidelines) and the pesticides BHC isomers, heptachlor, isodrin, DDT and metabolits, endosulfan and endrin. In the remain management units (76 % of the study area) there is a moderate impact potential of occurrence of adverse ecological effects and in some of these areas no stress agents could be identified. This emphasizes the need for further research, since unmeasured chemicals may be causing or contributing to these adverse effects. Special attention must be taken to the units with moderate impact potential of occurrence of adverse ecological effects, located inside the natural reserve. Non-point source pollution coming from agriculture and aquaculture activities also seem to contribute with important pollution load into the estuary entering from Águas de Moura Channel. This pressure is expressed in a moderate impact potential for ecological risk existent in the areas near the entrance of this Channel. Pressures may also came from Alcácer Channel although they were not quantified in this study. The management framework presented here, including all the methodological tools may be applied and tested in other estuarine ecosystems, which will also allow a comparison between estuarine ecosystems in other parts of the globe.

Working in IT projects – Options and Limits of Work Design

Flexible forms of work like project work are gaining importance in industry and services. Looking at the research on project work, the vast majority of present literature is on project management, but increasingly, problems concerning the quality of work and the efficiency of project teams become visible. The question now is how project work can be structured in order to simultaneously provide efficient and flexible work and healthy working conditions ensuring the development of human resources for a long time. Selected results of publicly funded research into project work will be presented based on case studies in 7 software development /IT consulting project teams (N=34). A set of different methods was applied: interviews with management/project managers, group interviews on work constraints, a monthly diary about well-being and critical incidences in the course of the project, and a final evaluation questionnaire on project outcomes focusing on economic and health aspects. Findings reveal that different types of projects exist with varying degree of team members’ autonomy and influence on work structuring. An effect of self-regulation on mental strain could not be found. The results emphasize, that contradicting requirements and insufficient organizational resources with respect to the work requirements lead to an increased work intensity or work obstruction. These contradicting requirements are identified as main drivers for generating stress. Finally, employees with high values on stress for more than 2 months have significantly higher exhaustion rates than those with only one month peaks. Structuring project work and taking into account the dynamics of project work, there is a need for an active role of the project team in contract negotiation or the detailed definition of work – this is not only a question of individual autonomy but of negotiation the range of option for work structuring. Therefore, along with the sequential definition of the (software) product, the working conditions need to be re-defined.

A pattern language for parallelizing irregular algorithms

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Power-and-area efficient 14-bit 1.5 MSample/s two-stage algorithmic ADC based on a mismatch-insensitive MDAC

IEEE International Symposium on Circuits and Systems, pp. 220 – 223, Seattle, EUA

Efficient digital self-calibration of video-rate pipeline ADCs using white gaussian noise

Proceedings of IEEE, ISCAS 2003, Vol.I, pp. 877-880

Creation and extension of ontologies for describing communications in the context of organizations

Thesis submitted to Faculdade de Ciências e Tecnologia of the Universidade Nova de Lisboa, in partial fulfillment of the requirements for the degree of Master in Computer Science

Study of a 9th century silver earrings set from Mikulčice: corrosion, conservation and maintenance

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Conservação e Restauro

Modern techniques for constraint solving the CASPER experience

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Informática, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Planear e inovar : contributo para o planeamento de recursos com base nas necessidades auto-avaliadas pela população com 65 e mais anos

RESUMO - Enquadramento: O envelhecimento da população ocorre em todas as sociedades desenvolvidas, resultando num aumento da prevalência da dependência funcional, associado recorrentemente à presença de doenças crónicas. Estes novos padrões demográficos, epidemiológicos, implicando populações vulneráveis com necessidades específicas, resultam em desafios incontestáveis. Como resposta a este novo paradigma, em 2006, Portugal implementa a Rede Nacional de Cuidados Continuados Integrados (RNCCI). Finalidade/objectivos: Caracterização da população com base no perfil das necessidades auto-referidas pelas pessoas com ≥65 anos, com algum nível de independência/dependência nas actividades de vida diária e/ou com pelo menos uma doença crónica. Pretende-se, ainda, desenvolver uma metodologia que permita simular cenários que contribuam para o planeamento do número de camas para internamento de carácter permanente em Unidades de Longa Duração e Manutenção (ULDM) da RNCCI. Metodologia: Construção de dois indicadores: índice de independência/dependência e existência ou não de doenças crónicas. Análise estatística e caracterização, individual e conjunta, das variáveis sociodemográficas, socioeconómicas, auto-avaliação do estado de saúde, nível de independência/dependência e/ou existência de pelo menos uma doença crónica. Simulação de cenários com base nas metas definidas pela RNCCI para 2013. Resultados e Conclusões: Da aplicação do índice de independência/dependência, resulta que 78,8% são independentes na realização das actividades de vida diária e 21,2% apresentam algum nível de dependência. À excepção do Centro, todas as regiões apresentam padrões similares. Globalmente, os resultados obtidos vão de encontro aos enunciados na literatura internacional, realçando-se apenas alguns mais pertinentes: Observa-se uma predominância de mulheres idosas. Destaca-se também uma relação directa entre a idade e os níveis de dependência. As variáveis socioeconómicas indicam que a existência de algum nível de dependência tende a ser mais frequente entre os que têm menor escolaridade e rendimento. Em média o estado de saúde é auto-avaliado como mau, piorando com o aumento da idade e níveis de dependência mais acentuados e melhorando com o aumento da escolaridade. Da simulação de cenários destaca-se que, face às 4 camas previstas nas metas de 2013, seria de alocar em média 1,7 camas ou 1 cama ao internamento permanente em ULDM. Trabalhar em rede implica canais de comunicação. A incorporação da distribuição espacial das necessidades e serviços com recurso aos sistemas de informação geográfica torna-se numa mais-valia. Possibilita avaliar hipóteses, análises sustentadas e disseminação de informação e resultados, contribuindo para um planeamento, monitorização e avaliação mais eficaz e eficiente das actividades do sector da saúde. ---------------------------------- ABSTRACT - Background: Population aging occurs in all developed societies resulting in an increased prevalence of functional dependence, frequently associated with the presence of chronic diseases. These new demographic and epidemiological patterns, which include dependency ad vulnerability situations, with specific needs, result in undeniable challenges. In response to this new paradigm, in 2006, Portugal implements the National Network for Integrated Care (RNCCI). Aim/Objectives: Characterize the population based on the self-reported needs of ≥65 year’s people, with some level of independence/dependency in activities of daily living and/or with at least one chronic disease. Also intends to develop a methodological approach that allows scenarios simulation which contributes to the planning of the number of permanent inpatient beds in Long Term Care Units (ULDM) of RNCCI. Methods: Construction of two indicators: independence/dependence index and existence of chronic diseases. Statistical analysis and characterization, individually and jointly, of sociodemographics, socioeconomics, selfassessment of health status, level of independence/dependence and/or existence of at least one chronic disease variables. Scenarios simulation based on RNCCI targets set for 2013. Results and Conclusions: According with independence/dependence index, 78.8% are independent in carrying out the activities of daily living and 21.2% have some level of dependency. With the exception of the Centroregion, all regions have similar patterns. Generally, the results are concordant with international literature, highlighting here only some of the most relevant results: A predominance of older women is observed. A direct relationship between age and levels of dependence is emphasized. Socio-economic variables indicate that the existence of some level of dependency tends to be more frequent among those with lower income and education levels. On average, health status is self-assessed as poor, being even more critical with aging and higher dependency level. On the other hand, high education levels are related with better health status. Scenarios simulations highlights that, based on 4 beds considered in the 2013 planned goals, an average of 1.7 or 1 beds in ULDM should be allocated to permanent inpatient beds. Networking involves communication channels. The incorporation of spatial distribution of needs and services using geographical information systems becomes an added value. It enables hypothesis, evaluation, sustainable analysis and information and results dissemination, contributing to a more effective and efficient planning, monitoring and assessment of the health sector activities.

Vibration control with shape-memory alloys in civil engineering structures

Dissertação apresentada à Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Doutor em Engenharia Civil