Controlo preditivo distribuído para conforto térmico em edifícios

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Automação e Electrónica Industrial

O valor da interacção verbal

Neste artigo procuramos reflectir sobre a dimensão dos elementos para- -linguísticos e extra-linguísticos na actividade conversacional e no papel que detêm na gestão deste espaço interlocutivo.

Ontology mapping evolution

Introdução Hoje em dia, o conceito de ontologia (Especificação explícita de uma conceptualização [Gruber, 1993]) é um conceito chave em sistemas baseados em conhecimento em geral e na Web Semântica em particular. Entretanto, os agentes de software nem sempre concordam com a mesma conceptualização, justificando assim a existência de diversas ontologias, mesmo que tratando o mesmo domínio de discurso. Para resolver/minimizar o problema de interoperabilidade entre estes agentes, o mapeamento de ontologias provou ser uma boa solução. O mapeamento de ontologias é o processo onde são especificadas relações semânticas entre entidades da ontologia origem e destino ao nível conceptual, e que por sua vez podem ser utilizados para transformar instâncias baseadas na ontologia origem em instâncias baseadas na ontologia destino. Motivação Num ambiente dinâmico como a Web Semântica, os agentes alteram não só os seus dados mas também a sua estrutura e semântica (ontologias). Este processo, denominado evolução de ontologias, pode ser definido como uma adaptação temporal da ontologia através de alterações que surgem no domínio ou nos objectivos da própria ontologia, e da gestão consistente dessas alterações [Stojanovic, 2004], podendo por vezes deixar o documento de mapeamento inconsistente. Em ambientes heterogéneos onde a interoperabilidade entre sistemas depende do documento de mapeamento, este deve reflectir as alterações efectuadas nas ontologias, existindo neste caso duas soluções: (i) gerar um novo documento de mapeamento (processo exigente em termos de tempo e recursos computacionais) ou (ii) adaptar o documento de mapeamento, corrigindo relações semânticas inválidas e criar novas relações se forem necessárias (processo menos existente em termos de tempo e recursos computacionais, mas muito dependente da informação sobre as alterações efectuadas). O principal objectivo deste trabalho é a análise, especificação e desenvolvimento do processo de evolução do documento de mapeamento de forma a reflectir as alterações efectuadas durante o processo de evolução de ontologias. Contexto Este trabalho foi desenvolvido no contexto do MAFRA Toolkit1. O MAFRA (MApping FRAmework) Toolkit é uma aplicação desenvolvida no GECAD2 que permite a especificação declarativa de relações semânticas entre entidades de uma ontologia origem e outra de destino, utilizando os seguintes componentes principais: Concept Bridge – Representa uma relação semântica entre um conceito de origem e um de destino; Property Bridge – Representa uma relação semântica entre uma ou mais propriedades de origem e uma ou mais propriedades de destino; Service – São aplicados às Semantic Bridges (Property e Concept Bridges) definindo como as instâncias origem devem ser transformadas em instâncias de destino. Estes conceitos estão especificados na ontologia SBO (Semantic Bridge Ontology) [Silva, 2004]. No contexto deste trabalho, um documento de mapeamento é uma instanciação do SBO, contendo relações semânticas entre entidades da ontologia de origem e da ontologia de destino. Processo de evolução do mapeamento O processo de evolução de mapeamento é o processo onde as entidades do documento de mapeamento são adaptadas, reflectindo eventuais alterações nas ontologias mapeadas, tentando o quanto possível preservar a semântica das relações semântica especificadas. Se as ontologias origem e/ou destino sofrerem alterações, algumas relações semânticas podem tornar-se inválidas, ou novas relações serão necessárias, sendo por isso este processo composto por dois sub-processos: (i) correcção de relações semânticas e (ii) processamento de novas entidades das ontologias. O processamento de novas entidades das ontologias requer a descoberta e cálculo de semelhanças entre entidades e a especificação de relações de acordo com a ontologia/linguagem SBO. Estas fases (“similarity measure” e “semantic bridging”) são implementadas no MAFRA Toolkit, sendo o processo (semi-) automático de mapeamento de ontologias descrito em [Silva, 2004].O processo de correcção de entidades SBO inválidas requer um bom conhecimento da ontologia/linguagem SBO, das suas entidades e relações, e de todas as suas restrições, i.e. da sua estrutura e semântica. Este procedimento consiste em (i) identificar as entidades SBO inválidas, (ii) a causa da sua invalidez e (iii) corrigi-las da melhor forma possível. Nesta fase foi utilizada informação vinda do processo de evolução das ontologias com o objectivo de melhorar a qualidade de todo o processo. Conclusões Para além do processo de evolução do mapeamento desenvolvido, um dos pontos mais importantes deste trabalho foi a aquisição de um conhecimento mais profundo sobre ontologias, processo de evolução de ontologias, mapeamento etc., expansão dos horizontes de conhecimento, adquirindo ainda mais a consciência da complexidade do problema em questão, o que permite antever e perspectivar novos desafios para o futuro.

A participação das crianças na planificação e gestão da rotina diária

Relatório da Prática Profissional Supervisionada Mestrado em Educação Pré-Escolar

Informal learning recognition through a cloud ecosystem

Learning and teaching processes, like all human activities, can be mediated through the use of tools. Information and communication technologies are now widespread within education. Their use in the daily life of teachers and learners affords engagement with educational activities at any place and time and not necessarily linked to an institution or a certificate. In the absence of formal certification, learning under these circumstances is known as informal learning. Despite the lack of certification, learning with technology in this way presents opportunities to gather information about and present new ways of exploiting an individual’s learning. Cloud technologies provide ways to achieve this through new architectures, methodologies, and workflows that facilitate semantic tagging, recognition, and acknowledgment of informal learning activities. The transparency and accessibility of cloud services mean that institutions and learners can exploit existing knowledge to their mutual benefit. The TRAILER project facilitates this aim by providing a technological framework using cloud services, a workflow, and a methodology. The services facilitate the exchange of information and knowledge associated with informal learning activities ranging from the use of social software through widgets, computer gaming, and remote laboratory experiments. Data from these activities are shared among institutions, learners, and workers. The project demonstrates the possibility of gathering information related to informal learning activities independently of the context or tools used to carry them out.

Avaliação da cultura de segurança num serviço de medicina nuclear

Mestrado em Gestão e Avaliação de Tecnologias em Saúde

Práticas de ensino de teatro para atores e para não atores : estudo de caso João Mota e as oficinas de teatro : relatório de estágio

Mestrado Teatro, especialização em teatro e comunidade

Os serviços partilhados no âmbito dos grupos económicos e sua avaliação no contexto da qualidade da informação financeira

Mestrado em Contabilidade

Caracterização molecular da resistência a antimicrobianos em Escherichia coli produtoras de β-lactamases de espectro alargado isoladas em cães e estudo da partilha de clones bacterianos entre animais de companhia e coabitantes humanos

A pressão seletiva originada pelo uso excessivo de antimicrobianos na medicina humana e veterinária tem contribuído para a emergência de estirpes bacterianas multirresistentes, sendo os estudos mais escassos relativamente à sua presença nos animais de companhia. Porque os animais e os seus proprietários partilham o mesmo espaço habitacional, apresentando comportamentos de contacto próximo, existe uma hipótese elevada de transferência microbiana inter-espécie. Ante esta possibilidade é importante escrutinar o papel dos animais de companhia enquanto reservatórios de estirpes e de genes de resistência, bem como a sua envolvência na disseminação de estirpes bacterianas multirresistentes. Importa também, investigar o papel das superfícies e objetos domésticos partilhados por ambos, como potenciadores deste fenómeno. O objetivo deste trabalho foi, identificar o filogrupo e fazer a caracterização molecular dos genes que conferem resistência aos β-lactâmicos e às quinolonas, em quarenta isolados de Escherichia coli produtoras de β-lactamases de espectro alargado (ESBL), obtidas em zaragatoas fecais de cães consultados no Hospital Veterinário do ICBAS-UP. Complementarmente pretendeu-se inferir sobre a partilha de clones de Escherichia coli e Enterococcus spp. com elevadas resistências, em cinco agregados familiares (humanos e seus animais de companhia) assim como avaliar a potencial disseminação de estirpes multirresistentes no ambiente doméstico. Previamente foram recolhidas zaragatoas de fezes, pelo e mucosa oral dos animais e em alguns casos, dos seus proprietários, e ainda do ambiente doméstico. As zaragatoas foram processadas e as estirpes isoladas com base em meios seletivos. Foram realizados testes de suscetibilidade antimicrobiana de modo a estabelecer o fenótipo de resistência de cada isolado. O DNA foi extraído por varias metodologias e técnicas de PCR foram utilizadas para caracterização de filogrupos (Escherichia coli) e identificação da espécie (Enterococcus spp.). A avaliação da proximidade filogenética entre isolados foi efetuada por ERIC PCR e PFGE. No conjunto de quarenta isolados produtores de ESBL e/ou resistentes a quinolonas verificou-se que 47,5% pertenciam ao filogrupo A, havendo uma menor prevalência do filogrupo D (25,0%), B1 (17,5%), e B2 (10,0%).A frequência de resistência nestes isolados é factualmente elevada, sendo reveladora de uma elevada pressão seletiva. Com exceção de dois isolados, os fenótipos foram justificados pela presença de β-lactamases. A frequência da presença de genes foi: 47% blaTEM, 34% blaSHV, 24% blaOXA , 18% blaCTX-M-15, 8% blaCTX-M-2, 3% blaCTX-M-9. Nos isolados resistentes às quinolonas verificou-se maioritariamente a presença de mutações nos genes cromossomais gyrA e parC, e em alguns casos a presença de um determinante de resistência mediado por plasmídeo – qnrS. Nos cinco “agregados familiares” (humanos e animais) estudados foi observada uma partilha frequente de clones de E. coli e Enterococcus faecalis com múltiplas resistências, isolados em fezes e mucosa oral de cães e gatos e fezes e mãos dos respetivos proprietários, evidenciando-se assim uma possível transferência direta entre coabitantes (agregados A, C, D, E). Ficou também comprovado com percentagens de similaridade genotípica superiores a 94% que essa disseminação também ocorre para o ambiente doméstico, envolvendo objetos dos animais e de uso comum (agregados A, E). Os resultados obtidos reforçam a necessidade de um uso prudente dos antimicrobianos, pois elevados padrões de resistências terão um impacto não só na qualidade de vida dos animais mas também na saúde humana. Adicionalmente importa sensibilizar os proprietários para a necessidade de uma maior vigilância relativamente às formas de interação com os animais, bem como para a adoção de medidas higiénicas cautelares após essa mesma interação.

Supporting conceptualisation processes in collaborative networks: a case study on an R&D project

The development of new products or processes involves the creation, re-creation and integration of conceptual models from the related scientific and technical domains. Particularly, in the context of collaborative networks of organisations (CNO) (e.g. a multi-partner, international project) such developments can be seriously hindered by conceptual misunderstandings and misalignments, resulting from participants with different backgrounds or organisational cultures, for example. The research described in this article addresses this problem by proposing a method and the tools to support the collaborative development of shared conceptualisations in the context of a collaborative network of organisations. The theoretical model is based on a socio-semantic perspective, while the method is inspired by the conceptual integration theory from the cognitive semantics field. The modelling environment is built upon a semantic wiki platform. The majority of the article is devoted to developing an informal ontology in the context of a European R&D project, studied using action research. The case study results validated the logical structure of the method and showed the utility of the method.

Comunidades de prática nas organizações de saúde: proposta de modelo numa organização hospitalar

Mestrado em Intervenção Sócio-Organizacional na Saúde - Ramo de especialização: Políticas de Administração e gestão de Serviços de Saúde

Intervenção para a segurança do doente: análise dos obstáculos existentes na transferência de informação durante a passagem de turno de enfermagem

Mestrado em Intervenção Sócio-Organizacional na Saúde - Ramo de especialização: Políticas de Administração e Gestão de Serviços de Saúde

A leitura, a escrita e os textos de literatura

Apresenta-se um trabalho de investigação realizado numa turma de 3.º e 4.º ano de 1.ºciclo de ensino básico. Focalizou-se o ensino explícito, sistemático e partilhado da escrita a partir da leitura e compreensão de textos de literatura infantil, sob mediação do docente. O trabalho surge após tomada de consciência de fragilidades que os alunos revelam na área do Português, nomeadamente nos domínios da compreensão leitora e da escrita. A leitura e análise de textos integrais de literatura infantil foram centrais no estudo, dando atenção à linguagem, em geral, e ao léxico e aos processos retóricos utilizados pelos autores, em particular. Os textos de autor foram explorados como fonte tanto de ideias, para escrever, como de modos de escrever. A leitura e discussão do que se lê e a discussão do que se escreve envolvem os alunos com o trabalho de escrita, comprometendo-os com a reflexão sobre o que leem e sobre o que escrevem.

Cycle time properties of the PROFIBUS timed-token protocol

A recent trend in distributed computer-controlled systems (DCCS) is to interconnect the distributed computing elements by means of multi-point broadcast networks. Since the network medium is shared between a number of network nodes, access contention exists and must be solved by a medium access control (MAC) protocol. Usually, DCCS impose real-time constraints. In essence, by real-time constraints we mean that traffic must be sent and received within a bounded interval, otherwise a timing fault is said to occur. This motivates the use of communication networks with a MAC protocol that guarantees bounded access and response times to message requests. PROFIBUS is a communication network in which the MAC protocol is based on a simplified version of the timed-token protocol. In this paper we address the cycle time properties of the PROFIBUS MAC protocol, since the knowledge of these properties is of paramount importance for guaranteeing the real-time behaviour of a distributed computer-controlled system which is supported by this type of network.

Concurrent tabling

In the past few years Tabling has emerged as a powerful logic programming model. The integration of concurrent features into the implementation of Tabling systems is demanded by need to use recently developed tabling applications within distributed systems, where a process has to respond concurrently to several requests. The support for sharing of tables among the concurrent threads of a Tabling process is a desirable feature, to allow one of Tabling’s virtues, the re-use of computations by other threads and to allow efficient usage of available memory. However, the incremental completion of tables which are evaluated concurrently is not a trivial problem. In this dissertation we describe the integration of concurrency mechanisms, by the way of multi-threading, in a state of the art Tabling and Prolog system, XSB. We begin by reviewing the main concepts for a formal description of tabled computations, called SLG resolution and for the implementation of Tabling under the SLG-WAM, the abstract machine supported by XSB. We describe the different scheduling strategies provided by XSB and introduce some new properties of local scheduling, a scheduling strategy for SLG resolution. We proceed to describe our implementation work by describing the process of integrating multi-threading in a Prolog system supporting Tabling, without addressing the problem of shared tables. We describe the trade-offs and implementation decisions involved. We then describe an optimistic algorithm for the concurrent sharing of completed tables, Shared Completed Tables, which allows the sharing of tables without incurring in deadlocks, under local scheduling. This method relies on the execution properties of local scheduling and includes full support for negation. We provide a theoretical framework and discuss the implementation’s correctness and complexity. After that, we describe amethod for the sharing of tables among threads that allows parallelism in the computation of inter-dependent subgoals, which we name Concurrent Completion. We informally argue for the correctness of Concurrent Completion. We give detailed performance measurements of the multi-threaded XSB systems over a variety of machines and operating systems, for both the Shared Completed Tables and the Concurrent Completion implementations. We focus our measurements inthe overhead over the sequential engine and the scalability of the system. We finish with a comparison of XSB with other multi-threaded Prolog systems and we compare our approach to concurrent tabling with parallel and distributed methods for the evaluation of tabling. Finally, we identify future research directions.