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

Cadernos do IME Serie Estatistica最新文献

筛选
英文 中文
Um relato de uma experiência de ensino de geometria usando mosaicos e o modelo de Van Hiele 一个使用马赛克和范海勒模型的几何学教学经验的报告
Cadernos do IME Serie Estatistica Pub Date : 2021-07-15 DOI: 10.12957/cadmat.2021.60337
Rogerio Luiz Quintino de Oliveira Junior, André Victor Ribeiro de Campos
{"title":"Um relato de uma experiência de ensino de geometria usando mosaicos e o modelo de Van Hiele","authors":"Rogerio Luiz Quintino de Oliveira Junior, André Victor Ribeiro de Campos","doi":"10.12957/cadmat.2021.60337","DOIUrl":"https://doi.org/10.12957/cadmat.2021.60337","url":null,"abstract":"Neste artigo, relatamos uma experiência vivida, em 2019, por um dos autores deste trabalho em sala de aula durante a elaboração de sua dissertação de mestrado. Nela, procurou-se ensinar, de forma lúdica, alguns conceitos e definições sobre triângulos e quadriláteros para uma turma do 7º ano do Ensino Fundamental de uma escola municipal da cidade do Rio de Janeiro. Para este projeto, utilizou-se da arte dos mosaicos e do Modelo de níveis de aprendizado de geometria de Van Hiele como suporte teórico para a experiência. Os mesmos conteúdos de geometria foram ensinados em duas turmas do 7º ano, uma da maneira tradicional, com explicação no quadro junto com o livro e a apostila da escola e, na outra, utilizou-se a arte dos mosaicos. Por último, esse trabalho aponta algumas vantagens na percepção geométrica e na aprendizagem dos alunos da turma que usou a interdisciplinaridade entre Matemática e Arte.","PeriodicalId":30267,"journal":{"name":"Cadernos do IME Serie Estatistica","volume":"30 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80230837","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
Homenagem ao professor Vítor Costa Silva (24/05/1981 -- 31/12/2020) 向vitor Costa Silva教授致敬(24/05/1981 - 31/12/2020)
Cadernos do IME Serie Estatistica Pub Date : 2021-07-15 DOI: 10.12957/CADMAT.2021.61040
C. O. Faria
{"title":"Homenagem ao professor Vítor Costa Silva (24/05/1981 -- 31/12/2020)","authors":"C. O. Faria","doi":"10.12957/CADMAT.2021.61040","DOIUrl":"https://doi.org/10.12957/CADMAT.2021.61040","url":null,"abstract":"O Cadernos do IME - Série Matemática, dedica a sua edição n.16 (2021) ao professor Vítor Costa Silva, que infelizmente, em decorrências de complicações provocadas pela COVID-19 faleceu no dia 31/12/2020. O professor Vítor fez toda sua formação acadêmica na Universidade Federal Fluminense (UFF) - Bacharelado, Mestrado e Doutorado em Matemática - e em todas etapas, foi orientado pela professora Simone Dantas, UFF. Em 2015, foi aprovado em concurso para professor adjunto no Departamento de Análise Matemática do Instituto de Matemática e Estatística da Universidade do Estado do Rio de Janeiro (IME-UERJ), e atuou ativamente em todas as atribuições do cargo que lhe foram designadas (ensino, pesquisa e administração). Como ele mesmo informava em seu currículo na plataforma Lattes, os seus temas prediletos eram Matemática Combinatória, Teoria de Grafos e Equações Diferenciais e esta paixão pela pesquisa nestes temas já estava sendo transmitida aos alunos que ele orientou.Vı́tor deixou vários amigos e convidamos os professores André Rocha e Laurent Prouvée, IME/UERJ, e sua ex-orientadora Simone Dantas, UFF, para escrever mensagens em sua homenagem neste prefácio.","PeriodicalId":30267,"journal":{"name":"Cadernos do IME Serie Estatistica","volume":"16 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72714011","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
O Teorema de Baire e uma aplicação no espaço de funções 贝尔定理及其在函数空间中的应用
Cadernos do IME Serie Estatistica Pub Date : 2021-07-15 DOI: 10.12957/CADMAT.2021.56996
Rafael Schneider, Vítor Costa Silva
{"title":"O Teorema de Baire e uma aplicação no espaço de funções","authors":"Rafael Schneider, Vítor Costa Silva","doi":"10.12957/CADMAT.2021.56996","DOIUrl":"https://doi.org/10.12957/CADMAT.2021.56996","url":null,"abstract":"O Teorema de Baire é de grande importância no campo da Análise e Topologia Geral. A compreensão de seu resultado permite apreciar a riqueza de suas consequências, como por exemplo sua aplicação no conjunto de funções reais contínuas e limitadas.","PeriodicalId":30267,"journal":{"name":"Cadernos do IME Serie Estatistica","volume":"36 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84031210","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
Uma Prova Topológica do Teorema de Ramsey 拉姆齐定理的拓扑证明
Cadernos do IME Serie Estatistica Pub Date : 2021-07-15 DOI: 10.12957/CADMAT.2021.59455
Márcio Telles, Jefferson Wallace
{"title":"Uma Prova Topológica do Teorema de Ramsey","authors":"Márcio Telles, Jefferson Wallace","doi":"10.12957/CADMAT.2021.59455","DOIUrl":"https://doi.org/10.12957/CADMAT.2021.59455","url":null,"abstract":"Este texto apresenta uma demonstração do Teorema de Ramsey usual, usando a estrutura de um espaço topológico ultramétrico compacto, e pode ser usado como uma introdução à Teoria de Ramsey. Também fornece o contexto histórico para algumas das sutilezas de Lógica e Fundamentos envolvidas nos argumentos.  ","PeriodicalId":30267,"journal":{"name":"Cadernos do IME Serie Estatistica","volume":"50 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90932891","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 Dinâmica Simbólica e sua Aplicação em Difeomorfismos 符号动力学及其在微分同态中的应用
Cadernos do IME Serie Estatistica Pub Date : 2021-07-15 DOI: 10.12957/CADMAT.2021.59413
Karen de Almeida Fonseca Rodrigues, M. G. Villapouca
{"title":"A Dinâmica Simbólica e sua Aplicação em Difeomorfismos","authors":"Karen de Almeida Fonseca Rodrigues, M. G. Villapouca","doi":"10.12957/CADMAT.2021.59413","DOIUrl":"https://doi.org/10.12957/CADMAT.2021.59413","url":null,"abstract":"No presente artigo serão expostos conceitos e proposições da dinâmica simbólica assim como resultados que permitem sua aplicação a difeomorfismos que apresentem seu conjunto recorrente por cadeia hiperbólico. Tais conceitos serão aplicados em exemplos conhecidos de forma a ilustrar como, através da construção de matrizes de interseção geométrica e de subshifts de tipo finito, podemos obter características dinâmicas interessantes dos exemplos estudados.","PeriodicalId":30267,"journal":{"name":"Cadernos do IME Serie Estatistica","volume":"51 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81131778","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
Eventcoin: Criptomoeda para Gamificação de Eventos Eventcoin:用于事件游戏化的加密货币
Cadernos do IME Serie Estatistica Pub Date : 2021-06-18 DOI: 10.12957/cadinf.2020.52892
Alexandre Werner, C. Bertolini, S. Silveira, J. D. Da Silva
{"title":"Eventcoin: Criptomoeda para Gamificação de Eventos","authors":"Alexandre Werner, C. Bertolini, S. Silveira, J. D. Da Silva","doi":"10.12957/cadinf.2020.52892","DOIUrl":"https://doi.org/10.12957/cadinf.2020.52892","url":null,"abstract":"Blockchains funcionam como um banco de dados distribuído em uma rede peer-to-peer, onde cada usuário tem uma cópia atualizada de todo o histórico de transações realizadas. A utilização de um sistema baseado em blockchain garante confiabilidade, sem precisar de um mecanismo centralizador ou regulador. Nesse contexto, este artigo apresenta uma aplicação baseada em blockchains, combinando com o conceito de gamificação, para proporcionar uma nova maneira de validar, armazenar e distribuir certificados de eventos, tais como workshops, conferências e minicursos.","PeriodicalId":30267,"journal":{"name":"Cadernos do IME Serie Estatistica","volume":"138 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73313115","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
FOLHA DE ROSTO & APRESENTAÇÃO 封面和演示
Cadernos do IME Serie Estatistica Pub Date : 2021-06-18 DOI: 10.12957/CADINF.2018.40512
V. Werneck, Fabiano Oliveira, Igor M. Coelho
{"title":"FOLHA DE ROSTO & APRESENTAÇÃO","authors":"V. Werneck, Fabiano Oliveira, Igor M. Coelho","doi":"10.12957/CADINF.2018.40512","DOIUrl":"https://doi.org/10.12957/CADINF.2018.40512","url":null,"abstract":"Este e o primeiro volume lancado em 2018 apos um periodo com problemas estruturais relacionados a manutencao fisica da revista (crise no estado do Rio de Janeiro e greve na UERJ), impactando a capacidade da revista em manter o fluxo de publicacoes no Cadernos do IME Serie Informatica.  Felizmente, tivemos uma melhora no fluxo de submissoes que nos permite agora a apresentacao da Edicao 40 de Junho de 2018 juntamente com a Edicao 41 Especial (dezembro de 2018) que publicamos os cinco melhores artigos do Workshop de Engenharia de Requisitos 2018 (WER) realizado em setembro de 2018.. Agradecemos imensamente a paciencia dos autores. Temos conviccao de que, bons ventos virao a nosso favor, o que se demonstra na qualidade dos artigos da presente edicao.","PeriodicalId":30267,"journal":{"name":"Cadernos do IME Serie Estatistica","volume":"35 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88491489","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
JiStar: Reconciliando Código Java com Modelagem Orientada a Metas JiStar:协调Java代码与面向目标的建模
Cadernos do IME Serie Estatistica Pub Date : 2021-06-18 DOI: 10.12957/cadinf.2020.57030
A. M. Moura, Julio Cesar Sampaio do Prado Leite
{"title":"JiStar: Reconciliando Código Java com Modelagem Orientada a Metas","authors":"A. M. Moura, Julio Cesar Sampaio do Prado Leite","doi":"10.12957/cadinf.2020.57030","DOIUrl":"https://doi.org/10.12957/cadinf.2020.57030","url":null,"abstract":"Uma vez que um software tenha sido construído sem a perspectiva da engenharia de requisitos orientada a metas, como compreender suas metas para fins de evolução? Este trabalho é uma extensão da nossa proposta de modelo de rastreabilidade para trás entre código Java e o modelo de metas i* através do uso de metadados de código. Na evolução do framework JiStar, revisamos o conjunto de anotações de código Java para elementos do i*; adicionamos a exportação no formato iStarML, e; possibilitamos a geração automática ou semiautomática de modelos de metas. Avaliamos a viabilidade do nosso framework sobre um sistema real chamado RioBus e os resultados indicam a adequação dessa rastreabilidade para fins de evolução.","PeriodicalId":30267,"journal":{"name":"Cadernos do IME Serie Estatistica","volume":"19 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78808735","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
Survey Evaluation of an Approach for Dynamic Software Product Lines 动态软件产品线方法的调查评价
Cadernos do IME Serie Estatistica Pub Date : 2021-06-18 DOI: 10.12957/cadinf.2020.56857
Gabriela Guedes, Carla Schuenemann, Monique Soares
{"title":"Survey Evaluation of an Approach for Dynamic Software Product Lines","authors":"Gabriela Guedes, Carla Schuenemann, Monique Soares","doi":"10.12957/cadinf.2020.56857","DOIUrl":"https://doi.org/10.12957/cadinf.2020.56857","url":null,"abstract":"In Dynamic Software Product Lines (DSPLs) product configuration occurs at runtime. Modelling variability and configuring the product in DSPLs should consider the context and non-functional requirements (NFRs) satisfaction. ConG4DaS (Contextual Goal models For Dynamic Software product lines) is a Requirements Engineering (RE) approach for DSPL which supports (i) modelling of variability with goals, NFRs, contexts and the relationship be-tween them; and (ii) offers a product configuration based on contexts, NFRs and their priority and interactions. In this paper, we present a survey evaluation of ConG4DaS with RE and DSPL researchers in regard to the perceived usefulness. In the survey, both RE and DSPL researchers perceived ConG4DaS as useful for modelling and configuring DSPLs. However, the RE group gave more positive answers than the DSPL group.","PeriodicalId":30267,"journal":{"name":"Cadernos do IME Serie Estatistica","volume":"37 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78788912","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
Catalogando Requisitos Não-Funcionais de Sistemas Embarcados 编目嵌入式系统的非功能需求
Cadernos do IME Serie Estatistica Pub Date : 2021-06-18 DOI: 10.12957/cadinf.2020.57249
Reinaldo Silva, J. Castro, João Pimentel
{"title":"Catalogando Requisitos Não-Funcionais de Sistemas Embarcados","authors":"Reinaldo Silva, J. Castro, João Pimentel","doi":"10.12957/cadinf.2020.57249","DOIUrl":"https://doi.org/10.12957/cadinf.2020.57249","url":null,"abstract":"As dificuldades no processo de desenvolvimento de sistemas embarcados,  como  o  tratamento  de  Requisitos  Não-Funcionais(RNFs),  levaram  os desenvolvedores a buscarem na engenharia de requisitos conceitos e aplicações que apoiassem a sua construção.   Assim,  este artigo aborda a complexidade no  tratamento  de  RNFs  em  projetos  de  sistemas  embarcados  através  de  um catálogo de Requisitos Não-Funcionais para sistemas embarcados(NFR4ES). Este catálogo possui o conhecimento adquirido a partir da literatura e de especialistas do domínio, que foi organizado para a elicitação e especificação de requisitos não-funcionais para sistemas embarcados e pode ser utilizado para reúso.  Este catálogo foi avaliado por uma prova de conceito e uma pesquisa com especialistas, no qual foi apontado como útil e adequado para a elicitação e especificação de RNFs em sistemas embarcados.","PeriodicalId":30267,"journal":{"name":"Cadernos do IME Serie Estatistica","volume":"35 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85142713","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信