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.

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 reconnaissance study of Upper Jurassic sediments of the Lusitanian Basin

The Upper Jurassic evolution of the Lusitanian Basin is shown to be linked to the rifting phase which preceded the separation of Iberia and the Grand Banks. Structural controls on sedimentation include both NNE-SSW trending faults in the Hercynian basement, and contemporaneous movement of salt diapirs. At the beginning of Upper Oxfordian times, the entire basin had been levelled to within a few metres of sea level, so that the freshwater algal marsh and marginal marine facies of the Cabaços and Vale Verde Beds rest on Triassic to Callovian strata. In the latter part of the Upper Oxfordian. carbonate sedimentation continued, with fluctuating salinity lagoons in the north (Pholodomya protei Beds) separated from shallow open marine carbonates in the south (Montejunto Beds) by the Caldas da Rainha diapir-barrier island complex. The commencement of rifting is recorded in the Kimmeridgian by the sudden influx of terrigenous clastics (developed in both fluviatile and deltaic/submarine fan environments) and accelerated depositional rates in excess of 10cm/10 k.yrs in association with contemporaneous faulting along the SE margin of the Arruda sub-basin. The Caldas-Santa Cruz chain of diapiric structures continued to influence the distribution of carbonate and clastic sediments. In the Portlandian, a simpler facies pattern occurs, with fluviatile clastics interfingering to the south with shallow low energy carbonates.

Microfacies studies of carbonate rocks from Jurassic outcrops in the north of Faro, Southern Portugal

The Middle and Upper Jurassique limestones investigated were sub-divided into nine microfacies (MF) types. The firsts four represent Bathonian sediments with shallow water characteristics typical for carbonate platforms. They are comparable with Wilson's facies zones 6 to 8. Reef and reef debris, near-shore clastic-dominated limestones are not present. These MF-types are reiterated several times without cyclicity. The vertical development of the differentiated facies units indicates a close interfingering. The microfacies data are typical of inter to shallow subtidal environments; both authigenous quartz and low faunal and floral diversity of several layers point to temporary restricted conditions. The occurrence of Dictyoconus cayeuxi LUCAS and Callovian ammonites from the above lying strata argue for a Bathonian age. The MF-types 5-9 (Oxfordian-Kimmeridgian) show completely different sedimentation conditions. Fully marine nearshore recifal limestones alternate with pelagic sediments formed at deeper shelf areas. The pelagic micritic limestones of Oxfordian age are characterized by allodapic intercalations whereas the Oxfordian/Kimmeridgian limestones with tuberolithic fabrics often show intensive silifications. Only initial patch reef growth-stages were reached during the development of the Oxfordian and Kimmeridgian shallow water limestones.

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

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

Controlo da ventilação

Acta Medica Portuguesa, 1995, 8: 433-440

An high-speed parametric ADC and a co-designed mixer for CMOS RF receivers

Dissertação apresentada na faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Lugar, Espaço e Geografia - Do Real ao Virtual na Sociedade do Conhecimento

As alterações sociais, culturais, tecnológicas ou puramente virtuais a que se assiste são indiscutíveis e, porventura, irreversíveis. O ritmo da evolução tecnológica não permite pausas. A crescente densidade das redes e a velocidade dos fluxos de informação fazem aumentar a complexidade da análise, contrastando com uma diminuição dos tempos de resposta. Observa-se uma dinâmica cada vez mais acentuada no processo de transição entre a informação e o conhecimento, acelerando os inputs que influenciam ou dominam as práticas sociais, políticas e simbólicas da vida. Este artigo analisa conceitos como “informação” e “conhecimento” e outros, mais geográficos, como “lugar” e “espaço”; e de que forma pode a sua dinâmica influenciar o território, que deixa de ser (apenas) real para passar a ser, também, virtual. A Sociedade do Conhecimento surge a partir da Sociedade da Informação, num contexto evolucional da cadeia de valor “dado-informação-conhecimento-sabedoria” e onde o elevado potencial tecnológico extravasa as noções tradicionais da Geografia. Para ajudar a compreender as mutações observadas no território, explicando as suas causas e consequências surge a Geografia da Sociedade do Conhecimento, um ramo da Geografia vocacionado para a análise do desenvolvimento sócio-económico da sociedade moderna.

The detrital origin of the Moncorvo ordovician ironstones

The Moncorvo Ordovician ironstones in northeastern Portugal consist of iron ore sedimentary horizons frequently interbanded with psamites and quartzites. Ore reserves may probably exceed 1 000 million tonnes and this makes Moncorvo the largest iron ore deposit in the European Union. Compact poorly banded massive layers may exceed 90 meters in thickness which is quite an extraordinary feature for a Phanerozoic deposit. If the thickness of Precambrian deposits may reach a few hundred meters, the thickness of Phanerozoic deposits never exceed a maximum of 15 meters generally forming a number of comparatively thin layers confined to a particular member of a sedimentary sequence. A detailed microscopic analysis of the ores revealed that initially a compact magnetite/quartzite layer, detrital in character (the magnetite occasionally showing chromite cores), was deposited by entrapment in near shore lagoons where rivers debouched, rather than in the open sea. This stage was followed by oscilating and transgressive shore lines which gave rise to breaks in sedimentation in combined river delta and shallow water marine environment where detrital material and fine iron oxide and clay suspensions were deposited in fluctuating environments. These events gave rise to layers of both magnetite (martite) and specularite intergrown with quartz, silicates and phosphates. Textural and mineralogical studies show that the deposits consist of ferruginous clastic sediments and are not chemically deposited cherts. Field, geological and palaeontological evidence also supports a detrital origin, the facies being typical of zones rich in oxygen and close to the feeding continent. The uncommon huge development of Moncorvo was due to the fact that the deposits occur in restricted basins on a continental platform were clastic sediments were predominantly deposited. Not only morphologically but also chemically the deposits are more similar to Precambrian iron formations than to Phanerozoic ironstones.

Knowledge Society and Geography: A Theoretical Approach

The transition process between information and knowledge is faster and so the inputs that influence social and political practises. The dissemination of information is now determinant in terms of territorial competitiveness and both public and private sector take large benefits when the data-information- knowledge value chain repeats itself trough space and time. Mankind depends nowadays on the creation and diffusion of good and reliable information. Speed is also important and the greater the speed, the faster the opportunities for global markets. Information must be an input for knowledge and obviously for decision. So, the power of information is unquestionable. This paper focuses on concepts like information, knowledge and other, more geographical and tries to explain how territories change from real to virtual. Knowledge society appears on an evolutional context in which information dissemination is wider and technological potential overwrites traditional notions of Geography. To understand the mutations over the territories, the causes and the consequences emerges the Geography of the Knowledge Society, a new discipline inside Geography with a special concern about modern society and socio-economical developing models.

Managerial strategies in canning industries: A case study of early twentieth century Portugal

Business History, Vol, 51 Issue 1, p45-58

Avaliação da eficiência das empresas na utilização das redes sociais digitais: data envelopment analysis aplicada ao Facebook

Dissertação para obtenção do Grau de Mestre em Engenharia e Gestão Industrial

Framework development for providing accessibility to qualitative spatial calculi

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.