Resolución de problemas en distintos escenarios

El uso de herramientas informáticas en la resolución de problemas matemáticos genera escenarios donde los métodos de resolución implican distintas competencias matemáticas, en este trabajo se muestran diversas variantes en la solución de un problema geométrico. El objetivo central es el estudio de los distintos marcos mentales involucrados y el valor didáctico de la multiplicidad de enfoques. La situación que se plantea tiene que ver con la intersección de rectas y las formas de resolución están ligadas a las aplicaciones que se utilizan. Con un sistema de matemática dinámica se trabaja con objetos y listas, con un sistema de calculo simbólico se obtiene la solución mediante un comando estructurado programado específicamente y finalmente se utiliza la simetría del problema para resolverlo deductivamente. Los esquemas mentales puestos en juego en cada una de las tres formas de resolución son distintos. El primer marco esta relacionado con la organización de la información y su posterior procesamiento, en el segundo hay programación del sistema para que ejecute las operaciones necesarias y por último, el método que podríamos llamar clásico, tiene que ver con el descubrimiento de la simetría del problema

Métodos de resolución de problemas: Aplicación al diseño de sistemas inteligentes

Dos aspectos destacan entre los resultados más interesantes de la investigación en la década de los 90 en el campo de la ingeniería del conocimiento. Por un lado, se ha profundizado en el conocimiento sobre cómo las personas resuelven problemas. Esto se ha logrado por la vía empírica mediante un trabajo científico de observación, experimentación por medios computacionales y generalización. Como resultado de esta línea, actualmente se dispone de un primer conjunto de modelos formales, los llamados problem-solving methods (PSM), muy útiles en el campo de la ingeniería informática como plantillas de diseño que guían la construcción de nuevos sistemas. Por otro lado, como logro adicional en este campo de investigación, se ha creado un nuevo lenguaje descriptivo como complemento a las formas de representación tradicionales. Dicho lenguaje, que ha sido aceptado por un amplio número de autores, se sitúa en un mayor nivel de abstracción y permite la formulación de arquitecturas más complejas de sistemas basados en el conocimiento. Como autores que más han contribuido en este aspecto se pueden citar: Luc Steels que propuso los denominados componentes de la experiencia como forma de unificación de trabajos previos en este campo, Bob Wielinga, Guus Schreiber y Jost Breuker en el campo de metodologías de ingeniería del conocimiento y el equipo de Mark Musen respecto a herramientas. Dicho lenguaje descriptivo ha supuesto además el planteamiento de una nueva generación de herramientas software de ayuda a los técnicos desarrolladores para construcción de este tipo de sistemas. El propósito principal del presente texto es servir de base como fuente de información de ambos aspectos recientes del campo de la ingeniería del conocimiento. El texto está dirigido a profesionales y estudiantes del campo de la informática que conocen técnicas básicas tradicionales de representación del conocimiento. La redacción del presente texto se ha orientado en primer lugar para recopilar y uniformizar la descripción de métodos existentes en la literatura de ingeniería de conocimiento. Se ha elegido un conjunto de métodos representativo en este campo que no cubre la totalidad de los métodos existentes pero sí los más conocidos y utilizados en ingeniería del conocimiento, presentando una descripción detallada de carácter tanto teórico como práctico. El texto describe cada método utilizando una notación común a todos ellos, parcialmente basada en los estándares descriptivos seguidos por las metodologías más extendidas. Para cada método se incluyen algoritmos definidos de forma expresa para el presente texto con ejemplos detallados de operación. Ambos aspectos, la uniformización junto a la presentación detallada de la operación, suponen una novedad interesante respecto al estado actual de la literatura sobre este campo, lo que hace el texto muy adecuado para ser utilizado como libro de consulta como apoyo en la docencia de la asignatura de construcción de sistemas inteligentes.

Metodología Integrada para la resolución de problemas de Movilidad Sostenible y Accesible en Áreas Patrimoniales y Singulares

El objetivo principal del proyecto es el desarrollo de una metodología integrada de análisis del problema de la movilidad en áreas de patrimonio cultural y singular y medios tecnológicos para ofrecer respuestas optimizadas desde el punto de vista del impacto medioambiental y la accesibilidad

Un esquema adaptativo semilagrangiano con elementos finitos anisótropos para la resolución de problemas de combustión.

En este trabajo se presenta un método numérico adaptativo para la resolución de problemas temporales de Combustión en la Mecánica de Fluidos. La dis- cretización espacial de las ecuaciones está basada en el método de los elementos finitos y la discretización temporal se realiza con un esquema semilagrangiano para tratar de forma eficiente los términos convectivos. La caracteística principal de la adaptación local, es que el mallado que se construye es anisótropo, lo que le capacita para adaptarse mejor a capas límitee con un reducido coste computacional. Para ello, se define un tensor métrico en cada paso de tiempo, basado en indicadores de error construidos a priori y a posteriori. Ilustraremos el buen comportamiento del código numérico con la modelización de un problema de combustión en 2D y 3D, donde se analilzará la interacción de llamas de difusión de Hidrógeno y vórtices que pueden ser generados en un flujo turbulento.

Gramáticas lógicas: resolución de problemas en lenguaje natural

Esta tesis tiene por objeto estudiar las posibilidades de realizar en castellano tareas relativas a la resolución de problemas con sistemas basados en el conocimiento. En los dos primeros capítulos se plantea un análisis de la trayectoria seguida por las técnicas de tratamiento del lenguaje natural, prestando especial interés a los formalismos lógicos para la comprensión del lenguaje. Seguidamente, se plantea una valoración de la situación actual de los sistemas de tratamiento del lenguaje natural. Finalmente, se presenta lo que constituye el núcleo de este trabajo, un sistema llamado Sirena, que permite realizar tareas de adquisición, comprensión, recuperación y explicación de conocimiento en castellano con sistemas basados en el conocimiento. Este sistema contiene un subconjunto del castellano amplio pero simple formalizado con una gramática lógica. El significado del conocimiento se basa en la lógica y ha sido implementado en el lenguaje de programación lógica Prolog II vS. Palabras clave: Programación Lógica, Comprensión del Lenguaje Natural, Resolución de Problemas, Gramáticas Lógicas, Lingüistica Computacional, Inteligencia Artificial.---ABSTRACT---The purpose of this thesis is to study the possibi1 ities of performing in Spanish problem solving tasks with knowledge based systems. Ule study the development of the techniques for natural language processing with a particular interest in the logical formalisms that have been used to understand natural languages. Then, we present an evaluation of the current state of art in the field of natural language processing systems. Finally, we introduce the main contribution of our work, Sirena a system that allows the adquisition, understanding, retrieval and explanation of knowledge in Spanish with knowledge based systems. Sirena can deal with a large, although simple» subset of Spanish. This subset has been formalised by means of a logic grammar and the meaning of knowledge is based on logic. Sirena has been implemented in the programming language Prolog II v2. Keywords: Logic Programming, Understanding Natural Language, Problem Solving, Logic Grammars, Cumputational Linguistic, Artificial Intelligence.

Arquitectura de supercomputación en la nube para la resolución de problemas de optimización combinatoria

La tesis está focalizada en la resolución de problemas de optimización combinatoria, haciendo uso de las opciones tecnológicas actuales que ofrecen las tecnologías de la información y las comunicaciones, y la investigación operativa. Los problemas de optimización combinatoria se resuelven en general mediante programación lineal y metaheurísticas. La aplicación de las técnicas de resolución de los problemas de optimización combinatoria requiere de una elevada carga computacional, y los algoritmos deben diseñarse, por un lado pensando en la efectividad para encontrar buenas soluciones del problema, y por otro lado, pensando en un uso adecuado de los recursos informáticos disponibles. La programación lineal y las metaheurísticas son técnicas de resolución genéricas, que se pueden aplicar a diferentes problemas, partiendo de una base común que se particulariza para cada problema concreto. En el campo del desarrollo de software, los frameworks cumplen esa función de comenzar un proyecto con el trabajo general ya disponible, con la opción de cambiar o extender ese comportamiento base o genérico, para construir el sistema concreto, lo que permite reducir el tiempo de desarrollo, y amplía las posibilidades de éxito del proyecto. En esta tesis se han desarrollado dos frameworks de desarrollo. El framework ILP permite modelar y resolver problemas de programación lineal, de forma independiente al software de resolución de programación lineal que se utilice. El framework LME permite resolver problemas de optimización combinatoria mediante metaheurísticas. Tradicionalmente, las aplicaciones de resolución de problemas de optimización combinatoria son aplicaciones de escritorio que permiten gestionar toda la información de entrada del problema y resuelven el problema en local, con los recursos hardware disponibles. Recientemente ha aparecido un nuevo paradigma de despliegue y uso de aplicaciones que permite compartir recursos informáticos especializados por Internet. Esta nueva forma de uso de recursos informáticos es la computación en la nube, que presenta el modelo de software como servicio (SaaS). En esta tesis se ha construido una plataforma SaaS, para la resolución de problemas de optimización combinatoria, que se despliega sobre arquitecturas compuestas por procesadores multi-núcleo y tarjetas gráficas, y dispone de algoritmos de resolución basados en frameworks de programación lineal y metaheurísticas. Toda la infraestructura es independiente del problema de optimización combinatoria a resolver, y se han desarrollado tres problemas que están totalmente integrados en la plataforma SaaS. Estos problemas se han seleccionado por su importancia práctica. Uno de los problemas tratados en la tesis, es el problema de rutas de vehículos (VRP), que consiste en calcular las rutas de menor coste de una flota de vehículos, que reparte mercancías a todos los clientes. Se ha partido de la versión más clásica del problema y se han hecho estudios en dos direcciones. Por un lado se ha cuantificado el aumento en la velocidad de ejecución de la resolución del problema en tarjetas gráficas. Por otro lado, se ha estudiado el impacto en la velocidad de ejecución y en la calidad de soluciones, en la resolución por la metaheurística de colonias de hormigas (ACO), cuando se introduce la programación lineal para optimizar las rutas individuales de cada vehículo. Este problema se ha desarrollado con los frameworks ILP y LME, y está disponible en la plataforma SaaS. Otro de los problemas tratados en la tesis, es el problema de asignación de flotas (FAP), que consiste en crear las rutas de menor coste para la flota de vehículos de una empresa de transporte de viajeros. Se ha definido un nuevo modelo de problema, que engloba características de problemas presentados en la literatura, y añade nuevas características, lo que permite modelar los requerimientos de las empresas de transporte de viajeros actuales. Este nuevo modelo resuelve de forma integrada el problema de definir los horarios de los trayectos, el problema de asignación del tipo de vehículo, y el problema de crear las rotaciones de los vehículos. Se ha creado un modelo de programación lineal para el problema, y se ha resuelto por programación lineal y por colonias de hormigas (ACO). Este problema se ha desarrollado con los frameworks ILP y LME, y está disponible en la plataforma SaaS. El último problema tratado en la tesis es el problema de planificación táctica de personal (TWFP), que consiste en definir la configuración de una plantilla de trabajadores de menor coste, para cubrir una demanda de carga de trabajo variable. Se ha definido un modelo de problema muy flexible en la definición de contratos, que permite el uso del modelo en diversos sectores productivos. Se ha definido un modelo matemático de programación lineal para representar el problema. Se han definido una serie de casos de uso, que muestran la versatilidad del modelo de problema, y permiten simular el proceso de toma de decisiones de la configuración de una plantilla de trabajadores, cuantificando económicamente cada decisión que se toma. Este problema se ha desarrollado con el framework ILP, y está disponible en la plataforma SaaS. ABSTRACT The thesis is focused on solving combinatorial optimization problems, using current technology options offered by information technology and communications, and operations research. Combinatorial optimization problems are solved in general by linear programming and metaheuristics. The application of these techniques for solving combinatorial optimization problems requires a high computational load, and algorithms are designed, on the one hand thinking to find good solutions to the problem, and on the other hand, thinking about proper use of the available computing resources. Linear programming and metaheuristic are generic resolution techniques, which can be applied to different problems, beginning with a common base that is particularized for each specific problem. In the field of software development, frameworks fulfill this function that allows you to start a project with the overall work already available, with the option to change or extend the behavior or generic basis, to build the concrete system, thus reducing the time development, and expanding the possibilities of success of the project. In this thesis, two development frameworks have been designed and developed. The ILP framework allows to modeling and solving linear programming problems, regardless of the linear programming solver used. The LME framework is designed for solving combinatorial optimization problems using metaheuristics. Traditionally, applications for solving combinatorial optimization problems are desktop applications that allow the user to manage all the information input of the problem and solve the problem locally, using the available hardware resources. Recently, a new deployment paradigm has appeared, that lets to share hardware and software resources by the Internet. This new use of computer resources is cloud computing, which presents the model of software as a service (SaaS). In this thesis, a SaaS platform has been built for solving combinatorial optimization problems, which is deployed on architectures, composed of multi-core processors and graphics cards, and has algorithms based on metaheuristics and linear programming frameworks. The SaaS infrastructure is independent of the combinatorial optimization problem to solve, and three problems are fully integrated into the SaaS platform. These problems have been selected for their practical importance. One of the problems discussed in the thesis, is the vehicle routing problem (VRP), which goal is to calculate the least cost of a fleet of vehicles, which distributes goods to all customers. The VRP has been studied in two directions. On one hand, it has been quantified the increase in execution speed when the problem is solved on graphics cards. On the other hand, it has been studied the impact on execution speed and quality of solutions, when the problem is solved by ant colony optimization (ACO) metaheuristic, and linear programming is introduced to optimize the individual routes of each vehicle. This problem has been developed with the ILP and LME frameworks, and is available in the SaaS platform. Another problem addressed in the thesis, is the fleet assignment problem (FAP), which goal is to create lower cost routes for a fleet of a passenger transport company. It has been defined a new model of problem, which includes features of problems presented in the literature, and adds new features, allowing modeling the business requirements of today's transport companies. This new integrated model solves the problem of defining the flights timetable, the problem of assigning the type of vehicle, and the problem of creating aircraft rotations. The problem has been solved by linear programming and ACO. This problem has been developed with the ILP and LME frameworks, and is available in the SaaS platform. The last problem discussed in the thesis is the tactical planning staff problem (TWFP), which is to define the staff of lower cost, to cover a given work load. It has been defined a very rich problem model in the definition of contracts, allowing the use of the model in various productive sectors. It has been defined a linear programming mathematical model to represent the problem. Some use cases has been defined, to show the versatility of the model problem, and to simulate the decision making process of setting up a staff, economically quantifying every decision that is made. This problem has been developed with the ILP framework, and is available in the SaaS platform.

Flexibilidad en la resolución de problemas de identificación de patrones lineales en estudiantes de educación secundaria

El objetivo de este trabajo es caracterizar la flexibilidad, entendida como habilidad para modificar la estrategia de resolución de un problema cuando se modifica la demanda de la tarea, de estudiantes de educación secundaria (12-16 años) en problemas de reconocimiento de patrones con varios apartados. Se utiliza una metodología de tipo cualitativo analizando las respuestas de los estudiantes en base a dos criterios: corrección de las respuestas y estrategias de resolución, y agrupando las que presentan características semejantes. Los resultados indican tres perfiles de estudiantes en relación a la flexibilidad en el uso de estrategias y el éxito alcanzado. El primero agrupa a los estudiantes que usan sólo la estrategia recursiva; la mayor parte de ellos se bloquea al aumentar la demanda cognitiva de la tarea; predominan los estudiantes de 12-13 años. El segundo perfil corresponde a los que cambian de una estrategia recursiva a una aproximación proporcional dando un resultado incorrecto; es más frecuente en los estudiantes de 13-14 años. Finalmente, el tercer perfil agrupa a los estudiantes que al aumentar la demanda cognitiva de la tarea cambian con éxito de una estrategia recursiva a una funcional; su frecuencia aumenta con la edad. Se concluye que la flexibilidad necesaria para identificar patrones cuando se incrementa la demanda de la tarea está relacionada con los conocimientos de los estudiantes y con el control y la regulación del proceso de resolución. Por otra parte, los estudiantes más jóvenes manifestaron menor grado de flexibilidad que los más mayores.

Estrategias de resolución de problemas entre los sirios autoasentados en el Líbano

Los refugiados en el Líbano prefieren vivir fuera de los campos, donde pueden influir en su propia situación.

Las redes sociales como medio de interacción estudiante-profesor: uso de Twitter para la resolución de problemas

Con objeto de encontrar nuevas metodologías que contribuyan a la formación de los estudiantes, se planteó una actividad grupal mediante el uso de la red social Twitter. El objetivo final fue fomentar la interacción, planteando una pseudo-competición donde cada participante pudiera utilizar la información generada por el resto de participantes. La actividad se realizó con alumnos de la asignatura "Farmacología" del Grado en Óptica y Optometría. Se propuso a los estudiantes la resolución de un caso clínico real publicado en una revista científica internacional, sobre un problema relacionado con el uso de fármacos en patologías oculares. Para la resolución se facilitaron una serie de pistas secuencialmente y separadas en el tiempo. Los alumnos pudieron participar proponiendo una solución al caso o planteando preguntas para su resolución. Tanto la participación activa como el planteamiento de preguntas pertinentes para la resolución del caso y su resolución implicaron una bonificación en la nota final de la asignatura. Un 60% de los alumnos matriculados participaron en la actividad. El profesorado implicado valora de forma positiva el resultado.

Formas del discurso y razonamiento configural de estudiantes para maestros en la resolución de problemas de geometría

Este trabajo tiene como objetivo estudiar la relación entre las formas del discurso generado por los estudiantes para maestro al resolver problemas de geometría de probar y el razonamiento configural. Analizamos las respuestas de 97 estudiantes para maestro a dos problemas de probar para determinar cómo identificaban y relacionaban propiedades geométricas para deducir nuevos hechos y propiedades de las figuras. Los resultados muestran tres formas del discurso generado por los estudiantes para maestro para comunicar su resolución: gráfico, texto y una mezcla de los dos; y que las formas del discurso generado no influyen en el truncamiento del razonamiento configural que desencadena los procesos deductivos.

Evolución de los niveles de éxito en la resolución de problemas de estructura multiplicativa en Educación Primaria

Este estudio se centra en examinar la evolución en los niveles de éxito en la resolución de problemas de estructura multiplicativa por estudiantes de Educación Primaria (desde 1º a 6º curso, alumnos de 6 a 12 años). Los resultados indican que, en función de las categorías, los problemas de producto de medida fueron los más difíciles en todos los cursos y los problemas de isomorfismos de medida los más fáciles, mientras que los de comparación multiplicativa se mantuvieron entre ambos. Por el contrario, la evolución de los niveles de éxito en función de la clase de problema, no fue uniforme a lo largo de la educación primaria para los problemas de isomorfismo de medida pero sí en las otras dos categorías.

Resolución de problemas de estructura aditiva y multiplicativa

El aprendizaje de las matemáticas no es lineal ni homogéneo. Está claro que durante todo el proceso de aprendizaje de las matemáticas pasamos por una serie de niveles que indican la evolución, el proceso y el conocimiento que tenemos de las mismas. Esta heterogeneidad existente puede deberse a diferentes motivos: por un lado, los trastornos y/o las discapacidades suponen que, en la mayoría de las ocasiones, no se alcance el nivel esperado en cada una de las etapas escolares; por otro lado, en un mismo ciclo, incluso en un mismo grupo de alumnado, existen distintos niveles cognitivos y de desarrollo que dificultan el avance progresivo de los niveles de conocimiento o se consigue este de una forma más pausada a lo largo de toda la etapa escolar; además de tener en cuenta los aspectos de tipo social. Todas estas diferencias entre el alumnado de un mismo nivel se comienzan a percibir a partir del primer ciclo de Educación Primaria con los problemas de estructura aditiva y multiplicativa. Esto se consigue gracias a que estos problemas poseen una amplia variedad de estrategias de resolución, las cuales ofrecen una información muy valiosa sobre el nivel cognitivo y de desarrollo del alumno/a que permite identificar los errores y las dificultades que se tienen a la hora de resolver estos problemas. Es toda esta diversidad de conocimientos, dificultades y estrategias lo que me promueve mi interés y motivación por el tema a tratar y lo que me lleva a adentrarme en un grupo de alumnado para investigar toda esta heterogeneidad existente y poder observar de primera mano si la teoría sobre el tema se confirma o se desmiente en la realidad escolar. Asimismo, analizar si existen otras estrategias de resolución de problemas todavía sin descubrir para los problemas de estructura aditiva y multiplicativa.

Aplicación de redes neuronales para la resolución de problemas complejos de confiabilidad y riesgo

Programa de doctorado: Sistemas Inteligentes y Aplicaciones Numéricas en Ingeniería. La fecha de publicación es la fecha de lectura