78 resultados para Logical consequence


Relevância:

10.00% 10.00%

Publicador:

Resumo:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Robotica 2012: 12th International Conference on Autonomous Robot Systems and Competitions April 11, 2012, Guimarães, Portugal

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The underground scenarios are one of the most challenging environments for accurate and precise 3d mapping where hostile conditions like absence of Global Positioning Systems, extreme lighting variations and geometrically smooth surfaces may be expected. So far, the state-of-the-art methods in underground modelling remain restricted to environments in which pronounced geometric features are abundant. This limitation is a consequence of the scan matching algorithms used to solve the localization and registration problems. This paper contributes to the expansion of the modelling capabilities to structures characterized by uniform geometry and smooth surfaces, as is the case of road and train tunnels. To achieve that, we combine some state of the art techniques from mobile robotics, and propose a method for 6DOF platform positioning in such scenarios, that is latter used for the environment modelling. A visual monocular Simultaneous Localization and Mapping (MonoSLAM) approach based on the Extended Kalman Filter (EKF), complemented by the introduction of inertial measurements in the prediction step, allows our system to localize himself over long distances, using exclusively sensors carried on board a mobile platform. By feeding the Extended Kalman Filter with inertial data we were able to overcome the major problem related with MonoSLAM implementations, known as scale factor ambiguity. Despite extreme lighting variations, reliable visual features were extracted through the SIFT algorithm, and inserted directly in the EKF mechanism according to the Inverse Depth Parametrization. Through the 1-Point RANSAC (Random Sample Consensus) wrong frame-to-frame feature matches were rejected. The developed method was tested based on a dataset acquired inside a road tunnel and the navigation results compared with a ground truth obtained by post-processing a high grade Inertial Navigation System and L1/L2 RTK-GPS measurements acquired outside the tunnel. Results from the localization strategy are presented and analyzed.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The world is increasingly in a global community. The rapid technological development of communication and information technologies allows the transmission of knowledge in real-time. In this context, it is imperative that the most developed countries are able to develop their own strategies to stimulate the industrial sector to keep up-to-date and being competitive in a dynamic and volatile global market so as to maintain its competitive capacities and by consequence, permits the maintenance of a pacific social state to meet the human and social needs of the nation. The path traced of competitiveness through technological differentiation in industrialization allows a wider and innovative field of research. Already we are facing a new phase of organization and industrial technology that begins to change the way we relate with the industry, society and the human interaction in the world of work in current standards. This Thesis, develop an analysis of Industrie 4.0 Framework, Challenges and Perspectives. Also, an analysis of German reality in facing to approach the future challenge in this theme, the competition expected to win in future global markets, points of domestic concerns felt in its industrial fabric household face this challenge and proposes recommendations for a more effective implementation of its own strategy. The methods of research consisted of a comprehensive review and strategically analysis of existing global literature on the topic, either directly or indirectly, in parallel with the analysis of questionnaires and data analysis performed by entities representing the industry at national and world global placement. The results found by this multilevel analysis, allowed concluding that this is a theme that is only in the beginning for construction the platform to engage the future Internet of Things in the industrial environment Industrie 4.0. This dissertation allows stimulate the need of achievements of more strategically and operational approach within the society itself as a whole to clarify the existing weaknesses in this area, so that the National Strategy can be implemented with effective approaches and planned actions for a direct training plan in a more efficiently path in education for the theme.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O outsourcing tem aumentado exponencialmente nos últimos anos, o que se deve ao aumento da especialização das organizações. Como consequência, a responsabilidade do departamento de compras também aumenta. O mesmo será dizer que cada vez mais as organizações se tornam dependentes dos seus fornecedores, necessitando por isso de recorrer a metodologias que lhes permitam monitorizar/avaliar fornecedores capazes de, em conjunto, criar valor e reduzir custos. O propósito deste trabalho é analisar e desenvolver um procedimento de Monitorização e Avaliação de Fornecedores que permita avaliar o desempenho dos fornecedores, identificando aqueles que são capazes de acompanhar o desenvolvimento e a sustentabilidade da organização.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

No âmbito duma investigação que cruza a área científica da Ciência da Informação com a Educação, elegendo como objeto de estudo a Literacia da Informação (LI), selecionaram-se um conjunto de competências de LI, reconhecidas como mais importantes e mencionadas em vasta literatura sobre o tema, com destaque para alguns Referenciais internacionais. Pretende-se averiguar qual o papel da formação ministrada em diferentes licenciaturas de uma escola de ensino superior politécnico e refletir sobre que competências são mais desenvolvidas nos estudantes de diferentes cursos, comparando aqueles que iniciam e os que terminam a sua formação. Para além dos estudantes, destaca-se, neste estudo, a intervenção dos professores das referidas licenciaturas, ambos os grupos inquiridos através de questionários online. Também os elementos responsáveis pela coordenação dos oito cursos de primeiro ciclo em análise e a bibliotecária da instituição são envolvidos, neste caso, através de entrevistas semidirigidas, contribuindo para uma investigação que se pretende o mais completa possível e com a robustez decorrente do cruzamento de vários dados. Recorrendo a uma abordagem metodológica quantitativa e qualitativa, num interessante jogo de perceções consonantes ou divergentes entre estes atores cruciais do processo educativo, os resultados e a sua interpretação permitem refletir sobre a necessidade de adotar novas posturas e atuações no complexo processo de formação e de desenvolvimento de competências de LI. Estas devem ser adequadas aos perfis desejáveis dos diplomados do ensino superior, profissionais e cidadãos que se pretende que obtenham sucesso nas diferentes áreas da sua vida, revelando-se, em suma, indivíduos infoincluídos, ativos e participativos face às mudanças, desafios e crises do século XXI.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

It is unquestionable that an effective decision concerning the usage of a certain environmental clean-up technology should be conveniently supported. Significant amount of scientific work focussing on the reduction of nitrate concentration in drinking water by both metallic iron and nanomaterials and their usage in permeable reactive barriers has been worldwide published over the last two decades. This work aims to present in a systematic review of the most relevant research done on the removal of nitrate from groundwater using nanosized iron based permeable reactive barriers. The research was based on scientific papers published between 2004 and June 2014. It was performed using 16 combinations of keywords in 34 databases, according to PRISMA statement guidelines. Independent reviewers validated the selection criteria. From the 4161 records filtered, 45 met the selection criteria and were selected to be included in this review. This study's outcomes show that the permeable reactive barriers are, indeed, a suitable technology for denitrification and with good performance record but the long-term impact of the use of nanosized zero valent iron in this remediation process, in both on the environment and on the human health, is far to be conveniently known. As a consequence, further work is required on this matter, so that nanosized iron based permeable reactive barriers for the removal of nitrate from drinking water can be genuinely considered an eco-efficient technology.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Thermally expandable particles (TEPs) were developed by Dow Chemical Co in the early 1970´s [1] and were further developed by others [2, 3]. They are particles made up of a thermoplastic shell filled with liquid hydrocarbon. On heating them, two transformations will occur. One is the softening of shell material and the other is the gasification of the hydrocarbon liquid inside it. As a consequence, the shell will expand as the gas inside it will push the softened shell from inside out causing it to grow in size [4]. When fully expanded, the growth in volume of the particle can be from 50 to 100 times [3]. Owing to this unique behaviour, TEPs are used by the industry in a wide variety of applications mainly for weight reduction and appearance improvement for thermoplastics, inks, and coatings. In adhesive bonding, TEPs have been used for recycling purposes. Moreover, TEPs might be used to modify structural adhesives for other new purposes, such as: to increase the joint strength by creating an adhesive functionally modified along the overlap of the joint by gradual heating and/or to heal the adhesive in case of damage.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O chumbo é um importante poluente ambiental. A levedura Saccharomyces cerevisiae constitui um modelo útil para o estudo dos efeitos tóxicos do chumbo. O conhecimento dos mecanismos de defesa e resistência à presença de metais pesados poderá ser útil em tecnologias de proteção ambiental, nomeadamente no desenvolvimento de novas metodologias para a biorremediação de metais pesados. O presente trabalho teve como objetivo avaliar o impacto do Pb na capacidade proliferativa, na integridade membranar e na produção intracelular de espécies reativas de oxigénio (ROS), na estirpe laboratorial da levedura Saccharomyces cerevisiae BY4741 (estirpe selvagem, WT). Foi também estudado o papel das mitocôndrias, como fonte de ROS induzida por Pb, e o envolvimento da H+-ATPase vacuolar (V-ATPase) e de transportadores vacuolares pertencentes à superfamília ABC (de ATP-binding cassette) na defesa contra a toxicidade do Pb. O estudo cinético do impacto de duas concentrações de Pb na viabilidade das leveduras (avaliado através de um ensaio clonogénico), na integridade da membrana celular (determinada com iodeto de propídio) e na produção intracelular de ROS (o anião superóxido foi detetado com dihidroetídio e o peróxido de hidrogénio com 2’,7’- diclorodihidrofluoresceína), revelou uma perda progressiva da capacidade proliferativa (53 e 17% de células viáveis, após a exposição durante 3h a 250 ou 1000 µmol/l de chumbo, respetivamente), coincidente com a acumulação intracelular de anião superóxido e de peróxido de hidrogénio, na ausência de perda da integridade membranar. A importância das mitocôndrias na produção de ROS, induzida por chumbo, foi levada a cabo usando um mutante deficiente respiratório desprovido de ADN mitocondrial (ƿ0). Quando comparado com a respetiva estirpe parental, o mutante ƿ0 apresentou uma maior resistência ao Pb e uma menor produção de ROS induzida por Pb. A exposição das células da estirpe BY4741 a 250 e 1000 µmol/l de chumbo originou a formação de 49 e 58% de células deficientes respiratórias, respetivamente. A função da V-ATPase, na desintoxicação de chumbo, foi avaliada utilizando mutantes com uma estrutura vacuolar normal mas defetivos em subunidades da VATPase (vma1Δ, vma2Δ, vma3Δ e vph1Δ). Comparativamente às células da estirpe WT, todos os mutantes testados, sem V-ATPase funcional, apresentaram uma maior suscetibilidade ao Pb. O papel dos transportadores vacuolares pertencentes à superfamília ABC, na defesa contra a toxicidade induzida por chumbo, foi levada a cabo utilizando mutantes sem os transportadores Ycf1p ou Vmr1p. Os resultados preliminares mostraram que quando comparadas com as células da estirpe WT, as células das estirpes ycf1Δ ou vmr1Δ não apresentavam uma maior perda da viabilidade. A modificação da morfologia vacuolar, em células expostas a chumbo, foi visualizada utilizando a estirpe Vma2p-GFP. O tratamento das células com Pb originou a fusão dos vacúolos de tamanho médio num único vacúolo de grande dimensão. Em conclusão, os estudos desenvolvidos no presente trabalho, utilizando a estirpe laboratorial BY4741, mostraram que a perda da capacidade proliferativa das leveduras, induzida pelo chumbo, pode ser atribuída à acumulação intracelular do anião superóxido e de peróxido de hidrogénio. As mitocôndrias parecem ser uma das principais fontes de ROS induzido por Pb e, simultaneamente, um dos principais alvos da sua toxicidade. Em S. cerevisiae, o vacúolo desempenha um papel importante na desintoxicação do Pb. A modificação da morfologia vacuolar após exposição ao chumbo poderá ser a consequência da acumulação de Pb no vacúolo. Enquanto os transportadores da superfamília ABC parecem não estar envolvidos na sequestração vacuolar de Pb, é necessária a presença, num estado funcional, da V-ATPase para que ocorra a compartimentação do Pb. Muito provavelmente, a compartimentação do Pb no vacúolo previne a sua acumulação no citosol e o desencadear dos respetivos efeitos tóxicos.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A presente tese pretende fazer uma abordagem ao crescimento dos consumos de energia elétrica, que se tem verificado, nos últimos anos, no setor das telecomunicações e das tecnologias de informação; devido ao constante crescimento das redes, dos equipamentos a ela ligados e do tráfego que nelas transita. Num contexto de globalização da economia, no qual, as redes de telecomunicações e de energia elétrica são dois dos maiores contribuintes, a presente tese procura encontrar enquadramentos e soluções para um dos maiores desafios que a humanidade enfrenta atualmente, e que em parte, é consequente dessa globalização: encontrar novas fontes e formas de utilização da energia, -particularmente da energia elétrica - para que a humanidade continue a usufruir, de uma forma sustentável, dos benefícios que a mesma proporciona. Na primeira parte, procura-se fazer uma abordagem que utiliza fontes de informação e conhecimento, do mercado global, nomeadamente, entidades reguladoras e normalizadoras, operadores, fornecedores de tecnologias e consumidores, que abrangessem os três maiores mercados mundiais – União Europeia, Estados Unidos da América e Ásia-Pacífico. Considerou-se fundamental fazê-lo, por se tratar de uma dissertação no âmbito de um Mestrado com o selo de garantia EUR-ACE. Ao longo da dissertação analisou-se a temática da eficiência energética nas redes de telecomunicações e das tecnologias de informação e comunicação, um tema cada vez mais pertinente, já que o número de pessoas com ligações à Internet, já supera os 3 mil milhões, e as redes passaram a ser o meio por onde são transmitidos, a cada segundo, terabytes de sinais de voz, dados e vídeo. Procurou-se encontrar as linhas de orientação que estão a ser traçadas, para otimizar os consumos energéticos, de um complexo sistema convergente de redes e serviços, formado por entidades reguladoras e normalizadoras, operadores, fornecedores de tecnologias e consumidores, onde nem sempre as fronteiras estão perfeitamente definidas. Perante a constatação da realidade exposta, analisou-se as políticas energéticas desenvolvidas nos últimos anos, pelos vários players do mercado das telecomunicações, das tecnologias de informação e dos sistemas elétricos de energia bem como algumas métricas e objetivos comumente aceites. viii São analisados os contributos das partes interessadas, para o desenvolvimento de políticas energéticas eficazes, por forma a permitirem uma implementação, que considere o funcionamento dos equipamentos como um todo, e não de uma forma isolada como tradicionalmente o assunto era abordado. As especificidades na forma como funcionam as redes de telecomunicações e respetivos equipamentos, são expostas sobre várias óticas, comprovando-se que a temática da eficiência energética é uma das áreas mais difíceis lidar, de todas as consideradas nas políticas energéticas. Demonstrou-se que muitos dos equipamentos não estão otimizados em termos de gestão de energia, procurou-se evidenciar as consequências dessa realidade, uma vez que os equipamentos referidos, têm a necessidade de estar permanentemente a ser alimentados pela rede de energia elétrica, para garantir as funções para que foram projetados. Da pesquisa efetuada e descrita ao longo da dissertação, constatamos o empenho de toda a comunidade científica, operadores e agências de energia e de telecomunicações, em resolver o problema, já que há a consciencialização de que o ritmo de crescimento da rede e equipamentos terminais, é superior ao registado na melhoria da eficiência energética dos vários componentes e equipamentos terminais. Na segunda parte do relatório da tese, procurou-se testar a aplicabilidade das normas e recomendações dos organismos que tutelam a atividade a nível global - algumas publicadas nos últimos 2 anos - a um caso prático. Um edifício hospitalar de média dimensão. Foi elaborada uma aplicação informática, que suportada numa metodologia padronizada, seja capaz de fazer a avaliação da eficiência energética dos equipamentos serviços de telecomunicações de informação e comunicação em funcionamento do hospital. Por dificuldades de disponibilidade dos responsáveis do edifício, os resultados ficaram aquém do esperado. Conseguiu-se desenhar a aplicação, inventariar-se apenas parte dos equipamentos. Demonstrou-se que, a forma como alguns equipamentos estão a ser utilizados, não cumprem regras de utilização racional e eficiente. Procurou-se sensibilizar alguns dos responsáveis, para a necessidade de alterar comportamentos e prosseguir o processo de inventariação, por forma, a que o trabalho iniciado atinja os objetivos propostos.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O presente documento corresponde à realização de um projeto de estruturas em betão armado e estrutura metálica. A escolha deste tema teve como propósito aplicar os conhecimentos adquiridos ao longo do percurso académico, sobretudo em disciplinas do ramo de estruturas. O trabalho desenvolvido é um Projeto de Estabilidade de Betão Armado e Estrutura Metálica de um Internato Masculino para Padres em Onameva, Cunene – Angola. A elaboração deste projeto decorre da realização de um estágio formal de 8 meses na empresa CALCULUS, Miguel Barros – Engenharia, LDA, com o objetivo principal de reunir os requisitos necessários à admissão na Ordem dos Engenheiros. No contexto laboral de um gabinete de projetos de engenharia civil, foi feita a integração de forma gradual e sustentada das competências adquiridas ao longo da formação académica e vivenciadas situações reais de trabalho profissional. De entre as atividades desenvolvidas no estágio, foi escolhido o projeto de estabilidade acima referido pela oportunidade de realizar todas as etapas do seu desenvolvimento, desde a análise da arquitetura até à elaboração das peças escritas e desenhadas, dando assim resposta às exigências necessárias para a conclusão do Mestrado em Engenharia Civil, no ramo de Estruturas, pelo Instituto Superior de Engenharia do Porto.