Speculative execution by using software transactional memory

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 Informática.

Sensors on mobile devices for AAL

Com o envelhecimento da população, as preocupações com a garantia do seu bem-estar aumentam criando a necessidade de desenvolver ferramentas que permitam monitorizar em permanência este sector da população. A utilização de smartphones pelos mais velhos pode ser crucial no seu bem-estar e na sua autonomia contribuindo para a recolha de informação importante já que estes estão muitas vezes equipados com sensores que podem dar indicações preciosas ao cuidador sobre o estado atual do paciente. Os sensores podem fornecer dados sobre a atividade física do paciente, bem como detetar quedas ou calcular a sua posição, com a ajuda do acelerómetro, do giroscópio e do sensor de campo magnético. No entanto, funcionalidades como essas requerem, obrigatoriamente, uma frequência de amostragem mínima por parte dos sensores que permita a implementação de algoritmos, que determinarão esses parâmetros da forma mais exata possível. Dado que nem sempre os pacientes se fazem acompanhar do seu smartphone quando estão na sua residência, a criação de ambientes de AAL (Ambient Assisted Living) com recurso a dispositivos externos que podem ser “vestidos” pelos pacientes pode também ser uma solução adequada. Estes contêm normalmente os mesmos sensores que os smartphones e comunicam com estes através de tecnologias sem fios, como é o caso do Bluetooth Low Energy. Neste trabalho, avaliou-se a possibilidade de alteração da frequência dos sensores em diferentes sistemas operativos, tendo sido efectuadas modificações nas instalações por defeito de alguns sistemas operativos abertos. Com o objectivo de permitir a criação de uma solução de AAL com recurso a um dispositivo externo implementaram-se serviços e perfis num dispositivo externo, o SensorTag.

Modelação numérica de uma caldeira doméstica a pellets

A biomassa é uma das fontes de energia renovável com maior potencial em Portugal, sendo a capacidade de produção de pellets de biomassa atualmente instalada superior a 1 milhão de toneladas/ano. Contudo, a maioria desta produção destina-se à exportação ou à utilização em centrais térmicas a biomassa, cujo crescimento tem sido significativo nos últimos anos, prevendo-se que a capacidade instalada em 2020 seja de aproximadamente 250 MW. O mercado português de caldeiras a pellets é bastante diversificado. O estudo que realizamos permitiu concluir que cerca de 90% das caldeiras existentes no mercado português têm potências inferiores a 60 kW, possuindo na sua maioria grelha fixa (81%), com sistema de ignição eléctrica (92%) e alimentação superior do biocombustível sólido (94%). O objetivo do presente trabalho foi o desenvolvimento de um modelo para simulação de uma caldeira a pellets de biomassa, que para além de permitir otimizar o projeto e operação deste tipo de equipamento, permitisse avaliar as inovações tecnológicas nesta área. Para tal recorreu-se o BiomassGasificationFoam, um código recentemente publicado, e escrito para utilização com o OpenFOAM, uma ferramenta computacional de acesso livre, que permite a simulação dos processos de pirólise, gasificação e combustão de biomassa. Este código, que foi inicialmente desenvolvido para descrever o processo de gasificação na análise termogravimétrica de biomassa, foi por nós adaptado para considerar as reações de combustão em fase gasosa dos gases libertados durante a pirólise da biomassa (recorrendo para tal ao solver reactingFoam), e ter a possibilidade de realizar a ignição da biomassa, o que foi conseguido através de uma adaptação do código de ignição do XiFoam. O esquema de ignição da biomassa não se revelou adequado, pois verificou-se que a combustão parava sempre que a ignição era inativada, independentemente do tempo que ela estivesse ativa. Como alternativa, usaram-se outros dois esquemas para a combustão da biomassa: uma corrente de ar quente, e uma resistência de aquecimento. Ambos os esquemas funcionaram, mas nunca foi possível fazer com que a combustão fosse autossustentável. A análise dos resultados obtidos permitiu concluir que a extensão das reações de pirólise e de gasificação, que são ambas endotérmicas, é muito pequena, pelo que a quantidade de gases libertados é igualmente muito pequena, não sendo suficiente para libertar a energia necessária à combustão completa da biomassa de uma maneira sustentável. Para tentar ultrapassar esta dificuldade foram testadas várias alternativas, , que incluíram o uso de diferentes composições de biomassa, diferentes cinéticas, calores de reação, parâmetros de transferência de calor, velocidades do ar de alimentação, esquemas de resolução numérica do sistema de equações diferenciais, e diferentes parâmetros dos esquemas de resolução utilizados. Todas estas tentativas se revelaram infrutíferas. Este estudo permitiu concluir que o solver BiomassGasificationFoam, que foi desenvolvido para descrever o processo de gasificação de biomassa em meio inerte, e em que a biomassa é aquecida através de calor fornecido pelas paredes do reator, aparentemente não é adequado à descrição do processo de combustão da biomassa, em que a combustão deve ser autossustentável, e em que as reações de combustão em fase gasosa são importantes. Assim, é necessário um estudo mais aprofundado que permita adaptar este código à simulação do processo de combustão de sólidos porosos em leito fixo.

Balanced scorecard

A avaliação do desempenho das Organizações sem fins lucrativos (OSFL) tornou-se para os gestores um dos desafios mais importantes na atualidade. O estudo visa analisar a implementação do Balanced Scorecard (BSC) nas associações mutualistas, uma das formas legais de instituição das OSFL. Os principais objetivos são verificar se o BSC é adotado por estas organizações, quais as alterações necessárias para a sua implementação e por último, as vantagens e desvantagens inerentes dessa aplicação. O método de investigação utilizado foi o estudo de caso. Como procedimentos foram selecionados a análise documental, dos decretos-lei e código das Associações Mutualistas, os questionários e uma entrevista. As associações analisadas foram escolhidas com base na sua filiação na União das Mutualidades (UM), uma associação de grau superior. Apesar da evidência recolhida mostrar que o BSC não é implementado, são reconhecidas vantagens superiores às limitações para uma gestão mais eficaz. Adicionalmente os resultados sugerem que a estrutura do BSC teria de ser diversa daquela que está subjacente ao setor empresarial. Inicialmente o BSC era dirigido para organizações com fins lucrativos, pelo que a falta de informação e a necessidade de alteração desta ferramenta de gestão não tenha despertado o interesse na sua implementação. Contudo, os potenciais desta aplicação são reconhecidos.

O processo sumário e a reforma do Código do Processo Penal de 2013

The present work aims to develop the theme "The summary procedure and the reform of 2013". The purpose of its analysis serves the interest to understand the virtues and disadvantages of the changes introduced by Act n.º 20/2013 to our Code of Criminal Procedure, and the main focus of the present reflection is to further the impact of the measures taken by the legislator to the summary proceedings. The opening of the most serious crimes to summary procedure is a reform measure duly highlighted because it is a true innovation in the Portuguese penal system. Therefore, it urges to analyse not only the consequences of this measure, as well as if the objectives of its introduction in the summary procedure system are met. It should be noted that the legislator intends to promote speedy trial, and at the same time, ensure compliance with the Constitutional rights associated to the accused. At this point it is important to realize if there is a restriction of the accused essential guarantees. On the other hand, it should be noted that the typical characteristics of summary proceedings might have been invariably modified, due to the innovative aspect of the reform. That said, the changes might have fostered a mischaracterization of the typical format of the summary procedure, both in terms of the nature of the proceedings and in terms of its space and objectives within the penal system. Reflecting on the above will provide a deeper understanding of the volatile balance between the Portuguese governing prosecution efficiency and the Constitution, as well as the future of the criminal policy in Portugal.

A obrigação alimentar

There is an undeniable link between child support and scholarship, under article 1880 of the portuguese Civil Code. Of course, by being within family relationships, such link could not be out of controversy. At a time when the continuation of studies is more and more urgent, this link between the two, is often subject of disputes, especially resultant from the interpretation of the law, due to the wide extension that it is entitle to; and many times is also insufficient to the most interested people – the youngsters that want to study. Regardless of the imprecision that rules under article 1880 of the portuguese Civil Code, this article reveals a huge importance by enabling young adults and students to continue their studies, with the financial help from their parents - the responsibility of the parents with the support of their children should have ended by the time they have become legal adults, but it is extended by this article, once the criteria is filled, especially related to the reasonableness of what is required to the parents and the temporal duration of the education chosen. That is, considering that reaching adulthood does not cease the duty of support from the parents, it is important to know how much can parents provide to their children, bearing in mind their income and the child’s and his/her needs, behavior and the intellectual capacity of the child as a student and also the parent-child relationship; and, until when is such support due, taking in to account several circumstances of life and the difficulties inherent to the degree chosen and even the extension of the studies to a master or to a PhD degree that justifies the extension of the parent’s duty. Anyway, the application of article 1880 of the portuguese Civil Code is always based on a case by case analysis and on the economic insufficient of the youngsters to suffice themselves and the simultaneous desire to continue their studies.

A intervenção da seguradora nas acções propostas contra o segurado

The problem to be discussed results from the relationship established between the insurer and insured by the conclusion of an insurance contract, namely an optional liability insurance contract, to cover the risks taken by the insured resulting from the occurrence of a claim, such as those arising from the emergence of the liability and consequent obligation to compensate damages caused to a third party. This thesis concerns thus the debate between those who consider that, in the optional insurance, the third party may require compliance with the provision to both the insured and the insurer (in the case of voluntary joinder, pursuant to Art. 27 CCP, which corresponds Art. 32 of the New Code of Civil Procedure, Law n. 41/2013 of 26 June, which entered into force on 1 September, hereinafter New Code) - insurance contract on behalf of a third party conception - in the same way that the insured defendant can bring the insurer to intervene as co-defendant in the main process, pursuant al. a) of art. 325 of the CCP (corresponding to art. 316 of the New Code - main intervention caused), and those who argue that the insurer may only intervene in the action as an ancillary party, to assist the defendant, lacking interest, therefore, in necessary or volunteer joinder, with the consequence that the insurer cannot be sued as a main party - only ancillary intervention is justifiable (cf. art. 330 CPC, which corresponds to art. 321 of the New Code).

Estudo de viabilidade de paralelização de códigos de análise de dados em PROOF

Dissertação de mestrado em Engenharia Informática

Monitoring energy consumption in android applications

Dissertação de Mestrado em Engenharia Informática

Spectrum-based energy leak localization

Dissertação de Mestrado em Engenharia Informática

Inversão do Contencioso: um contributo para o estudo deste regime no seio das providências cautelares

Dissertação de mestrado em Direito Judiciário: Direitos Processuais e Organização Judiciária

A política fiscal da União Europeia: diagnóstico e desafios: o caso da Taxa sobre Transações Financeiras (TTF)

Trabalho de projeto de mestrado em Políticas Comunitárias e Cooperação Territorial

Stroke

Stroke is a preventable and treatable disease. It can present with the sudden onset of any neurological disturbance, including limb weakness or numbness, speech disturbance, visual loss or disturbance of balance. Over the last two decades, a growing body of evidence has overturned the traditional perception that stroke is simply a consequence of aging which inevitably results in death or severe disability. Evidence is accumulating for more effective primary and secondary prevention strategies, better recognition of people at highest risk and thus most in need of active intervention, interventions that are effective so on after the onset of symptoms, and an understanding of the processes of care that contribute to a better outcome. In addition, there is now good evidence to support interventions and care processes in stroke rehabilitation. In the UK, the National Sentinel Stroke Audits 2,3 have documented changes in secondary care provision over the last 10 years, with increasing numbers of patients being treated in stroke units, more evidence-based practice, and reductions in mortality and length of stay. In order for evidence from research studies to improve outcomes for patients, it needs to be put into practice. National guidelines provide clinicians, managers and service users with summaries of evidence and recommendations for clinical practice. Implementation of guidelines in practice, supported by regular audit, improves the processes of care and clinical outcome. This guideline covers interventions in the acute stage of a stroke (‘acute stroke’) or transient ischaemic attack (TIA). Most of the evidence considered relates to interventions in the first 48 hours after onset of symptoms, although some interventions of up to 2 weeks are covered as well. This guideline is a stand-alone document, but is designed to be read alongside the Intercollegiate Stroke Working Party guideline ‘National clinical guideline for stroke’* which considers evidence for interventions from the acute stage into rehabilitation and life after stroke. The Intercollegiate Stroke Working Party guideline is an update of the 2004 2nd edition and includes all the recommendations contained within this guideline. This acute stroke and TIA guideline is also designed to be read alongside the Department of Health’s (DH) ‘National stroke strategy’ (NSS). Where there are differences between the recommendations made within this acute stroke and TIA guideline and the NSS, the Guideline Development Group (GDG) members feel that their recommendations are derived from systematic methodology to identify all of the relevant literature.

Mobilitat inter-plataforma d'agents software: protocol de migració fragmentada

En aquest projecte s'ha realitzat l'anàlisi, disseny i implementació d'un protocol de migració d'agents software basat en l'enviament del codi dels agents fragmentat en múltiples missatges. Aquest protocol es troba dins d'una arquitectura de migració multi-protocol per a la mobilitat d'agents entre plataformes JADE. Finalment, s'ha realitzat un estudi que compara el rendiment assolit pel protocol i les prestacions que aporta.

Análisis y sintonización de aplicaciones paralelas/distribuidas de bioinformática: caso de estudio mpiBLAST

En termes de temps d'execució i ús de dades, les aplicacions paral·leles/distribuïdes poden tenir execucions variables, fins i tot quan s'empra el mateix conjunt de dades d'entrada. Existeixen certs aspectes de rendiment relacionats amb l'entorn que poden afectar dinàmicament el comportament de l'aplicació, tals com: la capacitat de la memòria, latència de la xarxa, el nombre de nodes, l'heterogeneïtat dels nodes, entre d'altres. És important considerar que l'aplicació pot executar-se en diferents configuracions de maquinari i el desenvolupador d'aplicacions no port garantir que els ajustaments de rendiment per a un sistema en particular continuïn essent vàlids per a d'altres configuracions. L'anàlisi dinàmica de les aplicacions ha demostrat ser el millor enfocament per a l'anàlisi del rendiment per dues raons principals. En primer lloc, ofereix una solució molt còmoda des del punt de vista dels desenvolupadors mentre que aquests dissenyen i evaluen les seves aplicacions paral·leles. En segon lloc, perquè s'adapta millor a l'aplicació durant l'execució. Aquest enfocament no requereix la intervenció de desenvolupadors o fins i tot l'accés al codi font de l'aplicació. S'analitza l'aplicació en temps real d'execució i es considra i analitza la recerca dels possibles colls d'ampolla i optimitzacions. Per a optimitzar l'execució de l'aplicació bioinformàtica mpiBLAST, vam analitzar el seu comportament per a identificar els paràmetres que intervenen en el rendiment d'ella, com ara: l'ús de la memòria, l'ús de la xarxa, patrons d'E/S, el sistema de fitxers emprat, l'arquitectura del processador, la grandària de la base de dades biològica, la grandària de la seqüència de consulta, la distribució de les seqüències dintre d'elles, el nombre de fragments de la base de dades i/o la granularitat dels treballs assignats a cada procés. El nostre objectiu és determinar quins d'aquests paràmetres tenen major impacte en el rendiment de les aplicacions i com ajustar-los dinàmicament per a millorar el rendiment de l'aplicació. Analitzant el rendiment de l'aplicació mpiBLAST hem trobat un conjunt de dades que identifiquen cert nivell de serial·lització dintre l'execució. Reconeixent l'impacte de la caracterització de les seqüències dintre de les diferents bases de dades i una relació entre la capacitat dels workers i la granularitat de la càrrega de treball actual, aquestes podrien ser sintonitzades dinàmicament. Altres millores també inclouen optimitzacions relacionades amb el sistema de fitxers paral·lel i la possibilitat d'execució en múltiples multinucli. La grandària de gra de treball està influenciat per factors com el tipus de base de dades, la grandària de la base de dades, i la relació entre grandària de la càrrega de treball i la capacitat dels treballadors.