bluuebunny/crossref_metadata_2025 huggingface dataset:
Be positive! The Neurosciences and Desirable Positive Behaviors
Authors: de Almeida Cristina Vaz de Almeida
Published: January 2023

It takes two to tango. A "dance" condition, the therapeutic relationship can also swing better or worse depending on its rich message content. In the therapeutic relationship, the intervention of one of its components, professional or patient, has effects on each other's sphere. Charles et al. (1997) reported the effects of shared decision-making in the medical encounter. We know that emotions have been considered predictors of health behaviors.The aim of this study is to make a narrative review of the literature, looking for credible international sources such as WHO, OECD, UNESCO, and others of a national nature, carried by Portuguese health authorities to be able to show: 1) the importance of positivity in behavior changes and how humor can work for a brain with an increase well-being; 2) the importance of eudaimonic and hedonic experiences in human development; 3) an association between neurosciences and the importance of positive behaviors to live a more pleasant, fulfilled and well-being life with self-efficacy; 4) the importance of well-being for the person, even when he/she is ill. Keywords: Neuroscience, Health Literacy, Positivity, Communication, Health, Well-being.
Quantum Yoga: Achieving Wholeness in Psychotherapy
Authors:   University of Technology, Jaipur, Rajasthan, India, Valentina Onisor , Goswami Amit ,   University of Technology, Jaipur , Rajasthan, India
Published: January 2023

In this paper, we discuss the mental level of the human being, and bring in meditation practices that can lead to expanded states of homeostatic living, and further levels of health and happiness. Keywords: Yoga, Health, Meditation, Concentration, Consciousness, Integrative Medicine, Preventive Medicine.
Factors Associated with Suicide Attempts among Adolescents: A Review of the National Literature
Authors:   Federal University of Espírito Santo, Espírito Santo, Brazil, Mauro Nycollas , de Andrade Laerson ,   Federal University of Espírito Santo, Espírito Santo, Brazil, Siqueira Marluce ,   Federal University of Espírito Santo, Espírito Santo, Brazil, Santos Marcos ,   Federal University of Espírito Santo, Espírito Santo, Brazil
Published: January 2023

Introduction: Suicide among adolescents in Brazil has drawn attention due to the prevalence of the behavior among very young individuals. However, it is still little addressed in society, being little discussed in the school and family environment, which hinders screening strategies for suicide risk and its prevention. Objective: The main objective of this review is to analyze the scientific production on suicide attempts and deaths by suicide among adolescents in Brazil between the years 2011 and 2020. Results and Discussion: It was possible to identify a greater production of cross-sectional articles, in journals of collective/public health and psychiatry or/ and psychology. Of the factors most associated with suicide and suicide attempts, we obtained the use of drugs, presence of other mental disorders, alcohol use, low economic status, dysfunctional relationship with parents, sexual and physical violence. Conclusions: For the interventions, it is clear that there is a need for detection strategies, welcoming and prevention of suicide, programs and financial resources to reduce its indicators, health actions to combat suicide and future studies on the subject. Keywords: Suicide, Suicide Attempt, Adolescents, Brazil.
Advances on polysaccharides from cactus: analysis and review based on bibliometrics
Authors: Zheng Yuhong , Zhang Pengcong , FU LI
Published: January 2023

Plant polysaccharides are rich in physiological activities, which are beneficial for developing new drugs, nutraceuticals and functional foods. Cactus is of interest to researchers in agronomy, medicine and food chemistry because of its long history of medicinal use, its simple growing requirements and biological basis for becoming a green vegetable. This review provides the first summary and analysis of the research history of cactus polysaccharides through a bibliometric approach. Bibliometrics was used to investigate the focus of different stages of development of the topic, with contributions from different countries and institutions. In addition, keyword analysis and keyword clustering were used to understand the different research directions of this topic. The analysis showed that (1) the study of cactus plant polysaccharides is a long-established topic but did not attract much attention in its early stages. (2) In 2018, research on cactus polysaccharides has received more attention than ever before. (3) Mexican institutions and scholars have contributed the most important contributions to this topic. (4) This theme has only formed one complex network of cooperation, mainly composed of Mexican institutions and scholars. (5) Early studies on cactus polysaccharides focused on the detection, extraction and purification of polysaccharide content. (6) The biological activities of plant polysaccharides have gradually become the focus of research in recent years. (7) The biological activity of plant polysaccharides has been verified from in vitro experiments and in vivo experiments with positive results.
Following Warren K. Moorehead’s Paper Trail
Authors: Kirakosian Katie , Gates Irene
Published: January 2023

As more archives of archaeological interest are being digitized and made accessible online, innovative possibilities for research are expanding, as are ethical concerns.  Using Warren K. Moorehead’s records at the Robert S. Peabody Institute of Archaeology as a case study, this paper explores ethical questions around access to archaeological archives associated with collections subject to NAGPRA--questions that have been amplified by the increase in digitization and online publication of records. The authors’ approach to this collection have been shaped by two critical shifts in the archaeological and archival communities— the passage of NAGPRA in 1990 and the creation of the Protocols for Native American Archival Materials from 2006 to 2007. This paper considers questions that impact archivists, archaeologists, as well as Native American communities: how can the critical relationship between archaeological collections subject to NAGPRA and associated archival records be made more manifest? Why is it important for practicing archaeologists to understand the Protocols when engaging with archival records? What role can archaeologists play in helping museums implement the Protocols? Can digitization help with these issues?
Hacking the Collections
Authors: Galvin Elizabeth , Wexler Jennifer
Published: January 2023

Digital technology is fundamentally changing the way that the public interacts with museum objects. This can be seen in the African Rock Art Image Project at the British Museum. From 2013-2018, the project registered c. 25,000 born-digital objects from throughout Africa. The central remit of the project was to ensure global open access to this important rock art collection by developing new and innovative ways of audience engagement with the archive. As a wholly digital collection, this provided several opportunities and challenges to engage with scholars, the general public, and local and source communities online. To move beyond a standard online catalogue, the project experimented with 3D models, online exhibitions, virtual reality, and 3D prints. Additionally, as further digital outputs were created, a key goal was to make the collection and information available to the widest possible audience. This meant balancing the digital outputs with possible bandwidth constraints experienced by local and source communities in various parts of Africa. This paper will discuss how museums can experiment with digital collections, but also need to consider the accessibility of these digital collections, in connection to possible constraints, as well as the importance of making research engaging to general audiences.
Digital Public Archaeology as Craft
Authors: Cook Katherine
Published: January 2023

This chapter explores the intersection of digital and public archaeology to consider the practical and theoretical contributions of collaborative making. In response to urgent calls to reform archaeology, driven by decolonizing and inclusive practices, the bringing together of archaeologists, descendant communities, stakeholder communities, and broader “publics” recognizes diverse knowledge, skills and experiences. However, the sharing and interweaving of these perspectives remains a challenge. Using case studies developing hybrid interventions in museum exhibits, this chapter underlines the value of participatory making to fundamentally transform heritage structures today, while also drawing attention to the ongoing challenges and limitations of these approaches.
(Co)Creating a Sustainable Platform for Finland’s Archaeological Chance Finds
Authors: Thomas Suzie , Wessman Anna , Ikkala Esko , Tuominen Jouni , Koho Mikko , Hyvönen Eero
Published: January 2023

As is the case with several north and west European countries, Finland’s legislation allows for the hobbyist discovery of archaeological material, most commonly through metal detecting. Following in the footsteps of such countries as England and Wales with the Portable Antiquities Scheme (PAS), the Netherlands with Portable Antiquities of the Netherlands (PAN), MEDEA in Belgium, and DIME in Denmark, Finland is also developing a linked open data finds database to record and disseminate the archaeological information that comes from these non-professional activities. This approach is based upon philosophies of citizen science and participatory research, and considers the democratization of archaeology as a central goal. The interdisciplinary and multi-organizational research team charged with building FindSampo face several challenges in their effort to develop the database in an effective way. In this chapter we document the process of developing FindSampo, paying particular attention to public and community engagement challenges, working with digital data, and professional ethics.
Rebuilding Natchez
Authors: Peles Ashley
Published: January 2023

This chapter reflects on the process of creating a digital archaeology reconstruction of Fort Rosalie, a French colonial fort located in Natchez, Mississippi, and burned to the ground in 1729. The primary purpose of the chapter is to provide an intellectual documentation of the project that can be applied more broadly to researchers considering their own digital heritage reconstructions, particularly 3D reconstructions. In particular it provides a loose framework for an interpretive archaeology that must creatively rebuild past landscapes for which direct evidence is rather ephemeral. However, it also includes a critical consideration of the benefits of pursuing similar digital projects, even when the end result is very different from the initial outlook.
Stephen and Telemachus
Authors: Nelson Stephanie
Published: January 2023

While Odysseus and Bloom are alienated from their past selves, Telemachus and Stephen Dedalus appear trapped by the past and unable to move on. Both are caught between mothers who hold them back and fathers they cannot aspire to match, further complicated for Stephen by the role that Joyce sets for him, as the future author of Ulysses. In both cases the past that entraps the characters is represented in the material world of objects by which they are surrounded, a world that Telemachus clings to, but which, as it becomes literary debt, Stephen attempts to escape. Telemachus’ relation to his father is ambivalent, and finally separate from his relation to Penelope, while Stephen, adopting the model of Hamlet rather than that of the Odyssey, attempts, in vain, to take the role of father for himself.
Odysseus and Bloom
Authors: Nelson Stephanie
Published: January 2023

Humans try to fix identity through names and stories, but with both there is a danger: on the one hand of freezing identity and on the other of becoming purely constructed and relative. The play with names that characterizes Odysseus and Bloom reveals their essential relation to others, as does their sensitivity to stories, but also threatens their sense of identity as Odysseus continually re-creates himself and Bloom allows himself to become absorbed in the viewpoint of others. For both, however, recasting their own stories also allows them to reconnect with their identities. For Odysseus this occurs in retelling his Wanderings to the Phaeacians, and for Bloom in a rewriting of the stories of Parnell, Don Giovanni, and Rip van Winkle, the last of which modifies his absorption in linear time with a cyclical view implied by the basic human fact of sleep.
The Gods and Narrative Styles
Authors: Nelson Stephanie
Published: January 2023

On a “meta” level, the questions of time and identity central to these works are dealt with through Joyce’s radically different narrative styles and Homer’s gods. Alongside the Odyssey’s pairing of Athena and Poseidon as fixity and flux, gods and styles are simultaneously multiple, pointing to a “polyrealism” that underlies both works, and also a unity, one that allows for a coming together of characters apparently divided by their subjective realities. As this happens on the level of the “Arranger” in Joyce, it occurs in Homer as the gods operate both inside and outside the story and inside and outside its human actors. In both works it also occurs in a play with the ideas of fate and coincidence. The “fusing” of Stephen and Bloom described by Joyce in his Linati schema also occurs on the level of epic language, as in the reverse similes that bring Odysseus and Penelope together on a level unknown to themselves.
Agrometeorological water balance in the west of São Paulo State
Authors: Barbosa Alexandrius de Moraes
Published: January 2023

The agriculture economic viability is a result of a correct planning and knowledge of the crop production environment. The level of meteorological information in the region can be improved through the water balance, making the agricultural planning more accurate. The objective of this study was to characterize the West of the São Paulo State through the agrometeorological water balance. Historical daily data from 1992 to 2021, from the meteorological station of the University of West Paulista in Presidente Prudente, São Paulo, were used in the study. The sequential water balance (deficit and excess of water in the soil) was evaluated during the agricultural season (from October to March) and off-season (from April to September). The annual water deficit was -303.2 mm, being -125.2 mm in the agricultural season and -178.0 mm in the off-season. The frequent occurrence of deficit in the region, in the beginning of spring and mainly during the autumn-winter, makes it necessary to adopt special management practices and to use irrigation in order to reach high agricultural productivity in West Paulista.
DoseApp: Aplicativo para gestão de medicamentos e auxílio nas rotinas dos cuidadores de idosos
Authors: Rostirolla Gabriela Terezinha , Souza Odair Moreira de
Published: January 2023

Devido ao aumento da expectativa de vida, muitos idosos precisam do auxílio de outras pessoas para a realização de suas tarefas diárias, esse auxílio geralmente é dado por familiares ou profissionais, o cuidador de idoso. Nos casos em que ocorre o revezamento do cuidado, tanto pelos familiares ou cuidadores formais, pode acontecer perda de informação a respeito da rotina do idoso e da gestão dos horários e dosagens dos medicamentos, impactando no resultado do tratamento. Nesse contexto, o objetivo principal deste trabalho é auxiliar os cuidadores de idosos e familiares no gerenciamento dos medicamentos e da rotina diária dos idosos por meio de um aplicativo. A metodologia ágil e o Kanban estão sendo utilizados para gerenciar as etapas de desenvolvimento. Na fase de análise foram elaborados os seguintes diagramas: Casos de uso, classes, DER do banco de dados e o protótipo. O aplicativo está sendo desenvolvido na linguagem de programação Java, utilizando os componentes de interface gráfica XML e os dados são mantidos no banco de dados Firebase. Espera-se que com esse trabalho os cuidadores de idosos mantenham maior controle das medicações e da rotina dos idosos.
Desenvolvimento de Jogos e Autismo: Um Estudo de Técnicas Aplicáveis ao Desenvolvimento de Jogos Educativos
Authors: Leite Lucas de Oliveira , Cardoso Luciano Santos , Bussador Alessandra , Peixoto Aline Josiane Acordi Mertz
Published: January 2023

Com o avanço da tecnologia, surgiram os videogames, além do surgimento de tecnologias que auxiliam pessoas diagnosticadas com uma deficiência ou um transtorno. Atualmente, existem os jogos sérios ou educativos, que visam o desenvolvimento do aprendizado de crianças, mais especificamente, crianças diagnosticadas com o Transtorno do Espectro Autista (TEA), denominação técnica para autismo. É importante ter em mente que o autismo se trata de um transtorno, conforme sua denominação técnica. A descoberta das técnicas para o desenvolvimento de jogos direcionados a crianças diagnosticadas com TEA pode ser possibilitada através de uma análise comparativa, além da prototipagem de telas.
Visualização de informações de biodiversidade para educação ambiental
Authors: Fogaça Larissa , Coleti Thiago Adriano , Kudo Willian Kenzo de Sousa , Araújo Carla Gomes de , Hoffmann Ana Cecília
Published: January 2023

Este artigo apresenta a proposta de visualização de informações para um aplicativo de educação ambiental com foco em pessoas leigas em biologia, gestão ambiental e gestão de dados de fauna e flora regionais. As informações apresentadas foram obtidas por meio de levantamento de dados realizados por pesquisadores da área de biologia na região estudada e visa catalogar e preservar fauna e flora regional. No que tange a visualização de informação, foram conduzidas atividades de projeto de experiência de usuário a fim de compreender como poderia melhorar o engajamento da população em ações de preservação. Foram produzidos protótipos de busca e visualização de informações. Os protótipos foram avaliados e considerados apropriados pelos participantes e deverão ser implementados em uma plataforma web-responsiva.
Técnicas de Acessibilidade na Web: Uma Revisão Bibliográfica sobre Design Front-End Acessível para Pessoas com Limitações Visuais
Authors: Santos Guilherme Massi dos , Cardoso Luciano , Bussador Alessandra
Published: January 2023

Este trabalho visa apresentar técnicas e diretrizes de acessibilidade na web usadas durante o desenvolvimento front-end para que pessoas com limitações visuais tenham acesso ao conteúdo de websites. Nesse sentido, o artigo aborda, por meio de uma revisão bibliográfica, três diretrizes de acessibilidade que podem ser incorporadas no processo de desenvolvimento web, além de apresentar alguns tipos de ferramentas de acessibilidade e testes de verificação de sites.
Persistência de dados de Redes Veiculares Ad Hoc em Blockchain
Authors: Francisco Junior André Luis , Fiorese Adriano
Published: January 2023

A credibilidade e confiança das informações é alvo de constante ameaça. Para o caso de informações relativas à dinâmica de trânsito envolvendo diferentes veículos e condutores, em diferentes vias, isso não é exceção. É o caso para informações geradas relacionadas aos veículos, eventos de trânsito e outros dados nas redes veiculares ad hoc (VANETs - Vehicular Ad-Hoc Networks). Uma das formas de disponibilizar esta confiabilidade é garantindo que a persistência desses dados seja segura o suficiente para impedir alterações. Este trabalho tem como objetivo apresentar uma solução para o armazenamento seguro dessas informações utilizando uma blockchain, pois estas apresentam como uma de suas principais características a capacidade de garantir a imutabilidade dos dados armazenados. Também será apresentado um índice que representa como o motorista se comporta na rede VANET, que utilizará os dados armazenados na blockchain para ser calculado.
IoT: rede LoRa para envio de imagens
Authors: Almeida Victor Emanuel , Pedroso Marco Aurélio Guerra , Hachisuca Antonio Marcos Massao
Published: January 2023

Redes utilizando comunicação LoRa possibilitaram que dispositivos troquem mensagens a longas distâncias e gastando pouca energia. Tendo em vista as limitações de transferência de dados dessas redes este trabalho implementa uma rede para envio de imagens utilizando algoritmos e técnicas já consolidadas de redes de computadores para enviar as imagens em diversas partes e garantir sua integridade. Para implementação dessa rede foram utilizados dispositivos como esp32 e esp32-cam que executam o algoritmo de stop and wait. Uma vez implementada a rede podese observar a partir de testes que o tempo médio de envio de uma mensagem LoRa é de 2 segundos, sendo assim pode-se enviar uma imagem de 6810 bytes em 1 minuto, sendo possível alterar a resolução da imagem variando de forma linear o tempo de envio.
LPBOT: Um assistente virtual de apoio ao ensino de programação
Authors: Rossi Juliano Cesar Marins , Koike Camila Yumi
Published: January 2023

Umas das principais dificuldades enfrentadas por estudantes ingressantes em cursos de computação/informática é a compreensão da lógica de programação, sendo essa uma base para que o estudante avance em todas as disciplinas relacionadas a programação. Dessa forma, o objetivo deste resumo é mostrar os resultados preliminares obtidos no desenvolvimento de um chatbot para a plataforma WhatsApp com tecnologia aberta Rasa, cuja finalidade é promover um suporte e auxílio para os estudantes dos cursos de TI. Utilizou-se uma metodologia de natureza qualitativa, bibliográfica e aplicada. Os resultados parciais obtidos através do levantamento de requisitos e da prototipagem, demonstram que é plenamente possível o desenvolvimento de um chatbot educacional, trazendo assim um auxílio aos estudantes das disciplinas de TI.
Reconhecimento de Alfaces em Sistema Hidropônico Utilizando Técnicas de Processamento Digital de Imagens
Authors: Andrade Jakeline da Silva , Cordeiro Alexsandro Ferreira , Aikes Junior Jorge , Paula Filho Pedro Luiz de
Published: January 2023

A utilização da automação para auxiliar o produtor no monitoramento de seu plantio está se tornando cada vez mais frequente, pois o aumento na população levou os agricultores a investir em tecnologias para evitar desperdícios agrícolas. Este artigo apresenta a primeira etapa da construção de uma ferramenta que auxiliará o produtor de hortaliças em sistema hidropônico no monitoramento do desenvolvimento de sua produção. Neste trabalho foi utilizado processamento digital de imagens por meio de ferramentas livres para a detecção de hortaliças. Como resultado obteve-se uma porcentagem alta na detecção de alfaces presentes nas imagens. Esta detecção auxiliara no descobrimento precoce do retardo no crescimento de uma planta que contribuirá para que o produtor realize um tomada de decisão que poderá evitar a perda de uma ou várias plantas.
FLOSS and digital inclusion in Brazil: a literature review
Authors: Lisboa Flávio Gomes da Silva
Published: January 2023

This article is the first part of a broad research on digital inclusion policies in Brazil. In particular, this research aims to find out how free and open source software (FLOSS) has been used in digital inclusion actions. To support this work, we conducted a literature review, with no starting date limit, searching for scientific production that relates digital inclusion with the concepts of free software or open source software. We found 66 works, published between 2003 and 2022, which include journal articles, conference papers, bachelor, specialist and master dissertations, doctoral theses and books. These papers were produced by authors from 37 different research institutions, within 28 programs or courses. It was possible to highlight some categories in this preliminary analysis, such as accessibility, policies, and “telecentros” (community technological centers), but a deeper analysis is needed to better understand the contributions of this scientific production.
Desenvolvimento de Aplicativo para Cadastro e Divulgação de Veículos Suspeitos
Authors: Queiróz Gustavo Gonçalves , Hachisuca Antonio Marcos Massao
Published: January 2023

O projeto “Muralha Inteligente” é uma parceria entre a Itaipu Binacional, Fundação Parque Tecnológico Itaipu - Brasil e Receita Federal, que tem o objetivo de desenvolver e implementar soluções tecnológicas inteligentes visando o aumento da segurança em regiões de fronteira no Brasil. Está sendo desenvolvido um aplicativo para telefones celulares Android/IOS, cuja finalidade é associar dados de veículos suspeitos para alertar agentes em campo, nas proximidades do veículo, por meio de notificações em seus dispositivos celulares, com opção de visualizar as informações do veículo com um mapa, abrir o aplicativo de rotas direto para a localização indicada, como também registrar um novo veículo suspeito. O aplicativo foi desenvolvido utilizando a tecnologia Flutter, e foi utilizado a tecnologia Firebase Cloud Messaging para envio das notificações. Foram utilizadas várias bibliotecas da linguagem Flutter para determinar a localização do dispositivo, mostrar um mapa da localização do veículo suspeito e gerenciar as notificações recebidas.
Geração Automática de APIs REST a Partir de um Modelo Aberto de Descrição de Serviços
Authors: Batista Bruno Cesar , Della Mura Wellington Aparecido
Published: January 2023

Em virtude da necessidade de interoperabilidade entre um ecossistema de tecnologias, o uso de Interface de Programação de Aplicações (API) se tornou muito estimado entre os desenvolvedores. Estas interfaces, na grande maioria, utilizam de funcionalidades comuns no desenvolvimento que ocupam tempo dos desenvolvedores com retrabalho. Este trabalho implementa uma ferramenta, capaz de gerar código baseado nos princípios da arquitetura limpa. A partir de uma documentação interativa, que faz referência aos atributos e recursos necessários para o problema em questão, um interpretador pode gerar código com uma grande parte da base do sistema implementada (declaração de atributos e funcionalidades comuns). O código tem como objetivo otimizar o tempo de desenvolvimento auxiliando as equipes desenvolvimento, além de fornecer um código baseado em arquitetura limpa que permite uma enorme robustez e facilidade de manutenção. O código gerado é implementado em conformidade com os critérios imposto pelo padrão REST.
Cluster de alta disponibilidade com balanceamento de carga em máquinas virtuais: gerenciando banco de dados MariaDB com galera cluster
Authors: Vieira Samuel Antonio
Published: January 2023

A clusterização é um assunto comum dentro dos data centers. A informação é um dos bens mais valiosos nos dias atuais e os dados são a matéria prima para tal. Desta forma o acesso a informação precisa estar sempre disponível e em segurança. A segurança é primordial, desde o seu nível de acesso, até a sua disponibilidade e é na disponibilidade que este artigo fala. Os data centers trabalham com sistemas de redundância e balanceamento de carga e empregam isso para oferecer um serviço melhor na nuvem, sistemas On-Premises também podem oferecer serviços específicos da mesma forma. Esses sistemas contam com serviços que variam entre alta disponibilidade, balanceamento de carga e alto desempenho, em um aglomerado de hosts chamado cluster. O MariaDB é um banco de dados de código aberto que oferece uma clusterização através do Galera Cluster, será mostrado de forma prática a sua instalação e configuração de um cluster de alta disponibilidade com balanceamento de carga em máquinas virtuais em um hardware Desktop. Este artigo nasceu como um braço da pesquisa que o autor desenvolve na instituição de Ensino Superior, a Faculdade de Tecnologia de Tatuí-SP - Prof. Wilson R. R. de Camargo cujo título é “Utilização de software livre para clusterização e virtualização de servidores”.
Um Framework de Geração de Dados de Teste para Critérios Estruturais Baseados em Código Objeto Java
Authors: Araki Lucilia Yoshie , Vergilio Silvia Regina
Published: January 2023

O teste evolutivo de software orientado a objeto é uma área de pesquisa emergente. Algumas abordagens promissoras sobre o assunto são encontradas na literatura, entretanto, estas não consideram critérios propostos recentemente que utilizam o código objeto Java para obter os requisitos de teste. Além disso, os trabalhos geralmente não estão integrados a uma ferramenta de teste. Neste artigo, um framework, chamado TDSGen/OO para geração de dados de teste é descrito. TDSGen/OO utiliza Algoritmos Genéticos e trabalha de maneira integrada com a ferramenta JaBUTi, que implementa diferentes critérios de teste baseados no bytecode e em mecanismos de tratamento de exceções, permitindo o teste de componentes mesmo que o código fonte não esteja disponível. Alguns resultados preliminares são também apresentados que mostram benefícios no uso do framework.
Redução do Número de Seqüências no Teste de Conformidade de Protocolos
Authors: Cutigi Jorge Francisco , Ribeiro Paulo Henrique , Simão Adenilso da Silva , Souza Simone do Rocio Senger de
Published: January 2023

A especificação formal é uma etapa crucial no ciclo de desenvolvimento de protocolos, uma vez que ela pode ser usada como base para a implementação e para o teste de conformidade. Dentre os modelos formais de especificação de protocolos, as Máquinas de Estados Finitos têm sido muito utilizadas. Esse modelo permite a derivação de seqüências de teste para o protocolo especificado. Vários métodos de geração de seqüências de teste têm sido desenvolvidos há várias décadas, com o objetivo de obter um conjunto de teste que seja capaz de revelar os defeitos de uma implementação. Entretanto, muitas vezes os conjuntos gerados são muito grandes e possuem um grande número de seqüências. Neste artigo é apresentada uma abordagem de redução de seqüências de teste. Busca-se como objetivo principal a redução do número de seqüências do conjunto de teste, uma vez que o grande número de seqüências pode tornar o teste inviável. São apresentados os resultados de dois estudos experimentais, os quais mostram ganhos consideráveis na redução de seqüências nos conjuntos de teste, mantendo a efetividade em revelar defeitos.
Detecção e Correção de Falhas Transitórias Através da Descrição de Programas Usando Matrizes
Authors: Ferreira Ronaldo R. , Moreira Álvaro F. , Carro Luigi
Published: January 2023

Os avanços na fabricação de transistores têm permitido reduzir o tamanho da tecnologia, sustentando a Lei de Moore. Neste cenário, os sistemas embarcados serão projetados com margem reduzida para a implantação de técnicas de tolerância a falhas devido ao aumento no consumo de potência que essas técnicas requerem. Neste artigo, defendemos a detecção e correção (D&C) de falhas em nível de sistema através da codificação de quaisquer programas e algoritmos com matrizes. Essa codificação possibilita empregarmos técnicas estabelecidas de D&C de erros em matrizes, incorrendo em acréscimo inexpressivo de potência e energia. Avaliamos a nossa proposta através de dois estudos de caso relevantes para o domínio de sistemas embarcados, para os quais observamos em alguns casos decréscimo de somente 5% em desempenho e de aumento 8% em tamanho de programa.
Ampliando a Disponibilidade e Confiabilidade em Ambientes de Serviços Web Stateful
Authors: Santos Igor Nogueira , Claro Daniela Barreiro , Luz Marcelo
Published: January 2023

Os serviços web estão sendo cada vez mais utilizados em aplicações que demandam alta disponibilidade e confiabilidade. Diversas especificações têm sido criadas com o intuito de padronizar a utilização de mecanismos confiáveis para serviços web. Serviços web têm sido replicados, ampliando, consequentemente, a sua disponibilidade. Considerando que os serviços web são autônomos e heterogêneos além de manter o estado (stateful web service), a replicação de serviços web é uma tarefa árdua e complexa, visto que diferentes empresas podem publicar seus serviços em maneiras distintas. O presente trabalho propõe avaliar trabalhos relacionados e introduzir um mecanismo de replicação passiva e híbrida com a manutenção de estados. Este mecanismo foi avaliado em uma rede local com o intuito de analisar o overhead causado, além de ter sido desenvolvido para o ambiente Axis2, visto ser atualmente o ambiente mais utilizado para o desenvolvimento de serviços web. Os resultados apresentaram um desempenho satisfatório em relação à garantia de replicação de serviços web stateful.
Multi-Priority Alternative Journey and Routing Protocol: um Algoritmo para Roteamento em Redes Tolerantes a Atrasos e Desconexões Previsíveis
Authors: Argolo Gabriel , Drummond Lúcia M. A. , Dolejsi Anna , Subramanian Anand
Published: January 2023

Este trabalho propõe o algoritmo distribuído Multi-Priority Alternative Journey and Routing Protocol (MP-AJRP) para roteamento em Redes Tolerantes a Atrasos e Desconexões, considerando as restrições de largura de banda dos enlaces e de capacidade dos buffers dos nós. O MP-AJRP é uma versão aprimorada do algoritmo AJRP e tem como objetivo entregar o maior número de mensagens aos destinos considerando rotas alternativas e múltiplas prioridades para escalonamento de mensagens. Com o intuito de avaliar o algoritmo, foram realizados experimentos utilizando os traces com o histórico de contatos dos nós da rede DieselNet. Os resultados mostraram que o MP-AJRP entregou em torno de 76% das mensagens e obteve desempenho superior a determinados algoritmos que consideram a replicação de mensagens.
J-Attack - Injetor de Ataques para Avaliação de Segurança de Aplicações Web
Authors: Fernandes Plinio C. S. , Basso Tânia , Moraes Regina
Published: January 2023

A busca por sistemas seguros é uma necessidade no cenário de software atual. A segurança de sistemas computacionais exige conhecimentos específicos em diversas áreas de conhecimento e inclui o estudo de falhas maliciosas, para que, conhecendo-as, seja possível prover aos sistemas computacionais capacidade de detectá-las e evitá-las sem comprometer a segurança exigida pelos usuários. Este artigo apresenta o projeto e o processo de desenvolvimento de uma ferramenta capaz de injetar ataques em aplicações Web para utilização em avaliações de segurança de aplicações.
Reviewing Dependability Issues and Suitable Solutions for Emerging Wireless Sensor Networks Applications
Authors: Rolim Carlos Oberdan , Freitas Edison Pignaton de , Heimfarth Tales , Pereira Carlos Eduardo , Geyer Cláudio F. R. , Ferreira Armando Morado , Wagner Flávio Rech , Larsson Tony
Published: January 2023

Some Wireless Sensor Networks applications can be considered safe critical due to the important impact caused in occurrence of their malfunctioning. Motivated by this issue, a research area in dependability applied to WSN is gaining strength. As highly distributed systems, WSN present a number of issues that have to be handled in order to achieve a dependable behavior. These issues are stressed considering the current sophisticated WSN, composed by static and/or mobile nodes. This paper proposes a review of the main problems and trends in the area of dependability for WSN, aiming to find suitable solutions to the problems faced by emerging WSN composed of static and mobile sensor nodes. Such applicability is analyzed for an application scenario of area surveillance.
Aspectos Práticos sobre o Consenso Bizantino entre Participantes Desconhecidos
Authors: Alchieri Eduardo Adilio Pelinson , Tomelin Luiz Renato , Bessani Alysson Neves , Fraga Joni da Silva
Published: January 2023

Protocolos de acordo formam a base para a solução da maioria dos problemas que envolvem sistemas distribuídos e confiáveis. Apesar de o consenso ter sido amplamente estudado em ambientes clássicos, onde o conjunto de participantes é conhecido, poucos trabalhos consideram este problema em ambientes dinâmicos e auto-organizáveis, onde os participantes da computação são, a priori, desconhecidos. Recentemente foi proposta uma solução para o problema do consenso Bizantino entre participantes desconhecidos, chamada BFT-CUP (Byzantine Consensus with Unknown Participants), a qual busca definir o grau de conhecimento, sobre a composição do sistema, necessário e suficiente para que este problema admita solução. Este trabalho complementa os resultados teóricos obtidos até então e busca analisar aspectos práticos da realização do BFT-CUP. Primeiramente, este problema é analisado em redes MANETs (Mobile Ad Hoc Networks) através de simulações de vários cenários realistas, onde é possível verificar quais são os parâmetros e configurações necessários para que os participantes do sistema consigam resolver o BFT-CUP com uma alta probabilidade. Além disso, também é apresentado um estudo acerca da utilização do BFT-CUP em redes VANETs (Veicular Ad Hoc Networks), através de uma analise sobre a conectividade veicular da cidade de Porto - Portugal.
Aplicando Cadeias de Markov para injeção de perdas de pacotes no sistema Android
Authors: Gindri Alexandre Felin , Weber Taisy Silva , Cechin Sérgio Luis
Published: January 2023

Descreve-se o desenvolvimento de um injetor de falhas de comunicação para dispositivos móveis que permite a emulação de perdas de pacotes seguindo modelos de falhas adequados a redes sem fio. O injetor Mob-FI permite o teste sob falhas de aplicações alvo Java desenvolvidas para smartphones e tablets e que sejam baseadas em comunicação UDP. O injetor foi construído modificando a Dalvik Virtual Machine do sistema Android e emula falhas de acordo com os modelos de perda de pacotes em rajada representados como Cadeias de Markov de até quatro estados.
Um Verificador de Modelos Descritos em Redes de Autômatos Estocásticos
Authors: Correa Claiton M. , Dotti Fernando L. , Fernandes Paulo , Maruani Eli , Oleksinski Lucas G. , Sales Afonso
Published: January 2023

Durante a construção de sistemas modernos, tanto a satisfação de propriedades funcionais quanto a habilidade de afirmar níveis de desempenho e disponibilidade destes sistemas são necessárias. Neste sentido, vários formalismos de modelagem contam com abstrações e ferramentas para apoiar tanto a verificação da funcionalidade como realizar análises quantitativas. Redes de Autômatos Estocásticos são um formalismo voltado para a avaliação de desempenho, o qual é atrativo tanto devido a seu conjunto de abstrações como pelo potencial tratamento de amplo espaço de estados. Este artigo descreve a primeira versão de um verificador de modelos descritos em Redes de Autômatos Estocásticos. Este verificador faz uso de técnicas de verificação simbólica e verifica propriedades escritas na lógica temporal Computation Tree Logic. Relato do seu uso em estudos de casos clássicos são feitos.
Proposta para Atualização de SGBDs para Aplicações com Demanda de Contínua Disponibilidade usando Suporte do Modelo de Componentes de Software
Authors: Gaperi Cleandro Flores De , Pasin Marcia
Published: January 2023

Sistema de gerenciamento de banco de dados (SGBD) é parte fundamental do software corporativo e sua atualização dinâmica não é simples devido à sua complexidade. Frequentemente, atualização de SGBD é manualmente executada e está associada à indisponibilidade de serviço e uso de hardware adicional. Este artigo propõe o uso de modelo de componentes de software como alternativa para a aplicação de atualização dinâmica de software (ADS) em um SGBD. O modelo de componentes apresenta um nível de abstração que favorece a troca de componentes pois oculta detalhes de implementação. ADS apresenta como benefícios a ausência da necessidade de hardware adicional e da indisponibilização do serviço. Para validação da proposta foi desenvolvido um protótipo utilizando o modelo de componentes Fractal. Testes em ambiente controlado confirmam a viabilidade da solução mas indicam que o próprio modelo de componentes ainda é um gargalo.
Algoritmo de Consenso Genérico em Memória Compartilhada
Authors: Khouri Cátia , Greve Fabíola
Published: January 2023

O consenso é um problema fundamental para o desenvolvimento de sistemas distribuídos confiáveis. Porém, em ambientes assíncronos sujeitos a falhas, é preciso estender o sistema com algum mecanismo que forneça o sincronismo mínimo necessário para contornar a impossibilidade do consenso. Neste artigo, apresentamos um algoritmo de consenso genérico para um sistema assíncrono com memória compartilhada que pode ser instanciado com um detector de falhas ◊S ou Ω. O algoritmo é ótimo quanto ao número de registradores que utiliza e tolera (n − 1) falhas. Essa solução para memória compartilhada favorece o uso do consenso em aplicações modernas desenvolvidas, por exemplo, sobre arquiteturas multicore e Storage Area Networks (SAN).
Escalonamento Tolerante a Falhas para Clusters Multicores
Authors: Silva Brevik Ferreira da , Santos Wellison Moura dos , Sardiña Idalmis Milián , Teixeira Livia de Mesquita , Albuquerque Felipe de
Published: January 2023

Um dos principais desafios da computação de alto desempenho é executar aplicações paralelas de grande porte com maior desempenho e livre de falhas. Entretanto, para obter melhores resultados é primordial o aproveitamento eficiente dos recursos disponíveis, explorando por exemplo o uso das diferentes memórias compartilhadas e distribuídas em novas arquiteturas multicores. Este trabalho propõe uma abordagem híbrida para o escalonamento tolerante a falhas sobre clusters baseados em processadores multicores. Um estudo de caso é proposto para uma aplicação paralela modelada por um Grafo Acíclico Direcionado (GAD) usando programação paralela híbrida OpenMP e MPI. O estudo proposto deve analisar as vantagens que este modelo pode trazer para estas arquiteturas, comparado com a abordagem anterior.
Uma Estratégia de Testes Logarítmica para o Algoritmo Hi-ADSD
Authors: Ruoso Vinicius K. , Bona Luis Carlos E. , Duarte Jr. Elias P.
Published: January 2023

O algoritmo Hierarchical Adaptive Distributed System-level Diagnosis (Hi-ADSD) é um algoritmo de diagnóstico distribuído que cria uma topologia virtual baseada em um hipercubo. O hipercubo é uma estrutura escalável por definição, apresentando características topológicas importantes como: simetria, diâmetro logarítmico e boas propriedades para tolerância a falhas. A latência do algoritmo quando executado em um sistema com N nodos é de no máximo log2^2 N rodadas de teste. Entretanto, o número de testes executados no pior caso é quadrático. Este trabalho apresenta uma nova estratégia de testes para o algoritmo Hi-ADSD que garante que são executados no máximo N log2 N testes a cada log2 N rodadas. A latência máxima é mantida em log2^2 N rodadas de teste. O algoritmo é adaptado para a nova estratégia de testes. Além disso, foi adotado o uso de timestamps para permitir que cada nodo obtenha informações de diagnóstico a partir de diversos outros nodos, consequentemente reduzindo a latência média. O novo algoritmo é especificado, suas provas formais são demonstradas e resultados experimentais obtidos por simulações são apresentados e comparados com o Hi-ADSD.
Potência do Sinal de Recepção como Suporte à Detecção de Mobilidade em Detectores de Defeitos
Authors: Baggio Miguel A. , Nunes Raul Ceretta , Pasin Marcia , Vit Antonio Rodrigo D. de
Published: January 2023

Detector de defeitos é um componente essencial na construção de sistemas distribuídos confiáveis e seu projeto depende fortemente do modelo de sistema distribuído, o que tem demandado soluções para tratar a movimentação de nós em redes móveis ad hoc (MANETs). Este trabalho apresenta um detector de defeitos assíncrono não-confiável baseado em fofoca que diferencia nós defeituosos e móveis através da manutenção de informações sobre a potência do sinal de recepção nos nós do sistema mapeadas em um pequeno histórico de regiões. As avaliações demonstram melhoras na qualidade de serviço do detector quando comparadas com o algoritmo de fofoca tradicional.
Uma Análise da Sobrecarga Imposta pelo Mecanismo de Replicação de Máquinas Virtuais Remus
Authors: Silva Marcelo Pereira da , Koslovski Guilherme , Obelheiro Rafael R.
Published: January 2023

Remus é um mecanismo de replicação primário-backup para o hipervisor Xen, que fornece alta disponibilidade a máquinas virtuais realizando checkpoints com frequência (na ordem de dezenas de checkpoints por segundo). Apesar de oferecer boa tolerância a faltas para falhas de parada e omissão, as implicações de desempenho do Remus não são bem compreendidas. Este trabalho caracteriza experimentalmente o desempenho do Remus em diferentes cenários e mostra que (i) a frequência de checkpointing que resulta no melhor desempenho é altamente dependente do comportamento das aplicações e (ii) o overhead pode ser proibitivo para aplicações de rede sensíveis a latência.
Suportando Execuções Paralelas no Bft-SmaRt
Authors: Alchieri Eduardo Adilio Pelinson
Published: January 2023

A replicação Máquina de Estados é uma das abordagens mais usadas na implementação de sistemas tolerantes a falhas, tanto por parada quanto bizantinas. Esta abordagem consiste em replicar os servidores e coordenar as interações entre os clientes e as réplicas dos servidores, com o intuito de que as várias réplicas apresentem a mesma evolução em seus estados. Para isso, as requisições dos clientes devem ser ordenadas e executadas seguindo esta ordem em todas as replicas. Este requisito fez com que a maioria dos trabalhos utilizassem uma única thread de execução em cada réplica. Com o objetivo de melhorar o desempenho do sistema, novas abordagens foram introduzidas para suportar varias threads de execução por réplica. Dando seguimento a estes trabalhos, este artigo descreve como um protocolo que possibilita o emprego de varias threads de execução nas réplicas foi adaptado e implementado no BFT-SMART, além de analisar uma série de experimentos realizados.
Implementação de uma Função Virtualizada de Rede para Detecção de Falhas
Authors: Turchetti Rogério C. , Duarte Jr. Elias P.
Published: January 2023

Network Function Virtualization (NFV) é uma tecnologia emergente que implementa, utilizando técnicas de virtualização, funções de rede, antes vinculadas a dispositivos de hardware e software específicos. A tecnologia de NFV possibilita projetar, desenvolver e gerenciar funções diversas de rede, oferecendo maior flexibilidade dos serviços e reduzindo o tempo para o desenvolvimento de novas funções. Neste trabalho, propõem-se uma NFV para detectar falhas em processos e enlaces da rede, denominada NFV-FD. O mecanismo para monitoramento dos processos executado pela NFV-FD é auxiliado por um controlador OpenFlow que disponibiliza informações sobre uma rede SDN. A partir destas informações, a NFV-FD realiza o monitoramento dos processos e enlaces de comunicação. A NFV-FD foi implementada e são apresentados resultados experimentais do uso de recursos e da qualidade para a detecção e notificação de falhas.
Utilização da Árvore SPQR para um Cálculo Mais Eficiente das Medidas de Conectividade Baseadas em Cortes de Vértices
Authors: Hepp Henrique , Cohen Jaime , Duarte Jr. Elias Procópio
Published: January 2023

A medida de conectividade κ2 (v) de um vértice v em um grafo G é o número máximo de caminhos vértices disjuntos que há entre esse vértice e qualquer outro vértice desse grafo. A proposta desse trabalho é melhorar a eficiência do cálculo de κ2 (v) através de um pré-processamento do grafo. Nessa etapa, é construída uma árvore SPQR que identifica as componentes triconexas do grafo. Dessa forma, o κ2 (v) pode ser calculado separadamente para cada componente. A proposta foi implementada e testada em grafos que modelam casos concretos. Apresentamos resultados para grafos para os quais observou- se que o tempo de cálculo de com o pré-processamento é significativamente menor que o tempo para calcular κ2 (v) no grafo original.