PINHEIRO, Ângela Maria Alves. OntologyManagementTool - uma ferramenta para gerenciamento de ontologias como teorias lógicas. 2013. 76 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2013. / Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-05-30T18:23:33Z No. of bitstreams: 1 2013_dis_amapinheiro.pdf: 2709642 bytes, checksum: f720a93925601ca802e5474df0a4501c (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-05-30T18:24:26Z (GMT) No. of bitstreams: 1 2013_dis_amapinheiro.pdf: 2709642 bytes, checksum: f720a93925601ca802e5474df0a4501c (MD5) / Made available in DSpace on 2016-05-30T18:24:26Z (GMT). No. of bitstreams: 1 2013_dis_amapinheiro.pdf: 2709642 bytes, checksum: f720a93925601ca802e5474df0a4501c (MD5) Previous issue date: 2013 / Diversos projetos nacionais e internacionais, como o dados.gov.br e o Linking Open Data, foram desenvolvidos com a finalidade de fomentar a criação da Web de dados, que surge como uma nova abordagem para efetivamente publicar, recuperar e descrever dados distribuídos na Web. Diante desse cenário, tais projetos enfrentam o desafio de criar e manter os dados estruturados que seguem os princípios do Linked Data, descritos no modelo de dados RDF e representados por ontologias. Esse desafio envolve outras tarefas complexas, tais como: reusar o vocabulário das ontologias largamente utilizadas na elaboração de novas ontologias (com a finalidade de promover a interoperabilidade e a integração entre as aplicações) e permitir a detecção de inconsistências entre os termos de uma determinada ontologia. Com o objetivo de propor uma solução para esse desafio, o problema de gerenciamento de ontologias foi abordado nesta dissertação. Na literatura, existe uma grande variedade de trabalhos disponíveis com diferentes enfoques e processos que propõem o gerenciamento de ontologias. Entretanto, poucos trabalhos preocupam-se em auxiliar o especialista do domínio na elaboração de uma ontologia que representa um entendimento correto sobre a semântica das ontologias envolvidas, visto que, para isso faz-se necessário considerar as restrições lógicas das ontologias originais e propagá-las para as novas ontologias. Além disso, foi percebido que, nos trabalhos anteriores, existe a necessidade de utilizar várias ferramentas durante o processo de gerenciamento de ontologias, o que aumenta o esforço manual a ser despendido pelo especialista do domínio na elaboração de novas ontologias. Sendo assim, a fim de oferecer algumas funcionalidades diferenciadas e de modo integrado ao gerenciamento de ontologias, foi desenvolvido um protótipo, denominado OntologyManagementTool. O protótipo desenvolvido considera as ontologias não apenas como vocabulário, mas como teorias lógicas, isto é, leva em conta também o seu conjunto de restrições. Cada ontologia manipulada é primeiramente normalizada para atender ao formalismo da Lógica Descritiva, com um número específico de restrições. Posteriormente, essa ontologia é transformada em um grafo de restrições, e assim, é possível gerenciá-la a partir de um conjunto de operações algébricas sobre o grafo. Destacam-se as seguintes operações: união, interseção, diferença eprojeção. Após a execução de cada uma dessas operações, é possível obter uma nova ontologia, bem como, o mapeamento entre as ontologias envolvidas. O trabalho proposto teve a sua aplicabilidade comprovada a partir de experimentos executados em ontologias descrevendo fontes de dados reais. Os resultados obtidos mostraram que a complexidade para gerar o grafo de restrições é linear em relação ao número de restrições das ontologias; já a complexidade do processamento das operações algébricas (interseção, diferença e projeção) é quadrática em relação ao número de vértices do grafo de restrições, sendo importante evidenciar que o fator determinante para obtenção dessa complexidade é o procedimento escolhido para lidar com as restrições de inclusão, denominado fecho transitivo.

Dissertação (mestrado profissional) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Programa de Pós-Graduação em Matemática, Florianópolis, 2015. / Made available in DSpace on 2016-04-19T04:14:43Z (GMT). No. of bitstreams: 1 337665.pdf: 361553 bytes, checksum: 1c00166f7dc19df2c0da308b5e561d2a (MD5) Previous issue date: 2015 / Neste trabalho trataremos de forma simplificada os conceitos matemáticos envolvidos em um dos algoritmos utilizados no sistema de classificação das páginas pelo Google: o PageRank. Abordaremos de maneira informal, a ideia de se atribuir uma pontuação de importância para as páginas da internet e posteriormente formalizaremos matematicamente, com o auxílio da Álgebra Linear. Por fim, apresentaremos um roteiro para se inserir, de modo intuitivo, a essência do algoritmo PageRank no Ensino Médio, estimulando os estudantes ao aprendizado de temas como Matrizes, Determinantes e Sistemas de Equações Lineares usando como objeto a internet, a qual está cada vez mais presente no dia a dia dos alunos e dessa forma servindo como fonte de inspiração para o aprendizado da matemática.<br> / Abstract : In this work we deal, in a simplified way, with the mathematical concepts involved in one of the algorithms used in Google s page ranking system called: PageRank. We discuss informally the idea of assigning an importance score for websites and then do a mathematical formalization, with the help of Linear Algebra. Finally, we present a class script to insert, intuitively, the idea of the PageRank algorithm in high school, encouraging students to learn themes such as matrices, determinants and systems of linear equations using the internet as the subject, which is becoming more present in the day-to-day lives of students and thus serving as a source of inspiration for the learning of Mathematics.

Dissertação (mestrado profissional) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Programa de Pós-Graduação em Matemática, Florianópolis, 2016. / Made available in DSpace on 2016-09-20T04:55:20Z (GMT). No. of bitstreams: 1 339471.pdf: 547461 bytes, checksum: a6bc342a0917a5fcfed2614e352b43ec (MD5) Previous issue date: 2016 / Conforme relatos históricos, é sabido que o Teorema de Pitágoras já era utilizado antes mesmo do nascimento do famoso matemático e filósofo grego. Neste trabalho, com auxílio de ferramentas da Álgebra Linear é da Geometria Analítica, será investigada uma generalização desse importante Teorema. O caso mais conhecido é o do R2 (em correspondência com o plano euclidiano), entretanto, será visto que existe um certo padrão matemático também para o R3 e R4 . Ainda, será apresentado um plano de aula, em que o Teorema de Pitágoras no R3 poderá ser visualizado e compreendido por estudantes do Ensino Médio, através do software GeoGebra e conceitos da Geometria Analítica, estudados em sala.<br> / Abstract : According to historical accounts, it is known that the Pythagoreantheorem was already used even before the birth of the famous mathematicianand Greek philosopher. In this paper, with the aid of thetools Linear Algebra and Analytic Geometry, a generalization of thisimportant theorem will be investigated. The best known case is thatof R2 (corresponding to the Euclidean plane), however, it will be seenthat there is a certain mathematical pattern also for R3 and R4. It willalso be presented in the \\Pythagoras' theorem in R3" a lesson that canbe understood by high school students through the software GeoGebraand concepts of analytic geometry , studied in class.

Dissertação (mestrado profissional) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Programa de Pós-Graduação em Matemática, Florianópolis, 2016. / Made available in DSpace on 2016-09-20T04:59:37Z (GMT). No. of bitstreams: 1 339470.pdf: 396622 bytes, checksum: 6674b54533ca1683079c5d8de0c2be85 (MD5) Previous issue date: 2016 / Neste trabalho mostraremos como encontrar uma fórmula para o termo geral da sequência de Fibonacci. Esta fórmula será encontrada de duas maneiras distintas, inicialmente utilizando a teoria de sequências definidas recursivamente e em seguida utilizando como método resultados de álgebra matricial.<br> / Abstract : In this work we show how to find a formula for the general term of the Fibonacci sequence. This formula will be obtained in two distinct ways, initially using the theory of recursively defined sequences and after that using results of matrix algebra.

Dissertação (mestrado profissional) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Programa de Pós-Graduação em Matemática, Florianópolis, 2016. / Made available in DSpace on 2016-09-20T05:01:06Z (GMT). No. of bitstreams: 1 341762.pdf: 5545712 bytes, checksum: c95ca1d6fe235c1b68bf46acb7cdcfcf (MD5) Previous issue date: 2016 / O objetivo deste trabalho é o estudo da álgebra linear aplicada na modelagem e resolução do jogo Lights Out. Para tal, faremos uma breve apresentação sobre os conceitos básicos da álgebra linear referentes a resolução de sistemas lineares. Buscamos aqui modelar um algoritmo que encontre soluções, bem como soluções ótimas para o jogo Lights Out e também mostrar uma possível aplicação matemática na educação básica.<br> / Abstract : The objective of this work is the study of linear algebra applied in modelling and solving the Lights Out game. To do this, we will make a brief presentation on the basic concepts of linear algebra related to solving linear systems of equations. Here we seek to model an algorithm to find solutions and optimal solutions for the Lights Out game and also show a possible mathematical application in basic education.

Dissertação (mestrado profissional) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Programa de Pós-Graduação em Matemática, Florianópolis, 2015. / Made available in DSpace on 2016-10-19T13:16:17Z (GMT). No. of bitstreams: 1 338254.pdf: 521472 bytes, checksum: 0de8b7f4b116405482ddf4f65b71477c (MD5) Previous issue date: 2015 / Dados um corpo K e o grafo dirigido E, definido por (E 0, E 1, r, s), em que r e s são funções aplicadas nas arestas de E, vamos definir as K-Álgebras de Caminhos e as K-Álgebras de Caminhos de Leavitt do grafo E, que denotaremos respectivamente por A(E) e L_K(E), como as K-álgebras geradas a partir dos conjuntos de arestas e vértices do grafo E, e com relações que serão definidas neste trabalho. Iremos mostrar exemplos de grafos que geram Álgebras de Caminhos e Álgebras de Caminhos de Leavitt isomorfas a estruturas matemáticas já conhecidas, de forma a entender melhor como se comportam estas álgebras. Além disso, iremos provar resultados destas álgebras que são obtidos através de informações do grafo E. O principal resultado que iremos verificar neste trabalho diz como o grafo E pode implicar nas Álgebras de Caminhos de Leavitt serem simples, ou não.<br> / Abstract : Given K a field and the directed graph E, defined by (E 0,E 1,r,s), such that r and s are functions applied to the edges of E, we'll define the Path K-Algebras and the Leavitt Path K-Algebras of the graph E, that we are going to respectively call A(E) and L_K(E), as the K-algebras generated by the sets of edges and vertices of E, with relations that will be defined in this work. We'll be seeing examples of graphs that generate Path Algebras and Leavitt Path Algebras that are isomorphic to mathematical structures already known, as a way of better understanding how these algebras work. Furthermore, we'll be proving results of these algebras based on informations obtained from the graph E. The main result that we are going to prove here show us how the graph E can make the Leavitt Path Algebra be simple or not.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas. Programa de Pós-Graduação em Física. / Made available in DSpace on 2012-10-21T02:06:18Z (GMT). No. of bitstreams: 0 / Os quons são partículas que obedecem a estatísticas intermediárias entre as estatísticas de Bose e de Fermi. O que fazemos neste trabalho é apresentar um método para se construir de maneira sistemática uma base de muitos corpos quônica restrita ao subespaço anti-simétrico do espaço quônico total. Feito isto, consideramos o hamiltoniano de Lipkin para N quons, onde discutimos o efeito do parâmetro de deformação q na energia do estado fundamental, obtida pelo método de Hartree-Fock e na energia de excitação, obtida pelos métodos de R.P.A. e Tamm-Dancoff. O efeito do parâmetro q é tornar as partículas do sistema menos ligadas.

Made available in DSpace on 2016-01-13T13:27:27Z (GMT). No. of bitstreams: 0 Previous issue date: 1995. Added 1 bitstream(s) on 2016-01-13T13:31:10Z : No. of bitstreams: 1 000137492.pdf: 3288404 bytes, checksum: 4c317edd2ef330caf43ec41bba9595c6 (MD5)

Made available in DSpace on 2014-06-11T19:24:54Z (GMT). No. of bitstreams: 0 Previous issue date: 2002-08-22Bitstream added on 2014-06-13T20:32:26Z : No. of bitstreams: 1 oliveira_vca_me_rcla.pdf: 1646750 bytes, checksum: 6cae5fb8a7a44b1b990f0e6c0d8c18d4 (MD5) / Esta pesquisa, baseada no Modelo Teórico dos Campos Semânticos (MTCS), trata da produção de significados para a noção de transformação linear em Álgebra Linear. Foi desenvolvida a partir das análises de: textos matemáticos - alguns considerados históricos e outros contemporâneos - e entrevistas com duas alunas de um curso de Matemática. Neste trabalho, identificamos possíveis significados que podem ser produzidos para a noção de transformação linear, o que pode auxiliar na prática de professores de Álgebra Linear. Além disso, poderá subsidiar discussões mais amplas sobre a formação inicial do professor de Matemática. / This research, based on the Theoretical Model of Semantic Fields (TMSF), deals with the production of meanings for the notion of linear transformation in Linear Algebra. It has been developed from the analysis of: mathematics texts - some taken as historical and others as contemporary - and interviews with two undergraduate mathematics students. In this work, we have identified possible meanings that can be produced for the notion of linear transformation. That can help the practice of teachers of Linear Algebra and might also promote more general discussion about the pre-service education of mathematics teachers.

Made available in DSpace on 2014-06-11T19:24:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-01-28Bitstream added on 2014-06-13T19:52:48Z : No. of bitstreams: 1 trevisani_fm_me_rcla.pdf: 805517 bytes, checksum: c160c9f5bfae29bdef761a9a80ad3c3d (MD5) / Pesquisas têm utilizado e discutido com frequência o ensino da álgebra por meio do trabalho com padrões. Além disso, programas governamentais buscam inserir computadores nas escolas públicas, objetivando melhorar a qualidade do ensino. Nesse contexto, apresento esta pesquisa norteada pela questão “quais são as estratégias utilizadas por alunos do 7° ano do Ensino Fundamental para generalizar padrões com o software MiGen?”. Buscando compreender as estratégias que estudantes desse ano escolar utilizam para generalizar padrões com o uso de um software denominado MiGen, que trabalha com padrões que se movimentam na tela do computador, uma investigação de caráter qualitativo foi realizada em uma escola pública da cidade de Rio Claro, interior do estado de São Paulo, Brasil. Seis atividades foram elaboradas e aplicadas a oito alunos, que responderam, em duplas, às questões dadas e interagiram com o computador ao mesmo tempo. A análise dos dados se deu com base em cinco estratégias de generalização, a saber: tentativa e erro, contagem, termo unidade, diferença e explícita. A partir dos resultados e do referencial teórico adotado, concluímos que as estratégias usadas pelos alunos foram a explícita, a termo unidade e a contagem, e que o MiGen influenciou na escolha delas para se determinar uma expressão geral de um padrão, principalmente porque este é apresentado de forma dinâmica na tela do computador. Assim, as estratégias utilizadas pelos alunos para generalizar os padrões visaram a busca pela expressão geral do padrão ao invés do trabalho com casos particulares, contribuindo para o desenvolvimento do processo de generalização algébrica dos alunos participantes da pesquisa / Research has frequently used and discussed the teaching of algebra by working with patterns. Moreover, educational policies seek to put computers in public schools, aiming to improve the quality of teaching. In this context, I present this research guided by the question what are the strategies used by grade-7 students to generalize patterns with software MiGen?. A qualitative study conducted with elementary school students in a public school in Rio Claro, at state of São Paulo, Brazil. Trying to understand the strategies that these students used to generalize patterns using software called MiGen, which works with patterns that move on the computer screen. Six activities were developed based on activities available in the software tutorial. Eight students participated in the study, conducting the activities in pairs, completing the tasks on sheets and interacting with the computer at the same time. The analysis of data was based on five strategies of generalization, namely guess-and-check, counting, whole-object, difference and explicit. From the results and the theoretical approach, I conclude that the strategies used by the students were explicit, whole-object and counting, and that MiGen influenced the choices of these strategies to determine a general expression of a pattern, mainly because this is displayed dynamically on the computer screen. Thus, the strategies used by students to generalize patterns aimed the search for the general expressions of the patterns instead of working with individual or singular cases. It contributed to the development of the process of algebraic generalization of the students