31 |
Rewriting-based Verification and Debugging of Web SystemsRomero ., Daniel Omar 02 November 2011 (has links)
The increasing complexity of Web system has led to the development of sophisticated formal methodologies for verifying and correcting Web data and Web programs.
In general, establishing whether a Web system behaves correctly with respect to the original intention of the programmer or checking its internal consistency
are non-trivial tasks as witnessed by many studies in the literature.
In this dissertation, we face two challenging problems related to the verification of Web systems.
Firstly, we extend a previous Web verification framework based on partial rewriting by providing a semi-automatic technique for repairing Web systems.
We propose a basic repairing methodology that is endowed with several strategies for optimizing the number of repair actions that must be executed in order to fix a given Web site.
Also, we develop an improvement of the Web verification framework that is based on abstract interpretation and greatly enhances both efficiency and scalability of the original technique.
Secondly, we formalize a framework for the specification and model-checking of dynamic Web applications that is based on Rewriting Logic.
Our framework allows one to simulate
the user navigation and the evaluation of Web scripts within a Web application, and also check important related properties such us reachability and consistency.
When a property is refuted, a counter-example with the erroneous trace is delivered.
Such information can be analyzed in order to debug the Web application under examination by means of a novel backward trace slicing technique that we formulated for this purpose.
This technique consists in tracing back, along an execution trace, all the relevant symbols of the term (or state) that we are interested to observe. / Romero ., DO. (2011). Rewriting-based Verification and Debugging of Web Systems [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/12496
|
32 |
Case-Based Argumentation in Agent SocietiesHeras Barberá, Stella María 02 November 2011 (has links)
Hoy en día los sistemas informáticos complejos se pueden ven en términos de los servicios que ofrecen y las entidades que interactúan para proporcionar o consumir dichos servicios. Los sistemas multi-agente abiertos, donde los agentes pueden entrar o salir del sistema, interactuar y formar grupos (coaliciones de agentes u organizaciones) de forma dinámica para resolver problemas, han sido propuestos como una tecnología adecuada para implementar este nuevo paradigma informático. Sin embargo, el amplio dinamismo de estos sistemas requiere que los agentes tengan una forma de armonizar los conflictos que surgen cuando tienen que colaborar y coordinar sus actividades. En estas situaciones, los agentes necesitan un mecanismo para argumentar de forma eficiente (persuadir a otros agentes para que acepten sus puntos de vista, negociar los términos de un contrato, etc.) y poder llegar a acuerdos.
La argumentación es un medio natural y efectivo para abordar los conflictos y contradicciones del conocimiento. Participando en diálogos argumentativos, los agentes pueden llegar a acuerdos con otros agentes. En un sistema multi-agente abierto, los agentes pueden formar sociedades que los vinculan a través de relaciones de dependencia. Estas relaciones pueden surgir de sus interacciones o estar predefinidas por el sistema. Además, los agentes pueden tener un conjunto de valores individuales o sociales, heredados de los grupos a los que pertenecen, que quieren promocionar. Las dependencias entre los agentes y los grupos a los que pertenecen y los valores individuales y sociales definen el contexto social del agente. Este contexto tiene una influencia decisiva en la forma en que un agente puede argumentar y llegar a acuerdos con otros agentes. Por tanto, el contexto social de los agentes debería tener una influencia decisiva en la representación computacional de sus argumentos y en el proceso de gestión de argumentos. / Heras Barberá, SM. (2011). Case-Based Argumentation in Agent Societies [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/12497
|
33 |
MODELOS Y TÉCNICAS DE CONSISTENCIA EN PROBLEMAS DE SATISFACCIÓN DE RESTRICCIONESArangú Lobig, Marlene Alicia 23 December 2011 (has links)
Hoy en día, muchos problemas reales pueden ser modelados como problemas de
satisfacción de restricciones (CSPs) y ser resueltos utilizando técnicas de programación de restricciones. Estos problemas pertenecen a diferentes áreas de conocimiento
tales como inteligencia artificial, investigación operativa, sistemas de información,
bases de datos, etc. Los CSPs pertenecen a la categoría de problemas NP-completos
por lo que es necesario el uso de herramientas que simplifiquen el problema de forma
que se encuentre una solución de forma eficiente. Las técnicas más comunes
para manejar un CSP son las técnicas de consistencia y las técnicas de búsqueda.
Las técnicas de consistencia o de filtrado tienen por objeto reducir el espacio de
búsqueda mediante el filtrado de los dominios de las variables. Las técnicas de arcoconsistencia
son las más utilizadas ya que llevan a cabo una importante poda de
dominios; eliminando valores que no formaran parte de la solución; de una manera
eficiente.
Por ello, proponer algoritmos que alcancen la arco-consistencia ha sido un punto
central en la comunidad científica reduciendo la complejidad tanto espacial como
temporal de estos algoritmos.
Sin embargo, muchos trabajos que investigan la arco-consistencia llevan a cabo
asumpciones que no están presentes en muchos problemas de la vida real. Por
ejemplo, un mismo par de variables pueden participar en más de una restricción (lo
que se denomina problema no-normalizado), y cuando el tamaño de los dominios
es grande, el proceso de normalización puede resultar prohibitivo. En estos casos
la 2-consistencia lleva a cabo una reducción de los dominios de las variables mayor
que la arco-consistencia por lo que los algoritmos de búsqueda pueden resultar más eficientes. Sin embargo, la literatura es escasa en relación al desarrollo de algoritmos
que alcancen la 2-consistencia.
En esta tesis presentamos nuevos algoritmos de arco-consistencia y de 2-consistencia
como algoritmos de preproceso para la resolución de problemas de satisfacción
de restricciones. / Arangú Lobig, MA. (2011). MODELOS Y TÉCNICAS DE CONSISTENCIA EN PROBLEMAS DE SATISFACCIÓN DE RESTRICCIONES [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/14120
|
34 |
Aplicaciones de la aritmética en coma fija a la representación de primitivas gráficas de bajo nivelMollá Vayá, Ramón Pascual 04 May 2012 (has links)
La aritmética en coma fija tiene la propiedad de realizar operaciones con números decimales con un coste computacional entero. A pesar de no estar soportada de forma nativa por los lenguajes de programación y por las CPUs generalistas, es la aritmética ideal para aplicaciones de control industrial, simulación, informática gráfica, multimedia y señal digital, etc. Su falta de normalización y soporte impide su uso extendido en muchos campos de la informática.
Esta tesis justifica la utilización de esta aritmética en el campo de los gráficos por computador. A partir de un estudio de implementación y normalización de la aritmética, se estudian incrementos de potencia relativos y precisiones obtenidas y su aplicación a la simulación discreta y de vuelo.
Se analizan los algoritmos de dibujo de primitivas básicas como las líneas, con y sin aliasing, su recortado y el dibujo de circunferencias y elipses. Se presentan algunas implementaciones de algoritmos basados en la coma fija y se analiza la mejora del coste computacional y de la precisión obtenida respecto de los algoritmos de fuerza bruta y de los tradicionales.
Mientras los algoritmos tradicionales suelen entregar un error comprendido entre los 0.32 y 0.45 píxeles, dependiendo de la primitiva analizada, los algoritmos basados en la coma fija no superan los 0.25 de media, igualando el error teórico generado por los algoritmos de fuerza bruta.
Por otro lado, los algoritmos basados en la aritmética en coma fija suelen mejorar la velocidad media de los algoritmos tradicionales, pudiéndose a veces conseguir aceleraciones elevadas si se utilizan técnicas de paralelización. Éste sería el caso de la versión paralela del algoritmo DDA con y sin antialiasing que podría dibujar una recta con coste temporal logarítmico respecto de su longitud en píxeles.
Los algoritmos obtenidos son tan sencillos que pueden ser implementados algunos de ellos en hardware dentro de un procesador gráfico de forma muy eficiente. / Mollá Vayá, RP. (2001). Aplicaciones de la aritmética en coma fija a la representación de primitivas gráficas de bajo nivel [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/15406
|
35 |
Linguistic-based Patterns for Figurative Language Processing: The Case of Humor Recognition and Irony DetectionReyes Pérez, Antonio 19 July 2012 (has links)
El lenguaje figurado representa una de las tareas más difíciles del procesamiento del lenguaje natural. A
diferencia del lenguaje literal, el lenguaje figurado hace uso de recursos lingüísticos tales como la
ironía, el humor, el sarcasmo, la metáfora, la analogía, entre otros, para comunicar significados
indirectos que la mayoría de las veces no son interpretables sólo en términos de información sintáctica
o semántica. Por el contrario, el lenguaje figurado refleja patrones del pensamiento que adquieren
significado pleno en contextos comunicativos y sociales, lo cual hace que tanto su representación
lingüística, así como su procesamiento computacional, se vuelvan tareas por demás complejas.
En este contexto, en esta tesis de doctorado se aborda una problemática relacionada con el
procesamiento del lenguaje figurado a partir de patrones lingüísticos. En particular, nuestros esfuerzos
se centran en la creación de un sistema capaz de detectar automáticamente instancias de humor e ironía
en textos extraídos de medios sociales. Nuestra hipótesis principal se basa en la premisa de que el
lenguaje refleja patrones de conceptualización; es decir, al estudiar el lenguaje, estudiamos tales
patrones. Por tanto, al analizar estos dos dominios del lenguaje figurado, pretendemos dar argumentos
respecto a cómo la gente los concibe, y sobre todo, a cómo esa concepción hace que tanto humor como
ironía sean verbalizados de una forma particular en diversos medios sociales. En este contexto, uno de
nuestros mayores intereses es demostrar cómo el conocimiento que proviene del análisis de diferentes
niveles de estudio lingüístico puede representar un conjunto de patrones relevantes para identificar
automáticamente usos figurados del lenguaje. Cabe destacar que contrario a la mayoría de
aproximaciones que se han enfocado en el estudio del lenguaje figurado, en nuestra investigación no
buscamos dar argumentos basados únicamente en ejemplos prototípicos, sino en textos cuyas
características / Reyes Pérez, A. (2012). Linguistic-based Patterns for Figurative Language Processing: The Case of Humor Recognition and Irony Detection [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/16692
|
36 |
Model Integration in Data Mining: From Local to Global DecisionsBella Sanjuán, Antonio 31 July 2012 (has links)
El aprendizaje autom�atico es un �area de investigaci�on que proporciona algoritmos
y t�ecnicas que son capaces de aprender autom�aticamente a partir
de experiencias pasadas. Estas t�ecnicas son esenciales en el �area de descubrimiento
de conocimiento de bases de datos (KDD), cuya fase principal es
t�ÿpicamente conocida como miner�ÿa de datos. El proceso de KDD se puede ver
como el aprendizaje de un modelo a partir de datos anteriores (generaci�on del
modelo) y la aplicaci�on de este modelo a nuevos datos (utilizaci�on del modelo).
La fase de utilizaci�on del modelo es muy importante, porque los usuarios y,
muy especialmente, las organizaciones toman las decisiones dependiendo del
resultado de los modelos.
Por lo general, cada modelo se aprende de forma independiente, intentando
obtener el mejor resultado (local). Sin embargo, cuando varios modelos se usan
conjuntamente, algunos de ellos pueden depender los unos de los otros (por
ejemplo, las salidas de un modelo pueden ser las entradas de otro) y aparecen
restricciones. En este escenario, la mejor decisi�on local para cada problema
tratado individualmente podr�ÿa no dar el mejor resultado global, o el resultado
obtenido podr�ÿa no ser v�alido si no cumple las restricciones del problema.
El �area de administraci�on de la relaci�on con los clientes (CRM) ha dado
origen a problemas reales donde la miner�ÿa de datos y la optimizaci�on (global)
deben ser usadas conjuntamente. Por ejemplo, los problemas de prescripci�on
de productos tratan de distinguir u ordenar los productos que ser�an ofrecidos
a cada cliente (o sim�etricamente, elegir los clientes a los que se les deber�ÿa de
ofrecer los productos). Estas �areas (KDD, CRM) carecen de herramientas para
tener una visi�on m�as completa de los problemas y una mejor integraci�on de
los modelos de acuerdo a sus interdependencias y las restricciones globales y
locales. La aplicaci�on cl�asica de miner�ÿa de datos a problemas de prescripci�on
de productos, por lo general, ha / Bella Sanjuán, A. (2012). Model Integration in Data Mining: From Local to Global Decisions [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/16964
|
37 |
Building task-oriented machine translation systemsSanchis Trilles, Germán 20 September 2012 (has links)
La principal meta de esta tesis es desarrollar sistemas de traduccion interactiva que presenten mayor
sinergia con sus usuarios potenciales. Por ello, el objetivo es hacer los sistemas estado del arte mas
ergonomicos, intuitivos y eficientes, con el fin de que el experto humano se sienta mas comodo al utilizarlos.
Con este fin se presentan diferentes t�ecnicas enfocadas a mejorar la adaptabilidad y el tiempo
de respuesta de los sistemas de traduccion automatica subyacentes, as�ÿ como tambien se presenta una
estrategia cuya finalidad es mejorar la interaccion hombre-m�aquina. Todo ello con el proposito ultimo
de rellenar el hueco existente entre el estado del arte en traduccion automatica y las herramientas que los
traductores humanos tienen a su disposici�on.
En lo que respecta al tiempo de respuesta de los sistemas de traducci�on autom�atica, en esta tesis se
presenta una t�ecnica de poda de los par�ametros de los modelos de traducci�on actuales, cuya intuici�on est�a
basada en el concepto de segmentaci�on biling¤ue, pero que termina por evolucionar hacia una estrategia de
re-estimaci�on de dichos par�ametros. Utilizando esta estrategia se obtienen resultados experimentales que
demuestran que es posible podar la tabla de segmentos hasta en un 97%, sin mermar por ello la calidad
de las traducciones obtenidas. Adem�as, estos resultados son coherentes en diferentes pares de lenguas,
lo cual evidencia que la t�ecnica que se presenta aqu�ÿ es efectiva en un entorno de traducci�on autom�atica
tradicional, y por lo tanto podr�ÿa ser utilizada directamente en un escenario de post-edici�on. Sin embargo,
los experimentos llevados a cabo en traducci�on interactiva son ligeramente menos convincentes, pues
implican la necesidad de llegar a un compromiso entre el tiempo de respuesta y la calidad de los sufijos
producidos.
Por otra parte, se presentan dos t�ecnicas de adaptaci�on, con el prop�osito de mejorar la adaptabilidad
de los sistemas de traducci�on autom�atica. La primera / Sanchis Trilles, G. (2012). Building task-oriented machine translation systems [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/17174
|
38 |
Diverse Contributions to Implicit Human-Computer InteractionLeiva Torres, Luis Alberto 13 November 2012 (has links)
Cuando las personas interactúan con los ordenadores, hay mucha
información que no se proporciona a propósito. Mediante el estudio de estas
interacciones implícitas es posible entender qué características de la interfaz
de usuario son beneficiosas (o no), derivando así en implicaciones para el
diseño de futuros sistemas interactivos.
La principal ventaja de aprovechar datos implícitos del usuario en
aplicaciones informáticas es que cualquier interacción con el sistema puede
contribuir a mejorar su utilidad. Además, dichos datos eliminan el coste de
tener que interrumpir al usuario para que envíe información explícitamente
sobre un tema que en principio no tiene por qué guardar relación con la
intención de utilizar el sistema. Por el contrario, en ocasiones las
interacciones implícitas no proporcionan datos claros y concretos. Por ello,
hay que prestar especial atención a la manera de gestionar esta fuente de
información.
El propósito de esta investigación es doble: 1) aplicar una nueva visión tanto
al diseño como al desarrollo de aplicaciones que puedan reaccionar
consecuentemente a las interacciones implícitas del usuario, y 2)
proporcionar una serie de metodologías para la evaluación de dichos
sistemas interactivos. Cinco escenarios sirven para ilustrar la viabilidad y la
adecuación del marco de trabajo de la tesis. Resultados empíricos con
usuarios reales demuestran que aprovechar la interacción implícita es un
medio tanto adecuado como conveniente para mejorar de múltiples maneras
los sistemas interactivos. / Leiva Torres, LA. (2012). Diverse Contributions to Implicit Human-Computer Interaction [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/17803
|
39 |
Termination of Narrowing: Automated Proofs and Modularity PropertiesIborra López, José 11 February 2013 (has links)
En 1936 Alan Turing demostro que el halting problem, esto es, el problema de decidir
si un programa termina o no, es un problema indecidible para la inmensa mayoria de
los lenguajes de programacion. A pesar de ello, la terminacion es un problema tan
relevante que en las ultimas decadas un gran numero de tecnicas han sido desarrolladas
para demostrar la terminacion de forma automatica de la maxima cantidad posible de
programas. Los sistemas de reescritura de terminos proporcionan un marco teorico
abstracto perfecto para el estudio de la terminacion de programas. En este marco, la
evaluaci on de un t ermino consiste en la aplicacion no determinista de un conjunto de
reglas de reescritura.
El estrechamiento (narrowing) de terminos es una generalizacion de la reescritura
que proporciona un mecanismo de razonamiento automatico. Por ejemplo, dado un
conjunto de reglas que denan la suma y la multiplicacion, la reescritura permite calcular
expresiones aritmeticas, mientras que el estrechamiento permite resolver ecuaciones
con variables. Esta tesis constituye el primer estudio en profundidad de las
propiedades de terminacion del estrechamiento. Las contribuciones son las siguientes.
En primer lugar, se identican clases de sistemas en las que el estrechamiento tiene
un comportamiento bueno, en el sentido de que siempre termina. Muchos metodos
de razonamiento automatico, como el analisis de la semantica de lenguajes de programaci
on mediante operadores de punto jo, se benefician de esta caracterizacion.
En segundo lugar, se introduce un metodo automatico, basado en el marco teorico
de pares de dependencia, para demostrar la terminacion del estrechamiento en un
sistema particular. Nuestro metodo es, por primera vez, aplicable a cualquier clase
de sistemas.
En tercer lugar, se propone un nuevo metodo para estudiar la terminacion del
estrechamiento desde un termino particular, permitiendo el analisis de la terminacion
de lenguajes de programacion. El nuevo metodo generaliza los / Iborra López, J. (2010). Termination of Narrowing: Automated Proofs and Modularity Properties [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/19251
|
40 |
Engineering Regulated Open Multiagent SystemsGarcia Marques, Mª Emilia 06 May 2013 (has links)
Actualmente existe una creciente demanda de sistemas flexibles, adaptables y con gran escalabilidad para apoyar las interacciones de personas e instituciones distribuidas en entornos heterogéneos. Esto se debe principalmente al incremento en la necesidad de trabajo colaborativo y la descentralización de los procesos en muchos dominios de aplicación. Por lo general, estas aplicaciones de software deben seguir legislaciones y normativas específicas, es decir, las entidades que participan en el sistema tienen derechos, deberes y restricciones específicas. Al igual que en otros trabajos del área, en esta tesis se utiliza el término sistemas normativos abiertos para referirse a los sistemas de este tipo. El desarrollo de sistemas normativos abiertos puede producir importantes beneficios para las compañías que los usen, ya que permiten la comunicación de instituciones, entidades heterogéneas y diferentes dispositivos con el fin de lograr tanto los objetivos globales del sistema como los individuales de cada institución y entidad. Sin embargo, también hay algunas cuestiones importantes que potencialmente pueden complicar el análisis, diseño e implementación de estos sistemas. La mayoría de estos problemas están relacionados con la interoperabilidad de sus procesos, la privacidad, la combinación de los objetivos individuales y la combinación de las restricciones y la legislación de cada una de las entidades del sistema. Por lo tanto, es necesario el uso de métodos de ingeniería del software y herramientas de desarrollo para hacer frente a estos problemas y guiar a los desarrolladores durante el proceso de desarrollo.
La tecnología basada en sistemas multiagente (SMA) es considerada una buena candidata para el desarrollo de sistemas normativos abiertos. Durante los últimos años, el uso de las tecnologías SMA se ha incrementado no sólo en el ámbito académico, sino también en el desarrollo e implementación de aplicaciones industriales. Los SMA se han establecido como un paradigma de la ingeniería de software para la creación de sistemas adaptativos complejos, en
entornos distribuidos y heterogéneos. Esta tesis se centra en el análisis y diseño de sistemas normativos abiertos utilizando la tecnología SMA. Algunas metodologías SMA se dedican al desarrollo de sistemas de este tipo. Sin embargo, después de analizar en qué medida las metodologías SMA actuales soportan el análisis y el diseño de estos sistemas, podemos concluir que todavía hay importantes problemas a resolver en el área. Algunos de estos problemas son la integración del contexto normativo del sistema durante el proceso de desarrollo, la falta de directrices para identificar y formalizar este contexto normativo, la falta de técnicas de validación y verificación que garanticen la coherencia del diseño final respecto a los requisitos del sistema, la coherencia entre los objetivos individuales, y la coherencia de las restricciones de cada entidad respecto al contexto normativo del sistema global.
La principal aportación de esta tesis es una nueva metodología SMA llamada ROMAS (Sistemas Multiagente Regulados y Abiertos), que se centra en el análisis y diseño de procesos para el desarrollo de sistemas multiagente organizacionales, donde los agentes interactúan por medio de servicios estándares, y donde las relaciones sociales y contractuales se formalizan mediante normas y contratos. La metodología ROMAS define un proceso de desarrollo orientado a agentes y proporciona guías específicas para identificar y formalizar el marco normativo del sistema, así como las comunicaciones y los intercambios de servicios y recursos. ROMAS especifica tanto el comportamiento global del sistema como las características individuales de cada entidad. En la metodología ROMAS, agentes, roles y organizaciones se definen a través de una estructura social formal basada en un arquitectura orientada a servicios. Aquí, las organizaciones representan un conjunto de personas e instituciones que tienen que coor / Garcia Marques, ME. (2013). Engineering Regulated Open Multiagent Systems [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/28588
|
Page generated in 0.0272 seconds