# HG changeset patch # User Eugen Sawin # Date 1301398190 -7200 # Node ID eade6d42212a5e31c31a1157081b10e873fb322a # Parent a72716252271cfe66d9e1a467d6edb2db8591002 Hopefully final. diff -r a72716252271 -r eade6d42212a book/out/buchblock.pdf Binary file book/out/buchblock.pdf has changed diff -r a72716252271 -r eade6d42212a book/src/conclusion.tex --- a/book/src/conclusion.tex Mon Mar 28 23:38:01 2011 +0200 +++ b/book/src/conclusion.tex Tue Mar 29 13:29:50 2011 +0200 @@ -8,4 +8,4 @@ \section{Ausblick} Ein weiterer Ausbau des \emph{ATCCL-Frameworks} kann das Anwendungsgebiet der Sprache erweitern. Alle flugplanverarbeitenden Systeme können tendenziell vom Einsatz der Sprache profitieren. Durch das generische Konzept des Frameworks ist eine Erweiterung der Syntax und Semantik mit wenig Aufwand möglich, was eine schnelle Integration in zukünftige Projekte ermöglichen soll.\\\\ Die systematische Konfigurierbarkeit der \emph{DFLOW-Komponente} macht eine Erweiterung der Verarbeitungslogik möglich. Als Vervollständigung des Automatisierungskonzepts der Abflugregelung ist eine Integration mit einem Departure Manager, zur Abhandlung des Mikromanagements auf Flughafenebene, geeignet.\\\\ -Das Ziel dieser Systeme soll nicht die Vollautomatisierung des Flugverkehrs sein. Heutige Softwarelösungen sind geeignet für Problemstellungen mit großen, für Menschen unüber\-schaubaren Suchräumen -- jedoch nicht für Probleme mit vielen äußeren und dynamischen Faktoren. Der Mensch hat die notwendigen Eigenschaften, sich flexibel neuen und unerwarteten Situationen anzupassen. Erst die Kombination beider Vorteile erlaubt eine effektive Bewältigung der Herausforderungen der modernen Flugsicherung. +Das Ziel dieser Systeme soll nicht die Vollautomatisierung des Luftverkehrs sein. Heutige Softwarelösungen sind geeignet für Problemstellungen mit großen, für Menschen unüber\-schaubaren Suchräumen -- jedoch nicht für Probleme mit vielen äußeren und dynamischen Faktoren. Der Mensch hat die notwendigen Eigenschaften, sich flexibel neuen und unerwarteten Situationen anzupassen. Erst die Kombination beider Vorteile erlaubt eine effektive Bewältigung der Herausforderungen der modernen Flugsicherung. diff -r a72716252271 -r eade6d42212a book/src/document.log --- a/book/src/document.log Mon Mar 28 23:38:01 2011 +0200 +++ b/book/src/document.log Tue Mar 29 13:29:50 2011 +0200 @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.1.10) 28 MAR 2011 23:37 +This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.1.10) 29 MAR 2011 13:28 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -2198,7 +2198,7 @@ Here is how much of TeX's memory you used: 13172 strings out of 495021 186649 string characters out of 1181035 - 329863 words of memory out of 3000000 + 329801 words of memory out of 3000000 15157 multiletter control sequences out of 15000+50000 67653 words of font info for 68 fonts, out of 3000000 for 9000 28 hyphenation exceptions out of 8191 @@ -2219,7 +2219,7 @@ usr/share/texmf/fonts/type1/public/lm/lmtk10.pfb> -Output written on document.pdf (107 pages, 1867232 bytes). +Output written on document.pdf (107 pages, 1867332 bytes). PDF statistics: 2505 PDF objects out of 2984 (max. 8388607) 811 named destinations out of 1000 (max. 500000) diff -r a72716252271 -r eade6d42212a book/src/document.pdf Binary file book/src/document.pdf has changed diff -r a72716252271 -r eade6d42212a book/src/document.tex --- a/book/src/document.tex Mon Mar 28 23:38:01 2011 +0200 +++ b/book/src/document.tex Tue Mar 29 13:29:50 2011 +0200 @@ -24,8 +24,8 @@ pdfauthor={Eugen Sawin}, pdfsubject={Buch}, %pdftitle={Flexible Modellierung dynamischer Luftraumbeschränkungen und deren Nutzung zur optimierten Abflugplanung}, - pdftitle={Air Traffic Flow Management: Modellierung eines Luftraums und Optimierung der Abflugplanung}, - pdfkeywords={Air Traffic Flow Management, Flugsicherung, ATCCL}, + pdftitle={Verkehrsflussregelung in der Flugsicherung}, + pdfkeywords={Air Traffic Flow Management, Flugsicherung, Abflugplanung, Compiler}, breaklinks=true, linktocpage=false, colorlinks=true, diff -r a72716252271 -r eade6d42212a book/src/preface.tex --- a/book/src/preface.tex Mon Mar 28 23:38:01 2011 +0200 +++ b/book/src/preface.tex Tue Mar 29 13:29:50 2011 +0200 @@ -11,6 +11,6 @@ \section{Danksagungen} Dieses Buch ist als Dokumentation einer Projektarbeit während meiner Tätigkeit bei der Comsoft GmbH entstanden. An dem Projekt waren einige Mitarbeiter der Comsoft GmbH und Prof. Dr. Mayer als Betreuer von der Hochschule Offenburg beteiligt.\\\\ -Als Erstes danke ich Herrn Pitz, als Leiter der Abteilung Centre Solutions hat er die Arbeit an diesem Kundenprojekt mit der GCAA ermöglicht. Die konstruktiven Erläuterungen der Verkehrsflussproblematik seitens der GCAA-Mitarbeiter waren für die Spezifikation der Modellierungssprache äußerst hilfreich.\\\\ -Ein besonderer Dank geht an Prof. Dr. Erwin Mayer von der Hochschule Offenburg und Dr. Stephan Schulz von der Comsoft GmbH, für die tatkräftige Unterstützung bei der Einarbeitung in die Domäne Flugsicherung und bei anderen fachlichen Fragen.\\\\ +Als Erstes danke ich Herrn Pitz, als Leiter der Abteilung Centre Solutions hat er die Arbeit an diesem Kundenprojekt mit der GCAA ermöglicht. Ich danke auch den beteiligten Mitarbeitern der GCAA, die konstruktiven Erläuterungen der Verkehrsflussproblematik waren für die Spezifikation der Modellierungssprache äußerst hilfreich.\\\\ +Ein besonderer Dank geht an Prof. Dr. Erwin Mayer von der Hochschule Offenburg und Dr. Stephan Schulz von der Comsoft GmbH für die tatkräftige Unterstützung bei der Einarbeitung in die Domäne Flugsicherung, der Bildung einer strukturierten Arbeitsweise und für die zusätzliche Motivation, die manchmal notwendig gewesen war.\\\\ Nils Hilt hat mich bei der Entwicklung der Abflugplanungskomponente und der Einarbeitung in die PRISMA-Architektur begleitet. Als Entwickler des DFLOW-Displays hat Wenzel Svojanovsky die Planungskomponente für den Benutzer zugänglich gemacht. Hiermit danke ich beiden, ebenso den Mitarbeitern des Testteams, welche die Komponenten auf ihre Zuverlässigkeit geprüft haben.