Converting ALC Connection Proofs into ALC Sequents

The connection method has earned good reputation in the area of automated theorem proving, due to its simplicity, efficiency and rational use of memory. This method has been applied recently in automatic provers that reason over ontologies written in the description logic ALC. However, proofs generated by connection calculi are difficult to understand. Proof readability is largely lost by the transformations to disjunctive normal form applied over the formulae to be proven. Such a proof model, albeit efficient, prevents inference systems based on it from effectively providing justifications and/or descriptions of the steps used in inferences. To address this problem, in this paper we propose a method for converting matricial proofs generated by the ALC connection method to ALC sequent proofs, which are much easier to understand, and whose translation to natural language is more straightforward. We also describe a calculus that accepts the input formula in a non-clausal ALC format, what simplifies the translation.Comment: In Proceedings PxTP 2019, arXiv:1908.08639. Thanks to CAPES: Coordination for the Improvement of Higher Level Personne

Impacto de um programa de competências pessoais e sociais em crianças de risco

A finalidade deste estudo foi a de verificar o impacto de um programa preventivo de competências sociais, com uma intervenção semanal de 90 minutos durante 12 semanas, através de práticas de expressão dramática e de expressão plástica. Este programa teve como vectores essenciais fomentar a comunicação, a utilização de comportamentos assertivos, a resolução de problemas e a capacidade de gestão de conflitos, com o intuito de diminuir comportamentos disruptivos e problemas emocionais que surgem associados a factores de risco. A investigação foi desenvolvida através de um estudo quase experimental, com dois grupos de duas turmas, pertencentes a uma escola do concelho de Vila Franca de Xira: um grupo experimental e um grupo de controlo. Cada um dos grupos incluía alunos duma turma do 2.º ano de escolaridade, com idades compreendidas entre os 7 e os 8 anos e alunos duma turma do 4.º ano de escolaridade, com idades compreendidas entre os 9 e os 11 anos. O grupo experimental e o grupo de controlo eram idênticos, nas seguintes dimensões: agressividade, disfuncionamento familiar, dificuldade em exprimir emoções/sentimentos e em lidar com o medo. O programa compreendia doze sessões e abordava competências para lidar com os sentimentos, competências para lidar com a agressividade e competências para lidar com o stress. Cada uma das sessões foi planificada tendo por base pesquisas científicas e contemplou um conjunto de actividades diversificadas e criativas, de modo a motivar os alunos para a sua participação. Foram utilizados vários instrumentos de recolha de dados, que permitiram que se conhecessem as áreas fortes e as áreas fracas dos alunos. Para o procedimento de análise dos dados recolhidos foi utilizada a estatística inferencial e correlacional. A avaliação deste estudo foi realizada através de pré-teste/pós-teste no grupo experimental e no grupo de controlo, com vista a estabelecer relações entre variáveis, nomeadamente, na verificação de diferenças significativas entre o grupo experimental e o grupo de controlo através dos grupos, alunos, pais e professores

Functionalized graphene for polymer composites

Tese de Doutoramento (Ciência e Engenharia de Polímeros e Compósitos)Along the past decade graphene has emerged as an exciting material revealing potential applications in various fields. The translation of the graphene outstanding properties observed at lab-scale into real-world applications at industrial scale, however, greatly depends on the capacity to produce good quality graphene at large scale. The typical large scale graphene production processes present disadvantages such as high cost, or the formation of graphene with structural defects, or contaminants which are difficult to remove. Recently, interesting approaches to produce graphene were proposed, based on graphite exfoliation in water using amphiphilic molecules such as pyrene derivatives with a polar moiety. Another approach consists in the production of graphene nanoribbons (GNR) by unzipping of carbon nanotubes. These methods allow the production of graphene sheets (GS) and GNR with negligible structural damage, using low boiling point solvents that are easy to remove. The present work investigated these two graphene production methods. The exfoliation of graphite into GS was achieved by interaction with two different water soluble pyrene derivatives, modified with a carboxylic acid moiety bonded to pyrene through semiflexible side arms of different lengths. The suspensions produced were formed by approximately 80 % of bi-layer and few-layer graphene. The GNR were produced from pyrrolidine-functionalized carbon nanotubes, through application of ultrasounds in ethanol. Multiwall carbon nanotubes of different diameters, namely with approximately 10 and 110 nm, were covalently functionalized using a simple, solvent free method, and the unzipping was observed to occur in both cases. The unzipping process was assigned to the type of functional groups bonded to the nanotubes. The graphene products were extensively characterized, and tested for polymer composite applications. Graphene has the potential to improve the mechanical, electrical, thermal and barrier properties of polymer-based nanocomposites. For that purpose graphene, or graphene derivative, has to be homogeneously distributed and dispersed into the polymer matrix, and establish good interfacial adhesion. Solution mixing is a good method to produce homogeneous graphene/polymer nanocomposites, particularly when using water as a solvent. This method is limited to water soluble polymers, however the development of waterborne polymer suspensions is an area of intense research. Waterborne polyurethane (WPU) is a good example of an eco-friendly synthetic polymer widely used in the coating industry. In this work nanocomposite films were produced incorporating GS formed in aqueous suspension. The composite films presented a large decrease of permeability to water vapor, of the electrical resistivity, and an increase of the mechanical properties. Melt mixing of reinforcing particles in thermoplastic polymers is probably the most environmentally and economically attractive technique, and a scalable method, for composite production. However, the dispersion of nanoparticles in high viscosity polymer melts is a complex process. Several studies reported in the literature used different mixing equipment (extruders, internal mixers, prototype mixers) to disperse carbon black, carbon nanofibers and carbon nanotubes, in polymer melts. They demonstrated that the nanoparticle dispersion varies with factors such as the intensity and type of hydrodynamic stresses, residence time, and interfacial adhesion. Few studies report the dispersion of graphite-derivatives in polymer melts. In the present work the dispersion in polypropylene of graphite nanoplates, with and without functionalization, was studied using a small-scale prototype mixer designed to generate high extensional flow. The dispersion of the nanoparticles was analyzed along the mixer length, demonstrating the initial agglomerated form of the graphite nanoplates and their dispersion into the original nanoplate size along the melt processing.O grafeno tem sido apresentado como um nano material muito interessante com potenciais aplicações em várias áreas. Contudo, a extrapolação das suas excelentes propriedades, que são observadas à escala laboratorial, para uma escala industrial depende amplamente da capacidade de produção de grafeno em grandes quantidades e com boa qualidade. Os processos que normalmente são utilizados para produção de grafeno em grande quantidade apresentam algumas desvantagens, tais como, elevado custo de produção, a obtenção de grafeno com defeitos estruturais ou com contaminações cuja remoção é difícil. Recentemente foram reportadas abordagens interessantes para a produção de grafeno baseadas na exfoliação da grafite em meio aquoso utilizando moléculas anfifílicas, tais como derivados de pireno com grupos funcionais polares. Outra abordagem consiste na produção de nanofitas de grafeno através da abertura longitudinal de nanotubos de carbono. Estes métodos permitem a produção de folhas de grafeno e nanofitas de grafeno com poucos defeitos estruturais, utilizando solventes com pontos de ebulição baixos que são fáceis de remover. Neste trabalho foram estudadas estas duas abordagens para a produção de grafeno. A exfoliação da grafite para a formação de folhas de grafeno foi obtida através da interação com dois derivados de pireno solúveis em água, modificados com um grupo funcional ácido carboxílico ligado à molécula de pireno formando cadeias semi-flexíveis com comprimentos diferentes. As suspensões produzidas apresentaram cerca de 80% de grafeno bicamada e grafeno com poucas camadas. As nanofitas de grafeno foram produzidas a partir de nanotubos de carbono funcionalizados com um grupo pirrolidina, através da aplicação de ultrassons em etanol. Os nanotubos de carbono multicamada com diferentes diâmetros, nomeadamente, 10 e 110 nm, foram funcionalizados covalentemente através de uma metodologia simples, sem a utilização de solventes, e a abertura longitudinal dos nanotubos de carbono funcionalizados ocorreu em ambos os casos. O processo de abertura dos nanotubos de carbono funcionalizados foi desencadeado devido ao tipo de grupo funcionais ligados à superfície dos nanotubos. As nanofitas de grafeno bem como o grafeno obtido a partir da exfoliação da grafite foram caracterizados extensivamente e testados para aplicações em compósitos poliméricos. O grafeno tem potencial para melhorar as propriedades mecânicas, elétricas bem como propriedades de barreira em nanocompósitos poliméricos. Para tal, o grafeno ou derivados de grafeno têm que estar distribuídos e dispersos homogeneamente na matriz polimérica, e estabelecer uma boa adesão na interface com a matriz. A mistura em solução é uma boa técnica para a produção de nanocompósitos poliméricos com grafeno de uma forma homogénea, especialmente quando o solvente utilizado é a água. Este método é limitado à utilização de polímeros solúveis em água, contudo o desenvolvimento de polímeros que formam suspensões estáveis em água tem vindo a ser extensamente estudado. O poliuretano de base aquosa representa um bom exemplo de um polímero sintético e ecológico que é amplamente usado da industria dos revestimentos. Neste trabalho foram produzidos filmes nanocompósitos com a incorporação de folhas de grafeno produzidas em suspensão aquosa. Os filmes nanocompósitos apresentaram uma diminuição significativa na permeabilidade ao vapor de água, da resistividade elétrica bem como um melhoramento das propriedades mecânicas. A mistura de partículas de reforço em polímeros termoplásticos fundidos é provavelmente a técnica mais atrativa do ponto de vista económico e ecológico, e um método que pode ser utilizado para a produção de compósitos poliméricos em escala industrial. Todavia, a dispersão de nanopartículas em polímeros com viscosidade elevada é um processo complexo. Alguns estudos reportados na literatura usaram diferentes equipamentos de mistura (como por exemplo, extrusoras e misturadores protótipos) para dispersar nanopartículas de carbono, tais como, negro de fumo, nanofibras de carbono e nanotubos de carbono, em polímero fundido. Os estudos demonstraram que a dispersão das nanopartículas varia com fatores como a intensidade e o tipo de tensões hidrodinâmicas, o tempo de residência, e a adesão na interface entre o reforço e a matriz. Poucos estudos reportam a dispersão de derivados de grafite em polímero fundido. Neste trabalho foi estudada a dispersão em polipropileno fundido de nanoplaquetas de grafite, com e sem funcionalização, utilizando um misturador protótipo, que permite o estudo em pequenas quantidades de material, e que foi desenhado para gerar fluxos extensionais elevados. A dispersão das nanopartículas foi analisada ao longo do misturador, demonstrado que os aglomerados de nanoplaquetas de grafite formados evoluíram até às dimensões inicias destas ao longo do processamento em polímero fundido

Funcionalização química de nanotubos de carbono e formação de grafeno

Dissertação de mestrado em Micro-Nano TecnologiasO grafeno tem suscitado um interesse exponencial nos últimos anos em diversas áreas científicas devido às suas excelentes propriedades. Neste sentido, a obtenção de grafeno em grande escala, com qualidade controlada e um custo razoável torna-se um factor essencial e muito importante para as inúmeras possíveis aplicações deste material. A obtenção de fitas de grafeno a partir da exfoliação ou “unzipping” de nanotubos de carbono (CNTs) previamente funcionalizados apresenta-se como uma metodologia muito promissora. As fitas de grafeno obtidas podem apresentar boa qualidade estrutural e propriedades ópticas e electrónicas muito interessantes. Neste trabalho foram produzidas nanofitas de grafeno por exfoliação de diferentes tipos de CNTs. A exfoliação foi induzida em CNTs funcionalizados usando a reacção de cicloadição dipolar 1,3. Esta metodologia surge como uma nova abordagem para a obtenção de nanofitas de grafeno, apresentandose como um método simples e de custo relativamente baixo. As fitas assim formadas podem ter uma estrutura de grafeno muito perfeita, dependendo do grau de funcionalização induzido, e contêm grupos funcionais localizados de um dos lados do grafeno, o que permite estabelecer interacções fortes com solventes e polímeros. Os CNTs funcionalizados foram caracterizados por análise termogravimétrica (TGA) e espectroscopia de infravermelho (FTIR). As soluções de grafeno obtidas foram caracterizadas por espectroscopia de Ultravioleta - Visível, espectroscopia de Raman, TGA, microscopia óptica e microscopia electrónica de transmissão (TEM). A conjugação das técnicas de TGA e de espectroscopia de UV-Visível permitiu a determinação da absortividade mássica do grafeno produzido.The interest in graphene has grown exponentially along the past few years, due to its excellent properties and wide range of possible applications in various scientific fields. The preparation of this material in large scale, with controlled quality and reasonable cost, became an important target and research topic. The production of graphene ribbons by unzipping of previously functionalized carbon nanotubes (CNTs) became a promising approach that may lead to the formation of good quality graphene nanoribbons with interesting optical and electronic properties. In the present work, graphene ribbons were obtained by unzipping of different types of CNTs that were functionalized by the 1,3-dipolar cycloaddition reaction. This new method is a simple approach for the formation of graphene nanoribbons at a reasonable low cost. The nanoribbons thus formed may present a perfect graphene structure, depending on the functionalization degree. They contain functional groups localized on one side of the graphene layer allowing further interactions with solvents and polymers. The functionalized CNTs were characterized by thermogravimetric analysis (TGA) and Fourier transform infrared spectroscopy (FTIR). The graphene solutions were characterized by Ultraviolet–Visible spectroscopy, Raman spectroscopy, TGA, optical microscopy and transmission electron microscopy (TEM). The combination of TGA and UV-Visible spectroscopy allowed the determination of the weight absorptivity for the graphene produced in solution

Dispersion of graphite nanoplates during melt mixing

Artigo publicado a convite da Society for Polymer EngineersThe behavior of pristine and functionalized particles within polypropylene was investigated with the use of a prototype small-scale mixer.Matepro (NORTE-07-0124-FEDER-000037); Foundation for Science and Technology (project PEst-C/CTM/LA0025/2011); PhD grant FRH/BD/87214/201

The impact of a curriculum for resilience promotion in deaf children and adolescents

Resilience is an interactive process involving internal skills that should be promoted, especially in the early stages of development. This study aims to adapt and implement two themes from the European Curriculum for Resilience Promotion – RESCUR, namely, ‘Developing Communication Skills’ and ‘Establishing and Maintaining Healthy Relationships’, for deaf and hard-of-hearing (DHH) students. The study included 37 children and adolescents from three Portuguese regions and its impact was evaluated through the perspectives of the students, their guardians and their teachers. Each 90-minute session was implemented weekly. The sessions followed the RESCUR curriculum structure with necessary adaptations to the mindfulness activities, stories, role-play and worksheets. The mean scores increased from pre- to post-intervention assessment on all instruments, namely, KIDSCREEN-10 (children/adolescents), KIDSCREEN-10 (guardians) and CYRM-28 (teachers). The implementation of adapted curricula promoting resilience seems to be beneficial to DHH children, allowing the development of specific resilience-associated skills, and thus enhancing health, well-being and quality of life.info:eu-repo/semantics/publishedVersio

Educar para a resiliência : um percurso com crianças e adolescentes surdos

A resiliência é um conceito que implica adaptação e sucesso perante os desafios que surgem diariamente e que colocam em risco o desenvolvimento harmonioso do indivíduo. Promover programas preventivos e promotores de resiliência é fundamental na infância e na adolescência, principalmente com crianças vulneráveis, nomeadamente crianças surdas, já que enfrentam quotidianamente desafios acrescidos a nível da comunicação e da linguagem. Estes desafios acarretam outros, por exemplo, a nível relacional e emocional. O Currículo Europeu para a Resiliência surge num consórcio europeu com o objetivo de promover competências cognitivas, sociais e emocionais associadas à resiliência. Consciente da importância desta ferramenta e das caraterísticas específicas de crianças e adolescentes surdos, este estudo tem como objetivo adaptar o RESCUR para esta população, implementá-lo e avaliá-lo sob a perspetiva dos alunos, respetivos pais e professores. As quatro investigações que integram este trabalho apresentam a seguinte sequência de estudos: (i) uma revisão compreensiva da literatura acerca da resiliência em crianças e adolescentes surdos; (ii) um estudo com as adaptações do RESCUR para a população surda, tendo em consideração a estrutura de cada sessão e respetivas atividades; (iii) dois estudos, um quantitativo e outro qualitativo, realizados em contexto escolar, em três Agrupamentos de Escolas de Referência Bilingue: no norte, centro e sul de Portugal, com 37 alunos surdos, do pré-escolar ao 3.º ciclo. Os resultados sob a perspetiva de pais, professores e alunos revelam melhorias ao nível da aquisição de competências relacionais, comunicacionais e académicas; ao nível do bem-estar individual e social. Ainda integrado neste estudo é apresentado o documento “Indicações para a aplicação do RESCUR com crianças/adolescentes surdos” com diretrizes específicas para o educador implementar este currículo em contexto escolar; são também apresentados exemplos de sessões adaptadas.Resilience is a concept involving adaptation and success in the face of challenges that arise daily and that endanger the harmonious development of the individual. Promoting preventive programs and promoting resilience is fundamental in childhood and adolescence, especially with vulnerable children, namely deaf children, as they face increased challenges in terms of communication and language daily. These challenges lead to others, for example, at a relational and emotional level. The European Curriculum for Resilience is part of a European consortium to promote cognitive, social, and emotional skills associated with resilience. Aware of the importance of this tool and the specific characteristics of deaf children and adolescents, this study aims to adapt the RESCUR to this population, implement it and evaluate it from the perspective of students, their parents, and teachers. The four investigations that make up this work present the following sequence of studies: (i) a comprehensive review of the literature on resilience in children and adolescents with deafness; (ii) a study with the adaptations of RESCUR for the deaf population, taking into account the structure of each session and respective activities; (iii) two studies, one quantitative and the other qualitative, carried out in a school context, in three Groups of Bilingual Reference Schools: in the north, center, and south of Portugal, with 37 deaf students, from preschool to 3rd cycle. The results from the perspective of parents, teachers, and students reveal improvements in terms of the acquisition of relational, communicational, and academic skills; at the level of individual and social well-being. Also included in this study is the document “Indications for the application of RESCUR with deaf children/adolescents” with specific guidelines for the educator to implement this curriculum in a school context; examples of adapted sessions are also presented

Few-layer graphene aqueous suspensions for polyurethane composite coatings

Graphite nanoplates (GnP) have recently attracted attention as an economically viable alternative for the development of functional and structural nanocomposites. The incorporation of GnP into waterborne polyurethane (WPU) with loadings from 0.1 to 10 wt.% was studied. The mechanical properties of the composite films were assessed by tensile testing showing an increase of the Young’s modulus up to 48%. The electrical conductivity increased by 9 orders of magnitude and the water vapor permeability of the composite films decreased 57% for composites containing 5.0 wt.% of GnP.The authors acknowledge FCT, project PEst-C/CTM/LA0025/2015 and PhD grant SFRH/BD/87214/2012.info:eu-repo/semantics/publishedVersio

Prática docente no ensino da música em Moçambique

A música é uma linguagem rica em todos os aspectos, que desperta sensibilidade na vida do ser humano, como liberdade de expressão, comunicação e socialização. No ensino da música, o docente tem o papel de favorecer descobertas e possibilitar vivências na aprendizagem no aspecto psicomotor, afectivo e cognitivo no processo de educação do aluno. Esta pesquisa, tem como objectivo, analisar como a educação musical, tem sido feita e sua importância, para um melhor desenvolvimento nas diversas áreas, em que o docente realiza suas actividades, conforme proposta no plano Curricular de Educação em Moçambique, referente a disciplina Música, e de incentivar o uso da música como instrumento facilitador do processo de ensino aprendizagem

O papel do docente na ética pela construção duma sociedade em Moçambique / The role of the teacher in ethics for the construction of a society in Mozambique

O profissional que trabalha com educação tem como diretriz a formação de indivíduos, capazes de pertencer e atuar na construção da sociedade em que vive. Para a construção de uma sociedade ao qual se está inserido, o docente é tido como o farol que guia destinos de vida na construção de uma sociedade que se deseja sã e próspera, ainda que vivenciando a atual problemática da pandemia do COVID-19, insurge o problema em como ensinar e educar em plena temporada de pandemia. Temos como objectivo, falar de pontos fundamentais em que o professor moçambicano, conhecedor das normas de educação propostas nas leis de educação em Moçambique nas quais as regem, venham a consolidar em um docente solidário, passivo, competitivo e companheiro com perspectivas na construção do conhecimento, do “Homem Novo”, que assume o seu papel de promotor, orientador, mediador e motivador da aprendizagem, e que acima de tudo, passa a ser fonte de motivação para o aprendiz, que facilita o acesso ao conhecimento acumulado pela sociedade, a fim de orientar, executar e avaliar, munido de experiências e projectos, onde ocorram a construção do conhecimento de forma interativa