发布求助
文献互助 智能选刊 最新文献

Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021)最新文献

筛选
英文 中文
Consolidando a Modelagem do Jogo Aventura Espacial 巩固太空冒险游戏的建模
Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021) Pub Date : 2021-11-17 DOI: 10.5753/weit.2021.18922
Y. Rosa, R. Reiser, S. Cavalheiro, Luciana Foss, André Rauber Du Bois
{"title":"Consolidando a Modelagem do Jogo Aventura Espacial","authors":"Y. Rosa, R. Reiser, S. Cavalheiro, Luciana Foss, André Rauber Du Bois","doi":"10.5753/weit.2021.18922","DOIUrl":"https://doi.org/10.5753/weit.2021.18922","url":null,"abstract":"Atividades lúdicas e desplugadas têm sido propostas como alternativas viáveis economicamente e com inserção de inovação metodológica para incremento da aprendizagem na Educação Fundamental, via aplicação de conceitos e técnicas da computação. Neste contexto, descreve-se a consolidação da atividade Aventura Espacial, apresentando a modelagem da sua etapa final, identificada como Tarefa 5. Nesta etapa, a execução das jogadas promove aprendizagem via simulação de uma jornada científica espacial. São trabalhados os conceitos de abstração, decomposição, reconhecimento de padrões e estimulam-se ainda a busca de soluções para eficiência energética e avaliação da correção na organização de dados.","PeriodicalId":216839,"journal":{"name":"Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021)","volume":"336 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123208483","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}
引用次数: 0
Representabilidade de Operadores via Ordens Admissíveis 操作人员通过允许订单的代表性
Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021) Pub Date : 2021-11-17 DOI: 10.5753/weit.2021.18930
L. Silva, Guilherme Schneider, Adenauer C. Yamin, Helida Santos, Benjamín R. C. Bedregal, R. Reiser
{"title":"Representabilidade de Operadores via Ordens Admissíveis","authors":"L. Silva, Guilherme Schneider, Adenauer C. Yamin, Helida Santos, Benjamín R. C. Bedregal, R. Reiser","doi":"10.5753/weit.2021.18930","DOIUrl":"https://doi.org/10.5753/weit.2021.18930","url":null,"abstract":"Este trabalho apresenta um estudo sobre a representabilidade de conectivos fuzzy valorados intervalarmente considerando ordens parciais e admissíveis. Nossa abordagem considera aquelas ordens baseadas em funções de agregação injetivas que permitem a construção de operadores fuzzy valorados intervalarmente. Um resultado imediato é a construção da implicação usada na Lógica Quântica, conhecida como QL-implicação, que em nossa proposta é generalizada para abordagem intervalar, via classe de ordem admissíveis.","PeriodicalId":216839,"journal":{"name":"Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021)","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131572320","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}
引用次数: 0
Estudos sobre o algoritmo de Grover e sua implementação 格罗弗算法及其实现的研究
Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021) Pub Date : 2021-11-17 DOI: 10.5753/weit.2021.18925
Liliana Souza do Carmo, G. B. Freitas
{"title":"Estudos sobre o algoritmo de Grover e sua implementação","authors":"Liliana Souza do Carmo, G. B. Freitas","doi":"10.5753/weit.2021.18925","DOIUrl":"https://doi.org/10.5753/weit.2021.18925","url":null,"abstract":"A Computação Quântica se baseia nos princípios da Mecânica Quântica. Ao contrário dos computadores clássicos, os quânticos possuem capacidade de paralelismo como padrão, o que torna sua velocidade de processamento para resolução de problemas muito maior. Para esse desempenho, o uso de determinados algoritmos faz-se necessário. Neste texto, apresenta-se alguns estudos sobre o algoritmo de Grover, com o objetivo de conhecer e aprender a implementá-lo nos simuladores quânticos, além de analisar e interpretar os resultados obtidos.","PeriodicalId":216839,"journal":{"name":"Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021)","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121005827","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}
引用次数: 0
Description of Command and Control Networks in Coq Coq中指挥控制网络的描述
Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021) Pub Date : 2021-11-17 DOI: 10.5753/weit.2021.18923
Guilherme G. F. da Silva, E. Haeusler, C. Nalon
{"title":"Description of Command and Control Networks in Coq","authors":"Guilherme G. F. da Silva, E. Haeusler, C. Nalon","doi":"10.5753/weit.2021.18923","DOIUrl":"https://doi.org/10.5753/weit.2021.18923","url":null,"abstract":"A command and control (C2) system can be defined as a group of individuals organised hierarchically in which higher-ranking individuals can issuedirections to their subordinates with a certain goal in mind. We present a model for representation of command and control networks in the Coq proof assistant based on a tree data structure. Our model utilises Coq’s implementation of data structures and includes examples of how to define functions and properties that may be relevant in a C2 system, as well as examples of some of the tests we have performed to verify the correctness and usability of our model. The examples given here are simple, but constitute basic blocks that can later be used in more realistic formalisations.","PeriodicalId":216839,"journal":{"name":"Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131772541","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}
引用次数: 0
A New Total Order for Triangular Fuzzy Numbers with an Application 三角模糊数的新总阶及其应用
Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021) Pub Date : 2021-11-17 DOI: 10.5753/weit.2021.18917
Valentina Rosas, B. Bedregal, José Canumán, Roberto Díaz, Edmundo Mansilla, Nicolás Zumelzu
{"title":"A New Total Order for Triangular Fuzzy Numbers with an Application","authors":"Valentina Rosas, B. Bedregal, José Canumán, Roberto Díaz, Edmundo Mansilla, Nicolás Zumelzu","doi":"10.5753/weit.2021.18917","DOIUrl":"https://doi.org/10.5753/weit.2021.18917","url":null,"abstract":"This work deals with the study of a new total order Triangular Fuzzy Numbers and arithmetic properties that are maintained in relation to the operations of addition and subtraction. Additionally, we present as example of application the shortest path solution for the Travelling Salesman Problem with fuzzy distances.","PeriodicalId":216839,"journal":{"name":"Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128343003","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}
引用次数: 1
A criação de jogos para o ensino de computação: uma análise comparativa 为计算机教学创造游戏:比较分析
Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021) Pub Date : 2021-11-17 DOI: 10.5753/weit.2021.18915
J. Silva, Braz Araujo da Silva Junior, Luciana Foss, S. Cavalheiro
{"title":"A criação de jogos para o ensino de computação: uma análise comparativa","authors":"J. Silva, Braz Araujo da Silva Junior, Luciana Foss, S. Cavalheiro","doi":"10.5753/weit.2021.18915","DOIUrl":"https://doi.org/10.5753/weit.2021.18915","url":null,"abstract":"Considerando os desafios do ensino de computação e a utilização de jogos digitais como maneira de auxiliar esse cenário, este artigo apresenta uma análise comparativa de três plataformas destinadas à criação de jogos, utilizadas no ensino de computação: Greenfoot, Scratch e GrameStation. Foram definidos, para a análise, tópicos comuns às ferramentas, bem como suas características individuais. A plataforma GrameStation, embora baseada em um formalismo matemático, possui características equivalentes às demais, sendo possível a discussão quanto a sua utilidade para a introdução da especificação formal no ensino de computação.","PeriodicalId":216839,"journal":{"name":"Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121612743","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}
引用次数: 1
Compilação e Execução de código da linguagem QML no Computador Quântico da IBM 在IBM量子计算机上编译和执行QML代码
Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021) Pub Date : 2021-11-17 DOI: 10.5753/weit.2021.18921
João Gabriel da Cunha Schittler, Juliana Kaizer Vizzoto
{"title":"Compilação e Execução de código da linguagem QML no Computador Quântico da IBM","authors":"João Gabriel da Cunha Schittler, Juliana Kaizer Vizzoto","doi":"10.5753/weit.2021.18921","DOIUrl":"https://doi.org/10.5753/weit.2021.18921","url":null,"abstract":"Esse artigo descreve um projeto em andamento que propõe implementar um compilador para circuitos quânticos para a linguagem de programação quântica QML e então executar os circuitos compilados no computador quântico da IBM (IBM Quantum Computer) usando o pacote Qiskit.","PeriodicalId":216839,"journal":{"name":"Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021)","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117023927","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}
引用次数: 0
Desenvolvimento de uma Ferramenta para Teste Diferencial de Compiladores Usando Códigos Gerados Aleatoriamente 使用随机生成代码开发差分编译器测试工具
Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021) Pub Date : 2021-11-17 DOI: 10.5753/weit.2021.18924
Bruno Schafaschek Coelho, Luiz Felipe Krauz, S. Feitosa
{"title":"Desenvolvimento de uma Ferramenta para Teste Diferencial de Compiladores Usando Códigos Gerados Aleatoriamente","authors":"Bruno Schafaschek Coelho, Luiz Felipe Krauz, S. Feitosa","doi":"10.5753/weit.2021.18924","DOIUrl":"https://doi.org/10.5753/weit.2021.18924","url":null,"abstract":"É notável que os projetos de software estão se tornando mais complexos e extensos, os quais dependem em grande parte do compilador ou interpretador da linguagem de programação escolhida para o seu desenvolvimento. Neste sentido, como é possível garantir a qualidade e confiabilidade dessas ferramentas de desenvolvimento? Uma das possibilidades é executar testes exaustivamente, identificando e corrigindo erros, até que se tenha certa segurança de que o código produzido esteja livre de bugs. Sendo assim, este projeto propõe o desenvolvimento de uma ferramenta que aplique casos de teste gerados aleatoriamente e compare os resultados com os diferentes compiladores de Java.","PeriodicalId":216839,"journal":{"name":"Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117320898","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}
引用次数: 0
Aplicando Análise Consensual Fuzzy para Tomada de Decisão na Alocação de Recursos em Nuvem Computacionais 模糊共识分析在云计算资源分配决策中的应用
Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021) Pub Date : 2021-11-17 DOI: 10.5753/weit.2021.18920
Guilherme Schneider, Bruno Moura, E. Monks, Adenauer C. Yamin, Helida Santos, R. Reiser
{"title":"Aplicando Análise Consensual Fuzzy para Tomada de Decisão na Alocação de Recursos em Nuvem Computacionais","authors":"Guilherme Schneider, Bruno Moura, E. Monks, Adenauer C. Yamin, Helida Santos, R. Reiser","doi":"10.5753/weit.2021.18920","DOIUrl":"https://doi.org/10.5753/weit.2021.18920","url":null,"abstract":"Este artigo contempla a concepção de uma abordagem que explora medidas de consenso fuzzy, como suporte a problemas de tomada de decisão relacionados à determinação do nível de utilização das máquinas físicas em um ambiente de computação em nuvem. A análise de consenso dos conjuntos fuzzy está baseada nas médias aritméticas e exponenciais. Para avaliar a proposta foi concebido um estudo de caso direcionado a arquitetura do Framework Int-FLBCC em desenvolvimento pelo grupo de pesquisa.","PeriodicalId":216839,"journal":{"name":"Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021)","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121996079","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}
引用次数: 0
A Methodology for Opacity verification for Transactional Memory algorithms using Graph Transformation System 一种基于图变换系统的事务性内存算法不透明度验证方法
Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021) Pub Date : 2021-11-17 DOI: 10.5753/weit.2021.18916
Diogo J. Cardoso, Luciana Foss, A. D. Du Bois
{"title":"A Methodology for Opacity verification for Transactional Memory algorithms using Graph Transformation System","authors":"Diogo J. Cardoso, Luciana Foss, A. D. Du Bois","doi":"10.5753/weit.2021.18916","DOIUrl":"https://doi.org/10.5753/weit.2021.18916","url":null,"abstract":"With the constant research and development of Transactional Memory (TM) systems, various algorithms have been proposed, and their correctness is always an important aspect to take into account. When analyzing TM algorithms, one of the most commonly used correctness criterion is opacity, which infers that executions only observe consistent states of the shared memory. This paper proposes a formal definition to demonstrate that a given TM algorithm only generates opaque histories using a Graph Transformation System. The methodology introduced consists of translating an algorithm into production rules that manipulate the state of a graph. The proposed approach has demonstrated capability to deal with some of the complexity of TM algorithms and a case study has shown the working proof of opacity of the algorithm in question.","PeriodicalId":216839,"journal":{"name":"Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021)","volume":"21 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128634339","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}
引用次数: 1
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信