Revista de Ciência da Computação最新文献

{"title":"Finitary ideals of direct products in quantales","authors":"Pascal Pankiti, C. Nkuimi-Jugnia","doi":"10.22481/recic.v3i1.8941","DOIUrl":"https://doi.org/10.22481/recic.v3i1.8941","url":null,"abstract":"The notion of quantale, which designates a complete lattice equipped with an associative binary multiplication distributing over arbitrary joins, appears in various areasof mathematics-in quantaloid theory, in non classical logic as completion of the Lindebaum algebra, and in different representations of the spectrum of a C∗ algebra asmany-valued and non commutative topologies. To put it briefly, its importance is nolonger to be demonstrated. Quantales are ring-like structures in that they share withrings the common fact that while as rings are semi groups in the tensor category ofabelian groups, so quantales are semi groups in the tensor category of sup-lattices.In 2008 Anderson and Kintzinger [1] investigated the ideals, prime ideals, radical ideals, primary ideals, and maximal of a product ring R × S of two commutativenon non necceray unital rings R and S: Something resembling rings are quantales byanalogy with what is studied in ring, we begin an investigation on ideals of a productof two quantales. In this paper, given two quantales Q1 and Q2; not necessarily withidentity, we investigate the ideals, prime ideals, primary ideals, and maximal ideals ofthe quantale Q1 × Q2","PeriodicalId":367401,"journal":{"name":"Revista de Ciência da Computação","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130627949","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Apresentação","authors":"Gidevaldo Novais Dos Santos","doi":"10.22481/recic.v3i1.7877","DOIUrl":"https://doi.org/10.22481/recic.v3i1.7877","url":null,"abstract":"A Ciência da Computação é uma área de conhecimento que pode transitar com desenvoltura em muitas outras áreas, apresentando aplicações diversas para utilização no cotidiano de todos.\u0000As aplicações computacionais ficaram muito mais evidentes em um momento quando muitas pessoas precisaram ficar em casa, em meio a uma crise sanitária, numa tentativa de realizar trabalhos de forma remota, fazendo uso de interfaces que deveriam dar conta da interação humana e também da conexão, transmissão e compartilhamento de dados e/ou informações – estas pessoas eram, em sua maioria, trabalhadoras que lidavam/lidam com a informação e o conhecimento.\u0000Neste período também foi evidenciado que há necessidade também de confiabilidade no que é produzido e compartilhado, tendo por origem as respeitadas instituições que produzem conhecimento – as Universidades e os institutos de pesquisa. Em um período que o conhecimento, bem como aqueles que os produzem, sofrem ataques diversos, criando dúvidas onde a ciência já produziu sólidas pesquisas e testes confiáveis, é necessário reafirmar que mantemos a confiança na ciência, nos pesquisadores sérios, responsáveis e comprometidos com a divulgação de conhecimento que ajude as pessoas em diversas instâncias de atuação, para que não tenhamos a impressão de vivermos uma distopia como a que lemos em Fahrenheit 451, de Ray Bradbury.\u0000A comunicação em meio digital é, sem dúvida a grande protagonista nesse período da pandemia de covid-19 e neste sentido, a computação continua a transitar pelas diversas áreas de conhecimento, seja contribuindo para a infraestrutura onde serão realizados os trabalhos no formato remoto, seja na interface em que permitirá o uso dessa infraestrutura.\u0000Esta é uma edição com apenas 4 (quatro) artigos e que apresentam temas e objetos diversos de estudos, mas marcando a presença digital de mais uma edição da nossa ReCiC.\u0000O primeiro artigo desta edição, intitulado “Análise de metadados para inferência da qualidade de artigos da Wikipédia”, de autoria dos pesquisadores Rodrigo S. Nürmberg e Arlindo Amaral Neto, apresenta um estudo realizado a partir do uso de metadados de conteúdos da web, mais especificamente dos textos da Wikipédia, com o objetivo de inferir automaticamente sobre a qualidade destes, a partir de determinados critérios. O segundo artigo, com o título “Linear programming problems in High School using GeoGebra”, escrito por Gonçalo Cerqueira, Velton Pires e Daniel Campos, trazem um conteúdo matemático aplicado por meio de uma interface computacional, criando condições para um melhor entendimento da aplicabilidade da matemática para melhor compreensão de seu conteúdo na educação básica, no Ensino Médio.\u0000Já o terceiro artigo, cujo título é “Um sistema de baixo custo para redes inteligentes de transporte público”, traz os resultados do trabalho dos pesquisadores Marlos Marques, Cassio Silva e Jorge Correia que aborda um uso das tecnologias digitais móveis para prover informações úteis aos utilizadores do","PeriodicalId":367401,"journal":{"name":"Revista de Ciência da Computação","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126625419","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Linear programming problems in high school using GeoGebra","authors":"G. R. Cerqueira, Velton Cardoso Pires, Daniel Silva Campos","doi":"10.22481/recic.v3i1.7957","DOIUrl":"https://doi.org/10.22481/recic.v3i1.7957","url":null,"abstract":"Many high school teachers when teaching mathe-matical content, face questions from their students about theapplicability of these contents. We will show in this paper thatit is possible to answer some of these questions by relating someof this content to optimization problems, which are modeled aslinear programming problems and solved using GeoGebra as atool.","PeriodicalId":367401,"journal":{"name":"Revista de Ciência da Computação","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121018779","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Análise de Metadados para Inferência da Qualidade de Artigos da Wikipedia","authors":"Arlindo Amaral Neto, Rodrigo Schmidt Nürmberg","doi":"10.22481/recic.v2i2.7634","DOIUrl":"https://doi.org/10.22481/recic.v2i2.7634","url":null,"abstract":"A crescente quantidade de informações disponibilizadas na Web traz consigo uma preocupação com relação à qualidade destes dados já que cada vez mais eles são utilizados na tomada de decisões. Este trabalho analisou estatisticamente alguns metadados que podem ser utilizados para se determinar, de forma automática e objetiva, a qualidade dos artigos encontrados na Wikipedia.","PeriodicalId":367401,"journal":{"name":"Revista de Ciência da Computação","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125883617","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Um Sistema de Baixo Custo para Redes Inteligentes de Transporte Público","authors":"Marlos Marques, Cássio Silva, Jorge Correia","doi":"10.22481/recic.v3i1.7708","DOIUrl":"https://doi.org/10.22481/recic.v3i1.7708","url":null,"abstract":"O Sistema de Transporte Público (STPU) é utilizado por uma parcela razoável da população, além de ser considerado como forma de deslocamento urbano sustentável e escalável. Apesar disso, aplicativos que atendam satisfatoriamente os usuários do STPU ainda são escassos. Em parte, esta dificuldade esta relacionada aos equipamentos necessários para prover a infraestrutura de suporte necessária a tais sistemas, principalmente as informações relacionados a geolocalização. O objetivo deste trabalho foi desenvolver um sistema completo de baixo custo completo que dê suporte aos usuários do transporte público, possibilitando-os obter informações sobre os itinerários, pontos de embarque e desembarque e a localização dos veículos em tempo real.","PeriodicalId":367401,"journal":{"name":"Revista de Ciência da Computação","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129342728","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"A Polar Representation for Complex Interval Numbers","authors":"Arão Lyra, Adrião D. D. Neto, B. Bedregal, R. M. P. Trindade","doi":"10.22481/RECIC.V1I1.4929","DOIUrl":"https://doi.org/10.22481/RECIC.V1I1.4929","url":null,"abstract":"The present work defines the basic elements for the introduction to the Study of Complex variables under the mathematical interval context with the goal of using it as a foundation for the understanding of pure mathematical problems, associating the mathematical interval to support the results. The present article contributes to the complex interval theory taking into consideration Euler’s Identity and redefining the polar representation of interval complex numbers. In engineering, the present article could be used as a subsidy for many applications where complex variable theory is applicable and requires accurate results.","PeriodicalId":367401,"journal":{"name":"Revista de Ciência da Computação","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122024672","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Primeness in Quantales","authors":"F. Bergamaschi, R. Santiago, A. O. Andrade","doi":"10.22481/RECIC.V1I1.4928","DOIUrl":"https://doi.org/10.22481/RECIC.V1I1.4928","url":null,"abstract":"In this paper we propose a new concept of primeness in quantales. It is proved that this concept coincide with classical definition in commutative quantales, but no longer valid in the noncommutative setting. Also, the notions of strong and uniform strong primeness are investigated.","PeriodicalId":367401,"journal":{"name":"Revista de Ciência da Computação","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127401734","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Utilização da Morfologia Fuzzy para Quantificação de Esporos de Fungos Micorrizicos","authors":"Alécio Santos Barros, A. O. Andrade, Roque Mendes Prado Trindade","doi":"10.22481/RECIC.V1I1.4920","DOIUrl":"https://doi.org/10.22481/RECIC.V1I1.4920","url":null,"abstract":" Este trabalho apresenta um método de contagem de esporos de fungos micorrízicos a partir de imagens digitais usando morfologia fuzzy para separação de esporos e algoritmos desenvolvidos no Scilab para quantificação. O objetivo é mostrar a eficácia da morfologia fuzzy e as funções desenvolvidas na separação e contagem. A estratégia metodológica desenvolvida foi utilizar as definições de morfologia fuzzy desenvolvidas por Andrade et al e produzir um algoritmo capaz de separar e contar fungos. Espera-se obter um método capaz de realizar uma contagem eficiente.","PeriodicalId":367401,"journal":{"name":"Revista de Ciência da Computação","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128333713","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Integração do Google Drive e WhatsApp como ambiente de aprendizagem em uma disciplina no ensino superior","authors":"Z. Santos, Claudinei de Camargo Sant'Ana","doi":"10.22481/RECIC.V1I1.4919","DOIUrl":"https://doi.org/10.22481/RECIC.V1I1.4919","url":null,"abstract":"  \u0000Este artigo apresenta uma pesquisa realizada com estudantes matriculados no quarto semestre do curso de Licenciatura em Matemática da Universidade Estadual do Sudoeste da Bahia (UESB). Trata-se de uma abordagem qualitativa, que tem como objetivo analisar as potencialidades do Google Drive e o WhatsApp como ambiente virtual de aprendizagem. Para isso, utiliza o processo de interação síncrona e assíncrona dos estudantes levando em consideração as discussões e comentários dos textos no grupo do WhatsApp e das atividades postadas no Google Drive. Utiliza-se da Análise de Conteúdo para tratar os dados levantados. Os resultados apontam que tanto o uso do WhatsApp quanto o Google Drive favoreceram a interação, cooperação e colaboração dos discentes no processo de ensino-aprendizagem para além dos limites físicos da sala de aula.","PeriodicalId":367401,"journal":{"name":"Revista de Ciência da Computação","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126792079","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Modelagem organizacional e de processos aplicada ao sistema de gerenciamento eletrônico de documentos - GED UESB","authors":"F. Carvalho, Tâmara Chaves Santos Aguiar, Josafá Santos dos Reis","doi":"10.22481/RECIC.V1I1.4922","DOIUrl":"https://doi.org/10.22481/RECIC.V1I1.4922","url":null,"abstract":"A modelagem organizacional tem sido recomendada para orientar a compreensão inicial do processo de desenvolvimento de sistemas de software. Portanto, o objetivo principal deste trabalho foi realizar uma modelagem com as ferramentas OME3 (framework i *), Astah (UML) e Bizagi Modeler (BPM) para a modelagem inicial de um Sistema Eletrônico de Gerenciamento de Registros de Servidores da Universidade Estadual do Sudoeste. da Bahia (GED-UESB). Para esse fim, as partes interessadas foram entrevistadas; analisar documentos relacionados ao sistema proposto; e elaborar os modelos iniciais do sistema com base em duas ferramentas mencionadas. Em termos metodológicos, pesquisas exploratórias e descritivas foram realizadas, com abordagem qualitativa, em um Estudo de Caso. No final do presente trabalho, os modelos de Caso de Uso, Dependência Estratégica (SD) e Razão Estratégica (SR) e Diagrama de Processos de Negócio foram utilizados como base inicial para a construção do sistema proposto","PeriodicalId":367401,"journal":{"name":"Revista de Ciência da Computação","volume":"202 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121261528","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}