Modellbildung in der algebraischen Kryptoanalyse

In der algebraischen Kryptoanalyse werden moderne Kryptosysteme als polynomielle, nichtlineare Gleichungssysteme dargestellt. Das Lösen solcher Gleichungssysteme ist NP-hart. Es gibt also keinen Algorithmus, der in polynomieller Zeit ein beliebiges nichtlineares Gleichungssystem löst. Dennoch kann man aus modernen Kryptosystemen Gleichungssysteme mit viel Struktur generieren. So sind diese Gleichungssysteme bei geeigneter Modellierung quadratisch und dünn besetzt, damit nicht beliebig. Dafür gibt es spezielle Algorithmen, die eine Lösung solcher Gleichungssysteme finden. Ein Beispiel dafür ist der ElimLin-Algorithmus, der mit Hilfe von linearen Gleichungen das Gleichungssystem iterativ vereinfacht. In der Dissertation wird auf Basis dieses Algorithmus ein neuer Solver für quadratische, dünn besetzte Gleichungssysteme vorgestellt und damit zwei symmetrische Kryptosysteme angegriffen. Dabei sind die Techniken zur Modellierung der Chiffren von entscheidender Bedeutung, so das neue Techniken entwickelt werden, um Kryptosysteme darzustellen. Die Idee für das Modell kommt von Cube-Angriffen. Diese Angriffe sind besonders wirksam gegen Stromchiffren. In der Arbeit werden unterschiedliche Varianten klassifiziert und mögliche Erweiterungen vorgestellt. Das entstandene Modell hingegen, lässt sich auch erfolgreich auf Blockchiffren und auch auf andere Szenarien erweitern. Bei diesen Änderungen muss das Modell nur geringfügig geändert werden.

Managing Quality Properties of Web Service Compositions

Web services from different partners can be combined to applications that realize a more complex business goal. Such applications built as Web service compositions define how interactions between Web services take place in order to implement the business logic. Web service compositions not only have to provide the desired functionality but also have to comply with certain Quality of Service (QoS) levels. Maximizing the users' satisfaction, also reflected as Quality of Experience (QoE), is a primary goal to be achieved in a Service-Oriented Architecture (SOA). Unfortunately, in a dynamic environment like SOA unforeseen situations might appear like services not being available or not responding in the desired time frame. In such situations, appropriate actions need to be triggered in order to avoid the violation of QoS and QoE constraints. In this thesis, proper solutions are developed to manage Web services and Web service compositions with regard to QoS and QoE requirements. The Business Process Rules Language (BPRules) was developed to manage Web service compositions when undesired QoS or QoE values are detected. BPRules provides a rich set of management actions that may be triggered for controlling the service composition and for improving its quality behavior. Regarding the quality properties, BPRules allows to distinguish between the QoS values as they are promised by the service providers, QoE values that were assigned by end-users, the monitored QoS as measured by our BPR framework, and the predicted QoS and QoE values. BPRules facilitates the specification of certain user groups characterized by different context properties and allows triggering a personalized, context-aware service selection tailored for the specified user groups. In a service market where a multitude of services with the same functionality and different quality values are available, the right services need to be selected for realizing the service composition. We developed new and efficient heuristic algorithms that are applied to choose high quality services for the composition. BPRules offers the possibility to integrate multiple service selection algorithms. The selection algorithms are applicable also for non-linear objective functions and constraints. The BPR framework includes new approaches for context-aware service selection and quality property predictions. We consider the location information of users and services as context dimension for the prediction of response time and throughput. The BPR framework combines all new features and contributions to a comprehensive management solution. Furthermore, it facilitates flexible monitoring of QoS properties without having to modify the description of the service composition. We show how the different modules of the BPR framework work together in order to execute the management rules. We evaluate how our selection algorithms outperform a genetic algorithm from related research. The evaluation reveals how context data can be used for a personalized prediction of response time and throughput.

Dynamic Injection of Scribble Features into Graphical Diagram Editors

Almost everyone sketches. People use sketches day in and day out in many different and heterogeneous fields, to share their thoughts and clarify ambiguous interpretations, for example. The media used to sketch varies from analog tools like flipcharts to digital tools like smartboards. Whereas analog tools are usually affected by insufficient editing capabilities like cut/copy/paste, digital tools greatly support these scenarios. Digital tools can be grouped into informal and formal tools. Informal tools can be understood as simple drawing environments, whereas formal tools offer sophisticated support to create, optimize and validate diagrams of a certain application domain. Most digital formal tools force users to stick to a concrete syntax and editing workflow, limiting the user’s creativity. For that reason, a lot of people first sketch their ideas using the flexibility of analog or digital informal tools. Subsequently, the sketch is "portrayed" in an appropriate digital formal tool. This work presents Scribble, a highly configurable and extensible sketching framework which allows to dynamically inject sketching features into existing graphical diagram editors, based on Eclipse GEF. This allows to combine the flexibility of informal tools with the power of formal tools without any effort. No additional code is required to augment a GEF editor with sophisticated sketching features. Scribble recognizes drawn elements as well as handwritten text and automatically generates the corresponding domain elements. A local training data library is created dynamically by incrementally learning shapes, drawn by the user. Training data can be shared with others using the WebScribble web application which has been created as part of this work.

Instant Storyboarding

This thesis aims at empowering software customers with a tool to build software tests them selves, based on a gradual refinement of natural language scenarios into executable visual test models. The process is divided in five steps: 1. First, a natural language parser is used to extract a graph of grammatical relations from the textual scenario descriptions. 2. The resulting graph is transformed into an informal story pattern by interpreting structurization rules based on Fujaba Story Diagrams. 3. While the informal story pattern can already be used by humans the diagram still lacks technical details, especially type information. To add them, a recommender based framework uses web sites and other resources to generate formalization rules. 4. As a preparation for the code generation the classes derived for formal story patterns are aligned across all story steps, substituting a class diagram. 5. Finally, a headless version of Fujaba is used to generate an executable JUnit test. The graph transformations used in the browser application are specified in a textual domain specific language and visualized as story pattern. Last but not least, only the heavyweight parsing (step 1) and code generation (step 5) are executed on the server side. All graph transformation steps (2, 3 and 4) are executed in the browser by an interpreter written in JavaScript/GWT. This result paves the way for online collaboration between global teams of software customers, IT business analysts and software developers.

Regelbasiertes Reasoning auf massiv paralleler Hardware

Eine wesentliche Funktionalität bei der Verwendung semantischer Technologien besteht in dem als Reasoning bezeichneten Prozess des Ableitens von impliziten Fakten aus einer explizit gegebenen Wissensbasis. Der Vorgang des Reasonings stellt vor dem Hintergrund der stetig wachsenden Menge an (semantischen) Informationen zunehmend eine Herausforderung in Bezug auf die notwendigen Ressourcen sowie der Ausführungsgeschwindigkeit dar. Um diesen Herausforderungen zu begegnen, adressiert die vorliegende Arbeit das Reasoning durch eine massive Parallelisierung der zugrunde liegenden Algorithmen und der Einführung von Konzepten für eine ressourceneffiziente Ausführung. Diese Ziele werden unter Berücksichtigung der Verwendung eines regelbasierten Systems verfolgt, dass im Gegensatz zur Implementierung einer festen Semantik die Definition der anzuwendenden Ableitungsregeln während der Laufzeit erlaubt und so eine größere Flexibilität bei der Nutzung des Systems bietet. Ausgehend von einer Betrachtung der Grundlagen des Reasonings und den verwandten Arbeiten aus den Bereichen des parallelen sowie des regelbasierten Reasonings werden zunächst die Funktionsweise von Production Systems sowie die dazu bereits existierenden Ansätze für die Optimierung und im Speziellen der Parallelisierung betrachtet. Production Systems beschreiben die grundlegende Funktionalität der regelbasierten Verarbeitung und sind somit auch die Ausgangsbasis für den RETE-Algorithmus, der zur Erreichung der Zielsetzung der vorliegenden Arbeit parallelisiert und für die Ausführung auf Grafikprozessoren (GPUs) vorbereitet wird. Im Gegensatz zu bestehenden Ansätzen unterscheidet sich die Parallelisierung insbesondere durch die gewählte Granularität, die nicht durch die anzuwendenden Regeln, sondern von den Eingabedaten bestimmt wird und sich damit an der Zielarchitektur orientiert. Aufbauend auf dem Konzept der parallelen Ausführung des RETE-Algorithmus werden Methoden der Partitionierung und Verteilung der Arbeitslast eingeführt, die zusammen mit Konzepten der Datenkomprimierung sowie der Verteilung von Daten zwischen Haupt- und Festplattenspeicher ein Reasoning über Datensätze mit mehreren Milliarden Fakten auf einzelnen Rechnern erlauben. Eine Evaluation der eingeführten Konzepte durch eine prototypische Implementierung zeigt für die adressierten leichtgewichtigen Ontologiesprachen einerseits die Möglichkeit des Reasonings über eine Milliarde Fakten auf einem Laptop, was durch die Reduzierung des Speicherbedarfs um rund 90% ermöglicht wird. Andererseits kann der dabei erzielte Durchsatz mit aktuellen State of the Art Reasonern verglichen werden, die eine Vielzahl an Rechnern in einem Cluster verwenden.

Portal web per la localitzacó de restaurants

Desenvolupament,anàlisi, disseny i implementació d’un portal web, tipus cercador, per la recerca i localització d’establiments tipus restaurant, bars, bufets, etc,. Per altra banda es pretén oferir un sistema de gestió d’informació on les empreses del sector gastronòmic puguin mostrar la seva informació i la seva oferta

Integració a la plataforma webDTI de tècniques de clustering de fibres i visualització de clústers

Estudi, disseny i implementació de diferents tècniques d’agrupament de fibres (clustering) per tal d’integrar a la plataforma DTIWeb diferents algorismes de clustering i tècniques de visualització de clústers de fibres de forma que faciliti la interpretació de dades de DTI als especialistes

Sistema d'anàlisi financer: tresoreria amb eines Business Intelligence

El projecte tracte d' implementar una solució de Business Intelligence sota la plataforma Microsoft.Aquest projecte va destinat al Departament de Comptabilitat de l' Ajuntament de Cambrils, i està relacionat amb la funció del control de les despeses i els ingressos

Projecte HIFA: xarxa dinamitzadora i fomentadora del tercer sector

El Projecte Hifa és una xarxa dinamitzadora del tercer sector (entitats, associacions, fundacions, etc.) i fomentadora de la participació ciutadana des d'aquest àmbit. Té una marcada transversalitat d'àmbits d'actuació, ja que cada entitat treballa sobre el tema que l'incumbeix. Tot i això, el motor de la xarxa son les entitats naturalistes, conservacionistes i totes aquelles que directe o indirectament treballin en temes ambientals, per tal que, a mesura que s'estableixin relacions amb entitats d'altres àmbits, les vagin influenciant i ambientalitzant, enriquint-se al seu torn amb les experiències que els ofereixin aquestes. Per tal d'agilitzar la implementació de la xarxa, el mètode més eficaç és acotant l'àmbit geogràfic a un nivell que generi quantitats d’informació fàcilment gestionable, i a partir d'aquí, anar creixent de forma horitzontal, no jeràrquica, creant cèl•lules noves en altres parts del territori i connectant-les entre elles. El Projecte Hifa comença per establir-se a la comarca del Gironès, ja que és una comarca on conviuen àmbits rurals amb urbans, però amb un marcat desequilibri en favor de l'últim. Això permet englobar els dos àmbits dins de la xarxa, amb l’al•licient que les dades són comparables i es poden generar estudis de diferenciació entre 3r sector rural i 3r sector urbà

Mòdul de visualització 3D d’ ajuda al diagnòstic de les neoplàsies rectals

El diagnòstic mitjançant la imatge mèdica s’ha convertit en una eina fonamental en la pràctica clínica, permet entre altres coses, reconstruir a partir d’un conjunt d’imatges 2D, obtingudes a partir d’aparells de captació, qualsevol part de l’organisme d’un pacient i representar-lo en un model 3D. Sobre aquest model 3D poden realitzar-se diferents operacions que faciliten el diagnòstic i la presa de decisions als especialistes. El projecte que es presenta forma part del desenvolupament de la plataforma informàtica de visualització i tractament de dades mèdiques, anomenada Starviewer, que desenvolupen conjuntament el laboratori de Gràfics i Imatge (GiLab) de la Universitat de Girona i l’ Institut de Diagnòstic per la Imatge (IDI) de l’Hospital Josep Trueta de Girona. En particular, en aquest projecte es centra en el diagnòstic del càncer colorectal i el desenvolupament de mètodes i tècniques de suport al seu diagnòstic. Els dos punts claus en el tractament d’aqueta patologia són: la detecció de les lesions I l’estudi de l’evolució d’aquestes lesions, una vegada s’ha iniciat el tractament tumoral. L’objectiu principal d’aquest projecte és implementar i integrar en la plataforma Starviewer les tècniques de visualització i processament de dades necessàries per donar suport als especialistes en el diagnòstic de les lesions del colon. Donada la dificultat en el processament de les dades reals del budell ens proposem: dissenyar i implementar un sistema per crear models sintètics del budell; estudiar, implementar i avaluar les tècniques de processament d’imatge que calen per segmentar lesions de budell; dissenyar i implementar un sistema d’exploració del budell iintegrar de tots els mòduls implementats en la plataforma starviewer

Programari creador i consultor de genealogia familiar

Aquest projecte es centre en el disseny d’ un programari creador i consultor de genealogia familiar. Es tracta d'un programari per a ús individual, no col.lectiu, i sense ànim de lucre, on les dades més importants són les dels familiars. Qualsevol usuari pot crear diverses famílies (en un mateix sistema) i associar-hi familiars. Es poden introduir molts tipus de dades personals, a més de poder vincular-hi els arxius i events que es desitgin. Un event és un aconteixament en la vida d'una o diverses persones. D'aquesta manera l'usuari pot agregar molts tipus d'esdeveniments diferents als familiars i també hi ha la opció, que diferencia l'aplicació de moltes altres ja existents, d'agregar esdeveniments als events. També cal destacar que a cada familiar, arxiu i event pot associar-se un lloc (poblacio, regió i estat) i d'aquesta forma la informació total que es pot generar, encara és encara més completa. La possibilitat de crear llocs nous és força àmplia. Finalment l'usuari podrà associar els diferents familiars segons parentesc i d'aquesta forma obtenir un arbre genealògic de tota la família. Un dels aspectes més treballats a l'aplicació, ha estat que totes les dades anteriorment esmentades, poguessin ser visualitzades fàcil i ràpidament per l'usuari final. La navegació entre pantalles i les diferents opcions, han estat pensades i dissenyades, perquè l'usuari final no tingui cap dificultat, sigui quin sigui el seu nivell. D'aquesta manera, a més de la gestió possible de dades de familiars, arxius, events i llocs; la utilització de le mateixes i la creació de multitud de vistes i cerques diferents, ajuden a que el programari sigui força complet

AutoGest, aplicació de gestió per a empresaris autònoms

L’ objectiu principal d’ aquest projecte és dissenyar una aplicació o una base de dades que permeti: gestionar els diferents objectes que interaccionen en una empresa, gestionar els serveis o productes que s’ofereixen a la venda, gestionar la facturació de l’ empresa, gestionar les compres a empreses externes, controlar els estocs dels diferents articles i poder fer consultes sobre les dades i obtenir-ne llistats, per comprovar si l’empresa té beneficis o dèficit

Discurs del Dr. Joan Bertran Rusca com a doctor honoris causa per la Universitat de Girona

Discurs pronunciat pel Dr. Juan Bertran Rusca (1931), en el decurs de l'acte d'investidura de Doctors Honoris Causa, celebrat a la Universitat de Girona l'octubre de 2004. El seu discurs versa sobre el desenvolupament de la química teòrica a Catalunya

Muntatge d’una memòria en el sistema microprocessat Olorim

Aquest projecte parteix d'un projecte anterior realitzat per un company d'escola, en el qual es pretenia muntar un sistema per obtenir un diagnòstic dels pacients que pateixen bruxisme. El sistema que aquest company va muntar constava de dos subsistemes: el sistema de captura, encarregat de capturar el senyal mitjançant sensors i pretractar el senyal i el sistema de processament de dades, encarregat de rebre les dades provinents del sistema de captura mitjançant una ràdio sintonitzada a la freqüència 432,95MHz, que després s'envien al convertidor A/D de l'Olorim i s'emmagatzemen a la memòria interna de l'Olorim. Aquest projecte pretén millorar l'apartat de capacitat per a les dades i oferir major portabilitat mitjançant una targeta SD. Per dur a terme aquesta millora es recullen les dades emmagatzemades a la memòria interna del sistema microprocessat i s’emmagatzemen en una memòria SD. Les dades s'emmagatzemen a la targeta SD dins un fitxer creat prèviament amb l'ordinador, el qual ha de ser el primer fitxer que es crea a la targeta, ja que ha d'estar en sectors consecutius. En aquest fitxer s'aniran emmagatzemant les dades que ens proporcioni el sistema de captura en format RAW

Implementació i validació en una PIME d’un sistema assistit aplicat a la planificació del procés de peces de mecanitzat

Aquest projecte consisteix en implementar l’aplicació PAPOM (Programa Assistit a la Planificació de procés i producció en Operacions de Mecanitzat) en una PIME. Aquest programa l’ha desenvolupat el grup de recerca de la UdG GREP i té com a principal objectiu ajudar a gestionar la planificació de processos de mecanitzat. La filosofia del programa és la de donar una solució personalitzada a cada PIME facilitant el desenvolupament d’aquesta. En aquest sentit, és on aquest treball pren una gran importància ja que s’ha treballat conjuntament amb una empresa del sector, Mecanitzats Privat, S.L., per tal d’ajustar el programa a la realitat, i determinar quins són els camps i paràmetres susceptibles de ser adaptats a cada empresa. Amb aquesta finalitat s’han determinat quins mòduls poden modificar-se sense afectar al funcionament intern del software, per tal de fer l’ús del programa més pràctic i àgil per a cada taller en concret. En aquest punt s’ha personalitzat el programa per a Mecanitzats Privat, S.L. i s’han marcat unes línies futures de treball per seguir fent el programa més adaptable, fent-ne de la personalització filosofia i valor del programa. A més a més, en aquesta relació entre el departament i l’empresa, a nivell de comercial i client s’han elaborat unes fitxes d’instal•lació. Aquestes pretenen ser una eina que ajudi a la presentació del PAPOM a les empreses a fi d’agilitzar el procés d’obtenció d’informació d’un petit sector de l’empresa per tal de realitzar una demostració ajustada a cada taller