Static detection of anomalies in transactional memory programs

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

Short-term Wind Forecasting to Support Virtual Power Player Operation

This paper proposes a wind speed forecasting model that contributes to the development and implementation of adequate methodologies for Energy Resource Man-agement in a distribution power network, with intensive use of wind based power generation. The proposed fore-casting methodology aims to support the operation in the scope of the intraday resources scheduling model, name-ly with a time horizon of 10 minutes. A case study using a real database from the meteoro-logical station installed in the GECAD renewable energy lab was used. A new wind speed forecasting model has been implemented and it estimated accuracy was evalu-ated and compared with a previous developed forecast-ing model. Using as input attributes the information of the wind speed concerning the previous 3 hours enables to obtain results with high accuracy for the wind short-term forecasting.

Tolerância a falhas em sistemas de tempo-real distribuídos e embebidos

Este documento descreve um modelo de tolerância a falhas para sistemas de tempo-real distribuídos. A sugestão deste modelo tem como propósito a apresentação de uma solu-ção fiável, flexível e adaptável às necessidades dos sistemas de tempo-real distribuídos. A tolerância a falhas é um aspeto extremamente importante na construção de sistemas de tempo-real e a sua aplicação traz inúmeros benefícios. Um design orientado para a to-lerância a falhas contribui para um melhor desempenho do sistema através do melhora-mento de aspetos chave como a segurança, a confiabilidade e a disponibilidade dos sis-temas. O trabalho desenvolvido centra-se na prevenção, deteção e tolerância a falhas de tipo ló-gicas (software) e físicas (hardware) e assenta numa arquitetura maioritariamente basea-da no tempo, conjugada com técnicas de redundância. O modelo preocupa-se com a efi-ciência e os custos de execução. Para isso utilizam-se também técnicas tradicionais de to-lerância a falhas, como a redundância e a migração, no sentido de não prejudicar o tempo de execução do serviço, ou seja, diminuindo o tempo de recuperação das réplicas, em ca-so de ocorrência de falhas. Neste trabalho são propostas heurísticas de baixa complexida-de para tempo-de-execução, a fim de se determinar para onde replicar os componentes que constituem o software de tempo-real e de negociá-los num mecanismo de coordena-ção por licitações. Este trabalho adapta e estende alguns algoritmos que fornecem solu-ções ainda que interrompidos. Estes algoritmos são referidos em trabalhos de investiga-ção relacionados, e são utilizados para formação de coligações entre nós coadjuvantes. O modelo proposto colmata as falhas através de técnicas de replicação ativa, tanto virtual como física, com blocos de execução concorrentes. Tenta-se melhorar ou manter a sua qualidade produzida, praticamente sem introduzir overhead de informação significativo no sistema. O modelo certifica-se que as máquinas escolhidas, para as quais os agentes migrarão, melhoram iterativamente os níveis de qualidade de serviço fornecida aos com-ponentes, em função das disponibilidades das respetivas máquinas. Caso a nova configu-ração de qualidade seja rentável para a qualidade geral do serviço, é feito um esforço no sentido de receber novos componentes em detrimento da qualidade dos já hospedados localmente. Os nós que cooperam na coligação maximizam o número de execuções para-lelas entre componentes paralelos que compõem o serviço, com o intuito de reduzir atra-sos de execução. O desenvolvimento desta tese conduziu ao modelo proposto e aos resultados apresenta-dos e foi genuinamente suportado por levantamentos bibliográficos de trabalhos de in-vestigação e desenvolvimento, literaturas e preliminares matemáticos. O trabalho tem também como base uma lista de referências bibliográficas.

A educação social em Portugal: novos desafios para a identidade profissional

A Educação Social surge, em Portugal, devido sobretudo à exigência dos sistemas de proteção social. Enquanto profissão, a Educação Social realiza-se no âmbito das ciências da educação, enquadrada pela Pedagogia Social. A Educação Social desenvolve-se pela diversidade de categorias profissionais e de perfis de competências e áreas disciplinares. O reconhecimento da identidade profissional dos educadores sociais portugueses depende, ainda, da polivalência dos contextos de trabalho e populações com os quais interage. A sua identidade profissional deve evidenciar o compromisso educativo do seu trabalho social, que supera lógicas de ação assistencialistas e se centra em lógicas de desenvolvimento e capacitação dos sujeitos. Neste artigo, é dado destaque à Pedagogia Social, enquanto saber matricial de referência dos educadores sociais. A Pedagogia Social constitui-se como a ciência da Educação Social, conferindo-lhe a própria especificidade da profissão. Por outro lado, o exercício profissional da Educação Social requer dos seus profissionais uma formação rigorosa, inicial e contínua, de forma a incorporar novos saberes e posturas para se adaptar a novos desafios e realidades. A educação social deve ser capaz de acompanhar as políticas sociais, participando permanentemente na negociação do contrato social. Partindo destes pressupostos, é dado a conhecer alguns desafios que se colocam à Educação Social em Portugal.

Estimation Models for the adoption and use of information technology: internet-related technologies at firm level in the Portuguese and European context

Dissertação apresentada como requisito parcial para obtenção do grau de Doutor em Gestão de Informação

Fractional Order Junctions

Gottfried Leibniz generalized the derivation and integration, extending the operators from integer up to real, or even complex, orders. It is presently recognized that the resulting models capture long term memory effects difficult to describe by classical tools. Leon Chua generalized the set of lumped electrical elements that provide the building blocks in mathematical models. His proposal of the memristor and of higher order elements broadened the scope of variables and relationships embedded in the development of models. This paper follows the two directions and proposes a new logical step, by generalizing the concept of junction. Classical junctions interconnect system elements using simple algebraic restrictions. Nevertheless, this simplistic approach may be misleading in the presence of unexpected dynamical phenomena and requires including additional “parasitic” elements. The novel γ-junction includes, as special cases, the standard series and parallel connections and allows a new degree of freedom when building models. The proposal motivates the search for experimental and real world manifestations of the abstract conjectures.

Lutar por uma vida melhor

O presente trabalho pretende dar conta do projecto de investigação e intervenção social desenvolvido com uma família acompanhada no âmbito do Rendimento Social de Inserção (RSI). Parte, em termos teóricos, da complexidade e variabilidade do trabalho social, considerando as suas diferentes visões e a sua construção social, destacando a existência de diferentes forças que constroem e influenciam a acção psicossocial. Enfatiza, em função das fragilidades do modelo tradicional de intervenção, a necessidade dos profissionais repensarem e qualificarem as suas intervenções e, ainda, a importância do modelo de relação de ajuda e da abordagem sistémica no desenvolvimento do trabalho psicossocial e educativo desenvolvido pelos educadores sociais. O projecto desenvolvido assenta no paradigma emergente, constituindo uma investigação qualitativa, orientada por uma metodologia de investigação-acção participativa. Estas opções metodológicas permitiram o desenvolvimento de um trabalho plenamente cooperativo, que partiu dos seus participantes, das suas circunstâncias reais, ou seja, dos problemas concretos da família, numa lógica de aproximação entre saberes. Foi desenvolvido com a finalidade de promover a melhoria da qualidade de vida da família, nomeadamente ao nível da habitação, educação e relações familiares e permitiu, em linhas gerais, que a família adquirisse maior poder de decisão sobre a sua vida, expectativas mais positivas relativamente ao futuro, interacções familiares mais positivas e uma crescente consciência da importância de um maior envolvimento e empenho nas questões relacionadas com a escola e com as aprendizagens escolares.

Fractional Analysis of the DNA Information

Proceedings of the 12th Conference on 'Dynamical Systems -Theory and Applications'

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Perspetivas interdisciplinares na planificação didática de Línguas e Culturas Estrangeiras

O presente Relatório Final de Estágio concretiza-se num trabalho de reflexão crítica sobre as práticas realizadas como professora estagiária de Inglês e de Espanhol no âmbito das Unidades Curriculares de Prática Educativa I, II e III, do Curso de Mestrado em Ensino de Inglês e Francês ou Espanhol, da Escola Superior de Educação, do Instituto Politécnico do Porto. A problemática que se apresenta decorre da perspetiva de que o ensino e aprendizagem de uma língua estrangeira baseados na articulação entre disciplinas do currículo contribui para uma aprendizagem holística, desenvolvendo competências que permitem um entendimento geral e global dos fenómenos humanos proporcionando aos alunos a compreensão do saber escolar como um todo articulável, contribuindo para uma leitura lógica e completa da realidade. A sua concretização na sala de aula impõe que o professor planifique atividades e opte por estratégias de ensino e de aprendizagem diversificadas, onde convergem finalidades, conceitos e metodologias de diversas disciplinas do currículo. Assim, este trabalho descreve a planificação de práticas de ensino e aprendizagem de Inglês e Espanhol em articulação com os conteúdos e os objetivos da disciplina de Estudo do Meio no Primeiro Ciclo. A planificação de práticas de Inglês no Segundo Ciclo foi realizada em articulação com a disciplina de História e Geografia de Portugal, com base na metodologia de projeto. As opções adotadas na planificação didática são consideradas estratégicas para uma aprendizagem significativa. Palavras-chave: perspetiva interdisciplinar do ensino; planificação didática de línguas estrangeiras; compreensão integrada do saber escolar; aprendizagem por projeto

Viva@Matemática project: a different way to see math

Viva@Mat is a project developed by four Math teachers from the School of Industrial Studies and Management (ESEIG) that was born with the fundamental objective of engaging ESEIG students with different math backgrounds in Math challenging activities. Some of these activities were transformed into real palpable materials and others into small interactive ones, being the great majority of them proposed by ESEIG’ students themselves. This small project rapidly grew into something we didn’t expect – it did flow over the walls of our institution to the general involving community – specifically to pre-university schools through the Viva@Math Exhibits – Orange, Blue and Green (the fourth, the Purple one is still in development). Nowadays, Viva@Math Exhibits – the public face of the Project – are itinerant and have been travelling between several, and different institutions (pre-university schools, preparatory schools, libraries, among others), around ESEIG and IPP area of influence and having registered visitors/participants of all ages. In this article we will describe the Viva@Math Project, its different activities that are categorized in some “great groups” like Numerical Trivia, Logic Activities and Mental Calculation, Puzzles, Geometric Curiosities, Magic Tricks, among others, designed to challenge students to use the underlying logical-mathematical reasoning to any ordinary and everyday activity. We will give specific and concrete examples of some of the activities developed and, also, reproduce of the general stimulating feedback the Project receives from the enrolled “actors” (teachers, students and their relatives, institutions, among others). We feel that this Project has become a small “bridge” between the pre-university schools and Higher Education Institutions (HEI), in trying to shorten the “gap” between the institutions of different levels of education and bring them to work together.

Lean management implementation: a decision making framework

Submitted to the graduate faculty Universidade Nova de Lisboa – Faculdade de Ciências e Tecnologia in partial fulfillment of the requirements for the degree of Master in Industrial Engineering

The national physics and chemistry exams and the learning of sciences

Dissertação apresentada para obtenção do Grau de Doutor em Ciências da Educação, pela Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa

Sintomas somatoformes em Medicina Geral e Familiar

RESUMO: Os doentes que vão à consulta com sintomas físicos para os quais o médico não encontra uma causa orgânica, são frequentes na Medicina Geral e Familiar, embora não sejam específicos, e são o objecto de estudo do presente trabalho. Não deixar uma doença por diagnosticar (erro de tipo II) sem contudo rotular pessoas saudáveis como doentes (erro de tipo I) é um dos mais difíceis problemas da prática clínica diária e para o qual não existe uma orientação infalível e não é previsível que alguma vez venha a existir. Mas se o diagnóstico de doença ou não-doença é difícil, o tratamento dos que não tem doença, embora com sofrimento, também não é mais fácil, sobretudo, se estivermos conscientes do sofrimento que determina a medicalização e a iatrogenia. O presente trabalho está estruturado em 3 partes. Na primeira parte descrevemos a nossa visão integrada do que apreendemos da leitura da literatura publicada e à qual tivemos acesso. À semelhança do que se verifica na maioria das áreas da Medicina esta é também uma em que o conhecimento cresce a ritmo exponencial. No entanto, à falta de conceitos precisos e de definições consensuais sucede um conhecimento, por vezes, pouco consistente, tanto mais que estamos na fronteira entre a cultura leiga e a cultura erudita médica em que os significados devem, a todo o momento, ser validados. Fizemos uma revisão sobre as definições do que está em questão, sobre o que se sabe sobre a frequência dos sintomas físicos na população, quantos recorrem aos serviços de saúde e o que lhes é feito. Passámos por uma revisão da fisiologia destes sintomas e algumas explicações fisiopatológicas para terminarmos sobre o que os doentes pensam sobre os seus sintomas e os cuidados que recebem e o que os profissionais pensam sobre estes doentes. Esta parte termina com uma revisão das propostas de abordagem para este tipo de doentes. Na segunda parte, descrevemos os estudos empíricos focados no problema dos pacientes com sintomas físicos mas sem evidência de doença orgânica. Começa por uma apresentação dos aspectos processuais e metodológicos dos estudos realizados, mais especificamente, de dois estudos quantitativos e um qualitativo. No primeiro estudo pretendeu-se avaliar quais são os sintomas físicos e a sua frequência na população em geral e a frequência de pacientes que procuram (ou não) os serviços de saúde tendo como motivo este tipo de sintomas. O objectivo deste estudo é contribuir para a demonstração que este tipo de sintomas faz parte da vida do dia-a-dia e que, na maioria das vezes, só por si não significa doença, sem contudo negar que representa sofrimento, por vezes até maior do que quando há patologia orgânica. Se no primeiro estudo era demonstrar que os sintomas físicos são frequentes na população, no segundo estudo o objectivo é demonstrar que pacientes com este tipo de sintomas são igualmente frequentes e que o tipo de sintomas apresentados na consulta não difere dos referidos pela população em geral. Pretendia-se ainda saber o que é feito ou proposto pelo médico a estes doentes e se estes doentes traziam ou não, junto com os sintomas, ideias explicativas para os mesmos. Finalmente e não menos importante, é avaliar o grau de fidedignidade do diagnóstico de sintoma somatoforme, chamando assim ao sintoma físico que foi “levado” à consulta e que o médico diagnosticou como não tendo causa orgânica. O terceiro estudo parte do conhecimento adquirido que a Medicina tem muitas respostas para este problema, mas poucas que se possam considerar satisfatórias se usadas isoladamente. Que a maioria das soluções é procurada entre a cultura médica e num paradigma reducionista de separação mente-corpo. Contudo, se o sintoma é “construído” pelo doente, se o principal problema não está no sintoma mas na forma como o paciente o vê, então pareceu-nos lógico que a solução também tem que passar por integrarmos no plano de abordagem o que o doente entende ser melhor para si. Nesta sequência, entrevistaram-se alguns doentes cujo diagnóstico de sintomas somatoformes estava demonstrado pelo teste do tempo. Por isso, entrevistaram-se doentes que já tinham ido à consulta de MGF há mais de 6 meses por sintomas somatoformes e, na data da entrevista, o diagnóstico se mantinha inalterado, independentemente da sua evolução. As entrevistas visaram conhecer as ideias dos doentes sobre o que as motivou a procurarem a consulta, o que pensavam da forma como foram cuidados e que ideias tinham sobre o que os profissionais de saúde devem fazer para os ajudar a restabelecer o equilíbrio com o seu ambiente evitando a medicalização, a iatrogenia e a evolução para a cronicidade. Na terceira parte, discutem-se e integram-se os resultados encontrados no conhecimento previamente existente. Tenta-se teorizar, fazer doutrina sobre o tema e contribuir para abordagens terapêuticas mais personalizadas, abrangentes, variadas e multimodais, baseadas sempre no método clínico centrado no paciente, ou de modo menos correcto mas enfático, baseadas no método centrado na relação. Apresentam-se algumas hipóteses de trabalhos futuros sobre o tema e, sobretudo, esperamos ter contribuído para o reconhecimento da necessidade de a comunicação médico-doente ser uma aprendizagem transversal a todos os profissionais de saúde e ao longo da vida, com a ideia que é sempre possível fazer melhor, caso contrário tenderemos, inexoravelmente, a fazer cada vez pior.-----------ABSTRACT: Patients who go to consultation with physical symptoms, for which the doctor does not find an organic cause, are the subject of the present study. They are common in family medicine, although not specific. Do not let an undiagnosed disease (type II error), but without labeling healthy people as patients with disease (type I error) is one of the most difficult problems in clinical practice and for which doesn’t exist an infallible guide and it is unlikely that any since coming into existence. But, if the diagnosis of disease or non-disease is difficult, the treatment of those who do not have the disease, though suffering, it is not easy, especially if we are aware of the suffering that medicalization and iatrogenic determines. This work is structured in three parts. In the first part we describe our integrated view of what we grasp from reading the published literature and to which we had access. Similar to that found in most areas of medicine, this is also one in which knowledge grows exponentially. However, the absence of precise concepts and consensual definitions determines an inconsistent knowledge, especially because we're on the border between secular culture and medical culture where, at all times, the meaning must be validated. We did a review on the definitions of what is at issue, what is known about the frequency of physical symptoms in the population, how many use the services of health and what they receive as care. We went through a review of the physiology of these symptoms and some pathophysiological explanations, to finish on what patients think about their symptoms and how they perceived the care they received and, finally, what professionals think about these patients. This part ends with a review of the approaches proposed for such patients. In the second part, we describe the empirical studies focused on the problem of patients with physical symptoms but no evidence of organic disease. Begins with a presentation of the procedural and methodological aspects of studies, more specifically, two quantitative and one qualitative. The first study sought to assess which are the physical symptoms, their incidence in the general population and the frequency they seek (or not) health services on behalf of those symptoms. The aim behind this study was to contribute to the demonstration that this type of symptoms is part of life's day-to-day and that, in most cases, does not represent disease by itself, without denying that they represent suffering, sometimes even greater than when there are organic disease. The first study endeavor to demonstrate that the physical symptoms are common in the population. The second study aspires to demonstrate that patients with such symptoms are also common and that the type of symptoms presented in the consultation does not differ from those in the general population. The aim was also to know what is done or proposed by the physician for these patients and if these patients brought or not, along with the symptoms, explanatory ideas for them. Finally and not least, it would try to assess the degree of reliability of diagnosis of somatoform symptoms, thus drawing the physical symptom that patient presents in the consultation and that the doctor diagnosed as having no organic cause. The third study starts from the acquired knowledge that medicine has many answers to this problem, but few can be considered satisfactory if used in isolation. The most solutions are sought in the medical culture and based on a reductionist paradigm of mind-body. However, if the symptom is "built" by the patient, if the main problem is not the symptom but the way the patient sees it, then it seemed logical to us that the solution must integrate the approaches that patients believes are best for them. Subsequently, a few patients, whose diagnosis of somatoform symptoms was demonstrated by the test of time, were interviewed. Therefore, patients who were interviewed had gone to the consultation of family medicine more than 6 months before for somatoform symptoms and. at the moment of the interview, the diagnosis remained unchanged, regardless of their evolution. The interviews aimed to ascertain the patients' ideas about what motivated them to seek consultation, what they thought about the care they got and which ideas they have about what health professionals should do to help these patients to re-establish equilibrium with its environment avoiding medicalization, iatrogenic effects and the evolution to chronicity. In the third section, we discuss and integrate the results found in previously existing knowledge. Attempts to theorize on the subject and contribute to more personalized treatment, comprehensive, varied and multi-modal approaches, always based on patient-centered clinical method, with emphasis on the relationship. We presents some hypotheses for future work on the subject and,above all, defend the recognition of the importance of lifelong learning communication skills for all health professionals, with the idea that we can always do better, otherwise we tend inexorably to do worse.

A technology diffusion perspective of Enterprise Resource Planning across European Small and Medium Enterprises: from determinants to Use to Value

Tese apresentada como requisito parcial para obtenção do grau de Doutor em Gestão de Informação