Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2015-01-27T14:46:39Z No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertação - Emerson José da Silva - 2014.pdf: 7690015 bytes, checksum: 913769b0dd5913e4688da0ec1491b760 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2015-01-28T12:58:40Z (GMT) No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertação - Emerson José da Silva - 2014.pdf: 7690015 bytes, checksum: 913769b0dd5913e4688da0ec1491b760 (MD5) / Made available in DSpace on 2015-01-28T12:58:40Z (GMT). No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertação - Emerson José da Silva - 2014.pdf: 7690015 bytes, checksum: 913769b0dd5913e4688da0ec1491b760 (MD5) Previous issue date: 2014-08-21 / In this work we revisit the subject Geometric Constructions into ruler and compass, using the dynamic geometry software 'Ruler and Compass' as an auxiliary tool in the teaching and learning of geometry, building examples and suggestions for activities with the software. Brought to the fore the possibility of building into ruler and compass, solutions to several problems that can be presented as algebraic expressions. Yet addressed the possibility of constructing a number, using only ruler and compass and discuss the famous and historical problems of geometrical construction: doubling the cube, squaring the circle and the trisection of the angle. We add appendices which present other possible constructions and also bring suggestions for activities with ruler and compass software. Keywords / Neste trabalho revisitamos o assunto Construções Geométricas via régua e compasso, utilizando o software de Geometria Dinâmica ‘Régua e Compasso’ como uma ferramenta auxiliar no ensino e aprendizagem de Geometria, construindo exemplos e sugestões de atividades com o software. Trouxemos à tona a possibilidade da construção, via régua e compasso, de soluções para vários problemas que podem ser apresentados por expressões algébricas. Abordamos ainda a possibilidade da construção de um número, utilizando-se apenas a régua e o compasso e discutimos os célebres e históricos problemas de construção geométrica: duplicação do cubo, quadratura do círculo e trissecção do ângulo. Acrescemos ainda apêndices onde apresentamos outros tipos de construções possíveis e também trazemos sugestões de atividades com o software ‘Régua e Compasso’.

Modelagem e controle de execução são duas abordagens do gerenciamento de processos de negócio que, embora complementares, têm se desenvolvido independentemente. Por um lado, a modelagem é normalmente conduzida por especialistas de negócio e explora aspectos semânticos do processo. Por outro lado, o controle de execução estuda mecanismos consistentes e eficientes de implementação. Este trabalho apresenta um método algorítmico que relaciona modelagem e controle de execução, por meio da geração de expressões algébricas a partir de digrafos acíclicos. Por hipótese, assumimos que modelos de processos de negócio são formados por estruturas baseadas em grafos, e mecanismos de controle de execução são baseados na interpretação de expressões de álgebra de processos. Para a geração de expressões algébricas, esta tese apresenta as propriedades topológicas de digrafos série-paralelo e define um sistema de transformação baseado em redução de digrafos. Além disso, um algoritmo de identificação de digrafos série-paralelo e geração de expressões algébricas é apresentado. O texto também discute o tratamento de digrafos que não são série-paralelo e apresenta, para alguns desses casos, soluções baseadas em mudanças topológicas. Finalmente, o algoritmo é ilustrado com o estudo de caso de uma aplicação real. / Modeling and execution control are complementary approaches of business process management that have been developed independently. On one hand, modeling is usually performed by business specialists and explores semantical aspects of the business process. On other hand, execution control studies consistent and efficient mechanisms for implementation. This work presents an algorithmic method which joins modeling and execution control through algebraic expression generation from acyclic digraphs. By hypothesis, we assume that business process models are defined by graph structures, and execution control mechanisms are based on interpretation of process algebra expressions. For algebraic expression generation, this thesis presents the topological properties of series-parallel digraphs and defines a transformation system based on digraph reduction. Therefore, we present an algorithm for identification of series-parallel digraphs and generation of algebraic expressions. This work also discusses the treatment of non-series-parallel digraphs and presents solutions based on topological changing for some cases. Finally, the algorithm is illustrated with a case study based on a real system.

Submitted by Ricardo Kucinskas (ricardo.kucinskas@gmail.com) on 2018-01-22T23:22:48Z No. of bitstreams: 2 cartabcoRicardo.pdf: 21310 bytes, checksum: fdb63965512cf2222ad8c0a892d83d4f (MD5) Dissert_RK.pdf: 28912456 bytes, checksum: b52fd80f02c5b25023a447b43e47f390 (MD5) / Approved for entry into archive by Ronildo Prado (bco.producao.intelectual@gmail.com) on 2018-02-05T15:59:44Z (GMT) No. of bitstreams: 2 cartabcoRicardo.pdf: 21310 bytes, checksum: fdb63965512cf2222ad8c0a892d83d4f (MD5) Dissert_RK.pdf: 28912456 bytes, checksum: b52fd80f02c5b25023a447b43e47f390 (MD5) / Approved for entry into archive by Ronildo Prado (bco.producao.intelectual@gmail.com) on 2018-02-05T15:59:57Z (GMT) No. of bitstreams: 2 cartabcoRicardo.pdf: 21310 bytes, checksum: fdb63965512cf2222ad8c0a892d83d4f (MD5) Dissert_RK.pdf: 28912456 bytes, checksum: b52fd80f02c5b25023a447b43e47f390 (MD5) / Made available in DSpace on 2018-02-05T16:03:17Z (GMT). No. of bitstreams: 2 cartabcoRicardo.pdf: 21310 bytes, checksum: fdb63965512cf2222ad8c0a892d83d4f (MD5) Dissert_RK.pdf: 28912456 bytes, checksum: b52fd80f02c5b25023a447b43e47f390 (MD5) Previous issue date: 2017-10-11 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / This dissertation of professional masters proposes the introduction of the Algebra study for elementary school students. Our main objective was to develop a work outlined in didactic sequence, based on instigating problems that would challenge the independent thinking, essential for the effectiveness of the meaningful learning. For this purpose, a didactic sequence will be presented by three phases: Algebraic Thinking, Algebraic Expressions and First Degree Equations. In order to develop algebraic thinking, students were mobilized to study models and regularities. After that, problems that explored the variation of quantities and the generalization of patterns led them to read and represent some algebraic expressions as well as to calculate its numeric value in various contexts. Finally, our intention was to translate situations through first degree equations, analyzing them, finding their respective roots and validating the results found. As for the development of this research and the data analysis, we were guided by a qualitative approach, since the interactive contact of the researcher as a teacher at a municipal school provided the construction of a reality of students inserted in a particular universe of beliefs, values and several meanings. As the most important result, we realized that 7th grade students initially had only intuitive conceptual notions and had some difficulty in dealing with algebraic calculations. Therefore, problem solving proved to be an effective methodology for students to appropriate Algebra as a meaningful knowledge. / Esta dissertação de mestrado profissional tem como proposta a introdução do estudo da Álgebra para alunos do ensino fundamental. Nosso maior objetivo foi desenvolver um trabalho delineado em sequência didática, a partir de problemas instigantes que desafiassem o racicíonio independente, imprescindível para a efetivação da aprendizagem significativa. Para isso, será apresentada uma sequência didática composta por três fases: Pensamento Algébrico, Expressões Algébricas e Equações do 1º Grau. A fim de desenvolver o pensamento algébrico, os alunos foram mobilizados a estudar padrões e regularidades. Após isso, problemas que exploravam a variação de grandezas e a generalização de padrões os levaram a ler e representar expressões algébricas bem como calcular seu valor numérico em variados contextos. Por fim, nossa intenção foi traduzir situações por meio de equações de primeiro grau, analisando-as, encontrando suas respectivas raízes e validando os resultados encontrados. Quanto ao desenvolvimento desta pesquisa e à análise dos dados, nos pautamos numa abordagem qualitativa, uma vez que o contato interativo do pesquisador como professor de uma escola municipal proporcionou a construção de uma realidade de alunos inseridos num universo particular de crenças, valores e significados diversos. Como principal resultado, percebemos que os alunos do 7º ano tinham inicialmente apenas noções conceituais intuitivas e apresentavam certa dificuldade para lidar com cálculos algébricos. Diante disso, a resolução de problemas mostrou-se como metodologia eficaz para que os discentes se apropriassem da Álgebra como conhecimento significativo.