WISSENSCHAFT VON COMPUTERN

Autor: AYALA PALENZUELA ROSA M..
Jahr: 2002.
Universität: ALMERÍA.
Ort der Lesung: ESCUELA POLITECNICA SUPERIOR.
Ort der Vorbereitung: ESCUELA POLITECNICA SUPERIOR.

Inhaltsangabe: Die These präsentiert die Ergebnisse einer Forschungsarbeit, dass eine Methode für die Suche nach der besten --- für ein bestimmtes Bild. Diese Methode basiert auf einer automatischen Prozess, die Umsetzung einige Klassifikationsalgorithmen bekannt --- auf der Grundlage der Anerkennung von Mustern. Darüber hinaus werden für jeden Einstufung Algorithmus für eine Änderung der Parameter der Partner, sowie eine Sammlung von Proben verwendet, um sich die Kategorie und -- Klassen, die eine Diskriminierung auf das Bild. Jede dieser möglichen Kombinationen zurückkehren würde eine Klassifizierung, die auf der Grundlage einer Performance Indikatoren (statistische Methode, die die Wirksamkeit des Bindemittels und die Muster für die Ausbildung der Systematik). Als Endergebnis, die vorgeschlagene Algorithmus bietet die Einstufung Methode, die Anzahl der Klassen diskriminiert, die im Bild dargestellt, die alle Proben für die Ausbildung der -- die Menge der Proben zum Training der Systematik und Werte -- die Parameter, die Schulen, Haben die besten Indikator für die Performance. Diese Leistung Indikator ist auf der Basis der drei Maßnahmen Statistiken: A ---- Berechnung der Proben der Internierung. B - Qualität Ergebnisse im Vergleich zu der Menge der ausgewählten Proben. C - Zuverlässigkeit der Einstufung erhalten.

Autor: MARTINEZ RAMIREZ ROEL ELFEGO.
Jahr: 2003.
Universität: POLITÉCNICA DE CATALUÑA.
Ort der Lesung: LSI.
Ort der Vorbereitung: EDIFICI C6 Campus NORD.

Inhaltsangabe: Survival Analyse befasst sich mit der Bewertung der Variablen gesetzt, die die verstrichene Zeit, bis ein Ereignis von Interesse sind. Eine Besonderheit Überleben Analyse hat zur Rechenschaft zu ziehen, sind zensiert Daten, die entstehen, wenn die Zeit des Interesses kann nicht genau, aber teilweise Informationen vorliegen. Vier Arten von Zensur unterschieden: Recht - Zensur auftritt, wenn die unbeobachtete Überleben ist größer, links Zensur, wenn sie weniger als ein Mal beobachtet, und im Falle von Intervall - Zensur, die Überlebenszeit beobachtet innerhalb einer Zeitspanne. Wir sprechen von doppelt - zensiert Daten, wenn die Zeit Herkunft ist auch zensiert. Methoden für die Intervall - zensiert Daten erhalten haben viel Aufmerksamkeit in den letzten Jahrzehnten jedoch ein Thema, das kaum in wissenschaftlicher Literatur, ist der Fall von Intervall - zensiert Kovariablen im Regressionsmodellen. Eine Ausnahme ist die Arbeit von Gomez, Espinal und Lagakos (2003), die eine lineare Regression Modell mit einer solchen Kovariable. Daher ist ein wichtiger Teil dieser Dissertation wird sich mit der parametrischen Schätzung für das Überleben mit einem Intervall - zensiert Kovariable. In Kapitel 1 der Arbeit, wir geben einen ersten Überblick über die statistischen Methoden für die intervalcensored Daten, die sowohl parametrische und nichtparametrische Ansätze. Die meisten dieser Verfahren beruhen auf der Annahme, dass die Generierung von Daten zensiert ist noninformative. Das bedeutet, dass die beobachteten Abständen transportieren keine weiteren Informationen über das Überleben Zeit unbeobachtet. Ohne diese Annahme, der Bau der Wahrscheinlichkeit Funktion hätte zur Rechenschaft für die Zensur, und die Verteilung des Überlebens Zeit konnte nicht identied. Im zweiten Teil von Kapitel 1, wir dieses wichtige Thema mit mehr Details. Angesichts der Bedeutung der Optimierung in den weiteren Kapiteln der Diplomarbeit, die nen Abschnitt von Kapitel 1 wird über Optimierung Theorie. Dazu gehören einige Optimierungsalgorithmen, sowie die Präsentation der Optimierung Werkzeuge, die eine wichtige Rolle gespielt haben bei der Ausarbeitung dieser Arbeit. Wir haben die mathematische Programmiersprache AMPL zu lösen, die Maximierung Probleme aufgetreten. Eine der wichtigsten Neuerungen ist, dass die Optimierung Probleme AMPL in den Code können an das Internet Anlage 'NEOS: Server für die Optimierung und gelöst werden, indem ihr zur Verfügung stehenden Löser. In Kapitel 2 präsentieren wir die drei Datensätze analysiert für die Ausarbeitung dieser Dissertation. Zwei entsprechen Studien zur Bekämpfung von HIV / AIDS: ein auf das Überleben der Patienten TB Zusammenarbeit mit HIV infiziert zu Barcelona, auf der anderen Drogenkonsumenten aus Badalona und der Umgebung, von denen die meisten mit HIV infiziert wurde als Ergebnis ihrer Drogenabhängigkeit . Die komplexe Muster Zensur in der Variablen des Interesses der letztgenannten Studie haben die Motivationslage für die Entwicklung von Verfahren für die Schätzung Regressionsmodellen mit intervalcensored Kovariablen. Der dritte Datensatz stammt aus einer Studie über die Haltbarkeit von Joghurt. Wir 1, einen neuen Ansatz für die Schätzung der Stange lebt von Lebensmitteln unter Nutzung der bestehenden Methodik für die Intervall - zensiert. Kapitel 3 befaßt sich mit den theoretischen Hintergrund einer beschleunigten Zeit nicht mit einem Intervall - zensiert Kovariable, Putting betonen, auf die Entwicklung der Funktionen und die Wahrscheinlichkeit Schätzung Verfahren durch Optimierung Techniken und Werkzeuge. Ihre Verwendung in der Statistik kann eine attraktive Alternative zu etablierten Methoden wie die EM Algorithmus. In Kapitel 4 präsentieren wir weitere Regressionsmodellen wie linearen und logistischen Regression mit der gleichen Art von Kovariable, für die Schätzung der Parameter, die die gleichen Techniken angewendet werden, wie in Kapitel 3. Wehe behandelt werden. 2

Autor: GALINDO CHACON DAVID.
Jahr: 2003.
Universität: POLITÉCNICA DE CATALUÑA.
Ort der Lesung: SALA D'ACTES DE LA FME, EDIFICI U, CAMPUS SUD.
Ort der Vorbereitung: U FACULTAT DE MATEMATIQUES I ESTADISTICA SUD.

Inhaltsangabe: Eine Verschlüsselung ist ein Verfahren, dass die beiden Parteien sicher zu kommunizieren über einen öffentlichen Kanal, in der Weise, dass, wenn ein böswilliger Partei fängt die Informationen ausgetauscht werden, kann es nicht entpacken Sie das ursprüngliche Nachricht. In der öffentlichen Schlüssel, der Schlüssel benötigt zum Verschlüsseln und Entschlüsseln verschieden sind, werden die öffentlichen Schlüssel, damit zur Verfügung legitime und illegitime Nutzer. Obwohl Verschlüsselung Systeme sind grundlegende Objekte in der öffentlichen Schlüssel, und sie wurden studiert seit der Geburt von diesem Thema, die aktuelle Begriffe anspruchsvolle Sicherheit und einige neuere Entwicklungen in der Kryptoanalyse, die Gestaltung Verschlüsselung Systeme eine aktive Forschung. In dieser Arbeit, Verschlüsselung Systeme mit semantischen Sicherheit untersucht. Auf der einen Seite, neue Maßnahmen vorgeschlagen und analysiert und auf der anderen Seite, einige relevante früheren Regelungen sind neu.

Autor: DÍAZ ESTEBAN ALBERTO.
Jahr: 2004.
Universität: COMPLUTENSE DE MADRID.
Ort der Lesung: FACULTAD DE INFORMACIÓN.
Ort der Vorbereitung: FACULTAD DE INFORMACIÓN.

Inhaltsangabe: In den letzten Jahren hat sich die verfügbaren Informationen in elektronischer Form hat sich in einem solchen Umfang, dass es sehr schwer, nicht zu überfordert, wenn man versucht encontrar'la Informationen, die Sie wirklich interessiert. Die Web Content, die in vielen verschiedenen Möglichkeiten in verschiedenen Bereichen Anwendung, sondern in mayoáa sie, wie die Berichterstattung ist die gleiche für alle Benutzer, dh die Inhalte sind statisch in dem Sinn, dass es passt nicht jeder Benutzer an zwei verschiedenen Stellen betrachten: Weder sind unterschiedlich Für jeden Benutzer oder Anpassung an die Veränderungen im Interesse der Nutzer im Laufe der Zeit. Die Anpassung de contenidos Web zu beseitigen Informationen Überlastung durch die Anpassung der Inhalte auf jede Art von Benutzer- und im Laufe der Zeit. Diese Arbeit zeigt einen integrierten Ansatz zur Personalisierung von Web Content, wie für die Nachrichtendienste, basiert auf drei grundlegenden Funktionen: Auswahl von Inhalten, die Anpassung des Modells Benutzer und der Präsentation der Ergebnisse, alle diese Prozesse basieren auf die Vertretung der Interessen der Nutzer, die Werden, spiegelt sich in einem Benutzerprofil oder Modellen, die Auswahl von Inhalten bezieht sich auf eine Wahl zwischen allen Dokumenten dieser Eintrag mehr interessant für einen bestimmten Benutzer. Die Ausrichtung der Nutzer ist erforderlich, weil sich die Bedürfnisse der Nutzer im Laufe der Zeit ändern, insbesondere als Ergebnis der Interaktion mit den Informationen, die sie erhalten. Die Präsentation der Ergebnisse ist, einmal ausgewählte Elemente von Informationen, dass die meisten 'Interesse an einen Benutzer, die ein Dokument, das Ergebnis. Enthalten, für jedes ausgewählte Element, dass ein Auszug ist ein Indikator für deren Inhalte. Insbesondere, es hat eine personalisierte Zusammenfassung für jedes Element des ausgewählten Informationen für jeden Benutzer. Das Modell integriert Benutzer verwendet vier Arten von Systemen, die auf die Interessen der Nutzer aus verschiedenen Blickwinkeln, sind diese Interessen teilt sich in zwei Arten: die langfristige Interessen und kurzfristigen Interessen. Die ersten Nutzer Interessen vertreten, dass im Laufe der Zeit konstant bleiben, während die letzteren ist das Interesse, das geändert wird, die wiederum die langfristigen Modell verwendet drei Methoden zur Klassifikation, mit denen der Benutzer zu definieren, ihre Informationen muss aus 3 verschiedenen Ansichten: eine Klassifizierung System abhängig ist, wenn die Dokumente sind preclasificados durch den Autor der Studie (p dh Abschnitte in einer Zeitung), ein System der Einstufung unabhängige Domain, die aus den Kategorien von Yahoo ersten Ebene von Spanien und einer Reihe von Schlüsselwörtern. Verschiedene Prozesse Personalisierung Techniken basieren auf der statistischen Systematik der Text, der für die Dokumente als los - Modelle Benutzer. Die Aufgaben der Sortierung Text, die verwendet werden, sind im Zusammenhang mit Information Retrieval, Text Kategorisierung, real1mentación und Generierung von Zusammenfassungen. Die Bewertung der Personalisierung ist besonders komplex, weil sie erforderlich sind, die Meinungen der verschiedenen Nutzer in der Lage zu ziehen bedeutende Schlußfolgerungen über die Funktionsweise der Software. Zu bewerten verschiedenen Prozesse Personalisierung generiert haben mehrere Sammlungen von Beurteilung hält Versuche, die Popularität von mehreren Benutzern über mehrere Tage der Nutzung des Systems. Diese Sammlungen haben verschiedene Ansätze, um festzustellen, welches war die beste Wahl, diese Sammlungen kann auch verwendet werden, später von anderen Forschern, die Ergebnisse ihrer Anpassung. Die Beurteilung hat 8 Nr. zeigt 447 tun, dass der Vorschlag Anpassung beruht auf der Kombination von Modellen Benutzer sowohl lang- als auch kurzfristig, mit Zusammenfassungen benutzerdefinierte als einen Weg, um die endgültigen Ergebnisse, macht es möglich, um die Überlastung der Informationen von den Benutzern, unabhängig Domain Und der Sprache, ein System für Web Content Customizing für Nachrichtendienste.

Autor: FERNÁNDEZ CONDE CARLOS JAVIER.
Jahr: 2004.
Universität: COMPLUTENSE DE MADRID.
Ort der Lesung: FACULTAD DE INFORMÁTICA.
Ort der Vorbereitung: FACULTAD DE INFORMÁTICA.

Inhaltsangabe: Dieses Papier behandelt das Problem der Verwendung von objektorientierten Frameworks als Mechanismus für die Wiederverwendung von Software. Das Problem wird von den Standpunkt, dass das Erlernen der farmeworks schwierig weitgehend Wiederverwendung und wiederum Engpässe und Mängel in der Dokumentation, behindert das Lernen zu nutzen Rahmenbedingungen. Die Lösung besteht aus präsentiert ein ausgefeiltes Modell Dokumentation auf der Grundlage von Wissen, eine Methodik für die Extraktion und einen Vorschlag, der auf künstlicher Intelligenz Techniken für die Nutzung. Da dieser Dokumentation ist bei weitem nicht statisch, sondern auch definiert, die von der gleichen Lebenszyklus von seiner Generation auf den Stufen der Verwendung von Benutzern in einer kollaborativen Umgebung. Das Modell besteht aus drei Teilen der Dokumentation für beschreibende Domain Analyse, Design und Implementierung des Rahmens, und die Beziehungen, die für das Modell zusammen. Die Darstellung der Domain Modell geschieht mit Hilfe von UML, die Gestaltung durch UML - Fy den Code, mit einer Technik, die Dokumentation erzeugt formell analysierender (Javadoc). Die gemeinsame Unterstützung für die drei Modelle ist die Verwendung von logischen beschreibend. Die Mechanismen für die Sammlung von Dokumentationen Techniken, die Information Retrieval und Kenntnisse der objektorientierten Programmierung zur Unterstützung der Generation der Dokumentation UML Konzeption und Umsetzung. Der Zyklus der Benutzung und den Lebenszyklus der Dokumentation stützt sich auf die Techniken der Argumentation stützt sich auf Fälle, die reich an Wissen, die ein schrittweises Vorgehen zu modellieren iCookbook. Zusammen mit dem Modell, die Arbeit definiert eine Architektur der Software in der Lage die erforderlichen kollaborative Umgebung zur Ergänzung der Erzeugung und Entwicklung der Dokumentation, einschließlich einer Zahl von Revisor - bibliotecario verantwortlich für die Zulassung neue Rezepte zu erlernen.

Autor: RODRÍGUEZ DAMIÁN MARÍA.
Jahr: 2005.
Universität: VIGO.
Ort der Lesung: ESCUELA SUPERIOR.
Ort der Vorbereitung: UNIVERSIDAD DE VIGO.

Inhaltsangabe: Das Ziel dieser Arbeit ist es, die Forschung über die Gestaltung von einem Computer Vision System für die automatisierte Zählung Pollen Arten der Familie Brennnesselgewächse. Das Ziel besteht aus zwei Teilen: Sortierung und Zählung Pollenkörner. Er schlägt vor, und wertet ein generisches System. Das vorgeschlagene System besteht aus mehreren Phasen, destancando drei von ihnen. Erkennung von Pollenkorn in der digitalen bildgebenden Verfahren wie die Hough-Transformation und Filter Gagor, die andere Stufe ist die Gewinnung von Kontur des Pollenkorn und der dritte die classificación Getreide abhängig von den Eigenschaften der Form und Struktur extrahiert.

Autor: ARIAS FISTEUS JESUS.
Jahr: 2005.
Universität: CARLOS III DE MADRID.
Ort der Lesung: ESCUELA POLITECNICA SUPERIOR.
Ort der Vorbereitung: UNIVERSIDAD CARLOS III DE MADRID.

Inhaltsangabe: In dieser Arbeit werden die Beiträge auf dem Gebiet der Verifikation von funktionalen Anforderungen von Geschäftsprozessen. Auf der einen Seite, wird vorgeschlagen, eine offene Architektur, modulare und erweiterbare für die Überprüfung, die die für die Integration der verschiedenen Sprachen Definition der Prozesse und Instrumente der Überprüfung, und ist auf der Grundlage eines formalen Systems Pause. Außerdem wird dieses System ist definiert formalen mittel, genannt "Common Formal Model" (CFM), die sich auf Systeme estado - transición beschriftet, sondern mit einem entsprechenden Vermerk orientierten Abstraktionen und Vertretung von Geschäftsprozessen. Um zu überprüfen, die Angemessenheit und Aussagekraft dieser Formalismus für die Darstellung von der gleichen, eine Analyse auf der Grundlage der "Workflow Muster." Zusätzlich zu integrieren BPEL4WS, eine Sprache für die Definition der Kompositionen von Web Services basiert, in der Architektur. Zu diesem Zweck, die Semantik sind in Form von Formalismus, sowie eine Methodik für die Umwandlung Prozess Definitionen BPEL4WS Definitionen CFM. Es ist auch in der Architektur Überprüfung zwei Instrumente: die "Kontrolleure Modell" Spin und NuSMV, durch die Definition einer Transformation Definitionen zwischen CFM und der Sprache Eingabe von diesen Tools.

Autor: MORENO NOGUER FRANCESC D'ASSIS.
Jahr: 2005.
Universität: POLITÉCNICA DE CATALUÑA.
Ort der Lesung: Sala d'Actes FME.
Ort der Vorbereitung: EDIFICI U DESPATX 518 Campus SUD.

Autor: LOPEZ JAQUERO VICTOR.
Jahr: 2005.
Universität: CASTILLA-LA MANCHA.
Ort der Lesung: ESCUELA POLITÉCNICA SUPERIOR DE ALBACETE.
Ort der Vorbereitung: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.

Inhaltsangabe: Das letzte Jahrzehnt hat große Anstrengungen in der Erforschung der Methoden, die die Einbeziehung der Gestaltung der Benutzeroberfläche in einem Entwicklungsprozess, der Modelle, das versucht, um Vorteile wie das Automatisieren der Generation des Internet - Schnittstelle Generation solcher Geräte für die verschiedenen Sprachen oder von einigen gemeinsamen Modelle oder zur Verbesserung der Eigenschaften der Benutzerfreundlichkeit des Systems. Allerdings, technologischen Fortschritt die Entstehung von Geräten, die eine wesentliche Änderung in der Art, wie der Benutzer interagiert mit den Systemen. Der Benutzer kann nun mit dem System interagieren, in einem Auto, auf der Straße, von einem Handy, PDA oder dem traditionellen PC. Diese Änderung in der Gewohnheiten in der menschlichen Interaktion hat dazu geführt, die Notwendigkeit der Bereitstellung von Lösungen für die Gestaltung von Benutzeroberflächen der Lage, die unter verschiedenen Plattformen und Bedingungen. Zwar ist es möglich, eine getrennte Entwicklung für jede Familie von Geräten, vorausgesetzt, die hohen Kosten für die Entwicklung und Wartung, sollte es sogar noch schwieriger, wenn nicht gar unmöglich zu gestalten Benutzeroberflächen für jede der Situationen, in denen die Benutzeroberfläche kann möglicherweise verwendet werden . Eine Lösung wäre effizienter Generation Benutzeroberflächen der Lage, die Anpassung an verschiedene Arten von Geräten, benutzen Sie Umgebungen, und auch Typen der Benutzer automatisch, aber es kann sicherlich geht es um die Änderung der bestehenden Methoden für die Entwicklung von Schnittstellen Benutzer. Um dieser Herausforderung zu begegnen, in dieser Arbeit wird vorgeschlagen, um die aktuellen Methoden, die auf Modellen für die Gestaltung von Benutzeroberflächen mit der notwendigen Mechanismen für die Gestaltung des adaptiven Fertigkeiten, die notwendig sind innerhalb der verschiedenen Stufen der Entwicklung einer Benutzeroberfläche. Um dieser Herausforderung zu begegnen, in dieser Arbeit wird vorgeschlagen, um die aktuellen Methoden, die auf Modellen für die Gestaltung von Benutzeroberflächen mit der notwendigen Mechanismen für die Gestaltung des adaptiven Fertigkeiten, die notwendig sind innerhalb der verschiedenen Stufen der Entwicklung einer Benutzeroberfläche. Diese Erweiterungen werden in AB - UIDE (Agent Based User Interface Development Environment). Die Methode ermöglicht die Erstellung von Benutzeroberflächen der Lage, mit der Anpassung an die unterschiedlichen Situationen, die sich möglicherweise während des Prozesses der Interaktion. Die Methode wird unterstützt durch eine Architektur basiert auf einem mehrstufigen System, ermöglicht es dem Benutzer, die adaptiven Fähigkeiten mit Hilfe der Methode AB - UIDE vorgeschlagen. Das mehrstufige System arbeiten zusammen, um dem Benutzer intelligent Anpassungen am geeignetsten für jede Situation, die während der Interaktion mit dem User Interface Design.

Autor: CORCOLES TENDERO JOSE EDUARDO.
Jahr: 2005.
Universität: CASTILLA-LA MANCHA.
Ort der Lesung: ESCUELA POLITÉCNICA SUPERIOR DE ALBACETE.
Ort der Vorbereitung: ESCUELA POLITÉCNICA SUPERIOR DE ALBACETE.

Inhaltsangabe: Mit dem Wachstum in den letzten Jahren für das Web (World Wide Web) hat einen erheblichen Fehlbetrag in der zur Verfügung stehenden Methoden zu finden und zu verwalten. Traditionelle Methoden der Webseite sind nur für den Vergleich von Such- oder Keywords. So entfernen Sie diese Einschränkungen sind, die auf höchstem Niveau zu vergleichen, beraten, analysieren, kombinieren und / oder Daten aus dem Internet im Hinblick auf die Umsetzung der auf Techniken der Diskriminierung ähnlich wie der Mensch. In dieser Zeile, die wissenschaftliche Gemeinschaft hat die Grundlagen dessen, was wird die nächste Stufe des Web, das Semantic Web (Berners-Lee ua., 2001). Innerhalb des "Semantic Web", eine Domain, die besondere Aufmerksamkeit ist die Semantik der Informationen Raum (- Geospatial Semantic Web) [Egenhofer, 2002]. In diesem Bereich integriert das Potenzial hat, dass räumliche Informationen im Web mit der Elastizität von Diensten durch das Semantic Web. Das Ziel, gefolgt entlang dieser These ist es, einen Beitrag zu den Zielen gesucht Geospatial Semantic Web (Geospatial Semantic Web), und durch die Erweiterung für das Semantic Web. Es hat eine Lösung entwickelt, welche die Suche nach Ressourcen, und kein Platz - especiales auf dem gleichen Niveau der Integration und befindet sich in unterschiedlichen Quellen. Eine Berufung keine espacial ist definiert als alle derzeit verfügbaren Ressourcen im Web, zum Beispiel, Dokumente (HTML, PDF, Word Frau ..), Bilder (GIF, JPG). Auf der anderen Seite, eine Beschwerde ist die räumliche Darstellung einer Person oder einer Gruppe von Personen durch geometrische Geographic Markup Language - GML. Die wichtigsten Punkte dieser Architektur zusammengefasst werden kann: die Definition einer Abfrage Sprache auf der GML, eine Studie über die verschiedenen Alternativen für die Speicherung und Beratung GML effizient, und die Definition einer Architektur auf der Grundlage Vermittler, die über eine Domain Ontologie, für die Integration Der Ressourcen nicht espaciales mit Platz Ressourcen.

Autor: ROMANI ALSO SANTIAGO.
Jahr: 2005.
Universität: POLITÉCNICA DE CATALUÑA.
Ort der Lesung: SALA DEL LLAC DEL RECTORAT-CAMPUS NORD.
Ort der Vorbereitung: EDIFICI C6 Campus NORD.

Inhaltsangabe: Diese These definiert ein computergestütztes System zur Durchführung Color Image Segmentation, dh Zur Trennung jeder digitalisierten Bild in kompakten Regionen homogener Farbe Pixel, so dass der nächste Image Analysis Systeme interpretieren kann diese Regionen als Objekte der Szene. Das vorgeschlagene System ist für die robusten vor der Farbe Unsicherheit Quellen, dh Input Lärm, Textur, Schattierung und Schatten, Highlights, usw.. Um zu gewährleisten, die maximale Übereinstimmung mit dem menschlichen beingâs Wahrnehmung von Farbe, haben wir uns dazu entschieden, um die RGB-Farbe Komponenten (Red Green Blue), die sich durch die typische CCD-Kameras in die Smithâs HSI perzeptiven Komponenten (Farbton, Sättigung, Intensität). Die neue Farbe Komponenten trimmen die ungleiche RGB Variationen, die aus einem einzigen Chromatizität beleuchtet, wenn es mit einer Reihe von Intensitäten. Allerdings ist die Smithâs HSI Raum präsentiert einige Nachteile. Eine von ihnen ist die lästigen RGB Verstärkung der Lärm, der auf nicht linearen RGB - HSI Formeln. Um eine solche Wirkung, präsentieren wir eine neue Studie über die inneren Variabilität der HSI Komponenten unter verschiedenen Bedingungen Beleuchtung Ebene. Als Ergebnis haben wir aus zwei Schätzer der Farbton und Sättigung Abweichungen. Auf der Grundlage dieser Schätzer, formulieren wir unsere Farbton und Sättigung Stabilität Funktionen, die ausdrücklich den Grad des Vertrauens der Smithâs HS Werte einer beliebigen Farbe Pixel. Diese Funktionen werden benutzt, um alle durch unsere Segmentierung Algorithmen zur Verbesserung der Farbe zuverlässige Informationen gegen die instabile Farbe. Die Grundidee der Segmentierung ist, um herauszufinden, eine Reihe von einschlägigen bunten Mustern des Bildes, so dass jedes Pixel klassifiziert werden können (mit der Aufschrift) an den meisten ähnlichen Muster HS nach ihrer Werte. Wir schlagen vor, drei Methoden, um herauszufinden, wie ein Fuzzy - Charakterisierung der einschlägigen bunten Muster eines Bildes. Die einfachste Methode besteht in der Beschaffung der Farbton und Sättigung Histogramme aus einer manuellen Auswahl von Pixeln, die jedes Muster. Die Vermittler Methode ist, um eine globale Palette von bunten Muster, die für das gesamte Farbraum. Die modernste Methode zur automatischen Erkennung von bedeutenden Distributionen der Pixel in der HS kumulative Histogramm des Bildes. Dieses Histogramm ist unter Berücksichtigung der Zuverlässigkeit der Pixel Farben (durch die Stabilität Funktionen). Um zu erkennen, die relevanten Verteilungen innerhalb dieser Fuzzy Farbe Histogramm, schlagen wir vor, eine neue Version der Wasserscheide morphologischen Werkzeug. Von der Farbe Distributionen gewonnen, unsere Mitgliedschaft System definiert zwei Funktionen (dh Fuzzymengen) für jedes bunten Muster, die zeigen das Muster typicality für den Farbton und Sättigung Unsere Einstufung Prozess erhält der Grad Ähnlichkeit zwischen den einzelnen Pixel und der HS Fuzzymengen von Chromatische jedes Muster. Darüber hinaus haben wir eine Methode zur Modulation der Einfluss der Farbton und Sättigung Mitgliedschaft Funktionen, unter Berücksichtigung der beiden Tests (Bild Pixel) und Ausbildung (chromatische Muster) Daten zu gewährleisten. Jenseits unserer grundlegenden chromatische Segmentierung, schlagen wir vor, zwei Schritte nach. Der erste Schritt besteht in der Filterung falsche Etiketten (kleine Regionen), um die maximale räumliche Kohärenz der Ende Regionen. Der zweite Schritt besteht in der erneuten Teilung der chromatische Regionen in mehrere achromatisch Subregionen, um zu erkennen, die erheblichen Intensität Schattierungen, die mit verschiedenen Teilen (Gesichter) der wahrnehmende entsprechenden farbigen Bereichen des Bildes (Objekte). Mehrere Versuche demonstrieren, dass unser System bietet gute Segmentierung Ergebnisse, die wir überprüft haben, die Wahrheit über Boden und empirischen Messungen, sowie durch den Vergleich mit anderen Kunst Farbbild Segmentierung Algorithmen. Darüber hinaus bietet unser System auf zwei Ebenen Fuzzy Partitionierung des Bildes (chromatische und achromatisch), kann sehr nützlich sein für die weitere Bildverarbeitung Schritte.

Autor: DIAZ DESCALZO GREGORIO.
Jahr: 2005.
Universität: CASTILLA-LA MANCHA.
Ort der Lesung: FAC. CIEN. JURI. Y SOCIALES DE TOLEDO.
Ort der Vorbereitung: ESCUELA POLITECNICA SUPERIOR DE ALBACETE.

Inhaltsangabe: Ab dem Jahr 2000 alle Technologien im Zusammenhang mit dem Internet, das Netz der Netze, haben sich eine dramatische Entwicklung. Insbesondere haben wir einen Boom der unverschämt Geschäftsprozesse, die sich entschieden haben, ihre Anstrengungen, die das Internet als Kommunikations- Plattform. Dies hat damit begonnen, eine breite Palette von Technologien in Verbindung mit dem Internet mit der Absicht, den Ausbau der technologischen Fähigkeiten zur Verfügung. Ein klarer Fall sind Web Services. Diese Technologie schlägt vor, den Bau von neuen Programmen, die das Internet als eine verteilte Datenbank, in der die verschiedenen Dienste zugreifen Daten und Ressourcen über das Web zugänglich. Deshalb wird das Design, die über die gleichen Steine, die miteinander verglichen werden montiert neue Räume, die eine Menge von Dienstleistungen. Einer der wichtigsten Dienste des elektronischen Geschäftsverkehrs, die mit großen Summen des Geldes. Das ist der Grund, warum wir vor kurzem geboren von der Notwendigkeit zu überzeugen, dass die Systeme entwickelt, um diesen Dienst mit einem hohen Maß an Zuverlässigkeit. Daher sind diese Systeme müssen so gestaltet werden, mit der unteren Ebene über mögliche Fehler oder gar keine. Dies ist der Grund dafür, dass eingesetzt werden sollten, um diese neue Technologie formalen Techniken, die es uns ermöglichen, wissen, ob die neuen Systeme sind oder nicht Fehler. Eine Technik ist weit verbreitet und die damit verbundenen Überprüfung bei zahlreichen Gelegenheiten fanden wir die Technik bekannt als "Model Checking." Diese Technik, die in den frühesten Stadien des Designs der Software und der Systeme kann uns helfen, die Fehler zu finden, dass unser neues System leidet. Aber es ist auch notwendig, um festzustellen, was sind die Fähigkeiten, dass unser System entwickeln sollte. Die einmal identifiziert, die würden sich Anforderungen, die das Endprodukt müssen. Daher sollten auch diese Anforderungen werden gesammelt und getestet durch Techniken wie wir früher den Namen "Model Checking." Also einmal definierte Techniken und der Anwendung wird entschieden werden, durch eine systematische Art und Weise, die es uns erlaubt, zu entscheiden, oder Informationen, wenn unser System Wurde erfolgreich getestet. Daher ist es notwendig, eine Methodik zu entwickeln, zeigt deutlich, dass die verschiedenen notwendigen Schritte zu ihrer Umsetzung. Die erste dieser wir rufen Analyse Phase führt die Aufgabe des Erwerbs das System Anforderungen in späteren Phasen werden die Eigenschaften überprüft. Zu diesem Zeitpunkt werden Modelle Führung durch Tore für den Erwerb der Anforderungen. Die zweite Phase oder Bühnenbild ist identifiziert mit der Modellierung. Wir verwenden für die Modellierung und UML Sequenzdiagramme. Die dritte Phase wird sich auf die Umsetzung durch die Sprache WS - CDL. Die vierte Phase wird anhand der Überprüfung Werkzeug UPPAAL.

Autor: Porcel Gallego Carlos Gustavo.
Jahr: 2005.
Universität: GRANADA.
Ort der Lesung: Facultad de Biblioteconomía y Documentación.
Ort der Vorbereitung: E.T.S. Ingeniería Informática.

Inhaltsangabe: In den letzten Jahren hat sich die digitale Revolution führt zu einer deutlichen Erhöhung in der Höhe von Informationen, die elektronisch erstellt und verteilt werden. Auf der Zugriff auf diese Informationen wird ein zentrales Thema in der heutigen Gesellschaft. Nutzer zunehmend automatisierte Werkzeuge, um ihnen die Filter der enormen Menge an Informationen, die zur Verfügung steht. Anwendung von Techniken Artificial Intelligence Systeme verbessert den Zugang zu Informationen. Wir betonen, zwei Arten von Systemen für den Zugang zu Informationen, die eher traditionellen Methoden auf der Grundlage Information Retrieval (IR), die auf spezifische Anforderungen vertreten durch Konsultationen, dass die Benutzer in das System, und auf der Grundlage der Informationen Filtertechniken (EF), die auf die Bedürfnisse persistente Abgezogen werden von Benutzerprofilen. In diesem Bericht werden wir zur Vertiefung in die Gestaltung der Systeme der Zugang zu Informationen, einige Vorschläge für die Verbesserung auf der Grundlage hibridaciones Systeme Zugang zu Informationen basieren auf IR und FI, zusammen mit der Anwendung der künstlichen Intelligenz Techniken wie Modellierung lingà ¼ istico diffus.

Autor: MONTENEGRO MONTES JOSÉ ANTONIO.
Jahr: 2005.
Universität: MÁLAGA.
Ort der Lesung: INFORMÁTICA.
Ort der Vorbereitung: INFORMÁTICA.

Inhaltsangabe: Das Ziel dieser Arbeit ist die Entwicklung einer skalierbaren Genehmigung. Zu diesem Zweck war es notwendig, ein Prototyp Infrastructure Management Vorrechte (PMI) in einer ähnlichen Art und Weise zu seinen hononima Public-Key-Infrastruktur (PKI) ist das Konzept der Kernelemente Zertifikat. Im Falle des Konzepts der PMI wir Attribut-Zertifikat und das Zertifikat der PKI wird bekannt als Public-Key-Zertifikat oder Identität. Die Entwicklung des PMI, die ein erster Schritt, um Bescheinigungen über die Attribute in der OpenSSL-Bibliothek. Sobald konzipiert und umgesetzt Elemente des PMI, stellen wir das Konzept der Authentifizierungs-und Autorisierungs-Infrastruktur (AAI). Die IAA ist die Bindung eines Dienstes wie Authentifizierung und Autorisierung kann der Fall einer PKI mit einem PMI. Ein Vorschlag ist die Einführung eines biometrischen Authentifizierung-basierte IEA, genannt Infrastruktur Biometrische Authentifizierung und Autorisierung (BAAI). Darüber hinaus bestimmt gegebenenfalls die Einrichtung von zusätzlichen Ermächtigung ist der Fall mit der Ermächtigung anonymen Angemessenheit Prototyp PMI-Umgebungen allgegenwärtig und die Einrichtung eines Online-Modus PMI zur Lösung des Problems des Widerrufs Listen. Sobald die Genehmigung wurde als notwendige Voraussetzung für die Skalierbarkeit, war es notwendig, den Dienst innerhalb der Delegation der Behörde. Diese Maßnahmen erforderlich, um eine vergleichende Studie über das Konzept der Delegation in bestehende Lösungen, die Feststellung, dass die Delegation war näher an der Übertragung der Identität, die die Übertragung von Rechten. Aus diesem Grund ist es notwendig erschien, um ein Modell aus feinkörnigem Delegation basiert auf der Delegation von Attributen. Darüber hinaus, zur Erleichterung der Schaffung von Straf-und Delegation von Befugnissen, haben wir eine Sprache Modellierung Sätze Delegation und Autorisierung durch ein visuelles Werkzeug, das hilft Benutzern das Erstellen Sätze Autorisierung und Delegation, ebenso wie sie in Ketten Zertifikate von Attributen. Die Entwicklung von Sicherheits-Services ist bedeutungslos ohne die richtige Verknüpfung mit dem Prozess der Erstellung von Software, und die Diplomarbeit beinhaltet eine Methode, um die Sicherheits-Anforderungen in den frühen Phasen des Zyklus der Software-Erstellung. Dies ermöglicht Designern die Schaffung geeigneter Software Security Services für die Konzeption, als auch, wo sie erfasst werden sollten und ihre Interaktion mit den verschiedenen funktionalen Anforderungen.

Autor: CUESTA INFANTE ALFREDO.
Jahr: 2005.
Universität: NACIONAL DE EDUCACIÓN A DISTANCIA.
Ort der Lesung: E.T.S. INGENIERÍA INFORMÁTICA.

Inhaltsangabe: Die Kontrolle Strategien Multifrequenz (MF) emerge als Lösung für viele Situationen, in denen es unmöglich ist, oder unnötige Verwendung der gleichen Zeit an allen Messstellen diskreten Variablen, die in der Steuerung. Auf der anderen Seite sind mehr als 90% der Regelkreise sind PID Regler. Diese erhöht die Zinsen anzupassen diese Art der ordnungspolitischen Rahmen Multifrequenz: vor allem in Situationen genannt MRIC (Multi-Input-Rate-Controller), in dem der Fahrer die Kontrolle muss update Signal N mal pro Stichprobenfehler. Dieses Papier befasst sich mit der Studie von PID-Regler Multifrequenz (PIDMF) unter Berücksichtigung der folgenden Ziele: Erhalten Sie ein mathematisches Modell der PIDMF, um die Bedeutung der Parameter der Harmonie, die Wirkung zeigen, dass die Situation in den MF-Treiber braucht Aktion Control erhalten Regeln Harmonie in der Frequenz-und Zeit-Domäne und entwickeln ein Software-Tool zur Umsetzung dieser Regeln. Um diese Ziele zu erreichen und hat die Technik für die Modellierung Betreiber Kranc. Die Regeln der Harmonie wurden entwickelt, die als Ausgangspunkt die Methoden Ziegler-Nichols. Schließlich ist die Software-Tool entwickelt wurde, in Matlab 7 und SysQuake 2,3. Als Folge der PIDMF ist in der Lage, den Erfordernissen für mehr Robustheit, die reibungslos und effektiv als eine einzelne Frequenz PID in den Fällen, in denen die Dauer der Stichprobenfehler hat einen sehr hohen Wert Steuer.

Autor: PASTOR VARGAS RAFAEL.
Jahr: 2005.
Universität: NACIONAL DE EDUCACIÓN A DISTANCIA.
Ort der Lesung: E.T.S. INGENIERÍA INFORMÁTICA.

Inhaltsangabe: Das ultimative Ziel ist es, dass die Beiträge strukturiert entwerfen und implementieren Piloten über das Internet, für eine Entwicklung, die Methodik als Sprache XML-Spezifikation. Dies beschrieb zunächst den Stand der Technik auf dem Gebiet der Entwicklung von Laboratorien Fernbedienung / virtuelle Online-und das Verfahren der großen Forschungs-gruppen und-initiativen, wobei der Schwerpunkt auf Ansätzen, die definieren, Labor-Netzwerk-Architektur. Dann zeigt es, die Notwendigkeit der Verwendung von XML als Sprache für die Angabe der Bestandteile eines Laboratoriums, zusätzlich zu schlagen Wege zur Umsetzung einer solchen Definition die Entwicklung von Werkzeugen zur Verfügung. Einmal definierte Spezifikation von Komponenten und die formale Struktur eines Labors, die Umsetzung Methodik entwickelt, die sich auf die Definition der Komponenten erfolgt über XML. Diese Implementierung Methodik basiert auf drei Software-Komponenten zur Unterstützung dieser Methodik: Die experimentelle Applet Server der Veröffentlichung der Labor-und der Server auf dem Netzwerk von Laboratorien. Schließlich stellen wir Beispiele für Laboratorien, die von der vorgeschlagenen Methodik, um zu demonstrieren, die Nützlichkeit der Spezifikation, der zeigt, dass die Gültigkeit der Näherung.

Autor: AMIGO CABRERA ENRIQUE.
Jahr: 2005.
Universität: NACIONAL DE EDUCACIÓN A DISTANCIA.
Ort der Lesung: E.T.S. INGENIERÍA INFORMÁTICA.

Inhaltsangabe: In dieser Arbeit wird ein Modell entwickelt interaktive Zugang zu den Informationen auf die Aufgabe, "Synthesis of Information", definiert als der Prozess zu extrahieren, organisieren und verbinden die Teile der darin enthaltenen Informationen in einer Reihe von relevanten Dokumenten, mit der der Zugang zu einem Kostenlos Bericht erfüllt, dass ein Bedarf an komplexen Informationen. Erstens, in dieser Arbeit ist eine Übersicht über den Stand der Technik in Bezug auf die technischen automatische Zusammenfassung, die fasst die Synthese von Information. Sie überprüfte auch die Schemata für die Interaktion zwischen Benutzer und Computer-Systemen den Zugang zu Informations-und Bewertungsmethode. Zweitens, es entwickelt sich eine Arbeitsgruppe, bestehend aus Rahmen eines Körpers von Berichten manuell generiert, ISCORPUS, eine Bewertung und Methodik, QARLA an unser Problem. Drittens, wir führen eine Reihe von empirischen Studien über die Rolle der wichtigsten Aspekte der Angelegenheit, um die es in dem Bericht, im Hinblick auf die Entwicklung und Evaluation eines interaktiven Modells. Aus der Analyse der ISCORPUS, wird der Schluss gezogen, dass die Aufgabe der Synthese von Informationen, es ist im Grunde Steinbruchs, und unterscheidet sich je nach Art der wichtiges Thema. Wir können unterscheiden zwischen Fragen im Laufe der Zeit (zum Beispiel, "die Rolle der Regierung in Spanien den Irak-Krieg", und die Fragen, die sich mit verschiedenen Instanzen der gleichen Art wie die Veranstaltung "Europäische Kampagnen gegen Rassismus." ; QARLA ist ein Rahmen für die Bewertung der Systeme Zusammenfassung der im Rahmen dieser Arbeit. Eintrag besteht aus einem Rahmen zusammen mit den Zusammenfassungen der Fundstelle manuell generiert, ein Satz von Zusammenfassungen automatisch generiert, und eine Reihe der Ähnlichkeit Metrik. QARLA liefert ein Maß für Bewertung der Qualität einer Reihe von metrischen Ähnlichkeit, ein Maß für die Beurteilung der Qualität einer Zusammenfassung mit den optimalen Satz von metrischen Ähnlichkeit, und eine Maßnahme, um zu prüfen, ob die Menge der automatische Zusammenfassungen verwiesen wird oder ob zuverlässige, durch Kontrast, kann parteiisch Ergebnisse. Im Vergleich zu früheren Arbeiten, QARLA ist in der Lage, die Bewertung und die Umsetzung einer Reihe von Kriterien Ähnlichkeit, ohne schwere Kriterien zwischen ihnen. Diese These ist, die quantitative Erkenntnisse über die Wirksamkeit der in diesem Rahmen der Beurteilung durch die Kombination von metrischen Zusammenfassungen. Beschäftigen Teil QARLA in Experimenten Entwickelte sich im Laufe der Diplomarbeit. Experimenten entwickelt in dieser Arbeit aus QARLA und ISCORPUS erlauben es uns zu dem Schluss, dass Ausgewählte Phrasen oder Vokabeln in einem Bericht enthalten sind Merkmale, die keine Diskriminierung zwischen generierten Berichte manuell und automatisch generierten Berichte mit grundlegenden Strategien. Aber die Kombination von Diese Funktionen mit dem Vertrieb von "Schlüsselbegriffe" erweitert die Fähigkeit von Diskriminierung, die anderen Worten, die Verteilung der wichtigsten Konzepte berücksichtigt werden müssen in den Prozess der Entwicklung und Bewertung von Informations-Systeme Synthese. Hinzu kommt, dass wir der Auffassung, dass Informationen syntaktischen Oberfläche Verbessert die automatische Extraktion von Schlüsselkonzepten, und dass die prognostizierten Verteilung Konzepte Schlüssel Berichte Modell kann für Systeme Entwicklung von Informations-Synthese. Schließlich präsentieren wir "PRISMA", ein interaktives Modell basiert auf der mittleren Ebene den Zugang zu Informationen, und identifiziert Auf der Grundlage von empirischen Beweise, die in früheren Experimenten. Vergleich zwei grundlegende Strategien Exploration im Rahmen der Synthese von Informationen: Exploration Exploration versus Titeln der wichtigsten Konzepte. Die Ergebnisse zeigen, dass die Erforschung der wichtigsten Konzepte bieten klare Vorteile gegenüber der Erforschung von Titel Dokumente.

Autor: GARCIA BRINGAS PABLO.
Jahr: 2006.
Universität: DEUSTO.
Ort der Lesung: FACULTAD DE INGENIERIA.
Ort der Vorbereitung: FACULTAD DE INGENIERÍA.

Inhaltsangabe: Angesichts der wachsenden Ausmaß des Problems der Gewährleistung der Informationssicherheit und Kommunikations-Netzwerke aller Art, die traditionellen Mechanismen der passiven Isolation und Access Control sind unzureichend, um die steigende Zahl der Angriffe dramatisch und versuchten Eindringen, gezielte oder wahllose gut, auftretende In der heutigen Zeit. Damit in einem solchen Fall, in den Bereich des Wissens der Erkennung Intrusiones, zeichnet sich vor allem durch seine aktive Verhalten und den Einsatz von Techniken der Künstlichen Intelligenz mehr oder weniger ehrgeizig und anspruchsvoll und wird als eines der neuesten Sicherheits-Technologien vielversprechend, die mittelfristig . Somit ist es nun möglich, kommerzielle Lösungen für die Erkennung von Klang und Bedeutung, die sich auf die Überwachung spezielle Ausrüstung, die auf die Überwachung der kompletten Kommunikation Netzwerke, rufen Sie für die Nutzung von Modellen zur Darstellung von Wissen und Inferenz basiert auf dem Konzept der Experten-System , Eine Kette von Regeln. So, in der Regel, das verfügbare Wissen über dokumentiert Angriffe auf solche Geräte oder Kommunikationsnetzwerke, wird in Form von Regeln als die Produktion von der menschlichen Administrator. Diese unsachgemäße Verwendung Detection Systeme, zeichnen sich durch sehr präzise in seinen Entscheidungen, wie auch für einen gewohnt hohen Maß an Effizienz. Allerdings stellt eine wichtige Einschränkung: Sie sind nicht in der Lage, zu reagieren, was sie nicht wissen. Oder um es anders auszudrücken, die Möglichkeit, dass ein potentieller Angreifer kann über Kenntnisse der Detection System (Frage wirklich machbar ist in den meisten Fällen), für ihn zu opartir leichten Modifikationen in ihren Verfahren, die ihren Angriff camuflen Aktien oder Angriffe Gesicht komplett Roman, es gibt einfach keine Antwort. Daher ist die wissenschaftliche Gemeinschaft ist derzeit mögliche Lösungen für dieses Problem zu lösen, die Schwellenländer Konzept Anomaly Detection als ein wesentliches Element in der Analyse mittelfristig, und zwar entweder in Form einer Ergänzung zu den traditionellen Ansatz der Aufdeckung von Missbräuchen, Muster oder Signaturen oder semantische Auch Obermenge der letzteren. Um das zu tun, in der Regel ein solches Vorgehen Anomaly Detection, soll in der Lage sein, eine Antwort, auch in Situationen, in der Gefahr ist nicht im Voraus bekannt, die auf die Entwicklung des Profils ein System zur Überwachung des Verhaltens, und die Berechnung der Abweichungen von Normale Aktivität in Bezug auf das Profil. So, jede Abweichung als signifikant genug, als eine Anomalie im System, und somit geeignet ist, die der menschlichen Operator in der Form von Warnsignal, so dass es möglich ist, eine detaillierte Analyse der Ursachen, dass der Wecker, oder automatisch verarbeitet , Im Einklang mit dem Paradigma der Prävention Intrusiones. So, mit dem Ziel, eine vollständige Antwort von der Detektions-System, sowohl auf bekannte Angriffe als Angriffe nicht bekannt vor, diese These untersucht den Weg der Vereinigung der beiden wichtigsten Paradigmen Detection Intrusiones durch die Verwendung von Modellen Repräsentation von Wissen und Inferenz Schlussfolgerungen Basiert auf dem Konzept der Bayes'schen Netzwerk, die eine volle intrinsische Befugnis zur Vertretung der traditionellen Regel-basierte Expertensysteme, sowie eine breite Palette leistungsfähiger zusätzliche Fähigkeiten, wie zum Beispiel: Inferenz Begründung Schlussfolgerungen, omnidirektional Kette von kausalen Beziehungen und / Oder Korrelation, intrinsische Darstellung der Größenordnung temporäre Lernen strukturelle (oder Bayesian Data Mining) aus den Daten-, Lern-oder sequentielle voll parametrischer 8 ab 614 solcher Daten, die Anpassungsfähigkeit des Modells auf Veränderungen in der wissensbasierten System bemerkt, oder die Möglichkeit zu erhalten, Durch Sensitivitätsanalyse, eine qualitative und quantitative Darstellung der Repräsentativität und der Grad der Abhängigkeit der Parameter, aus denen sich die Tragweite des Problems. So, aus diesen Studien und Experimente, die in dieser Doktorarbeit, bietet ein leistungsstarkes Modell Repräsentation von Wissen zu entwickeln, aus denen ein Motor der Lage, adaptive Schlussfolgerungen ableiten Argumentation Kontemplation, in einer Art und Weise das vereinte und gleichmäßig in der Behandlung von verschiedenen Arten der Erkennung, Das Wissen Paradigma Detection unsachgemäße Verwendung der einen Seite, als ein Merkmal von Wissen Paradigma Detection Missbildungen auf der anderen Seite.

Autor: GARCIA FANJUL JOSE.
Jahr: 2006.
Universität: OVIEDO.
Ort der Lesung: DEPARTAMENTO DE INFORMATICA.
Ort der Vorbereitung: DEPARTAMENTO DE INFORMATICA. UNIVERSIDAD DE OVIEDO.

Inhaltsangabe: In den letzten Jahren hat er erkannt, dass eine signifikante und anhaltende Zunahme der Investitionen, dass die Unternehmen sich auf die Entwicklung von Software-basierten Diensten (SOAs). Die Entwicklung von SOAs, und vor allem die Prozesse der Beleg für diese Art von Software-eine Herausforderung für die Ingenieure, dass einige Autoren beschreiben, wie ein Paradigmenwechsel in der Software-Engineering. Zu den Herausforderungen, die angegangen werden müssen in den Prozess der Nachweis, zum Beispiel das Fehlen einer einheitlichen Informationen über die verfügbaren Dienste und die Kosten im Zusammenhang mit der Umsetzung von SOAs. Ein sehr wichtiger Teil der heute bestehenden SOAs sind Kompositionen von Dienstleistungen, und insbesondere derjenigen, die mit dem Standard BPEL, die sich zu einem De-facto-Standard. Diese Diplomarbeit beschreibt eine systematische Methode zur Generierung von Testfällen für die Kompositionen von Dienstleistungen in der Sprache BPEL. Checker wird verwendet, um automatisch generieren Modelle SPIN Spezifikationen der Fälle. Zunächst wird dargelegt, wie der Zugang zu einem operativen Verhaltensmuster in der Sprache PROMELA (Sprache Eingang SPIN) aus der Spezifikation einer Zusammensetzung von Dienstleistungen in BPEL. Dann wird die Methode angewandt wird als Kriterium der Angemessenheit, die bei der Umsetzung des Modells PROMELA und systematischen Gewinnung einer Reihe von Anforderungen Beweiszwecken. Das Argument verwendet zwei Kriterien der Hinlänglichkeit basiert auf verschiedenen Übergänge: Der Deckungsgrad der Übergänge und der Umfang der von Paaren benachbarter Übergänge. Jede der Anforderungen ist in eine Immobilie in zeitlichen Logik LTL, das als Input für das Tool SPIN. Bei der Umsetzung der Modell-Checker, erhalten Sie ein Gegenbeispiel, der mindestens die Anforderungen in der Formel, und es wird ein Testfall. Pa illustrieren und zu validieren die Methode, mit zwei Fallstudien, in der Generierung von Testdaten für zwei Fällen especififcaciones Kompositionen aus etándar BPEL (Darlehen Genehmigungs-und Versandkosten). Er studierte die Wirksamkeit der Testfälle für solche Kompositionen mittels Mutationsanalyse.

Autor: AKEMI GALVEZ TOMIDA.
Jahr: 2006.
Universität: CANTABRIA.
Ort der Lesung: E.T.S. DE INGENIEROS DE C.C.P..
Ort der Vorbereitung: ESCUELA TECNICA SUPERIOR DE INGENIEROS DE CAMINOS, CANALES Y PUERTOS.

Inhaltsangabe: Der wichtigste Beitrag der Diplomarbeit besteht aus einer Reihe von allgemeinen Methoden für die Lösung verschiedener Probleme Vernehmung geometrischen Flächen und Verarbeitung von großem Interesse, sowohl aus mathematischer Sicht als ihre praktischen Anwendungen. Die Methoden, die in dieser Arbeit erlauben den Erhalt verschiedenen Funktionen gekrümmten Oberflächen, die Identifizierung von Kurven (Oberflächen) isodistancia in Bezug auf einen bestimmten Punkt (Polar-Methoden) oder eine Kurve gegeben (parallele Kurven) und die Berechnung der Effizienz Kurven Schnittpunkt zweier Oberflächen (entweder in Form, die als implizite, parametrische). Die Methode wurde angewandt: 1) Abruf von Kurven Eigenschaften auf Oberflächen: Curves Projektion von Vektor-Bereich auf einer Fläche Punkt auf einer Oberfläche, die parametrische ist ein Mindestabstand von beliebigen externen an die Oberfläche, Abschnitt Kurven, Kurven geodätische, gebogener Klinge, Geschwungene Silhouette. 2) Bestimmung der Kurven auf Oberflächen isodistancia in Bezug auf einen Punkt einer Kurve oder Würfel: Curves isodistancia für Polar-und parallele Kurven. 3) Die Berechnung der Effizienz Kurven Schnittpunkt zweier Oberflächen. Cases paramétrico-implícito, paramétrico-paramétrico und implícito-implícito. Ein weiterer von den Beiträgen der Diplomarbeit ist die Anwendung einer sehr letzten künstliche Intelligenz, Netzwerke funktionsfähig, für die Lösung des Problems der Rekonstruktion von Oberflächen: eine Wolke von Punkten, die der Suche nach einer Gegend in der Nähe des NURBS-Punktwolken, Zu erfüllen bestimmte funktionelle Einschränkungen. Ein weiterer Beitrag der Dissertation ist das EDV-System CG & CAGDTutor, imlementado in Matlab und eine eigenständige ausführbare Version orientiert Welt delCAGD (Geomereic Computer-Aided Design) und Computergrafik.