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.

Diseño de filtros helicoidales de altas prestaciones

El objetivo de este proyecto es el estudio detallado y fabricación de los filtros de cavidades con resonadores helicoidales. Este proyecto está motivado por el hecho de que es una tecnología cada vez más presente en el mercado y su uso resulta muy ´útil en aplicaciones donde se requiere que los componentes sean de tamaño reducido. Esto se debe a que las cavidades helicoidales son de las que presentan menor tamaño para una frecuencia dada. La estructura del proyecto se va a dividir en tres grandes bloques. El primero es el estudio teórico de esta tecnología. En la introducción se verán los principales usos de estos dispositivos, dando ejemplos comerciales, para luego poder compararlos con el prototipo que se ha construido. A continuación, en los primeros capítulos, se detallará la geometría de los resonadores, las ecuaciones que deben aplicarse para calcular las dimensiones y los elementos de diseño. Se comentarán algunas modificaciones opcionales que se pueden aplicar al filtro en el caso de que se requieran especificaciones especiales para la aplicación para la que esté destinado el dispositivo. En segundo lugar se procederá a diseñar modelos de filtros helicoidales para distintas bandas de frecuencia, con el programa de diseño CST Microwave Studio. Estos serán ajustados y parametrizados con el fin de obtener unos requerimientos que serán fijados previamente. Y por ´ultimo se mostrará como ha sido el proceso de prototipado del filtro de tres cavidades para la banda de FM que se ha llevado a cabo y estarán plasmadas las medidas que se han realizado para determinar las características que tiene el prototipo. Este proyecto está planteado como un manual para que el interesado en la fabricación de este tipo de filtros pueda afrontar el diseño desde el inicio y ser capaz de construir un prototipo que cumpla con las características que sean requeridas. ABSTRACT. The main purpose of this project is the detailed study of helical resonator filters and their manufacturing. This technology is increasingly present in the market, and its use is very convenient in applications where it is required for the components to be of reduced size. This is due to helical resonators being smaller than conventional cavity filters for a given frequency. The projects structure will be divided into three sections. First, the theoretical study of this technology will be presented. In the introduction, the main uses of these devices will be shown and commercial examples will be given, which can then be compared with the built prototype. Afterwards, in the first chapters, the geometry of the resonators, the required equations to calculate their dimensions and the design elements will be detailed. Some optional modifications that can be applied to the filter in the case of special specifications will be discussed. Second, some models of helical filters will be designed for different frequency bands, using the design software CST Microwave Studio. These will be adjusted and parameterized in order to meet requirements that will be set previously. Finally, the development of the prototyping process of a three cavities filter for the FM band will be shown, and the measurements that were made to determine the prototypes features will be reflected. This project is designed as a handbook; the individual concerned in the manufacture of these filters should be able to follow the design process from the start and build a prototype that has the required characteristics.

Ampliación de matemáticas

En este manual se recogen diferentes materias, como la integral de Riemann-Stieltjes, las integrales dependientes de un parámetro, las funciones definidas por medio de integrales, las integrales curvilíneas, las integrales dobles y triples, las ecuaciones diferenciales ordinarias o la teoría de los campos escalares y vectoriales, entre otros temas.

Modelo matemático homogéneo e isótropo para la operación y optimización de Sistemas CAES

La operación cíclica de carga y descarga del almacenamiento en los sistemas CAES induce variaciones de presión y temperatura del aire almacenado. Se requiere pues de modelos que predigan la magnitud de dichas actuaciones para lograr una óptima configuración de la planta de potencia. El modelo se deduce directamente de las ecuaciones de conservación de la masa y de la energía para un sistema homogéneo e isótropo. Es resuelto analítica, para ciertos casos límite de interés, y numéricamente. Se somete al modelo a un análisis de sensibilidad para la determinación de los parámetros característicos más influyentes que afectan a las actuaciones de presión y al volumen de almacenamiento requerido. Se observó que el flujo de calor a través del medio circundante al almacenamiento presenta una influencia sobre éste poco despreciable que debe tenerse en cuenta. Se comparan los casos para sistemas adiabáticos e isotermos para calibrar dicha desviación. Además, se esboza un modelo aproximado que describa el comportamiento del almacenamiento con un almacén térmico (AT) acoplado que regule las variaciones de la temperatura del aire inyectado. Abstract Cyclic charge and discharge operation in CAES systems induce pressure and temperatura fluctuations in the storaged air. It is then required a model that properly describes the magnitud of such fluctutions in order to achieve an optimum power plant configuration. This model is directly deduced from the general conservation principles: conservation of mass and energy, applied into homogeneous and isotropic systems. It was solved analytically for certain specific limiting cases of interest as well as numerically. The model was subjected to a sensibility analysis in order to determine the intrinsic parameters that affect the pressure fluctuations as well as the required storage volume the most. Furthermore it was observed that the heat flux through the sourrounding media of the storage has a non-negligible effect that must be taken into account. Adiabatic and isothermal cases are then compared to each other to determine such a deviation. What is more, it is given a general outline about the model which describes the behaviour of the storage coupled with a thermal storage system(TES) that regulates the inyected air temperature.

Factores psicosociales implicados en la artritis reumatoide

El objetivo de este estudio es analizar del afrontamiento al estrés, el afrontamiento del dolor y el apoyo social percibido, para establecer su relación con la incapacidad funcional y el dolor percibido, en pacientes diagnosticados de artritis reumatoide (AR), comparados con pacientes sin patología que limite su capacidad funcional (grupo comparación). Para ello, han sido evaluados un total de 230 pacientes, 110 pacientes con artritis reumatoide y 120 pacientes en el grupo de comparación, pertenecientes a hospitales de red de sanidad pública y privada de la Comunidad Autónoma de Madrid (España). El protocolo de evaluación ha consistido en el Cuestionario de afrontamiento al estrés COPE (Carver, Scheier y Weintraub, 1989), Cuestionario de afrontamiento al dolor CAD (Soriano y Monsalve, 2002), la Escala de apoyo social abreviada SSQ-6 (Sarason, Sarason, Shearin y Pierce, 1987), escala numérica de dolor (EN) y el Cuestionario de la evaluación de la salud de Stanford HAQ (Fries, Spitz, Kraines y Holman, 1980). También, se han recogido datos sociodemográficos y años de evolución de la enfermedad en el grupo de AR. El análisis estadístico se ha realizado mediante el programa SPSS v.22, y ha consistido en pruebas paramétricas, con contrastes de pruebas no paramétricas, de diferencias de medias, estudio de correlaciones y ecuaciones de regresión, tanto para las comparaciones entre ambos grupos, como para el estudio de los pacientes con AR...

Stability and sensitivity analysis of Be-CoDiS, an epidemiological model to predict the spread of human diseases between countries. Validation with data from the 2014-16 West African Ebola Virus Disease epidemic.

Ebola virus disease is a lethal human and primate disease that requires a particular attention from the international health authorities due to important recent outbreaks in some Western African countries and isolated cases in European and North-America continents. Regarding the emergency of this situation, various decision tools, such as mathematical models, were developed to assist the authorities to focus their efforts in important factors to eradicate Ebola. In a previous work, we have proposed an original deterministic spatial-temporal model, called Be-CoDiS (Between-Countries Disease Spread), to study the evolution of human diseases within and between countries by taking into consideration the movement of people between geographical areas. This model was validated by considering numerical experiments regarding the 2014-16 West African Ebola Virus Disease epidemic. In this article, we propose to perform a stability analysis of Be-CoDiS. Our first objective is to study the equilibrium states of simplified versions of this model, limited to the cases of one an two countries, and to determine their basic reproduction ratios. Then, in order to give some recommendations for the allocation of resources used to control the disease, we perform a sensitivity analysis of those basic reproduction ratios regarding the model parameters. Finally, we validate the obtained results by considering numerical experiments based on data from the 2014-16 West African Ebola Virus Disease epidemic.

A gradient estimate to a degenerate parabolic equation with a singular absorption term: The global quenching phenomena

We prove global existence of nonnegative solutions to the one dimensional degenerate parabolic problems containing a singular term. We also show the global quenching phenomena for L1 initial datums. Moreover, the free boundary problem is considered in this paper.

Sistemas integrables discretos, polinomios matriciales ortogonales y problemas de Riemann-Hilbert

El propósito de esta tesis doctoral es el estudio de la conexión, mediante el problema de Riemann-Hilbert, entre sistemas discretos y la teoría de polinomios matriciales ortogonales. La investigación de los modelos integrables se originó en la Mecánica Clásica, en relación a la resolución de las ecuaciones de Newton [2]. Los trabajos de Liouville, Hamilton, Jacobi y otros sentaron las bases de los sistemas integrables como prototipos modelos resolubles por cuadraturas, v.g., por integración directa [7]. Hay una cantidad importante de investigación dedicada a los aspectos geométricos de los sistemas clásicos integrables y superintegrables [66], [82], especialmente en relación a la separación de variables de la ecuación de Hamilton-Jacobi [75]. Fue la aplicación, en la segunda mitad del siglo pasado, de la transformada espectral inversa para la resolución del problema de Cauchy de la ecuación de Korteweg-de Vries [42, 43] la que marcó el inicio de una nueva etapa en este campo, el del estudio de sistemas integrables con un número infinito de grados de libertad, que generalmente se expresan en términos de jerarquías de ecuaciones no lineales en derivadas parciales. Particularmente reseñable, por su aplicación en la hidrodinámica y en la óptica cuántica, es la aparición de las soluciones a un número de solitones arbitrario. En las últimas tres décadas ha habido un importante interés por el estudio de modelos discretos, v.g., sistemas dinámicos de nidos en un retículo de puntos, y expresados en términos de ecuaciones no lineales en diferencia parciales. Muchas de las técnicas encontradas en el mundo continuo se extendieron a este nuevo contexto discreto. Hay dos razones fundamentales para este interés...

Cuerdas y no conmutatividad

Los conceptos geométricos clásicos que usan las ecuaciones de Einstein para describir el espacio, el tiempo y la gravedad no son compatibles con los principios de la mecánica cuántica. A distancias muy cortas, cercanas o por debajo de la longitud de Planck lp 10−36m, se espera que la estructura del espacio-tiempo se haga difusa, con un principio de incertidumbre asociado a las propias coordenadas espacio temporales. Tal principio de incertidumbre podría derivarse de relaciones de conmutación no triviales [xμ, x ] 6= 0 entre operadores asociados a la posición en el espacio-tiempo. Conmutadores de este tipo aparecen de manera natural en teoría de cuerdas, que, por otra parte, contiene y generaliza las ecuaciones de Einstein. Constituye por ello un escenario idóneo para el estudio de la naturaleza no determinista del espacio-tiempo. En efecto, Chu y Ho [4] demostraron que la cuantización canónica de la cuerda abierta en espacio-tiempo de Minkowski con 2-forma B y dilatón constantes conduce a conmutadores no triviales entre los operadores de posición de los extremos de la cuerda. Este hecho sugiere la interpreción de la D-brana sobre la que pueden moverse dichos extremos como un espacio no conmutativo. Seiberg y Witten [5] dieron un paso más y encontraron un límite de baja energía bien definido en el cual la dinámica de los extremos de la cuerda se desacopla de la de los modos internos y se describe como una teoría de Yang-Mills no conmutativa sobre la D-brana. Es díficil trasladar estos resultados a backgrounds más generales para la cuerda. Los modelos de Wess-Zumino-Witten (WZW) [6] constituyen los backgrounds no triviales mejor conocidos, pero no se conoce una caracterización completa de las D-branas en estos modelos. El objetivo de esta tesis es mejorar la comprensión del origen de no conmutatividad a partir de (i) el estudio de la cuerda abierta en backgrounds no triviales y (ii) la caracterización de las D-branas sobre las que pueden moverse sus extremos. El trabajo de esta tesis ha dado lugar a las publicaciones [I], [II] y [III]...

Reactores Químicos. Problema 1: un sistema EDO simple (caos in la atmósfera) (curso 2011-2012)

Enunciado problema 1: un sistema EDO simple (caos in la atmósfera).

Reactores Químicos. Problema 3: RFP isotermo con múltiples reacciones (curso 2011-2012)

Enunciado problema 3: RFP isotermo con múltiples reacciones.

Reactores Químicos. Problema 6: Estabilidad de un RCTA de volumen constante (curso 2011-2012)

Enunciado Problema 6: Estabilidad de un RCTA de volumen constante.

Simulación de procesos químicos (curso 2011-2012)

Apuntes en formato html que incluyen los siguientes temas de la parte de simulación en la asignatura «simulación y optimización de procesos químicos» TEMA 1. Introducción 1.1 Introducción. 1.2 Desarrollo histórico de la simulación de procesos. Relación entre simulación optimización y síntesis de procesos. 1.3 Tipos de simuladores: Modular secuencial. Modular simultáneo. Basada en ecuaciones. TEMA 2. Simulación Modular Secuencial 2.1 Descomposición de diagramas de flujo (flowsheeting) 2.2 Métodos basados en las matrices booleanas Localización de redes cíclicas máximas. Algoritmo de Sargent y Westerberg. Algoritmo de Tarjan. 2.3 Selección de las corrientes de corte: 2.3.1 Caso general planteamiento como un "set-covering problem" (algoritmo de Pho y Lapidus) 2.3.2 Número mínimo de corrientes de corte (algoritmo de Barkley y Motard) 2.3.3 Conjunto de corrientes de corte no redundante (Algoritmo de Upadhye y Grens) TEMA 3. Simulación Modular Simultánea 3.1 Efecto de las estrategias tipo cuasi Newton sobre la convergencia de los diagramas de flujo. TEMA 4. Simulación Basada en Ecuaciones 4.1 Introducción. Métodos de factorización de matrices dispersas. Métodos a priori y métodos locales. 4.2 Métodos locales: Criterio de Markowitz. 4.3 Métodos a priori: 4.3.1 Triangularización por bloques: a. Base de salida admisible (transversal completo). b. Aplicación de los algoritmos de Sargent y Tarjan a matrices dispersas. c. Reordenación. 4.3.2 Transformación en matriz triangular bordeada. 4.4 Fase numerica. Algoritmo RANKI 4.5 Comparación entre los diferentes sistemas de simulación. Ventajas e Inconvenientes. TEMA 5. Grados de libertad y variables de diseño de un diagrama de flujo 5.1 Teorema de Duhem y regla de las fases 5.2 Grados de libertad de un equipo 5.3 Grados de libertad de un diagrama de flujo 5.4 Elección de las variables de diseño.

Optimización (curso 2011-2012)

Material docente de la asignatura «Simulación y Optimización de procesos químicos». Parte de Optimización OPTIMIZACIÓN TEMA 6. Conceptos Básicos 6.1 Introducción. Desarrollo histórico de la optimización de procesos. 6.2 Funciones y regiones cóncavas y convexas. 6.3 Optimización sin restricciones. 6.4 Optimización con restricciones de igualdad y desigualdad. Condiciones de optimalidad de Karush Khun Tucker 6.5 Interpretación de los Multiplicadores de Lagrange. TEMA 7. Programación lineal 7.1 Introducción. Planteamiento del problema en forma canónica y forma estándar. 7.2 Teoremas de la programación lineal 7.3 Resolución gráfica 7.4 Resolución en forma de tabla. El método simplex. 7.5 Variables artificiales. Método de la Gran M y método de las dos fases. 7.6 Conceptos básicos de dualidad. TEMA 8. Programación no lineal 8.1 Repaso de métodos numéricos de optimización sin restricciones 8.2 Optimización con restricciones. Fundamento de los métodos de programación cuadrática sucesiva y de gradiente reducido. TEMA 9. Introducción a la programación lineal y no lineal con variables discretas. 9.1 Conceptos básicos para la resolución de problemas lineales con variables discretas.(MILP, mixed integer linear programming) 9.2 Introducción a la programación no lineal con variables continuas y discretas (MINLP mixed integer non linear programming) 9.3 Modelado de problemas con variables binarias: 9.3.1 Conceptos básicos de álgebra de Boole 9.3.2 Transformación de expresiones lógicas a expresiones algebraicas 9.3.3 Modelado con variables discretas y continuas. Formulación de envolvente convexa y de la gran M.

Presentaciones Simulación y Optimización de Procesos Químicos (curso 2011-2012)

Presentaciones en power point de los temas correspondientes a la asignatura «Simulación y Optimización de procesos químicos».