Animating user interface prototypes with formal models

Dissertação de mestrado integrado em Informatics EngineeringThe User Interface (UI) provides the first impression of an interactive system and should, thus, be intuitive, in order to guide users effectively and efficiently in performing their tasks. User interface prototyping is a common activity in UI development, as it supports early exploration of the UI design by potential users. UI quality plays a crucial role in safety-critical contexts, where design errors can poten tially lead to catastrophic events. Model-based analysis approaches aim to detect usability and performance issues early in the design process by leveraging formal analysis. They complement prototyping, which supports user involvement, but not an exhaustive analysis of the designs. The IVY Workbench emerges as a model-based analysis tool intended for non-expert usage. The tool was originally focused on supporting modelling and verification, but more recently an effort began to combine the formal model capabilities with UI mock-ups, to produce more interactive prototypes than traditional mock-up editors support. This work addresses the enhancement of the prototyping features of the IVY Workbench. The improvements of such features include the creation of a dynamic widget library that can vastly improve the quality of prototypes. Such a library, however, should be compatible with several mock-up editors to attract a broader design community. The results of this work include an analysis of alternative prototyping tools, identifying potential features that can enhance the IVY Workbench, the creation of a dynamic widget library that is compatible with several mock-up editors, and several improvements to IVY’s prototyping plugin, including the addition of code exporting functionalities. Usability tests were conducted to validate the new features of the tool, with positive results. Two mobile applications were also created, allowing users to test prototypes in their mobile devices.A UI proporciona o primeiro contacto entre um utilizador e um sistema interativo. Assim, a UI deverá ser capaz de guiar o utilizador na execução das suas tarefas, de um modo eficiente e eficaz. A prototipagem de interfaces é uma atividade comum no processo de desenvolvimento de UIs, já que permite a exploração antecipada do design de uma UI com potenciais utilizadores. A UI tem um papel bastante relevante no contexto de sistemas críticos, onde falhas no design podem gerar eventos catastróficos. As metodologias de análise baseadas em modelos procuram detetar potenciais falhas de usabilidade e desempenho, em fases iniciais do processo de desenvolvimento, através de análise formal. Estas metodologias complementam o processo de prototipagem, que suporta o envolvimento dos utilizadores mas não oferece uma análise exaustiva do design. A IVY Workbench surge como uma ferramenta de análise baseada em modelos que visa suportar utilizadores sem grandes conhecimentos de análise formal. Embora originalmente focada na modelação e verificação, surgiu recentemente um esforço para combinar as capacidades da análise formal com mock-ups da UI. O objetivo é produzir protótipos com maior nível de interação do que os produzidos pelos tradicionais editores de mock-ups. O presente trabalho apresenta melhorias das capacidades de prototipagem da ferramenta IVY Workbench. Estas melhorias incluem a criação de uma biblioteca de widgets dinâmicos, que aperfeiçoa a qualidade dos protótipos desta ferramenta. Esta biblioteca deverá ser compatível com múltiplos editores de mock-ups, de modo a atrair uma vasta comunidade de designers. Os resultados deste trabalho incluem uma análise de alternativas de ferramentas de prototipagem, onde são identificadas funcionalidades que podem aprimorar a ferramenta IVY Workbench; a criação de uma biblioteca de widgets dinâmicos, compatível com inúmeros editores de mock-ups; assim como várias melhorias efetuadas no plugin de prototipagem desta ferramenta, incluindo a adição de funcionalidades de exportação de código fonte. Foram realizados testes de usabilidade para validar as novas funcionalidades da ferramenta com utilizadores, onde foram obtidos resultados positivos. Finalmente, foram criadas duas aplicações móveis que permitem que os utilizadores testem os protótipos nos seus dispositivos móveis

Carne e espírito : a condição humana segundo o livro XIV do De civitate Dei de Santo Agostinho

O presente trabalho, a partir do Livro XIV do De civitate Dei de Santo Agostinho, procura fazer uma reflexão sobre o binómio carne/espírito na experiência humana. Percorremos o caminho que nos orienta para uma antropologia tipicamente agostiniana, a qual nos abeira da condição humana como unidade integral, sem negar a tensão entre carne e espírito. Na base de toda esta questão está a vida concreta do homem, principalmente na orientação das suas decisões e ações, as quis determinarão a que cidadania pertence cada indivíduo: se à cidade celeste, se à cidade terrena. Neste percurso, abordamos a incontornável questão do pecado original e suas consequências para a realidade concreta de toda a criatura, apresentado o seu paradoxo, como modelo de exemplaridade para a vida que Deus desejou para a humanidade, representada na condescendência e humildade do Verbo incarnado. Toda esta reflexão apontanos, portanto, para um maior conhecimento da fragilidade e tendência para o pecado por parte da criatura, procurando superar a fraqueza humana com uma vida radicalmente comprometida com Cristo, estabelecendo-se assim a vida como peregrinação num contexto de espiritualidade incarnada.This work, looking through the perspective of the Book XIV of the De civitate Dei of Saint Augustine, attempts to think about the binominal flesh/spirit in human experience. We follow a path that drives us to an augustinian anthropology, the same one that approaches us to the unity of the human condition, even though it does not deny the tension between flesh and spirit. On the basis of this whole question is man’s real life, mainly on his direction of his own decisions or actions, the ones that will determine which citizenship each individual will have: the one from the heavenly city, or the one of the earthly city. On this path, we address as well the issue of original sin and its consequences to the real life of humankind, presenting as its paradox, as a pattern of the life that God desired for men, the compliance and humility of the Word made flesh. Therefore, this reflection points us to a greater knowledge of humans’ fragility and tendency to sin, trying to overcome human weakness with a radically committed life with Christ, establishing it as a pilgrimage in a incarnate spirituality context

Carne e espírito : a condição humana segundo o livro XIV do De civitate Dei de Santo Agostinho

O presente trabalho, a partir do Livro XIV do De civitate Dei de Santo Agostinho, procura fazer uma reflexão sobre o binómio carne/espírito na experiência humana. Percorremos o caminho que nos orienta para uma antropologia tipicamente agostiniana, a qual nos abeira da condição humana como unidade integral, sem negar a tensão entre carne e espírito. Na base de toda esta questão está a vida concreta do homem, principalmente na orientação das suas decisões e ações, as quis determinarão a que cidadania pertence cada indivíduo: se à cidade celeste, se à cidade terrena. Neste percurso, abordamos a incontornável questão do pecado original e suas consequências para a realidade concreta de toda a criatura, apresentado o seu paradoxo, como modelo de exemplaridade para a vida que Deus desejou para a humanidade, representada na condescendência e humildade do Verbo incarnado. Toda esta reflexão apontanos, portanto, para um maior conhecimento da fragilidade e tendência para o pecado por parte da criatura, procurando superar a fraqueza humana com uma vida radicalmente comprometida com Cristo, estabelecendo-se assim a vida como peregrinação num contexto de espiritualidade incarnada.This work, looking through the perspective of the Book XIV of the De civitate Dei of Saint Augustine, attempts to think about the binominal flesh/spirit in human experience. We follow a path that drives us to an augustinian anthropology, the same one that approaches us to the unity of the human condition, even though it does not deny the tension between flesh and spirit. On the basis of this whole question is man’s real life, mainly on his direction of his own decisions or actions, the ones that will determine which citizenship each individual will have: the one from the heavenly city, or the one of the earthly city. On this path, we address as well the issue of original sin and its consequences to the real life of humankind, presenting as its paradox, as a pattern of the life that God desired for men, the compliance and humility of the Word made flesh. Therefore, this reflection points us to a greater knowledge of humans’ fragility and tendency to sin, trying to overcome human weakness with a radically committed life with Christ, establishing it as a pilgrimage in a incarnate spirituality context

Features-Aware DDoS Detection in Heterogeneous Smart Environments based on Fog and Cloud Computing

Nowadays, urban environments are deploying smart environments (SEs) to evolve infrastructures, resources, and services. SEs are composed of a huge amount of heterogeneous devices, i.e., the SEs have both personal devices (smartphones, notebooks, tablets, etc) and Internet of Things (IoT) devices (sensors, actuators, and others). One of the existing problems of the SEs is the detection of Distributed Denial of Service (DDoS) attacks, due to the vulnerabilities of IoT devices. In this way, it is necessary to deploy solutions that can detect DDoS in SEs, dealing with issues like scalability, adaptability, and heterogeneity (distinct protocols, hardware capacity, and running applications). Within this context, this article presents an Intelligent System for DDoS detection in SEs, applying Machine Learning (ML), Fog, and Cloud computing approaches. Additionally, the article presents a study about the most important traffic features for detecting DDoS in SEs, as well as a traffic segmentation approach to improve the accuracy of the system. The experiments performed, using real network traffic, suggest that the proposed system reaches 99% of accuracy, while reduces the volume of data exchanged and the detection time

Otimização do ângulo de inclinação de painéis fotovoltaicos sujeitos a restrições arquitetónicas

Estima-se que o setor dos edifícios represente cerca de 40% do consumo total de energia na União Europeia, e que 75% dos edifícios sejam ineficientes em termos energéticos. Com vista a alterar este precedente têm surgido cada vez mais esforços e incentivos para reduzir o consumo de energia nos edifícios, através da implementação de medidas de eficiência energética, novas soluções tecnológicas e construtivas. Uma dessas soluções passa pela implementação de sistemas fotovoltaicos integrados em edifícios (BIPV). Os sistemas fotovoltaicos (PV) integrados nos edifícios permitem aliar a produção de energia com a implementação de novas tecnologias construtivas. Para tal são utilizados novos materiais de construção que veem substituir os convencionais na envolvente do edifício, como telhados, claraboias ou fachadas, aliando a estética à eficiência energética. Surgem, no entanto, diversos constrangimentos que propiciam uma diminuição do desempenho energético face a determinadas restrições arquitetónicas dos edifícios. Com o objetivo de avaliar o potencial energético de um sistema fotovoltaico face a estas restrições surgiu a necessidade de desenvolver um método de simulação para determinar o máximo potencial energético para uma superfície inclinada e orientada. A posterior implementação do método desenvolvido contribuirá para instalação adequada de módulos fotovoltaicos na envolvente de um edifício.The buildings sector is estimated to represent around 40% of total energy consumption in the European Union, furthermore 75% of buildings are inefficient energy wise. To change this precedent, more and more efforts and incentives to reduce energy consumption in buildings have been implemented, through energy efficiency measures, new technological and constructive solutions. One of these solutions is the implementation of building integrated photovoltaics (BIPV), the photovoltaic systems (PV) integrated in buildings allow combining energy production with the implementation of new construction technologies. For this purpose, new building materials are used, which replace conventional ones in the building's surroundings, such as roofs, skylights, or facades, combining aesthetics with energy efficiency. However, there are several constraints that lead to a decrease in energy performance due to certain architectural constraints on buildings. To assess the energy potential of a photovoltaic system considering these restrictions, the need arose to develop a simulation method to determine the maximum energy potential for an inclined and oriented surface. The subsequent implementation of the developed method will contribute to a proper installation of integrated photovoltaic modules in buildings

Pode o analista ambiental hesitar? Uma etnografia das experiências sentipensantes envoltas na prática infernal de consultoria ambiental em Belo Monte

A história da hidrelétrica Belo Monte é a história da produção daquilo que Pignarre e Stengers (2011) denominaram “alternativa infernal”. Projetada inicialmente na ditatura militar, a usina teve seu plano suspenso em 1990, dada a forte oposição de ambientalistas e das comunidades indígenas do Xingu. Contudo, em 1994, o governo brasileiro retoma o projeto a partir do anúncio de um “programa de viabilização sócio-política do empreendimento”. Nesse momento, papel decisivo é dado ao trabalho tecno-científico dos expertsde empresas privadas de consultoria ambiental, os quais buscavam reconciliar a opinião pública contrária à obra sem, contudo, comprometer sua viabilidade econômica. Após três anos de atuação como “analista ambiental” em Belo Monte (entre 2010-2013), o presente texto busca registrar etnograficamente (ainda que de modo parcial) como a perplexidade diante das dimensões destrutivas do capitalismo faz parte da experiência dos profissionais da expertiseambiental, embora contida pelos meios e poderes ilimitados que lhes são concedidos pela prática da política do licenciamento ambiental

Coronal microleakage of endodontically treated teeth with intracanal post exposed to fresh human saliva

OBJECTIVE: The aim of this study was to investigate the coronal microleakage of endodontically treated teeth prepared to receive an intracanal post and teeth with an intracanal post but without a prosthetic crown and exposed to contamination by fresh human saliva. MATERIAL AND METHODS: A mechanical-chemical preparation following the step-back technique was carried out in 35 extracted single-rooted human teeth. The teeth were randomly divided into five groups: G1=root canals instrumented, obturated, and prepared to receive an intracanal post (N=10); G2=root canals with cemented posts but without coronal sealing (N=10); PC1=positive control root canals instrumented and open (N=5); PC2=positive control 2 root canals without instrumentation and open (N=5); and NC=negative control healthy teeth (N=5). The crowns were removed except for the control group of intact teeth. The root canals were obturated and sterilized with cobalt 60 gamma irradiation and were then adapted in an apparatus using a Brain Heart Infusion (BHI) medium and fresh human saliva for contamination. Microbial growth was indicated by the presence of turbidity in the BHI liquid medium. RESULTS: Data were submitted to the Kaplan-Meier Survival Analysis and the Holm-Sidak statistic method, which observed an index of 90% of microleakage in root canals after 24 hours for G1 and 70% of microleakage in samples at the end of 40 days for G2. CONCLUSION: The results show that root canals with an intracanal post but without a prosthetic crown can be recontaminated when exposed to fresh human saliva in a short period

ARQUEOLOGIA COMUNITÁRIA NA RESERVA AMANÃ: HISTÓRIA, ALTERIDADE E PATRIMÔNIO ARQUEOLÓGICO

This paper presents an overview of settlement patterns in the AmanãSustainable Development Reserve, putting into perspective the relationsthat the population maintains with local archeological heritage. Researchwas carried out with the participation of local communities. Through the communities’ particular historical trajectories, we identified two distinctways in which they appropriate and give meaning to archeological heritage. In this reflection, we suggest that settlement patterns in Amanã refer to processes of continuity inscribed in the landscape. We explore the meaning and the relations that local dwellers establish with the archeological vestiges, relations that encompass processes of self-definition and notions of alterity that directly influence strategies for the management of archaeological heritage.Keywords: Community archaeology, Amanã reserve, heritage managementO presente artigo apresenta um panorama das ocupações da Reserva de Desenvolvimento Sustentável Amanã, colocando em perspectiva as relações que a população mantém com o patrimônio arqueológico existente na área. As pesquisas são desenvolvidas com a participação comunitária e, a partir de trajetórias históricas particulares das comunidades, identificamos duas formas distintas de apropriação e significação do patrimônio arqueológico. Nesta reflexão, sugerimos que as ocupações em Amanã remetem a processos de continuidade marcados nas paisagens. Além disso, exploramos os significados e as relações que os moradores estabelecem com os vestígios arqueológicos, relações estas que envolvem processos de autodefinições e noções de alteridade que influenciam diretamente as estratégias de gestão. Palavras-chave: Arqueologia comunitária, RDS Amanã, gestão do patrimôni

O uso de sólidos geométricos na compreensão de ângulos: relato de experiência com alunos com deficiência auditiva

The understanding of angles in an inclusive context, with a special focus on hearing-impaired students. It aims to investigate the effectiveness of the approach centered on geometric solids in teaching angles, highlighting its impact on students' understanding, especially those with hearing impairment. The methodology implemented was the use of geometric solids as a tool for exploring and understanding angles, constructed by the students using materials such as Styrofoam balls and barbecue sticks. The tangible approach of the solids provided a concrete anchor for understanding the abstract concepts of angles, promoting active and collaborative participation. The flexible adaptation of the strategy to meet the needs of hearing-impaired students demonstrates the importance of personalization in inclusive education. Collaboration between students with different abilities enriches mutual learning. This report highlights the effectiveness of the geometric solids strategy in the inclusive teaching of angles, emphasizing the importance of tangible engagement for better understanding.Este relato de experiência explora uma estratégia de ensino que utiliza sólidos geométricos na compreensão de ângulos no contexto inclusivo, com foco especial em alunos com deficiência auditiva. Tem por finalidade investigar a eficácia da abordagem centrada em sólidos geométricos no ensino de ângulos, destacando seu impacto na compreensão dos alunos, especialmente aqueles com deficiência auditiva. A metodologia implementada foi com a utilização de sólidos geométricos como ferramenta para explorar e compreender ângulos, construída pelos alunos utilizando materiais como: bola de isopor e, palito de churrasco. A abordagem tangível dos sólidos proporcionou uma ancoragem concreta à compreensão dos conceitos abstratos de ângulos, promovendo uma participação ativa e colaborativa. A adaptação flexível da estratégia para atender às necessidades dos alunos com deficiência auditiva demonstra a importância da personalização na educação inclusiva. A colaboração entre alunos com diferentes habilidades enriquece a aprendizagem mútua. Este relato destaca a eficácia da estratégia com sólidos geométricos no ensino inclusivo de ângulos, ressaltando a importância do engajamento tangível para melhor compreensão

O IMPACTO DA OCPC 07 SOBRE O TAMANHO E A LEGIBILIDADE DAS NOTAS EXPLICATIVAS DE COMPANHIAS BRASILEIRAS

A divulgação de informações irrelevantes em Notas Explicativas (NEs) vem acarretando em demonstrativos financeiros longos e de difícil leitura. Como forma de aumentar a qualidade das NEs, com ênfase no princípio da relevância, o Comitê de Pronunciamentos Contábeis (CPC) emitiu em 2014 a Orientação Técnica – OCPC 07 – Evidenciação na Divulgação dos Relatórios Contábil-Financeiros de Propósito Geral. Para verificar os eventuais efeitos da publicação da OCPC 07 sobre o tamanho e a legibilidade das notas explicativas de companhias brasileiras, este trabalho utilizou-se de técnicas de mineração de textos e de quantificação de elementos textuais para a coleta de dados em NEs. Por meio de softwares específicos, as empresas listadas no Novo Mercado foram analisadas com testes de diferença de médias e um modelo de regressão linear, no que tange às quantidades de páginas, caracteres, palavras, sílabas, frases, parágrafos e tempo estimado de leitura, comparando as NEs anuais de 2013 com as de 2014. Os resultados mostram que a grande maioria das empresas reduziu o tamanho de suas NEs e que as empresas que fizeram menção à OCPC 07 apresentaram uma redução ainda maior do que as demais. Em números absolutos, houve uma redução média total de 6,5 páginas; para as empresas que citaram a OCPC 07, a redução foi de 13 páginas. Os resultados indicam que as NEs ficaram menores, porém não mais fáceis de serem lidas. Com a utilização do índice de legibilidade de Flesch, observou-se que os níveis de qualidade de escrita não se alteraram após a orientação técnica. A relação positiva entre tamanho e legibilidade evidencia a dificuldade de diminuir o volume de NEs e, ao mesmo tempo, aumentar a qualidade de leitura das mesmas, o que pode ser um obstáculo para o alcance de melhores níveis de disclosure contábil