1 |
Um Ambiente Gráfico para Desenvolvimento de Sotware de Controle para Robos Móveis Através de Simulação 3DHumberto Cardoso Marchezi 19 October 2007 (has links)
Made available in DSpace on 2016-08-29T15:32:26Z (GMT). No. of bitstreams: 1
tese_2367_DissertacaoMestradoHumbertoCardosoMarchezi.pdf: 2751203 bytes, checksum: 7882a3cfcb2f03cbc9b6a833cbf4a78f (MD5)
Previous issue date: 2007-10-19 / Este trabalho demonstra o desenvolvimento do IRCE (Integrated Robot Control Environment), um ambiente integrado para desenvolvimento de software de controle de uma população de robôs móveis que engloba edicão, compilacão e execucão. Ele usa as ferramentas do projeto Player/Stage/Gazebo e permite a configuracão de robôs e seus sensores além do ambiente no qual eles atuam.
O ambiente descrito permite que os algorítimos do software de controle possam ser desenvolvidos para depois serem verificados através de uma simulação 3D. Se desejado, o mesmo software de controle pode ser carregado em um robô real sem alteracões o que possibilita um ciclo mais rápido de desenvolvimento.
Além de tornar mais ágil o processo de desenvolvimento de controle para robôs móveis, o sistema também pode apoiar a pesquisa de controle inteligentes e o ensino de robótica nas universidades. Os requisitos e a estrutura para desenvolvimento desse ambiente foram levantados usando casos-de-uso e um procedimento sistemático de desenvolvimento usando a linguagem UML (Unified Modelling Language) foi adotado para especificacão e documentacão do projeto. Adicionalmente, o padrão de projeto MVC (Model-View-Controller) foi adotado pois facilita a manutenção ou a extensão do código-fonte.
Um caso de exemplo mostra a aplicação desse ambiente para o desenvolvimento de um controle simples de desvio de obstáculos para um robô móvel. A aplicacão envolvendo vários robôs é simples de se conceber. Uma das funcionalidades mais importantes do sistema é a possibilidade de descrever uma cenário virtual de forma mais interativa com uso do mouse para alterar a posição ou as propriedades do modelos 3D envolvidos na simulação. Tal cenário é por sua vez salvo no formato de arquivo world, utilizado para descrever um cenário virtual 3D no projeto Player/Stage/Gazebo.
Embora existam sistemas semelhantes, uma contribuição dessa dissertacão está em apresentar um sistema de desenvolvimento integrado de código-aberto, de fácil uso e de fácil extensibilidade.
|
2 |
Novas t?cnicas de instancia??o e produ??o de demonstra??es para a resolu??o SMTBarbosa, Haniel Moreira 05 September 2017 (has links)
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-12-12T17:57:13Z
No. of bitstreams: 1
HanielMoreiraBarbosa_TESE.pdf: 2203436 bytes, checksum: 38477e5641001f5d9fdcb2ab0ac16855 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-12-13T18:11:52Z (GMT) No. of bitstreams: 1
HanielMoreiraBarbosa_TESE.pdf: 2203436 bytes, checksum: 38477e5641001f5d9fdcb2ab0ac16855 (MD5) / Made available in DSpace on 2017-12-13T18:11:52Z (GMT). No. of bitstreams: 1
HanielMoreiraBarbosa_TESE.pdf: 2203436 bytes, checksum: 38477e5641001f5d9fdcb2ab0ac16855 (MD5)
Previous issue date: 2017-09-05 / Em muitas aplica??es de m?todos formais, como verifica??o formal, s?ntese de programas, testes
autom?ticos e an?lise de programas, ? comum depender de solucionadores de satisfatibilidade
m?dulo teorias (SMT) como backends para resolver automaticamente condi??es que precisam
ser verificadas e fornecer certificados de seus resultados. Nesta tese, objetivamos melhorar a
efici?ncia dos solucionadores SMT e aumentar sua confiabilidade. Nossa primeira contribui??o ? fornecer um arcabou?o uniforme e eficiente para raciocinar
com f?rmulas quantificadas em solucionadores SMT, em que, geralmente, v?rias t?cnicas de
instancia??o s?o empregadas para lidar com quantificadores. Mostramos que as principais t?cnicas
de instancia??o podem ser lan?adas neste arcabou?o unificador para lidar com f?rmulas
quantificadas com igualdade e fun??es n?o interpretadas. O arcabou?o baseia-se no problema
de E-ground (dis)unifica??o, uma varia??o do problema cl?ssico de E-unifica??o r?gida. Apresentamos
um c?lculo correto e completo para resolver esse problema na pr?tica: Fechamento
de Congru?ncia com Vari?veis Livres (CCFV). Uma avalia??o experimental ? apresentada, na
qual medimos o impacto das otimiza??es e t?cnicas de instancia??o baseadas no CCFV nos
solucionadores SMT veriT e CVC4. Mostramos que nossas implementa??es exibem melhorias
em rela??o ?s abordagens de ?ltima gera??o em v?rias bibliotecas de refer?ncia, decorrentes de
aplica??es do mundo real. Nossa segunda contribui??o ? uma estrutura para o processamento de f?rmulas ao mesmo
tempo que produz demonstra??es detalhadas. Nosso objetivo ? aumentar a confiabilidade nos
resultados de solucionadores SMT e sistemas de racioc?nio automatizado similares, fornecendo
justificativas que podem ser verificadas com efici?ncia de forma independente e para melhorar
sua usabilidade por aplicativos externos. Os assistentes de demonstra??o, por exemplo, geralmente
requerem a reconstru??o da justifica??o fornecida pelo solucionador em uma determinada
obriga??o de prova. Os principais componentes da nossa estrutura de produ??o de demonstra??es s?o um algoritmo
gen?rico de recurs?o contextual e um conjunto extens?vel de regras de infer?ncia. Clausifica??o,
Skolemiza??o, simplifica??es espec?ficas de teorias e expans?o das express?es "let" s?o
exemplos dessa estrutura. Com estruturas de dados adequadas, a gera??o de demonstra??es cria
apenas uma sobrecarga de tempo linear, e as demonstra??es podem ser verificadas em tempo
linear. Tamb?m implementamos a abordagem em veriT. Isso nos permitiu simplificar drasticamente
a base do c?digo, aumentando o n?mero de problemas para os quais demonstra??es
detalhadas podem ser produzidas. / In many formal methods applications it is common to rely on SMT solvers to automatically
discharge conditions that need to be checked and provide certificates of their results. In this
thesis we aim both to improve their efficiency of and to increase their reliability. Our first contribution is a uniform framework for reasoning with quantified formulas in SMT
solvers, in which generally various instantiation techniques are employed. We show that the major
instantiation techniques can be all cast in this unifying framework. Its basis is the problem
of E-ground (dis)unification, a variation of the classic rigid E-unification problem. We introduce
a decision procedure to solve this problem in practice: Congruence Closure with Free Variables
(CCFV). We measure the impact of optimizations and instantiation techniques based on CCFV
in the SMT solvers veriT and CVC4, showing that our implementations exhibit improvements
over state-of-the-art approaches in several benchmark libraries stemming from real world applications. Our second contribution is a framework for processing formulas while producing detailed
proofs. The main components of our proof producing framework are a generic contextual recursion
algorithm and an extensible set of inference rules. With suitable data structures, proof
generation creates only a linear-time overhead, and proofs can be checked in linear time. We
also implemented the approach in veriT. This allowed us to dramatically simplify the code base
while increasing the number of problems for which detailed proofs can be produced.
|
3 |
Princ?pio da Indu??o Matem?tica no Ensino M?dioNobrega, Luciano Xavier Gomes da 08 April 2013 (has links)
Made available in DSpace on 2014-12-17T15:27:45Z (GMT). No. of bitstreams: 1
LucianoXGN_DISSERT.pdf: 807577 bytes, checksum: 906f4b332a5302a928290cb0ddc72490 (MD5)
Previous issue date: 2013-04-08 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / We developed this dissertation aiming its in the process of teaching and learning of
the Principle of Mathematical Induction and we set our efforts so that the students of
the first year of the high school can assimilate the content having the knowledge seen
in the basic education as foreknowledge. With this, we seek to awake in the student
the interest on proofs, showing how much it s needed in examples that involve contents
that he is already seen / Desenvolvemos esta disserta??oo objetivando seu uso no processo de ensino e aprendizagem
do princ?pio da indu??oo matem?tica e direcionamos nossos esfor?os para que
os alunos do primeiro ano do ensino m?dio possam assimilar o conte?do tendo o conhecimento
visto na educa??o b?sica como pr?-requisito. Com isso, buscamos despertar
no aluno o interesse em demonstra??es, mostrando o quanto elas s?o necess?rias.
|
4 |
Gerenciamento de resultados e n?vel dos accruals discricion?rios trimestrais no mercado acion?rio brasileiroRodrigues, Rodolfo Maia Rosado Cascudo 16 June 2017 (has links)
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-08-02T10:58:41Z
No. of bitstreams: 1
RodolfoMaiaRosadoCascudoRodrigues_DISSERT.pdf: 1221368 bytes, checksum: 4d8ff8598c075ee77063237af6f16389 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-08-09T15:27:09Z (GMT) No. of bitstreams: 1
RodolfoMaiaRosadoCascudoRodrigues_DISSERT.pdf: 1221368 bytes, checksum: 4d8ff8598c075ee77063237af6f16389 (MD5) / Made available in DSpace on 2017-08-09T15:27:09Z (GMT). No. of bitstreams: 1
RodolfoMaiaRosadoCascudoRodrigues_DISSERT.pdf: 1221368 bytes, checksum: 4d8ff8598c075ee77063237af6f16389 (MD5)
Previous issue date: 2017-06-16 / Este estudo tem por objetivo investigar o comportamento do n?vel de gerenciamento de resultados trimestrais das companhias abertas brasileiras. Para isso, selecionou-se uma amostra de 112 empresas listadas na BM&FBovespa e estimou-se os accruals discricion?rios trimestrais entre 2012 e 2015 atrav?s do modelo Paulo como proxy para o gerenciamento. Esses accruals foram ent?o analisados quanto ?s m?dias de todos os trimestres do per?odo analisado, assim como consolidado por cada trimestre (1T, 2T, 3T e 4T). Em seguida, utilizou-se uma segunda regress?o com os accruals discricion?rios trimestrais e vari?veis dummy representativas de cada trimestre. Os resultados indicam que, em m?dia, a magnitude dos accruals discricion?rios s?o maiores no quarto trimestre, seguidos pelo terceiro trimestre, primeiro trimestre e, por ?ltimo, o segundo trimestre. A an?lise de regress?o demonstrou, ainda, que os n?veis dos accruals discricion?rios para o quarto e o primeiro trimestres se mostraram estatisticamente significantes. Esses achados sugerem que o n?vel de gerenciamento de resultados do quarto trimestre ? maior que nos demais trimestres. Al?m disso, o n?vel de gerenciamento de resultados do primeiro trimestre ? estatisticamente diferente dos n?veis do segundo e terceiro, causado, possivelmente, pela revers?o dos accruals do per?odo anterior no per?odo seguinte. O estudo contribui para a literatura ao demonstrar que o gerenciamento de resultados ocorre de maneira diferente ao longo do ano, evidenciando que os incentivos para o gerenciamento de resultados tendem a ser mais fortes nas demonstra??es anuais em rela??o ?s demonstra??es trimestrais, merecendo aten??o de investidores, analistas, reguladores, auditores e demais usu?rios da informa??o cont?bil. / This study aims to investigate the behavior of the quarterly earnings management level of Brazilian public companies. For this, a sample of 112 companies listed on the BM&FBovespa was selected and the quarterly discretionary accruals among 2012 and 2015 were estimated using Paulo model as a proxy for earnings management. These accruals averages were analyzed for all quarters in the period, as well as consolidated for each quarter (1Q, 2Q, 3Q and 4Q). Then, a second regression with the quarterly discretionary accruals and dummy variables representative of each quarter was used. The results indicate that, on average, the magnitude of discretionary accruals are higher in the fourth quarter, followed by the third quarter, first quarter and the second quarter. The regression analysis also showed that discretionary accruals for the fourth and first quarters were statistically significant. These findings suggest that the earnings management level in the fourth quarter is greater than in the other quarters. In addition, the earnings management level in the first quarter is statistically different from the levels of the second and third, possibly caused by the accruals reversal from the previous period in the next period. The study contributes to the literature by demonstrating that earnings management occurs differently throughout the year, as the incentives for earnings management tend to be stronger in the annual financial statements in relation to quarterly statements, deserving attention of investors, analysts, regulators, auditors and other users of accounting information.
|
5 |
Binômio de Newton com expoente negativo e fracionárioLeachenski, Alan Alceu 30 October 2017 (has links)
Submitted by Eunice Novais (enovais@uepg.br) on 2018-02-09T15:49:47Z
No. of bitstreams: 2
license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5)
Alan Alceu Leachenski.pdf: 2741310 bytes, checksum: f773290cc5ad5aa091902b6dcea26519 (MD5) / Made available in DSpace on 2018-02-09T15:49:47Z (GMT). No. of bitstreams: 2
license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5)
Alan Alceu Leachenski.pdf: 2741310 bytes, checksum: f773290cc5ad5aa091902b6dcea26519 (MD5)
Previous issue date: 2017-10-30 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / A discussão realizada neste trabalho gira em torno do desenvolvimento do Binômio
de Newton. Porém, não estamos interessados em explorar o desenvolvimento somente para expoentes inteiros positivos, como normalmente é feito no âmbito do Ensino Médio, onde com o auxílio de técnicas de contagem, os alunos aprendem a utilizar um dispositivo prático. Tal conteúdo é geralmente introduzido sem nenhuma demonstração, pois a demonstração para expoentes naturais, atribuída a Pascal, necessita de conhecimentos em nível mais elevado de ensino. Ao buscarmos uma demonstração puramente algébrica, que fosse válida também para expoentes negativos e fracionários, e possível de ser entendida por alunos do ensino médio, encontramos uma demonstração proposta por Euler, que apresentamos ao final do texto. Como o desenvolvimento do método binomial não se deu exclusivamente para expoentes naturais, nem para outro conjunto numérico previamente xado, acreditamos que uma abordagem que concilie a apresentação da demonstração de Euler com uma forma adequada de abordar o assunto seria viável de ser presentada em uma sala de aula do Ensino Médio, permitindo o ensino e a aplicação do desenvolvimento binomial para expoentes em um conjunto de valores (racionais) relativamente maior que o trabalhado hoje. / The discussion in this work revolves around the binomial expansion. We are not
interested in exploring the expansion only for positive integer exponents, as is in the
usual scope of a Secondary School, where with the aid of counting techniques, students learn a practical device for computations. Such content is usually introduced without any demonstration, since the demonstration for natural exponents, attributed to Pascal, requires knowledge at the highest level of teaching. When we look for a purely algebraic demonstration that is valid also for negative and rational exponents and that can be understood by students, we nd a demonstration proposed by Euler, which we present at the end of the text. For, as of its origins, the binomial expansion was not exclusively for natural exponents nor for any other previously xed numerical set, we believe that an approach that reconciles the presentation of Euler's demonstration with an appropriate way of approaching the subject in a Secondary School could be presented so to allow the teaching and application of the binomial expansion for exponents in a set of values (rationals) relatively larger than the current.
|
6 |
Probabilidade no ensino m?dioNascimento, Gilberto Fernandes do 02 August 2013 (has links)
Made available in DSpace on 2015-03-03T15:36:12Z (GMT). No. of bitstreams: 1
GilbertoFN_DISSERT.pdf: 455505 bytes, checksum: 4a0d62766525f12619bebfb4e4e9e9df (MD5)
Previous issue date: 2013-08-02 / Universidade Federal do Rio Grande do Norte / This thesis aims to show teachers and students in teaching and learning in a study
of Probability High School, a subject that sharpens the perception and understanding
of the phenomea of the random nature that surrounds us. The same aims do with
people who are involved in this process understand basic ideas of probability and,
when necessary, apply them in the real world. We seek to draw a matched between
intuition and rigor and hope therebyto contribute to the work of the teacher in the
classroom and the learning process of students, consolidating, deepening and expaning
what they have learned in previous contents / Esta disserta??o busca mostrar para docentes e discentes no processo de ensino e
aprendizagem um estudo sobre Probabilidade no ensino m?dio, um tema que agu?a
a percep??o e o entendimento dos fen?menos de natureza aleat?ria que nos cerca.
A mesma tem por objetivo fazer com que as pessoas que estejam envolvidas neste
processo compreendam as ideias b?sicas de Probabilidade e, quando necess?rio, possam
aplic?-las no mundo real. Procuramos tra?ar um paralelo entre a intui??o e o rigor e
esperamos contribuir para o trabalho do professor em sala de aula e para o processo de
aprendizagem dos alunos, solidificando, aprofundando e ampliando o que aprenderam
em conte?dos anteriores
|
7 |
Reconhecimento de seq??ncias de atividades funcionais em pacientes com acidente cascular encef?licoFran?a, Fab?ola Rodrigues de 27 October 2007 (has links)
Made available in DSpace on 2014-12-17T15:37:20Z (GMT). No. of bitstreams: 1
FabiolaRF.pdf: 409414 bytes, checksum: 9647a1527f40bf5aa208ac7620345e04 (MD5)
Previous issue date: 2007-10-27 / During the motor rehabilitation of patients with neurological pathologies, there are many factors that have an influence on the therapeutical process. It is possible that the demonstration using videotapes or photographs of movements that will be learned can assist the codification, classification and reorganization of the elements of the task in familiar diagrams and thus facilitate the process of motor rehabilitation. The aim of this study was to analyze the performance in the test of recognition of sequences of functional activities such as water drinking and hair combing presented partially (by photos) and completely (by video) to the patients with encephalic vascular accident . The sample was generated from 12 patients (62 ? 8 years) and 10 healthy subjects (53 ? 5 years), of both sex, divided in two groups for which 5 functional activities were presented partially and completely, in 4 sequences that varied between reached and not reached objectives and correct and incorrect movements, during 24 trials. The test t'Student was applied to verify differences in the recognition time between the groups, and to compare the performance between the tests carried through at 9:00 am and retests at 9:00 am and
4:00 pm. To compare the frequency between the types of reply, the test Qui-square was used. It was verified that the patients presented a greater recognition time and a lower number of correct answers than the healthy subjects, and had better performances in the recognition of the complete sequence than the partial one. Bigger frequency was observed in the reply that the objective and the movement were being presented correctly, however the healthy subjects had soon indicated the correct reply in the first trials. An improvement tendency was observed in the performance, when the stages of tests and retests had been carried through in the same schedule. According to the results, it is suggested that the patients with stroke can better recognize the correct movements of a functional activity when it is presented completely in video form, what can influence the choice of the therapeutical strategy during the process of motor rehabilitation / Durante a reabilita??o motora de pacientes com patologias neurol?gicas, existem muitos fatores que interferem no processo terap?utico. ? poss?vel que a demonstra??o utilizando videoteipes ou fotografias de movimentos a serem aprendidos possa auxiliar a codifica??o, classifica??o e reorganiza??o dos elementos da tarefa em esquemas familiares e assim facilitar o processo de reaprendizagem motora. O estudo teve como objetivo analisar o desempenho no teste de reconhecimento de seq??ncias de atividades funcionais como beber ?gua e pentear cabelo, apresentadas por partes (fotos) e de forma completa (v?deo) aos pacientes com Acidente Vascular Encef?lico (AVE). A amostra foi constituida por 12 pacientes (62 ? 8 anos) e 10 indiv?duos saud?veis (53 ? 5 anos), de ambos os sexos, divididos em dois grupos para os quais foram apresentadas 5 atividades funcionais por partes e completa, em 4 seq??ncias que variavam entre movimentos corretos e incorretos e objetivos alcan?ados e n?o alcan?ados, durante 24 tentativas. O teste t`Student foi aplicado para verificar diferen?as no tempo de resposta entre os grupos e para comparar o desempenho entre os testes realizados ?s 9:00 h e retestes ?s 9:00 e 16:00 h. Para comparar a freq??ncia entre os tipos de resposta utilizou-se o teste de Qui-quadrado. Verificou-se que os pacientes apresentaram maior tempo de reconhecimento e menor n?mero de respostas corretas do que os saud?veis e tiveram melhor desempenho no reconhecimento da seq??ncia completa do que das partes. Maior freq??ncia foi observada para a resposta que o objetivo e o movimento estavam sendo apresentados corretamente, por?m os saud?veis indicaram a resposta correta logo nas primeiras tentativas. Observou-se uma tend?ncia a melhora no desempenho quando as etapas de teste e reteste foram realizadas no mesmo hor?rio. Diante dos resultados encontrados sugere-se que os pacientes com AVE podem reconhecer melhor os movimentos corretos de uma atividade funcional quando ela ? apresentada completa em forma de v?deo, o que pode influenciar a escolha da estrat?gia terap?utica durante o processo de reaprendizagem motora
|
8 |
Reconhecimento de seq??ncias de atividades funcionais em pacientes com acidente cascular encef?licoFran?a, Fab?ola Rodrigues de 27 October 2006 (has links)
Made available in DSpace on 2014-12-17T15:37:20Z (GMT). No. of bitstreams: 1
FabiolaRF.pdf: 409414 bytes, checksum: 9647a1527f40bf5aa208ac7620345e04 (MD5)
Previous issue date: 2006-10-27 / During the motor rehabilitation of patients with neurological pathologies, there are many factors that have an influence on the therapeutical process. It is possible that the demonstration using videotapes or photographs of movements that will be learned can assist the codification, classification and reorganization of the elements of the task in familiar diagrams and thus facilitate the process of motor rehabilitation. The aim of this study was to analyze the performance in the test of recognition of sequences of functional activities such as water drinking and hair combing presented partially (by photos) and completely (by video) to the patients with encephalic vascular accident . The sample was generated from 12 patients (62 ? 8 years) and 10 healthy subjects (53 ? 5 years), of both sex, divided in two groups for which 5 functional activities were presented partially and completely, in 4 sequences that varied between reached and not reached objectives and correct and incorrect movements, during 24 trials. The test t'Student was applied to verify differences in the recognition time between the groups, and to compare the performance between the tests carried through at 9:00 am and retests at 9:00 am and
4:00 pm. To compare the frequency between the types of reply, the test Qui-square was used. It was verified that the patients presented a greater recognition time and a lower number of correct answers than the healthy subjects, and had better performances in the recognition of the complete sequence than the partial one. Bigger frequency was observed in the reply that the objective and the movement were being presented correctly, however the healthy subjects had soon indicated the correct reply in the first trials. An improvement tendency was observed in the performance, when the stages of tests and retests had been carried through in the same schedule. According to the results, it is suggested that the patients with stroke can better recognize the correct movements of a functional activity when it is presented completely in video form, what can influence the choice of the therapeutical strategy during the process of motor rehabilitation / Durante a reabilita??o motora de pacientes com patologias neurol?gicas, existem muitos fatores que interferem no processo terap?utico. ? poss?vel que a demonstra??o utilizando videoteipes ou fotografias de movimentos a serem aprendidos possa auxiliar a codifica??o, classifica??o e reorganiza??o dos elementos da tarefa em esquemas familiares e assim facilitar o processo de reaprendizagem motora. O estudo teve como objetivo analisar o desempenho no teste de reconhecimento de seq??ncias de atividades funcionais como beber ?gua e pentear cabelo, apresentadas por partes (fotos) e de forma completa (v?deo) aos pacientes com Acidente Vascular Encef?lico (AVE). A amostra foi constituida por 12 pacientes (62 ? 8 anos) e 10 indiv?duos saud?veis (53 ? 5 anos), de ambos os sexos, divididos em dois grupos para os quais foram apresentadas 5 atividades funcionais por partes e completa, em 4 seq??ncias que variavam entre movimentos corretos e incorretos e objetivos alcan?ados e n?o alcan?ados, durante 24 tentativas. O teste t`Student foi aplicado para verificar diferen?as no tempo de resposta entre os grupos e para comparar o desempenho entre os testes realizados ?s 9:00 h e retestes ?s 9:00 e 16:00 h. Para comparar a freq??ncia entre os tipos de resposta utilizou-se o teste de Qui-quadrado. Verificou-se que os pacientes apresentaram maior tempo de reconhecimento e menor n?mero de respostas corretas do que os saud?veis e tiveram melhor desempenho no reconhecimento da seq??ncia completa do que das partes. Maior freq??ncia foi observada para a resposta que o objetivo e o movimento estavam sendo apresentados corretamente, por?m os saud?veis indicaram a resposta correta logo nas primeiras tentativas. Observou-se uma tend?ncia a melhora no desempenho quando as etapas de teste e reteste foram realizadas no mesmo hor?rio. Diante dos resultados encontrados sugere-se que os pacientes com AVE podem reconhecer melhor os movimentos corretos de uma atividade funcional quando ela ? apresentada completa em forma de v?deo, o que pode influenciar a escolha da estrat?gia terap?utica durante o processo de reaprendizagem motora
|
9 |
A integra??o do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de L?gica atrav?s de estrat?gias de demonstra??o e refuta??o / The integration of the interactive tutorial TryLogic via IMS Learning Tools Interoperability: constructing a framework to teaching logic by proofs and refutationsTerrematte, Patrick Cesar Alves 03 June 2013 (has links)
Made available in DSpace on 2015-03-03T15:47:47Z (GMT). No. of bitstreams: 1
PatrickCAT_DISSERT.pdf: 4794202 bytes, checksum: 05088b21ff2be2b3c2ccec958e7e6b62 (MD5)
Previous issue date: 2013-06-03 / Logic courses represent a pedagogical challenge and the recorded number of cases of failures
and of discontinuity in them is often high. Amont other difficulties, students face
a cognitive overload to understand logical concepts in a relevant way. On that track,
computational tools for learning are resources that help both in alleviating the cognitive
overload scenarios and in allowing for the practical experimenting with theoretical
concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed
at teaching to solve logical conjectures either by proofs or refutations. The tool was
developed from the architecture of the tool TryOcaml, through support of the communication
of the web interface ProofWeb in accessing the proof assistant Coq. The goals of
TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving
problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts
related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing
interactive tasks to the students. The present study also aims at: presenting our
implementation of a formal system for refutation; describing the integration of our infrastructure
with the Virtual Learning Environment Moodle through the IMS Learning
Tools Interoperability specification; presenting the Conjecture Generator that works for
the tasks involving proving and refuting; and, finally to evaluate the learning experience
of Logic students through the application of the conjecture solving task associated to the
use of the TryLogic / A disciplina de L?gica representa um desa o tanto para docentes como para discentes, o
que em muitos casos resulta em reprova??es e desist?ncias. Dentre as dificuldades enfrentadas
pelos alunos est? a sobrecarga da capacidade cognitiva para compreender os conceitos
l?gicos de forma relevante. Neste sentido, as ferramentas computacionais de aprendizagem
s?o recursos que auxiliam a redu??o de cen?rios de sobrecarga cognitiva, como tamb?m
permitem a experi?ncia pr?tica de conceitos te?ricos. O presente trabalho prop?e uma
tutorial interativo chamado TryLogic, visando ao ensino da tarefa de Demonstra??o
ou Refuta??o (DxR) de conjecturas l?gicas. Trata-se de uma ferramenta desenvolvida a
partir da arquitetura do TryOcaml atrav?s do suporte de comunica??o da interface web
ProofWeb para acessar o assistente de demonstra??o de teoremas Coq. Os objetivos do
TryLogic s?o: (1) Apresentar um conjunto de li??es para aplicar estrat?gias heur?sticas
de an?lise de problemas em L?gica Proposicional; (2) Organizar em passo-a-passo a exposi
??o dos conte?dos de Dedu??o Natural e Sem?ntica Proposicional de forma sequencial;
e (3) Fornecer aos alunos tarefas interativas. O presente trabalho prop?e tamb?m apresentar
a nossa implementa??o de um sistema formal de refuta??o; descrever a integra??o
de nossa infraestrutura com o Ambiente Virtual de Aprendizagem Moodle atrav?s da especi
ca??o IMS Learning Tools Interoperability ; apresentar o Gerador de Conjecturas de
tarefas de Demonstra??o e Refuta??o e, por m, avaliar a experi?ncia da aprendizagem
de alunos de L?gica atrav?s da aplica??o da tarefa de DxR em associa??o ? utiliza??o do
TryLogic
|
10 |
Um estudo sobre o ensino-aprendizagem das demonstra??es matem?ticasSousa, Enne Karol Venancio de 25 October 2010 (has links)
Made available in DSpace on 2014-12-17T15:04:54Z (GMT). No. of bitstreams: 1
EnneKVS_DISSERT.pdf: 2363484 bytes, checksum: 6f0cc9586e37c59c35e9c468df85b7d1 (MD5)
Previous issue date: 2010-10-25 / Demonstrations are fundamental instruments for Mathematics and, as such, are frequently used by mathematicians, math teachers and students. In fact, demonstrations are part of every Mathematics teaching environment, because Mathematics considers something true when it can be demonstrated. This is in contrast to other fields of knowledge that employ observation and experimentation to validate truth. This dissertation presents a study of the teaching and learning of demonstrations in Mathematics, describing a Teaching Module applied in a course on the Theory of Numbers offered by the Mathematics Department of the Universidade Federal do Rio Grande do Norte for mathematics majors. The objective of the dissertation was to propose and test a Teaching Module that can serve as a model for teaching demonstrations. The Teaching Module consisted of the following five steps: the application of a survey to determine the students‟ profiles and their previous knowledge of mathematical language and techniques of demonstration; the analysis of a series of dialogues containing arguments in everyday language; the investigation and analysis of the structure of some important techniques of demonstration; a written assessment; and, finally, an interview to further verify the principal results of the Teaching Module. The analysis of the data obtained though the classroom activities, written assessments and interviews led to the conclusion that there was a significant amount of assimilation of the issue at the level of relational understanding, (SKEMP, 1980). These instruments verified that the students attained considerable improvement in their use of mathematical language and of the techniques of demonstration presented. Thus, the evidence supports the conclusion that the proposed Teaching Module is an effective means for the teaching/learning of mathematical demonstration and, as such, provides a methodological guide which may lay the foundations for a new approach to this important subject / As demonstra??es s?o ferramentas fundamentais para a Matem?tica e, como tal, s?o frequentemente usados por matem?ticos, professores de matem?tica e estudantes. De fato, as demonstra??es fazem parte de todo o contexto de ensino de Matem?tica, porque na Matem?tica consideramos algo como verdadeiro quando isso pode ser demonstrado. Diferentemente dos outros campos do conhecimento que utilizam a observa??o e a experimenta??o para validar suas verdades. A seguinte disserta??o apresenta um estudo sobre o ensino e a aprendizagem das demonstra??es em Matem?tica, descrevendo um M?dulo de Ensino aplicado em um curso de Teoria dos N?meros oferecido pelo Departamento de Matem?tica da Universidade Federal do Rio Grande do Norte para alunos do Ensino Superior. A disserta??o teve como objetivo propor e testar um M?dulo de Ensino que pudesse servir de modelo para o ensino das demonstra??es matem?ticas. O M?dulo de Ensino consistiu nas seguintes cinco etapas: aplica??o de uma entrevista para determinar o perfil dos alunos e seus conhecimentos pr?vios sobre linguagem matem?tica e t?cnicas de demonstra??o; an?lise de uma s?rie de di?logos utilizando argumentos na linguagem quotidiana; investiga??o e an?lise da estrutura de algumas t?cnicas importantes de demonstra??es; avalia??o escrita e, finalmente, uma entrevista para comprovar os principais resultados do M?dulo de Ensino. A an?lise dos dados obtidos por meio das atividades de sala de aula, avalia??es escritas e entrevistas nos levaram ? conclus?o de que havia uma quantidade significativa de assimila??o do assunto a n?vel de compreens?o relacional, (SKEMP, 1980). Estes instrumentos verificaram que os alunos obtiveram uma melhora consider?vel no uso da linguagem matem?tica e das t?cnicas de demonstra??o apresentadas. Assim, as evidencias levam ? conclus?o que a proposta do M?dulo de Ensino ? um meio eficaz para o ensino/aprendizagem das demonstra??es matem?ticas e, como tal, fornece um guia metodol?gico que pode lan?ar as bases para uma nova abordagem a esse importante tema
|
Page generated in 0.0383 seconds