Mejora de la calidad docente de la asignatura Fundamento de Matemáticas II de la Titulación Ingenieros de Telecomunicaciones.

Trabajo realizado en el Departamento de Matemática Aplicada y Computación de la Universidad de Valladolid, por tres profesores del mismo departamento. El objetivo del proyecto era preparar material adecuado para una mejora sustancial de la calidad docente de la asignatura Fundamentos Matemáticos II de la titulación de Ingenieros de Telecomunicaciones. Se han tenido reuniones periódicas antes y durante la impartición de esta asignatura para elaborar dicho material de manera que la clase resultará más participativa, dinámica y clara para los alumnos. Se ha utilizado el proveedor de transparencias y el cañón proyector para exponer gran parte del material elaborado. También se les ha proporcionado a los alumnos las unidades temáticas y guía de problemas y programs de simulación numérica, para afianzar los conceptos y contenidos de la asignatura y que ellos mismos pudieran observar los resultados obtenidos de una manera práctica en su ordenador. De esta manera, se ha favorecido el aprendizaje de los alumnos, disminuyendo el fracaso escolar y potenciando la eficacia de las prácticas. Se ha elaborado pues unas unidades temáticas, una guía de problemas, unos programas de simulacion numérica y un material expositivo para el aula. Para ello, se han utilizado los ordenadores del departamento, así como impresora, papel, transparencia también del mismo. El trabajo no está publicado.

Una propuesta multidisciplinar de aprovechamiento de las nuevas tecnologías en los créditos prácticos en las Escuelas de Ingeniería.

El proyecto se ha realizado en la Escuela Politécnica Superior de la universidad de Burgos. Ha sido fundamental la colaboración de profesores tanto del área de Matemática Aplicada como de Ingeniería Hidraúlica y Física Aplicada, haciendo un total de siete profesores que se puede ampliar hasta once considerando todos los que han participado. El objetivo principal del proyecto ha sido facilitar al alumno de escuelas de ingeniería el aprendizaje de las matemáticas relacionando sus conceptos con otras asignaturas de la titulación, dando un carácter global a su formación. Se ha dado una especial importancia a los créditos prácticos de las asignaturas, utilizando nuevas tecnologías, que sin duda favorecerán una docencia actualizada e integradora. El proyecto se ha desarrollado fundamentalmente sobre la asignatura troncal 'Fundamentos Matemáticos de la Ingeniería' de la titulación de Obras Públicas y su conexión con Fundamentos Físicos y varias asignaturas impartidas por el área de Ingeniería Hidraúlica. Los resultados obtenidos son extrapolables a la mayoría de las titulaciones de ingeniería de la Escuela Politécnica Superior de Burgos. Se han elaborado nueve guías didácticas interdisciplinares, exposiciones animadas que centren la atención de los alumnos en las aulas, dos bancos de problemas con carácter interdisciplinar, una guía de transparencias para realizar prácticas con calculadora, seis guiones de prácticas desarrollables en el laboratorio de matemáticas con ejemplos tomados de otras asignaturas y resueltas en el proyecto, prácticas para el laboratorio de física donde son imprescindibles conceptos y software matemático, materiales tipo test que favorecen una evaluación inicial de los alumnos y un cd donde se agrupa todo el material desarrollado utilizando nuevas tecnologías. Pendiente su publicación.

Descripción de los principales métodos para detectar el funcionamiento diferencial del ítem (DIF) en el área de la evaluación educativa.

Resumen tomado de la revista

La fotogrametría y la cartografía en la docencia de la ingeniería civil.

Resumen tomado de la publicación

Reacción a la ponencia : fenómenos y problemas en la didáctica de las matemáticas.

Se realiza una réplica al trabajo 'Fenómenos y problemas en la didáctica de las matemáticas' exponiendo la falta de generalidad de algunos problemas que en el trabajo se presentan como generales. Queda patente que en varios de los casos no hay razón para distinguir entre problemas generales y específicos debido a que el tratamiento de los problemas específicos incluye también el de los generales. Falta por tanto una delimitación clara del marco epistemológico de la didáctica de las matemáticas. Finalmente, se expone el desconocimiento de la teoría antropológica usada por el ponente estudiado. A pesar de este desconocimiento por parte del ponente, tiene lugar un cierto entendimiento de la teoría debido a que está expuesta como un sistema de fundamentos matemáticos.

Matemáticas aplicadas a las ciencias sociales.

Resumen basado en el de la publicación

El concepto de la realidad en la Física actual.

Este artículo pertenece al Monográfico: La Ciencia a las puertas del Tercer Milenio (I)

Los estilos de aprendizaje y el Espacio Europeo de Educación Superior : un paseo por el aula de Matemáticas.

Resumen basado en el de la publicación

¿Por qué no empezar a formular buenas preguntas?

El artículo forma parte de un dossier titulado: La estadística, en el aula.

Improvements in the ray tracing of implicit surfaces based on interval arithmetic

Las superfícies implícitas son útiles en muchas áreasde los gráficos por ordenador. Una de sus principales ventajas es que pueden ser fácilmente usadas como primitivas para modelado. Aun asi, no son muy usadas porque su visualización toma bastante tiempo. Cuando se necesita una visualización precisa, la mejor opción es usar trazado de rayos. Sin embargo, pequeñas partes de las superficies desaparecen durante la visualización. Esto ocurre por la truncación que se presenta en la representación en punto flotante de los ordenadores; algunos bits se puerden durante las operaciones matemáticas en los algoritmos de intersección. En este tesis se presentan algoritmos para solucionar esos problemas. La investigación se basa en el uso del Análisis Intervalar Modal el cual incluye herramientas para resolver problemas con incertidumbe cuantificada. En esta tesis se proporcionan los fundamentos matemáticos necesarios para el desarrollo de estos algoritmos.

Para o reconhecimento da especificidade do termo jurídico

Este trabalho defende de que a idéia que critérios lingüísticos e pragmáticos contribuem para o reconhecimento da especificidade do termo jurídico. Desse modo, parte do princípio que a identificação de uma terminologia está vinculada ao reconhecimento da natureza e dos propósitos daqueles que a utilizam em uma dada área de conhecimento, o que, na área jurídica, se torna evidente na expressão da normatividade da lei. A pesquisa utiliza como referencial teórico as concepções de base da Teoria Comunicativa da Terminologia, da Teoria dos Atos de Fala, aportes da Teoria Semiótica do Texto no âmbito jurídico, bem como fundamentos gerais da ciência jurídica. O corpus de estudo, a partir do qual se demonstra a validade da idéia defendida, é formado por textos legislativos. A Constituição Brasileira de 1988 foi escolhida como campo preferencial de pesquisa e é examinado como objeto da comunicação que se estabelece entre o destinador e o destinatário no âmbito do universo sócio-cultural da área jurídica. Descrevem-se os mecanismos que tecem a rede modal que estrutura esse tipo de texto, considerando-se que a enunciação da norma constitucional configura um ato de fala jurídico. Esse ato de fala é analisado na manifestação de normas de três categorias: programáticas, de atribuição de poder e competência e de conduta, destacando-se o caráter performativo dos verbos que expressam tais normas. Após a identificação do padrão morfossintático e semântico que caracteriza a sua estrutura frasal, analisam-se os elementos que vinculam o verbo, seu sujeito e complementos aos propósitos da área temática, com destaque para sua implicação pragmática. Conforme a pesquisa demonstra, tais propósitos imprimem o caráter de imperatividade àquilo que é comunicado, conferindo especificidade às unidades lexicais que integram a estrutura frasal dos verbos focalizados. Conclui-se que o verbo performativo é fator primordial no processo de atualização da especificidade dos termos na linguagem jurídica, bem como se demonstra que alguns dos verbos analisados se constituem em genuínos candidatos a termo jurídico. Finalizando a investigação, são indicados parâmetros para a marcação de elementos lingüísticos, tanto morfossintáticos como semânticos e de natureza pragmática, para o processamento informatizado da linguagem usada no Direito.

RPN-Toolbox : uma ferramenta para o desenvolvimento de estruturas de controle

A literatura disponível na área de controle de processos químicos tem dado pouca atenção para o problema da seleção de estruturas de controle, entretanto a correta escolha das variáveis controladas e manipuladas, assim como os seus pareamentos, é tão ou mesmo mais importante que o projeto do controlador propriamente dito, pois esta etapa define o desempenho alcançável para o sistema em malha fechada. Esta dissertação explora vários aspectos genéricos do controle de processos com o objetivo de introduzir os principais pontos da metodologia RPN, um método sistemático que, através de índices baseados em sólidos fundamentos matemáticos, permite avaliar o projeto de controle como um todo. O índice RPN (Número de Desempenho Robusto) indica quão potencialmente difícil é, para um dado sistema, alcançar o desempenho desejado. O produto final desse trabalho é o RPN-Toolbox, a implementação das rotinas da metodologia RPN em ambiente MATLAB® com o intuito de torná-la acessível a qualquer profissional da área de controle de processos. O RPN-Toolbox permite que todas as rotinas necessárias para proceder a análise RPN de controlabilidade sejam executadas através de comandos de linha ou utilizando uma interface gráfica. Além do desenvolvimento das rotinas para o toolbox, foi realizado um estudo do problema de controle denominado processo Tennessee-Eastman. Foi desenvolvida uma estrutura de controle para a unidade e esta foi comparada, de modo sistemático, através da metodologia RPN e de simulações dinâmicas, com outras soluções apresentadas na literatura. A partir do índice concluiu-se que a estrutura proposta é tão boa quanto a melhor das estruturas da literatura e a partir de simulações dinâmicas do processo frente a diversos distúrbios, a estrutura proposta foi a que apresentou melhores resultados.

ANAC : uma ferramenta para a automatização da análise da complexidade de algoritmos

A análise de um algoritmo tem por finalidade melhorar, quando possível, seu desempenho e dar condições de poder optar pelo melhor, dentre os algoritmos existentes, para resolver o mesmo problema. O cálculo da complexidade de algoritmos é muito dependente da classe dos algoritmos analisados. O cálculo depende da função tamanho e das operações fundamentais. Alguns aspectos do cálculo da complexidade, entretanto, não dependem do tipo de problema que o algoritmo resolve, mas somente das estruturas que o compõem, podendo, desta maneira, ser generalizados. Com base neste princípio, surgiu um método para o cálculo da complexidade de algoritmos no pior caso. Neste método foi definido que cada estrutura algorítmica possui uma equação de complexidade associada. Esse método propiciou a análise automática da complexidade de algoritmos. A análise automática de algoritmos tem como principal objetivo tornar o processo de cálculo da complexidade mais acessível. A união da metodologia para o pior caso, associada com a idéia da análise automática de programas, serviu de motivação para o desenvolvimento do protótipo de sistema ANAC, que é uma ferramenta para análise automática da complexidade de algoritmos não recursivos. O objetivo deste trabalho é implementar esta metodologia de cálculo de complexidade de algoritmos no pior caso, com a utilização de técnicas de construção de compiladores para que este sistema possa analisar algoritmos gerando como resultado final a complexidade do algoritmo dada em ordens assintóticas.

Análise da Máquina de Turing Persistente com múltiplas fitas de trabalho

Nos últimos 70 anos têm sido apresentadas várias propostas para caracteriza ção da noção intuitiva de computabilidade. O modelo de Computação mais conhecido para expressar a noção intuitiva de algoritmo é a Máquina de Turing. Esse trabalho apresenta máquinas abstratas que representam diferentes formas de comportamento computacional, sendo possível abordar a diversidade entre a Teoria da Computação Clássica (Máquina de Turing) e a Teoria da Computa- ção Interativa (Máquina de Turing Persistente). Com a evolução dos sistemas de computação, surgiu a necessidade de estender a de nição de Máquina de Turing para tratar uma diversidade de novas situações, esses problemas conduziram a uma mudança de paradigma. Neste contexto foi desenvolvido a Máquina de Turing Persistente, que é capaz de fundamentar a Teoria da Computação Interativa. Máquinas de Turing Persistentes (PeTM) são modelos que expressam comportamento interativo, esse modelo é uma extensão da Máquina de Turing. O presente trabalho tem como objetivo explorar paralelismo na Máquina de Turing Persistente, através da formalização de uma extensão paralela da PeTM e o estudo dos efeitos sobre essa extensão, variando o número de tas de trabalho. Contribui- ções desse trabalho incluem a de nição de uma máquina de Turing Persistente Paralela para modelar computação interativa e uma exposição de conceitos fundamentais e necessários para o entendimento desse novo paradigma. Os métodos e conceitos apresentados para formalização da computação na Máquina de Turing Persistente Paralela desenvolvidos nessa dissertação, podem servir como base para uma melhor compreensão da Teoria da Computação Interativa e da forma como o paralelismo pode ser especi cado em modelos teóricos.

Uma fundamentação teórica para a complexidade estrutural de problemas de otimização

Com o objetivo de desenvolver uma fundamentação teórica para o estudo formal de problemas de otimização NP-difíceis, focalizando sobre as propriedades estruturais desses problemas relacionadas à questão da aproximabilidade, este trabalho apresenta uma abordagem semântica para tratar algumas questões originalmente estudadas dentro da Teoria da Complexidade Computacional, especificamente no contexto da Complexidade Estrutural. Procede-se a uma investigação de interesse essencialmente teórico, buscando obter uma formalização para a teoria dos algoritmos aproximativos em dois sentidos. Por um lado, considera-se um algoritmo aproximativo para um problema de otimização genérico como o principal objeto de estudo, estruturando-se matematicamente o conjunto de algoritmos aproximativos para tal problema como uma ordem parcial, no enfoque da Teoria dos Domínios de Scott. Por outro lado, focaliza-se sobre as reduções entre problemas de otimização, consideradas como morfismos numa abordagem dentro da Teoria das Categorias, onde problemas de otimização e problemas aproximáveis são os objetos das novas categorias introduzidas. Dentro de cada abordagem, procura-se identificar aqueles elementos universais, tais como elementos finitos, objetos totais, problemas completos para uma classe, apresentando ainda um sistema que modela a hierarquia de aproximação para um problema de otimização NP-difícil, com base na teoria categorial da forma. Cada uma destas estruturas matemáticas fornecem fundamentação teórica em aspectos que se complementam. A primeira providencia uma estruturação interna para os objetos, caracterizando as classes de problemas em relação às propriedades de aproximabilidade de seus membros, no sentido da Teoria dos Domínios, enquanto que a segunda caracteriza-se por relacionar os objetos entre si, em termos de reduções preservando aproximação entre problemas, num ponto de vista externo, essencialmente categorial.