Aquisição de exaustividade em crianças falantes de Português Europeu

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciências da Linguagem

Information flow analysis using data-dependent logical propositions

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

Type-based protocol conformance and aliasing control in concurrent java programs

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

Derivation and consistency checking of models in early software product line engineering

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

A proof system for lock-free concurrency

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

Analysable software language translations

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

Proposta de abordagem para gestão de ocorrências em Serviços de Sangue

RESUMO: A gestão de ocorrências, sendo um requisito, quer legal, ao nível da regulação, quer normativo, tal como surge na ISO 9001, é um componente crítico para garantir a melhoria contínua um Serviço de Sangue, dado ter como objetivo a satisfação contínua dos requisitos dos dadores e recetores. A gestão eficaz, mas com eficiência, depende, também da eficácia da abordagem para gestão de ocorrência, nomeadamente, através da geração de correções, ações corretivas e ações preventiva eficazes. Esta dissertação discute a relevância, propondo um modelo de abordagem de gestão da qualidade conforme com os requisitos da lei fundamental da regulação de Serviços de Sangue, DL 267/2007, e com a norma global para sistemas de gestão da qualidade, ISO 9001. Esta abordagem usada descreve as várias etapas para a gestão eficaz de ocorrências, desde o seu relato, à sua classificação, tratamento com medição e análise risco associado e verificação da eficácia das ações tomadas. A eficácia do modelo teórico proposto foi verificado através da sua passagem para algoritmo informático num software comercial. Foi evidenciado neste software o cumprimento dos requisitos da abordagem teórica, pelo que a aplicação informática está conforme com os requisitos estabelecidos num procedimento documentado. Foi evidenciado, também, a rastreabilidade dos dados ao longo e toda a metodologia. A utilização de uma ferramenta informática também acrescentou valor ao modelo teórico, dado o acesso a toda a informação ser mais célere e de fácil acesso, quando comparado com o uso em suporte de papel.---------ABSTRACT: The issues management is a law requirement intended for regulation of “Blood Banks” and a quality management global requirement from ISO 9001. It is a critical activity, intended to to ensure continuous improvement on “Blood Bank”. Its goal is the continuous satisfaction of blood donors and transfusion recipients. Effective management and efficiency also depend on the effectiveness of the management of occurrence approach, namely in successful corrections, corrective actions and preventive actions. This paper discusses the relevance and it proposes a model approach to quality management according to the requirements of the fundamental law of regulation of “Blood Bank”, DL 267/2007, and according to the global standard for quality management systems, ISO 9001. This approach describes the various steps for effective management of incidents, such as his account, its classification, measurement and treatment using risk analysis and verification of the effectiveness of actions taken. The efficiency of the proposed theoretical model was verified through its transition to a computer algorithm trading software. It was demonstrated in this software that the requirements of the theoretical approach has been fulfilled by the computer application, which complies with the requirements established in a documented procedure. It was also evident that traceability of data across the methodology. The use of a software tool also added value to the theoretical model due to the access to all information to be faster and more easily accessible, when compared to paper.

The Evolution of Population Distribution on the Iberian Peninsula: A Transnational Approach (1877–2001)

Surpassing the national perspective usually adopted, the authors confirmed the existence of a pattern of population distribution common to the whole Iberian Peninsula in the long run. This pattern is clearly associated with geographical factors. These variables seem to have more weight in explaining changes between 1877/78 and 1940 than in the period from 1940 to 2001. The observation of the cross-border region has shown that proximity to the frontier has not generated any distinct pattern of population density on either side of the boundary line. The spatial coherence of the observed phenomena throughout the Peninsula and of its evolution, independent of the border between states, reinforces the importance of geographic factors in their explanation. At the same time, this verification opens up new issues related to the effect of national political and economic policies.

Petri net based development of globally-asynchronous locally-synchronous distributed embedded systems

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores

Technical optimization of the synthesis of flavours

The goal of this thesis is the investigation and optimization of the synthesis of potential fragrances. This work is projected as collaboration between the University of Applied Sciences in Merseburg and the company Miltitz Aromatics GmbH in Bitterfeld‐Wolfen (Germany). Flavoured compounds can be synthesized in different ways and by various methods. In this work, methods like the phase transfer catalysis and the Cope‐rearrangement were investigated and applied, for getting a high yield and quantity of the desired substances and without any by‐products or side reactions. This involved the study of syntheses with different process parameters such as temperature, solvent, pressure and reaction time. The main focus was on Cope‐rearrangement, which is a common method in the synthesis of new potential fragrance compounds. The substances synthesized in this work have a hepta‐1,5‐diene‐structure and that is why they can easily undergo this [3,3]‐sigma tropic rearrangement. The lead compound of all research was 2,5‐dimethyl‐2‐vinyl‐4‐hexenenitrile (Neronil). Neronil is synthesized by an alkylation of 2‐methyl‐3‐butenenitrile with prenylchloride under basic conditions in a phase‐transfer system. In this work the yield of isolated Neronil is improved from about 35% to 46% by according to the execution conditions of the reaction. Additionally the amount of side product was decreased. This synthesized hexenenitrile involved not only the aforementioned 1,5‐diene‐structure, but also a cyano group, that makes this structure a suitable base for the synthesis of new potential fragrance compounds. It was observed that Neronil can be transferred into 2,5‐dimethyl‐2‐vinyl‐4‐hexenoic acid by a hydrolysis under basic conditions. After five hours the acid can be obtained with a yield of 96%. The following esterification is realized with isobutanol to produce 2,5‐dimethyl‐2‐vinyl‐4‐hexenoic acid isobutyl ester with quantitative conversion. It was observed that the Neronil and the corresponding ester can be converted into the corresponding Cope‐product, with a conversion of 30 % and 80%. Implementing the Cope‐rearrangement, the acid was heated and an unexpected decarboxylated product is formed. To achieve the best verification of reaction development and structure, scrupulous analyses were done using GC‐MS, 1H‐NMR and 13C‐ NMR.

Specification of a partial replication protocol with TLA+

Nowadays, data available and used by companies is growing very fast creating the need to use and manage this data in the most efficient way. To this end, data is replicated overmultiple datacenters and use different replication protocols, according to their needs, like more availability or stronger consistency level. The costs associated with full data replication can be very high, and most of the times, full replication is not needed since information can be logically partitioned. Another problem, is that by using datacenters to store and process information clients become heavily dependent on them. We propose a partial replication protocol called ParTree, which replicates data to clients, and organizes clients in a hierarchy, using communication between them to propagate information. This solution addresses some of these problems, namely by supporting partial data replication and offline execution mode. Given the complexity of the protocol, the use of formal verification is crucial to ensure the protocol two correctness properties: causal consistency and preservation of data. The use of TLA+ language and tools to formally specificity and verify the proposed protocol are also described.