Contextualized tasks of Brazilian textbooks from a Critical Mathematics Education perspective

Contexto: Baseado em parte do nosso trabalho no grupo de pesquisa Teorema - Interlocuções entre Geometria e Educação Matemática, sobre análise de livros didáticos brasileiros, este artigo tem como objetivo (objetivos:) propor reflexões sobre se, e como, tarefas contextualizadas podem contribuir para mudar as atitudes e crenças dos estudantes em relação à Matemática e à sociedade. Design: Tendo em vista esse objetivo, com base nos pressupostos da pesquisa qualitativa, analisamos um total de 41 livros didáticos de Matemática, sendo 20 dos Anos Finais do Ensino Fundamental e 21 do Ensino Médio, todos aprovados pelo Programa Nacional do Livro e do Material Didático (PNLD) (Ambiente e participantes - não há participantes). Coleta e análise dos dados: Com os livros em mãos, buscamos tarefas contextualizadas que promovessem reflexões e discussões críticas sobre temas do cotidiano - econômicos, sociais, tecnológicos, sustentáveis, éticos, entre outros - presentes na sociedade. Para analisar as tarefas selecionadas, adotamos a Educação Matemática Crítica como lente teórica, revelando preocupações sociais, políticas e culturais, propondo a leitura do mundo com a Matemática, além de promover uma Pedagogia Libertadora, com base na justiça social. Resultados: Os resultados indicaram que as tarefas selecionadas podem promover reflexões e contribuir para a mudança de atitude dos alunos em relação à Matemática e à sociedade, porém ressaltamos que o papel do professor é fundamental neste processo. Conclusão: Tendo em vista o elevado número de tarefas presentes nos livros didáticos brasileiros, consideramos que elas poderiam apresentar um maior número de situações contextualizadas, aumentando o número de opções para o professor

Contextualized tasks of Brazilian textbooks from a critical mathematics education perspective

Considering the dimension of the National Textbook Program (PNLD) in Brazil, the textbook plays a relevant role in student formation as iy, as in many countries, defines the real curriculum. Objective: to propose reflections on whether, and how, contextualized tasks can contribute to changing students' attitudes and beliefs regarding Mathematics and society. Design: In view of this goal, based on the assumptions of qualitative research. Settings and participants:. we analyzed a total of 41 Mathematics textbooks, 20 of which were Middle School and 21 of High School, all approved by the PNLD. Data collection and analysis: We sought for contextualized tasks that promoted reflections and critical discussions about everyday themes - economic, social, technological, sustainable, ethical, among others - present in society. To analyze the selected tasks, we adopted the Critical Mathematical Education as a theoretical lens, revealing social, political, and cultural concerns, proposing the reading of the world with Mathematics, in addition to promoting a Pedagogy for Liberation, based on social justice. Results: The results indicated that the selected tasks could promote reflections and contribute to the change of students' attitude towards Mathematics and society, however we emphasize that the teacher's role is fundamental in this process. Conclusion: In view of the high number of tasks present in Brazilian textbooks, we consider that they could present a greater number of contextualized situations, increasing the number of options for the teacher

Estudos sobre o reaproveitamento de baterias íon-lítio

Trabalho de Conclusão de Curso (Graduação)A crescente produção de equipamentos eletrônicos e sua relação com a sociedade tem provocado cada vez um descarte maior desses equipamentos, devido ao passo em que a tecnologia avança. Dentre os destaques da sucata se encontram as baterias, em especial as de íon-lítio responsáveis pelo fornecimento de energia aos aparelhos celulares, e seu potencial de reciclagem, não só por questões ambientais, mas também pela importante fonte secundária de metais, quando consideramos a nãorenovabilidade destes recursos. Esta dissertação tem como objetivo a discussão de métodos de recuperação de metais em baterias de íon-lítio, apresentado as rotas pirometalúrgicas, hidrometalúrgicas e biometalúrgicas; bem como apresentar um panorama geral sobre sua invenção, desenvolvimento, disposição e reciclagem

Otimização e controle distribuído de frações de verde em malhas viárias urbanas

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica.O congestionamento urbano tem crescido notoriamente e os impactos negativos causados s#ao os mais diversos, transitando do aumento de tempo de jornada a quest#oes de sa´ude e ambientais. Uma alternativa no combate a esse efeito se d´a atrav´es do aumento da efici#encia das malhas vi´arias urbanas. Diversas estrat´egias de controle em tempo-real existem com esse intuito, sendo a Traffic-responsive Urban Control , ou TUC, de especial interesse por apresentar bons resultados pr´aticos e estar consolidando-se em grandes centros. Essa, por´em, efetua o controle de fra¸c#oes de verde de forma heur´ýstica, atrav´es de um regulador quadr´atico-linear de dois est´agios. Prop#oe-se um novo m´odulo de controle para este fim utilizando a teoria de controle preditivo, o qual considera as restri¸c#oes intr´ýnsecas do modelo de redes vi´arias explicitamente, garantindo a otimalidade do sinal de controle calculado para o horizonte de tempo observado. Posteriormente modifica-se o m´odulo de controle para que opere de forma distribu´ýda, estabelecendo condi¸c#oes de converg#encia `a solu¸c#ao ´otima. Resultados num´ericos e de simula¸c#ao da aplica¸c#ao do m´etodo a duas malhas vi´arias modelos s#ao apresentados e demonstram um desempenho ora equivalente, ora superior ao regulador original da estrat´egia TUC. Urban congestion has grown notoriously and the negative impacts range from increased journey times to health and environmental issues. A way to cope with this effect is to increase urban network efficiency. For this purpose several real-time control strategies have been developed, one being the Traffic-responsive Urban Control, or simply TUC. This approach has consolidated itself among the representative real-time control strategies and is of particular interest for its good performance in practical emplementations. Nevertheless, TUC uses a heuristic two-stage linear-quadratic regulator to perform split control. A new split control module is proposed to replace the original sub-optimal one. Based on model predictive control, this new strategy can handle the intrinsic constraints of the urban network model explicitly, therefore ensuring optimality of the solution found for the given prediction horizon. A distributed version of the proposed control is developed, along with conditions for its convergence to the centralized optimal solution. Numerical results and simulations from the application of the methods to two urban networks show that the predictive control strategies usually produce a performance better than or at least comparable to the baseline TUC regulator

Sistema de reconhecimento de ações : uso para monitoramento de pacientes hemiplégicos vítimas de acidente vascular cerebral

Monografia (graduação)—Universidade de Brasília, Faculdade UnB Gama, Engenharia de Software, 2013.O Sistema de Reconhecimento de Ações desenvolvido nesse trabalho passou por três fases importantes antes da sua construção. A primeira fase foi uma investigação bibliográfica sobre os sistemas de reconhecimento de ações já existentes procurando saber quais problemas eles solucionam, quais suas limitações e quais técnicas o mesmos utilizam. A segunda fase constitui-se da definição de como o sistema seria construído, com base nas técnicas estudadas anteriormente, assim como a escolha dos usuários alvo do sistema, que no caso são os hemiplégicos. A terceira fase foi a definição de qual é o problema a ser resolvido pelo sistema, que no caso foram as dificuldades na marcha apresentadas pelos usuários hemiplégicos. O desenvolvimento aplicou técnicas de Engenharia de Software, através do levantamento de requisitos, definição de uma arquitetura e execução de testes, para validação do algoritmo e do sistema. A metodologia de desenvolvimento, a técnica usada para a codificação, assim como as ferramentas usadas no desenvolvimentos estão descritas neste trabalho. Por fim, são listadas as limitações do sistemas, as oportunidades de melhoria, os resultados obtidos com o desenvolvimento e sugestões de trabalhos futuros. ____________________________________________________________________________ ABSTRACTThe Action Recognition System developed in this work passed through three steps before being built. The first step was the bibliographic investigation about existing action recognition systems looking for the problems that they solve, their limitations and which techniques they used. The second step was the definition of how the system was going to be built, based on techniques studied before, as well as the choice of whom would be the users of the system, in this case hemiplegics. The third step was the definition of the problem to be solved by the system, that in this case were the difficulties presented by hemiplegic users. The development applied Software Engineer techniques, such as software requirements, software architecture and tests, the tests were used to validate the algorithm and the system itself. The development methodology used, the code technique, as well as the tools used during the whole development are described in this work. Finally, were listed the limitations of the system, the improvement opportunities, the results obtained and suggestions of future workers

Ação repetitória de indébito nos tributos indiretos e nos tributos declarados inconstitucionais

O presente trabalho buscar analisar a ação repetitória de indébito nos casos dos tributos indiretos e nos tributos declarados inconstitucionais. No primeiro capítulo desta obra analisa-se o instituto da ação repetitória, sobretudo a natureza jurídica do pedido da ação repetitória, o prazo para repetição, as hipóteses e os sujeitos da referida, porém sem adentrar no procedimento processual desta ação. Em seguida analisa-se a restituição dos tributos indiretos, especificamente tenta-se responder à questão sobre a possibilidade do contribuinte de fato requerer essa repetição, em contraponto a requisição feita pelo contribuinte de direito. Verifica-se a existência de uma jurisprudência defensiva impedindo que o contribuinte de fato exerça a repetição e dificultando o acesso ao Poder Judiciário do contribuinte de direito. Após esta abordagem, estuda-se a ação repetitória no âmbito dos tributos declarados inconstitucionais, essencialmente cumpre analisar qual seria o prazo para ajuizamento desta ação quando a Corte Superior declara a inconstitucionalidade de uma exação tributária. Se deve contar a partir da declaração de inconstitucionalidade ou a partir da extinção do crédito tributário. Verifica-se a existência também de uma jurisprudência defensiva que alterou o cenário jurídico brasileiro considerando com termo a quo a data da extinção do crédito tributário

Probabilistic Inference for Model Based Control

Robotic systems are essential for enhancing productivity, automation, and performing hazardous tasks. Addressing the unpredictability of physical systems, this thesis advances robotic planning and control under uncertainty, introducing learning-based methods for managing uncertain parameters and adapting to changing environments in real-time. Our first contribution is a framework using Bayesian statistics for likelihood-free inference of model parameters. This allows employing complex simulators for designing efficient, robust controllers. The method, integrating the unscented transform with a variant of information theoretical model predictive control, shows better performance in trajectory evaluation compared to Monte Carlo sampling, easing the computational load in various control and robotics tasks. Next, we reframe robotic planning and control as a Bayesian inference problem, focusing on the posterior distribution of actions and model parameters. An implicit variational inference algorithm, performing Stein Variational Gradient Descent, estimates distributions over model parameters and control inputs in real-time. This Bayesian approach effectively handles complex multi-modal posterior distributions, vital for dynamic and realistic robot navigation. Finally, we tackle diversity in high-dimensional spaces. Our approach mitigates underestimation of uncertainty in posterior distributions, which leads to locally optimal solutions. Using the theory of rough paths, we develop an algorithm for parallel trajectory optimisation, enhancing solution diversity and avoiding mode collapse. This method extends our variational inference approach for trajectory estimation, employing diversity-enhancing kernels and leveraging path signature representation of trajectories. Empirical tests, ranging from 2-D navigation to robotic manipulators in cluttered environments, affirm our method's efficiency, outperforming existing alternatives

Path Signatures for Diversity in Probabilistic Trajectory Optimisation

Motion planning can be cast as a trajectory optimisation problem where a cost is minimised as a function of the trajectory being generated. In complex environments with several obstacles and complicated geometry, this optimisation problem is usually difficult to solve and prone to local minima. However, recent advancements in computing hardware allow for parallel trajectory optimisation where multiple solutions are obtained simultaneously, each initialised from a different starting point. Unfortunately, without a strategy preventing two solutions to collapse on each other, naive parallel optimisation can suffer from mode collapse diminishing the efficiency of the approach and the likelihood of finding a global solution. In this paper we leverage on recent advances in the theory of rough paths to devise an algorithm for parallel trajectory optimisation that promotes diversity over the range of solutions, therefore avoiding mode collapses and achieving better global properties. Our approach builds on path signatures and Hilbert space representations of trajectories, and connects parallel variational inference for trajectory estimation with diversity promoting kernels. We empirically demonstrate that this strategy achieves lower average costs than competing alternatives on a range of problems, from 2D navigation to robotic manipulators operating in cluttered environments