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.

Experimental study of proton induced nuclear reactions in 6,7 Li

This work presents the results of the experimental study of proton induced nuclear reactions in lithium, namely the 7Li(p,α) 4He, 6Li(p,α) 3He and 7Li(p,p)7Li reactions. The amount of 7Li and 6Li identified as primordial and observed in very old stars of the Milky Way galactic halo strongly deviates from the predictions of primordial nucleosynthesis and stellar evolution models which depend, among other factors, on the cross sections of reactions like 7Li(p,α) 4He and 6Li(p,α) 3He. These discrepancies have triggered a large amount of research in the fields of stellar evolution, cosmology, pre-galactic evolution and low energy nuclear reactions. Focusing on nuclear reactions, this work has measured the 7Li(p,α) 4He and 6Li(p,α) 3He reactions cross sections (expressed in terms of the astrophysical S -factor) with higher accuracy, and the electron screening effects in these reactions for different environments (insulators and metallic targets). The 7Li(p,α) 4He angular distributions were also measured. These measurementstook place in two laboratory facilities, in the framework of the LUNA (Laboratory for Undergroud Nuclear Astrophysics) international collaboration, namely the Laboratorio ´ de Feixe de Ioes ˜ in ITN (Instituto Tecnologico ´ e Nuclear) Sacavem, ´ Portugal, and the Dynamitron-TandemLaboratorium in Ruhr-Universitat¨ Bochum, Germany. The ITN target chamber was modified to measure these nuclear reactions, with the design and construction of new components, the addition of one turbomolecular pump and a cold finger. The 7Li(p,α) 4He and 6Li(p,α) 3He reactions were measured concurrently with seven and four targets, respectively. These targets were produced in order to obtain adequate and stable lithium depth profiles. In metallic environments, the measured electron screening potential energies are much higher than the predictions of atomic-physics models. The Debye screening model applied to the metallic conduction electrons is able to explain these high values. It is a simple model, but also very robust. Concerning primordial nucleosynthesis and stellar evolution models, these results are very important as they show that laboratory measurements are well controlled, and the model inputs from these cross sections are therefore correct. In this work the 7Li(p,p)7Li differential cross section was also measured, which is useful to describe the 7Li(p,α) 4He entrance channel.

A contabilidade de gestão e a data envelopment analysis : análise de desempenho organizacional

Mestrado em Contabilidade e Gestão das Instituições Financeiras

Estudo da influência das concentrações de N e P sobre o desenvolvimento de cianobactérias em cultura mista

Ao longo de 40 anos, muitos trabalhos têm vindo a ser desenvolvidos no âmbito do tema da eutrofização e desenvolvimento de biomassa fitoplanctónica. Em todos eles, eram sugeridos factores responsáveis, desde a latitude, luz, temperatura, mistura da coluna de água e os inputs de nutrientes. Toda a controvérsia gerada em torno da eutrofização, levou a que a inércia adoptada em situações de risco induzisse a degradação de muitos sistemas aquáticos. É quando, além da degradação estética, os problemas começam a surgir, que se compreende a necessidade de que surjam medidas de gestão e requalificação das lagoas e bacias hidrográficas. A tendência para a ocorrência de florescências de organismos como cianobactérias, implica a necessidade de maiores cuidados nos usos das massas de água, principalmente ao nível da produção de água para consumo humano e do uso recreativo. Uma boa gestão, implica um conhecimento aprofundado do comportamento destes organismos. Este trabalho, apresenta as respostas de organismos recolhidos em florescências naturais, na Lagoa das Furnas – ilha de S. Miguel (Açores) em meios com diferentes teores de azoto. As diferenças entre os resultados, permitem retirar algumas conclusões sobre as condições preferenciais ao seu desenvolvimento. De um modo geral, as culturas comportaram-se da forma esperada, desenvolvendo-se mais com doses de azoto mais elevadas. Este desenvolvimento foi verificado tanto pelo aumento das partículas ao longo de todo o ensaio, mas também pelos valores de pigmentos registados no fim deste. Por outro lado, o facto do azoto ter sido adicionado sob a forma amoniacal ou de nitratos, permite concluir que os organismos presentes nas florescências preferem assimilar as formas azotadas que impliquem um menor consumo energético. Daí que se tenham verificado desenvolvimentos mais significativos em meios em que foi adicionado azoto amoniacal. O facto de ser tratar de um trabalho baseado nas condições de desenvolvimento de organismos vivos, era de esperar alguma imprevisibilidade dos comportamentos. Sendo assim, será recomendável aprofundar o conhecimento das reacções dos organismos em cultura mista para doses diferentes de azoto, assim como a realização de ensaios em que para uma dose de N fixa, se façam variar as concentrações de P.

A fuzzified systematic adjustment of the robotic Darwinian PSO

The Darwinian Particle Swarm Optimization (DPSO) is an evolutionary algorithm that extends the Particle Swarm Optimization using natural selection to enhance the ability to escape from sub-optimal solutions. An extension of the DPSO to multi-robot applications has been recently proposed and denoted as Robotic Darwinian PSO (RDPSO), benefiting from the dynamical partitioning of the whole population of robots, hence decreasing the amount of required information exchange among robots. This paper further extends the previously proposed algorithm adapting the behavior of robots based on a set of context-based evaluation metrics. Those metrics are then used as inputs of a fuzzy system so as to systematically adjust the RDPSO parameters (i.e., outputs of the fuzzy system), thus improving its convergence rate, susceptibility to obstacles and communication constraints. The adapted RDPSO is evaluated in groups of physical robots, being further explored using larger populations of simulated mobile robots within a larger scenario.

From local to global importance measures of uncertainty propagation in composite structures

The influence of uncertainties of input parameters on output response of composite structures is investigated in this paper. In particular, the effects of deviations in mechanical properties, ply angles, ply thickness and on applied loads are studied. The uncertainty propagation and the importance measure of input parameters are analysed using three different approaches: a first-order local method, a Global Sensitivity Analysis (GSA) supported by a variance-based method and an extension of local variance to estimate the global variance over the domain of inputs. Sample results are shown for a shell composite laminated structure built with different composite systems including multi-materials. The importance measures of input parameters on structural response based on numerical results are established and discussed as a function of the anisotropy of composite materials. Needs for global variance methods are discussed by comparing the results obtained from different proposed methodologies. The objective of this paper is to contribute for the use of GSA techniques together with low expensive local importance measures.

Value of a lower limb immobilization device for SPECT/CT image fusion optimization

The foot and the ankle are small structures commonly affected by disorders, and their complex anatomy represent significant diagnostic challenges. SPECT/CT Image fusion can provide missing anatomical and bone structure information to functional imaging, which is particularly useful to increase diagnosis certainty of bone pathology. However, due to SPECT acquisition duration, patient’s involuntary movements may lead to misalignment between SPECT and CT images. Patient motion can be reduced using a dedicated patient support. We aimed at designing an ankle and foot immobilizing device and measuring its efficacy at improving image fusion. Methods: We enrolled 20 patients undergoing distal lower-limb SPECT/CT of the ankle and the foot with and without a foot holder. The misalignment between SPECT and CT images was computed by manually measuring 14 fiducial markers chosen among anatomical landmarks also visible on bone scintigraphy. Analysis of variance was performed for statistical analysis. Results: The obtained absolute average difference without and with support was 5.1±5.2 mm (mean±SD) and 3.1±2.7 mm, respectively, which is significant (p<0.001). Conclusion: The introduction of the foot holder significantly decreases misalignment between SPECT and CT images, which may have clinical influence in the precise localization of foot and ankle pathology.

Enabling Global Experiments With Interactive Reconfiguration And Steering By Multiple Users

In global scientific experiments with collaborative scenarios involving multinational teams there are big challenges related to data access, namely data movements are precluded to other regions or Clouds due to the constraints on latency costs, data privacy and data ownership. Furthermore, each site is processing local data sets using specialized algorithms and producing intermediate results that are helpful as inputs to applications running on remote sites. This paper shows how to model such collaborative scenarios as a scientific workflow implemented with AWARD (Autonomic Workflow Activities Reconfigurable and Dynamic), a decentralized framework offering a feasible solution to run the workflow activities on distributed data centers in different regions without the need of large data movements. The AWARD workflow activities are independently monitored and dynamically reconfigured and steering by different users, namely by hot-swapping the algorithms to enhance the computation results or by changing the workflow structure to support feedback dependencies where an activity receives feedback output from a successor activity. A real implementation of one practical scenario and its execution on multiple data centers of the Amazon Cloud is presented including experimental results with steering by multiple users.

Legal and health variations in drug litigation injunctions granted in Minas Gerais

OBJECTIVE To investigate the factors related to the granting of preliminary court orders [injunctions] in drug litigations. METHODS A retrospective descriptive study of drug lawsuits in the State of Minas Gerais, Southeastern Brazil, was conducted from October 1999 to 2009. The database consists of 6,112 lawsuits, out of which 6,044 had motions for injunctions and 5,167 included the requisition of drugs. Those with more than one beneficiary were excluded, which totaled 5,072 examined suits. The variables for complete, partial, and suppressed motions were treated as dependent and assessed in relation to those that were independent – lawsuits (year, type, legal representation, defendant, court in which it was filed, adjudication time), drugs (level five of the anatomical therapeutic chemical classification), and diseases (chapter of the International Classification of Diseases). Statistical analyses were performed using the Chi-square test. RESULTS Out of the 5,072 lawsuits with injunctions, 4,184 (82.5%) had the injunctions granted. Granting varied from 95.8% of the total lawsuits in 2004 to 76.9% in 2008. Where there was legal representation, granting exceeded 80.0% and in lawsuits without representation, it did not exceed 66.9%. In public civil actions (89.1%), granting was higher relative to ordinary lawsuits (82.8%) and injunctions (80.1%). Federal courts granted only 68.6% of the injunctions, while the state courts granted 84.8%. Diseases of the digestive system and neoplasms received up to 87.0% in granting, while diseases of the nervous system, mental and behavioral disorders, and diseases of the skin and subcutaneous tissue received granting below 78.6% and showed a high proportion of suspended injunctions (10.9%). Injunctions involving paroxetine, somatropin, and ferrous sulfate drugs were all granted, while less than 54.0% of those involving escitalopram, sodium diclofenac, and nortriptyline were granted. CONCLUSIONS There are significant differences in the granting of injunctions, depending on the procedural and clinical variances. Important trends in the pattern of judicial action were observed, particularly, in the reduced granting [of injunctions] over the period.

SiC pinpin photonic for linking the visible spectrum to the telecom gap

Expanding far beyond traditional applications at telecommunications wavelengths, the SiC photonic devices has recently proven its merits for working with visible range optical signals. Reconfigurable wavelength selectors are essential sub-systems for implementing reconfigurable WDM networks and optical signal processing. Visible range to telecom band spectral translation in SiC/Si can be accomplished using wavelength selector under appropriated optical bias, acting as reconfigurable active filters. In this paper we present a monolithically integrated wavelength selector based on a multilayer SiC/Si integrated optical filters that requires optical switches to select wavelengths. The selector filter is realized by using double pin/pin a-SiC:H photodetector with front and back biased optical gating elements. Red, green, blue and violet communication channels are transmitted together, each one with a specific bit sequence. The combined optical signal is analyzed by reading out the generated photocurrent, under different background wavelengths applied either from the front or the back side. The backgrounds acts as channel selectors that selects one or more channels by splitting portions of the input multi-channel optical signals across the front and back photodiodes. The transfer characteristics effects due to changes in steady state light, irradiation side and frequency are presented. The relationship between the optical inputs and the digital output levels is established. (C) 2014 Elsevier B.V. All rights reserved.

Tunnig optical A-Sic/A-Si active filters by UV bias light in the visible and infrared spectral ranges

Visible range to telecom band spectral translation is accomplished using an amorphous SiC pi'n/pin wavelength selector under appropriate front and back optical light bias. Results show that background intensity works as selectors in the infrared region, shifting the sensor sensitivity. Low intensities select the near-infrared range while high intensities select the visible part according to its wavelength. Here, the optical gain is very high in the infrared/red range, decreases in the green range, stays close to one in the blue region and strongly decreases in the near-UV range. The transfer characteristics effects due to changes in steady state light intensity and wavelength backgrounds are presented. The relationship between the optical inputs and the output signal is established. A capacitive optoelectronic model is presented and tested using the experimental results. © 2014 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

Sobre o (des)uso de exercícios na técnica pianística

Dissertação para obtenção do grau de Mestre em Música - Interpretação Artística. Especialidade: Piano

A engenharia de requisitos como processo inovador nas organizações

Trabalho realizado sob orientação do Prof. António Brandão Moniz para a disciplina “Factores Sociais da Inovação” do Mestrado Engenharia Informática realizado na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa

The daily and hourly energy consumption and load forecasting using artifitial neural network method: a case study using a set of 93 households in Portugal

It is important to understand and forecast a typical or a particularly household daily consumption in order to design and size suitable renewable energy systems and energy storage. In this research for Short Term Load Forecasting (STLF) it has been used Artificial Neural Networks (ANN) and, despite the consumption unpredictability, it has been shown the possibility to forecast the electricity consumption of a household with certainty. The ANNs are recognized to be a potential methodology for modeling hourly and daily energy consumption and load forecasting. Input variables such as apartment area, numbers of occupants, electrical appliance consumption and Boolean inputs as hourly meter system were considered. Furthermore, the investigation carried out aims to define an ANN architecture and a training algorithm in order to achieve a robust model to be used in forecasting energy consumption in a typical household. It was observed that a feed-forward ANN and the Levenberg-Marquardt algorithm provided a good performance. For this research it was used a database with consumption records, logged in 93 real households, in Lisbon, Portugal, between February 2000 and July 2001, including both weekdays and weekend. The results show that the ANN approach provides a reliable model for forecasting household electric energy consumption and load profile. © 2014 The Author.

Chemical reaction network of flavylium ions in heterogeneous media

Dissertação apresentada para a obtenção do Grau de Doutor em Química, especialidade em Química-Física, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia