Bases de Gröbner e geração de exercícios matemáticos com estrutura não determinada

Definido um enredo concreto, há, frequentemente, uma grande quantidade e variedade de exercícios que sobre ele podemos escrever. Neste artigo, apresenta-se um algoritmo que permite automatizar este processo. Para gerar exercícios matemáticos, parte-se das relações entre as variáveis presentes no enredo, calcula-se os possíveis exercícios, analisa-se a complexidade do seu processo de resolução e a sua viabilidade. O algoritmo recorre a bases de Gröbner para determinar se o exercício é resolúvel e um possível caminho de resolução. Com base na análise dos resultados obtidos, torna-se possível criar uma base de exercícios ligada a esse enredo.

Sobre as Forças

[Extrato] Em dinâmica de sistemas mecânicos é por demais importante saber identificar os diversos tipos de forças que atuam nos corpos. De uma forma geral, pode definir-se força como sendo uma grandeza física que representa a medida quantitativa da interação dos corpos que constituem as máquinas e mecanismos. Como é sabido, em dinâmica de sistemas mecânicos, as forças tendem a modificar o estado de movimento (ou repouso) dos corpos materiais (...).

Dynamic modelling and analysis of hydraulic forces in radial blood pumps

Dissertação de mestrado integrado em Biomedical Engineering Biomaterials, Biomechanics and Rehabilitation

Desenvolvimento de modelos numéricos e análise experimental de subestruturas soldadas de transformadores de potência, sujeitas a forças de curto-circuito em regime transitório

Dissertação de mestrado integrado em Engenharia Mecânica

Geração de aplicações a partir de especificações UML como fator de sucesso para o desenvolvimento de sistemas de informação

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Geração de uma rede pedonal em formato vectorial e definição de percursos pedonais em ambiente urbano: estudo de caso na Póvoa de Varzim

Dissertação de mestrado integrado em Engenharia Civil

Descodificação do De re aedificatoria de Alberti: gramáticas de forma para a análise e geração de edifícios sagrados

Teses de Doutoramento em Arquitectura.