WISSENSCHAFT VON COMPUTERN (2)

Autor: PEREZ GIMENEZ XAVIER.
Jahr: 2006.
Universität: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Ort der Lesung: SALA D'ACTES DE L'FME.
Ort der Vorbereitung: U FACULTAT DE MATEMATIQUES I ESTADISTICA SUD.

Inhaltsangabe: Diese Dissertation stellt der Autor die Arbeit in einige Probleme, die unterschiedlichen Modelle von zufälligen Graphen. Zunächst enthält es einen technischen Beitrag zur Lösung des Problems der Entscheidung offen, ob mit hoher Wahrscheinlichkeit eine zufällige $ 5 $ reguläre farbigen Grafik kann mit drei Farben. Weiter, der Autor schlägt vor, ein Modell für die Schaffung und Aufrechterhaltung der Kommunikation zwischen den Agenten in einem emph () mobilen Ad-hoc-Netzwerk (() manet sc), das heißt die () em Wanderer Modell. Wir gehen davon aus, dass die Agenten sich durch eine feste Umgebung modelliert durch einen Antrag Grafik, und in der Lage sind, zu kommunizieren, wenn sie nur in einer Entfernung von höchstens $ d $. Da die Agenten bewegen zufällig, wir analysieren, wie das Zusammenspiel zwischen einer Reihe von $ $ w Agenten entwickelt sich im Laufe der Zeit asymptotisch für eine große Zahl von N $ $ Eckpunkte, wenn $ $ w wächst auch groß. Die Topologien insbesondere der Umwelt, die hier studiert werden und der Zyklus der toroidalen Gitter. Für die letztere, die Ergebnisse gelten unter allen ell_p $ $-genormten Abstand, für $ 1 $ leq p leq infty. Dann folgt die Dissertation mit einer kontinuierlichen Pendant der Wanderer Modell. Nämlich, es stellt ein Modell für die (sc manet) basiert auf zufällige geometrische Grafiken über die $ 2 $ - dimensionale Torus, wo jeder Knoten bewegt sich im Rahmen der Mobilität () em Random-Walk-Modell. Genauer gesagt, unser Modell startet aus einem zufälligen geometrischen Graphen in den Torus UT, die mit $ N $ Knoten und Radius genau an der Schwelle r_c $ $ Konnektivität. Dann jedem Knoten unabhängig wählt eine zufällige Winkel in $ [0,2 pi) $ und bewegt sich für eine Reihe von Schritten m $ $ $ sa festen Abstand> 0 $ in diese Richtung. Nachdem Sie diese Schritte, jeder Knoten wieder wählt einen neuen Blickwinkel und beginnt in diese neue Richtung, wiederholen, die Änderung der Richtung jeder $ $ m Schritte. Wir rechnen die erwartete Anzahl von Schritten, für die die daraus resultierende Kurve bleibt verbunden oder getrennt. Darüber hinaus werden für die statische zufällige Graphen mit geometrischen Radius an der Schwelle r_c $ $ Konnektivität, bieten wir asymptotische Ausdrücke über die Wahrscheinlichkeit der Existenz von Komponenten entsprechend ihrer Größe. Schließlich, im letzten Teil dieser Arbeit zeigen wir, dass in einer konstruktiven Art und Weise, für jeden beliebigen ell_p $ $-genormten Abstand, nur 1 $ p nur infty $, die Eigenschaft, dass eine zufällige geometrische Graphen, die unter Distanz ein Zyklus Hamiltonian Exponate eine scharfe Schwelle bei $ Radius r = sqrt (log n / (alpha_p n)) $, wobei $ $ alpha_p ist der Bereich der Festplatte, in der $ $ ell_p Norm.

Autor: CAMBRONERO PIQUERAS MARIA EMILIA.
Jahr: 2006.
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 Arbeit konzentriert sich auf die Analyse der verschiedenen Echtzeit-Systeme mit formalen Methoden, insbesondere, verwenden wir Automaten temporizados für diesen Zweck. Zunächst untersuchen wir die Parallelisierung von Video-Kompressions-Algorithmus MPEG-2, so dass ein Vergleich zwischen den Ergebnissen mit sequentiellen und parallelen Versionen, und die Analyse der Fall ist, die möglichen Verbesserungen, die mit der parallelen Version. Darüber hinaus ist in den letzten Jahren hat sich das Internet eine große Veränderung, neue Sprachen und neue entstehende Technologien wie XML, Komponenten-basierte Entwicklungs-, Web-Services, und so weiter. Dies hat dazu geführt, das die Entstehung einer neuen Bereich in der Software-Engineering, Web-Engineering genannt. In dieser Arbeit konzentrieren wir uns auf die Untersuchung von Web-Services, die eines der wichtigsten Elemente im Bereich der Web Information Systems (WIS), präsentieren wir eine Methode zur Modellierung und Verifikation von Web-Services, wie auch das Tool implementiert. Die Web-Services decken ein breites Spektrum von Systemen und kann als eine evolutionäre Schritt in der Gestaltung von verteilten Anwendungen. Überprüfung der Eigenschaften in diesen Systemen kann von großer Bedeutung, da sich einige Unternehmen, die von ihnen abhängen, sowie die Suche nach möglichen Lösungen für Probleme. In dieser Arbeit verwenden wir formale Methoden, die eine Beschreibung der Systeme entwickelt werden, auf jeder Ebene des Einzelnen, diese Beschreibung kann verwendet werden, um sicherzustellen, dass die Anforderungen an die Entwicklung von Systemen wurden in einer umfassenden Weise und angemessen ist. In diesem Fall benutzen wir "Model-Checking" für die Durchführung der Analyse dieser Systeme. Auf der anderen Seite sind die meisten der verwendeten Sprachen für die Umsetzung dieser Web-Services basieren auf XML, das kann sehr kompliziert zu bedienen für Entwickler, die keine Experten in dieser Sprache. Daher wird in dieser Arbeit haben wir eine Reihe von Übersetzungen, die es uns ermöglichen, um die XML-Web-Service, die Verknüpfung unterschiedlicher Repräsentationen des gleichen.

Autor: DORRONSORO DÍAZ BERNABÉ.
Jahr: 2006.
Universität: MÁLAGA [www.uma.es].
Ort der Lesung: E.T.S.I. INFORMÁTICA.
Ort der Vorbereitung: E.T.S.I. INFORMÁTICA.

Inhaltsangabe: Diese Dissertation präsentiert eine Studie über zellulare genetische Algorithmen und deren Anwendung zur Lösung komplexer Probleme. Die Dissertation ist in drei Hauptbereiche unterteilt. Der erste Teil ist eine Einführung in das Gebiet der evolutionären Algorithmen im Allgemeinen und der zellulären genetischen Algorithmen (cGAs), insbesondere zusammen mit einer komplexen Untersuchung und Diskussion über den Stand der Kunst in cGAs. Es wird ferner vorgeschlagen, in diesem Teil zwei neue mathematische Modelle zu charakterisieren, die den Betrieb von beliebigen cGA je nach Auswahl Druck, die Verbesserung der bestehenden Modelle zu aktualisieren. Zum Abschluss dieses ersten Teils. In einem zweiten Teil wird vorgeschlagen, implementiert und evaluiert mehrere neue Beiträge auf dem Gebiet der cGAs erhältlich in allen Fällen erhebliche Verbesserungen dieser neuen Modelle im Hinblick auf die kanonische cGAs entspricht. Sie werden in dieser Arbeit neue Methoden für die Verwaltung der Balance zwischen Erforschung und Nutzung der cGAs (wie cGAs Bevölkerung auto-adaptativa und cGAs hierarchisch). Auch die Zelle exportiert Modell auf andere Bereiche (zum Beispiel schlagen wir vor, einen Algorithmus zu schätzen zellulären Distributionen ist ein Algorithmus memético Zelle, oder ein Multi CGA), ein sehr gutes resutlados. Schließlich schlagen wir vor, zwei neue Modelle parallel cGAs sehr effizient. In mehreren Studien sind in dieser Arbeit gewonnenen Ergebnisse, dass die Verbesserung der Stand der Technik heute. Im dritten Teil der Diplomarbeit, gelten einige neue Algorithmen entwickelt, für die bekannten Probleme aus den Bereichen der diskreten und kontinuierlichen Optimierung, sowie ein neues Problem (definiert in dieser Arbeit zum ersten Mal) und die eine hohe echtes Interesse. Es zeigt, wie die Algorithmen entwickelt Algorithmen hart umkämpften mit dem Stand der Kunst in den Bereichen untersucht, einschließlich der Verbesserung in mehreren Fällen.