Detecting Semantic Conflicts using Static Analysis

Version control system tools empower developers to independently work on their development tasks. These tools also facilitate the integration of changes through merging operations, and report textual conflicts. However, when developers integrate their changes, they might encounter other types of conflicts that are not detected by current merge tools. In this paper, we focus on dynamic semantic conflicts, which occur when merging reports no textual conflicts but results in undesired interference - causing unexpected program behavior at runtime. To address this issue, we propose a technique that explores the use of static analysis to detect interference when merging contributions from two developers. We evaluate our technique using a dataset of 99 experimental units extracted from merge scenarios. The results provide evidence that our technique presents significant interference detection capability. It outperforms, in terms of F1 score and recall, previous methods that rely on dynamic analysis for detecting semantic conflicts, but these show better precision. Our technique precision is comparable to the ones observed in other studies that also leverage static analysis or use theorem proving techniques to detect semantic conflicts, albeit with significantly improved overall performance

PORTAL DO AGRONEGÓCIO: COMÉRCIO E MAPEAMENTO DE CULTIVOS

Dentre os desafios oriundos da construção e sistematização dos dados para o Portal do Agronegócio, encontra-se o mapeamento dos principais cultivos do Estado através do uso de séries históricas de imagens de satélite processadas em nuvem por meio de algoritmos de linguagem de máquina (Deng, 2011)

Modelo de mejora para incrementar la eficiencia en una MYPE de manufactura de plásticos aplicando TPM, Método de Taguchi y Kanban

La industria productora de plásticos se encuentra experimentando una recuperación tras un estancamiento respecto a la producción, a nivel mundial, debido a la pandemia del COVID-19. Por tanto, la cantidad y competitividad de las MYPES pertenecientes a este sector ha incrementado, constituyendo un tema relevante de investigación debido a la relevancia que presenta este sector tanto en la economía nacional como en la calidad de vida de la población. En el presente proyecto se presenta a la empresa Plásticos XYZ como caso de estudio, cuyo principal producto es el envase de polietileno de alta densidad (PEHD). El problema que genera un mayor impacto, en términos económicos, radica en la baja eficiencia del proceso productivo. Plásticos XYZ posee una demanda aproximada de 265 lotes por mes, de los cuales solo se logra cubrir el 80%. Ello como consecuencia del elevado breakdown de la máquina sopladora, cantidad de productos no conformes e interrupciones en el flujo de material. Por este motivo, el presente proyecto expone un modelo de aplicación de prácticas Lean integrado por los pilares de Mantenimiento Autónomo y Planificado de la metodología TPM, Método de Taguchi y Sistema Kanban, los cuales permitieron una mejora de los indicadores Process Cycle Efficency (PCE) y Throughput del 17.75% y 16.65%, respectivamente. Finalmente, el proyecto es validado desde el enfoque de sostenibilidad respecto a los aspectos económicos, sociales y ambientales.The plastics manufacturing industry is experiencing a recovery after a stagnation in production, worldwide, due to the COVID-19 pandemic. Therefore, the quantity and competitiveness of the MYPES belonging to this sector has increased, constituting a relevant research topic due to the relevance of this sector in the national economy as well as in the quality of life of the population. This project presents the company Plásticos XYZ as a case study, whose main product is high-density polyethylene plastic (HDPE). The problem that generates the greatest impact, in economic terms, is the low efficiency of the production process. Plásticos XYZ has a demand of approximately 265 batches per month, of which only 80% is met. This is due to the high breakdown of the blowing machine, the amount of non-conforming products and interruptions in the flow of material. For this reason, this project presents an application model of Lean practices integrated by the Autonomous and Planned Maintenance pillars of the TPM methodology, Taguchi Method and Kanban System, which allowed an improvement in the Process Cycle Efficency (PCE) and Throughput indicators of 17.75% and 16.65%, respectively. Finally, the project is validated from the sustainability approach respect to economic, social and environmental aspects.Trabajo de Suficiencia Profesiona

Perfil epidemiologico e tendencia temporal da mortalidade por suicidio no estado de Sergipe, de 2006 a 2015 / Epidemiological profile and temporary tendency of suicidal mortality in the state of Sergipe, from 2006 to 2015

Introdução: Segundo a Organização Mundial da Saúde, o suicídio é definido como um ato intencional de um indivíduo para extinguir sua própria vida. Este representa uma das principais causas de morte no mundo e é considerado grave problema de saúde pública, sobretudo em virtude do seu aumento progressivo. No pais, pesquisadores sugerem que a subnotificação e a baixa qualidade das informações exigem atenção, por levarem a subestimação dessa taxa de mortalidade. Objetivo: Compreender a tendência temporal e o cenário epidemiológico da mortalidade por suicídio no estado de Sergipe no período de 2006 a 2015, e correlacionar a respectiva taxa nos diferentes sexos. Métodos: Trata-se de um estudo epidemiológico do tipo descritivo e de série histórica, através de dados secundários notificados no Sistema de Informação de Mortalidade do Departamento de Informática do Sistema Único de Saúde, onde foi analisado a variação histórica da taxa de mortalidade por suicídio, em ambos os sexos, e total de óbitos nos 10 anos de estudo (Categoria X-60 X-84, CID-10). Resultados: Durante esse período foram totalizados 1.100 óbitos atribuíveis ao suicídio, dentre eles 836 (76%) foram no sexo masculino e 270 (24,5%) no sexo feminino. A taxa de mortalidade por suicídio apresentou tendência crescente variando em torno de 5,0 óbitos por 100,000 habitantes, quando essa taxa é analisada segundo o sexo, nos homens fica próximo de 4,0 por 100,000 habitantes, diferente das mulheres que é de 1,5 óbitos por 100,000 habitantes, o que sugere falta de aperfeiçoamento na notificação desses dados Conclusão: O estudo mostra de modo geral, crescimento nas taxas de mortalidade por suicídio em Sergipe, e por isso exige maior atenção no enfrentamento desse problema enquanto sendo de saúde pública.

Pacientes internados em unidade de terapia intensiva que não adotam postura antigravitacional apresentam maiores chances de óbito

Until now, few functional performance markers are able to predict death in Intensive Care Units (ICUs). This study aimed to identify the association between non-adoption of antigravity posture and death in patients admitted to an adult ICU. It is a retrospective and analytical study, performed through the analysis of medical records. Association between non-adoption of antigravity posture and death was tested by multiple logistic regression adjusted for gender, age, disease severity (measured by Acute Physiology and Chronic Health Classification System II [Apache II]), time of invasive mechanical ventilation (IMV), and period of sedation. The odds ratio (OR) with confidence interval (CI=95%) was estimated. A total of 92 sequential patients were included in the study. A strong association between the non-adoption of antigravity posture in the ICU and death (ORadjusted=37.7, CI=4.76-293, p=0.001) was observed. Thus, one can conclude that patients who did not adopt an antigravity posture during ICU admission had a much higher odds of mortality. This simple strategy to classify functional capacity of critical patients can be routinely used by the team as a simple and dichotomous variable for ICU mortality prognosis.Ainda há poucos marcadores de desempenho funcional com capacidade de predizer óbito em unidades de terapia intensiva (UTI). O objetivo do presente estudo foi identificar a associação entre a não adoção de postura antigravitacional e óbito em pacientes internados em uma UTI adulto. Trata-se de um estudo retrospectivo e analítico, realizado através da análise de prontuários. A associação entre a não adoção de postura antigravitacional e óbito foi testada por regressão logística múltipla ajustada por sexo, idade, gravidade da doença (mensurada pelo Acute Physiology and Chronic Health Classification System II [Apache II]), tempo de ventilação mecânica invasiva (VMI) e tempo de sedação. A odds ratio (OR) foi estimada com intervalo de confiança de 95%. Foram incluídos no estudo 92 pacientes sequenciais. Houve forte associação entre a não adoção de postura antigravitacional em UTI e óbito (ORajustada=37,7; IC=4,76-293; p=0,001). Conclui-se que pacientes que não adotaram postura antigravitacional durante o internamento em UTI apresentaram chances muito mais elevadas de mortalidade. Essa simples estratégia de classificação da capacidade funcional de pacientes críticos pode ser utilizada rotineiramente por equipes de saúde como uma variável simples e dicotômica de prognóstico de mortalidade em UTI.Aún existen pocos marcadores de desempeño funcional con capacidad de predecir la muerte en Unidades de Cuidados Intensivos (UCI). El presente estudio tuvo como objetivo identificar la asociación entre la no adopción de postura antigravitacional y el óbito en pacientes hospitalizados en una UCI adulto. Se trata de un estudio retrospectivo y analítico, realizado mediante análisis de historia clínica. La asociación entre la no adopción de postura antigravitacional y el fallecimiento fue probada por regresión logística múltiple ajustada por sexo, edad, gravedad de la enfermedad (medida por la Acute Physiology And Chronic Health Classification System II [Apache II]), tiempo de ventilación mecánica invasiva (VMI) y tiempo de sedación. Se estimó la odds ratio (OR) con intervalo de confianza (IC=95%). Se incluyeron en el estudio 92 pacientes secuenciales. Se observó una fuerte asociación entre la no adopción de postura antigravitacional en UCI y el óbito (ORajustada=37,7; IC=4,76-293; p=0,001). De esta forma, se puede concluir que pacientes que no adoptaron postura antigravitacional durante la hospitalización en UCI tuvieron posibilidades mucho más elevadas de mortalidad. Esta simple estrategia de clasificación de la capacidad funcional de pacientes críticos puede ser utilizada de manera rutinaria por el equipo de salud como una variable simple y dicotómica de pronóstico de mortalidad en UCI

O CONHECIMENTO DE JOVENS CARIOCAS SOBRE OS INVESTIMENTOS EM OURO, DÓLAR E BITCOIN E A RELEVÂNCIA DA ALFABETIZAÇÃO E DA EDUCAÇÃO FINANCEIRAS

Com base na discussão teórica sobre educação, alfabetização e conhecimento financeiros, o objetivo do artigo é examinar se e como universitários cariocas de cursos de graduação em Economia, Administração, Engenharia de Produção e Contabilidade percebem o ouro, dólar e bitcoin como possibilidades de investimento. Os dados foram coletados em entrevistas realizadas de fevereiro a junho de 2020. Os resultados apontam que a maior parte dos entrevistados revela conhecimento financeiro que converge com argumentos predominantes na literatura acadêmica acerca da operação com os três ativos. Conclui-se que é preciso haver o estímulo à alfabetização e à educação financeiras, uma vez que o conhecimento financeiro torna-se vital para que o cidadão possa administrar melhor seu dinheiro e saiba aplicá-lo, de forma a fazer frente a adversidades advindas do contexto político-econômico nacional e internacional. Palavras-chave: Conhecimento financeiro. Educação financeira. Rio de Janeiro. Ouro. Dólar. Bitcoin

Avaliação realizada com docentes da rede pública, quanto ao Ensino de Química, em Itapetinga e microrregião

..

Software development for gasometric data interpretation applicable in intensive care units

The objective of this study was to develop a software for data interpretation of gasometric applicable in Intensive Care Units that can provide a diagnosis for disorders of acid-base balance. This is an experimental study being selected on a theoretical basis with the Java IDE NetBeans 6.8 through a partnership with professionals trained in Information Systems. The program development was based on creating an algorithm, a sequence of well-defined and unambiguous to be performed mechanically in order to provide a desired diagnosis. We created a software applicable in intensive care units called InterGas, which is a program easy to install, has an interface easy to understand and use, and to process the data quickly and accurately providing as the final diagnosis for the disorder the acid-base balance. The lack of another tool that brings together all the components of InterGas makes it a pioneering software that facilitates decision-making, as it characterizes the occurrence of mixed disturbances using compensation formulas.O objetivo deste estudo foi desenvolver um software para interpretação de dados gasométricos aplicável em UTIs. Trata-se de estudo de caráter experimental, sendo selecionada uma base teórica em Java com a IDE NetBeans 6.8 por meio de parceria com profissionais capacitados em Sistemas de Informação. O desenvolvimento do programa foi baseado na criação de um algoritmo, uma sequência de instruções bem definidas e não ambíguas a serem executadas mecanicamente com a finalidade de fornecer um diagnóstico desejado. Foi criado um software aplicável em UTIs denominado InterGas, que é um programa de fácil instalação, possui interface de fácil compreensão e utilização, além de processar os dados rapidamente e de forma precisa, oferecendo como resultado final o diagnóstico para o distúrbio do equilíbrio ácido-básico. O desconhecimento de outra ferramenta que reúna todos os componentes do InterGas o torna um software pioneiro que facilita a tomada de decisão à medida que caracteriza a ocorrência de distúrbios mistos utilizando fórmulas de compensação. Com isso, futuros estudos deverão ser feitos com o objetivo de avaliar aspectos relacionados à implementação e eficácia do software desenvolvido

Novas tecnologias e sensoriamento remoto: aplicação de uma oficina didática para a disseminação das potencialidades dos produtos e ferramentas do mapbiomas

Em função da constatação da crise ambiental vivenciada nas escalas globais, regionais e locais, decorrentes da exploração intensa do patrimônio ambiental, torna-se relevante detectar as mudanças de uso da terra e da cobertura vegetal, a fim de identificar os níveis de degradação ambiental ao longo do tempo. Nesse contexto, surge o projeto Mapbiomas Brasil que propõe metodologias inovadoras para o monitoramento de séries temporais do uso e cobertura das terras dos biomas brasileiros. Nessa perspectiva, foi levantada a seguinte questão: as técnicas e os produtos do Mapbiomas podem ser utilizados como suporte em outros projetos voltados para o campo do sensoriamento remoto?   Assim, este trabalho objetivou relatar as experiências da aplicação de uma oficina didática que tratou sobre as potencialidades dos produtos e das ferramentas do Projeto Mapbiomas em uma turma do Programa de Pós-graduação em Modelagem em Ciências da Terra e do Ambiente, da Universidade Estadual de Feira de Santana. Para que os resultados fossem alcançados, foram propostas atividades a serem desenvolvidas por uma turma de pós-graduação composta por 15 alunos. Os procedimentos metodológicos consistiram em três etapas: o diagnóstico dos conhecimentos prévios, a aplicação da oficina e, por fim a avaliação de seus resultados. Com o levantamento dos conhecimentos prévios, percebeu-se que todos os discentes possuíam noções teóricas a respeito do Sensoriamento Remoto. Entretanto, uma pequena parte, 18% apresentou dificuldades ao relatar o conceito e a importância do monitoramento do uso e cobertura da terra. Cerca de 54% dos entrevistados já trabalharam com imagens de satélite, utilizando softwares popularmente conhecidos no campo do Sensoriamento Remoto e das Geotecnologias. Quando questionados sobre o método Mapbiomas, 54% dos discentes relataram que conheciam o projeto, mas poucos realmente sabiam os seus objetivos.  Já quando questionados sobre o Google Earth Engine, 72% dos entrevistados afirmaram não conhecer a plataforma ou nunca ter trabalhado com ela. A oficina foi aplicada logo depois, relatando os objetivos, metodologias e aplicações dos produtos do Mapbiomas e do Google Earth Engine para o monitoramento do uso e cobertura da terra na escala nacional, estadual e municipal do Brasil.  Por fim, foi realizada a avaliação dos resultados, os relatos demonstraram todos os discentes avaliaram de forma positiva a oficina e, que 80% da turma, identificou potencialidades nas ferramentas e nos produtos para a utilização em suas pesquisas voltadas ao Sensoriamento Remoto e suas aplicações. Também se verificou uma necessidade de uma maior difusão e ensino sobre essas novas ferramentas no meio acadêmico, que podem colaborar em projetos de pesquisa do campo do Sensoriamento Remoto e ajudar a compreender a dinâmica espaço-temporal. Palavras-Chave: uso e cobertura da Terra, geotecnologias, processamento em nuvem, biomas;