COMPUTING (3)

Autor: ARANSAY AZOFRA JESÚS Ma..
Jahr: 2005.
Universität: LA RIOJA [www.unirioja.es].
Ort der Lesung: UNIVERSIDAD DE LA RIOJA.
Ort der Vorbereitung: UNIVERSIDAD DE LA RIOJA.

Inhaltsangabe: Die Dissertation beschäftigt sich mit dem Problem der Erlangung eines zertifizierten Version eines Algorithmus grundlegende Algebraische Topologie, bekannt als "Core Motto Störung." Das Ergebnis ist ein Kernstück des Systems Kenzo, Software für die symbolische Berechnung und Algebraische Topologie. Zu diesem Zweck wird mit der Demonstration Assistentin Isabelle. Der Inhalt der Diplomarbeit ist in fünf Kapitel unterteilt. In der ersten, eine kurze Einführung in die Werkzeuge verwendet werden. Hier sind einige Definitionen und Ergebnisse auf dem Gebiet der Algebra Homológica, sowie relevante Informationen über das System der Symbolic Computation Kenzo und auf dem Demonstrator theorems Isabelle. Im zweiten Kapitel, heißt das Motto der Störung Basic, und es gibt eine formelle Demonstration von der gleichen, die auf einer Demonstration von F. Sergeraert. Das dritte Kapitel präsentiert die meisten der Ergebnisse, die aus der Forschung. Diese Ergebnisse sind ein Schritt in die Richtung der Modellierung, Spezifikation und Verifikation von mathematischen, die in den Demonstrator theorems Isabelle. Genauer gesagt, sie sind so konzipiert und analysiert aus verschiedenen Blickwinkeln (angefangen von der formalen Spezifikation für die Automatisierung der Ergebnisse), vier verschiedene Darstellungen der Objekte in der mathematischen Demonstrationen. Einer von diesen Darstellungen wird schließlich ausgewählt, um den Anforderungen verlangt. Das vierte Kapitel gibt einen Vorschlag Extraktion Programme Zertifikate von Isabelle. Das Interesse an diesem Vorschlag ist zweierlei: erstens, ihre Originalität, da sie vermeidet Einschränkung Demonstrationen konstruktive Logik der Mathematik zu. Zweitens, die Anwendbarkeit von der Art der Aussagen, die zur Adresse, die macht es besonders attraktiv für Programme und Aussagen zugrunde liegenden Kenzo. Im fünften Kapitel werden die Ergebnisse und künftigen Linien der Arbeit.

Autor: BARREIRO ALONSO ENRIQUE.
Jahr: 2005.
Universität: VIGO [www.uvigo.es].
Ort der Lesung: ESCUELA SUPERIOR DE INGENIERÍA INFORMÁTICA.
Ort der Vorbereitung: ESCUELA SUPERIOR DE INGENIERÍA INFORMÁTICA.

Inhaltsangabe: Im Bereich der Computer-Assisted Design genannte geometrische Design basiert auf Beschränkungen, ist ein vielversprechendes Paradigma, in dem der Benutzer beschreibt ein Objekt durch eine Skizze, in denen definiert eine Reihe von geometrischen Elementen wie Punkten, Segmenten der Liniensegmente und Rundschreiben, und ein Reihe von Beschränkungen für den geometrischen Elementen. Die Hauptaufgabe eines CAD-System wäre zu prüfen, ob alle geometrischen Constraint definiert genau das Objekt, und wenn ja, die Bestimmung der Position und Orientierung von geometrischen Elementen. Lösen eines Systems von geometrischen Zwänge liegt in der Lösung des entsprechenden System von Gleichungen. Doch die Auswirkungen sind nicht-linearen Gleichungen sehr groß, mit mehreren Lösungen, die in der Regel nur schwer zu behandeln. Das Problem der automatischen Generierung der erwarteten Anfrage seitens des Nutzers bekannt ist, wie das Problem der Auswahl der gewünschten Lösung. Es ist sinnvoller, die Techniken aus der Informatik, evolutionären und genetischen Algorithmen speziell auf dieses Problem. Die AG arbeitet mit einer Reihe von Parametern, deren Werte werden in der Regel vor der Umsetzung etabliert. Da die rechnerische Aufwand zur Lösung dieser Probleme ist hoch, und damit ist diese Methode für wettbewerbsfähige Produkte nutzbar, indem Endbenutzern ist es notwendig, optimieren die Leistung der AG durch die richtige Konfiguration dieser Parameter. Das wichtigste Ziel dieser Arbeit ist es, eine Reihe von Werten für die Parameter der Kontrolle in einer AG, um sicherzustellen, dass ihre Leistung optimal ist. Das übergeordnete Ziel lässt sich in die folgenden Hauptziele. * Definieren Sie eine Methode für die Messung der Performance von einer AG auf das Problem der Auswahl der gewünschten Lösung. * Zwei sinnvolle Gestaltung der geometrischen Formen in verschiedenen Größen für die Durchführung der Pilot, ein für die Optimierung und die anderen als Beispiel die Kontrolle zur Überprüfung der Ergebnisse. * Analysieren experimentell, durch die Anwendung statistischer Techniken wie etwa die Analyse von Veränderungen, die Einfluss auf die Leistung der AG haben verschiedene Parameter, die Kontrolle über ihre Leistung, sowohl individuell als auch unter Berücksichtigung der möglichen Auswirkungen der Interaktionen zwischen ihnen. * Wählen Sie die Konfigurations-Parameter optimicé Performance AG. * Überprüfen Sie die Konfiguration, die durch Vergleich mit anderen Konfigurationen aus der Literatur auf.

Autor: ROBLES MARTÍNEZ GREGORIO.
Jahr: 2005.
Universität: REY JUAN CARLOS [www.urjc.es].
Ort der Lesung: ESCUELA SUPERIOR DE CIENCIAS EXPERIMENTALES Y TECNOLOGÍA.
Ort der Vorbereitung: UNIVERSIDAD REY JUAN CARLOS.

Inhaltsangabe: Mit dem Aufkommen des Internets hat unzählige neue Möglichkeiten zur Entwicklung von Software-Tools, die Nutzung der Telematik-, flexible Methoden einbeziehen und Beiträgen von Menschen außerhalb der Entwicklungs-Team. Eines der Beispiele für Software-Entwicklung, das Paradigma der erwähnten Merkmale finden sich unter dem Phänomen der freien Software ist von besonderem Interesse für große Projekte (in der Zahl der Teilnehmer und die Größe der Software). Trotz zunächst, dass diese neuen Umgebungen sind weniger kontrollierbar sind als die traditionellen (weil die Entwicklung ist in der Regel so geographisch verteilt, nicht hinter einer Firma führt, dass der größte Teil der Entwicklung, oder zumindest nicht die Fortführung der traditionellen hierarchischen Strukturen und externe Beiträge sind kaum vorhersehbar) Dank der Produktentwicklung (die Software selbst), da viele der Nebenprodukte der Entwicklungs-Team, Systeme für die Speicherung von Software-Fehlern oder Systeme und Versionen) werden in der Regel öffentlich zugänglich im Internet, können Sie erschöpfende Analyse mit einem großen Menge an Daten, von denen viele kaum conseguibles in traditionellen Bereichen. Diese These zielt auf die Identifizierung Datenquellen bieten, dass Freie Software-Projekte sind öffentlich, einige Methoden für die Analyse der Quellen und Daten, lassen sich aus ihnen, und zeigen einige Ergebnisse der Methoden, die zur freien Software-Projekten. Das Ziel ist es, das Phänomen besser zu verstehen, von freier Software, insbesondere, und der Prozess der Erstellung von Software, in der Regel als Teil der erworbenen Kenntnisse ist nicht unbedingt spezifisch für die freie Software, sondern kann in einer anderen Umgebung. Zu den wichtigsten Beiträge dieser Arbeit können wir sehen, dass es sich hierbei um die erste umfassende Analyse einer großen Zahl von Software-Projekten, aber die vorgeschlagenen Methoden und Tools, die entwickelt wurden, zu diesem Zweck erlaubt, in naher Zukunft zu einer weiteren Untersuchung der Projekte. Ebenso haben wir gesehen, die Bedeutung der Internet-Zeitalter Ergänzung der technischen Analyse, die auf dem Produkt mit dem Studium sozio-Techniker der Menschen, die hinter der Software-Entwicklung.

Autor: SORIANO SALVADOR ENRIQUE.
Jahr: 2005.
Universität: REY JUAN CARLOS [www.urjc.es].
Ort der Lesung: ESCUELA SUPERIOR DE CIENCIAS EXPERIMENTALES Y TECNOLOGÍA.
Ort der Vorbereitung: ESCUELA SUPERIOR DE CIENCIAS EXPERIMENTALES Y TECNOLOGÍA.

Inhaltsangabe: Die Ubiquitous Computing wird Realität, und beinhaltet eine sehr enge Modell zu einem verteilten System fraccionable, dynamisch und heterogen. Unsere Vision einer allgegenwärtigen Umwelt ist näher an das Modell Peer-to-Peer-Modell, dass die klassischen Client / Server. In System 1, die Knoten sind mobile Endgeräte (Handhelds, Handys, Laptops, usw.). Mobile oder nicht (Bildschirme, elektronische Tafeln, Workstations, etc.) im Zusammenhang mit verschiedenen Arten von Netzwerk-Technologien (Ethernet Bluetooht, Wi-Fi, etc.). Zu diesen Geräten gehören normalerweise zu einer Benutzer-und eventuell andere Benutzer wollen oder müssen, sie zu benutzen. Das System ist fraccionable weil Situationen auftreten können, in der zwei Geräte können miteinander verbunden, haben aber keine Verbindung mit dem Rest des Systems. Zum Beispiel, zwei Benutzer sind auf dem Parkplatz, wo es eine Verbindung mit der Außenwelt, sondern sie kommunizieren können via Bluetooth-Technologie in ihre Geräte. Das System ist dynamisch, da die Geräte erscheinen und verschwinden ständig (vor allem mobilen Geräten). Nutzer wie Geräte erscheinen und verschwinden ständig. Das System ist heterogen, da die Geräte, die von den Nutzern sind vielfältig, von der Personal-Computer zu Geräten. In einem Szenario wie diesem ist eine Sicherheitsarchitektur, die Authentifizierung, Vertraulichkeit, Integrität und Access Control. Wir glauben, dass keine der vorgeschlagenen Regelungen für verteilte Systeme und die allgegenwärtige Umgebungen, die den Anforderungen implizit in diesem Modell: * Die Unabhängigkeit der zentralen Dienste oder Server-Authentifizierung. * Reducicón Verbrauch auf mobilen Geräten und die Begrenzung der Verarbeitung. * Die Benutzerfreundlichkeit von Sicherheitsmechanismen. * Die Notwendigkeit, um mit Trennungen und Delegation. Das wichtigste Ziel ist die Konzeption und Umsetzung einer Sicherheitsarchitektur für die ubiquitäre Umgebungen genannt SHAD (Secure Human-Centered-Architektur für verteilte Systeme), die auf der Grundlage der menschlichen und damit sie ihre Ressourcen zu teilen und die Nutzung der Ressourcen der anderen in sicheren aa , Einfach und transparent sein.

Autor: RODRÍGUEZ CARBONELL ENRIC.
Jahr: 2005.
Universität: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Ort der Lesung: SALA DEL LLAC DE RECTORAR CAMPUS NORD.
Ort der Vorbereitung: EFICICI C6 CAMPUS NORD.

Autor: LÓPEZ MILLÁN GABRIEL.
Jahr: 2006.
Universität: MURCIA [www.um.es].
Ort der Lesung: FACULTAD DE INFORMÁTICA.
Ort der Vorbereitung: FACULTAD DE INFORMÁTICA.

Inhaltsangabe: Die Komplexität bei der Verwaltung von Netzwerk-Diensten und Organisationen heute zeigt, dass die traditionellen Methoden der Kontrolle des Zugangs zu den Ressourcen basierend auf Mechanismen wie Benutzernamen und Passwörter oder Zertifikate Identität, nicht in der Lage sind, sich an die Anforderungen der eigenen internen Infrastruktur Die Organisation und die Art der Dienstleistung angeboten. Außerdem, wenn wir auf der Bühne mit einer Reihe von Organisationen, die in die gemeinsame Nutzung dieser Dienste. Diese Organisationen sind die Möglichkeit zur Einführung von Mechanismen für die Steuerung des Zugriffs auf zusätzliche Informationen aus dem Benutzer-Identität, als Attribute, Rollen oder Gruppenzugehörigkeit. So, wenn authentifizierte Benutzer oder nicht zu ermächtigen, auf der Grundlage dieser Informationen. Die wichtigsten Szenarien sind heute begonnen hat, wo solche Dienstleistungen sind Ressourcen-Sharing Web-und Grid-Computing. Die gleiche Situation, die wir in den Dienst für Spitzenleistungen in den Kommunikationsnetzen, den gleichen Zugang zum Netz haben. Lieferanten, die beide drahtlosen und drahtgebundenen Netzwerk, die Kontrolle des Zugangs zum Netzwerk-Infrastruktur AAA (Authentifizierung, Autorisierung und Accounting), die hauptsächlich für die Benutzer-Authentifizierung. Allerdings ist die Komplexität bei der Verwaltung von Millionen von Benutzern und ihrer Strukturen zu ermöglichen eine bessere Steuerung, sowie die Notwendigkeit, differenzierte Dienste zu bieten, sind die treibende Kraft des neuen Forschungs-Papiere und der damit zusammenhängenden Vorschläge sind angesichts der Genehmigung für die Nutzer. Diese These stellt eine Lösung zur Kontrolle der Netzzugang auf der Grundlage sowohl Benutzer-Authentifizierung und Autorisierung durch ihre Anmeldeinformationen Attribut, so dass die Schaffung von Modellen, RBAC (Role-Based Access Control). Diese Lösung basiert auf der Definition einer Infrastruktur, die weit über seinen eigenen Netzwerk-Management, und definieren einen Rahmen auf Standards basierende, flexible, erweiterbare und interoperable. Bei der vorgeschlagenen Infrastruktur wird eine Lösung für die wichtigsten Probleme, die bei der Kontrolle des Zugangs zu den Netzen und Diensten höheren allgemeinen. Zum Beispiel, die Starrheit des Mechanismus der Kontrolle des Zugangs, die Notwendigkeit für die Vereinheitlichung und Standardisierung der Politik in den Prozess einbezogen, oder die Definition einer Architektur können die Interoperabilität mit anderen Lizenzen Vorschlag. Darüber hinaus wird es ermöglichen High-Level-Lösungen, die die Verwaltung der Authentifizierung und Autorisierung von Benutzern, kann die Nutzung ihrer Dienste, wodurch eine generische Lösung für das Problem der Kontrolle des Zugangs zu Dienstleistungen.

Autor: GARCÍA CLEMENTE FÉLIX JESÚS.
Jahr: 2006.
Universität: MURCIA [www.um.es].
Ort der Lesung: FACULTAD DE INFORMÁTICA.
Ort der Vorbereitung: FACULTAD DE INFORMÁTICA.

Inhaltsangabe: In der Verwaltung von verteilten Management-Systeme ist von entscheidender Bedeutung, um sicherzustellen, automatische ordnungsgemäßen Betrieb des Systems und ermöglicht auch eine dezentrale Verwaltung, die nicht die Dynamik und den Ausbau der Organisationen, die auf diese verteilten Systemen. Auf dem Weg zur Erreichung einer Lösung für das Management von automatisierten Systemen, ein so genanntes neues Paradigma Policy based Management verwendet wurde, so weit verbreitet und ist nun die Grundlage für die wichtigsten Vorschläge im Bereich der Verwaltung, aber auch als Grundlage der Forschungsarbeit wird in dieser Arbeit. In diesem neuen Paradigma, eine Politik ist definiert als eine Reihe von Vorschriften oder Praktiken, die das Verhalten des Systems unabhängig verwaltet dynamisch gegen die Elemente. Eines der wichtigsten Ziele der Policy-basiertes Management zu erreichen, ist die Kontrolle und Verwaltung des Netzes, Anwendungen und Dienstleistungen in einer Abstraktionsschicht auf einem hohen Niveau. In diesem Zusammenhang hat der Administrator bestimmt die Regeln, die beschreiben, die Politik mit einer bestimmten Sprache zu tun, und dann ist Management-Architektur, die Unterstützung bei der Umwandlung und der Politik zu verbreiten jedes Gerät als letztes Ziel und die Umsetzung einer Konfiguration, bestehend aus je. Für seinen Teil der Verwaltung der Sicherheits-Politik basiert auf einem Gebiet der Forschung, dass noch große Anstrengungen unternehmen, um eine endgültige Lösung für das Problem der automatischen Bereitstellung von Sicherheit. Die Grundlage für diese Lösung ist die Lösung der Probleme, die derzeit über die Sprache Spezifikation Politik, die auch das Fehlen einer gemeinsamen Modell sorgt dafür, dass die Erweiterbarkeit und die Interoperabilität zwischen den verschiedenen Management-Systemen, und Lücken in seiner Gestaltung und zur Erleichterung der Analyse von Konflikten zwischen Politik und Zugang zu ihren eigenen Daten. In diesem Sinne ist diese These will Fortschritte bei der Lösung dieser Probleme durch den Vorschlag, eine neue Sprache für das Management von Sicherheit. Diese Sprache wird auf der Grundlage der CIM-Modell sieht vor, dass ein Informations-Modell, das Standard definiert eine Reihe von Konzepten im Zusammenhang mit der Verwaltung von Netzen, Diensten und Benutzern. In unserem Vorschlag definieren wir eine formale Darstellung der Konzepte und Instanzen von CIM-Modell und eine logische Darstellung der Regeln der Politik. Mit diesen Darstellungen erlauben den Einsatz von Techniken Argumentation über Strategien, die den Zugang zu Informationen für die Politik und die Analyse von Konflikten zwischen einzelnen Politikbereichen. Die Flexibilität, die durch den Einsatz des Modells CIM (Common Information Model) ermöglicht es unseren Vorschlag zu definieren verschiedene Arten von Sicherheits-Policies. In unserem Vorschlag, den wir als ein Beispiel: Authentifizierung, Lizenzierung Politik, die Politik Delegation, die politische Verpflichtung, politische Filter-und IP-Sicherheitsrichtlinien. Darüber hinaus stellt eine Architektur, wo unsere Sprache ist umgesetzt und integrierte Sicherheits-Policies zu definieren, in den verschiedenen Anwendungsbereichen. Dies zeigt, wie unsere Sprache Politik macht eine gültige und angemessene Lösung für die Probleme vor.

Autor: REBOLLO SANTAMARIA CRISTINA.
Jahr: 2006.
Universität: JAUME I DE CASTELLON [www.uji.es].
Ort der Lesung: E.S.DE TECNO.Y CIE. EXPERIMENTALES.
Ort der Vorbereitung: E.S.DE TECNO.Y CIE. EXPERIMENTALES.

Inhaltsangabe: Die Vertretung von Arten, war ein großes Problem für die interaktive Visualisierung von externen Szenen. Das Fehlen von Pflanzen in solchen Szenen Ursachen Mangel an Realismus, sondern die große Zahl von Polygonen, die in der Modellierung dieser Art von Objekten macht es unmöglich, interaktives Display. Diese Diplomarbeit befasst sich mit dieser Problematik und stellt zwei Modelle multirresolución kontinuierliche Fokussierung auf die Echtzeit-Anzeige von Bäumen und Wäldern. Beide Modelle verwenden eine Darstellung basierend auf der Geometrie. Diese Funktion ermöglicht den Genuss der Vorteile durch die neue Grafik-Hardware, wie z. B. die Simulation der Auswirkungen des Windes oder die erhöhte Realismus durch mehr natürliche Beleuchtung oder mit verschiedenen Arten von Schatten. Die Daten, Strukturen der beiden Modelle wurden so konzipiert, dass sie die Daten im Speicher der Grafikkarte und damit den Prozess der Betrachtung von der Ebene des Einzelnen erforderlich.

Autor: PERALLOS RUIZ ASIER.
Jahr: 2006.
Universität: DEUSTO [www.deusto.es].
Ort der Lesung: FACULTAD DE INGENIERIA.
Ort der Vorbereitung: FACULTAD DE INGENIERIA.

Inhaltsangabe: Die Aktualität des Web-basierten Anwendungen, die Auswirkungen der von ihnen seit ihrer hohen Qualität in peentración Wirtschaftszweigen sehr unterschiedlich und sehr speziellen und anspruchsvollen Bedingungen, unter denen eine solche Software entwickelt wird, haben dazu geführt, dass die Realisierung dieser Arbeit. In ihm wird eine Methodik für die Bewertung der Qualität von Web-Sites in einer Weise gestaltet, dass eine Reihe von Fähigkeiten, die es besonders gut geeignet, um die Anforderungen in Web-Entwicklung. Der innovative Charakter der Methode ist genau das, was die Integration der Funktionen, obwohl einige von ihnen waren in der Tat, die in anderen nur sehr wenige, Evaluierungsmethoden, dem Zusammenfluss von allen in einer einzigen Lösung ihm eine einzigartige Identität. Also auf der einen Seite ist bemerkenswert agil und systematischen Charakter, der auf die Verwendung von Mustern, die Beurteilung sind wiederverwendbar Kompetenz in den verschiedenen Bewertungen. Außerdem ist es bemerkenswert, seine Fähigkeit zur Anpassung an die Eigenschaften der Seiten, in der Lage zu bestimmen, durch einen Prozess der Analyse basiert auf der Verwendung von Elementen oder Facetten der Website Charakterisierung, welche Aspekte sollten beurteilt werden, in jedem Fall und was Priorität. Zu betonen ihre umfassende Natur, eine seltene Qualität und die Reaktion auf seine globalen Vision von Qualität, die als sieben Attribute wie Benutzerfreundlichkeit, Zugänglichkeit, Sicherheit, Leistung, funionalidad, Zuverlässigkeit und Wartung. Schließlich Notieren Sie sich die Tatsache, dass es sich hierbei um eine Methode entwickelt werden, wenn die Betriebs-oder Produkt wurde in der letzten Phase ihrer Entwicklung, so dass die Bewertung nicht als eine zusätzliche Belastung für den Entwicklungsprozess. Alle Vorteile aufgelistet wurden experimentell erprobt und deirivado dieser Verbesserungen auf den Einsatz der Methode durch unerfahrene Gutachter, die eine Möglichkeit zur Beurteilung von mehr effektiv, effizient und zufriedenstellend als andere Techniken zur Beurteilung. Die Beurteilung Rahmen ist mit dem Bau eines Werkzeugs zur Unterstützung der Lage, jeden Schritt entlang des Evaluationsprozesses.

Autor: MORILLAS GÓMEZ SAMUEL.
Jahr: 2006.
Universität: POLITÉCNICA DE VALENCIA [www.upv.es].
Ort der Lesung: Universidad Politécnica de Valencia.
Ort der Vorbereitung: Universidad Politécnica de Valencia.

Inhaltsangabe: Das gefilterte Bild ist eine grundlegende Aufgabe für die Mehrheit der Computer-Vision-Systeme, wenn die Bilder sind, die für die automatische Analyse, oder auch für die menschliche Kontrolle. In der Tat, die Anwesenheit von Rauschen in einem Bild kann ein ernsthaftes Hindernis für jede nachfolgende Bildverarbeitungs-Aufgaben, wie beispielsweise die Erkennung von Kanten oder Mustererkennung oder Objekte, und daher sollte der Lärm reduziert werden. In den letzten Jahren ist das Interesse an der Verwendung von Farbbildern wurde erheblich gestärkt und eine Vielzahl von Anwendungen. Das ist der Grund, warum der Filter Farbbild hat sich zu einem interessanten Forschungsgebiet. Es war zu beobachten, dass die Farbe die Bilder verarbeitet werden müssen unter Berücksichtigung der Korrelation zwischen den verschiedenen Kanälen des Bildes Farbe. In diesem Zusammenhang wird die Lösung wohl am besten bekannt und untersucht ist der Ansatz Vektor. Der erste Vektor-Filtering-Lösungen, wie Vektor-Median Filter (VMF) oder Richtungs-Vektor-Filter (VDF), sind auf der Grundlage der Theorie der statistischen robust, und deshalb sind in der Lage, eine robuste Filterung. Leider sind diese Techniken sind nicht speziell auf lokale Besonderheiten des Bildes, die in der Regel bedeutet, dass die Kanten und Details der Bilder emborronan und Qualität verlieren. Um dieses Problem zu überwinden, mehrere Vektor adaptive Filter wurden vor kurzem vorgeschlagen. In dieser Doktorarbeit durchgeführt wurde, zwei wesentliche Aufgaben: (i) die Untersuchung der Anwendbarkeit von Fuzzy-metrische Aufgabe Bildverarbeitung, und (ii) das Design neuer Filter für Farbbild profitieren von den Eigenschaften der metrischen diffus und Fuzzy-Logik. Die experimentellen Ergebnisse in dieser Arbeit zeigen, dass die Metrik diffus und Fuzzy-Logik sind nützliche Werkzeuge für die Gestaltung Filter-Techniken, die zwar nicht als adaptive adaptive, die im Wettbewerb mit anderen Techniken in den state of the art. Darüber hinaus, wie in einer Reihe von Filtern konzipiert, diese These, ein interessanter Vorteil der Fuzzy-Metrik ist, dass sie einen einfachen Mechanismus, um mehrere Kanäle gleichzeitig entfernt.

Autor: FERNANDEZ VENERO MIRTHA LINA.
Jahr: 2006.
Universität: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Ort der Lesung: AULA MÀSTER-EDIFICI A3-CAMPUS NORD.
Ort der Vorbereitung: OMEGA DESPATX 240 ND.

Inhaltsangabe: Diese Arbeit ist als erster Schritt auf dem Studium der Monotonie Eigentums mit dem Ziel der Erhöhung der Bestellungen werden in der Praxis erweist Kündigung. Vor diesem Hintergrund werden wir zeigen, dass die Notwendigkeit der monoton Bestellungen für die Beendigung steht in engem Zusammenhang mit der Art der Rewriting unter Berücksichtigung als auch die Methode, die angewendet wird. Im Zusammenhang mit der Verwendung von nicht-monotone Bestellungen, werden wir auch einen Schwerpunkt auf den Erhalt Modularität Ergebnisse auf der Ebene der Beweise (zB Bestellungen), als vielmehr auf der Ebene der umzuschreiben. Es stellt sich heraus, dass eine Lockerung der Monotonie-Eigenschaft ist auch wichtig, um die geeigneten Anordnungen für den Aufbau inkrementelle Kündigung Beweis. Durch geeignete, dann meinen wir imposante einige Eigenschaften auf diese Bestellungen, die wiederum bedeutet einige Eigenschaften auf Basis der Systeme und die Beweise, die wiederverwendet werden. Um unsere Ziele zu erreichen, haben wir unsere Forschungs-geteilt in zwei Hauptteile gegliedert. Der erste Teil widmet sich der Studie nicht monoton erweist Bestellungen für die innere Kündigung-die meisten. Der zweite Teil-Studien nicht monoton erweist Bestellungen für die CE-Kündigung.

Autor: MENDEZ FELIU ALEX.
Jahr: 2006.
Universität: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Ort der Lesung: SALA DEL LLAC-EDIFICI R. CAMPUS NORD.
Ort der Vorbereitung: OMEGA DESPATX 240 ND.

Inhaltsangabe: Zur Berechnung der Lösungen für die globale Beleuchtung Rendering virtuellen Szenen, die sich an physisch genaue Methoden, die auf oder Radiosity-Ray-Tracing sind in der Regel Beschäftigte. Diese Methoden, obwohl leistungsfähige und in der Lage, die Erzeugung von Bildern mit hoher Realismus, sind sehr kostspielig. In dieser Arbeit, einige Techniken zu simulieren und / oder Beschleunigung der Berechnung der globalen Beleuchtung untersucht. Obscurances Die Technik basiert auf der Vermutung, dass die mehr verstopfte ist ein Punkt in der Szene, desto dunkler wird es erscheinen. Es wird durch die Analyse der Rahmenbedingungen der geometrischen Punkt und gibt einen Wert für die indirekte Beleuchtung für die, das ist der Punkt, wenn auch nicht physikalisch korrekt, visuell realistisch. Diese Technik ist eine verstärkte und verbesserte in Echtzeit-Umgebungen wie Videospiele. Es ist auch für die Ray-Tracing-Frameworks zu generieren, realistische Bilder. In diesem Kontext, Sequenzen von Frames für die Animation der Lichter und Kameras sind dramatisch beschleunigt durch die Wiederverwendung von Informationen zwischen den Frames. Die obscurances berechnet zu simulieren, die indirekte Beleuchtung einer Szene. Die direkte Beleuchtung wird zerlegt und in eine unabhängige Art und Weise. Die Entkopplung der direkten und indirekten Beleuchtung ist ein großer Vorteil, und wir werden davon profitieren. Wir können hinzufügen, Farbe, ohne Blutung Auswirkungen der Rechenzeit. Ein weiterer Vorteil besteht darin, dass zur Berechnung der obscurances brauchen wir nur die Analyse einer begrenzten Umgebung rund um den Punkt. Für diffuse virtuelle Szenen, die Radiosity kann precomputed navigieren, und wir können die Szene mit einer realistischen Darstellung. Aber wenn ein kleines Objekt bewegt sich in einem dynamischen Echtzeit-virtuelle Umgebung, als Videospiele, die recomputation der globalen Beleuchtung der Szene ist unerschwinglich. Durch die begrenzte Reichweite der Berechnung obscurance, können wir die neu obscurances nur für den begrenzten Umfeld des bewegtes Objekt für jeden Frame und noch Echtzeit-Bildraten. Obscurances kann auch verwendet werden, um qualitativ hochwertige Bilder oder Sequenzen von Bildern für eine Animation, in einem Ray-Tracing-like. Dies ermöglicht uns, mit Nicht-diffuse Materialien für die Forschung und den Einsatz einer Technik häufig diffus, wie im allgemeinen obscurances Umgebungen. Für statische Kameras, mit Animation betrifft nur Licht für direkte Beleuchtung, und wenn wir obscurances für die indirekte Beleuchtung, dank der Entkopplung der direkten und indirekten Beleuchtung, die Berechnung einer Reihe von Frames für die Animation ist sehr schnell. Der nächste Schritt ist das Hinzufügen Animation Kamera, die Wiederverwendung obscurances Ergebnisse zwischen Frames. Mit diesem letzten Technik der Wiederverwendung die Beleuchtung der Trefferpunkte zwischen den Rahmen für eine echte globale Beleuchtung Technik wie Pfad-Tracing, wir untersuchen, wie können wir die Wiederverwendung dieser Informationen in einer unvoreingenommenen Weise. Außerdem ist eine Studie der unterschiedlichen Sampling-Techniken für die Halbkugel wird, obscurances berechnet mit der Tiefe-Peeling mit Technik und GPU.

Autor: ECHAVE CALVO IMANOL.
Jahr: 2006.
Universität: PAÍS VASCO [www.ehu.es].
Ort der Lesung: FACULTAD DE INFORMÁTICA.
Ort der Vorbereitung: FACULTAD DE INFORMÁTICA.

Inhaltsangabe: Die Karte AutoOrganizativo (Self Organizing Map, SOM) ist ein neuronales Netzwerk-Architektur, bezieht künstlichen Probleme für die Wettbewerbsfähigkeit Vektorquantisierung und Beseitigung von nicht-linearen Eigenschaften, sowie Algorithmus Visualisierung von Daten und High-dimensional Data Mining. In Anwendungen, die Segmentierung des Bildes, SOM ist in erster Linie als eine Methode zur Schätzung der Buch-Vektor-Code (Code-Buch), die es erlauben, eine optimale Vektor-Qualifikation. Als adaptive Algorithmus, vor allem in der Veröffentlichung von einen Schritt auf die Probe, die für die Fertigstellung dieser Schätzung der individuell für jedes Bild, Maximierung der Code-Buch für jedes Bild. In dieser Arbeit konzentrierten wir uns auf zwei Bereiche der Anwendung. Erste Segmentierung magnetic resonance imaging hochauflösende Bilder mit der mitgelieferten zu diesem Zweck vom Institute of Advanced Studies Biofuncionales der Complutense-Universität. Zweitens halte die Anwendung der gleichen Methoden in einen Kontext, ist völlig verschieden von der Berechnung der Strömung in dichten optischen Bildsequenzen. Der Ansatz, dass wir glauben, ist die Nachbarschaft von vóxeles als Elemente der Textur und die Verwendung SOM-Algorithmus für die Schätzung in jedem Bild, dass Code-Buch quantifiziert besten Viertel in das Bild. Diese Vektoren sind davon ausgegangen, Code als Basis für die Unterstützung 2D-und 3D-Funktionen ermöglicht kodifizieren, die Textur der einzelnen Pixel oder vóxel abhängig von Ihrer Nachbarschaft, die Beschränkung einen Schritt auf die Probe macht Sinn, um resutlados Zeit akzeptabel angesichts der Größe der Magnet-Resonanz-Bildgebung, Oder Echtzeit-Beschränkungen bei der Berechnung der Strömung auf optischen Bildsequenzen.

Autor: BAIXERIES JUVILLA JAUME.
Jahr: 2006.
Universität: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Ort der Lesung: Sala d'Actes de la Fac. d'Informatica.
Ort der Vorbereitung: OMEGA DESPATX 240 ND.

Inhaltsangabe: Abhängigkeiten sind Einschränkungen oder Zwänge, die auf einer Reihe von Daten. Sie finden sich in verschiedenen Realms: Database Theory, Data Mining, Künstliche Intelligenz, Aussagenlogik Logic, etc.. Lattice Charakterisierung von Abhängigkeiten wurde aus zwei verschiedenen Blickwinkeln: die theoretischen Grundlagen und ihre Anwendungen, vor allem in den Bereichen Datenbank-Theorie und Knowledge Discovery. Im ersten Teil dieser Arbeit präsentieren wir eine generische und modulare Gitter Charakterisierung einer Reihe von Armstrong und symmetrische Abhängigkeiten von einem semantical und eine syntaktische point of view, in Bezug auf die Formale Begriffsanalyse, Formalismus in Knowledge Discovery. Im zweiten Teil dieser Arbeit, dass zwei Anträge der Gitter-Charakterisierungen sind auch vorgestellt: die Definition von Armstrong Armstrong Beziehungen für symmetrische und Abhängigkeiten, und die Definition einer formellen Rahmen für die symmetrische Abhängigkeiten.

Autor: PELAYO GARCIA BUSTELO BEGOÑA CRISTINA.
Jahr: 2006.
Universität: OVIEDO [www.uniovi.es].
Ort der Lesung: E.U. INGENIERIA TECNICA INFORMATICA.
Ort der Vorbereitung: DEPARTAMENTO DE INFORMATICA..

Inhaltsangabe: Die Spezifikation Model Driven Architecture (MDA), ist eine Spezialisierung führte Modelle, die Entwicklung der Business-Logik trennt der Software-und Technologie-Plattformen. Diese Vereinbarung definiert drei Arten von Modellen. Die CIM, Computation Independent Model, im Zusammenhang mit dem Domain-Namen Geschäft, PIM, Platform Independent Model mit abstrakten Modellen von Software-und MIP, Platform Specific Model, verwandte Modelle von spezifischen Software-Technologie-Plattformen. MDA jedoch nicht präzisiert, wie sie sein sollten Modelle CIM und beschreibt auch, wie sie verarbeitet werden müssen Modelle PIM. Als Lösung für dieses Problem, diese These stellt eine Empfehlung schlägt vor, dass eine Entwicklungs-Prozess sotware auf die Modellierung von Geschäftsprozessen, die als CIM, die im Zusammenhang mit der ersten Modelle der Software, als PIM. Aus eine gültige Interpretation der MDA, die vorgeschlagene Empfehlung stützt sich auch bei der Umsetzung der anderen Disziplinen sehr aktuell. Unter ihnen die Nutzung der agilen Software-Entwicklung, auf die entsprechende Definition der Geschäftsprozesse. Stichwörter: Model Driven Architecture (MDA), Computation Independent Model (CIM), Platform Independent Model (PIM), agile Software-Entwicklung.

Autor: García Rodríguez de Guzmán Ignacio.
Jahr: 2006.
Universität: CASTILLA-LA MANCHA [www.uclm.es].
Ort der Lesung: Escuela Superior de Informática de Ciudad Real.
Ort der Vorbereitung: Escuela Superior de Informática de Ciudad Real.

Inhaltsangabe: Die Entwicklung von Software kann aus zwei Blickwinkeln: (1) die Software-Entwicklungen, die sich selbst als Teil der Wartung in Betrieb kommt, dass beim Betreten sie in Betrieb sind, und (2) die Entwicklung der Technologie selbst Software-Entwicklung und Paradigmen. Normalerweise ist ein Durchbruch in der technologischen Paradigmen der Regel umfasst Wartung Maßnahmen zur Anpassung einer Software an eine neue Flow-Technologie, denn in vielen Fällen ist der einzige Mechanismus zur Verfügung, um Unternehmen wettbewerbsfähig zu bleiben. Dies ist der Fall, der einer der bedeutendsten Paradigmenwechsel in den letzten Jahren aufgetreten, die Service-Oriented Architecture oder SOA (Service Oriented Architecture). SOA Befürworter näherte sich die Software als eine Reihe von Dienstleistungen über das Internet verfügbar, und zwar entweder in neue Entwicklungen oder als Methode, um die Funktionalität von Legacy-Systemen in Betrieb. Angesichts der Bedeutung von SOA ist für die Unternehmen, die durch das Aufkommen von Technologien wie Web-Services, und der Betrag von Legacy-Systemen derzeit in Betrieb in der Informations-Systemen, die Notwendigkeit von Strategien, die bis zu einem gewissen Grad erleichtern die Migration und Integration dieser Art von Systemen In den neuen SOA-Umgebungen ist von wesentlicher Bedeutung. Mit Besorgnis irgendwie lösen die Aufgabe, einige Arten der Migration von Legacy-Systemen kommt dieser Dissertation. In unserem Vorschlag ist umgesetzt PRESSWEB, einen Prozess mit einem doppelten Zweck: Unterstützung für die Integration von relationalen Datenbanken in SOA-Umgebungen. Zu diesem Zweck bietet eine PRESSWEB Faden durch Reengineering Techniken, MDA (insbesondere Massenvernichtungswaffen oder Architecture Driven Modernization), und statische Analyse, zu entdecken und zu entwickeln, wie relationale Datenbanken. Die Absicht ist, dass diese Dienste ausgesetzt sein können, wie Web-Services und SOA verbunden in einer Umgebung, so dass jede Anwendung kann von ihnen Gebrauch machen. -- Bereitstellung von Mechanismen für die Entdeckung der Funktionalität in Anwendungen, tippen Sie in einer Datenbank. Zu diesem Zweck PRESSWEB bietet auch einen Thread, der führt eine Analyse der dynamischen Natur, durch mathematische Formal Concept Analysis Tool oder FCA (Formal Concept Analysis), analysiert den Verkehr zwischen einer relationalen Datenbank und einer Anwendung. Diese Analyse erlaubt zu schlussfolgern, was die häufigste erbrachten Dienstleistungen durch die Anwendung und die Umsetzung der SQL-Abfragen. Auch die Idee ist, dass diese Merkmale identifiziert exportiert werden können, wie Web-Services, und somit Zugang zu anderen Anwendungen, die sie benötigen könnten. Für die Umsetzung der beiden Prozesse, haben wir eine Reihe von metamodelos (thread für statische Analyse), unterstützt die Darstellung von einigen der beteiligten Geräte, sowie Support-Tools (für beide Threads) zu automatisieren, dass einige der Aufgaben PRESSWEB.

Autor: SEBASTIÁN AGUILAR RAFAEL.
Jahr: 2006.
Universität: VALENCIA [www.uv.es].
Ort der Lesung: ESCOLA TÉCNICA SUPERIOR D'ENGINYERIA.
Ort der Vorbereitung: UNIVERSITAT DE VALÉNCIA.

Inhaltsangabe: Diese These stellt neue Modelle und Methoden für die Analyse dynamischer Prozesse von Bildsequenzen. Die Analyse von Prozess sestocásticos Bildsequenzen, die produzieren können räumliche und zeitliche Überschneidungen genetischen Objekte, ist es wichtig, zu studieren viele reale Phänomene, jedoch Techniken und bestehende Modelle lösen nicht das Problem vollständig. Die Motivation für diese Arbeit war die Untersuchung von zwei zellulären Mechanismen, die Exozytose und Endozytose, ab Reihenfolge der Bilder erhalten durch die Technik der Mikroskopie Total Internal Relfection Fluoreszenz-Mikroskopie. Diese Technik erlaubt die gezielte Beleuchtung und hohe Präzision der zytoplasmatischen Membran. Unser Ansatz der Studie der Ansicht, die Bilder, die durch diese Technik als Realisierung eines stochastischen Prozess, erfüllt die Bedingungen für die stationäre und Isotropie. Im ersten Teil der Studie legt nahe, die Anwendung einer Methode für die Untersuchung von Mustern pünktlich hinzugefügt räumlichen, zeitlichen Raum oder vorübergehend im Rahmen der Prozess-Eingabeaufforderung. Grundsätzlich konzentriert sich auf die Anwendung der k-Funktion Ripley für die Untersuchung der räumlichen und zeitlichen Zusammenhang von Fusionen reproduziert durch die konstituierende Exozytose. Diese Methode hat noch nie angewendet worden, um die kombinierte Studie von Raum und Zeit in der verfassungsgebenden Prozess der Exozytose, obwohl es vielleicht helfen, besser zu verstehen, die Funktionsweise der Zelle oder Erprobung neuer Hypothese. Danach, einen Vorschlag für eine Erweiterung des Modells Bolleano zu studieren Prozesse estocáticos räumliche zeitliche mit einem besonderen Schwerpunkt auf die zeitliche Dimension. Se define Boolean el modelo para el modelado de objetos superpuestos de espacio y tiempo, y seguidamente wird definen los que estimadores ermöglichen, um medio el número de eventos por unidad de área y tiempo, su tamaño medio, Funktion y de la densidad de las duraciones, Aus Bildsequenzen. Es gibt zwei verschiedene Ansätze für die Schätzung der Parameter des Modells. Eine erste Methode, bei der die Unterschiede, die die Untersuchung der Unterschiede in der Intensität des Modells im Laufe der Zeit, die Berechnung der Unterschiede zwischen Paaren von temporären Abschnitte getrennt von Entfernungen, die zunimmt. Eine zweite Methode basiert auf der Aggregation von temporären Abschnitte des Modells zur Untersuchung der erhöhten Intensität des Aggregates. Das Modell Bolleano Zeit wurde für die Untersuchung der Bereiche der Fluoreszenz, die für Proteine, die zur Endozytose, die räumlich und zeitlich überschnitten sich in Zeiten. Die Ergebnisse aus einer Studie zur Simulation testen Sie die Schätzer zeigte relative Fehler zwischen 1% und 5% für beide Methoden Schätzung, wodurch ihre Anwendung auf realen Studien. Die Anwendung des Modells für den speziellen Fall der Endozytose erlaubt eine Abschätzung der Anzahl der Ereignisse pro Flächeneinheit und Zeit, und ihre durchschnittliche Dauer, die kurz vor der erhaltenen Werte manuell für die gleiche Sequenzen. Mit den Modellen, die in dieser Arbeit ist es möglich, zu analysieren aktuelle Phänomene, die beobachtet wird überlappende Objekte mit zufälligen Formen und Längen. Seine Bewerbung für das Studium der Endozytose und Exozytose ermöglicht den Erhalt Parameter geschätzt, in einem sich schnell bei gleichzeitiger Reduzierung der Verzerrung durch die manuelle Auswahl der Proben des Prozesses.