911 resultados para Hierarchy of beings


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Agricultural water management needs to evolve in view of increased water scarcity, especially when farming and natural protected areas are closely linked. In the study site of Don?ana (southern Spain), water is shared by rice producers and a world heritage biodiversity ecosystem. Our aim is to contribute to defining adaptation strategies that may build resilience to increasing water scarcity and minimize water conflicts among agricultural and natural systems. The analytical framework links a participatory process with quantitative methods to prioritize the adaptation options. Bottom-up proposed adaptation measures are evaluated by a multi-criteria analysis (MCA) that includes both socioeconomic criteria and criteria of the ecosystem services affected by the adaptation options. Criteria weights are estimated by three different methods?analytic hierarchy process, Likert scale and equal weights?that are then compared. Finally, scores from an MCA are input into an optimization model used to determine the optimal land-use distribution in order to maximize utility and land-use diversification according to different scenarios of funds and water availability. While our results show a spectrum of perceptions of priorities among stakeholders, there is one overriding theme that is to define a way to restore part of the rice fields to natural wetlands. These results hold true under the current climate scenario and evenmore so under an increased water scarcity scenario.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Services in smart environments pursue to increase the quality of people?s lives. The most important issues when developing this kind of environments is testing and validating such services. These tasks usually imply high costs and annoying or unfeasible real-world testing. In such cases, artificial societies may be used to simulate the smart environment (i.e. physical environment, equipment and humans). With this aim, the CHROMUBE methodology guides test engineers when modeling human beings. Such models reproduce behaviors which are highly similar to the real ones. Originally, these models are based on automata whose transitions are governed by random variables. Automaton?s structure and the probability distribution functions of each random variable are determined by a manual test and error process. In this paper, it is presented an alternative extension of this methodology which avoids the said manual process. It is based on learning human behavior patterns automatically from sensor data by using machine learning techniques. The presented approach has been tested on a real scenario, where this extension has given highly accurate human behavior models,

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The Pridneprovsky Chemical Plant was a largest uranium processing enterprises, producing a huge amount of uranium residues. The Zapadnoe tailings site contains the majority of these residues. We propose a theoretical framework based on Multi-Criteria Decision Analysis and fuzzy logic to analyse different remediation alternatives for the Zapadnoe tailings, in which potentially conflicting economic, radiological, social and environmental objectives are simultaneously taken into account. An objective hierarchy is built that includes all the relevant aspects. Fuzzy rather than precise values are proposed for use to evaluate remediation alternatives against the different criteria and to quantify preferences, such as the weights representing the relative importance of criteria identified in the objective hierarchy. Finally, it is proposed that remediation alternatives should be evaluated by means of a fuzzy additive multi-attribute utility function and ranked on the basis of the respective trapezoidal fuzzy number representing their overall utility.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

En el trabajo que aquí presentamos se incluye la base teórica (sintaxis y semántica) y una implementación de un framework para codificar el razonamiento de la representación difusa o borrosa del mundo (tal y como nosotros, seres humanos, entendemos éste). El interés en la realización de éste trabajo parte de dos fuentes: eliminar la complejidad existente cuando se realiza una implementación con un lenguaje de programación de los llamados de propósito general y proporcionar una herramienta lo suficientemente inteligente para dar respuestas de forma constructiva a consultas difusas o borrosas. El framework, RFuzzy, permite codificar reglas y consultas en una sintaxis muy cercana al lenguaje natural usado por los seres humanos para expresar sus pensamientos, pero es bastante más que eso. Permite representar conceptos muy interesantes, como fuzzificaciones (funciones usadas para convertir conceptos no difusos en difusos), valores por defecto (que se usan para devolver resultados un poco menos válidos que los que devolveríamos si tuviésemos la información necesaria para calcular los más válidos), similaridad entre atributos (característica que utilizamos para buscar aquellos individuos en la base de datos con una característica similar a la buscada), sinónimos o antónimos y, además, nos permite extender el numero de conectivas y modificadores (incluyendo modificadores de negación) que podemos usar en las reglas y consultas. La personalización de la definición de conceptos difusos (muy útil para lidiar con el carácter subjetivo de los conceptos borrosos, donde nos encontramos con que cualificar a alguien de “alto” depende de la altura de la persona que cualifica) es otra de las facilidades incluida. Además, RFuzzy implementa la semántica multi-adjunta. El interés en esta reside en que introduce la posibilidad de obtener la credibilidad de una regla a partir de un conjunto de datos y una regla dada y no solo el grado de satisfacción de una regla a partir de el universo modelado en nuestro programa. De esa forma podemos obtener automáticamente la credibilidad de una regla para una determinada situación. Aún cuando la contribución teórica de la tesis es interesante en si misma, especialmente la inclusión del modificador de negacion, sus multiples usos practicos lo son también. Entre los diferentes usos que se han dado al framework destacamos el reconocimiento de emociones, el control de robots, el control granular en computacion paralela/distribuída y las busquedas difusas o borrosas en bases de datos. ABSTRACT In this work we provide a theoretical basis (syntax and semantics) and a practical implementation of a framework for encoding the reasoning and the fuzzy representation of the world (as human beings understand it). The interest for this work comes from two sources: removing the existing complexity when doing it with a general purpose programming language (one developed without focusing in providing special constructions for representing fuzzy information) and providing a tool intelligent enough to answer, in a constructive way, expressive queries over conventional data. The framework, RFuzzy, allows to encode rules and queries in a syntax very close to the natural language used by human beings to express their thoughts, but it is more than that. It allows to encode very interesting concepts, as fuzzifications (functions to easily fuzzify crisp concepts), default values (used for providing results less adequate but still valid when the information needed to provide results is missing), similarity between attributes (used to search for individuals with a characteristic similar to the one we are looking for), synonyms or antonyms and it allows to extend the number of connectives and modifiers (even negation) we can use in the rules. The personalization of the definition of fuzzy concepts (very useful for dealing with the subjective character of fuzziness, in which a concept like tall depends on the height of the person performing the query) is another of the facilities included. Besides, RFuzzy implements the multi-adjoint semantics. The interest in them is that in addition to obtaining the grade of satisfaction of a consequent from a rule, its credibility and the grade of satisfaction of the antecedents we can determine from a set of data how much credibility we must assign to a rule to model the behaviour of the set of data. So, we can determine automatically the credibility of a rule for a particular situation. Although the theoretical contribution is interesting by itself, specially the inclusion of the negation modifier, the practical usage of it is equally important. Between the different uses given to the framework we highlight emotion recognition, robocup control, granularity control in parallel/distributed computing and flexible searches in databases.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

En los suelos, el exceso de acidez lleva asociado deficiencias en ciertos nutrientes y una alta disponibilidad de aluminio, tóxico para los cultivos propios del ambiente mediterráneo. Su laboreo, provoca la pérdida de materia orgánica (MO), deteriora su estructura y reduce la actividad biológica, provocando en última instancia una menor calidad del suelo. Es de esperar pues que cuando se labran suelos ácidos, sus problemáticas particulares tiendan a agravarse. En nuestra zona de estudio, la “raña” de Cañamero (Extremadura, España), predominan los suelos muy ácidos y degradados por un laboreo inadecuado. Las rañas constituyen amplias plataformas casi horizontales, con unos suelos muy viejos (Palexerults), que se caracterizan por tener el complejo de cambio dominado por el aluminio, y un pH ácido que decrece en profundidad. Poseen un potente horizonte Bt rico en arcillas caoliníticas, que propicia que en periodos con exceso de lluvia, se generen capas colgadas de agua cercanas a la superficie. En torno a los años 1940’s estos suelos, que previamente sostenían un alcornocal, o su matorral de sustitución, se pusieron en cultivo. El laboreo aceleró la mineralización de la materia orgánica, agravó los problemas derivados del exceso de acidez y condujo al abandono de los campos cultivados por falta de productividad. Para recuperar la calidad de estos suelos degradados y obtener unos rendimientos compatibles con su uso agrícola es necesario, por un lado, aplicar enmiendas que eleven el pH y reduzcan la toxicidad del aluminio y, por otro, favorecer el incremento en el contenido en MO. En 2005 se implantó en esta raña un ensayo de campo para estudiar la influencia del no laboreo y de la utilización de una enmienda cálcica en parámetros relacionados con la calidad del suelo en un cultivo forrajero. El diseño experimental fue en parcelas divididas con cuatro repeticiones donde el factor principal fue el tipo de laboreo, no laboreo (NL) frente a laboreo convencional (LC), y el factor secundario el uso o no de una enmienda cálcica. La enmienda consistió básicamente en una mezcla de espuma de azucarería y yeso rojo y se incorporó al comienzo del ensayo hasta los 7 cm de profundidad. Desde el comienzo del ensayo el NL influyó positivamente en el contenido de carbono orgánico total (COT) y particulado (COP), mientras que la enmienda tuvo una ligera influencia al principio del ensayo en ambos pero su efecto positivo se desvaneció con el paso del tiempo. Los mayores contenidos en COT y POC se observaron cuando se combinó el NL con la enmienda. La enmienda incrementó con rapidez el pH, y el Ca, y disminuyó el contenido en aluminio hasta una profundidad de 50 cm, incluso en NL, y mejoró ligeramente la agregación del suelo. El NL por sí solo, gracias al aumento en POC, TOC y las proteínas del suelo relacionadas con la glomalina (PSRG), que son capaces de formar compuestos estables no tóxicos con el aluminio, también contribuyó a la reducción de la toxicidad de aluminio en la capa más superficial. Cuando en las campañas con exceso de precipitaciones se generaron capas colgadas de agua próximas a la superficie, el NL generó unas condiciones más favorables para la germinación y desarrollo del cultivo, resultando en una producción más alta que el LC. A ello contribuyó la mayor capacidad de almacenamiento de agua y la mayor transmisividad de esta hacia abajo, en la capa más superficial (0-5 cm) que propició una menor saturación por agua que el LC. Respecto a los parámetros relacionados con la agregación, el NL aumentó los macroagregados hasta los 10 cm de profundidad y favoreció la acumulación de CO y N en todas las fracciones de tamaño de agregados. Sin embargo, la recuperación del grado de macroagregación tras el cese del laboreo resulta lenta en comparación con otros suelos, posiblemente debido al bajo contenido en arcilla en el horizonte Ap. En comparación con el NL, la enmienda mostró también un efecto positivo, aunque muy ligero, en la agregación del suelo. En contradicción con otros estudios en suelos ácidos, nuestros resultados indican la existencia de una jerarquía de agregados, y destacan el papel importante de la MO en la mejora de la agregación. Tanto el NL como la enmienda favorecieron por separado varias propiedades químicas, físicas y biológicas del suelo, pero, en general, encontramos los mayores beneficios con su uso combinado. Además, a largo plazo el efecto positivo de NL en las propiedades del suelo fue en aumento, mientras que el efecto beneficioso de la enmienda se limitó básicamente a las propiedades químicas y se desvaneció en pocos años. Destacamos que las condiciones meteorológicas a lo largo del ensayo beneficiaron la producción de biomasa en NL, y en consecuencia las propiedades relacionadas con la materia orgánica, por lo que son un factor a tener en cuenta a la hora de evaluar los efectos de la enmienda y el laboreo sobre las propiedades del suelo, especialmente en zonas donde esas condiciones son muy variables entre una campaña y otra. Los resultados de este estudio han puesto de manifiesto que el NL no ha mermado la eficacia de la enmienda caliza, posiblemente gracias a la alta solubilidad de la enmienda aplicada, es más, el manejo con NL y enmienda es el que ha favorecido en mayor medida ciertos parámetros de calidad del suelo. Por el contrario el LC sí parece anular los beneficios de la enmienda en relación con las propiedades relacionadas con la MO. Por tanto, cabe concluir que la combinación de NL y la enmienda es una práctica adecuada para mejorar las propiedades químicas y físicas de suelos ácidos degradados por el laboreo. ABSTRACT Excessive acidity in soils is associated with deficiencies in certain nutrients and high concentrations of available aluminum, which is toxic for most Mediterranean crops. Tilling these soils results in the loss of soil organic matter (SOM), damages soil structure and reduces biological activity, ultimately degrading soil quality. It is expected, therefore, that when acid soils are tilled, their particular problems will tend to get worse. In our study area, the "Cañamero’s Raña” (Extremadura, Spain), acid soils degraded by an inappropriate tillage prevail. Rañas are large and flat platforms with very old soils (Palexerults), which are characterized by an exchange complex dominated by aluminum and an acid pH which decreases with depth. These soils have a strong Bt horizon rich in kaolinite clays, which encourages the formation of perched water-tables near the soil surface during periods of excessive rain. During the first third of the 20th century, these soils, that previously supported cork oak or its scrub replacement, were cultivated. Tillage accelerated the mineralization of the SOM, aggravating the problems of excessive acidity, which finally led to the abandonment of the land due to low productivity. To recover the quality of these degraded soils and to obtain consistent yields it is necessary, first, to apply amendments to raise the pH and reduce aluminum toxicity, and second to encourage the accumulation of SOM. In 2005 a field trial was established in the Raña to study the influence of no-tillage and the use of a Ca-amendment on soil quality related parameters in a forage crop agrosystem. The experimental design was a split-plot with four replicates where the main factor was tillage type, no-tillage (NT) versus traditional tillage (TT) and the secondary factor was the use or not of a Ca-amendment. The Ca-amendment was a mixture of sugar foam and red gypsum that was incorporated into the top 7 cm of the soil. Since the beginning of the experiment, NT had a positive influence on total and particulate organic carbon (TOC and POC, respectively), while the Ca-amendment had a small positive influence at the beginning of the study but its effect diminished with time. The highest TOC and POC contents were observed when NT and the Ca-amendment were combined. The Ca-amendment, even under NT, rapidly increased pH and Ca, and decreased the aluminum content to a depth of 50 cm, as well as improving soil aggregation slightly. NT, due to the increased POC, TOC and Glomalin-related soil proteins (GRSP), which can form stable non-toxic compounds with aluminum, also contributed to the reduction of aluminum toxicity in the upper layer. When perched water-tables near the soil surface were formed in campaigns with excessive rainfall, NT provided more favorable conditions for germination and crop development, resulting in higher yields compared with TT. This was directly related to the higher water storage capacity and the greater transmissivity of the water downwards from the upper layers, which led to lower water saturation under NT compared with TT. With regards to the aggregation-related parameters, NT increased macroaggregation to a depth of 10 cm and favored the accumulation of OC and N in all aggregate size fractions. However, the degree of recovery of macroaggregation after tillage ceased was slow compared with other soils, possibly due to the low clay content in the Ap horizon. Compared with NT, the Ca-amendment had a slight positive effect on soil aggregation. In contrast to other studies in acid soils, our results indicate the existence of an aggregate hierarchy, and highlight the important role of SOM in improving aggregation. Both NT and the Ca-amendment separately favored various chemical, physical and biological soil properties, but in general we found the greatest benefits when the two treatments were combined. In addition, the positive effect of NT on soil properties increased with time, while the beneficial effect of the Ca-amendment, which was limited to the chemical properties, vanished after a few years. It is important to note that the meteorological conditions throughout the experiment benefited biomass production under NT and, as a consequence, organic matter related properties. This suggests that meteorological conditions are a factor to consider when evaluating the effects of Ca-amendments and tillage on soil properties, especially in areas where such conditions vary significantly from one campaign to another. The results of this study show that NT did not diminish the effectiveness of the Ca-amendment, possibly due to the high solubility of the selected amendment. Moreover, the combination of NT and the Ca-amendment was actually the management that favored certain soil quality parameters the most. By contrast, TT seemed to nullify the benefits of the Ca-amendment with regards to the OM related properties. In conclusion, the combination of NT and the application of a Ca-amendment is an advisable practice for improving the chemical and physical properties of acid soils degraded by tillage.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

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.