Applications of Formal Languages to Management of Manned and Unmanned Aircraft

En el futuro, la gestión del tráfico aéreo (ATM, del inglés air traffic management) requerirá un cambio de paradigma, de la gestión principalmente táctica de hoy, a las denominadas operaciones basadas en trayectoria. Un incremento en el nivel de automatización liberará al personal de ATM —controladores, tripulación, etc.— de muchas de las tareas que realizan hoy. Las personas seguirán siendo el elemento central en la gestión del tráfico aéreo del futuro, pero lo serán mediante la gestión y toma de decisiones. Se espera que estas dos mejoras traigan un incremento en la eficiencia de la gestión del tráfico aéreo que permita hacer frente al incremento previsto en la demanda de transporte aéreo. Para aplicar el concepto de operaciones basadas en trayectoria, el usuario del espacio aéreo (la aerolínea, piloto, u operador) y el proveedor del servicio de navegación aérea deben negociar las trayectorias mediante un proceso de toma de decisiones colaborativo. En esta negociación, es necesaria una forma adecuada de compartir dichas trayectorias. Compartir la trayectoria completa requeriría un gran ancho de banda, y la trayectoria compartida podría invalidarse si cambiase la predicción meteorológica. En su lugar, podría compartirse una descripción de la trayectoria independiente de las condiciones meteorológicas, de manera que la trayectoria real se pudiese calcular a partir de dicha descripción. Esta descripción de la trayectoria debería ser fácil de procesar usando un programa de ordenador —ya que parte del proceso de toma de decisiones estará automatizado—, pero también fácil de entender para un operador humano —que será el que supervise el proceso y tome las decisiones oportunas—. Esta tesis presenta una serie de lenguajes formales que pueden usarse para este propósito. Estos lenguajes proporcionan los medios para describir trayectorias de aviones durante todas las fases de vuelo, desde la maniobra de push-back (remolcado hasta la calle de rodaje), hasta la llegada a la terminal del aeropuerto de destino. También permiten describir trayectorias tanto de aeronaves tripuladas como no tripuladas, incluyendo aviones de ala fija y cuadricópteros. Algunos de estos lenguajes están estrechamente relacionados entre sí, y organizados en una jerarquía. Uno de los lenguajes fundamentales de esta jerarquía, llamado aircraft intent description language (AIDL), ya había sido desarrollado con anterioridad a esta tesis. Este lenguaje fue derivado de las ecuaciones del movimiento de los aviones de ala fija, y puede utilizarse para describir sin ambigüedad trayectorias de este tipo de aeronaves. Una variante de este lenguaje, denominada quadrotor AIDL (QR-AIDL), ha sido desarrollada en esta tesis para permitir describir trayectorias de cuadricópteros con el mismo nivel de detalle. Seguidamente, otro lenguaje, denominado intent composite description language (ICDL), se apoya en los dos lenguajes anteriores, ofreciendo más flexibilidad para describir algunas partes de la trayectoria y dejar otras sin especificar. El ICDL se usa para proporcionar descripciones genéricas de maniobras comunes, que después se particularizan y combinan para formar descripciones complejas de un vuelo. Otro lenguaje puede construirse a partir del ICDL, denominado flight intent description language (FIDL). El FIDL especifica requisitos de alto nivel sobre las trayectorias —incluyendo restricciones y objetivos—, pero puede utilizar características del ICDL para proporcionar niveles de detalle arbitrarios en las distintas partes de un vuelo. Tanto el ICDL como el FIDL han sido desarrollados en colaboración con Boeing Research & Technology Europe (BR&TE). También se ha desarrollado un lenguaje para definir misiones en las que interactúan varias aeronaves, el mission intent description language (MIDL). Este lenguaje se basa en el FIDL y mantiene todo su poder expresivo, a la vez que proporciona nuevas semánticas para describir tareas, restricciones y objetivos relacionados con la misión. En ATM, los movimientos de un avión en la superficie de aeropuerto también tienen que ser monitorizados y gestionados. Otro lenguaje formal ha sido diseñado con este propósito, llamado surface movement description language (SMDL). Este lenguaje no pertenece a la jerarquía de lenguajes descrita en el párrafo anterior, y se basa en las clearances (autorizaciones del controlador) utilizadas durante las operaciones en superficie de aeropuerto. También proporciona medios para expresar incertidumbre y posibilidad de cambios en las distintas partes de la trayectoria. Finalmente, esta tesis explora las aplicaciones de estos lenguajes a la predicción de trayectorias y a la planificación de misiones. El concepto de trajectory language processing engine (TLPE) se usa en ambas aplicaciones. Un TLPE es una función de ATM cuya principal entrada y salida se expresan en cualquiera de los lenguajes incluidos en la jerarquía descrita en esta tesis. El proceso de predicción de trayectorias puede definirse como una combinación de TLPEs, cada uno de los cuales realiza una pequeña sub-tarea. Se le ha dado especial importancia a uno de estos TLPEs, que se encarga de generar el perfil horizontal, vertical y de configuración de la trayectoria. En particular, esta tesis presenta un método novedoso para la generación del perfil vertical. El proceso de planificar una misión también se puede ver como un TLPE donde la entrada se expresa en MIDL y la salida consiste en cierto número de trayectorias —una por cada aeronave disponible— descritas utilizando FIDL. Se ha formulado este problema utilizando programación entera mixta. Además, dado que encontrar caminos óptimos entre distintos puntos es un problema fundamental en la planificación de misiones, también se propone un algoritmo de búsqueda de caminos. Este algoritmo permite calcular rápidamente caminos cuasi-óptimos que esquivan todos los obstáculos en un entorno urbano. Los diferentes lenguajes formales definidos en esta tesis pueden utilizarse como una especificación estándar para la difusión de información entre distintos actores de la gestión del tráfico aéreo. En conjunto, estos lenguajes permiten describir trayectorias con el nivel de detalle necesario en cada aplicación, y se pueden utilizar para aumentar el nivel de automatización explotando esta información utilizando sistemas de soporte a la toma de decisiones. La aplicación de estos lenguajes a algunas funciones básicas de estos sistemas, como la predicción de trayectorias, han sido analizadas. ABSTRACT Future air traffic management (ATM) will require a paradigm shift from today’s mainly tactical ATM to trajectory-based operations (TBOs). An increase in the level of automation will also relieve humans —air traffic control officers (ATCOs), flight crew, etc.— from many of the tasks they perform today. Humans will still be central in this future ATM, as decision-makers and managers. These two improvements (TBOs and increased automation) are expected to provide the increase in ATM performance that will allow coping with the expected increase in air transport demand. Under TBOs, trajectories are negotiated between the airspace user (an airline, pilot, or operator) and the air navigation service provider (ANSP) using a collaborative decision making (CDM) process. A suitable method for sharing aircraft trajectories is necessary for this negotiation. Sharing a whole trajectory would require a high amount of bandwidth, and the shared trajectory might become invalid if the weather forecast changed. Instead, a description of the trajectory, decoupled from the weather conditions, could be shared, so that the actual trajectory could be computed from this trajectory description. This trajectory description should be easy to process using a computing program —as some of the CDM processes will be automated— but also easy to understand for a human operator —who will be supervising the process and making decisions. This thesis presents a series of formal languages that can be used for this purpose. These languages provide the means to describe aircraft trajectories during all phases of flight, from push back to arrival at the gate. They can also describe trajectories of both manned and unmanned aircraft, including fixedwing and some rotary-wing aircraft (quadrotors). Some of these languages are tightly interrelated and organized in a language hierarchy. One of the key languages in this hierarchy, the aircraft intent description language (AIDL), had already been developed prior to this thesis. This language was derived from the equations of motion of fixed-wing aircraft, and can provide an unambiguous description of fixed-wing aircraft trajectories. A variant of this language, the quadrotor AIDL (QR-AIDL), is developed in this thesis to allow describing a quadrotor aircraft trajectory with the same level of detail. Then, the intent composite description language (ICDL) is built on top of these two languages, providing more flexibility to describe some parts of the trajectory while leaving others unspecified. The ICDL is used to provide generic descriptions of common aircraft manoeuvres, which can be particularized and combined to form complex descriptions of flight. Another language is built on top of the ICDL, the flight intent description language (FIDL). The FIDL specifies high-level requirements on trajectories —including constraints and objectives—, but can use features of the ICDL to provide arbitrary levels of detail in different parts of the flight. The ICDL and FIDL have been developed in collaboration with Boeing Research & Technology Europe (BR&TE). Also, the mission intent description language (MIDL) has been developed to allow describing missions involving multiple aircraft. This language is based on the FIDL and keeps all its expressive power, while it also provides new semantics for describing mission tasks, mission objectives, and constraints involving several aircraft. In ATM, the movement of aircraft while on the airport surface also has to be monitored and managed. Another formal language has been designed for this purpose, denoted surface movement description language (SMDL). This language does not belong to the language hierarchy described above, and it is based on the clearances used in airport surface operations. Means to express uncertainty and mutability of different parts of the trajectory are also provided. Finally, the applications of these languages to trajectory prediction and mission planning are explored in this thesis. The concept of trajectory language processing engine (TLPE) is used in these two applications. A TLPE is an ATM function whose main input and output are expressed in any of the languages in the hierarchy described in this thesis. A modular trajectory predictor is defined as a combination of multiple TLPEs, each of them performing a small subtask. Special attention is given to the TLPE that builds the horizontal, vertical, and configuration profiles of the trajectory. In particular, a novel method for the generation of the vertical profile is presented. The process of planning a mission can also be seen as a TLPE, where the main input is expressed in the MIDL and the output consists of a number of trajectory descriptions —one for each aircraft available in the mission— expressed in the FIDL. A mixed integer linear programming (MILP) formulation for the problem of assigning mission tasks to the available aircraft is provided. In addition, since finding optimal paths between locations is a key problem to mission planning, a novel path finding algorithm is presented. This algorithm can compute near-shortest paths avoiding all obstacles in an urban environment in very short times. The several formal languages described in this thesis can serve as a standard specification to share trajectory information among different actors in ATM. In combination, these languages can describe trajectories with the necessary level of detail for any application, and can be used to increase automation by exploiting this information using decision support tools (DSTs). Their applications to some basic functions of DSTs, such as trajectory prediction, have been analized.

Design of a generalized tool for the performance assessment under sail based on analytical, numerical and empirical results : a global sailing yacht meta-model

La evaluación de las prestaciones de las embarcaciones a vela ha constituido un objetivo para ingenieros navales y marinos desde los principios de la historia de la navegación. El conocimiento acerca de estas prestaciones, ha crecido desde la identificación de los factores clave relacionados con ellas(eslora, estabilidad, desplazamiento y superficie vélica), a una comprensión más completa de las complejas fuerzas y acoplamientos involucrados en el equilibrio. Junto con este conocimiento, la aparición de los ordenadores ha hecho posible llevar a cabo estas tareas de una forma sistemática. Esto incluye el cálculo detallado de fuerzas, pero también, el uso de estas fuerzas junto con la descripción de una embarcación a vela para la predicción de su comportamiento y, finalmente, sus prestaciones. Esta investigación tiene como objetivo proporcionar una definición global y abierta de un conjunto de modelos y reglas para describir y analizar este comportamiento. Esto se lleva a cabo sin aplicar restricciones en cuanto al tipo de barco o cálculo, sino de una forma generalizada, de modo que sea posible resolver cualquier situación, tanto estacionaria como en el dominio del tiempo. Para ello se comienza con una definición básica de los factores que condicionan el comportamiento de una embarcación a vela. A continuación se proporciona una metodología para gestionar el uso de datos de diferentes orígenes para el cálculo de fuerzas, siempre con el la solución del problema como objetivo. Esta última parte se plasma en un programa de ordenador, PASim, cuyo propósito es evaluar las prestaciones de diferentes ti pos de embarcaciones a vela en un amplio rango de condiciones. Varios ejemplos presentan diferentes usos de PASim con el objetivo de ilustrar algunos de los aspectos discutidos a lo largo de la definición del problema y su solución . Finalmente, se presenta una estructura global de cara a proporcionar una representación virtual de la embarcación real, en la cual, no solo e l comportamiento sino también su manejo, son cercanos a la experiencia de los navegantes en el mundo real. Esta estructura global se propone como el núcleo (un motor de software) de un simulador físico para el que se proporciona una especificación básica. ABSTRACT The assessment of the performance of sailing yachts, and ships in general, has been an objective for naval architects and sailors since the beginning of the history of navigation. The knowledge has grown from identifying the key factors that influence performance(length, stability, displacement and sail area), to a much more complete understanding of the complex forces and couplings involved in the equilibrium. Along with this knowledge, the advent of computers has made it possible to perform the associated tasks in a systematic way. This includes the detailed calculation of forces, but also the use of those forces, along with the description of a sailing yacht, to predict its behavior, and ultimately, its performance. The aim of this investigation is to provide a global and open definition of a set of models and rules to describe and analyze the behavior of a sailing yacht. This is done without applying any restriction to the type of yacht or calculation, but rather in a generalized way, capable of solving any possible situation, whether it is in a steady state or in the time domain. First, the basic definition of the factors that condition the behavior of a sailing yacht is given. Then, a methodology is provided to assist with the use of data from different origins for the calculation of forces, always aiming towards the solution of the problem. This last part is implemented as a computational tool, PASim, intended to assess the performance of different types of sailing yachts in a wide range of conditions. Several examples then present different uses of PASim, as a way to illustrate some of the aspects discussed throughout the definition of the problem and its solution. Finally, a global structure is presented to provide a general virtual representation of the real yacht, in which not only the behavior, but also its handling is close to the experience of the sailors in the real world. This global structure is proposed as the core (a software engine) of a physical yacht simulator, for which a basic specification is provided.

Actualización del software asociado a un sistema empresarial real en Django

El objetivo del TFG es ejectuar y documentar el proceso de actualizaci on de un sistema software real de car acter empresarial, perteneciente a la empresa dedicada a las transacciones de divisas Foreign Exchange Solutions SL. El sistema est a implementado en Python 2.7 usando el framework de desarrollo r apido de aplicaciones web Django que, comenzando por su versi on 1.3.1, terminar a al nal del proyecto en la versi on 1.4.10, lo que nos llevar a a tener que actualizar todas las librer as relacionadas, adem as de mejorar la calidad del c odigo e incluso cambiar la estructura del proyecto, prestando adem as especial atenci on a la pruebas unitarias y de regresi on para comprobar el correcto funcionamiento del sistema a lo largo del desarrollo. Todo esto con el n de conseguir las nuevas funcionalidades y caracter sticas que una versi on m as nueva nos ofrece, adem as de mejorar la calidad de la aplicaci on -aumentar la reutilizaci on del c odigo y reducir futuros errores gracias a un c odigo m as sencillo y legible-, aumentar el rendimiento, y obtener una buena cobertura de pruebas. Usaremos adem as la metodolog a agil Scrum, el SGBD PostgreSQL, adem as de otras herramientas como Solr, ElasticSearch, Redis, Celery o Mercurial para el control de versiones.

PLAGUE. Un editor visual para PDDL

Plague es un editor de archivos escritos en lenguajes de planificación como STRIPS y PDDL, que permite lanzar el algoritmo GrahPlan a partir de los archivos de dominio y problema editados y encontrar una solución al problema planteado. El objetivo del editor es eminentemente pedagógico: su uso es muy simple y viene con variados ejemplos de ambos lenguajes de planificación, de modo que el usuario pueda aprenderlos de forma paulatina. Además, la salida de la ejecución permite ir viendo paso a paso el desarrollo del algoritmo GraphPlan: los operadores que se van ejecutando, los no-ops que se han seguido, los mutex que se han aplicado en cada nivel y el tiempo empleado, además de la solución final al problema si se alcanza. El programa hace uso de dos utilidades que permiten compilar el código STRIPS o PDDL que son JavaGP y PDDL4J. Una vez ejecutado el problema de planificación, se obtiene la salida en pantalla y también se puede imprimir el problema completo incluida la solución. El objetivo ha sido crear un programa que permita al usuario editar rápidamente archivos STRIPS y PDDL, los pueda compilar velozmente y obtener el resultado en un solo sitio, con una salida mucho más clara, organizada y entendible y se evite el problema de tener que usar editores externos y una ventana de línea de comando para ejecutar GraphPlan. Plague is a text editor for files written in action languages, such as STRIPS and PDDL, which allows running the GraphPlan algorithm from the domain archives and edited problems, and finding a solution to the proposed problem. The goal of the editor is primarily for pedagogical purposes: it is simple to use and comes equipped with a variety of examples in both action languages, so that the user can gradually learn. In addition, as the editor runs it allows the user to observe the step by step development of the GraphPlan algorithm: the operators being executed, the no-ops that have been followed, the mutex applied at each level and the time spent, as well as the final answer to the problem, if reached. The program uses two utilities allowing the STRIPS or PDDL code to be compiled: JavaGP and PDDL4J. Once the planning problem has been executed, the result is shown on screen and the complete problem can also be printed, including the solution. The objective has been to create a program that allows the user to quickly edit STRIPS and PDDL archives, to compile them swiftly and obtain the solution in a single place, with a result that is clear, organised and understandable, thus avoiding the problem of having to use external editors and command prompts to execute GraphPlan.

Programa modular en el micromundo Espacio 3D : empleo de algunas utilidades.

En este artículo mostramos un micromundo que llamaremos Espacio 3D para el Object-LOGO (sobre un ordenador Macintosh) implementado por nuestro equipo de trabajo. Se hace un estudio de la programación modular, justificando la conveniencia de utilizarla en nuestro micromundo y se ofrecen un conjunto de utilidades para facilitar la programación modular en el espacio tridimensional. A la vez pretendemos ilustrar con ejemplos el manejo del micromundo, el empleo de las utilidades y la integración de todas la herramientas anteriores en gráficos tridimensionales construidos a partir de la idea de sintonicidad corporal.

Diseño de una interface entre un programa de cálculo simbólico y un programa CAD : aplicación al caso de modelado geométrico y modelado de caras.

El objetivo de este trabajo es el diseño de una interface entre un programa de cálculo simbólico y uno de CAD y su aplicación al caso de modelado geométrico y modelado de caras. El libro, se divide en tres capítulos: curvas en 2D, curvas en 3D y superficies. Dado que existen programas de cálculo simbólico que representan sus curvas, resultará favorable captar el fichero de puntos producido por dicho programa y, con los tratamientos convenientes, transformarlo en una lista susceptible de ser leída desde un programa CAD, los puntos trasvasados serán los vértices de una polilínea que posteriormente adaptada representará la curva en cuestión. Y, siguiendo un proceso análogo, también será posible obtener el fichero de puntos de una superficie. Para desarrollar esta aplicación, se ha elegido como programa de cálculo simbólico Maple V2, y como programa CAD, AUTOCAD V12.

Dibuix per ordinador : autoCAD v.10 nivell II. 'Dibujo por ordenador : autoCAD v.10 nivel II'.

Este documento no está publicado

Desarrollo de un programa de enseñanza asistida por ordenador de control automático.

Programa informático de enseñanza-aprendizaje de control automático asistido por ordenador, de carácter tutorial didáctico e interactivo. Realizado por profesores de la Escuela Técnica Superior de Béjar y la Facultad de Ciencias de Salamanca. Se ha utilizado el programa de cálculo científico y visualización gráfica MATLAB -ampliamente utilizado y conocido en entornos científicos y académicos- en la enseñanza y aprendizaje de control automático, sin necesidad de programar con tal programa. Se ha realizado programación de aplicaciones informáticas basada en objetos mediante visual-basic. Programa informático softcontrol. Las características de la innovación diseñada es un programa interactivo de enseñanza y aprendizaje de control automático con ejemplos de ejercicios resueltos y ejercicios abiertos a la resolución en linea por parte del usuario. Contiene manual del usuario y manual de instalación.

Desarrollo de un programa de enseñanza asistida por ordenador sobre Programación Estructurada.

Desarrollo de un programa de enseñanza asistida por ordenador sobre programación estructurada. El contenido son algoritmos, tipos de datos, estructuras de control, estructuras de datos y métodos de programación. Los contenidos prácticos están constituídos por el lenguaje de programación Pascal, tipos de datos, control de flujo, funciones y procedimientos..

Propuesta de un programa de formación de profesores de quinto grado de educación primaria en el uso de las nuevas tecnologías (el ordenador) en el área de Ciencias Naturales en la ciudad de Novojoa, Sonora, México.

Objetivos: desarrollar un programa de capacitación del profesorado para la incorporación del ordenador en la enseñanza ordinaria, dirigido al alumnado de quinto curso de Primaria. Asesorar pedagógicamente a los maestros en el uso de los ordenadores. Relacionar la informática con las actividades de la escuela. Motivar al profesorado para que haga un uso constante y permanente de las nuevas tecnologías en la educación. Proporcionar el soporte técnico y la formación adecuada de los ordenadores en el área de Ciencias Naturales. Proceso de investigación: revisión documental de la literatura publicada relacionada con la temática de la investigación. Resultados: el proceso de formación del profesorado en educación primaria en el uso de las nuevas tecnologías de la información y la comunicación se configura como un elemento trascendental para el éxito de la iniciativa institucional sobre la introducción de las tecnologías de la información y la comunicación en la escuela, para adaptarse al ritmo de los avances tecnológicos e ir asimilando sus efectos para innovar, modernizar y preparar a los futuros estudiantes. La formación del profesorado de educación primaria de quinto grado en el área de Ciencias Naturales, a través de la propuesta desarrollada en la investigación, sobre el uso del ordenador por el profesorado de primaria, conduce a una actitud científica, de sensibilidad sobre la realidad del aula, una actitud que busque profundizar sobre las condiciones del ejercicio profesional, para que el maestro sea capaz de investigar su práctica y aventurarse en la búsqueda de nuevos caminos que lo lleven a producir conocimientos y que revierta en la transformación de su práctica en el aula y de las instituciones educativas de educación primaria de México.

Programa experimental sobre docencia asistida por ordenador en urología oncológica.

Aportar una herramienta de enseñanza en el campo de la urología oncológica que permita al usuario reproducir, en cualquier momento y de forma activa, todos los pasos que debería dar en la práctica clínica diaria para llegar al diagnóstico correcto y al tratamiento adecuado de determinadas patologías. Un grupo de siete expertos en el ámbito de la urología oncológica y otro grupo con diez miembros no expertos. En primer lugar, se selecciona la bibliografía adecuada para la realización de la investigación. Después, se elaboran varios algoritmos diagnósticos y terapéuticos relativos a patologías urológicas. A continuación, se elabora un algoritmo con respuestas múltiples, que es codificado a un lenguaje comprensible por el ordenador. De este modo, se diseña un programa informático dirigido a la enseñanza de los estudiantes y posgraduados de medicina. Por último, se diseñan dos cuestionarios dirigidos a usuarios del programa con el fin de evaluar su eficacia docente. Se demuestra que la enseñanza asistida por ordenador aumenta el porcentaje de retención de nuevos conocimientos en relación con las técnicas docentes tradicionales.

Educación vial 1, 2, 3 : programa de educación vial asistido por ordenador.

Programa formado por tres unidades didácticas de educación vial en soporte informático que tienen como objetivo primordial el conocimiento de la señalización de las normas relativas a la formación de peatones y viajeros. Hay ejercicios para que el alumno observe, perciba y valores sus decisiones como futuro conductor, también guía para el profesor y para el alumno.

La bicicleta : programa de educación vial asistido por ordenador.

Este programa se compone de ocho unidades didácticas y un conjunto de normas y simulaciones de conducción con bicicleta. Tiene como objetivo fundamental la formación y educación vial de los conductores de bicicletas en edad escolar (8 a 14 años). Las unidades didácticas tratan aspectos relativos a las normas de circulación, velocidad, nociones mecánicas y motrices. Hay una guía para el profesor, para el alumno, descripción de las unidades didácticas y actividades complementarias.

Juegolec : programa de lenguaje-lectura asistido por ordenador

Uno de los discos compactos est?? publicado por el Gobierno de Navarra y va acompa??ado por un folleto de 30 p??ginas. Tercer Premio Nacional 2000 a la Innovaci??n Educativa del CIDE

Desarrollo de un programa interactivo de enseñanza de la Cristalografía a través de ordenador.

Partiendo de la consideración del valor didáctico que para el alumno tiene el estudio de las propiedades geométricas, simétricas y físicas de los sólidos cristalinos sobre moléculas bidimensionales, se desarrolla una serie de lecciones sobre las propiedades de simetría de figuras uni, bi y tridimensionales, asistidas por ordenador y de forma interactiva. Manuales de Cristalografía y Mineralogía. Las lecciones se concretan en base a los siguientes programas de ordenador: Frisos (7 grupos especiales en una dimensión), Mosaicos (17 grupos especiales bidimensionales), Mosgener (generación de figuras planas periódicas en una dimensión, frisos, y en dos dimensiones, mosaicos, con un motivo arbitrario definido por el usuario), programa redes (dedicado especialmente a las propiedades estructurales de las figuras bidimensionales y cristales, incluyendo la difracción de rayos x). Se han realizado una serie de programas interactivos en los que casi todas las posibilidades que ante una determinada cuestión se presentan, tienen una respuesta dentro del propio programa, incluidos datos erróneos, opciones ilógicas, fuera de rando, etc. Estos programas experimentales están sujetos a una evolución y perfeccionamiento subsiguiente a fin de mejorar sus prestaciones didácticas. Los programas producidos no son para usuarios sino sólo para cálculo. Se ha realizado un programa de generación de grupos de color sobre un motivo cualquiera definido por el usuario, pero no es aún utilizable con fines didácticos por faltar la etapa última de pulido de la parte interactiva programa-usuario.