Simulaci��n de seguimiento de blancos en sistemas radar. Parte 2

El proyecto consiste en el dise��o y estudio de un software cuyas prestaciones est��n orientadas a gestionar una simulaci��n de un sistema de radar. El prototipo de este entorno de simulaci��n se ha realizado en el lenguaje Matlab debido a que inicialmente se considera el m��s adecuado para el tratamiento de las se��ales que los sistemas de radar manejan para realizar sus c��lculos. Se ha escogido como modelo el software desarrollado por la compa����a SAP para gestionar los E.R.P.s de grandes empresas. El motivo es que es un software cuyo dise��o y funcionalidad es especialmente adecuado para la gesti��n ordenada de una cantidad grande de datos diversos de forma integrada. Dise��ar e implementar el propio entorno es una tarea de enorme complejidad y que requerir�� el esfuerzo de una cantidad importante de personas; por lo que este proyecto se ha limitado, a un prototipo b��sico con una serie de caracter��sticas m��nimas; as�� como a indicar y dejar preparado el camino por el que deber��n transcurrir las futuras agregaciones de funcionalidad o mejoras. Funcionalmente, esto es, independientemente de la implementaci��n espec��fica con la que se construya el entorno de simulaci��n, se ha considerado dividir las caracter��sticas y prestaciones ofrecidas por el sistema en bloques. Estos bloques agrupar��n los componentes relacionados con un aspecto espec��fico de la simulaci��n, por ejemplo, el bloque 1, es el asignado a todo lo relacionado con el blanco a detectar. El usuario del entorno de simulaci��n interactuar�� con el sistema ejecutando lo que se llaman transacciones, que son agrupaciones l��gicas de datos a introducir/consultar en el sistema relacionados y que se pueden ejecutar de forma independiente. Un ejemplo de transacci��n es la que permite mantener una trayectoria de un blanco junto con sus par��metros, pero tambi��n puede ser una transacci��n la aplicaci��n que permite por ejemplo, gestionar los usuarios con acceso al entorno. Es decir, las transacciones son el componente m��nimo a partir del cual el usuario puede interactuar con el sistema. La interfaz gr��fica que se le ofrecer�� al usuario, est�� basada en modos, que se pueden considerar ���ventanas��� independientes entre s�� dentro de las cu��les el usuario ejecuta sus transacciones. El usuario podr�� trabajar con cuantos modos en paralelo desee y cambiar seg��n desee entre ellos. La programaci��n del software se ha realizado utilizando la metodolog��a de orientaci��n a objetos y se ha intentado maximizar la reutilizaci��n del c��digo as�� como la configurabilidad de su funcionalidad. Una caracter��stica importante que se ha incorporado para garantizar la integridad de los datos es un diccionario sint��ctico. Para permitir la persistencia de los datos entre sesiones del usuario se ha implementado una base de datos virtual (que se prev�� se reemplace por una real), que permite manejar, tablas, campos clave, etc. con el fin de guardar todos los datos del entorno, tanto los de configuraci��n que solo ser��an responsabilidad de los administradores/desarrolladores como los datos maestros y transaccionales que ser��an gestionados por los usuarios finales del entorno de simulaci��n. ABSTRACT. This end-of-degree project comprises the design, study and implementation of a software based application able to simulate the various aspects and performance of a radar system. A blueprint for this application has been constructed upon the Matlab programming language. This is due to the fact that initially it was thought to be the one most suitable to the complex signals radar systems usually process; but it has proven to be less than adequate for all the other core processes the simulation environment must provide users with. The software���s design has been based on another existing software which is the one developed by the SAP company for managing enterprises, a software categorized (and considered the paradigm of) as E.R.P. software (E.R.P. stands for Enterprise Resource Planning). This software has been selected as a model because is very well suited (its basic features) for working in an orderly fashion with a pretty good quantity of data of very diverse characteristics, and for doing it in a way which protects the integrity of the data. To design and construct the simulation environment with all its potential features is a pretty hard task and requires a great amount of effort and work to be dedicated to its accomplishment. Due to this, the scope of this end-of-degree project has been focused to design and construct a very basic prototype with minimal features, but which way future developments and upgrades to the systems features should go has also been pointed. In a purely functional approach, i.e. disregarding completely the specific implementation which accomplishes the simulation features, the different parts or aspects of the simulation system have been divided and classified into blocks. The blocks will gather together and comprise the various components related with a specific aspect of the simulation landscape, for example, block number one will be the one dealing with all the features related to the radars system target. The user interaction with the system will be based on the execution of so called transactions, which essentially consist on bunches of information which logically belong together and can thus be managed together. A good example, could be a transaction which permits to maintain a series of specifications for target���s paths; but it could also be something completely unrelated with the radar system itself as for example, the management of the users who can access the system. Transactions will be thus the minimum unit of interaction of users with the system. The graphic interface provided to the user will be mode based, which can be considered something akin to a set of independent windows which are able on their own to sustain the execution of an independent transaction. The user ideally should be able to work with as many modes simultaneously as he wants to, switching his focus between them at will. The approach to the software construction has been based on the object based paradigm. An effort has been made to maximize the code���s reutilization and also in maximizing its customizing, i.e., same sets of code able to perform different tasks based on configuration data. An important feature incorporated to the software has been a data dictionary (a syntactic one) which helps guarantee data integrity. Another important feature that allow to maintain data persistency between user sessions, is a virtual relational data base (which should in future times become a real data base) which allows to store data in tables. The data store in this tables comprises both the system���s configuration data (which administrators and developers will maintain) and also master and transactional data whose maintenance will be the end users task.

Lecciones pr��cticas de desarrollo de aplicaciones m��viles en Android

Los avances que se han producido en los ��ltimos a��os en cuanto a potencia y capacidades de los tel��fonos m��viles que usamos de manera cotidiana, traen de la mano un auge en la demanda de aplicaciones de todo ��mbito: desde aplicaciones generales de consumo, pasando por juegos, hasta aplicaciones que ofrecen soluciones internas a empresas. Existen diferentes sistemas operativos para tel��fonos m��viles como se explicar�� m��s adelante en el cap��tulo introductorio. En dicho cap��tulo se da la justificaci��n de por qu�� en el presente Proyecto Fin de Carrera se centra en el estudio del sistema operativo Android. Primeramente se dar�� una visi��n global del estado del arte en cuanto al mundo de aplicaciones m��viles se refiere. Se explicar��n los pros y contras de cada sistema operativo, detallando el lenguaje de programaci��n utilizado en cada uno de ellos y sus principales caracter��sticas. Despu��s, en el cap��tulo tres se estudiar�� con m��s profundidad el sistema operativo Android, desde su historia y or��genes, hasta los componentes b��sicos para la creaci��n de una aplicaci��n, pasando por la arquitectura interna del sistema o su m��quina virtual. Con esto se pretende que el lector tenga un contexto que le permita comprender los siguientes cap��tulos, que es donde est�� el n��cleo de este Proyecto Fin de Carrera. El cuarto cap��tulo trata de una serie de pr��cticas incrementales, que cubren una gran parte de las posibilidades que ofrece el sistema operativo Android para el desarrollo de aplicaciones. Se ha pretendido que la dificultad vaya de menos a m��s y que las pr��cticas se vayan apoyando en las anteriores, para tener al final una ��nica soluci��n que englobe todas las lecciones. El ��ltimo cap��tulo quiere englobar el uso de todas las lecciones aprendidas en las lecciones anteriores para crear una aplicaci��n que bien podr��a ser una aplicaci��n real para un cliente. Se trata de una aplicaci��n que muestra en tiempo real informaci��n sobre las c��maras de tr��fico de la ciudad de Madrid. ABSTRACT. The improvements that have occurred in recent years in terms of power and capabilities of mobile phones that we use on a daily basis, bring an increment in demand for all kind of applications, from general consumer applications, games or even internal applications that offer solutions to companies. There are different operating systems for mobile phones as will be explained later in the introductory chapter. In that chapter the answer for why this Thesis focuses on the study of the Android operating system is given as well. First an overview of the state of the art about the world of mobile applications will be referred. The pros and cons of each operating system will be explained, detailing the programming language used in each of them and their main characteristics. Then in chapter three will be discussed in more depth the Android operating system, from its history and beginnings to the main components for the creation of an application, to the internal architecture of the system or virtual machine. The goal of chapter three is to give the readers a context that allows them to understand the following chapters, where the core of this Thesis is. The fourth chapter contains a series of incremental practices covering a large part of the potential of the Android operating system for application development. Those practices grow in difficulty and are supported by the previous in order to have at the end a single solution that fits all lessons. The last chapter wants to embrace the use of all the lessons learned in previous lessons to create an application that could well be an actual application for a client. It is an application that displays real-time information off traffic cameras of the city of Madrid.

Herramienta de apoyo a la docencia en sistemas operativos

El proyecto fin de carrera de herramienta de apoyo a la docencia en Sistemas Operativos quiere ayudar al alumno a entender el funcionamiento de un planificador a corto plazo. Lo hace mediante una representaci��n gr��fica de procesos que ocupan o el procesador o distintas unidades de entrada/salida mientras transcurre el tiempo. El tiempo est�� dividido en ciclos de reloj de un procesador, a lo que a continuaci��n se referir�� como unidades de tiempo. Los procesos est��n definidos por su nombre, la instante de entrada que entran al sistema, su prioridad y la secuencia de unidades de tiempo en el procesador y unidades de entrada/salida que necesitan para terminar su trabajo. El alumno puede configurar el sistema a su gusto en cuanto al n��mero y comportamiento de las unidades de entrada/salida. Puede definir que una unidad solo permita acceso exclusivo a los procesos, es decir que solo un proceso puede ocuparla simult��neamente, o que permita el acceso m��ltiple a sus recursos. El alumno puede construir un planificador a corto plazo propio, integrarlo en el sistema y ver c��mo se comporta. Se debe usar la interfaz Java proporcionada para su construcci��n. La aplicaci��n muestra datos estad��sticos como por ejemplo la eficiencia del sistema (el tiempo activo de la CPU dividido por el tiempo total de la simulaci��n), tiempos de espera de los procesos, etc. Se calcula despu��s de cada unidad de tiempo para que el alumno pueda ver el momento exacto donde la simulaci��n tom�� un giro inesperado. La aplicaci��n est�� compuesta por un motor de simulaci��n que contiene toda la l��gica y un conjunto de clases que forman la interfaz gr��fica que se presenta al usuario. Estos dos componentes pueden ser reemplazados siempre y cuando se mantenga la definici��n de sus conectores igual. La aplicaci��n la he hecho de manejo muy simple e interfaz f��cil de comprender para que el alumno pueda dedicar todo su tiempo a probar distintas configuraciones y situaciones y as�� entender mejor la asignatura. ABSTRACT. The project is called ���Tool to Support Teaching of the Subject Operating Systems��� and is an application that aims to help students understand on a deeper level the inner workings of how an operating system handles multiple processes in need of CPU time by the means of a short-term planning algorithm. It does so with a graphical representation of the processes that occupy the CPU and different input/output devices as time passes by. Time is divided in CPU cycles, from now on referred to as time units. The processes are defined by their name, the moment they enter the system, their priority and the sequence of time units they need to finish their job. The student can configure the system by changing the number and behavior of the input/output devices. He or she can define whether a device should only allow exclusive access, i.e. only one process can occupy it at any given time, or if it should allow multiple processes to access its resources. The student can build a planning algorithm of his or her own and easily integrate it into the system to see how it behaves. The provided Java interface and the programming language Java should be used to build it. The application shows statistical data, e.g. the efficiency of the system (active CPU time divided by total simulation time) and time spent by the processes waiting in queues. The data are calculated after passing each time unit in order for the student to see the exact moment where the simulation took an unexpected turn. The application is comprised of a simulation motor, which handles all the logic, and a set of classes, which is the graphical user interface. These two parts can be replaced individually if the definition of the connecting interfaces stays the same. I have made the application to be very easy to use and with an easy to understand user interface so the student can spend all of his or her time trying out different configurations and scenarios in order to understand the subject better.

Generador de ex��menes de test aleatorio

En este documento se detalla, la planificaci��n y elaboraci��n de un paquete que respeta el est��ndar S4 de programaci��n en lenguaje R. El paquete consiste en una serie de m��todos y clases para la generaci��n de ex��menes tipos test y soluciones a partir de un archivo xls, que hace las funciones de una base de datos. El dise��o propuesto est�� orientado a objetos y desarrolla un conjunto de clases que representan los contenidos de una prueba de evaluaci��n tipo test: enunciados, peguntas y respuestas. Se ha realizado una implementaci��n sencilla de un prototipo con las funciones b��sicas necesarias para generar los tests. Adem��s se ha generado la documentaci��n necesaria para crear el paquete, esto significa que cada m��todo tiene una p��gina de ayuda, que se podr�� consultar desde un terminal con R, dicha documentaci��n incluye ejemplos de ejecuci��n de cada m��todo.---ABSTRACT---In this document is detailed the elaboration and development of a package that meets the standard S4 of programming language R. This package consists of a group of methods and classes used for the generation of test exams and their solutions starting from a xls format file wich plays the role of a data base at the same time. These classes have been grouped in a way that the user could have a complete and easy vision of them. This division has been done by using data storage and functions whose tasks are more or less the same. Furthermore, the necessary documentation to create this package has also been generated, that means that every method has a help page wich can be called from a R terminal if necessary. This documentation has examples of the execution of every method.

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

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

Derivaci��n deductiva de programas funcionales con patrones

Una de las dificultades principales en el desarrollo de software es la ausencia de un marco conceptual adecuado para su estudio. Una propuesta la constituye el modelo transformativo, que entiende el desarrollo de software como un proceso iterativo de transformaci��n de especificaciones: se parte de una especificaci��n inicial que va transform��ndose sucesivamente hasta obtener una especificaci��n final que se toma como programa. Este modelo b��sico puede llevarse a la pr��ctica de varias maneras. En concreto, la aproximaci��n deductiva toma una sentencia l��gica como especificaci��n inicial y su proceso transformador consiste en la demostraci��n de la sentencia; como producto secundario de la demostraci��n se deriva un programa que satisface la especificaci��n inicial. La tesis desarrolla un m��todo deductivo para la derivaci��n de programas funcionales con patrones, escritos en un lenguaje similar a Hope. El m��todo utiliza una l��gica multig��nero, cuya relaci��n con el lenguaje de programaci��n es estudiada. Tambi��n se identifican los esquemas de demostraci��n necesarios para la derivaci��n de funciones con patrones, basados en la demostraci��n independiente de varias subsentencias. Cada subsentencia proporciona una subespecificaci��n de una ecuaci��n del futuro programa a derivar. Nuestro m��todo deductivo est�� inspirado en uno previo de Zohar Manna y Richard Waldinger, conocido como el cuadro deductivo, que deriva programas en un lenguaje similar a Lisp. El nuevo m��todo es una modificaci��n del cuadro de estos autores, que incorpora g��neros y permite demostrar una especificaci��n mediante varios cuadros. Cada cuadro demuestra una subespecificaci��n y por tanto deriva una ecuaci��n del programa. Se prev��n mecanismos para que los programas derivados puedan contener definiciones locales con patrones y variables an��nimas y sin��nimas y para que las funciones auxiliares derivadas no usen variables de las funciones principales. La tesis se completa con varios ejemplos de aplicaci��n, un mecanismo que independentiza el m��todo del lenguaje de programaci��n y un prototipo de entorno interactivo de derivaci��n deductiva. Categor��as y descriptores de materia CR D.l.l [T��cnicas de programaci��n]: Programaci��n funcional; D.2.10 [Ingenier��a de software]: Dise��o - m��todos; F.3.1 [L��gica y significado de los programas]: Especificaci��n, verificaci��n y razonamiento sobre programas - l��gica de programas; F.3.3 [L��gica y significado de los programas]: Estudios de construcciones de programas - construcciones funcionales; esquemas de programa y de recursion; 1.2.2 [Inteligencia artificial]: Programaci��n autom��tica - s��ntesis de programas; 1.2.3 [Inteligencia artificial]: Deducci��n y demostraci��n de teoremas]: extracci��n de respuesta/raz��n; inducci��n matem��tica. T��rminos generales Programaci��n funcional, s��ntesis de programas, demostraci��n de teoremas. Otras palabras claves y expresiones Funciones con patrones, cuadro deductivo, especificaci��n parcial, inducci��n estructural, teorema de descomposici��n.---ABSTRACT---One of the main difficulties in software development is the lack of an adequate conceptual framework of study. The transformational model is one such proposal that conceives software development as an iterative process of specifications transformation: an initial specification is developed and successively transformed until a final specification is obtained and taken as a program. This basic model can be implemented in several ways. The deductive approach takes a logical sentence as the initial specification and its proof constitutes the transformational process; as a byproduct of the proof, a program which satisfies the initial specification is derived. In the thesis, a deductive method for the derivation of Hope-like functional programs with patterns is developed. The method uses a many-sorted logic, whose relation to the programming language is studied. Also the proof schemes necessary for the derivation of functional programs with patterns, based on the independent proof of several subsentences, are identified. Each subsentence provides a subspecification of one equation of the future program to be derived. Our deductive method is inspired on a previous one by Zohar Manna and Richard Waldinger, known as the deductive tableau, which derives Lisp-like programs. The new method incorporates sorts in the tableau and allows to prove a sentence with several tableaux. Each tableau proves a subspecification and therefore derives an equation of the program. Mechanisms are included to allow the derived programs to contain local definitions with patterns and anonymous and synonymous variables; also, the derived auxiliary functions cannot reference parameters of their main functions. The thesis is completed with several application examples, i mechanism to make the method independent from the programming language and an interactive environment prototype for deductive derivation. CR categories and subject descriptors D.l.l [Programming techniques]: Functional programming; D.2.10 [Software engineering]: Design - methodologies; F.3.1 [Logics and meanings of programa]: Specifying and verifying and reasoning about programs - logics of programs; F.3.3 [Logics and meanings of programs]: Studies of program constructs - functional constructs; program and recursion schemes; 1.2.2 [Artificial intelligence]: Automatic programming - program synthesis; 1.2.3 [Artificial intelligence]: Deduction and theorem proving - answer/reason extraction; mathematical induction. General tenas Functional programming, program synthesis, theorem proving. Additional key words and phrases Functions with patterns, deductive tableau, structural induction, partial specification, descomposition theorem.

Customer Relationship Management-PeopleSoft CRM

1 RESUMEN 1.1 Resumen (espa��ol) El intercambio y comercio tanto de bienes como servicios se remonta a tiempos inmemoriales dentro de la historia de la humanidad. Desde sus inicios tempranos con el intercambio o trueque de productos en el Neol��tico hasta nuestra ��poca h��per globalizada, en la que existen clientes potenciales en el otro extremo del mundo, podemos decir que se ha recorrido un largo camino. Con el paso del tiempo y la evoluci��n de la sociedad y la tecnolog��a, as�� como la evoluci��n empresarial, se ha visto necesario la implementaci��n de estrategias para lograr la fidelizaci��n y satisfacci��n de los clientes. De esta forma entendimos que ya no val��a simplemente con vender un producto a un cliente, si no que si quer��amos establecer una relaci��n contin��a con el mismo, deb��amos lograr su satisfacci��n y por tanto su fidelizaci��n. Como forma de extender la relaci��n m��s all�� de una simple venta, las empresas modernas empezaron a implementar diversas estrategias. De esta forma aparecieron los primeros centros de atenci��n al cliente, las primeras aplicaciones hechas a medida para dar soporte a los clientes y por fin los sistemas CRM tal y como los concebimos hoy d��a. El presente proyecto fin de carrera da una explicaci��n de dichos sistemas indicando cu��les son sus objetos fundamentales y c��mo implementan la estrategia CRM y profundiza en uno de los sistemas CRM m��s utilizados: PeopleSoft CRM, dando una explicaci��n detallada de dicho sistemas as�� como de los conceptos y lenguaje de programaci��n de dicho sistema CRM. 1.2 SUMMARY (ENGLISH) The exchange and trade of goods as well and services goes back to ancient times in the history of mankind. Since its early beginning with the bartering of products in the Neolithic to our globalized hyper era, in which there are potential customers on the other side of the world, we can say that it has come a long way. After a certain length of time, the society and technology evolution, and also the enterprise development, has been necessary to implement strategies to achieve customer loyalty and satisfaction. We understood in this way that it no longer simply worth to sell a product to a customer, otherwise if we wanted to establish a relationship continues with the same, we should ensure their satisfaction and thus their loyalty. As a way to extend the relationship beyond a simple sale, modern enterprises began to implement several strategies. Therefore appeared the first customer service centers, the first applications tailored to support customers and finally the CRM systems as we know it today. This final project gives an explanation of such systems by indicating what the core objects are and how to implement the CRM strategy, deeping into one of the most widely used CRM systems: PeopleSoft CRM, and also giving a detailed explanation of this system and its programming language.

Extending the expressiveness of fuzzy logic languages

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.

Sistema de gesti��n de rankings deportivos V6: funcionalidades avanzadas

El trabajo realizado en este Trabajo de Fin de Grado (en adelante, TFG) consiste en la inclusi��n de nuevas funcionalidades avanzadas a la ��ltima versi��n del Sistema de Gesti��n de Rankings de carreras de orientaci��n. El proyecto, actualmente en fase de explotaci��n, es un sistema de clasificaci��n y manejo de diferentes tipos de rankings para las carreas de orientaci��n a pie de la FEDO1. Por medio de este ranking, se determina la clasificaci��n global de los distintos corredores federados dentro de cada categor��a, a trav��s de diferentes par��metros de entrada que establecen la funcionalidad del ranking. En cuanto al trabajo realizado en este TFG, se trata de la implementaci��n de la siguiente versi��n del sistema (versi��n 6). En esta nueva versi��n se ha querido incluir nuevas funcionalidades requeridas por los miembros de la federaci��n, as�� como mejora de otras que no funcionan correctamente. El primer punto del trabajo fue el de comprender y familiarizarme con la herramienta ya implementada hasta el momento, as�� como aprender un nuevo lenguaje de programaci��n desconocido hasta la fecha para m��; Python. Una de las primeras modificaciones realizadas, sobre las versiones anteriores, es la modificaci��n del Sistema de Gesti��n de Rankings para los organizadores de carreras. Los organizadores de las carreras obtienen una recompensa de puntos por la organizaci��n de carreras, lo que significa un punto de gran importancia para el sistema. Esta funcionalidad no funcionaba correctamente en las versiones anteriores, de manera se tuvo que rehacer desde cero con las especificaciones necesarias. Otro requisito necesario fue modificar los requisitos para el c��lculo de las nuevas medias de corredores, permitiendo el c��lculo de la misma de forma continua o solo cuando se cumplan todos los requisitos. Respecto a la versi��n anterior, exist��a un problema con los accesos a los directorios de cada ranking. En caso de introducir los valores iniciales del ranking desde una carpeta diferente al directorio ra��z de la aplicaci��n, el sistema no realizaba correctamente la b��squeda de archivos en el directorio de ranking. De esta manera, hab��a que modificar todo el c��digo implementado para que todas las b��squedas se realizaran sobre el directorio de cada ranking. A continuaci��n, se incluy�� una nueva funcionalidad para el ranking individual de los corredores. Esta nueva funcionalidad permite la inclusi��n de una nueva opci��n de c��lculo de puntuaciones para el ranking individual, a trav��s de un fichero de entrada de puntuaciones que determinase las puntuaciones de los corredores exactas. Durante toda la fase del proyecto se ha tenido que a��adir otra serie de especificaciones en la aplicaci��n, las cuales ser��n explicadas en esta memoria. En definitiva, el trabajo realizado se ha basado en la mejora de una aplicaci��n que gestiona rankings deportivos, de manera que esta versi��n se acercase lo m��ximo posible a la versi��n final de la aplicaci��n.---ABSTRACT---The work done during these months is based on the addition of new advanced functionalities to the last version of the "Sistema de Gesti��n de Rankings" of orientation races. The project, now in phase of operation, is based on a classification system and management of different types of rankings for walk orienteering of the FEDO. Through this ranking, the global classification of the federal runners in each category is determinated, through various input parameters which establish the functionality of the ranking. Talking about the work done, it consist in the implementation of a new system version (version 6). This new version include new required functionalities by the members of the federation, as well as improving others that were working wrong. The first point of the project was to understand and become familiar with the tool already implemented in that moment, as well as learn a new programming language unknown to date for me; Python. One of the first changes made on previous versions, was the modification of the system for races organizers. The races organizers obtained a reward of points for the organized race, which means a point of great important for the system. This functionality didn't work correctly in previous versions, so was essential to redo it from zero with the required specifications. Another requirement was the addition of a new option for calculating the average of organizers, allowing calculation of it at all times. In the previous version, there was a problem with the access to directories of each ranking. In case of introduce the initial values of the ranking from a different folder to the root directory of the application, the system didn't perform correctly the finding of files in the directory of the ranking. So check all the implemented code for all searches were carried out on each ranking directory.Then a new functionality was included for the individual ranking of runners. This new feature is the inclusion of a new option to calculate scores for the individual ranking, through an input file that determinates exact scores for the runners. Throughout the project phase the addition of another set of specifications in the application was important, which will be explained in this memory. In short, the work done has been based on improving of an application that manage sport rankings, so this version could approach as much as possible to the final version of the application.

Improving flexible databases searches using machine learning

El objetivo principal de este proyecto ha sido introducir aprendizaje autom��tico en la aplicaci��n FleSe. FleSe es una aplicaci��n web que permite realizar consultas borrosas sobre bases de datos n��tidos. Para llevar a cabo esta funci��n la aplicaci��n utiliza unos criterios para definir los conceptos borrosos usados para llevar a cabo las consultas. FleSe adem��s permite que el usuario cambie estas personalizaciones. Es aqu�� donde introduciremos el aprendizaje autom��tico, de tal manera que los criterios por defecto cambien y aprendan en funci��n de las personalizaciones que van realizando los usuarios. Los objetivos secundarios han sido familiarizarse con el desarrollo y dise��o web, al igual que recordar y ampliar el conocimiento sobre l��gica borrosa y el lenguaje de programaci��n l��gica Ciao-Prolog. A lo largo de la realizaci��n del proyecto y sobre todo despu��s del estudio de los resultados se demuestra que la agrupaci��n de los usuarios marca la diferencia con la ��ltima versi��n de la aplicaci��n. Esto se basa en la siguiente idea, podemos usar un algoritmo de aprendizaje autom��tico sobre las personalizaciones de los criterios de todos los usuarios, pero la gran diversidad de opiniones de los usuarios puede llevar al algoritmo a concluir criterios err��neos o no representativos. Para solucionar este problema agrupamos a los usuarios intentando que cada grupo tengan la misma opini��n o mismo criterio sobre el concepto. Y despu��s de haber realizado las agrupaciones usar el algoritmo de aprendizaje autom��tico para precisar el criterio por defecto de cada grupo de usuarios. Como posibles mejoras para futuras versiones de la aplicaci��n FleSe ser��a un mejor control y manejo del ejecutable plserver. Este archivo se encarga de permitir a la aplicaci��n web usar el lenguaje de programaci��n l��gica Ciao-Prolog para llevar a cabo la l��gica borrosa relacionada con las consultas. Uno de los problemas m��s importantes que ofrece plserver es que bloquea el hilo de ejecuci��n al intentar cargar un archivo con errores y en caso de ocurrir repetidas veces bloquea todas las peticiones siguientes bloqueando la aplicaci��n. Pensando en los usuarios y posibles clientes, ser��a tambi��n importante permitir que FleSe trabajase con bases de datos de SQL en vez de almacenar la base de datos en los archivos de Prolog. Otra posible mejora basarse en distintas caracter��sticas a la hora de agrupar los usuarios dependiendo de los conceptos borrosos que se van ha utilizar en las consultas. Con esto se conseguir��a que para cada concepto borroso, se generasen distintos grupos de usuarios, los cuales tendr��an opiniones distintas sobre el concepto en cuesti��n. As�� se generar��an criterios por defecto m��s precisos para cada usuario y cada concepto borroso.---ABSTRACT---The main objective of this project has been to introduce machine learning in the application FleSe. FleSe is a web application that makes fuzzy queries over databases with precise information, using defined criteria to define the fuzzy concepts used by the queries. The application allows the users to change and custom these criteria. On this point is where the machine learning would be introduced, so FleSe learn from every new user customization of the criteria in order to generate a new default value of it. The secondary objectives of this project were get familiar with web development and web design in order to understand the how the application works, as well as refresh and improve the knowledge about fuzzy logic and logic programing. During the realization of the project and after the study of the results, I realized that clustering the users in different groups makes the difference between this new version of the application and the previous. This conclusion follows the next idea, we can use an algorithm to introduce machine learning over the criteria that people have, but the problem is the diversity of opinions and judgements that exists, making impossible to generate a unique correct criteria for all the users. In order to solve this problem, before using the machine learning methods, we cluster the users in order to make groups that have the same opinion, and afterwards, use the machine learning methods to precise the default criteria of each users group. The future improvements that could be important for the next versions of FleSe will be to control better the behaviour of the plserver file, that cost many troubles at the beginning of this project and it also generate important errors in the previous version. The file plserver allows the web application to use Ciao-Prolog, a logic programming language that control and manage all the fuzzy logic. One of the main problems with plserver is that when the user uploads a file with errors, it will block the thread and when this happens multiple times it will start blocking all the requests. Oriented to the customer, would be important as well to allow FleSe to manage and work with SQL databases instead of store the data in the Prolog files. Another possible improvement would that the cluster algorithm would be based on different criteria depending on the fuzzy concepts that the selected Prolog file have. This will generate more meaningful clusters, and therefore, the default criteria offered to the users will be more precise.

A real case of a cognitive multiplayer game: design and development of the iOS client in Swift and its cloud architecture

as tecnolog��as emergentes como el cloud computing y los dispositivos m��viles est��n creando una oportunidad sin precedentes para mejorar el sistema educativo, permitiendo tanto a los educadores personalizar y mejorar la experiencia de aprendizaje, como facilitar a los estudiantes que adquieran conocimientos sin importar d��nde est��n. Por otra parte, a trav��s de t��cnicas de gamificacion ser�� posible promover y motivar a los estudiantes a que aprendan materias arduas haciendo que la experiencia sea m��s motivadora. Los juegos m��viles pueden ser el camino correcto para dar soporte a esta experiencia de aprendizaje mejorada. Este proyecto integra el dise��o y desarrollo de una arquitectura en la nube altamente escalable y con alto rendimiento, as�� como el propio cliente de iOS, para dar soporte a una nueva version de Temporis, un juego m��vil multijugador orientado a reordenar eventos hist��ricos en una l��nea temporal (e.j. historia, arte, deportes, entretenimiento y literatura). Temporis actualmente est�� disponible en Google Play. Esta memoria describe el desarrollo de la nueva versi��n de Temporis (Temporis v.2.0) proporcionando detalles acerca de la mejora y adaptaci��n basados en el Temporis original. En particular se describe el nuevo backend hecho en Go sobre Google App Engine creado para soportar miles de usuarios, as�� como otras caracter��sticas por ejemplo como conseguir enviar noticaciones push desde la propia plataforma. Por ��ltimo, el cliente de iOS en Temporis v.2.0 se ha desarrollado utilizando las ��ltimas y m��s relevantes tecnolog��as, prestando especial atenci��n a Swift (el lenguaje de programaci��n nuevo de Apple, que es seguro y r��pido), el Paradigma Funcional Reactivo (que ayuda a construir aplicaciones altamente interactivas adem��s de a minimizar errores) y la arquitectura VIPER (una arquitectura que sigue los principios SOLID, se centra en la separaci��n de asuntos y favorece la reutilizaci��n de c��digo en otras plataformas). ABSTRACT Emerging technologies such as cloud computing and mobile devices are creating an unprecedented opportunity for enhancing the educational system, letting both educators customize and improve the learning experience, and students acquire knowledge regardless of where they are. Moreover, through gamification techniques it would be possible to encourage and motivate students to learn arduous subjects by making the experience more motivating. Mobile games can be a perfect vehicle to support this enhanced learning experience. This project integrates the design and development of a highly scalable and performant cloud architecture, as well as the iOS client that uses it, in order to provide support to a new version of Temporis, a mobile multiplayer game focused on ordering time-based (e.g. history, art, sports, entertainment and literature) in a timeline that currently is available on Google Play. This work describes the development of the new Temporis version (Temporis v.2.0), providing details about improvements and details on the adaptation of the original Temporis. In particular, the new Google App Engine backend is described, which was created to support thousand of users developed in Go language are provided, in addition to other features like how to achieve push notications in this platform. Finally, the mobile iOS client developed using the latest and more relevant technologies is explained paying special attention to Swift (Apple's new programming language, that is safe and fast), the Functional Reactive Paradigm (that helps building highly interactive apps while minimizing bugs) and the VIPER architecture (a SOLID architecture that enforces separation of concerns and makes it easy to reuse code for other platforms).

M��todo multigrid alg��brico: reutiliza����o das estruturas multigrid no transporte de contaminantes

A necessidade de obter solu����o de grandes sistemas lineares resultantes de processos de discretiza����o de equa����es diferenciais parciais provenientes da modelagem de diferentes fen��menos f��sicos conduz �� busca de t��cnicas num��ricas escal��veis. M��todos multigrid s��o classificados como algoritmos escal��veis.Um estimador de erros deve estar associado �� solu����o num��rica do problema discreto de modo a propiciar a adequada avalia����o da solu����o obtida pelo processo de aproxima����o. Nesse contexto, a presente tese caracteriza-se pela proposta de reutiliza����o das estruturas matriciais hier��rquicas de operadores de transfer��ncia e restri����o dos m��todos multigrid alg��bricos para acelerar o tempo de solu����o dos sistemas lineares associados �� equa����o do transporte de contaminantes em meio poroso saturado. Adicionalmente, caracteriza-se pela implementa����o das estimativas residuais para os problemas que envolvem dados constantes ou n��o constantes, os regimes de pequena ou grande advec����o e pela proposta de utiliza����o das estimativas residuais associadas ao termo de fonte e �� condi����o inicial para construir procedimentos adaptativos para os dados do problema. O desenvolvimento dos c��digos do m��todo de elementos finitos, do estimador residual e dos procedimentos adaptativos foram baseados no projeto FEniCS, utilizando a linguagem de programa����o PYTHONR e desenvolvidos na plataforma Eclipse. A implementa����o dos m��todos multigrid alg��bricos com reutiliza����o considera a biblioteca PyAMG. Baseado na reutiliza����o das estruturas hier��rquicas, os m��todos multigrid com reutiliza����o com par��metro fixo e autom��tica s��o propostos, e esses conceitos s��o estendidos para os m��todos iterativos n��o-estacion��rios tais como GMRES e BICGSTAB. Os resultados num��ricos mostraram que o estimador residual captura o comportamento do erro real da solu����o num��rica, e fornece algoritmos adaptativos para os dados cuja malha retornada produz uma solu����o num��rica similar �� uma malha uniforme com mais elementos. Adicionalmente, os m��todos com reutiliza����o s��o mais r��pidos que os m��todos que n��o empregam o processo de reutiliza����o de estruturas. Al��m disso, a efici��ncia dos m��todos com reutiliza����o tamb��m pode ser observada na solu����o do problema auxiliar, o qual �� necess��rio para obten����o das estimativas residuais para o regime de grande advec����o. Esses resultados englobam tanto os m��todos multigrid alg��bricos do tipo SA quanto os m��todos pr��-condicionados por m��todos multigrid alg��brico SA, e envolvem o transporte de contaminantes em regime de pequena e grande advec����o, malhas estruturadas e n��o estruturadas, problemas bidimensionais, problemas tridimensionais e dom��nios com diferentes escalas.

M��todo de desvio de obst��culos aplicado em ve��culo aut��nomo.

A opera����o de ve��culos aut��nomos necessita de meios para evitar colis��es quando obst��culos n��o conhecidos previamente s��o interpostos em sua trajet��ria. Algoritmos para executar o desvio e sensores apropriados para a detec����o destes obst��culos s��o essenciais para a opera����o destes ve��culos. Esta disserta����o apresenta estudos sobre quatro algoritmos de desvio de obst��culos e tecnologia de tr��s tipos de sensores aplic��veis �� opera����o de ve��culos aut��nomos. Ap��s os estudos te��ricos, um dos algoritmos foi testado para a comprova����o da aplicabilidade ao ve��culo de teste. A etapa experimental foi a realiza����o de um programa, escrito em linguagem de programa����o Java, que aplicou o algoritmo Inseto 2 para o desvio de obst��culos em uma plataforma rob��tica (Robodeck) com o uso de sensores ultrass��nicos embarcados na referida plataforma. Os experimentos foram conduzidos em ambiente fechado (indoor), bidimensional e horizontal (plano), fazendo o Robodeck executar uma trajet��ria. Para os testes, obst��culos foram colocados para simular situa����es variadas e avaliar a efic��cia do algoritmo nestas configura����es de caminho. O algoritmo executou o desvio dos obst��culos com sucesso e, quando havia solu����o para a trajet��ria, ela foi encontrada. Quando n��o havia solu����o, o algoritmo detectou esta situa����o e parou o ve��culo.

Sallust's Jugurtha and Catiline: with notes and a vocabulary.

Vocabulary prepared by W.H.G. Butler.

Syntax of early Latin ...

I. The verb.--II. The cases.