Modelos para la simulación dinámica del crecimiento y desarrollo de pastos

Este trabajo recoge una revisión de los modelos para la simulación dinámica del crecimiento y desarrollo de los pastos y su utilización con animales en pastoreo. Los modelos son herramientas para la toma de decisiones en la explotación ganadera y para la investigación. Un modelo dinámico es la representación matemática de un sistema pastoral que evoluciona en el tiempo forzado por un conjunto de variables conductoras. La simulación es el proceso de ejecución de un modelo por el cual se obtiene unos resultados sobre el estado de cada componente. Los principales componentes de los modelos son: el clima o meteorología, el suelo, la vegetación, los animales y el gestor o tomador de decisiones. En este artículo se presentan los principales procesos modelados sobre el crecimiento y desarrollo de la vegetación herbácea y leñosa, y también algunos referentes a la ingesta de los animales. El desarrollo de modelos es un proceso iterativo nunca concluso, este tipo de modelos trata de explicar el comportamiento del sistema y por tanto parte de la variabilidad que presenta no llega a ser explicada por el modelo al ser una simplificación del sistema real. Estos modelos de simulación han ido evolucionando desde simples relaciones matemáticas a complejos sistemas de ecuaciones diferenciales que tiene una representación sobre el territorio, llegándose a los modelos multi-agente, donde confluyen en el mismo espacio diferentes tomadores de decisiones, tipos de vegetación y animales. Los modelos son posibles por la existencia de un mejor conocimiento y descripción de los componentes y procesos que aparecen en los sistemas agrosilvopastorales.

Contribución al estudio del criptoanálisis y diseño de los criptosistemas caóticos

The extraordinary increase of new information technologies, the development of Internet, the electronic commerce, the e-government, mobile telephony and future cloud computing and storage, have provided great benefits in all areas of society. Besides these, there are new challenges for the protection of information, such as the loss of confidentiality and integrity of electronic documents. Cryptography plays a key role by providing the necessary tools to ensure the safety of these new media. It is imperative to intensify the research in this area, to meet the growing demand for new secure cryptographic techniques. The theory of chaotic nonlinear dynamical systems and the theory of cryptography give rise to the chaotic cryptography, which is the field of study of this thesis. The link between cryptography and chaotic systems is still subject of intense study. The combination of apparently stochastic behavior, the properties of sensitivity to initial conditions and parameters, ergodicity, mixing, and the fact that periodic points are dense, suggests that chaotic orbits resemble random sequences. This fact, and the ability to synchronize multiple chaotic systems, initially described by Pecora and Carroll, has generated an avalanche of research papers that relate cryptography and chaos. The chaotic cryptography addresses two fundamental design paradigms. In the first paradigm, chaotic cryptosystems are designed using continuous time, mainly based on chaotic synchronization techniques; they are implemented with analog circuits or by computer simulation. In the second paradigm, chaotic cryptosystems are constructed using discrete time and generally do not depend on chaos synchronization techniques. The contributions in this thesis involve three aspects about chaotic cryptography. The first one is a theoretical analysis of the geometric properties of some of the most employed chaotic attractors for the design of chaotic cryptosystems. The second one is the cryptanalysis of continuos chaotic cryptosystems and finally concludes with three new designs of cryptographically secure chaotic pseudorandom generators. The main accomplishments contained in this thesis are: v Development of a method for determining the parameters of some double scroll chaotic systems, including Lorenz system and Chua’s circuit. First, some geometrical characteristics of chaotic system have been used to reduce the search space of parameters. Next, a scheme based on the synchronization of chaotic systems was built. The geometric properties have been employed as matching criterion, to determine the values of the parameters with the desired accuracy. The method is not affected by a moderate amount of noise in the waveform. The proposed method has been applied to find security flaws in the continuous chaotic encryption systems. Based on previous results, the chaotic ciphers proposed by Wang and Bu and those proposed by Xu and Li are cryptanalyzed. We propose some solutions to improve the cryptosystems, although very limited because these systems are not suitable for use in cryptography. Development of a method for determining the parameters of the Lorenz system, when it is used in the design of two-channel cryptosystem. The method uses the geometric properties of the Lorenz system. The search space of parameters has been reduced. Next, the parameters have been accurately determined from the ciphertext. The method has been applied to cryptanalysis of an encryption scheme proposed by Jiang. In 2005, Gunay et al. proposed a chaotic encryption system based on a cellular neural network implementation of Chua’s circuit. This scheme has been cryptanalyzed. Some gaps in security design have been identified. Based on the theoretical results of digital chaotic systems and cryptanalysis of several chaotic ciphers recently proposed, a family of pseudorandom generators has been designed using finite precision. The design is based on the coupling of several piecewise linear chaotic maps. Based on the above results a new family of chaotic pseudorandom generators named Trident has been designed. These generators have been specially designed to meet the needs of real-time encryption of mobile technology. According to the above results, this thesis proposes another family of pseudorandom generators called Trifork. These generators are based on a combination of perturbed Lagged Fibonacci generators. This family of generators is cryptographically secure and suitable for use in real-time encryption. Detailed analysis shows that the proposed pseudorandom generator can provide fast encryption speed and a high level of security, at the same time. El extraordinario auge de las nuevas tecnologías de la información, el desarrollo de Internet, el comercio electrónico, la administración electrónica, la telefonía móvil y la futura computación y almacenamiento en la nube, han proporcionado grandes beneficios en todos los ámbitos de la sociedad. Junto a éstos, se presentan nuevos retos para la protección de la información, como la suplantación de personalidad y la pérdida de la confidencialidad e integridad de los documentos electrónicos. La criptografía juega un papel fundamental aportando las herramientas necesarias para garantizar la seguridad de estos nuevos medios, pero es imperativo intensificar la investigación en este ámbito para dar respuesta a la demanda creciente de nuevas técnicas criptográficas seguras. La teoría de los sistemas dinámicos no lineales junto a la criptografía dan lugar a la ((criptografía caótica)), que es el campo de estudio de esta tesis. El vínculo entre la criptografía y los sistemas caóticos continúa siendo objeto de un intenso estudio. La combinación del comportamiento aparentemente estocástico, las propiedades de sensibilidad a las condiciones iniciales y a los parámetros, la ergodicidad, la mezcla, y que los puntos periódicos sean densos asemejan las órbitas caóticas a secuencias aleatorias, lo que supone su potencial utilización en el enmascaramiento de mensajes. Este hecho, junto a la posibilidad de sincronizar varios sistemas caóticos descrita inicialmente en los trabajos de Pecora y Carroll, ha generado una avalancha de trabajos de investigación donde se plantean muchas ideas sobre la forma de realizar sistemas de comunicaciones seguros, relacionando así la criptografía y el caos. La criptografía caótica aborda dos paradigmas de diseño fundamentales. En el primero, los criptosistemas caóticos se diseñan utilizando circuitos analógicos, principalmente basados en las técnicas de sincronización caótica; en el segundo, los criptosistemas caóticos se construyen en circuitos discretos u ordenadores, y generalmente no dependen de las técnicas de sincronización del caos. Nuestra contribución en esta tesis implica tres aspectos sobre el cifrado caótico. En primer lugar, se realiza un análisis teórico de las propiedades geométricas de algunos de los sistemas caóticos más empleados en el diseño de criptosistemas caóticos vii continuos; en segundo lugar, se realiza el criptoanálisis de cifrados caóticos continuos basados en el análisis anterior; y, finalmente, se realizan tres nuevas propuestas de diseño de generadores de secuencias pseudoaleatorias criptográficamente seguros y rápidos. La primera parte de esta memoria realiza un análisis crítico acerca de la seguridad de los criptosistemas caóticos, llegando a la conclusión de que la gran mayoría de los algoritmos de cifrado caóticos continuos —ya sean realizados físicamente o programados numéricamente— tienen serios inconvenientes para proteger la confidencialidad de la información ya que son inseguros e ineficientes. Asimismo una gran parte de los criptosistemas caóticos discretos propuestos se consideran inseguros y otros no han sido atacados por lo que se considera necesario más trabajo de criptoanálisis. Esta parte concluye señalando las principales debilidades encontradas en los criptosistemas analizados y algunas recomendaciones para su mejora. En la segunda parte se diseña un método de criptoanálisis que permite la identificaci ón de los parámetros, que en general forman parte de la clave, de algoritmos de cifrado basados en sistemas caóticos de Lorenz y similares, que utilizan los esquemas de sincronización excitador-respuesta. Este método se basa en algunas características geométricas del atractor de Lorenz. El método diseñado se ha empleado para criptoanalizar eficientemente tres algoritmos de cifrado. Finalmente se realiza el criptoanálisis de otros dos esquemas de cifrado propuestos recientemente. La tercera parte de la tesis abarca el diseño de generadores de secuencias pseudoaleatorias criptográficamente seguras, basadas en aplicaciones caóticas, realizando las pruebas estadísticas, que corroboran las propiedades de aleatoriedad. Estos generadores pueden ser utilizados en el desarrollo de sistemas de cifrado en flujo y para cubrir las necesidades del cifrado en tiempo real. Una cuestión importante en el diseño de sistemas de cifrado discreto caótico es la degradación dinámica debida a la precisión finita; sin embargo, la mayoría de los diseñadores de sistemas de cifrado discreto caótico no ha considerado seriamente este aspecto. En esta tesis se hace hincapié en la importancia de esta cuestión y se contribuye a su esclarecimiento con algunas consideraciones iniciales. Ya que las cuestiones teóricas sobre la dinámica de la degradación de los sistemas caóticos digitales no ha sido totalmente resuelta, en este trabajo utilizamos algunas soluciones prácticas para evitar esta dificultad teórica. Entre las técnicas posibles, se proponen y evalúan varias soluciones, como operaciones de rotación de bits y desplazamiento de bits, que combinadas con la variación dinámica de parámetros y con la perturbación cruzada, proporcionan un excelente remedio al problema de la degradación dinámica. Además de los problemas de seguridad sobre la degradación dinámica, muchos criptosistemas se rompen debido a su diseño descuidado, no a causa de los defectos esenciales de los sistemas caóticos digitales. Este hecho se ha tomado en cuenta en esta tesis y se ha logrado el diseño de generadores pseudoaleatorios caóticos criptogr áficamente seguros.

Simulación de excavaciones mediante un método de acoplamiento elementos finitos – elementos de contorno

Cuando se modelan sistemas físicos no lineales de extensión infinita, como las excavaciones, se hace necesario simular adecuadamente tanto la solución en el infinito como la no linealidad. El método de elementos finitos es una herramienta efectiva para representar la no linealidad. Sin embargo, el tratamiento del campo infinito truncando el dominio es bastante cuestionable. Por otro lado, el método de elementos de contorno es adecuado para simular el comportamiento en el infinito sin truncamientos. Por combinación de ambos métodos, se puede obtener un uso adecuado de las ventajas de cada uno. En este trabajo se proponen diversas posibilidades de acoplamiento entre los dos métodos. Se desarrollan algoritmos de acoplamiento basados en una descomposición de dominios y se comparan con los esquemas más tradicionales de acoplamiento.

Simulación numérica de un problema de contaminación atmosférica

La ecuación en derivadas parciales de advección difusión con reacción química es la base de los modelos de dispersión de contaminantes en la atmósfera, y los diferentes métodos numéricos empleados para su resolución han sido objeto de amplios estudios a lo largo de su desarrollo. En esta Tesis se presenta la implementación de un nuevo método conservativo para la resolución de la parte advectiva de la ecuación en derivadas parciales que modela la dispersión de contaminantes dentro del modelo mesoescalar de transporte químico CHIMERE. Este método está basado en una técnica de volúmenes finitos junto con una interpolación racional. La ventaja de este método es la conservación exacta de la masa transportada debido al empleo de la ley de conservación de masas. Para ello emplea una formulación de flujo basado en el cálculo de la integral ponderada dentro de cada celda definida para la discretización del espacio en el método de volúmenes finitos. Los resultados numéricos obtenidos en las simulaciones realizadas (implementando el modelo conservativo para la advección en el modelo CHIMERE) se han comparado con los datos observados de concentración de contaminantes registrados en la red de estaciones de seguimiento y medición distribuidas por la Península Ibérica. Los datos estadísticos de medición del error, la media normalizada y la media absoluta normalizada del error, presentan valores que están dentro de los rangos propuestos por la EPA para considerar el modelo preciso. Además, se introduce un nuevo método para resolver la parte advectivadifusiva de la ecuación en derivadas parciales que modeliza la dispersión de contaminantes en la atmósfera. Se ha empleado un método de diferencias finitas de alto orden para resolver la parte difusiva de la ecuación de transporte de contaminantes junto con el método racional conservativo para la parte advectiva en una y dos dimensiones. Los resultados obtenidos de la aplicación del método a diferentes situaciones incluyendo casos académicos y reales han sido comparados con la solución analítica de la ecuación de advección-difusión, demostrando que el nuevo método proporciona un resultado preciso para aproximar la solución. Por último, se ha desarrollado un modelo completo que contempla los fenómenos advectivo y difusivo con reacción química, usando los métodos anteriores junto con una técnica de diferenciación regresiva (BDF2). Esta técnica consiste en un método implícito multipaso de diferenciación regresiva de segundo orden, que nos permite resolver los problemas rígidos típicos de la química atmosférica, modelizados a través de sistemas de ecuaciones diferenciales ordinarias. Este método hace uso de la técnica iterativa Gauss- Seidel para obtener la solución de la parte implícita de la fórmula BDF2. El empleo de la técnica de Gauss-Seidel en lugar de otras técnicas comúnmente empleadas, como la iteración por el método de Newton, nos proporciona rapidez de cálculo y bajo consumo de memoria, ideal para obtener modelos operativos para la resolución de la cinética química atmosférica. ABSTRACT Extensive research has been performed to solve the atmospheric chemicaladvection- diffusion equation and different numerical methods have been proposed. This Thesis presents the implementation of an exactly conservative method for the advection equation in the European scale Eulerian chemistry transport model CHIMERE based on a rational interpolation and a finite volume algorithm. The advantage of the method is that the cell-integrated average is predicted via a flux formulation, thus the mass is exactly conserved. Numerical results are compared with a set of observation registered at some monitoring sites in Spain. The mean normalized bias and the mean normalized absolute error present values that are inside the range to consider an accurate model performance. In addition, it has been introduced a new method to solve the advectiondiffusion equation. It is based on a high-order accurate finite difference method to solve de diffusion equation together with a rational interpolation and a finite volume to solve the advection equation in one dimension and two dimensions. Numerical results obtained from solving several problems include academic and real atmospheric problems have been compared with the analytical solution of the advection-diffusion equation, showing that the new method give an efficient algorithm for solving such problems. Finally, a complete model has been developed to solve the atmospheric chemical-advection-diffusion equation, adding the conservative method for the advection equation, the high-order finite difference method for the diffusion equation and a second-order backward differentiation formula (BDF2) to solve the atmospheric chemical kinetics. The BDF2 is an implicit, second order multistep backward differentiation formula used to solve the stiff systems of ordinary differential equations (ODEs) from atmospheric chemistry. The Gauss-Seidel iteration is used for approximately solving the implicitly defined BDF solution, giving a faster tool than the more commonly used iterative modified Newton technique. This method implies low start-up costs and a low memory demand due to the use of Gauss-Seidel iteration.

Integración de modelos numéricos de glaciares y procesado de datos de georradar en un sistema de información geográfica

Los modelos de termomecánica glaciar están definidos mediante sistemas de ecuaciones en derivadas parciales que establecen los principios básicos de conservación de masa, momento lineal y energía, acompañados por una ley constitutiva que define la relación entre las tensiones a las que está sometido el hielo glaciar y las deformaciones resultantes de las mismas. La resolución de estas ecuaciones requiere la definición precisa del dominio (la geometría del glaciar, obtenido a partir de medidas topográficas y de georradar), así como contar con un conjunto de condiciones de contorno, que se obtienen a partir de medidas de campo de las variables implicadas y que constituyen un conjunto de datos geoespaciales. El objetivo fundamental de esta tesis es desarrollar una serie de herramientas que nos permitan definir con precisión la geometría del glaciar y disponer de un conjunto adecuado de valores de las variables a utilizar como condiciones de contorno del problema. Para ello, en esta tesis se aborda la recopilación, la integración y el estudio de los datos geoespaciales existentes para la Península Hurd, en la Isla Livingston (Antártida), generados desde el año 1957 hasta la actualidad, en un sistema de información geográfica. Del correcto tratamiento y procesamiento de estos datos se obtienen otra serie de elementos que nos permiten realizar la simulación numérica del régimen termomecánico presente de los glaciares de Península Hurd, así como su evolución futura. Con este objetivo se desarrolla en primer lugar un inventario completo de datos geoespaciales y se realiza un procesado de los datos capturados en campo, para establecer un sistema de referencia común a todos ellos. Se unifican además todos los datos bajo un mismo formato estándar de almacenamiento e intercambio de información, generándose los metadatos correspondientes. Se desarrollan asimismo técnicas para la mejora de los procedimientos de captura y procesado de los datos, de forma que se minimicen los errores y se disponga de estimaciones fiables de los mismos. El hecho de que toda la información se integre en un sistema de información geográfica (una vez producida la normalización e inventariado de la misma) permite su consulta rápida y ágil por terceros. Además, hace posible efectuar sobre ella una serie de operaciones conducentes a la obtención de nuevas capas de información. El análisis de estos nuevos datos permite explicar el comportamiento pasado de los glaciares objeto de estudio y proporciona elementos esenciales para la simulación de su comportamiento futuro. ABSTRACT Glacier thermo-mechanical models are defined by systems of partial differential equations stating the basic principles of conservation of mass, momentum and energy, accompanied by a constitutive principle that defines the relationship between the stresses acting on the ice and the resulting deformations. The solution of these equations requires an accurate definition of the model domain (the geometry of the glacier, obtained from topographical and ground penetrating radar measurements), as well as a set of boundary conditions, which are obtained from measurements of the variables involved and define a set of geospatial data. The main objective of this thesis is to develop tools able to provide an accurate definition of the glacier geometry and getting a proper set of values for the variables to be used as boundary conditions of our problem. With the above aim, this thesis focuses on the collection, compilation and study of the geospatial data existing for the Hurd Peninsula on Livingston Island, Antarctica, generated since 1957 to present, into a geographic information system. The correct handling and processing of these data results on a new collection of elements that allow us to numerically model the present state and the future evolution of Hurd Peninsula glaciers. First, a complete inventory of geospatial data is developed and the captured data are processed, with the aim of establishing a reference system common to all collections of data. All data are stored under a common standard format, and the corresponding metadata are generated to facilitate the information exchange. We also develop techniques for the improvement of the procedures used for capturing and processing the data, such that the errors are minimized and better estimated. All information is integrated into a geographic information system (once produced the standardization and inventory of it). This allows easy and fast viewing and consulting of the data by third parties. Also, it is possible to carry out a series of operations leading to the production of new layers of information. The analysis of these new data allows to explain past glacier behavior, and provides essential elements for explaining its future evolution.

Analysis and optimization for a hexapod walking robot for planetary missions

La tecnología de las máquinas móviles autónomas ha sido objeto de una gran investigación y desarrollo en las últimas décadas. En muchas actividades y entornos, los robots pueden realizar operaciones que son duras, peligrosas o simplemente imposibles para los humanos. La exploración planetaria es un buen ejemplo de un entorno donde los robots son necesarios para realizar las tareas requeridas por los científicos. La reciente exploración de Marte con robots autónomos nos ha mostrado la capacidad de las nuevas tecnologías. Desde la invención de la rueda, que esta acertadamente considerado como el mayor invento en la historia del transporte humano, casi todos los vehículos para exploración planetaria han empleado las ruedas para su desplazamiento. Las nuevas misiones planetarias demandan maquinas cada vez mas complejas. En esta Tesis se propone un nuevo diseño de un robot con patas o maquina andante que ofrecerá claras ventajas en entornos extremos. Se demostrara que puede desplazarse en los terrenos donde los robots con ruedas son ineficientes, convirtiéndolo en una elección perfecta para misiones planetarias. Se presenta una reseña histórica de los principales misiones espaciales, en particular aquellos dirigidos a la exploración planetaria. A través de este estudio será posible analizar las desventajas de los robots con ruedas utilizados en misiones anteriores. El diseño propuesto de robot con patas será presentado como una alternativa para aquellas misiones donde los robots con ruedas puedan no ser la mejor opción. En esta tesis se presenta el diseño mecánico de un robot de seis patas capaz de soportar las grandes fuerzas y momentos derivadas del movimiento de avance. Una vez concluido el diseño mecánico es necesario realizar un análisis que permita entender el movimiento y comportamiento de una maquina de esta complejidad. Las ecuaciones de movimiento del robot serán validadas por dos métodos: cinemático y dinámico. Dos códigos Matlab® han sido desarrollados para resolver dichos sistemas de ecuaciones y han sido verificados por un tercer método, un modelo de elementos finitos, que también verifica el diseño mecánico. El robot con patas presentado, ha sido diseñado para la exploración planetaria en Marte. El comportamiento del robot durante sus desplazamientos será probado mediante un código de Matlab®, desarrollado para esta tesis, que permite modificar las trayectorias, el tipo de terreno, y el número y altura de los obstáculos. Estos terrenos y requisitos iniciales no han sido elegidos de forma aleatoria, si no que están basados en mi experiencia como miembro del equipo de MSL-NASA que opera un instrumento a bordo del rover Curiosity en Marte. El robot con patas desarrollado y fabricado por el Centro de Astrobiología (INTA-CSIC), esta basado en el diseño mecánico y análisis presentados en esta tesis. ABSTRACT The autonomous machines technology has undergone a major research and development during the last decades. In many activities and environments, robots can perform operations that are tought, dangerous or simply imposible to humans. Planetary exploration is a good example of such environment where robots are needed to perform the tasks required by the scientits. Recent Mars exploration based on autonomous vehicles has shown us the capacity of the new technologies. From the invention of the wheel, which is rightly regarded as the greatest invention in the history of human transportation, nearly all-planetary vehicles are based in wheeled locomotion, but new missions demand new types of machines due to the complex tasks needed to be performed. It will be proposed in this thesis a new design of a legged robot or walking machine, which may offer clear advantages in tough environments. This Thesis will show that the proposed walking machine can travel, were terrain difficulties make wheeled vehicles ineffective, making it a perfect choice for planetary mission. A historical background of the main space missions, in particular those aimed at planetary exploration will be presented. From this study the disadvantages found in the existing wheel rovers will be analysed. The legged robot designed will be introduced as an alternative were wheeled rovers could be no longer the best option for planetary exploration. This thesis introduces the mechanical design of a six-leg robot capable of withstanding high forces and moments due to the walking motion. Once the mechanical design is concluded, and in order to analyse a machine of this complexity an understanding of its movement and behaviour is mandatory. This movement equation will be validated by two methods: kinematics and dynamics. Two Matlab® codes have been developed to solve the systems of equations and validated by a third method, a finite element model, which also verifies the mechanical design. The legged robot presented has been designed for a Mars planetary exploration. The movement behaviour of the robot will be tested in a Matlab® code developed that allows to modify the trajectories, the type of terrain, number and height of obstacles. These terrains and initial requirements have not been chosen randomly, those are based on my experience as a member of the MSL NASA team, which operates an instrument on-board of the Curiosity rover in Mars. The walking robot developed and manufactured by the Center of Astrobiology (CAB) is based in the mechanical design and analysis that will be presented in this thesis.

Grupos de lie de matrices reales o complejos

Como la historia lo viene diciendo, en general los resultados importantes y trascendentales en Matemática son los capaces de vincular dos estructuras, en su esencia, totalmente distintas. En el año 1973, el matemático Noruego Marius Sophus Lie (1849-1925) estudiando propiedades de soluciones de sistemas de ecuaciones diferenciales, dio origen a las ideas que conformaron la hoy denominada Teoría de Lie, la cual plantea la relación entre geometría, álgebra y la topología, este matemático creó en gran parte la teoría de la simetría continua, y la aplicó al estudio de la geometría y las ecuaciones diferenciales. Con aportes posteriores de los matemáticos Weyl, Cartan, Chevalley, Killing, Harish Chandra y otros estructuran la teoría de Lie, se presentan en este trabajo de investigación las nociones básicas que subyacen en dicha teoría. En los primeros trabajos de Sophus Lie, la idea subyacente era construir una teoría de grupos continuos, que complementara la ya existente teoría de grupos.

Aplicación e impacto de las tics en la enseñanza de las matemáticas: una revisión sistemática

Esta investigación buscó, recolectó, analizó y sistematizó información, en español, sobre estudios empíricos delas Tics aplicadas a la enseñanza de las matemáticas. Se utilizó el método de la revisión sistemática; las unidades de estudio fueron los artículos y tesis de maestría publicados en los últimos 5 años,a los que se pudo acceder a través de repositorios digitales de la Universidad de Cuenca: EBSCO, SCOPUS y COBUEC;de los 219 estudiosencontrados, en base a los criterios de inclusión y exclusión, se seleccionaron 13 con el objetivo de integrar sistemáticamente la información, determinar el estado del arte, impacto, aportaciones y limitaciones en la enseñanza de las matemáticas. Los resultados más importantes queobtuvieron de esta investigación son:Es escasa la información en español sobre las Tics en la enseñanza de las matemáticas realizadas en estudios empíricos;en el Ecuador la mayoría de las tesis de maestría sobre esta temática son propuestas metodológicas o guías didácticas. En los estudios analizados,el software Geogebra es el más utilizado y los temas más abordados son función lineal y ecuaciones lineales y se veque todos los estudios generan aportaciones y limitaciones en los estudiantes durante las intervenciones con las Tics en el proceso de enseñanza aprendizaje. Se puede concluir que utilizar adecuadamente las Tics en la enseñanza de las matemáticas puede ayudar a mejorar aspectos motivacionales, actitudinales y académicos en los estudiantes, aunque todavía queda abierto un gran campo por estudiar sobre esta temática, tanto en el nivel básico, secundario y superior.

Objetos de aprendizaje para el desarrollo del tema: inecuaciones de primer grado e intervalos de solución de noveno de educación general básica.

El presente trabajo tiene como objetivo dar a conocer Objetos de Aprendizaje, como un recurso tecnológico, que sirva de soporte a la educación y que contribuya en la enseñanza de las Inecuaciones de primer grado. Para realizar este proyecto se han planteado cinco capítulos de desarrollo: En el capítulo uno se realiza una investigación bibliográfica donde se describe la Educación, orientándola hacia el constructivismo, que centra al estudiante como constructor de su conocimiento y la importancia de usar material didáctico apto para desarrollar sus habilidades. En el capítulo dos se desarrolla el tema de Inecuaciones de primer grado, dividiéndolo en cuatro subtemas: Inecuaciones de primer grado con una y dos incógnitas, intervalos de solución y sistemas de inecuaciones. En el capítulo tres se presenta un análisis a los recursos educativos de libre acceso en diferentes sitios web, dónde se evidencia el desarrollo de plataformas que buscan consolidar los aprendizajes. En el capítulo cuatro se desarrolla el diseño de los cuatro Objetos de Aprendizaje; a partir de su metodología para la estructuración; además se usará guías para su organización. Y finalmente en el capítulo cinco se aprecia el interés que producen los Objetos de Aprendizaje, en los estudiantes de Noveno de EGB. Permitiendo observar que este recurso fortalece el aprendizaje de forma divertida e interactiva; dando apertura al uso de instrumentos multimedia como material de autoformación.

Estabilidad y controlabilidad robusta de sistemas lineales con incertidumbre multilineal

Tesis (Doctorado en Ingeniería Eléctrica) UANL

Un asistente matemático en la enseñanza de la resolución de ecuaciones no lineales por el método de punto fijo

Este trabajo describe una experiencia realizada en un curso de análisis numérico dictado en la facultad de Ciencias Exactas y Naturales de la Universidad de Mar del Plata (Argentina). La posibilidad de dictar clases en un laboratorio que cuenta con un número de computadoras que es apenas superado por la cantidad de alumnos permite promover un ambiente interactivo, de reflexión y experiencias que dan lugar a un verdadero aprendizaje significativo. En particular el programa Derive, conforma un importante recurso para mejorar las estrategias didácticas que sin dudas posibilitan lograr los objetivos propuestos.

Reconstrucción de significados de la estabilidad de las ecuaciones diferenciales lineales de segundo orden

En este trabajo presentamos un proyecto de investigación cuyo propósito fundamental es establecer una reconstrucción de significados de la ecuación diferencial y" + by’ + cy = f a través de una situación de una situación de transformación. Esta consiste en identificar patrones de comportamiento de la solución y(x) en relación con la función f, al variar los coeficientes b y c de la ecuación diferencial e interactuar en los contextos algebraico y gráfico. Nuestra hipótesis de investigación consiste en que el comportamiento tendencia! de las unciones es el argumento que tendrá que construir el estudiante en la situación de transformación, el cual posibilitará la reconstrucción de significados de la ecuación y" + by’ + cy = f y de la propiedad de estabilidad al interactuar en los contextos algebraico y geométrico. Nos proponemos diseñar situaciones con la intención de generar los argumentos en el estudiante. Nuestro análisis se fundamentará sobre discusiones en grupo y sobre actividades de trabajos escritos.

Simulación de sistemas Multi-Agente mediante un esquema Monte Carlo basado en ecuaciones diferenciales ordinarias

[ES] En este trabajo se expone una metodología para modelar un sistema Multi-Agente (SMA), para que sea equivalente a un sistema de Ecuaciones Diferenciales Ordinarias (EDO), mediante un esquema basado en el método de Monte Carlo. Se muestra que el SMA puede describir con mayor riqueza modelos de sistemas dinámicos con variables cuantificadas discretas. Estos sistemas son muy acordes con los sistemas biológicos y fisiológicos, como el modelado de poblaciones o el modelado de enfermedades epidemiológicas, que en su mayoría se modelan con ecuaciones diferenciales. Los autores piensan que las ecuaciones diferenciales no son lo suficientemente apropiadas para modelar este tipo de problemas y proponen que se modelen con una técnica basada en agentes. Se plantea un caso basado en un modelo matemático de Leucemia Mieloide Crónica (LMC) que se transforma en un SMA equivalente. Se realiza una simulación de los dos modelos (SMA y EDO) y se compara los resultados obtenidos.

Estudio de las ecuaciones de Boussinesq para la modelización de tsunamis

[es]Podemos encontrar las ecuaciones de Boussinesq en la descripción de playas, rios y lagos. Estas ecuaciones estudian la dinámica de las aguas poco profundas como las ecuaciones “ Korteweg-deVries (KdV)". Sin embargo, a pesar de ser más conocidas, las ecuaciones de KdV, no son capaces de modelar olas solitarias propagándose en distintas direcciones. Entre muchas otras aplicaciones de las ecuaciones de Boussinesq destaca la de modelar olas de tsunamis. Estos tipos de olas ya son perfectamente descritos por las ecuaciones de Navier Stokes, pero todavía no existen técnicas que permitan resolverlas en un dominio tridimensional. Para ello se usan las ecuaciones de Boussinesq, pensadas como una simplificación de las ecuaciones de Navier Stokes. Los años 1871 y 1872 fueron muy importantes para el desarrollo de las ecuaciones de Boussinesq. Fue en 1871 cuando Valentin Joseph Boussinesq recibió el premio de la “Academy of Sciences”, por su trabajo dedicado a las aguas poco profundas. Ahí fue donde Boussinesq introdujo por primera vez los efectos dispersivos en las ecuaciones de Saint-Venant. Por ello, se puede decir que las ecuaciones de Boussinesq son más completas físicamente que las ecuaciones de Saint-Venant. Las ecuaciones de Boussinesq contienen una estructura hiperbólica (al igual que las ecuaciones no lineales de aguas poco profundas) combinada con derivadas de orden elevado para modelar la dispersión de la ola. Las ecuaciones de Boussinesq pueden aparecer de muchas formas distintas. Dependiendo de como hayamos escogido la variable de la velocidad podemos obtener un modelo u otro. El caso más usual es escoger la variable velocidad en un nivel del agua arbitrario. La efectividad de la ecuación de Boussinesq seleccionada variará dependiendo de la dispersión. Una buena elección de la variable velocidad puede mejorar significativamente la modelización de la propagación de ondas largas. Formalmente, como veremos en el capítulo 1, podemos transformar términos de orden elevado en términos de menor orden usando las relaciones asintóticas. Esto nos proporciona una forma elegante de mejorar las relaciones de dispersi\'on. Las ecuaciones de Boussinesq más conocidas son las que resolveremos en el capítulo 2. En dicho capítulo veremos la ecuación cúbica de Boussinesq, que sirve para describir el movimiento de ondas largas en aguas poco profundas; las ecuaciones de Boussinesq acopladas, que describen el movimiento de dos fluidos distintos en aguas poco profundas (como puede ser el caso de un barco que desprende accidentalmente aceite, el aceite va creando una capa que flota encima de la superficie del agua); la ecuación de Boussinesq estándar, que describe un gran número de fenómenos de olas dispersivas no lineales como la propagaci\ón en ambas direcciones de olas largas en la superficie de aguas poco profundas. Pero en olas de longitud de onda corta presenta una inestabilidad y la ecuación es incorrecta para el problema de Cauchy, por ello Bogolubsky propuso la ecuación de Boussinesq mejorada. Esta ecuación es la última que estudiaremos en el capítulo 2 y es una ecuación físicamente estable, correcta para el problema de Cauchy y además como veremos en el capítulo 3, apropiada para las simulaciones numéricas. Como ya indicado, en el capi tulo 1 deduciremos las ecuaciones de Boussinesq a partir de las ecuaciones físicas del flujo potencial. El objetivo principal es deducir dos modelos de ecuaciones de Boussinesq acopladas y obtener su relación de dispersión. Para llegar a ello, se usa un método de la expansión asintótica de la velocidad potencial en términos de un pequeño parámetro. De esta manera conseguimos dos modelos distintos, cada uno asociado a uno de los dos modelo de disipación que hemos establecido. Por último dado que las ecuaciones siempre vienen dadas en variables dimensionales, volveremos a la notación dimensional para analizar la relación de dispersión de las ecuaciones de Boussinesq disipativas. En el capí tulo 2 pasaremos a su resolución analítica, buscando soluciones de tipo solitón. Introduciremos el método de la tangente hiperbólica, muy útil para encontrar soluciones exactas de ecuaciones no lineales. Usaremos este método para resolver la ecuación cúbica de Boussinesq, un sistema de ecuaciones acopladas de Boussinesq, la ecuación estandar de Boussinesq y la mejorada. Los sistemas que aparecen en la aplicación del método de la tangente hiperbólica estan resueltos usando el software Mathematica y uno de ellos irá incluido en el apéndice A. En el capíulo 3 se introduce un esquema en diferencias finitas, que sirve para convertir problemas de ecuaciones diferenciales en problemas algebraicos fácilmente resolubles numéricamente. Este método nos ayudaráa estudiar la estabilidad y a resolver la ecuación mejorada de Boussinesq numéricamente en dos ejemplos distintos. En el apéndice B incluiremos el programa para la resolución numérica del primer ejemplo con el Mathematica.

Modelación concreta en álgebra: balanza virtual, ecuaciones y sistemas matemáticos de signos

Se analizan resultados de un estudio con alumnos de secundaria, en el que se utiliza un modelo virtual de la balanza para la enseñanza de la resolución de ecuaciones de primer grado. A diferencia del modelo concreto o diagramático, el modelo virtual es dinámico e interactivo y en su versión ampliada (balanza con poleas) incluye la representación y resolución de ecuaciones con sustracción de términos. Los resultados indican que al final del estudio, los alumnos logran extender el método algebraico de resolución a una variedad amplia de modalidades de ecuaciones y que de manera espontánea infieren el método de transposición de términos. Con el fin de investigar los procesos de producción de sentido y de construcción de significado, se adopta una perspectiva semiótica que incorpora al análisis las producciones sígnicas de los estudiantes, como parte de la interacción entre los sistemas de signos algebraico, aritmético y el sistema de signos del modelo.