# HG changeset patch # User Eugen Sawin # Date 1300925505 -3600 # Node ID e5ed0efaddd9660ead7b5e8d2f696cb3e2addd77 # Parent 866172a164725c03a152838e5cd3304753b5acbd Added klappentext and new title. diff -r 866172a16472 -r e5ed0efaddd9 book/klappentext.txt --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/book/klappentext.txt Thu Mar 24 01:11:45 2011 +0100 @@ -0,0 +1,1 @@ +Durch den stetigen Wachstum des Luftverkehrs sind die Kapazitäten in manchen Regionen der Welt bereits ausgelastet. Wie im Straßenverkehr entstehen auch im Luftverkehrsnetz Engpässe. Neben der Gewährleistung der Sicherheit verfolgt die Flugsicherung auch ökonomische und ökologische Ziele. Regulatorische Eingriffe in den Flugverlauf haben Auswirkung auf den Treibstoffverbrauch und die Flugdauer - wie kann man die Häufigkeit solcher Maßnahmen reduzieren? Wie modelliert man die komplexen und dynamischen Beschränkungen von Lufträumen? Die Arbeit dokumentiert den Projektverlauf einer Entwicklung von Softwarekomponenten für die Flugsicherung. Nach einer grundlegenden Einleitung in die Organisation der Flugsicherung, werden die Softwarekomponenten im Detail erläutert. Anschließend werden die Analysemethoden vorgestellt und die Auswertung des Testbetriebs präsentiert. Das Buch richtet sich an Entwickler sicherheitskritischer Software, an Interessierte der Luftfahrt und der Flugsicherung und an Alle, die hinter die Kulissen eines solchen Projekts blicken möchten. diff -r 866172a16472 -r e5ed0efaddd9 book/out/buchblock.pdf Binary file book/out/buchblock.pdf has changed diff -r 866172a16472 -r e5ed0efaddd9 book/src/document.log --- a/book/src/document.log Wed Mar 23 21:10:10 2011 +0100 +++ b/book/src/document.log Thu Mar 24 01:11:45 2011 +0100 @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.1.10) 23 MAR 2011 19:41 +This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.1.10) 24 MAR 2011 01:03 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -856,7 +856,7 @@ \c@LT@chunks=\count135 \LT@p@ftn=\toks34 ) -Class scrreprt Info: longtable captions redefined on input line 61. +Class scrreprt Info: longtable captions redefined on input line 60. \@indexfile=\write3 \openout3 = `document.idx'. @@ -865,27 +865,27 @@ (./document.aux) \openout1 = `document.aux'. -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 64. -LaTeX Font Info: ... okay on input line 64. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 64. -LaTeX Font Info: ... okay on input line 64. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 64. -LaTeX Font Info: ... okay on input line 64. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 64. -LaTeX Font Info: ... okay on input line 64. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 64. -LaTeX Font Info: ... okay on input line 64. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 64. -LaTeX Font Info: ... okay on input line 64. -LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 64. -LaTeX Font Info: Try loading font information for TS1+cmr on input line 64. +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 63. +LaTeX Font Info: ... okay on input line 63. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 63. +LaTeX Font Info: ... okay on input line 63. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 63. +LaTeX Font Info: ... okay on input line 63. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 63. +LaTeX Font Info: ... okay on input line 63. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 63. +LaTeX Font Info: ... okay on input line 63. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 63. +LaTeX Font Info: ... okay on input line 63. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 63. +LaTeX Font Info: Try loading font information for TS1+cmr on input line 63. (/usr/share/texmf-texlive/tex/latex/base/ts1cmr.fd File: ts1cmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) -LaTeX Font Info: ... okay on input line 64. -LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 64. -LaTeX Font Info: ... okay on input line 64. -LaTeX Font Info: Try loading font information for OT1+lmr on input line 64. +LaTeX Font Info: ... okay on input line 63. +LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 63. +LaTeX Font Info: ... okay on input line 63. +LaTeX Font Info: Try loading font information for OT1+lmr on input line 63. (/usr/share/texmf/tex/latex/lm/ot1lmr.fd File: ot1lmr.fd 2009/10/30 v1.6 Font defs for Latin Modern @@ -945,7 +945,7 @@ \everyMPtoPDFconversion=\toks36 ) \c@lstlisting=\count141 -Package hyperref Info: Link coloring ON on input line 64. +Package hyperref Info: Link coloring ON on input line 63. (/usr/share/texmf-texlive/tex/latex/hyperref/nameref.sty Package: nameref 2007/05/29 v2.31 Cross-referencing by name of section @@ -954,8 +954,8 @@ ) \c@section@level=\count142 ) -LaTeX Info: Redefining \ref on input line 64. -LaTeX Info: Redefining \pageref on input line 64. +LaTeX Info: Redefining \ref on input line 63. +LaTeX Info: Redefining \pageref on input line 63. (./document.out) (./document.out) \@outlinefile=\write4 @@ -963,14 +963,14 @@ \AtBeginShipoutBox=\box38 (./title.tex -LaTeX Font Info: Try loading font information for OT1+lmss on input line 21. +LaTeX Font Info: Try loading font information for OT1+lmss on input line 23. (/usr/share/texmf/tex/latex/lm/ot1lmss.fd File: ot1lmss.fd 2009/10/30 v1.6 Font defs for Latin Modern ) -LaTeX Font Warning: Font shape `OT1/lmss/m/sc' in size <14.4> not available -(Font) Font shape `OT1/lmr/m/sc' tried instead on input line 21. +LaTeX Font Warning: Font shape `OT1/lmss/m/sc' in size <12> not available +(Font) Font shape `OT1/lmr/m/sc' tried instead on input line 23. [1 @@ -993,7 +993,7 @@ (scrreprt) `scrreprt' soon . ) -Overfull \hbox (1.20625pt too wide) in paragraph at lines 7--74 +Overfull \hbox (1.20625pt too wide) in paragraph at lines 7--73 []\OT1/lmr/m/n/12 Herr Hilt hat mich bei der Ent-wick-lung und Ein-ar-bei-tung in die PRISMA-Architektur [] @@ -1298,7 +1298,7 @@ [] ) -Underfull \hbox (badness 10000) in paragraph at lines 188--78 +Underfull \hbox (badness 10000) in paragraph at lines 188--77 [] @@ -2054,7 +2054,7 @@ (scrreprt) instead of \float@listhead. (scrreprt) Definition of \float@listhead my be removed from (scrreprt) `scrreprt' soon, so it should not be used on input lin -e 86. +e 85. [83 @@ -2116,11 +2116,11 @@ ) Here is how much of TeX's memory you used: - 13167 strings out of 495021 - 186723 string characters out of 1181035 + 13166 strings out of 495021 + 186704 string characters out of 1181035 329107 words of memory out of 3000000 - 15161 multiletter control sequences out of 15000+50000 - 64359 words of font info for 66 fonts, out of 3000000 for 9000 + 15160 multiletter control sequences out of 15000+50000 + 61611 words of font info for 65 fonts, out of 3000000 for 9000 28 hyphenation exceptions out of 8191 45i,11n,70p,1257b,2174s stack positions out of 5000i,500n,10000p,200000b,50000s {/usr/share/texmf/fonts/enc/dvips/lm/lm-ts1.enc}{/usr/share/texmf/fonts/enc/d @@ -2138,7 +2138,7 @@ ype1/public/lm/lmsy10.pfb> -Output written on document.pdf (98 pages, 1801487 bytes). +Output written on document.pdf (98 pages, 1801584 bytes). PDF statistics: 2458 PDF objects out of 2487 (max. 8388607) 802 named destinations out of 1000 (max. 500000) diff -r 866172a16472 -r e5ed0efaddd9 book/src/document.pdf Binary file book/src/document.pdf has changed diff -r 866172a16472 -r e5ed0efaddd9 book/src/document.tex --- a/book/src/document.tex Wed Mar 23 21:10:10 2011 +0100 +++ b/book/src/document.tex Thu Mar 24 01:11:45 2011 +0100 @@ -54,7 +54,6 @@ %} %\makeatother% --> \makeatletter - %\lstset{language=C++} %\usepackage{SIunits} \usepackage{longtable} diff -r 866172a16472 -r e5ed0efaddd9 book/src/title.tex --- a/book/src/title.tex Wed Mar 23 21:10:10 2011 +0100 +++ b/book/src/title.tex Thu Mar 24 01:11:45 2011 +0100 @@ -15,11 +15,13 @@ %\LARGE \textrm{\textbf{Entwicklung einer Modellierungssprache und Planungskomponente zur Luftverkehrsoptimierung}}\\ %\LARGE \textrm{\textbf{Optimierte Abflugplanung durch Modellierung von Luftraumbeschränkungen}}\\ %\LARGE \textrm{\textbf{Air Traffic Flow Management in den Vereinigten Arabischen Emirate}}\\ -\textsc{\LARGE {{Flussmanagement in der Flugsicherung}}}\\ +\textsc{\LARGE {\textmd{{Verkehrsflussregelung in der Flugsicherung}}}}\\ +%\textsc{\LARGE {\textmd{{Air Traffic Flow Management in den Vereinigten Arabischen Emiraten}}}}\\ %\LARGE \textrm{\textbf{Flexible Modeling of Dynamic Air Traffic Flow Restrictions and its Application in Departure Flow Optimisation}}\\ \vspace{20pt} -\textsc{\large \textsf{{Modellierung der Luftraumbeschränkungen und Optimierung der Abflugplanung}}}\\ +%\textsc{\large \textsf{{Modellierung von Luftraumbeschränkungen und Optimierung der Abflugplanung}}}\\ +\textsc{\textsf{{Ein Projekt zur Optimierung der Abflugplanung in den Vereinigten Arabischen Emiraten}}}\\ \vspace{150pt} -\textsc{\large \textsf{Eugen Sawin}}\\ +\textsc{\textsf{Eugen Sawin}}\\ \end{center} \end{titlepage}