COMPUTING (2)

Autor: CARRASCO MATEOS JUAN ATANASIO.
Jahr: 2004.
Universität: NACIONAL DE EDUCACIÓN A DISTANCIA [www.uned.es].
Ort der Lesung: E.T.S. INGENIERÍA INFORMÁTICA.
Ort der Vorbereitung: E.T.S.I. INFORMATICA Q.

Inhaltsangabe: Diese Arbeit liefert eine Methodik für die Entwicklung von Simulationsumgebungen, die die Steuersysteme. Die Methode ist einfach, die Umsetzung, damit kann in kleinen Systemen Simulation, wie in vollem Umfang Simulatoren für große Industrieanlagen. Zu diesem Zweck, die Methodik wurde entwickelt, diskutiert konkrete praktische Beispiele. Die Methodik auch Anspruch auf gültig für die Verwendung von immer zahlreicher Simulationswerkzeuge, die Hersteller Steuerungssystemen.

Autor: CHAGOYEN QUILES MÓNICA.
Jahr: 2004.
Universität: AUTÓNOMA DE MADRID [www.uam.es].
Ort der Lesung: ESCUELA POLITÉCNICA SUPERIOR.
Ort der Vorbereitung: ESCUELA POLITÉCNICA SUPERIOR.

Inhaltsangabe: Die Entwicklung der experimentellen Techniken für hohe Leistung (wie z. B. die Sequenzierung und DNA-Chips), zusammen mit der konsequenten Entwicklung der Bioinformatik und Computational Biology und die Anhäufung von großen Mengen an Daten und Informationen haben sich die Molekularbiologie in der Wissenschaft weitgehend auf abhängige Information Technology . Torrent Diese Informationen sind notwendig, fast unvermeidlich, automatisieren die integrierte Analyse der neuen experimentellen Daten verfügbar. Die Integration von biologischen Informationen hat verschiedene Seiten, und deshalb unterschiedliche Ansätze und Lösungen überprüft werden, wie eine Einführung in das Thema. Der zweite Teil der Diplomarbeit werden die Schritte zur Überwindung des Mangels an Infrastruktur für die Verwaltung und Speicherung von Daten, die von strukturellen dreidimensionale Elektronenmikroskopie, artikuliert etwa zwei wissenschaftliche Projekte von internationaler Tragweite: eine erste Konzeptualisierung in der Datenbank Biolmage (Integration Informationen aus verschiedenen mikroskopischen Techniken) und die Schaffung von MDT (Electron Microscopy Database) bei der Europäischen Bionformatics Institut (Integration von Informations-makromolekularen Strukturen). Schließlich, so stellt die Arbeit (in Zusammenarbeit mit dem San Diego Supercomputer Center), Werkzeuge, die die Bedürfnisse eines experimentellen Labor-Analyse-und / oder Computer. Die Analyse Prozesse modelliert mit Arbeitsabläufe (Workflows), die dazwischen Zugang zu Informationsquellen (Datenbanken strukturiert, lokale Dateien, Web-Sites) und Implementierung von Algorithmen und / oder Anwendungen.

Autor: MARCO GOMEZ JORDI.
Jahr: 2004.
Universität: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Ort der Lesung: DEPARTAMENTO DE LLENGUATGES I SISTEMES INFORMÀTICS.
Ort der Vorbereitung: EDIFICI C6 CAMPUS NORD.

Autor: GUTIERREZ SANCHEZ GERMAN.
Jahr: 2004.
Universität: CARLOS III DE MADRID [www.uc3m.es].
Ort der Lesung: ESCUELA POLITECNICA SUPERIOR.
Ort der Vorbereitung: UNIVERSIDAD CARLOS III DE MADRID.

Inhaltsangabe: Das Design der Elemente eines Netzes von künstlichen Neuronen, die Topologie, ist es wichtig, es ist von entscheidender Bedeutung für das einwandfreie Funktionieren. Dieses Design ist durch einen menschlichen Experten durch die Technik der Versuch und Irrtum. Durch die Automatisierung der Gestaltung der Topologie, wird der Prozess als eine Suche in allen möglichen Topologien, wie genetische Algorithmen ein geeignetes Instrument, um, und der darin enthaltenen Informationen in der Genotyp, und wie es ist verschlüsselt (Codierungsschema) entscheidende Frage. Diese Arbeit schlägt zwei Codierungsschemata indirekte, ein basiert auf der Idee der zellulären Automaten und anderen basiert auf Grammatiken bidimensionales.Se basiert auf dem Chromosom enthält keine Topologie selbst, sondern nur die Informationen, die erforderlich sind, durch eine Erweiterung, um Netzwerktopologie. Diese Codierungen werden vorgeschlagen, mit dem Ziel der Verbesserung der Fähigkeit generativen und optimieren Sie die Suche. Es analysiert die generative Kapazität der beiden Codierungsschemata vorgeschlagen, sowie die evolutionären Prozess, sie auf einer Reihe von Gebieten für das Netz der künstlichen Neuronen, in der sowohl indirekten Maßnahmen untereinander, und mit einer direkten Regelung.

Autor: CLARISO VILADROSA ROBERT.
Jahr: 2004.
Universität: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Ort der Lesung: Facultat d'Informàtica de Barcelona.
Ort der Vorbereitung: EDIFICI C6 Campus NORD.

Inhaltsangabe: In vielen Systemen, die Korrektur kann bestimmt werden durch den Vergleich der Antworten auf die Ereignisse in der Umgebung mit denen in der Spezifikation. In anderen Bereichen, die Korrektur hängt nicht nur auf das, was Antworten kommen, sondern wann. Die Spezifikation dieser Systeme, die Systeme temporizados enthält Informationen vorübergehende Verzögerungen der internen Maßnahmen und Veranstaltungen der Umgebung. Dieses Konzept kann allgemeine System temporizados parametrische, wo einige der Informationen in der zeitlichen Spezifikation ist ein System Parameter. Überprüfen ein System mit Parametern zu bestimmen, ist die Menge der zulässigen Werte für diese Parameter, um den ordnungsgemäßen Betrieb. Aber viele Versionen dieses Problem der Überprüfung sind allerdings teuer oder sogar indecidibles. Eine wichtige Klasse von Systemen temporizados sind Schaltungen temporizados, einen Stil des Designs zu bauen hoher Geschwindigkeit Schaltungen. Eine zeitgesteuerte Schaltung eine gute Leistung, aber ihre Genauigkeit gewährleistet ist nur, wenn die Fristen für die die Tore und Kabel für eine Reihe von zeitlichen Beschränkungen. Auf der anderen Seite, Designer einer Schaltung gesteuert haben gewisse Kontrolle über diese Verzögerungen. Formalisieren, wie eine Schaltung ermöglicht parametrische Zeitüberschreitung Verzögerung der Wahl von diesen Verzögerungen erst nach der Überprüfung. Verzögerungen, so kann in Übereinstimmung mit den Einschränkungen, die durch die Überprüfung, die Vermeidung konservativen Entscheidungen im Voraus. Eine gute Wahl von Verzögerungen kann die Effizienz der Verbindung, zum Beispiel die Reduzierung der Latenzzeit. Diese Diplomarbeit befasst sich mit der Überprüfung Systeme temporizados parametrische, mit besonderem Augenmerk auf die Beherrschung Schaltungen temporizados. Die vorgeschlagenen Methoden basieren auf der Theorie der abstrakten Interpretation, eine allgemeine Methode für die statische Analyse weit verbreitet in der Verifikation von Software unter anderen Problemen. Die Beiträge dieser Arbeit gehören zu diesen beiden Bereichen: Prüfung von Schaltkreisen temporizados und abstrakte Interpretation. Der erste Beitrag ist eine automatisierte Methode zu überprüfen, Schaltungen temporizados mit symbolischen Verzögerungen. In Bezug auf die früheren Methoden, diese Technik hat mehrere Vorteile, wie Einschränkungen sind unabhängig von der Technologie, eine bessere Präzision oder einen einfachen Mechanismus für die Validierung. Die experimentellen Ergebnisse zeigen, dass diese Technik eignet sich für die Überprüfung der asynchronen Steuerungen. Die zeitliche Analyse Algorithmus basiert auf der Analyse von linearen Beziehungen durch konvexe Polyeder, eine konkrete Analyse auf der Grundlage der abstrakten Interpretation. Es ist möglich, zu definieren anderen analysiert verändern, zum Beispiel die Familie von Eigenschaften studierte durch die Analyse, die abstrakte Domäne. So ist es möglich, die Effizienz zu verbessern, im Austausch für die Richtigkeit verlieren. Im Rahmen der abstrakten Interpretation dieser Arbeit beschreibt eine neue Domain numerische Abstraktion namens Oktaeder. Diese Domain ist auf lineare Ungleichungen mit Einheit Tarife: â1, 0, oder +1. Solche Eigenschaften erfassen präzise die zeitliche Zwänge, die in einer Schaltung gesteuert. Darüber hinaus sind diese Einschränkungen sind angemessen zu beschreiben, die Eigenschaften des Interesses an anderen Fragen statische Analyse. Das Argument kennzeichnet die Domain der abstrakten octaedros wirft einige theoretische Ergebnisse, wie die Existenz einer kanonischen Form, und beschreibt zwei alternative Implementierungen, die jeweils in der Entscheidung Diagramme und Bit Vektoren. Beide Implementierungen erzielen signifikante Verbesserungen in den Speicher Verbrauch in Bezug auf konvexe Polyeder für die Überprüfung Schaltungen Template- 8 porizado 342 n, die jeweils mit unterschiedlichen Zeitpunkt der Berechnung. Im Hinblick auf die Genauigkeit, die Ergebnisse zeigen, dass octaedros eine Genauigkeit wie das Problem studierte in Polyeder.

Autor: ORFILA DIAZ PABON AGUSTIN.
Jahr: 2005.
Universität: CARLOS III DE MADRID [www.uc3m.es].
Ort der Lesung: ESCUELA POLITECNICA SUPERIOR.
Ort der Vorbereitung: UNIVERSIDAD CARLOS III DE MADRI.

Inhaltsangabe: System Detection Intrusiones (IDS) sind derzeit die dritte am weitesten verbreitete Technologie Sicherheit, übertroffen nur von Firewalls und Antivirensoftware. Der auswertbaren Merkmale ein IDS eine der wichtigsten ist, die Wirksamkeit, da es zeigt, die Fähigkeit der gleichen um eine nützliche Entdeckung. Diese Dissertation, die durch technische Analyse der Entscheidung, eine Methode zur Bewertung der Wirksamkeit der IDS Berücksichtigung der Nützlichkeit ihrer Entdeckungen. Dies wird eine Orientierungshilfe optimal konfigurieren ein IDS in einem bestimmten Umfeld und legt die Schritte zu vergleichen verschiedene Vorschläge. Außerdem, da die Notwendigkeit für die Automatisierung der Prozesse der Erkennung und Reaktion auf Zwischenfälle, sie hat ein System entwickelt, Multiagentensysteme Beratungs-, unter Berücksichtigung der vorgeschlagenen Methodik, die Fähigkeit hat, sowohl unabhängig konfiguriert und ihre optimale Bedingungen wie die Entscheidung, ob oder nicht zu reagieren Auf ein bestimmtes Ereignis. Dieses System ermöglicht eine dynamische Anpassung an die Umwelt in Frage zu berücksichtigen, in der Gestaltung ihrer Anpassung abhängig von der Wirksamkeit der verschiedenen Techniken Erkennung durch seine Vertreter.

Autor: GONZALEZ TABLAS FERRERES ANA ISABEL.
Jahr: 2005.
Universität: CARLOS III DE MADRID [www.uc3m.es].
Ort der Lesung: ESCUELA POLITECNICA SUPERIOR.
Ort der Vorbereitung: UNIVERSIDAD CARLOS III DE MADRID.

Inhaltsangabe: Dienstleistungen Akkreditierung und versiegelten Raum (SASET) gehören zu Sicherheitsdienste, die seit kurzem vorgeschlagen, durch die Entwicklung, standortbezogene Dienste erlebt haben in den letzten Jahren. Vielleicht wegen seiner Jugend, die Art dieser Dienstleistungen ist noch nicht definiert. Daher ist das erste Ziel dieser Arbeit war die Entwicklung eines Rahmens für die SASET bei der Festlegung ihrer Ziele, das Modell unter denen, deren Eigenschaften und Anforderungen eingehalten werden, weil die bestehende Gesetzgebung Datenschutz. Nach der Analyse der Situation bestehenden Vorschläge in der Literatur zur SASET wurde festgestellt, dass sie eine Reihe von Mängeln in Bezug auf den Rahmen und in Bezug auf die Möglichkeiten für die Anpassung und Automatisierung der Dienste, die es ermöglichen, Abonnenten. Daher ist das zweite Ziel dieser Arbeit war die Gestaltung einer Architektur für die Erbringung von Dienstleistungen im Rahmen der vorherigen Rahmen und auch Mechanismen für die Erzeugung von Personalisierung Beweise Raum und die Verwaltung der Vertraulichkeit von Informationen.

Autor: MONTERO SIMARRO FRANCISCO.
Jahr: 2005.
Universität: CASTILLA-LA MANCHA [www.uclm.es].
Ort der Lesung: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.
Ort der Vorbereitung: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.

Inhaltsangabe: Diese These identifiziert Trends und Gemeinsamkeiten, die zwischen Software Engineering (IS) und Wechselwirkungen Persona - Ordenador (IPO). Dies wird getan, um die Unterstützung für den Prozess der Produktentwicklung Software Qualität. Eine der wichtigsten Annahmen, die Teil dieser Arbeit ist eine, die equ die semantische Lücke festgestellt wird, dass zwischen den beiden Disziplinen (IS und IPO) ist nicht geeignet, und dass die echte Lücke entsteht, wenn man Phasen der Analyse und Design in der Der Prozess der Entwicklung von Software. In dieser Dissertation, die Instrumente, die zur Unterstützung der oben gehen durch Phasen: Characterize und die Qualität der Software ein Produkt, was bedeutet, dass ein, die direkt von den Nutzer (Usability). Mit dem Fachwissen zur Verfügung, insbesondere Interaktion Muster, die Unterstützung der Tätigkeiten, die in diesen Phasen und den übrigen Ländern. Beide Elemente, die Qualität und Erfahrung, sind zusammen durch die Entwicklung eines Qualitätssicherungssystems Modell konzentriert sich auf die Benutzerfreundlichkeit. Erleben Sie in das Bild durch die Verwendung von Mustern der Interaktion, die dokumentiert, so generativen, dh die Modelle werden kann gelernt und verwendet werden immer und immer wieder.

Autor: ALHAZOV ARTIOM.
Jahr: 2005.
Universität: ROVIRA I VIRGILI [www.urv.cat].
Ort der Lesung: FACULTAD DE LETRAS.
Ort der Vorbereitung: FACULTAD DE LETRAS.

Inhaltsangabe: Diese Dissertation beschäftigt sich mit Membran mit Symbol Objekte als ein theoretischer Rahmen von verteilten parallelen multiset Verarbeitung. Einhalt Berechnung akzeptieren kann, erzeugen oder verarbeiten, eine Zahl, ein Vektor oder ein Wort, so dass das System global definiert (durch die Ergebnisse der von allen seinen Berechnungen) eine Reihe von Zahlen oder eine Reihe von Vektoren oder einen Satz von Wörtern (dh ein Sprache), oder eine Funktion. Die Fähigkeit dieser Systeme zur Lösung besonderer Probleme untersucht, sowie deren Rechnerleistung, wie zB die Sprache Familien durch verschiedene Klassen von diesen Systemen sind im Vergleich zu den klassischen sind, dh, die regelmäßige, Kontext frei, Sprachen, die durch erweiterte Eingereicht 0L Systeme, Sprachen, die durch Grammatiken Matrix Aussehen, ohne zu überprüfen, rekursiv aufzählbare Sprachen, und so weiter. Besonderes Augenmerk wird dabei auf die Kommunikation von Objekten zwischen den Regionen und in der Art und Weise der Zusammenarbeit zwischen den Objekten. Ein Versuch zur Formalisierung der Membran ist aus (Abschnitt 3.4), und eine Software ist für die nicht verteilt kooperative Variante, die Konfiguration des Browsers, dh, Simulator, in denen der Benutzer wählt den nächsten in der Konfiguration möglich, und können gehen Zurück. Verschiedene Modelle sind verteilt. In der Entwicklung Kommunikation Modell (Kapitel 4) Umschreiben wie Regeln sind aus dem Verkehr getrennt werden. Proton Pumpen Systeme (§ § 4,8, 4,9) sind eine Variante der Entwicklung Kommunikation mit einem eingeschränkten Weise der Zusammenarbeit. Eine spezielle Membran Computing Modell ist eine rein kommunikative eins: die Objekte bewegt werden, gemeinsam über eine Membran. Wir untersuchen die Rechenleistung der Membran mit symport / antiport von 2 oder 3 Objekten (Kapitel 5) und die Rechenleistung der Membran mit einem begrenzten Alphabet (Kapitel 6). Determinismus (§ § 4,7, 5,5, usw..) Gibt es eine spezielle Eigenschaft von computergestützten Systemen, die Frage, ob diese Einschränkung reduziert die Rechenleistung gerichtet ist. Die Ergebnisse am Proton Pumpen können übertragen werden (Abschnitt 7.3) zu den Systemen mit zwei- stabile Katalysatoren. Einige Beispiele der Membran, einschließlich Systemen für die Anwendungen sind die Lösung NP - vollständige Probleme in polynomialer Zeit, Sortierung und Lösung des Problems.

Autor: CASAS GARRIGA GEMMA.
Jahr: 2005.
Universität: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Ort der Lesung: Sala del Llac. Campus Nord.
Ort der Vorbereitung: EDIFICI C6 Campus NORD.

Inhaltsangabe: Auf dem Gebiet der Knowledge Discovery, Grafiken von Konzepten sind eine ausdrucksstarke und vielseitig Modellierung Technik, die Möglichkeiten, Informationen über Grund, die in einer Reihe von Daten. Interessante Beispiele dafür finden Sie unter den klassischen ma. - ma - ti schen Theorie der Formal Concept Analysis, die sich mit einem Gitter konstruieren, der Konzepte durch die Definition eines Galois Verbindung zu einem binären Beziehung. Hier werden wir die komplexeren Fällen, in denen Daten kommt in einer Reihe von strukturierten Objekte, wie zB eine Reihe von Sequenzen, Bäumen oder sogar von Graphen. Als natürlicher Schritt auf dem Weg zur allgemeinen Charakterisierung, benötigen wir zunächst auf die Gewinnung von sequentiellen Daten, und in diesem Fall werden wir einen Beitrag mit der Formalisierung von einem Gitter von geschlossenen Gruppen von Sequenzen. Diese Gitter entpuppt sich als eine interessante kombinatorische Objekte, die aus dem aktuellen gerechtfertigt sequentiellen Verfahren für den Bergbau Probleme. Die erste Reihe von Ergebnissen aus dem Gitter konzentriert sich auf die Charakterisierung der logischen Auswirkungen mit der Bestellung. Wir schlagen vor, ein Begriff der Vereinigung Regeln und beweisen, dass sie gerechtfertigt werden kann formal durch eine rein logische Charakterisierung, nämlich eine natürliche Begriff der empirischen Annäherung für Horn "ordered data", die mit Hintergrund Horn; diese sicherzustellen, dass die Konsistenz der Theorie, die mit propositionale Der bestellten. Wir diskutieren auch über eine allgemeine Methode zur Berechnung dieser Regeln, kann leicht in jede Algorithmus entdecken geschlossen sequentielle Muster. Die zweite Gruppe von Ergebnissen entspricht die Identifizierung der teilweise Strukturen, um die Eingabe von Sequenzen. Die kombinatorische Charakter dieses Problems macht die klassische algorithmische Lösungen entstehen in einem wesentlichen Overhead, also, noch es sich um eine anspruchsvolle Aufgabe. Hier haben wir Beitrag leisten, indem sie beweisen, dass die maximale Wegen der teilweisen Schließung des Bestellungen können aus den geschlossenen Gruppen von Sequenzen unserer Gitter. Diese theoretische Ergebnis ermöglicht für den Bau der teilweisen Bestellungen durch Kleben die ordnungsgemäße sequentielle Muster in geschlossenen Strukturen höher. Die wichtigsten Ferienorte Beweis zu grundlegenden Operationen der Kategorie Theorie. Schließlich wird die gründliche Analyse der sequentiellen Fall wird neue Einblicke in die Gewinnung von anderen strukturierten Daten ohne Zyklen. Eine detaillierte empirische Validierung rechtfertigt, dass unsere theoretische Beiträge produziert auch ansprechende Ergebnisse in der Praxis.

Autor: ROSELL ROIG VICENTE LUIS.
Jahr: 2005.
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: Im Bereich der Computergrafik eines der wichtigsten Themen der Studie ist die Beschleunigung und Verbesserung der Qualität, um realistische Szenen. In den letzten Jahren hat die Forschung konzentriert sich auf interaktive Umgebungen und Animationen mit einer hohen Anzahl von Elementen in der Szene. Eine der besten Methoden, die Qualität in den letzten Bild ist die Methode der Radiosity. Mit dieser Komponente wird berechnet, diffuses Licht. Der Nachteil der Methode im Vergleich zu den anderen ist die rechnerische Kosten für das Programm, insbesondere die Phase, die die Berechnung der Form Faktoren. In dieser Arbeit ist eine umfassende Studie über die vorhandenen Methoden für die Berechnung der Form Faktor, vor allem diejenigen, die auf der Grundlage der Projektion der Umwelt. Es stellt auch neue Berechnungsmethoden verbessern und zu beschleunigen, dass die Ergebnisse der früheren Projektion nur einmal die Umwelt. Es widmet sich der Anwendung einer dieser Methoden in Umgebungen mit natürlicher Beleuchtung und Vegetation. Eine neue allgemeine Methode kann auf jedem System Design Berechnung Form Faktor basiert auf Stereoskopie. Mit dieser Algorithmus verbessert werden kann Bildqualität, die ohne die übermäßig Zeit. Ein weiterer Vorteil dieser Methode besteht darin, dass die Kosten sind unabhängig von der Anzahl der Elemente in der Szene. Er beschreibt zwei neue Methoden für die Berechnung der Beschleunigung Form Faktor für interaktive Umgebungen und Animationen. Mit diesen Methoden nutzt die Informationen, die bereits berechnet sowohl pro und eine deutliche Reduzierung der Zeitpunkt der Berechnung. Zu beschleunigen und weitere gilt eine Technik, mit der Stereoskopie, dass produziert überraschende Ergebnisse.

Autor: BAÑULS POLO MARIA CARMEN.
Jahr: 2005.
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: Die verteilten Systemen arbeiten unter größter Bedeutung, Informationssysteme, die aufgrund ihrer potentiellen Fähigkeiten der Fehlertoleranz und Skalierbarkeit, so dass ihre Bedeutung für die aktuellen Anwendungen, immer anspruchsvoller. Darüber hinaus ist die Entwicklung von verteilten Anwendungen auch besondere Schwierigkeiten, und zwar genau in der Reihenfolge zu bieten Skalierbarkeit, Fehlertoleranz und eine hohe Verfügbarkeit, die ihre Vorteile. Daher ist es sehr sinnvoll, verteilten Komponenten speziell auf einen niedrigeren Niveau, eine Reihe von klar definierten, auf denen Anwendungen auf der höchsten Ebene können ihre eigenen semantischen einfacher. Das ist der Fall von Dienstleistungen richtet sich an Gruppen von weit verbreiteten Einsatz von verteilten Anwendungen, in denen die Einzelheiten der Flucht der Kommunikation. Diese Dienste bieten grundlegende Primitive für die Kommunikation zwischen zwei Mitgliedern der Gruppe, vor allem aber die Übertragung von Nachrichten an die gesamte Gruppe mit spezifischen garantiert. Ein besonderer Fall von Service orientierten Gruppen konstituierenden Dienstleistungen Mitgliedschaft in einer Gruppe, die sich dieser Arbeit. Die Dienstleistungen Mitgliedschaft in einer Gruppe bietet seinen Nutzern ein Bild aus einer Reihe von Prozessen oder Maschinen des Systems, gleichzeitig verbunden bleiben und richtig sind. Außerdem werden die einzelnen Teilnehmer erhalten diese Informationen mit bestimmten Garantien für Konsistenz. So, die Dienstleistungen, die eine wesentliche Komponente für die Entwicklung von Systemen und andere Gruppen von verteilten Anwendungen. Die Probleme der Zugehörigkeit zu Gruppen wurde weitgehend versucht, in der Literatur sowohl von theoretischer und praktischer, und es gibt viele Erfolge der Mitgliedschaft Dienstleistungen einsetzbar. Trotz dieser, die Definition des Problems ist nicht eindeutig. Auf der anderen Seite, je nach den besonderen System, das speziell für den Service sind für diese oder andere Garantien. Die ursprünglichen Spezifikationen und Implementierungen konzentrierten sich auf traditionelle Szenarien, in denen eine kleine Zahl von Knoten wurden interconectaba über Netzwerke mit relativ wenigen Fehlschläge und Verhaltensforschung bekannten (in der Regel lokale Netzwerke). Jedoch mit der Entwicklung der modernen Systemen, Internet, die Ausbreitung von drahtlosen Kommunikation, und so weiter. Geworden vorherrschende anderen dynamischen verteilten Systemen für verteilte Dienste, die nicht wünschenswert Klassiker. Aus diesem Grund haben wir in den letzten Jahren entwickelt Dienstleistungen Mitgliedschaft in einer Gruppe, um sie zu anderen Umgebungen. In diesem Papier konzentrieren wir uns auf die Spezifikation und Implementierung Mitgliedschaft in einer Gruppe für bestimmte dynamische Systeme von Interesse im Hinblick auf die Entwicklung von hoch verfügbaren Anwendungen. Insbesondere haben wir untersucht drei Arten von Szenarien.

Autor: TAVARES DE ARAUJO CESARINY CARLOS.
Jahr: 2005.
Universität: POLITÉCNICA DE VALENCIA [www.upv.es].
Ort der Lesung: UNIVERSIDAD POLITÉCNICA DE VALENCIA.
Ort der Vorbereitung: UNIVESIDAD POLITÉCNICA DE VALENCIA.

Autor: DÍAZ RAMÍREZ ARNOLDO.
Jahr: 2005.
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: Nach mehr als 25 Jahren intensiver Forschung, Planung - Zeit Systemen hat gezeigt, dass ein Übergang von einer Infrastruktur, basierend auf zyklische Exekutive, Planung Modelle flexibler, wie Planung Prioritäten auf statische und dynamische Planung nicht kritische Aufgaben, die Planung und Feedback, Um nur einige zu nennen. Trotz dieser, nur ein paar derzeit Politik steht für die Umsetzung von Systemen - Zeit. Zum Beispiel, die meisten der vorhandenen Zeit Betriebssysteme bieten nur feste Planung Prioritäten. Allerdings sind nicht alle Anforderungen der Anwendungen - kann zufriedenstellend behandelt ausschließlich mit statischen Planung. Es sind Systeme, bestehend aus kritischen Aufgaben und Kritik, die nicht geplant, wie am besten zu nutzen Planung basiert auf dynamischen Prioritäten. Darüber hinaus hat sich gezeigt, dass die dynamische Planung ermöglicht eine größere Nutzung der Systemressourcen. In den letzten Jahren haben mehrere Autoren haben verschiedene Systeme zu integrieren, neue Strategien zur Planung eines Betriebssystems. Einige schlagen vor, dass die neuen Dienste der Planung bis zur Durchführung des Benutzers, so dass die interne Struktur des Betriebssystems muss geändert werden soll, und bietet eine Chance zur Umsetzung und testen viele der Ergebnisse von Forschungsarbeiten dem Gebiet der Planung - Zeit. Unter ähnliche Arbeiten veröffentlicht, hebt das Modell für die Planung Definiert durch den Benutzer, Village vorgeschlagen von Mario und Michael González Harbour. Das Modell liefert ein Application Program Interface (API), mit der Planer zu erstellen und zu nutzen Anwender in einer Art und Weise, die mit der Planung vorgeschlagene Modell von POSIX. Diese Arbeit konzentriert sich auf die Untersuchung der Definition des Benutzers Ebene Planer - in der Zeit, und insbesondere bei der Untersuchung des Modells für die Planung des Benutzers kompatibel mit POSIX, Probleme zu identifizieren und schlägt ungelösten einige Erweiterungen für das Modell. Neben schlägt eine Strategie, die Umsetzung minimiert Overhead, in der diese These schlägt eine Erweiterung der Schnittstelle Modell zur Vereinfachung der Umsetzung von Anwendungen - Zeit, um die Portabilität und dienen als Referenz für die Schaffung und Nutzung von Planern eines Benutzers.

Autor: MANJÓN HERRERA JOSÉ VICENTE.
Jahr: 2005.
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: Die Segmentierung des Gehirns Kernspintomographie ist ein sehr nützliches Werkzeug in der Diagnose und Überwachung von vielen Krankheiten des zentralen Nervensystems. Diese These stellt die verschiedenen Probleme, die diese Art von Technik nimmt Partnern sowie verschiedene Strategien zur Lösung einiger der wichtigsten. Das erste Kapitel stellt den Status des Gehirns Segmentierung Techniken und die Herausforderungen noch in der gleichen. Der dritte untersucht die MRT Bild Modell, das es ermöglicht Bewältigung der Herausforderungen einer kohärenteren. Im vierten Kapitel befasst sich das Problem der inhomogenidad Signal in MRT und schlägt vor, eine neue Methode zur Korrektur. In Kapitel fünf ist das Problem der Einstufung des Gehirns und analysiert verschiedene Vorschläge, die auf die gleiche robuste Einstufung: Schließlich ist in sechs Kapitel enthält allgemeine Schlussfolgerungen dieser Arbeit sowie für die Zukunft.

Autor: Puentes Calvo Juan Francisco.
Jahr: 2005.
Universität: A CORUÑA [www.udc.es].
Ort der Lesung: Facultad de Informática.
Ort der Vorbereitung: Facultad de Informática.

Inhaltsangabe: Der starke Anstieg des Volumens der verfügbaren Informationen online für ein paar Jahrzehnten erforderlich, zunehmend, Information-Retrieval-Techniken, mit dem Ziel, zu verwalten, abzurufen und filtert die Informationen, die durch diese Mittel. Die aktuellen Linien der Forschung haben entdeckt, dass es einen Engpass in der Antwort Channel-Architekturen verteilter Information Retrieval, vor allem wegen der großen Zahl von teilweise Antworten und ihrer späteren Einfluss auf die Architektur von Kommunikations-und Anwender-Broker auf. Auf der einen Seite, wenn die Anzahl der disminuimos teilweise Reaktionen, die durch jeden Server-Abfrage disminuimos Richtigkeit der endgültige Antwort, auf der anderen Seite, wenn wir eine Architektur, Design unterstützt Verkehrsdaten erhalten wir eine klare Engpass in der die teilweise Ergebnisse in der Benutzeroberfläche Broker wählen, um die endgültige Antwort. Die Lösung vorgeschlagen, durch dieses Papier besteht aus einem Kommunikations-Architektur implementiert gefiltert durch programmierbare Knoten, die sich über ein Subnetz, hat die Fähigkeit, in einer transparenten Art und Weise Verkehr Kreuze, mit dem Ziel der Verringerung der Kardinalität der teilweisen Antworten. Die wichtigsten Vorteile der Verwendung von programmierbaren Knoten eher als, zum Beispiel, Makler, ist Transparenz, der es ermöglicht, Infrastrukturen zu bauen, Kanäle reagieren sehr flexibel und facilmetne während der Laufzeit verändert werden. Dieses Papier analysiert, entwirft, macht, gemessen und diskutiert eine Reihe von Algorithmen Filterung teilweise Antworten (verwendet, die traditionell in den Bereichen Information Retrieval und der Familie von Algorithmen BGFAST-Puffer und Filter mit Grooved Adaptative und Scaled Threshold) plus eine programmierbare Architektur Knoten ( VAIN-Value Added Indepent Knoten), die zusammen für ein berechenbares und deutliche Verringerung der Kardinalität der partiellen Reaktionen, Verbesserungen zu erreichen, nach unseren Berechnungen, 64% im Vergleich zu einem Kanal und nicht zentralisierte Filterung.

Autor: VILLARROEL ACEVEDO RODOLFO HUMBERTO.
Jahr: 2005.
Universität: CASTILLA-LA MANCHA [www.uclm.es].
Ort der Lesung: ESCUELA SUPERIOR DE INFORMATICA.
Ort der Vorbereitung: ESCUELA SUPERIOR DE INFORMATICA.

Inhaltsangabe: These auf dieser Vorlage ist eine Angleichung der Modellierung für das Konzept der Datenspeicherung von Versicherungen. Dabei verwenden diesen Begriff A Ähnlichkeit mit dem Konzept von Datenbanken sicher HISTORICAMENTE bezeichnet werden mehrstufige Datenbanken, die Objekte enthalten, mit verschiedenen Ebenen der Vertraulichkeit und unter verschiedenen HABILITACIONES registrieren. Aspekte zu berücksichtigen und diese These sind die folgenden:-Studie Vergleich der Vorschläge der bestehenden Modellierungs-und mehrdimensionale Modellierung der Sicherheit in der Konzeption von Systemen. Definition einer Angleichung-basierte Modelle für die Entwicklung der Datenhaltung, um die Struktur und Einschränkungen bei der Funktionalität ALMACEN ohne Einzelheiten Eine spezifische Plattform ermittelt. -- Definition von Ein Modell der Sicherheit, die CONSIDERE die Prüfung und Kontrolle des Zugangs für die Speicherung von Daten. -- Definition einer Erweiterung der UML-Modellierung für das Konzept der Datenspeicherung von Versicherungen. -- Definition von Mechanismen für die Transformation von Modellen zu A konzeptionelle Plattform ist ORACLE Label wie Sicherheits-APLICACION der Vorschlag Eine Fallstudie für CONTRASTAR die Gültigkeit der Modelle angeboten-Ein Prototyp der Entwicklung, die wir unterstützen und Modellierung das Konzept der automatisierten Datenspeicherung DER VERSICHERUNGEN.

Autor: PAREDES VELASCO MAXIMILIANO.
Jahr: 2005.
Universität: CASTILLA-LA MANCHA [www.uclm.es].
Ort der Lesung: ESCUELA SUPERIOR DE INFORMÁTICA.
Ort der Vorbereitung: ESCUELA SUPERIOR DE INFORMÁTICA.

Inhaltsangabe: In den letzten Jahrzehnten hat die Technologie eine Revolution in der Bildung. Derzeit ist der Einsatz von Computern in der Folge nicht in die Klassenzimmer und ihre Nutzung ist abgeschlagen auf bestimmte Teile oder Bereiche des Lern-prozesses. Die Nachfrage der Gesellschaft neue technologische Lösungen für das Lernen mit einer nomadischen Geist, die den Lernprozess ist möglich, überall und jederzeit. In Anbetracht der Prinzipien der genetischen Paradigmen CSCL (Computer Supported Collaborative Learning), Ubiquitous Computing und CSCWr (Computer Supported Collaborative Writing), die eine Lösung vorschlagen, stellt Computational Ressourcen in Einklang mit dem Prozess des Lernens aus der Perspektive der sozialen, schlägt vor, die Verwendung von neuen mobilen Endgeräten Für die Interaktion der Nutzer, die Verbesserung ihrer Integration in den Unterricht und die sich verändernden Bedürfnisse der Gesellschaft. Als Ergebnis der Untersuchung, die vorschlagen, e-CLUB, einen allgemeinen Rahmen für die Gestaltung von Systemen für die Realisierung der allgegenwärtigen generische kooperative Lernen. Dieses generische Rahmen haben wir umgesetzt und das Lernen von Englisch als zweite Sprache, ESL (Englisch als zweite Sprache), wobei die Zusammensetzung der Text als Lehrmethode unterstützt durch Brainstorming-Prozess. Als Ergebnis dieser Arbeit legen nahe, Klassenzimmer, ein Umfeld von aprendizjae kollaborativen Aufgaben des Schreibens durch die Gruppe mit mobilen Geräten. Diese Umgebung macht einen Beitrag technologischen, Bildungs-und kollaborative. Es enthält eine Methodik für das Schreiben kooperatives Lernen gefordert MECA, eine Modellierung Produkt-und das Verhältnis der Gruppe, die in der Tätigkeit der aprendizjae und eine Plattform für Ubiquitous Computing, die eine Reihe von Software-Tools. Die Plattform wurde entwickelt, mit der eine zentralisierte Architektur, unterstützt die Synchronisation von verteilten Arbeiten in einem Szenario des Mobile Computing. Diese Architektur bietet für die Interaktion der verschiedenen Geräte: Slate Projektion / Edition, Tablet PC, PC-und PDA-Fähigkeiten bei der drahtlosen Kommunikation (WLAN b luettoth und IR). Tools KLASSENZIMMER Umsetzung von Strategien Sensibilität für den Kontext und stellen einen umfassenden Vorschlag des Lern-prozesses, von der Definition bis zum Lehrplan Analyse der Erfahrungen, so dass der Benutzer interagiert mit dem System vor, während und nach der Klasse entsprechen, die innerhalb und außerhalb des Klassenzimmers. Diese Werkzeuge ermöglichen es Ihnen, die Themen der Komposition, die den Austausch und die Diskussion der Beiträge Text-und analysiert und evaluiert den Lernprozess, die Lösungen generiert und sozialen Beziehungen, die angezeigt werden. Das System-Design wurde validiert und verfeinert durch einen Prozess der Erprobung und Evaluierung literativo. Experimente wurden durchgeführt, die sich aus der Bewertung reichte express verschiedenen Funktionalitäten im Labor auf den Betrieb des Systems im realen Kontext mit Studenten der Interaktion mit mobilen Geräten eine Text-Layout.

Autor: ARMENDÁRIZ IÑIGO JOSÉ ENRIQUE.
Jahr: 2005.
Universität: PÚBLICA DE NAVARRA [www.unavarra.es].
Ort der Lesung: ESCUELA TÉCNICA SUPERIOR DE INGENIEROS INDUSTRIALES Y TELECOMUNICACIÓN.
Ort der Vorbereitung: UNIVERSIDAD PÚBLICA DE NAVARRA.

Inhaltsangabe: Das Ziel dieser Arbeit war die Konzeption und Umsetzung der Protokolle der Replikation basiert O2PL für eine neue Architektur von Datenbanken, Middleware-Replikation genannt MADIS. Diese Architektur zeichnet sich durch eine JDBC-Schnittstelle an die Anwendungen und die Unterstützung durch die Änderung das Schema der Datenbank, die eine breite Palette von Protokollen-Replikation. Letztere erlaubt isolieren Concurrency Control (verwaltet von der System-Manager-Datenbanken)-Replikation (von der Replikation verwendete Protokoll in MADIS). Die beiden Protokolle entwickelt BRP-und ERP-, formalisiert ein System mit state-Übergang erleichtert, dass die Überprüfung Korrektur (1-Kopie-Serizlizable). Zusätzlich formalisiert ein neues Protokoll für MADIS, TORPE auf, um die Lieferung von insgesamt Sendungen von Kommunikationssystemen Gruppe, zu vergleichen, um das Verhalten dieser Art von Protokollen, die sich vielfach in der Literatur heute, mit den beiden vorhergehenden Protokollen. Die Umsetzung dieser drei Protokolle MADIS überprüfen theoretischen Annahmen, die für BRP-und ERP in ihrem Prüf-und Korrektur zeigt, dass proceloso um insgesamt sind in der Regel die beste Wahl für die Replikation von Datenbanken. Allerdings stellt es fest, dass die ERP-Protokoll ist die beste Wahl für Umgebungen mit geringen Belastungen innerhalb unserer Testumgebung. Schließlich ist ein Recovery-Protokoll, das als eine Übergangszeit Staat, der gilt sowohl für die BRP wie ERP. Dieses Protokoll verwendet das Timing von Anhörungen für die Verwaltung der Beitreibung von ausgefallenen Knoten zur Gründung Recovery-Partitionen erstellt sind auf dem Knoten Rückgewinnung und erholen, so dass die letztgenannte kann beginnen, um Benutzer-Transaktionen, aber noch nicht fertig erholen. Das Ziel ist, bricht die niedrigste Anzahl von Transaktionen ausgeführt werden und das System.

Autor: TORRENTE MORENO SABINA.
Jahr: 2005.
Universität: NACIONAL DE EDUCACIÓN A DISTANCIA [www.uned.es].
Ort der Lesung: E.T.S. INGENIEROS INDUSTRIALES.
Ort der Vorbereitung: UNIVERSIDAD NACIONAL DE EDUCACIÓN A DISTANCIA.

Inhaltsangabe: Um die nachhaltige Entwicklung der Informationsgesellschaft ist notwendig, die Mechanismen für den Zugang zu Informationen im Einklang mit den Freiheiten eines demokratischen Systems. Derzeit ist eine Internet-Benutzer kann Zugriff auf eine unendliche Universum von Informationen von jedem Ort der Welt ohne Einschränkungen von Raum und Zeit. Die erste größere Zwischenfall die Sicherheit von Computern, in der Hauptrolle: Robert T. Morris-Wurm aus dem Jahre 1998. Doch 16 Jahre später, sind erkannt und veröffentlicht täglich neue Schwachstellen, die die Schwäche der IT-Systeme. Eindringlinge, oder einfach nur neugierig Angreifern (mit verschiedenen Motiven) werden versuchen, die Systeme zu untergraben. Deshalb ist es wichtig, zur Stärkung der IT-Systeme wird erlaubt, so dass aus einem System zunächst "schwach" in eine "zuverlässige" entsprechend den Bedürfnissen ihrer Benutzer und der Sensibilität der Informationen, die sie verarbeiten. Gegenwärtig können wir nicht garantieren, die Sicherheit einer Informations-System, basierend auf der Instrumente und Mechanismen. Es ist daher notwendig, einen kooperativen Ansatz für Sicherheit in denen unterschiedliche Lösungen arbeiten zusammen, indem ihre Stärken und seine Schwächen mildern. Um den Schwerpunkt der Forschung, die in dieser Arbeit, hat eine eingehende Studie über das Konzept der Intrusion Detection System (IDS, Intrusion Detection System), sowie die Entwicklung der Systeme und Techniken aus ihrer Herkunft (späte 80er Jahre ) Bis in die Gegenwart. Ein vorrangiges Ziel dieser Arbeit ist es, einen originellen Ansatz zur Erkennung von Einbrüchen inspiriert durch das Immunsystem von Wirbeltieren. In dieser Arbeit wird argumentiert, dass die Merkmale, die das Immunsystem eine defensive Mechanismus effizient und zuverlässig sind für die IT-Systeme. Für dieses Forschungsprogramm hat einen Prototyp entwickelt auf der Basis von Neuronalen Netzen (ähnlich wie Lymphozyten des Immunsystems), sind spezialisiert auf die Erkennung Verhaltensmuster potentiell aufdringlich. Als Ergebnis der ersten Ziel dieser Arbeit ist ein Prototyp entworfen Original-Detection-Systeme Anweisungen genannt SANNA (Sensing System instrusiones von Scope Knoten basierend auf Artificial Neural Networks). Der Prototyp implementiert SANNA ein System zur Erkennung von Anomalien Bereich Knoten auf der Basis von Neuronalen Netzen spezialisiert auf die Erkennung von potenziellen Bedrohungen gegen bekannte und unbekannte System. Das zweite Ziel dieses Forschungsprojektes ist es, die Eignung des Modells für Intrusion-Detection-System, die in dieser Arbeit. Diese wurden sorgfältig überprüft die Konzeption und Umsetzung des Prototyps SANNA, und dieser Prototyp wurde auf einer Testumgebung, die sich auf der Grundlage von Daten, die durch das Projekt "Die 1998 DARPA Intrusion Detection Evaluation Program." Das ultimative Ziel Dieser Arbeit ist die Analyse der Ergebnisse der Tests mit dem Prototyp SANNA kompilieren und die Lehren über die Anwendbarkeit der neuronalen Netze auf das Problem der Aufdeckung instrusiones.