From 3ef4634493e83bd968cea8ad58346e248fe6d06b Mon Sep 17 00:00:00 2001 From: Refik Hadzialic Date: Sun, 9 Oct 2011 19:21:23 +0200 Subject: Removed some errors that latex produced because of special characters! --- notFinishedCode/Report/test.log | 94 ++++----------------------------------- notFinishedCode/Report/test.pdf | Bin 609349 -> 608478 bytes notFinishedCode/Report/test.tex | 2 +- notFinishedCode/Report/test.tex~ | 23 +++++----- 4 files changed, 21 insertions(+), 98 deletions(-) (limited to 'notFinishedCode') diff --git a/notFinishedCode/Report/test.log b/notFinishedCode/Report/test.log index 4e10f0a..925b95b 100644 --- a/notFinishedCode/Report/test.log +++ b/notFinishedCode/Report/test.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.9.27) 9 OCT 2011 19:18 +This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.9.27) 9 OCT 2011 19:21 entering extended mode %&-line parsing enabled. **test.tex @@ -321,86 +321,8 @@ LaTeX Font Info: External font `cmex10' loaded for size (Font) <9> on input line 175. LaTeX Font Info: External font `cmex10' loaded for size (Font) <5> on input line 175. - - -! Package inputenc Error: Keyboard character used is undefined -(inputenc) in inputencoding `latin2'. - -See the inputenc package documentation for explanation. -Type H for immediate help. - ... - -l.182 ...tor 44 byte, depth reached 65, ••• - errors: 0 ••• -You need to provide a definition with \DeclareInputText -or \DeclareInputMath before using this key. - - -! Package inputenc Error: Keyboard character used is undefined -(inputenc) in inputencoding `latin2'. - -See the inputenc package documentation for explanation. -Type H for immediate help. - ... - -l.182 ...tor 44 byte, depth reached 65, ••• - errors: 0 ••• -You need to provide a definition with \DeclareInputText -or \DeclareInputMath before using this key. - - -! Package inputenc Error: Keyboard character used is undefined -(inputenc) in inputencoding `latin2'. - -See the inputenc package documentation for explanation. -Type H for immediate help. - ... - -l.182 ...tor 44 byte, depth reached 65, ••• - errors: 0 ••• -You need to provide a definition with \DeclareInputText -or \DeclareInputMath before using this key. - - -! Package inputenc Error: Keyboard character used is undefined -(inputenc) in inputencoding `latin2'. - -See the inputenc package documentation for explanation. -Type H for immediate help. - ... - -l.182 ...reached 65, ••• errors: 0 ••• - -You need to provide a definition with \DeclareInputText -or \DeclareInputMath before using this key. - - -! Package inputenc Error: Keyboard character used is undefined -(inputenc) in inputencoding `latin2'. - -See the inputenc package documentation for explanation. -Type H for immediate help. - ... - -l.182 ...reached 65, ••• errors: 0 ••• - -You need to provide a definition with \DeclareInputText -or \DeclareInputMath before using this key. - - -! Package inputenc Error: Keyboard character used is undefined -(inputenc) in inputencoding `latin2'. - -See the inputenc package documentation for explanation. -Type H for immediate help. - ... - -l.182 ...reached 65, ••• errors: 0 ••• - -You need to provide a definition with \DeclareInputText -or \DeclareInputMath before using this key. - -[10] + [10] + File: sshTunnel.png Graphic file (type png) [11 @@ -429,10 +351,10 @@ File: t1cmtt.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) AED: lastpage setting LastPage [19] (./test.aux) ) Here is how much of TeX's memory you used: - 4886 strings out of 495061 - 67587 string characters out of 1182621 + 4885 strings out of 495061 + 67574 string characters out of 1182621 255259 words of memory out of 3000000 - 8003 multiletter control sequences out of 15000+50000 + 8002 multiletter control sequences out of 15000+50000 18484 words of font info for 43 fonts, out of 3000000 for 9000 28 hyphenation exceptions out of 8191 36i,10n,45p,751b,1285s stack positions out of 5000i,500n,10000p,200000b,50000s @@ -449,9 +371,9 @@ ur/jknappen/ec/ecsx1440.600pk> -Output written on test.pdf (19 pages, 609349 bytes). +Output written on test.pdf (19 pages, 608478 bytes). PDF statistics: - 589 PDF objects out of 1000 (max. 8388607) + 587 PDF objects out of 1000 (max. 8388607) 0 named destinations out of 1000 (max. 500000) 36 words of extra memory for PDF output out of 10000 (max. 10000000) diff --git a/notFinishedCode/Report/test.pdf b/notFinishedCode/Report/test.pdf index 939dad1..675e879 100644 Binary files a/notFinishedCode/Report/test.pdf and b/notFinishedCode/Report/test.pdf differ diff --git a/notFinishedCode/Report/test.tex b/notFinishedCode/Report/test.tex index 1224bf0..05fa6d9 100644 --- a/notFinishedCode/Report/test.tex +++ b/notFinishedCode/Report/test.tex @@ -179,7 +179,7 @@ Full statespace search for: assertion violations + cycle checks - (disabled by -DSAFETY) invalid end states + -State-vector 44 byte, depth reached 65, ••• errors: 0 ••• +State-vector 44 byte, depth reached 65, errors: 0 40 states, stored 3 states, matched 43 transitions (= stored+matched) diff --git a/notFinishedCode/Report/test.tex~ b/notFinishedCode/Report/test.tex~ index dc38a71..9db3763 100644 --- a/notFinishedCode/Report/test.tex~ +++ b/notFinishedCode/Report/test.tex~ @@ -114,7 +114,7 @@ Our first version of the developed program code for controlling the cell phones to send commands instead of using a state controlled approach to confirm that every command was successfuly received and executed by the cell phone. It meant we had to make an enormous number of assumptions. In comparison to our second approach, to build a state controlled cell phone control class, our first approach was inferior and slower. The state controlled method connected two cell phones, on the same base station, up to 15 times faster than timed approach. -\subsection{Some subsection} +\subsection{subsection} \newpage \section{Hardware design} In our team project we had the option to choose all the required hardware ourself beside the two BeagleBoards, which we were supplied by Konrad and Dennis. @@ -153,37 +153,38 @@ At the start we did not have a cable supplied for the Siemens S55 phone. We cont \subsection{Hanlder side} \begin{figure}[ht!] \centering - \includegraphics[width=140mm]{protocolCommunicationHandler.png} + \includegraphics[width=130mm]{protocolCommunicationHandler.png} \caption[]{Flowchart of the protocol, on the handler side} \end{figure} \begin{figure}[ht!] \centering - \includegraphics[width=140mm]{protocolCommunicationcControllerReceiver.png} + \includegraphics[width=130mm]{protocolCommunicationcControllerReceiver.png} \caption[]{Flowchart of the protocol, on the controller side for the caller} \end{figure} \begin{figure}[ht!] \centering - \includegraphics[width=140mm]{protocolCommunicationcControllerCaller.png} + \includegraphics[width=130mm]{protocolCommunicationcControllerCaller.png} \caption[]{Flowchart of the protocol, on the controller side for the receiver} \end{figure} \subsection{Verification of the protocol} The verification results are listed here: \begin{lstlisting} -(Spin Version 6.1.0 -- 2 May 2011) - + Partial Order Reduction +(Spin Version 6.1.0 -- 2 May 2011) + Partial Order Reduction Full statespace search for: never claim - (none specified) assertion violations + - cycle checks - (disabled by -DSAFETY) - invalid end states + -State-vector 44 byte, depth reached 65, ••• errors: 0 ••• + cycle checks - (disabled by -DSAFETY) + invalid end states + + +State-vector 44 byte, depth reached 65, errors: 0 40 states, stored 3 states, matched - 43 transitions (= stored+matched) + 43 transitions ( stored+matched) 90 atomic steps + hash conflicts: 0 (resolved) 2.195 memory usage (Mbyte) unreached in proctype Server1 @@ -197,7 +198,7 @@ pan: elapsed time 0 seconds \clearpage - +\newpage \section{Security and safety of the system} -- cgit v1.2.3-55-g7522