From 24fed0489d40a652521234943c5d8791f4d5daaa Mon Sep 17 00:00:00 2001 From: ali Date: Mon, 1 Jun 2015 15:46:40 +0200 Subject: [PATCH] Update by Ali today --- ACRONYMS.tex | 0 Abstruct.tex | 0 CHAPITRE_01.tex | 0 CHAPITRE_02.tex | 0 CHAPITRE_03.tex | 0 CHAPITRE_04.tex | 161 ++++++++++++------------ CHAPITRE_05.tex | 2 +- CHAPITRE_06.tex | 0 CONCLUSION.tex | 0 Figures/CHAPITRE_01.tex~ | 0 Figures/CHAPITRE_02.tex~ | 0 Figures/Introduction.tex~ | 0 Figures/bib.tex~ | 0 Figures/ch1/RDM-eps-converted-to.pdf | Bin Figures/ch1/RDM.eps | 0 Figures/ch1/RDM.pdf | Bin Figures/ch1/WNT-eps-converted-to.pdf | Bin Figures/ch1/WNT.eps | 0 Figures/ch1/WNT.pdf | Bin Figures/ch1/WSN-M.eps | 0 Figures/ch1/WSN-M.pdf | Bin Figures/ch1/WSN-S.pdf | Bin Figures/ch1/WSNAP-eps-converted-to.pdf | Bin Figures/ch1/WSNAP.eps | 0 Figures/ch1/WSNAP.pdf | Bin Figures/ch1/WSNT.jpg | Bin Figures/ch1/twsn2.pdf | Bin Figures/ch1/typesWSN.pdf | Bin Figures/ch1/wsn-t-eps-converted-to.pdf | Bin Figures/ch1/wsn-t.eps | 0 Figures/ch1/wsn.jpg | Bin Figures/ch2/DESK.eps | 0 Figures/ch2/DESK.jpeg | Bin Figures/ch2/GAF1.eps | 0 Figures/ch2/GAF1.jpeg | Bin Figures/ch2/GAF2.eps | 0 Figures/ch2/GAF2.jpeg | Bin Figures/ch2/P1.jpg | Bin Figures/ch2/P11.jpg | Bin Figures/ch2/P2.jpg | Bin Figures/ch2/P22.jpg | Bin Figures/ch4/FirstModel.pdf | Bin Figures/ch4/OneSensingRound.jpg | Bin Figures/ch4/R1/ASR.pdf | Bin Figures/ch4/R1/CR.pdf | Bin Figures/ch4/R1/EC50.pdf | Bin Figures/ch4/R1/EC95.pdf | Bin Figures/ch4/R1/LT50.pdf | Bin Figures/ch4/R1/LT95.pdf | Bin Figures/ch4/R1/SR.pdf | Bin Figures/ch4/R1/T.eps | 0 Figures/ch4/R1/T.pdf | Bin Figures/ch4/R1/T.ps | 0 Figures/ch4/R2/ASR.pdf | Bin Figures/ch4/R2/CR.pdf | Bin Figures/ch4/R2/EC50.pdf | Bin Figures/ch4/R2/EC95.pdf | Bin Figures/ch4/R2/LT50.pdf | Bin Figures/ch4/R2/LT95.pdf | Bin Figures/ch4/R2/SR.pdf | Bin Figures/ch4/R2/T.eps | 0 Figures/ch4/R2/T.pdf | Bin Figures/ch4/R2/T.ps | 0 Figures/ch4/R3/ASR.pdf | Bin 11798 -> 0 bytes Figures/ch4/R3/CR.pdf | Bin 11999 -> 0 bytes Figures/ch4/R3/EC50.pdf | Bin 8246 -> 0 bytes Figures/ch4/R3/EC95.pdf | Bin 8255 -> 0 bytes Figures/ch4/R3/LT50.pdf | Bin 8324 -> 0 bytes Figures/ch4/R3/LT95.pdf | Bin 8324 -> 0 bytes Figures/ch4/R3/SR.pdf | Bin 9148 -> 0 bytes Figures/ch4/fig21.pdf | Bin Figures/ch4/fig22.pdf | Bin Figures/ch4/fig23.pdf | Bin Figures/ch4/fig24.pdf | Bin Figures/ch4/fig25.pdf | Bin Figures/ch4/fig26.pdf | Bin Figures/ch4/fig27.pdf | Bin Figures/ch4/principles13.pdf | Bin Figures/ch5/GeneralModel.jpg | Bin Figures/ch5/Modelgeneral.pdf | Bin Figures/ch5/R1/ASR.pdf | Bin Figures/ch5/R1/CR.pdf | Bin Figures/ch5/R1/EC50.pdf | Bin Figures/ch5/R1/EC95.pdf | Bin Figures/ch5/R1/LT50.pdf | Bin Figures/ch5/R1/LT95.pdf | Bin Figures/ch5/R1/SR.pdf | Bin Figures/ch5/R1/T.pdf | Bin Figures/ch6/Model.pdf | Bin Figures/ch6/R/ASR-eps-converted-to.pdf | Bin Figures/ch6/R/ASR.eps | 0 Figures/ch6/R/ASR.pdf | Bin Figures/ch6/R/CR-eps-converted-to.pdf | Bin Figures/ch6/R/CR.eps | 0 Figures/ch6/R/CR.pdf | Bin Figures/ch6/R/EC50-eps-converted-to.pdf | Bin Figures/ch6/R/EC50.eps | 0 Figures/ch6/R/EC50.pdf | Bin Figures/ch6/R/EC95-eps-converted-to.pdf | Bin Figures/ch6/R/EC95.eps | 0 Figures/ch6/R/EC95.pdf | Bin Figures/ch6/R/LT50-eps-converted-to.pdf | Bin Figures/ch6/R/LT50.eps | 0 Figures/ch6/R/LT50.pdf | Bin Figures/ch6/R/LT95-eps-converted-to.pdf | Bin Figures/ch6/R/LT95.eps | 0 Figures/ch6/R/LT95.pdf | Bin Figures/ch6/R/LTa-eps-converted-to.pdf | Bin Figures/ch6/R/LTa.eps | 0 Figures/ch6/R/LTa.pdf | Bin Figures/ch6/ex4pcm.jpg | Bin Figures/ch6/ex5pcm.jpg | Bin Figures/ch6/expcm.pdf | Bin Figures/ch6/expcm2.jpg | Bin Figures/ch6/pcm.jpg | Bin Figures/ch6/twosensors.jpg | Bin Figures/citation.tex~ | 0 Figures/entete.tex~ | 0 Figures/these.tex~ | 0 INTRODUCTION.tex | 0 Resume.tex | 0 Thesis.tex | 0 Thesis.toc | 6 +- algorithme.sty | 0 bib.bib | 0 changemargin.sty | 0 drop.sty | 0 dropping.sty | 0 entete.tex | 0 missfont.log | 0 upmethodology-document.sty | 0 upmethodology-fmt.sty | 0 upmext-spimufcphdthesis.cfg | 0 yfonts.sty | 0 134 files changed, 85 insertions(+), 84 deletions(-) mode change 100755 => 100644 ACRONYMS.tex mode change 100755 => 100644 Abstruct.tex mode change 100755 => 100644 CHAPITRE_01.tex mode change 100755 => 100644 CHAPITRE_02.tex mode change 100755 => 100644 CHAPITRE_03.tex mode change 100755 => 100644 CHAPITRE_04.tex mode change 100755 => 100644 CHAPITRE_05.tex mode change 100755 => 100644 CHAPITRE_06.tex mode change 100755 => 100644 CONCLUSION.tex mode change 100755 => 100644 Figures/CHAPITRE_01.tex~ mode change 100755 => 100644 Figures/CHAPITRE_02.tex~ mode change 100755 => 100644 Figures/Introduction.tex~ mode change 100755 => 100644 Figures/bib.tex~ mode change 100755 => 100644 Figures/ch1/RDM-eps-converted-to.pdf mode change 100755 => 100644 Figures/ch1/RDM.eps mode change 100755 => 100644 Figures/ch1/RDM.pdf mode change 100755 => 100644 Figures/ch1/WNT-eps-converted-to.pdf mode change 100755 => 100644 Figures/ch1/WNT.eps mode change 100755 => 100644 Figures/ch1/WNT.pdf mode change 100755 => 100644 Figures/ch1/WSN-M.eps mode change 100755 => 100644 Figures/ch1/WSN-M.pdf mode change 100755 => 100644 Figures/ch1/WSN-S.pdf mode change 100755 => 100644 Figures/ch1/WSNAP-eps-converted-to.pdf mode change 100755 => 100644 Figures/ch1/WSNAP.eps mode change 100755 => 100644 Figures/ch1/WSNAP.pdf mode change 100755 => 100644 Figures/ch1/WSNT.jpg mode change 100755 => 100644 Figures/ch1/twsn2.pdf mode change 100755 => 100644 Figures/ch1/typesWSN.pdf mode change 100755 => 100644 Figures/ch1/wsn-t-eps-converted-to.pdf mode change 100755 => 100644 Figures/ch1/wsn-t.eps mode change 100755 => 100644 Figures/ch1/wsn.jpg mode change 100755 => 100644 Figures/ch2/DESK.eps mode change 100755 => 100644 Figures/ch2/DESK.jpeg mode change 100755 => 100644 Figures/ch2/GAF1.eps mode change 100755 => 100644 Figures/ch2/GAF1.jpeg mode change 100755 => 100644 Figures/ch2/GAF2.eps mode change 100755 => 100644 Figures/ch2/GAF2.jpeg mode change 100755 => 100644 Figures/ch2/P1.jpg mode change 100755 => 100644 Figures/ch2/P11.jpg mode change 100755 => 100644 Figures/ch2/P2.jpg mode change 100755 => 100644 Figures/ch2/P22.jpg mode change 100755 => 100644 Figures/ch4/FirstModel.pdf mode change 100755 => 100644 Figures/ch4/OneSensingRound.jpg mode change 100755 => 100644 Figures/ch4/R1/ASR.pdf mode change 100755 => 100644 Figures/ch4/R1/CR.pdf mode change 100755 => 100644 Figures/ch4/R1/EC50.pdf mode change 100755 => 100644 Figures/ch4/R1/EC95.pdf mode change 100755 => 100644 Figures/ch4/R1/LT50.pdf mode change 100755 => 100644 Figures/ch4/R1/LT95.pdf mode change 100755 => 100644 Figures/ch4/R1/SR.pdf mode change 100755 => 100644 Figures/ch4/R1/T.eps mode change 100755 => 100644 Figures/ch4/R1/T.pdf mode change 100755 => 100644 Figures/ch4/R1/T.ps mode change 100755 => 100644 Figures/ch4/R2/ASR.pdf mode change 100755 => 100644 Figures/ch4/R2/CR.pdf mode change 100755 => 100644 Figures/ch4/R2/EC50.pdf mode change 100755 => 100644 Figures/ch4/R2/EC95.pdf mode change 100755 => 100644 Figures/ch4/R2/LT50.pdf mode change 100755 => 100644 Figures/ch4/R2/LT95.pdf mode change 100755 => 100644 Figures/ch4/R2/SR.pdf mode change 100755 => 100644 Figures/ch4/R2/T.eps mode change 100755 => 100644 Figures/ch4/R2/T.pdf mode change 100755 => 100644 Figures/ch4/R2/T.ps delete mode 100755 Figures/ch4/R3/ASR.pdf delete mode 100755 Figures/ch4/R3/CR.pdf delete mode 100755 Figures/ch4/R3/EC50.pdf delete mode 100755 Figures/ch4/R3/EC95.pdf delete mode 100755 Figures/ch4/R3/LT50.pdf delete mode 100755 Figures/ch4/R3/LT95.pdf delete mode 100755 Figures/ch4/R3/SR.pdf mode change 100755 => 100644 Figures/ch4/fig21.pdf mode change 100755 => 100644 Figures/ch4/fig22.pdf mode change 100755 => 100644 Figures/ch4/fig23.pdf mode change 100755 => 100644 Figures/ch4/fig24.pdf mode change 100755 => 100644 Figures/ch4/fig25.pdf mode change 100755 => 100644 Figures/ch4/fig26.pdf mode change 100755 => 100644 Figures/ch4/fig27.pdf mode change 100755 => 100644 Figures/ch4/principles13.pdf mode change 100755 => 100644 Figures/ch5/GeneralModel.jpg mode change 100755 => 100644 Figures/ch5/Modelgeneral.pdf mode change 100755 => 100644 Figures/ch5/R1/ASR.pdf mode change 100755 => 100644 Figures/ch5/R1/CR.pdf mode change 100755 => 100644 Figures/ch5/R1/EC50.pdf mode change 100755 => 100644 Figures/ch5/R1/EC95.pdf mode change 100755 => 100644 Figures/ch5/R1/LT50.pdf mode change 100755 => 100644 Figures/ch5/R1/LT95.pdf mode change 100755 => 100644 Figures/ch5/R1/SR.pdf mode change 100755 => 100644 Figures/ch5/R1/T.pdf mode change 100755 => 100644 Figures/ch6/Model.pdf mode change 100755 => 100644 Figures/ch6/R/ASR-eps-converted-to.pdf mode change 100755 => 100644 Figures/ch6/R/ASR.eps mode change 100755 => 100644 Figures/ch6/R/ASR.pdf mode change 100755 => 100644 Figures/ch6/R/CR-eps-converted-to.pdf mode change 100755 => 100644 Figures/ch6/R/CR.eps mode change 100755 => 100644 Figures/ch6/R/CR.pdf mode change 100755 => 100644 Figures/ch6/R/EC50-eps-converted-to.pdf mode change 100755 => 100644 Figures/ch6/R/EC50.eps mode change 100755 => 100644 Figures/ch6/R/EC50.pdf mode change 100755 => 100644 Figures/ch6/R/EC95-eps-converted-to.pdf mode change 100755 => 100644 Figures/ch6/R/EC95.eps mode change 100755 => 100644 Figures/ch6/R/EC95.pdf mode change 100755 => 100644 Figures/ch6/R/LT50-eps-converted-to.pdf mode change 100755 => 100644 Figures/ch6/R/LT50.eps mode change 100755 => 100644 Figures/ch6/R/LT50.pdf mode change 100755 => 100644 Figures/ch6/R/LT95-eps-converted-to.pdf mode change 100755 => 100644 Figures/ch6/R/LT95.eps mode change 100755 => 100644 Figures/ch6/R/LT95.pdf mode change 100755 => 100644 Figures/ch6/R/LTa-eps-converted-to.pdf mode change 100755 => 100644 Figures/ch6/R/LTa.eps mode change 100755 => 100644 Figures/ch6/R/LTa.pdf mode change 100755 => 100644 Figures/ch6/ex4pcm.jpg mode change 100755 => 100644 Figures/ch6/ex5pcm.jpg mode change 100755 => 100644 Figures/ch6/expcm.pdf mode change 100755 => 100644 Figures/ch6/expcm2.jpg mode change 100755 => 100644 Figures/ch6/pcm.jpg mode change 100755 => 100644 Figures/ch6/twosensors.jpg mode change 100755 => 100644 Figures/citation.tex~ mode change 100755 => 100644 Figures/entete.tex~ mode change 100755 => 100644 Figures/these.tex~ mode change 100755 => 100644 INTRODUCTION.tex mode change 100755 => 100644 Resume.tex mode change 100755 => 100644 Thesis.tex mode change 100755 => 100644 Thesis.toc mode change 100755 => 100644 algorithme.sty mode change 100755 => 100644 bib.bib mode change 100755 => 100644 changemargin.sty mode change 100755 => 100644 drop.sty mode change 100755 => 100644 dropping.sty mode change 100755 => 100644 entete.tex mode change 100755 => 100644 missfont.log mode change 100755 => 100644 upmethodology-document.sty mode change 100755 => 100644 upmethodology-fmt.sty mode change 100755 => 100644 upmext-spimufcphdthesis.cfg mode change 100755 => 100644 yfonts.sty diff --git a/ACRONYMS.tex b/ACRONYMS.tex old mode 100755 new mode 100644 diff --git a/Abstruct.tex b/Abstruct.tex old mode 100755 new mode 100644 diff --git a/CHAPITRE_01.tex b/CHAPITRE_01.tex old mode 100755 new mode 100644 diff --git a/CHAPITRE_02.tex b/CHAPITRE_02.tex old mode 100755 new mode 100644 diff --git a/CHAPITRE_03.tex b/CHAPITRE_03.tex old mode 100755 new mode 100644 diff --git a/CHAPITRE_04.tex b/CHAPITRE_04.tex old mode 100755 new mode 100644 index 2df2e9e..6365fb8 --- a/CHAPITRE_04.tex +++ b/CHAPITRE_04.tex @@ -145,8 +145,6 @@ The leader will solve an integer program (see section~\ref{ch4:sec:03}) to \label{ch4:sec:02:03:04} Active sensors in the round will execute their sensing task to preserve maximal coverage in the region of interest. We will assume that the cost of keeping a node awake (or asleep) for sensing task is the same for all wireless sensor nodes in the network. Each sensor will receive an ActiveSleep packet from the leader informing it to stay awake or to go to sleep for a time equal to the round of sensing until starting a new period. -An outline of the protocol implementation is given by Algorithm~\ref{alg:DiLCO} which describes the execution of a period by a node (denoted by $s_j$ for a sensor node indexed by $j$). In the beginning, a node checks whether it has enough energy to stay active during the next sensing phase (i.e., the remaining energy ($RE_j$) $\geq$ $E_{th}$ (the amount of energy required to be alive during one round)). If yes, it exchanges information with all the other nodes belonging to the same subregion: it collects from each node its position coordinates, remaining energy ($RE_j$), ID, and the number of one-hop neighbors still alive. Once the first phase is completed, the nodes of a subregion choose a leader to take the decision based on the following criteria with decreasing importance: larger number of neighbors, larger remaining energy, and then in case of equality, larger index. After that, if the sensor node is leader, it will execute the integer program algorithm (see Section~\ref{ch4:sec:03}) which provides a set of sensors planned to be active in the next sensing phase. As leader, it will send an Active-Sleep packet to each sensor in the same subregion to indicate it if it has to be active or not. Alternately, if the sensor is not the leader, it will wait for the Active-Sleep packet to know its state for the coming sensing phase. - \begin{algorithm}[h!] \BlankLine @@ -185,6 +183,7 @@ An outline of the protocol implementation is given by Algorithm~\ref{alg:DiLCO} \end{algorithm} +An outline of the protocol implementation is given by Algorithm~\ref{alg:DiLCO} which describes the execution of a period by a node (denoted by $s_j$ for a sensor node indexed by $j$). In the beginning, a node checks whether it has enough energy to stay active during the next sensing phase (i.e., the remaining energy ($RE_j$) $\geq$ $E_{th}$ (the amount of energy required to be alive during one round)). If yes, it exchanges information with all the other nodes belonging to the same subregion: it collects from each node its position coordinates, remaining energy ($RE_j$), ID, and the number of one-hop neighbors still alive. Once the first phase is completed, the nodes of a subregion choose a leader to take the decision based on the following criteria with decreasing importance: larger number of neighbors, larger remaining energy, and then in case of equality, larger index. After that, if the sensor node is leader, it will execute the integer program algorithm (see Section~\ref{ch4:sec:03}) which provides a set of sensors planned to be active in the next sensing phase. As leader, it will send an Active-Sleep packet to each sensor in the same subregion to indicate it if it has to be active or not. Alternately, if the sensor is not the leader, it will wait for the Active-Sleep packet to know its state for the coming sensing phase. %Primary Points based \section{Coverage Problem Formulation} @@ -281,7 +280,7 @@ large compared to $W_{\theta}$. \section{Simulation Results and Analysis} \label{ch4:sec:04} -\subsection{Simulation Framework} %%% +\subsection{Simulation Framework} \label{ch4:sec:04:01} To assess the performance of DiLCO protocol, we have used the discrete event simulator OMNeT++ \cite{ref158} to run different series of simulations. Table~\ref{tablech4} gives the chosen parameters setting. @@ -368,8 +367,9 @@ COMPUTATION & on & on & on & 26.83 \\ % is used to refer this table in the text \end{table} -\indent For the sake of simplicity we ignore the energy needed to turn on the radio, to start up the sensor node, to move from one status to another, etc. Thus, when a sensor becomes active (i.e., it has already received its status from leader), it can turn its radio off to save battery. The value of energy spent to send a 1-bit-content message is obtained by using the equation in ~\cite{ref112} to calculate the energy cost for transmitting messages and we propose the same value for receiving the packets. The energy needed to send or receive a 1-bit packet is equal to $0.2575~mW$. - +\indent For the sake of simplicity we ignore the energy needed to turn on the radio, to start up the sensor node, to move from one status to another, etc. Thus, when a sensor becomes active (i.e., it has already received its status from leader), it can turn its radio off to save battery. DiLCO uses two types of packets +for communication. The size of the INFO packet and Active-Sleep packet +are 112 bits and 16 bits respectively. The value of energy spent to send a 1-bit-content message is obtained by using the equation in ~\cite{ref112} to calculate the energy cost for transmitting messages and we propose the same value for receiving the packets. The energy needed to send or receive a 1-bit packet is equal to $0.2575~mW$. %We have used an energy consumption model, which is presented in chapter 1, section \ref{ch1:sec9:subsec2}. @@ -399,7 +399,7 @@ the efficiency of our approach: coverage ratio: \begin{equation*} \scriptsize -\mbox{CR}(\%) = \frac{\mbox{$n$}}{\mbox{$N$}} \times 100. +\mbox{CR}(\%) = \frac{\mbox{$n$}}{\mbox{$N$}} \times 100, \end{equation*} where $n$ is the number of covered grid points by active sensors of every subregions during the current sensing phase and $N$ is the total number of grid @@ -425,13 +425,13 @@ in order to minimize the communication overhead and maximize the network lifetime. The Active Sensors Ratio is defined as follows: \begin{equation*} \scriptsize -\mbox{ASR}(\%) = \frac{\sum\limits_{r=1}^R \mbox{$A_r$}}{\mbox{$J$}} \times 100 . +\mbox{ASR}(\%) = \frac{\sum\limits_{r=1}^R \mbox{$A_r$}}{\mbox{$J$}} \times 100, \end{equation*} -Where: $A_r$ is the number of active sensors in the subregion $r$ during current period, $J$ is the total number of sensors in the network, and $R$ is the total number of the subregions in the network. +where $A_r$ is the number of active sensors in the subregion $r$ during current period, $J$ is the total number of sensors in the network, and $R$ is the total number of subregions in the network. \item {{\bf Execution Time}:} a sensor node has limited energy resources and computing power, therefore it is important that the proposed algorithm has the shortest possible execution time. The energy of a sensor node must be mainly used for the sensing phase, not for the pre-sensing ones. In this dissertation, the original execution time is computed on a laptop DELL with Intel Core~i3~2370~M (2.4 GHz) processor (2 cores) and the MIPS (Million Instructions Per Second) rate equal to 35330. To be consistent with the use of a sensor node with Atmel's AVR ATmega103L microcontroller (6 MHz) and a MIPS rate equal to 6 to run the optimization resolution, this time is multiplied by 2944.2 $\left( \frac{35330}{2} \times \frac{1}{6} \right)$. -\item {{\bf Stopped simulation runs}:} A simulation ends when the sensor network becomes disconnected (some nodes are dead and are not able to send information to the base station). We report the number of simulations that are stopped due to network disconnections and for which round it occurs.% ( in chapter 4, period consists of one round). +\item {{\bf Stopped simulation runs}:} a simulation ends when the sensor network becomes disconnected (some nodes are dead and are not able to send information to the base station). We report the number of simulations that are stopped due to network disconnections and for which round it occurs.% ( in chapter 4, period consists of one round). \end{enumerate} @@ -440,15 +440,15 @@ Where: $A_r$ is the number of active sensors in the subregion $r$ during current \subsection{Performance Analysis for Different Number of Subregions} \label{ch4:sec:04:05} -In this subsection, we are study the performance of our DiLCO protocol for a different number of subregions (Leaders). -The DiLCO-1 protocol is a centralized approach to all the area of the interest, while DiLCO-2, DiLCO-4, DiLCO-8, DiLCO-16 and DiLCO-32 are distributed on two, four, eight, sixteen, and thirty-two subregions respectively. We do not take the DiLCO-1 protocol in our simulation results because it needs a high execution time to give the decision leading to consume all its energy before producing the solution for the optimization problem. +In this subsection, we study the performance of our DiLCO protocol for different numbers of subregions. +The DiLCO-1 protocol is a centralized approach for the whole area of the interest, while DiLCO-2, DiLCO-4, DiLCO-8, DiLCO-16 and DiLCO-32 are distributed on two, four, eight, sixteen, and thirty-two subregions respectively. We do not take into account the DiLCO-1 protocol in our simulation results because it needs a high execution time to give the decision, leading to consume all its energy before producing the solution for the optimization problem. \begin{enumerate}[i)] \item {{\bf Coverage Ratio}} %\subsubsection{Coverage Ratio} %\label{ch4:sec:04:02:01} -In this experiment, Figure~\ref{Figures/ch4/R1/CR} shows the average coverage ratio for 150 deployed nodes. +Figure~\ref{Figures/ch4/R1/CR} shows the average coverage ratio for 150 deployed nodes. \parskip 0pt \begin{figure}[h!] \centering @@ -457,8 +457,8 @@ In this experiment, Figure~\ref{Figures/ch4/R1/CR} shows the average coverage ra \label{Figures/ch4/R1/CR} \end{figure} It can be seen that DiLCO protocol (with 4, 8, 16 and 32 subregions) gives nearly similar coverage ratios during the first thirty rounds. -DiLCO-2 protocol gives near similar coverage ratio with other ones for first 10 rounds and then decreased until the died of the network in the round $18^{th}$. In case of only 2 subregions, the energy consumption is high and the network is rapidly disconnected. -As shown in the Figure ~\ref{Figures/ch4/R1/CR}, as the number of subregions increases, the coverage preservation for the area of interest increases for a larger number of rounds. Coverage ratio decreases when the number of rounds increases due to dead nodes. Although some nodes are dead, thanks to DiLCO-8, DiLCO-16, and DiLCO-32 protocols, other nodes are preserved to ensure the coverage. Moreover, when we have a dense sensor network, it leads to maintain the coverage for a larger number of rounds. DiLCO-8, DiLCO-16, and DiLCO-32 protocols are slightly more efficient than other protocols, because they subdivide the area of interest into 8, 16 and 32~subregions; if one of the subregions becomes disconnected, the coverage may be still ensured in the remaining subregions. +DiLCO-2 protocol gives a coverage ratio very close to the other protocols for the first 10 periods, and then the coverage decreases until the died of the network in the period $18^{th}$. In case of only 2 subregions, the energy consumption is high and the network is rapidly disconnected. +As can be seen in Figure ~\ref{Figures/ch4/R1/CR}, as the number of subregions increases, the coverage preservation for the area of interest increases for a larger number of rounds. Coverage ratio decreases when the number of rounds increases due to dead nodes. Although some nodes are dead, thanks to DiLCO-8, DiLCO-16, and DiLCO-32 protocols, other nodes are preserved to ensure the coverage. Moreover, when we have a dense sensor network, it leads to maintain the coverage for a larger number of rounds. DiLCO-8, DiLCO-16, and DiLCO-32 protocols are slightly more efficient than other protocols, because they subdivide the area of interest into 8, 16 and 32~subregions; if one of the subregions becomes disconnected, the coverage may be still ensured in the remaining subregions. \item {{\bf Active Sensors Ratio}} %\subsubsection{Active Sensors Ratio} @@ -471,9 +471,9 @@ Figure~\ref{Figures/ch4/R1/ASR} shows the average active nodes ratio for 150 dep \label{Figures/ch4/R1/ASR} \end{figure} -The results presented in Figure~\ref{Figures/ch4/R1/ASR} show the increase of the number of subregions lead to the increase of the number of active nodes. The DiLCO-16 and DiLCO-32 protocols have a larger number of active nodes, but it preserve the coverage for a larger number of rounds. The advantage of the DiLCO-16 and DiLCO-32 protocols are that even if a network is disconnected in one subregion, the other ones usually continues the optimization process, and this extends the lifetime of the network. +The results presented in the figure show that increasing the number of subregions lead to the increase of the number of active nodes. The DiLCO-16 and DiLCO-32 protocols have a larger number of active nodes, but they both preserve the coverage for a larger number of rounds. The advantage of the DiLCO-16 and DiLCO-32 protocols are that even if a network is disconnected in one subregion, the other ones usually continue the optimization process, and this extends the lifetime of the network. -\item {{\bf The percentage of stopped simulation runs}} +\item {{\bf Stopped simulation runs}} %\subsubsection{The percentage of stopped simulation runs} Figure~\ref{Figures/ch4/R1/SR} illustrates the percentage of stopped simulation runs per round for 150 deployed nodes. @@ -485,36 +485,37 @@ Figure~\ref{Figures/ch4/R1/SR} illustrates the percentage of stopped simulation \end{figure} DiLCO-2 is the approach which stops first because it applies the optimization on only two subregions and the high energy consumption accelerate the network disconnection. -Thus, as explained previously, in case of the DiLCO-16 and DiLCO-32 with several subregions, the optimization effectively continues as long as a network in a subregion is still connected. This longer partial coverage optimization participates in extending the network lifetime. +Thus, as explained previously, in case of DiLCO-16 and DiLCO-32 which have many subregions, the optimization effectively continues as long as a subnetwork in a subregion is still connected. This longer partial coverage optimization participates in extending the network lifetime. -\item {{\bf The Energy Consumption}} +\item {{\bf Energy Consumption}} %\subsubsection{The Energy Consumption} -We measure the energy consumed by the sensors during the communication, listening, computation, active, and sleep modes for different network densities and compare it for different subregions. Figures~\ref{Figures/ch4/R1/EC95} and ~\ref{Figures/ch4/R1/EC50} illustrate the energy consumption for different network sizes for $Lifetime95$ and $Lifetime50$. +We measure the energy consumed by the sensors during the communication, listening, computation, active, and sleep modes for different network densities and compare it for different subregions. Figures~\ref{Figures/ch4/R1/EC95} and ~\ref{Figures/ch4/R1/EC50} illustrate the energy consumption for different network sizes for $Lifetime_{95}$ and $Lifetime_{50}$. \begin{figure}[h!] \centering \includegraphics[scale=0.8]{Figures/ch4/R1/EC95.pdf} -\caption{Energy Consumption for Lifetime95} +\caption{Energy Consumption for $Lifetime_{95}$} \label{Figures/ch4/R1/EC95} \end{figure} The results show that DiLCO-16 and DiLCO-32 are the most competitive from the energy consumption point of view. The other approaches have a high energy consumption due to the energy consumed during the different modes of the sensor node.\\ -As shown in Figures~\ref{Figures/ch4/R1/EC95} and ~\ref{Figures/ch4/R1/EC50}, DiLCO-2 consumes more energy than the other versions of DiLCO, especially for large sizes of network. This is easy to understand since the bigger the number of sensors involved in the integer program, the larger the time computation to solve the optimization problem, as well as the higher energy consumed during the communication. +As shown in Figures~\ref{Figures/ch4/R1/EC95} and ~\ref{Figures/ch4/R1/EC50}, DiLCO-2 consumes more energy than the other versions of DiLCO, especially for large sizes of network. This is easy to understand since the bigger the number of sensors involved in the integer program, the larger the computation time to solve the optimization problem, as well as the higher energy consumed during the communication. \begin{figure}[h!] \centering \includegraphics[scale=0.8]{Figures/ch4/R1/EC50.pdf} -\caption{Energy Consumption for Lifetime50} +\caption{Energy Consumption for $Lifetime_{50}$} \label{Figures/ch4/R1/EC50} \end{figure} -In fact, the distribution of the computation over many subregions greatly reduces the number of communications, the time of listening and computation so thanks to the partitioning of the initial network in several independent subnetworks. +In fact, the distribution of the computation over many subregions greatly reduces the number of communications, the time of listening and computation. \item {{\bf Execution Time}} %\subsubsection{Execution Time} In this experiment, the execution time of the our distributed optimization approach has been studied. Figure~\ref{Figures/ch4/R1/T} gives the average execution times in seconds for the decision phase (solving of the optimization problem) during one round. They are given for the different approaches and various numbers of sensors. The original execution time is computed as described in section \ref{ch4:sec:04:04}. -%The original execution time is computed on a laptop DELL with intel Core i3 2370 M (2.4 GHz) processor (2 cores) and the MIPS (Million Instructions Per Second) rate equal to 35330. To be consistent with the use of a sensor node with Atmels AVR ATmega103L microcontroller (6 MHz) and a MIPS rate equal to 6 to run the optimization resolution, this time is multiplied by 2944.2 $\left( \frac{35330}{2} \times 6\right)$ and reported on Figure~\ref{fig8} for different network sizes. + +We can see from Figure~\ref{Figures/ch4/R1/T} that DiLCO-32 has very low execution times in comparison with other DiLCO versions because it is distributed on larger number of small subregions. Conversely, DiLCO-2 requires to solve an optimization problem considering half the nodes in each subregion and thus presents high execution times. Overall, to be able to deal with very large networks, a distributed method is clearly required. \begin{figure}[h!] \centering @@ -523,31 +524,30 @@ In this experiment, the execution time of the our distributed optimization appro \label{Figures/ch4/R1/T} \end{figure} -We can see from Figure~\ref{Figures/ch4/R1/T}, that the DiLCO-32 has very low execution times in comparison with other DiLCO versions because it is distributed on larger number of small subregions. Conversely, DiLCO-2 requires to solve an optimization problem considering half the nodes in each subregion presents high execution times. -We think that in distributed fashion the solving of the optimization problem in a subregion can be tackled by sensor nodes. Overall, to be able to deal with very large networks, a distributed method is clearly required. -\item {{\bf The Network Lifetime}} +\item {{\bf Network Lifetime}} %\subsubsection{The Network Lifetime} -In Figure~\ref{Figures/ch4/R1/LT95} and \ref{Figures/ch4/R1/LT50}, network lifetime, $Lifetime95$ and $Lifetime50$ respectively, are illustrated for different network sizes. +In Figure~\ref{Figures/ch4/R1/LT95} and \ref{Figures/ch4/R1/LT50}, network lifetime, $Lifetime_{95}$ and $Lifetime_{50}$ respectively, are illustrated for different network sizes. \begin{figure}[h!] \centering \includegraphics[scale=0.8]{Figures/ch4/R1/LT95.pdf} -\caption{Network Lifetime for $Lifetime95$} +\caption{Network Lifetime for $Lifetime_{95}$} \label{Figures/ch4/R1/LT95} \end{figure} -For DiLCO-2 protocol results, execution times quickly become unsuitable for a sensor network, and the energy consumed during the communication, seems to be huge because it is distributed over only two subregions. +For DiLCO-2 protocol, execution times quickly become unsuitable for a sensor network, and the energy consumed during the communication, seems to be huge because it is distributed over only two subregions. -As highlighted by figures~\ref{Figures/ch4/R1/LT95} and \ref{Figures/ch4/R1/LT50}, the network lifetime obviously increases when the size of the network increases. DiLCO-16 protocol leads to the larger lifetime improvement. DiLCO-16 protocol efficiently extends the network lifetime because the benefit from the optimization with 16 subregions is better than DiLCO-32 protocol with 32 subregions. in fact, DilCO-32 protocol puts in active mode a larger number of sensor nodes especially near the borders of the subdivisions. +As highlighted by figures~\ref{Figures/ch4/R1/LT95} and \ref{Figures/ch4/R1/LT50}, the network lifetime obviously increases when the size of the network increases. The network lifetime also increases with the number of subregions, but only up to a given number. Thus we can see that DiLCO-16 leads to the larger lifetime improvement and not DiLCO-32. In fact, DilCO-32 protocol puts in active mode a larger number of sensor nodes especially near the borders of the subdivisions. -Comparison shows that DiLCO-16 protocol, which uses 16 leaders, is the best one because it uses less number of active nodes during the network lifetime compared with DiLCO-32 protocol. It also means that distributing the protocol in each node and subdividing the sensing field into many subregions, which are managed independently and simultaneously, is a relevant way to maximize the lifetime of a network. +%Comparison shows that DiLCO-16 protocol, which uses 16 leaders, is the best one because it uses less number of active nodes during the network lifetime compared with DiLCO-32 protocol. +It means that distributing the protocol in each node and subdividing the sensing field into many subregions, which are managed independently and simultaneously, is a relevant way to maximize the lifetime of a network. \begin{figure}[h!] \centering \includegraphics[scale=0.8]{Figures/ch4/R1/LT50.pdf} -\caption{Network Lifetime for $Lifetime50$} +\caption{Network Lifetime for $Lifetime_{50}$} \label{Figures/ch4/R1/LT50} \end{figure} @@ -556,7 +556,7 @@ Comparison shows that DiLCO-16 protocol, which uses 16 leaders, is the best one \subsection{Performance Analysis for Different Number of Primary Points} \label{ch4:sec:04:06} -In this section, we study the performance of DiLCO~16 approach for a different number of primary points. The objective of this comparison is to select the suitable primary point model to be used by DiLCO protocol. In this comparison, DiLCO-16 protocol is used with five models which are called Model-5( With 5 Primary Points), Model-9 ( With 9 Primary Points), Model-13 ( With 13 Primary Points), Model-17 ( With 17 Primary Points), and Model-21 ( With 21 Primary Points). +In this section, we study the performance of DiLCO~16 approach for different numbers of primary points. The objective of this comparison is to select the suitable primary point model to be used by a DiLCO protocol. In this comparison, DiLCO-16 protocol is used with five models, which are called Model-5(it uses 5 primary points), Model-9 (it uses 9 primary points), Model-13 (it uses 13 primary points), Model-17 (it uses 17 primary points), and Model-21 (it uses 21 primary points). \begin{enumerate}[i)] @@ -572,14 +572,13 @@ Figure~\ref{Figures/ch4/R2/CR} shows the average coverage ratio for 150 deployed \caption{Coverage ratio for 150 deployed nodes} \label{Figures/ch4/R2/CR} \end{figure} - -It is shown that all models provide a very near coverage ratios during the network lifetime, with a very small superiority for the models with higher number of primary points. Moreover, when the number of rounds increases, coverage ratio produced by Model-13, Model-17, and Model-21 decreases in comparison with Model-5 and Model-9 due to a larger time computation for the decision process for larger number of primary points. -As shown in Figure ~\ref{Figures/ch4/R2/CR}, Coverage ratio decreases when the number of rounds increases due to dead nodes. Model-9 is slightly more efficient than other models, because it is balanced between the number of rounds and the better coverage ratio in comparison with other Models. +As can be seen in Figure~\ref{Figures/ch4/R2/CR}, at the beginning the models which use a larger number of primary points provide slightly better coverage ratios, but latter they are the worst. Moreover, when the number of periods increases, coverage ratio produced by Model-9, Model-13, Model-17, and Model-21 decreases in comparison with Model-5 due to a larger time computation for the decision process for larger number of primary points. +As shown in Figure ~\ref{Figures/ch4/R2/CR}, coverage ratio decreases when the number of rounds increases due to dead nodes. Model-5 is slightly more efficient than other models, because it offers a good coverage ratio for a larger number of periods in comparison with other models. \item {{\bf Active Sensors Ratio}} %\subsubsection{Active Sensors Ratio} - Figure~\ref{Figures/ch4/R2/ASR} shows the average active nodes ratio for 150 deployed nodes. +Figure~\ref{Figures/ch4/R2/ASR} shows the average active nodes ratio for 150 deployed nodes. \begin{figure}[h!] \centering \includegraphics[scale=0.8]{Figures/ch4/R2/ASR.pdf} @@ -587,10 +586,11 @@ As shown in Figure ~\ref{Figures/ch4/R2/CR}, Coverage ratio decreases when the n \label{Figures/ch4/R2/ASR} \end{figure} -The results presented in Figure~\ref{Figures/ch4/R2/ASR} show the superiority of the proposed Model-5, in comparison with the other models. The model with fewer number of primary points uses fewer active nodes than the other models. According to the results presented in Figure~\ref{Figures/ch4/R2/CR}, we observe that although the Model-5 continue to a larger number of rounds, but it has less coverage ratio compared with other models. The advantage of the Model-9 approach is to use fewer number of active nodes for each round compared with Model-13, Model-17, and Model-21. This led to continuing for a larger number of rounds with extending the network lifetime. Model-9 has a better coverage ratio compared to Model-5 and acceptable number of rounds. +The results presented in Figure~\ref{Figures/ch4/R2/ASR} show the superiority of the proposed Model-5, in comparison with the other models. The model with fewer number of primary points uses fewer active nodes than the other models. +According to the results presented in Figure~\ref{Figures/ch4/R2/CR}, we observe that Model-5 continue to a larger number of periods with a better coverage ratio compared with other models. The advantage of the Model-5 approach is to use fewer number of active nodes for each period compared with Model-9, Model-13, Model-17, and Model-21. This led to continuing for a larger number of periods with extending the network lifetime. -\item {{\bf The percentage of stopped simulation runs}} +\item {{\bf Stopped simulation runs}} %\subsubsection{The percentage of stopped simulation runs} Figure~\ref{Figures/ch4/R2/SR} illustrates the percentage of stopped simulation runs per round for 150 deployed nodes. @@ -602,33 +602,33 @@ Figure~\ref{Figures/ch4/R2/SR} illustrates the percentage of stopped simulation \label{Figures/ch4/R2/SR} \end{figure} -When the number of primary points is increased, the percentage of the stopped simulation runs per round is increased. The reason behind the increase is the increase in the sensors dead when the primary points increase. Model-5 is better than other models because it conserve more energy by turn on less number of sensors during the sensing phase, but in the same time it preserve the coverage with a less coverage ratio in comparison with other models. Model~2 seems to be more suitable to be used in wireless sensor networks. \\ +When the number of primary points is increased, the percentage of the stopped simulation runs per period is increased. The reason behind the increase is the increasing number of dead sensors when the primary points increase. Model-5 is better than other models because it conserve more energy by turning on less sensors during the sensing phase and in the same time it preserves a good coverage for a larger number of periods in comparison with other models. Model~5 seems to be more suitable to be used in wireless sensor networks. \\ -\item {{\bf The Energy Consumption}} +\item {{\bf Energy Consumption}} %\subsubsection{The Energy Consumption} -In this experiment, we study the effect of increasing the primary points to represent the area of the sensor on the energy consumed by the wireless sensor network for different network densities. Figures~\ref{Figures/ch4/R2/EC95} and ~\ref{Figures/ch4/R2/EC50} illustrate the energy consumption for different network sizes for $Lifetime95$ and $Lifetime50$. +In this experiment, we study the effect of increasing the primary points to represent the area of the sensor on the energy consumed by the wireless sensor network for different network densities. Figures~\ref{Figures/ch4/R2/EC95} and ~\ref{Figures/ch4/R2/EC50} illustrate the energy consumption for different network sizes for $Lifetime_{95}$ and $Lifetime_{50}$. \begin{figure}[h!] \centering \includegraphics[scale=0.8]{Figures/ch4/R2/EC95.pdf} -\caption{Energy Consumption with $95\%-Lifetime$} +\caption{Energy Consumption with $Lifetime_{95}$} \label{Figures/ch4/R2/EC95} \end{figure} \begin{figure}[h!] \centering \includegraphics[scale=0.8]{Figures/ch4/R2/EC50.pdf} -\caption{Energy Consumption with $Lifetime50$} +\caption{Energy Consumption with $Lifetime_{50}$} \label{Figures/ch4/R2/EC50} \end{figure} -We see from the results presented in Figures~\ref{Figures/ch4/R2/EC95} and \ref{Figures/ch4/R2/EC50}, The energy consumed by the network for each round increases when the primary points increases, because the decision for the optimization process requires more time, which leads to consuming more energy during the listening mode. The results show that Model-5 is the most competitive from the energy consumption point of view, but the worst one from coverage ratio point of view. The other models have a high energy consumption due to the increase in the primary points, which are led to increase the energy consumption during the listening mode before producing the solution by solving the optimization process. In fact, Model-9 is a good candidate to be used by wireless sensor network because it preserves a good coverage ratio with a suitable energy consumption in comparison with other models. +We see from the results presented in both figures that the energy consumed by the network for each period increases when the number of primary points increases. Indeed, the decision for the optimization process requires more time, which leads to consuming more energy during the listening mode. The results show that Model-5 is the most competitive from the energy consumption point of view and the coverage ratio point of view. The other models have a high energy consumption due to the increase in the primary points. In fact, Model-5 is a good candidate to be used by wireless sensor network because it preserves a good coverage ratio with a suitable energy consumption in comparison with other models. \item {{\bf Execution Time}} %\subsubsection{Execution Time} -In this experiment, we study the impact of the increase in primary points on the execution time of DiLCO protocol. Figure~\ref{Figures/ch4/R2/T} gives the average execution times in seconds for the decision phase (solving of the optimization problem) during one round. The original execution time is computed as described in section \ref{ch4:sec:04:04}. +In this experiment, we study the impact of the increase in primary points on the execution time of DiLCO protocol. Figure~\ref{Figures/ch4/R2/T} gives the average execution times in seconds for the decision phase (solving of the optimization problem) during one period. The original execution time is computed as described in section \ref{ch4:sec:04:04}. \begin{figure}[h!] \centering @@ -637,18 +637,17 @@ In this experiment, we study the impact of the increase in primary points on the \label{Figures/ch4/R2/T} \end{figure} -They are given for the different primary point models and various numbers of sensors. We can see from Figure~\ref{Figures/ch4/R2/T}, that Model-5 has lower execution time in comparison with other models because it used smaller number of primary points to represent the area of the sensor. Conversely, the other primary point models have been presented a higher execution times. -Moreover, Model-9 has more suitable times and coverage ratio that lead to continue for a larger number of rounds extending the network lifetime. We think that a good primary point model, this one that balances between the coverage ratio and the number of rounds during the lifetime of the network. +They are given for the different primary point models and various numbers of sensors. We can see from Figure~\ref{Figures/ch4/R2/T}, that Model-5 has the lower execution time in comparison with other models because it used the smaller number of primary points to represent the area of the sensor. Conversely, the other primary point models have presented higher execution times. +Moreover, Model-5 has more suitable execution times and coverage ratio that lead to continue for a larger number of period extending the network lifetime. We think that a good primary point model, is one that balances between the coverage ratio and the number of periods during the lifetime of the network. -\item {{\bf The Network Lifetime}} +\item {{\bf Network Lifetime}} %\subsubsection{The Network Lifetime} -Finally, we study the effect of increasing the primary points on the lifetime of the network. In Figure~\ref{Figures/ch4/R2/LT95} and in Figure~\ref{Figures/ch4/R2/LT50}, network lifetime, $Lifetime95$ and $Lifetime50$ respectively, are illustrated for different network sizes. - +Finally, we study the effect of increasing the primary points on the lifetime of the network. %In Figure~\ref{Figures/ch4/R2/LT95} and in Figure~\ref{Figures/ch4/R2/LT50}, network lifetime, $Lifetime95$ and $Lifetime50$ respectively, are illustrated for different network sizes. \begin{figure}[h!] \centering \includegraphics[scale=0.8]{Figures/ch4/R2/LT95.pdf} -\caption{Network Lifetime for $Lifetime95$} +\caption{Network Lifetime for $Lifetime_{95}$} \label{Figures/ch4/R2/LT95} \end{figure} @@ -656,20 +655,19 @@ Finally, we study the effect of increasing the primary points on the lifetime of \begin{figure}[h!] \centering \includegraphics[scale=0.8]{Figures/ch4/R2/LT50.pdf} -\caption{Network Lifetime for $Lifetime50$} +\caption{Network Lifetime for $Lifetime_{50}$} \label{Figures/ch4/R2/LT50} \end{figure} - As highlighted by figures~\ref{Figures/ch4/R2/LT95} and \ref{Figures/ch4/R2/LT50}, the network lifetime obviously increases when the size of the network increases, with Model-5 that leads to the larger lifetime improvement. -Comparison shows that the Model-5, which uses less number of primary points, is the best one because it is less energy consumption during the network lifetime. It is also the worst one from the point of view of coverage ratio. Our proposed Model-9 efficiently prolongs the network lifetime with a good coverage ratio in comparison with other models. +Comparison shows that Model-5, which uses less number of primary points, is the best one because it is less energy consuming during the network lifetime. It is also the better one from the point of view of coverage ratio. Our proposed Model-5 efficiently prolongs the network lifetime with a good coverage ratio in comparison with other models. \end{enumerate} \subsection{Performance Comparison with other Approaches} \label{ch4:sec:04:07} -Based on the results, conducted in the previous subsections, \ref{ch4:sec:04:02} and \ref{ch4:sec:04:03}, DiLCO-16 protocol and DiLCO-32 protocol with Model-9 seems to be the best candidates to be compared with other two approaches. The first approach is called DESK~\cite{DESK}, which is a fully distributed coverage algorithm. The second approach called GAF~\cite{GAF}, consists in dividing the region into fixed squares. During the decision phase, in each square, one sensor is chosen to remain on during the sensing phase time. \\ \\ +Based on the results, conducted in the previous subsections, \ref{ch4:sec:04:02} and \ref{ch4:sec:04:03}, DiLCO-16 and DiLCO-32 protocols, both with Model-5, seem to be the best candidates to be compared with other approaches. The first approach is called DESK~\cite{DESK}, which is a fully distributed coverage algorithm. The second approach called GAF~\cite{GAF}, consists in dividing the region into fixed squares. During the decision phase, in each square, one sensor is chosen to remain active during the sensing phase time. \\ \\ \begin{enumerate}[i)] \item {{\bf Coverage Ratio}} @@ -680,14 +678,17 @@ The average coverage ratio for 150 deployed nodes is demonstrated in Figure~\ref \parskip 0pt \begin{figure}[h!] \centering - \includegraphics[scale=0.8] {Figures/ch4/R3/CR.pdf} + \includegraphics[scale=0.8] {Figures/ch4/R3/CR.eps} \caption{Coverage ratio for 150 deployed nodes} \label{Figures/ch4/R3/CR} \end{figure} -DESK and GAF provide a little better coverage ratio with 99.99\% and 99.91\% against 99.1\% and 99.2\% produced by DiLCO-16 and DiLCO-32 for the lowest number of rounds. This is due to the fact that DiLCO protocol versions put in sleep mode redundant sensors using optimization (which lightly decreases the coverage ratio) while there are more active nodes in the case of DESK and GAF. +DESK and GAF provide a little better coverage ratio with 99.99\% and 99.91\% against 98.4\% and 98.9\% produced by DiLCO-16 and DiLCO-32 for the lowest number of periods. This is due to the fact that DiLCO protocol versions put in sleep mode redundant sensors thanks to the optimization (which lightly decreases the coverage ratio), while there are more active nodes in the case of DESK and GAF. -Moreover, when the number of rounds increases, coverage ratio produced by DESK and GAF protocols decreases. This is due to dead nodes. However, DiLCO-16 protocol and DiLCO-32 protocol maintain almost a good coverage. This is because they optimize the coverage and the lifetime in wireless sensor network by selecting the best representative sensor nodes to take the responsibility of coverage during the sensing phase. +Moreover, when the number of rounds increases, coverage ratio produced by DESK and GAF protocols decreases. +%This is due to dead nodes. However, DiLCO-16 protocol and DiLCO-32 protocol maintain almost a good coverage. +GAF exhibits in particular a fast decrease. Our protocols also provide decreasing coverage ratio, but far more better than those of DESK and GAF. DiLCO-16 and DiLCO-32 clearly outperform DESK and GAF for number of periods between 32 and 103. +This is because they optimize the coverage and the lifetime in wireless sensor network by selecting the best representative sensor nodes to take the responsibility of coverage during the sensing phase. %, and this will lead to continuing for a larger number of rounds and prolonging the network lifetime. Furthermore, although some nodes are dead, sensor activity scheduling of our protocol chooses other nodes to ensure the coverage of the area of interest. \item {{\bf Active Sensors Ratio}} @@ -697,76 +698,76 @@ It is important to have as few active nodes as possible in each round, in order \begin{figure}[h!] \centering -\includegraphics[scale=0.8]{Figures/ch4/R3/ASR.pdf} +\includegraphics[scale=0.8]{Figures/ch4/R3/ASR.eps} \caption{Active sensors ratio for 150 deployed nodes } \label{Figures/ch4/R3/ASR} \end{figure} -The results presented in Figure~\ref{Figures/ch4/R3/ASR} show the superiority of the proposed DiLCO-16 protocol and DiLCO-32 protocol, in comparison with the other approaches. DESK and GAF have 37.5 \% and 44.5 \% active nodes and DiLCO-16 protocol and DiLCO-32 protocol compete perfectly with only 17.4 \%, 24.8 \% and 26.8 \% active nodes for the first 14 rounds. Then as the number of rounds increases DiLCO-16 protocol and DiLCO-32 protocol have larger number of active nodes in comparison with DESK and GAF, especially from round $35^{th}$ because they give a better coverage ratio than other approaches. We see that DESK and GAF have less number of active nodes beginning at the rounds $35^{th}$ and $32^{th}$ because there are many nodes are died due to the high energy consumption by the redundant nodes during the sensing phase. \\ +The results presented in Figure~\ref{Figures/ch4/R3/ASR} show the superiority of the proposed DiLCO-16 protocol and DiLCO-32 protocol, in comparison with the other approaches. DESK and GAF have, respectively, 37.5 \% and 44.5 \% active nodes, whereas DiLCO-16 and DiLCO-32 protocols compete perfectly with only 23.7 \% and 25.8 \% active nodes for the first 14 periods. Then as the number of periods increases DiLCO-16 and DiLCO-32 protocols have larger number of active nodes in comparison with DESK and GAF, especially from period $35^{th}$ because they give a better coverage ratio than other approaches. We see that DESK and GAF have less number of active nodes beginning at the rounds $35^{th}$ and $32^{th}$ because there are many died nodes due to the high energy consumption by the redundant nodes during the previous sensing phases. \\ -\item {{\bf The percentage of stopped simulation runs}} +\item {{\bf Stopped simulation runs}} %\subsubsection{The percentage of stopped simulation runs} %The results presented in this experiment, are to show the comparison of DiLCO-16 protocol and DiLCO-32 protocol with other two approaches from the point of view of stopped simulation runs per round. Figure~\ref{Figures/ch4/R3/SR} illustrates the percentage of stopped simulation runs per round for 150 deployed nodes. \begin{figure}[h!] \centering -\includegraphics[scale=0.8]{Figures/ch4/R3/SR.pdf} +\includegraphics[scale=0.8]{Figures/ch4/R3/SR.eps} \caption{Percentage of stopped simulation runs for 150 deployed nodes } \label{Figures/ch4/R3/SR} \end{figure} -DESK is the approach, which stops first because it consumes more energy for communication as well as it turns on a large number of redundant nodes during the sensing phase. On the other hand DiLCO-16 protocol and DiLCO-32 protocol have less stopped simulation runs in comparison with DESK and GAF because they distribute the optimization on several subregions. +On the one hand, DESK is the approach which stops first because it consumes more energy for communication as well as it turns on a large number of redundant nodes during the sensing phase. On the other hand, DiLCO-16 protocol and DiLCO-32 protocol have less stopped simulation runs in comparison with DESK and GAF because they distribute the optimization on several subregions. % in order to optimize the coverage and the lifetime of the network by activating a less number of nodes during the sensing phase leading to extending the network lifetime and coverage preservation. The optimization effectively continues as long as a network in a subregion is still connected. -\item {{\bf The Energy Consumption}} +\item {{\bf Energy Consumption}} %\subsubsection{The Energy Consumption} %In this experiment, we have studied the effect of the energy consumed by the wireless sensor network during the communication, computation, listening, active, and sleep modes for different network densities and compare it with other approaches. -Figures~\ref{Figures/ch4/R3/EC95} and ~\ref{Figures/ch4/R3/EC50} illustrate the energy consumption for different network sizes for $Lifetime95$ and $Lifetime50$. +Figures~\ref{Figures/ch4/R3/EC95} and ~\ref{Figures/ch4/R3/EC50} illustrate the energy consumption for different network sizes for $Lifetime_{95}$ and $Lifetime_{50}$. \begin{figure}[h!] \centering -\includegraphics[scale=0.8]{Figures/ch4/R3/EC95.pdf} -\caption{Energy Consumption with $95\%-Lifetime$} +\includegraphics[scale=0.8]{Figures/ch4/R3/EC95.eps} +\caption{Energy Consumption with $Lifetime_{95}$} \label{Figures/ch4/R3/EC95} \end{figure} \begin{figure}[h!] \centering -\includegraphics[scale=0.8]{Figures/ch4/R3/EC50.pdf} -\caption{Energy Consumption with $Lifetime50$} +\includegraphics[scale=0.8]{Figures/ch4/R3/EC50.eps} +\caption{Energy Consumption with $Lifetime_{50}$} \label{Figures/ch4/R3/EC50} \end{figure} DiLCO-16 protocol and DiLCO-32 protocol are the most competitive from the energy consumption point of view. The other approaches have a high energy consumption due to activating a larger number of redundant nodes. %as well as the energy consumed during the different modes of sensor nodes. -In fact, The distribution of computation over the subregions greatly reduces the number of communications and the time of listening so thanks to the partitioning of the initial network into several independent subnetworks. +In fact, the distribution of computation over the subregions greatly reduces the number of communications and the time of listening, thanks to the partitioning of the initial network into several independent subnetworks. -\item {{\bf The Network Lifetime}} +\item {{\bf Network Lifetime}} %\subsubsection{The Network Lifetime} %In this experiment, we have observed the superiority of DiLCO-16 protocol and DiLCO-32 protocol against other two approaches in prolonging the network lifetime. -In figures~\ref{Figures/ch4/R3/LT95} and \ref{Figures/ch4/R3/LT50}, network lifetime, $Lifetime95$ and $Lifetime50$ respectively, are illustrated for different network sizes. +%In figures~\ref{Figures/ch4/R3/LT95} and \ref{Figures/ch4/R3/LT50}, network lifetime, $Lifetime95$ and $Lifetime50$ respectively, are illustrated for different network sizes. \begin{figure}[h!] \centering -\includegraphics[scale=0.8]{Figures/ch4/R3/LT95.pdf} -\caption{Network Lifetime for $Lifetime95$} +\includegraphics[scale=0.8]{Figures/ch4/R3/LT95.eps} +\caption{Network Lifetime for $Lifetime_{95}$} \label{Figures/ch4/R3/LT95} \end{figure} \begin{figure}[h!] \centering -\includegraphics[scale=0.8]{Figures/ch4/R3/LT50.pdf} -\caption{Network Lifetime for $Lifetime50$} +\includegraphics[scale=0.8]{Figures/ch4/R3/LT50.eps} +\caption{Network Lifetime for $Lifetime_{50}$} \label{Figures/ch4/R3/LT50} \end{figure} -As highlighted by figures~\ref{Figures/ch4/R3/LT95} and \ref{Figures/ch4/R3/LT50}, the network lifetime obviously increases when the size of the network increases, with DiLCO-16 protocol and DiLCO-32 protocol that leads to maximize the lifetime of the network compared with other approaches. +As highlighted by figures~\ref{Figures/ch4/R3/LT95} and \ref{Figures/ch4/R3/LT50}, the network lifetime obviously increases when the size of the network increases, with DiLCO-16 protocol and DiLCO-32 protocol which lead to maximize the lifetime of the network compared with other approaches. By choosing the best suited nodes, for each round, by optimizing the coverage and lifetime of the network to cover the area of interest and by letting the other ones sleep in order to be used later in next periods, DiLCO-16 protocol and DiLCO-32 protocol efficiently prolong the network lifetime. Comparison shows that DiLCO-16 protocol and DiLCO-32 protocol, which use distributed optimization over the subregions, are the best ones because they are robust to network disconnection during the network lifetime as well as they consume less energy in comparison with other approaches. %It also means that distributing the algorithm in each node and subdividing the sensing field into many subregions, which are managed independently and simultaneously, is the most relevant way to maximize the lifetime of a network. @@ -776,7 +777,7 @@ Comparison shows that DiLCO-16 protocol and DiLCO-32 protocol, which use distrib \section{Conclusion} \label{ch4:sec:05} -A crucial problem in WSN is to schedule the sensing activities of the different nodes in order to ensure both of coverage of the area of interest and longer network lifetime. The inherent limitations of sensor nodes, in energy provision, communication and computing capacities, require protocols that optimize the use of the available resources to fulfill the sensing task. To address this problem, this chapter proposes a two-step approach. Firstly, the field of sensing +A crucial problem in WSN is to schedule the sensing activities of the different nodes in order to ensure both coverage of the area of interest and longer network lifetime. The inherent limitations of sensor nodes, in energy provision, communication, and computing capacities, require protocols that optimize the use of the available resources to fulfill the sensing task. To address this problem, this chapter proposes a two-step approach. Firstly, the field of sensing is divided into smaller subregions using the concept of divide-and-conquer method. Secondly, a distributed protocol called Distributed Lifetime Coverage Optimization is applied in each subregion to optimize the coverage and lifetime performances. In a subregion, our protocol consists in electing a leader node, which will then perform a sensor activity scheduling. The challenges include how to select the most efficient leader in each subregion and the best representative set of active nodes to ensure a high level of coverage. To assess the performance of our approach, we compared it with two other approaches using many performance metrics like coverage ratio or network lifetime. We have also studied the impact of the number of subregions chosen to subdivide the area of interest, considering different network sizes. The experiments show that increasing the number of subregions improves the lifetime. The more subregions there are, the more robust the network is against random disconnection resulting from dead nodes. However, for a given sensing field and network size there is an optimal number of subregions. Therefore, in case of our simulation context a subdivision in $16$~subregions seems to be the most relevant. diff --git a/CHAPITRE_05.tex b/CHAPITRE_05.tex old mode 100755 new mode 100644 index 2ee5579..e3a56ca --- a/CHAPITRE_05.tex +++ b/CHAPITRE_05.tex @@ -246,7 +246,7 @@ range. Our protocol is declined into four versions: MuDiLCO-1, MuDiLCO-3, MuDiLCO-5, and MuDiLCO-7, corresponding respectively to $T=1,3,5,7$ ($T$ the number of rounds in one sensing period). In the following, we will make comparisons with two other methods. DESK \cite{DESK} and GAF~\cite{GAF}. %Some preliminary experiments were performed in chapter 4 to study the choice of the number of subregions which subdivides the sensing field, considering different network sizes. They show that as the number of subregions increases, so does the network lifetime. Moreover, it makes the MuDiLCO protocol more robust against random network disconnection due to node failures. However, too many subdivisions reduce the advantage of the optimization. In fact, there is a balance between the benefit from the optimization and the execution time needed to solve it. Therefore, -we set the number of subregions to 16 rather than 32 as explained in chapter 4, section ref{ch4:sec:04:05}. We use the modeling language and the optimization solver which are mentioned in chapter 4, section \ref{ch4:sec:04:02}. In addition, the energy consumption model is presented in chapter 4, section \ref{ch4:sec:04:03}. +We set the number of subregions to 16 rather than 32 as explained in chapter 4, section \ref{ch4:sec:04:05}. We use the modeling language and the optimization solver which are mentioned in chapter 4, section \ref{ch4:sec:04:02}. In addition, the energy consumption model is presented in chapter 4, section \ref{ch4:sec:04:03}. \subsection{Metrics} \label{ch5:sec:04:02} diff --git a/CHAPITRE_06.tex b/CHAPITRE_06.tex old mode 100755 new mode 100644 diff --git a/CONCLUSION.tex b/CONCLUSION.tex old mode 100755 new mode 100644 diff --git a/Figures/CHAPITRE_01.tex~ b/Figures/CHAPITRE_01.tex~ old mode 100755 new mode 100644 diff --git a/Figures/CHAPITRE_02.tex~ b/Figures/CHAPITRE_02.tex~ old mode 100755 new mode 100644 diff --git a/Figures/Introduction.tex~ b/Figures/Introduction.tex~ old mode 100755 new mode 100644 diff --git a/Figures/bib.tex~ b/Figures/bib.tex~ old mode 100755 new mode 100644 diff --git a/Figures/ch1/RDM-eps-converted-to.pdf b/Figures/ch1/RDM-eps-converted-to.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch1/RDM.eps b/Figures/ch1/RDM.eps old mode 100755 new mode 100644 diff --git a/Figures/ch1/RDM.pdf b/Figures/ch1/RDM.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch1/WNT-eps-converted-to.pdf b/Figures/ch1/WNT-eps-converted-to.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch1/WNT.eps b/Figures/ch1/WNT.eps old mode 100755 new mode 100644 diff --git a/Figures/ch1/WNT.pdf b/Figures/ch1/WNT.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch1/WSN-M.eps b/Figures/ch1/WSN-M.eps old mode 100755 new mode 100644 diff --git a/Figures/ch1/WSN-M.pdf b/Figures/ch1/WSN-M.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch1/WSN-S.pdf b/Figures/ch1/WSN-S.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch1/WSNAP-eps-converted-to.pdf b/Figures/ch1/WSNAP-eps-converted-to.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch1/WSNAP.eps b/Figures/ch1/WSNAP.eps old mode 100755 new mode 100644 diff --git a/Figures/ch1/WSNAP.pdf b/Figures/ch1/WSNAP.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch1/WSNT.jpg b/Figures/ch1/WSNT.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch1/twsn2.pdf b/Figures/ch1/twsn2.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch1/typesWSN.pdf b/Figures/ch1/typesWSN.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch1/wsn-t-eps-converted-to.pdf b/Figures/ch1/wsn-t-eps-converted-to.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch1/wsn-t.eps b/Figures/ch1/wsn-t.eps old mode 100755 new mode 100644 diff --git a/Figures/ch1/wsn.jpg b/Figures/ch1/wsn.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch2/DESK.eps b/Figures/ch2/DESK.eps old mode 100755 new mode 100644 diff --git a/Figures/ch2/DESK.jpeg b/Figures/ch2/DESK.jpeg old mode 100755 new mode 100644 diff --git a/Figures/ch2/GAF1.eps b/Figures/ch2/GAF1.eps old mode 100755 new mode 100644 diff --git a/Figures/ch2/GAF1.jpeg b/Figures/ch2/GAF1.jpeg old mode 100755 new mode 100644 diff --git a/Figures/ch2/GAF2.eps b/Figures/ch2/GAF2.eps old mode 100755 new mode 100644 diff --git a/Figures/ch2/GAF2.jpeg b/Figures/ch2/GAF2.jpeg old mode 100755 new mode 100644 diff --git a/Figures/ch2/P1.jpg b/Figures/ch2/P1.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch2/P11.jpg b/Figures/ch2/P11.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch2/P2.jpg b/Figures/ch2/P2.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch2/P22.jpg b/Figures/ch2/P22.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch4/FirstModel.pdf b/Figures/ch4/FirstModel.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/OneSensingRound.jpg b/Figures/ch4/OneSensingRound.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch4/R1/ASR.pdf b/Figures/ch4/R1/ASR.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R1/CR.pdf b/Figures/ch4/R1/CR.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R1/EC50.pdf b/Figures/ch4/R1/EC50.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R1/EC95.pdf b/Figures/ch4/R1/EC95.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R1/LT50.pdf b/Figures/ch4/R1/LT50.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R1/LT95.pdf b/Figures/ch4/R1/LT95.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R1/SR.pdf b/Figures/ch4/R1/SR.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R1/T.eps b/Figures/ch4/R1/T.eps old mode 100755 new mode 100644 diff --git a/Figures/ch4/R1/T.pdf b/Figures/ch4/R1/T.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R1/T.ps b/Figures/ch4/R1/T.ps old mode 100755 new mode 100644 diff --git a/Figures/ch4/R2/ASR.pdf b/Figures/ch4/R2/ASR.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R2/CR.pdf b/Figures/ch4/R2/CR.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R2/EC50.pdf b/Figures/ch4/R2/EC50.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R2/EC95.pdf b/Figures/ch4/R2/EC95.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R2/LT50.pdf b/Figures/ch4/R2/LT50.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R2/LT95.pdf b/Figures/ch4/R2/LT95.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R2/SR.pdf b/Figures/ch4/R2/SR.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R2/T.eps b/Figures/ch4/R2/T.eps old mode 100755 new mode 100644 diff --git a/Figures/ch4/R2/T.pdf b/Figures/ch4/R2/T.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/R2/T.ps b/Figures/ch4/R2/T.ps old mode 100755 new mode 100644 diff --git a/Figures/ch4/R3/ASR.pdf b/Figures/ch4/R3/ASR.pdf deleted file mode 100755 index 377611350c915de1ab81c5af337f6deee4e52659..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 11798 zcmb_?1yoes`nOoffFNChBPb0M-*k&zwi5hYu&?|Vee-@wV&9t&hMP7TJj3~FaaUZ)z-yFDIj4m6pXX5 z14&3g)X-RKybV|cpy)spY%zGWGZ>eJ|bzmT#Mk$a^&PM@m-Nu4PThxZ(# zPqZEO@qe7;Z<9Va+F6DHL=;r$HhP@etBR99+s!FUm)#jr#bG>J5z<{1K0F!zt{ol(LUX1lyD@ za`5lf-znb`j#W0v*Gxp&m1~9A@Sdru(kncgEJcLx35_oF%|tnH$O##{MaLYNUpKki zGqt-?dh5guCXePZ+K?*$#WS;Ie9gkXsH0|Drz@}SomNpwy|=C1VfH<5&?`+MCL`|d zW1Z8yH$Lbba^b?2LkeEE%2F;UwU9o3ec>tn>U~f9%6jkd$>@j@1VnySR?n>M(hSR_ zJ;XPjN=|a|`O8J_mU3I51 zSxafzbFaa~$4vVQZe;BNpt=*%mE*MX(29uq#xKoFlV+@*vqfrY69G)}0(uu*)9&tT zk5jEl_WY>CUToq=z~rgq^eoygapeD?51HHxs+!_RRL4~GBwvW{sP8%Q_u#owPgm{< zamc>|&d-E(olXBNb+prZbco;E?DId|@0%SHJ=&bT+ z*zIM$t9E~TlqXQNqmz7csZGxazPGo2cyTW#=bIZz>V#K-z))dpzm7b4d1?j}n$B;a z6Swkm;4-|Wlv~E+1gxiqL7;r@end-9 zh0(kUfAsCq!gMQQxc=jV)%@6JR1-JDAAe+fD9nqVBey?UO6kC8PLXiA;Jpal>-!tx zvDnZ;-T4piwoP^7RYf`5gdv|UaupcR_1$|;cZK)Gfqo?7wwj4R{)_q%I4k?O%e;E} zzGc17_0^Lx5`(32cp0nCFMZt`=9=Jyg->N?YZ3b0Pn$N%y7Pq|gc;gQ>%&gim-7X( z#W?05kDn5g4;2Pbz5VC?hH%W@6%4$ya+2&2~a z^P(OadSjm5W>B64vWO7K$MH=*r`^fbD=nPASvNnwQzClBZpm|NlDfzK9ko1@U|YwD z+%E63GcWQhvq!1EFc9Ntf;CLba<|Jr?KXt91WX53+$SxtXtB>+OUO6Y_Zf>B`p(5f z978@1gS>vgSn#sjzS_!DYGr;t6KY(nCB|gS+Hb$1HYl#e;{T=l`!4npyT;l4!mHGZ zyumXzU^&jw=rWBblN1*R1$ME??Bu~w4F#Ha^vUv*GgjH9%$T=74edra?+3)LWG-)- zj50Aau)LVtld=5R{-(I(WvxN4yoe1b@3Y7V_@Rr=lwpHUoL}`aX=1n%Ts~q+VlA<9F3x3*CA} z_rxb|e<2^+CM_=0$0!P}qlx{ZS;UMN`yqC@fi@zARA#)S8hVgW)Mlsgn3sjh?_J_R4;-M>f`)$pn2<;k#`3 zXjBa53zn1fdGFfURN-)sx%zf-Z#uHG^QxU&%#TDP%62H(cxJ(?;2QMAn8?J_F59-2 zQbZ+3);AR)c7_n|2!LUCi~JWfh$iB#9;1P>^`z1&bJ1QQuG9NNmX zVW6nS#&4HLd{Guv5HWTm>nv*0#Zeibad>7pc^93z92=a7ZvG^aQXsS=!th{V-Y^LJ z*6Hmi^D^CYhul?3UKKgw?=d&M#}wRz=4hF!sx`AB>9xlbUT(1;>gKL`(x$yU<=&ZH z>%cw<*JI+0p%`Zp0ICSm8yH(@qQB%&GZ1J1kjckI2*pJpZ9`-bUrWB7o*Zqx>u=cEJQ{{OsurrV zuAMM57<`@Lt9fXUIn`d@mawn+3<;i07JGZW1;+?|HC!clXo%jhY)OtxgHD?Fc$S1q z)3@`zx?;+~&eRoO+*Pt+fsGkS_c`S{*fA;682S_iRP6#K&qg#P6)2 zpVbZ}Dspq_4;~7>)eSJsCQk zK%K7~C7s2MIFvv4&=Fbee3|jkviCaGet-`HiQlXodjq6v9-Wvmrnd69gS|mGfN@Dc)IpN`yG^K(x=~vxZh8PyXYM43-&2S_nh$6<$t> z14IU0_s0goHFH_^d|H`fEx(wX9db^+aS#djT@M@633IGatg3uBahEr}(ZN3Q(|W(~ zplH9tq#z~D%D?%IEcn)m`^UkID|gd!6|TQy^;CkE18O?~Kn)H%C)FheigSHyD`F z@!ZT-Oz+UYQ860ChlpBzA)o)CHJg8;fHC-v-ys|KGA-}>hz%O?#P^G@!CvG?l9mu70q zPscLvrBZ|JkS%~ksunxmFU*7? z^g89SHM#3a7PH}(^Z9Fz7}Nk7J!WW|S$)`JWiUO<$?ghmmD^aSKeRtkut+T#r{1AH zD||H;g*8^a``W|8fRm>5tyX_BChn7U0aL`_c68Q!X8V$k86h+-S~n>O+w_m~^2$-` z-c#1?;t)=;-%XmTq2(mAM7G~7i>C(sq&u2=*>N$*T|^^`dN-{@;xW{TaFlV0&D`Z^ob&}ko#@f$4xT=(c z;y%C>_GxR%-%@wd?s~@Hap8k={9Mt<*K(2U4>=Zc@1lylv@4!=gLfyqzGqbCJuQIu z8F3`O=qY-uaf7CDK2br;D4#+lE+bOEPmSW;U7IE*s?5_3nT8jdp$6~IwSFT@LFLc- zy>;M!Hh|Ad36P>6?G-Xx1w9Y34`i>ISvJcJOcLS!Sk9LGA(3qXQ5fIv@Jd%{At0R~ zlT(vsdXIN=&`$r_iu!7T1+L~Snz+e0X~AfY0&Cwmp1@;Or^6bYJ*HxPfyITeDU;rU zi^8v45Y;F7N9SnIYKc#M?2fpWB5Mp1lFZ?u3%6ud&1NTR*UsZdZ1 z%QWMtcLCNq_((v}d3!+2H8_-)h4lF%s7TA!YxI^#a%~8=uJ}2H8@%eT;NmvAb2K{U zYPda;3ioDbda&TEjgczVM+H6Ceo6YEi(VmPpr?MlYf;}yhOVEQ&EzgV>p`QBp3)%#7I`V6{QE1-^rnQ7p&><#Y2;+6ZO%dILtdy3|| zVbb6GU!BpP-#$g%E}`~e;&Z4PtJdo;3J(+CXEPF0X;T}AT%!~XxEmAy9z=IMrvc_K zsWlx8tJ*l&pk)?kUXYeA-KHvkBPh%}c8kMihA5lXLL=O(urV~-T0vi`D3nx<;&mR_ zxnX@}u9?GOpp(tGrBIpAFkV8b{B2XHHies5z(%fCCyCU{fUCX&bm#JiOJ_f{=UR8i z4315mO(%XIQ(+F3^zrMBH(lpS8Y$Dj%Os2|^kR0dXP%;tDjUsu&QbYn_WI%pP3pl@ zMXze;SzRhgX5z%PE{Hai{1M}s%>4Cok}INCvVCCk z(-s^;C5Xtzd%0ZLyV`N&G)?NznQM`ar|22F4XO?+-co+PS_FVy<9tXxe( z+Ol=N!{KB@VSHgB!q}kPi zp^~l6%LkpFZijA3&+3yD7Yl|^>z$r^ot|WeZmf6flQO0YhNypZ_U?qS+O*~p_tSlc zikzTZpMTOSNUTsh1R=2=^ses-@CpnPG(Xy0erThhpKjONRlB<0Ar~){aUUL8O!>B*-sg*;2pyl-4U2l(`pEV ze0B<5U{k{ns=%hf5=e8I-Xj@McMxMBP0~yDv)nH|a*@SNO!34O;ljbKOt7^n1UKGns@SW~VbebU69iA_3xfYU`(l`Wu$U8VTML1FLC$50V8dPH2zcS{jM@V0^%X zNIq}fRaWTknU(SkX7K%Lv5)?<<;n0Wj(T}B4~S`Z9OF_FOOVrh9#ac0x!0Yn@ z)?Gmr4b$O9IFCsRf3Gcc@g8Hz1Lu}!l(JuL8{NpgFG1Rp><2zK{mzM%baKXHM6|V2 z%5cUAN*?1m!c5#r<5bx7%Jw4PWTwGUQpVoy)5`p>B4ScX<7Zo|V5ekjjV#ZHl9z0l zpSp3BbVWt}c3k5dqKtjz(tXL!Fa_`BJ;t}S%N2!~CqGUM|6mXZNV@azpyf z*X0tK)=s@B0%l1ACx!|&b{mL;{ElP>D%vnKGnaOE=e}=@?3A*oLgNlf78F95f`CP5G!_pQ1c*8yhz{BX=jx0?y8x(}mNO2ei^iKk09*|W(L;OS z0rndnctu@2fSiG01U-O=0uB&|!Hy>YkOq+h=72^QFadzm0Rg06ZV^oU1mpm1fM4Ka z$6UY=Ra;9JunCCZwhqV?3}|pAsQjBKLHjQ(@28|35|6~-tbeQc<-Ix@kF*3zpx{WJc(8#rL^r<@qD zk6&H`GC%hw3`h_-kLge-p%AeEa%+pV2E&e%57BkCz!Qp{P#-`#e;3{H>fcJ|FF6Py zMZc8*vBk<@U2OlF%iCI6p@GH#Isqt5VTgk**44%Ik6J?1|E`sg>pxjNPNfFY0sWuT zFAKCG(1rYP7#u7ni~x%Y!AuEow6zOZ2n3OFK@l1fAOgLFbW}pyTHE}Z5-bqb2$CR( zGSC9HC>g9Z1`R|PqKij6=!0Q!F%U%E*2M(~&2hmH!UiY;3JU0DE{F_74k8b^0a1V` zLR2AY5DkbXL<^z=(S;x(77!G~5`u;tTZC9atZd!T5G&w3fY?GDeue;ogQL<8psQ2EXf7l;em4UL7k*m^)*9FZtA1P{U6IHQ68?l_1m z#0}zwcE)iZM+-pZ(Sm^YKwSUcZ-n`;IRC`${|?&&d;WXU<$mM*f`SOBl+<5{{!M)n zL*1crDcIB$my-PlcAf-kr<3u-#PW`}(}`$KlRgN!bBE(P5#zJ`+EM+H7Zrm63pZcB zP+9`pJ%7n2Mt_EnjVLhgjzY7Y$+Age#iaW(`FLI3-qp|XL&n|*-Umm{Ou& z_foUhbl2cf(OvEu!}|AHDH^GpLQ*N}nE0a9ZtD>zhs*0*SfaHNPylvcEkN?YPtbF}zf5TF>ioa&~ve zV5-&34%fllke#bSF%(1ySkFgP3LR&2Dn+ch)2`GE}QPJS?ugi^htF`kfjo2D+(6M%~GWrh{vQOHX#4 zh6aT5Qa4q?8p5wlw%>!9sht)~C_>72F<9{lK19ZURTCDx%h=q;fLJ4H6x5)x+Vv19 zNvh&YU{j%Exgg2VLS}Mp@#V1o{$r28popN3l$I1DxPs0V#9MM}-C_1c!8yebvfX!0 z+D)0h3w?C;m{?I{XH(d>M07caqf@6TI~VlH^#}A#9WNRgQdFmaLWV3VoGH8S@zn)d zD*IWtC&@(IGb~D7%u`q;9V0QK+Sciej^HztDQIF6)tj0eSSl{ps8=j3X;r{t8fjm@ z?$i5mu3PCSBWvl$bHR3=Gdl(p`YIbpbzNHLSC9vNSNNvLbnKoFg+3R*!MXna1$`r> z&t1+wiAALoB+%i2Q)&zTr`9g_FSt)|J=y-zld#`rvpQ~JZV;QP5gE9cJ;-H9k>B0- zmFW4mC~XNb7IrD>*SE@=ND(ip=HuG5j!Kn7!ml@FyE)rm@0&<2NoGGMTVUpM2KJ1- zM)-Slctm_c+X|U^(_`-ZH!=+JOxHow1)_9lUw*yWi(1QJUu|eo8!PZBQtYfanyrZ7 zWkaoi(==KqcA8GoT)74QT+~ugE>U-8Ee*QUfTxntTf5k1*+7<0?lylrT4NB0Z%9km zxrJqKUAerz>XFhdL@9z4W#L^Gd|Ef~#n~%Joz%$QL#@};F0xDq?=V%HXJupZ?mg?{ zl!uM38TJoZrB<8EsPYY}v+ySEbWQEvsQ1}rojz5wG`C(b@Ae%ve_U6T@W^8?u$4&b zE}hG3X)~T&T6X)I!g`oZKMBRWqd%hai3m>(G3>diz9kiXa@qd0!`CwPr#oD(7@z%w zAYPr$x()-3)XH2yj~znOjh=C&n1KUK-XdY=m!~dqZ7$@Ci`e$1c=MN|MX}wixGHZp z7v-$CUMr4CPiOw01)O{1x`>@+`@owaN7%y$7fc3n# zG;u@y+jEXYPVP@!swNP7uwm*jvxz{7NPn~bRil8;kkgdR52qSVPn>nC#}BxD($&+5 zy_Io}wa31-&&1OIzC%-N%&h&ey38}8XzS>9qJ}Ls6_L$*=~b^^uj5*296s=miPGb) z-x}rgwm$=YbRSg8VoleU;CzEkPW+s zhfnq0IkR)}?WgHDW((#=wNA+2gN7a)q>x>g{(Tid{Z`8A3l}RgWdJ8%qXsbq&ZQS^#S&M4?#f@IwxYZh; zD~5bdlQxSZ`=p|P;oJ3DnhCkM;Y`!jPWt@2{Nb90-1O50(9X^<|fm*14C@)W9&`b`(}vaET3DIQly@<(em)(w3_4+dC=ut6!+Bq%upsdupqT_LL3Y48I2y9YV%~wf} zW#bB&7j=)ZTE+qk=>r!P=T4Aj8hG-a51-^hd4zbVq zRGPq9O+{K9xxLBTK(65G`i9s$$Y?R$h&TG=h1u%VQ{%*myrY~Bv-0KE}pa+a&^Ip>Y(x{ zn?l`Y%HopdP{{q;=LbbENx^uBuHC!DQ1}+idQtJfD5V^Frb-T{cJn4 zn-cfs)HAQe(HTW8seWoB;ahL5SY7?SY$vnATcu)IzR9MG_nn@N-qGZED^xgdOH_WB zBaXgQg8y`L3hhm!Sy0{hrt1%MereEWNymdt_NF;3anEpo8_n{C;9*<+577!fZ@5}e z#9B zGx(@>kaKgc{qW$)&Fi_P1<3eEnv3v9?jDV2SQbCDhburg-Z2(Ft`9g@+1V(PT`5`C z{$19I!T1N-BHoHmiDzUz+dKH6%cRA6*hM1QSmh~SO_!eBhfMc% zR-*?N;G|ULe6lXuU0>G)M?UXQ??tWYg{sPSP}xT<1YSxDV3_NzT@B-$*I>aZRA~FJ zv+UWeB0n*BW>^o5qSPn9iw@PE&PNPp-2<&191XRWyz^(?d85VaZ}VMLd@ishk-wr& z^SpLsh5yHKiN{oSbO7#$m%gn|8U)`_;?jB5dDxBA_+gVQ*OuVv^^(=_N)E!nUk#`uK>?Si6ck z@I;#(koU>Vt=ZRNnlc_wqEIP_0J<_GJmTKgA4} zsr5?j`LJgaY>hJ>_bVh|A1kv&hl-4Xc~(?wzn$!+nGBq{1+Oi9cC~J*4{UKsRm7=h zSXb*kv1$V;ywcr%e@1G`4qbMDJkV03pt*$!yT7(Ho2?PIpud=Q6%Oy{iw%*>`QT^v zGV(}-^Q!0LWij|}+BGhjo#IO#K|Uv3ubOX3HB*vr{$Pov3Y49srsoThcCSeL{?Rv} z-=xi7@MB1lBrkl_S7B-(DT!G<*d2aW+qiOoTYLl;oJnN0N=&i^KF5%HV@u=EanHxT zij_!{(R3X==hiW>GC5=0=C&)u7705LSZVlFo!vqz3p2W~Bt{$b>S=~Znd1tPS>pos zOpVu#dp&WC-UpsX5i|GiZX7-2!vx+de;{JmtA7)mZ5!02UnqL1xe((>v^+68yZCW# zt7~{<2Y>tUl;Y+06Z1Q?+NxCge4!eZ?}zbUeO}!$P5QwRpz+MzkncTFX_qCc+yyo! zIp8Mc`y<1&EArD$xu^~e$*(aP5@71OV%CawzL{A_E zPC`y6xqh)fajp6W#pQf;JX37Q4+^dBM3s|HBzu>vzZ_{{uFUQ87FL}{p8H7YkqO2y z4LhnDo{HB~3{}ZcpJ3GVkql+o!dktzyJ5ZevfP}k)h6g(N?X^!50bB*8gecjgIG3V z&ba(nf{Pqlx!%?LoXzvQH(F&c%-a9hPhk&bBO&P~7w9yXT_(^Zq`r=q`wXA11@X zQL+LyXZfK$?Y?Z}HIPvvReW^yRj2#X*0=eA(^H))Ua#LJh9m zMagAwOI|1Duz@3_37QzQ_yqY$vdxqyNDU`aMP9W@0u z0)vORhl8U7fc=0y957fHaSut(V-ay+Odvxz!N)9kdr3}1buBO+hr`(0;=ynMgaC{m zCddc2at3bJ-Eq$LV3>diC!o^V(n?$hfW3Yy1ZI+)Hh8?FI0WME?k?aiD1dXehQJUA z1Oy6)z~TG=2fvFa7LWAc$GWfs_KqE~HT+8q>mqRMlK=|m0I@ZMzyzR>--dnz2evpY zm|z%bfpf)6a=Nz&Tc)@&L3bWq`H>^UI_8QD8k7R2&Qw7ZHaFiHi$?B_RL82_zp7l>^@0 z1K#EPUx@yV^KYU!XFZ@Kq^z;7ju;#sEF>TTc0}S)HW&cDz<{AYtsaa1;*@|8^7OX| z{kLO=bW~UWzeml%fl$^2K5=;*%GCjYT$JVie~RY6oo7qbUk*FEI%AGI#1aKTW6%WO zT!2)=0FNzE;#N3k2P9D6NJmEize3`HvWEb5$tfiPEaGkP7_`)J|H)wRKL;3FLO+RP zkXUO;P7i)dv=!17gXfgu;{KTjjIGqq!LbD7j}~BrB9sQs`KKaXw9{{mQUG@LFVe@W z1nIwIfU)H-s1|VY-*x;h7(&(jpOpPW!G9>5V-j%G02KuJ>mZW?f&WX_e^1e$(;N6r zkmPhHoX!9C>+m4Sc9S^*VOL(XNJ8pI%Aut>Y69V{v zbK#gpUYtOH!C_FCC{#>Pj28;yghDxgYr;8m{Z7Zf_AkJqM<^>UU;rS7c4!p-FJ40G z0J4lL-UiSB6b1KRj{-cL(N+Ke4HE_tPTZdtSVUM@P#A0l{zVf8JOLjsfw8}6Fc?e- zfUODFUo@yN6b?Z0|D*|tiT zhX((`2Z#L|O$3VgH=3}>zx#p!jQr7ucSZtGt~2o3H5j66>jgX~5(YzbaKN#8{D=q) zQN~)~z{fZ*0Ab66O(fv*GIDbA2nB?kAWTF|Ru(QSBL^3QiNJ*gWngkpxYYlf!<6u> Y$OVsd#vdmQ1``wlUIV{+LsJ3tKl@N!$N&HU diff --git a/Figures/ch4/R3/CR.pdf b/Figures/ch4/R3/CR.pdf deleted file mode 100755 index d16ce25f25e2c62c2cfb278af1aa4478d079cc4b..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 11999 zcmb_?2|Sct`~TA-A`h};DF)fnxM!?mEM+Haw(JZBV;juaA|i$C6vSjwQRq8RL|4?mMj}@tu`Ra7kcPfgn_LWv+4EWrvbHqBZ3S`6tMLC_)!bPzlZ0(tc=jHg4 ztBZMTm3Dwqd}ry4qoJC-6qCd4gvIRxQ&X3UgHGk@&XH@?FGdCci5x@d?Dj&sDN%QG zoG`AW!>t%oJ<+neYI>OZ=jOG&xvidMk=2Hss^IoY3Lt=b!>1D+Y8by`67y2B+S^sR z=JpN?P~*GvmH1uw@Ht(MduT4Rp}l3`!PUj&!rkRXA0kVi2BRFNj2jO=sF@Y+EI;8L zvo?!WXfyhbenv^&S8>Ab0NdQ2KB~oGf5(5>0-62r&sN8}!Xq*>uWIXi4(jsDMU(e?+abDf4`J*Ik z4>q`X*3BxVnetNXSOEIy!aI|=HgsKw!r+yZH`b)I5<2+_<^BiQz#PnYTx~Abpza+` z8N8kwb?gE5E_A1SCcQt_oO5n7ptb5{cdxZ)Q>uCO_;$eTo&KvEBBs|8s58Y~rKL|^ zzAP>6%{!yA)8*wGAnw9;opD} z+nm_Eyy4ZG@qJ?MsOGv(q$%%kMQOncw)d{%MNp5LgY}vT-@}caRqVw6w`;z;>)V-m zho9AJDtIDL9q;9(MXUe%UaEYaD`U}=e?hbyIN6LzB!k2 z>EJ0uRxNVtQm?;{QtVgBej?BLiUH!nd@FA$zfoA0o0}SuOKaRC?JViovl^Vja_Pao zO3(9`<+3sZ){S>0EmD0iGXSlynT!wAjSmAL)5OU-<(6!5;~Ca--F#-o$}!&kbC5`b z2I1YrDO2gDCy(D`l=06zkfXHd=ZHyOm6PO9V*4)j>Z+?cALhCVe-6$tISJSCXtv<9 z;HF4Fo9R;(!CfBJw~2PrRk&@FcbA z3N!0NfeV>F+%M5vI?DT$3a&Q`lRFrLZn+oC3_=HPnulB@KM2pGJJ^lnXb@|0^X_vU zi)XBy8D>r?*Pa-wDa@&#{Mg;~oTAg}(%U?PQo1mixUWr*Gu@{uI-FE1omE+q6}%dZ zIUJyjh9YyLWnVefj0PBTF(SDO^|;Q6vNkVQtCvu+lF!4Z#b)IC>e>oto;U91WR~I@ zwz15@()uK;smwY3nl@;ie50$w22B$D8$TIjcikzNp0~TqcOi=-w?-BKzh zKfBRMz$}Z-7g@+Swb3P{QOxeO*z2`!NZJG`SuL}?nRP0VQXd54Q=>1+SJ z{l|@q`eUwbe@5N{=;laJ*xj#bdLA}y zL8_z-RKUkv17CybUe&#Y4CuiJVR5aRJ83=`tDLZ8+hImdvVD3(3(T$wXm@usY(R5X1g+NL1gsp98Wo=Gh)2n)Z%QA^A>H&PX^0J@u z9S`BfWv|ex;$eiVhuGV1rn3z~Nze5AlP ze*5FLdB-cT@CbF~w-(~baBx^0+F4l5<^JyA4z!@=Xj;`xR`dH|f}Xd6|J3-bSL_6h zq0dlhQ*6yl^=v0c$-aITwd1#f1BN@E?MS*NTT%-L3W^G98mdjW{vSdKD+5Ys4>Qc4 zL4Eh&dfbNaev&hxPW~sf9maFR%<_HCpBo%ys&&$6>95)L@VwJydXsNz$4tk?XpH>3 zN9>yhj+;@<4%D%)z7{629ozjH=AKiG~FxW^eQVSIx;*tcZghx3`22$p z$_j0~Z==ugggadE#odB3*z7yKa~e>yt7rOY_`b$ePnF*5VYPrOnQ&Y9T_A2s)d_86 z410CG$-I_Q_2UeB1SheopOd22rm7Zx^YcUF)pmvuQn%@_&_2fuI!_b+#Q;v!8J*yr|z5x8w)4H!g~=WqtcLTU*?InM9cA!T9-< zJgFCoC!q7FTh`7gG>w^{AUDIYV1gzOmqcA@5}N#@ufr9DXuT(!khf-FE}pMR36Cc(NCZ(s`T1wLf@;kw5gt@E)K|XwnY<#BQp_#bEm(xPSW_xQv@=|L+%)^- zm54wyV_1>d`HWF*`ul>*<%pL&N!0v3>?RGX0q0U`N|#tmiaX}8Gm)PZqs3Bca8i!8 zs*=8$eoL$suO!ShH4gVL^*-w0iC>@srYLUMByEQ8E0Rl>4u!JhmOT}zXSnV3sI
~j_boFN2y*ZoCJ_nFw1qlO8CG%LHq1um2$N7c z+`;ind-%8MoEtGP4kr1U#&Ns5PrId$1Az@NV3Wc?^>0o}yJ;n!+uhfj)uc;YoMLk2 zh)0SPXMDdy&IlMM<+Z6$n_kMY_RRymr1%J?7>vhEF0ns$owlXq&krxSrjZ$~{zdZU z^1|uPeqh4Z_bP(xIy|Q{t|GJjOCMgoK19XZwHbP0J?3K%o8(}1AL$~6lGjULWUM&N zUQ!5_mN;Afm5+K(iK#`W?iqei_tzA4#3dE%+u=R#Hny29iy z*7VEPK3LsLy{0+pvNXEln7IQyd@YQ&$~^Vt?7or`tqKN+DfW{t=t zl8ltK4G9+vMc3v%6z}3U*OGjkdcEzw`k3~NLVd@4cW{1^yO4*#<#M_362rkWb63)A z+8vu;p~Ps17i&XIyoU-6KTQd*TjUcZC0>TA@;%gMIQZh$zXZDZ(t8M{=dyb>@$w1l zD@{{wVrl`^o`b4cx;_S~EkuX=4|yoJ<&3>lV=$gbMKDuYvEnWBfp=gk=~ zP8o%IqmIqN`66MJ`uc%bUKSLVUk_ryqA)0b_`rCrAy4X@SQUeTeS$-ORDi(a#vdm1 zCsn^7_sc$0ZGVm?GJkVBz+u#Rkf?p1v8u2>;dx`p2ir?Zh+8>pi)CB`HTr?k;cVKaUb86}8i?F((! zVivL)S3xogV(ZYH-BrQ895&;#0hgTM)!@ZUm{yd{#aE zvFes`?N|Rk_78iUhmJMkv#V>-560NP+Q|u+m`+i-jY5W>)=tMzxHXyaO+ASG^F@gTe$ic)6j!>rWrV{WxQD z{@iz&g80YH&2RU7Kjv8Z*dzDQr$>tRHtCG@-QczEp8`9UCW*C1fWEAAqqPF)uIM>EB5$(IUF`fesQJ{L7wJM=HluShthL(P|6IR3Prh}RJJX@?l5A@r#( zk1@cia;=`aEXeM3V}#DA+$ax8`zP~TQ7IivCs;bOPO-4$5sQzq?>aHB`XVWIt|gcL zAt{->dClnTu2XWaFS2vtS~Br>78Z(S7PXyggYlIw#J{f%6Ol={e$aHL;R+0QW2t#5 zd=sn1h20sRS*+RHOB1Bp8?6>BcTZNAGuG^XSaI5=mqQ}FJIdYjQTW4qb90o-j#vBh zc+U*B>jX)V(lbXCSt*TlEGCs)V2aUST{Dr4mJCZtYHaJFjyL>;4$9w5Jx?D z=6J=fVZH1s1PyQw+!XoL7USB(=q%31-()v-*;C*f+fB~Z6+6B6#kvSu3BTf&SAyda z&Fdbh>Wq+kyC-v*Bj(6zsG6sTYy~BlJ6)UB%X-fa-MZiQ6r`13-Zs7cv2h~3d0KS( zBOUnMX^lG-PxH+RY<^m0a}s~MtF?*uUeCL@>E!)YVS(*kjo7=cU7cy!zq7z@ z_e;>tI?p;(+SvGv4ScW6Kt0?~NTRo}YAn#|#LnKdWxfUbs9Gg$rbXx}8nss?@3 z%ThWyV&O~k=9M_ley@`x?>@p&Qc9LQxbTa%-pwaY5jz@skGXIww>9(aV|c#P%9)0DtvLlA=JTNlk7`b+E_gd58-r~_>=h)%e*P7A$Ei7n9%by4v*dm~E z1T2p5TToPppY$h9@NdLU+tUdRXrQdofGXM&gObL2Kn!8vupmMJA|NPgObQOVpdIlL z0RpB+3TUEnSXUPdG!8`jG+eM2T4=l>0OElVKpX9W2ifI3@CsUZ5b=Y+33@;gc`PUn zhaY!901%J?`=CY~ga90Bl7gh4ZV^oU01`oMpkI(<$8Zop8Doiq7?Kj))+9BCfErv0 zDt{9tX#a^p{*aVG;ZgQj>t8Bgexzio^BtAf9$K?h_-h_<1rSf<8aBM zaTYEZCp^{#B1%wk9FF4=Fq{|{9A3r-5NX#J+|r$+>DV1N1YcZ)EWAG-KKdq3n5$MXQGpu~@v3Bh2HUz}i@P=<~m z-i&dyhQN0I z-5LiGBn6~!7KG&p62X;(a#BQNtZjaF2^I)r1W8gr30wde3n@oydo&nZKnss{(1pPH z!4Xvq4hM$jxLgQf0~LYg1g>OmKnjonWC1xq9#8<30Tn&0#0af?*Oab1;7C~ zv>VzHz+pT9oD<3d4d4O1jSCw5?T!Up0XN__+6BvV94qi90WARf4o3C&wMOXwjPj4W zhTpFmz#0FZa+zOu69R&8F#mtuLg?t8)zi8~=L4Uaj4RM0c$c<3#mi>&XNl#nFPPFlzpi0W&IJ+4yLye6y+{Lf;X={J@h;~tN4ld` z)z!4ht%v)mBr3rBmiISRGVV=*o2rT1ZMEkSY}}Qj*rcgql5f6HX+Nrwdw{z5 zdFIUNGqc1O0%+)HGkq!q*&Ix6_kNuZeUd$BpNDz4AW+3MBsx@CQSRlz9}1;zSFz-T z$HePdkrv%8u$X${VZ|yC7vFLkrlvwUU3Xd_SA}G{DS)3@1u^}h%|afo8+wynE`?dngMYL9i z?c+h&a;8BQdUnG1?{Jx1IgBov(RCVlpvLq?LeOqL1eHSWW#))-v`aSg8Lb+tt4|$I zr3hyeP`*d@+D}%>aXrnH%*d>@{NDz_oYe~xx9}AsGUjNlzas7IKqRod_ zopH}e)pgFQ**w?h4LG%XT0Ns|B>MXKmqkQgPr8qotz@3eiA{0mtxcQ0`5txCvccQ* z!W=!VqLhnHPMjfQ>;>DkyYfy-fFQ!GVeW2b$WsqCFF|F73$%2R@Dov}AiZ97dkXuc zBfD|s)3x*MSuBunoTUh-{dZUM_nOSHfhM{O$z&c3I8(X4Jhs3U99*|3%uooKfupX6Np4#2fr9o9RmW z;Q3Q`qD>F8aLXy*CvzTDrGKYkoF1kay4`;sd$>zVZm_G#+wf^H8aQH~VPsH~Fc;;m ztKG9_+~+XN<*P0!DWOk~P*O31yF1_Rqi8I2^?EzJ;VLm#>&RX|^0^+-P&?1%KK@#( zLlptp8DjZbn#iJY@I-koyktx)s_2=f6=u-%rC&QE;zd;AfDF0OR==K7*n`t;8#Av( zX5#WKAEi+<2yks`)Sn+pZ51`>?UZ`I3Oko5HF#-S8|w8T_oSG4zp{6v7%6wC(o^O) zK|z!SQ;Mvi?75L^hPUnv+|kduH;>$!?5a~+`pEf>S(s{qnRmf(P%UYmh}t?b*pGE5 zj8yngc01|ImzEmlSl6HdtjVoI(J6l6rR=yzp4Y`8jjqDB||93+ZZ43xIYJRWUA zbK|9+Har}JbmsT=l%n;->utEUtEl%XRbJnE-Xs&YJZf~MilJ{Z+V(`^MWPR7@-q$R z#nOPAW~Rsh5{q`oA4q>>LDmfyT{4~Cw`9AS@`tU^iD!9KaU0)~@41xm^al!3jbBUU zhHB|Xma=-aO0S%)Jcx@?=neAn5EhX#xhx;wXjdm3jk0Tbt6%PD@|OSXeW&j3SMF(t z&ZXtsEw1sK()*>vWVwS&aypL#OK_I_0c+gu(_i+bD^%l)H#cMx);81Hp<97_uV*U8 z_DU}0PMu+OAjzh~FWjdIm{>Pc^A!uLmxTpzv?C~=KEqIs9`Qev)tgbVzv*(QE0nIgBZResy6p?rAg(S{E zcJn7HwjKvz@s^k25s3?5;5AJ0?}F^ckfIVym~&IMN+MyOPm>Zqkx_qKqSc7-W6Ox6 zA37TF)gX)W`YfIwo!i8uYRF_Ai4-mp-FBi3TPj$Qz3#0T8B1bTWmNI~Rxf_O?h@aw z-;?a7S9si!4vTHW+BZpNz76Jk9D3v4`)v)vEY)8X1JTImwNH~5QN2Y?QF_4BeOALj z*Q?Bqy}{!Y!>Rrsh1ax|)TZszzVgUH#?LN#^d9u33uP82e>W=0e4ygSW@RZHe_$`J zav~&I*vxLGXQ*!SMW_Z%1l_=FGVsm0Ct^0PyhYe&@7>mjI%Q`0rKw^f2c8Kw7THI^ z2Wnr|nX4%y;E&cXCk>vr*1U1UZ#&;;!1d)qMb)CosUXTHxHY1vd(`@@8^Wh{CW48A zA$}!qaGZS9+|WSjd9h*9RvtH-{ReOSR5LAE?njtL1WUQy-1V>>obKCGbDVhCveP=; zm_E{fD_cI%)TPC~+)G0-5dMmo3)9Ggt79Nv`bd(z@Em(x@$3d21$s#bk6L{-J*U2k zy}pB>7txaAYg{JaNy+t)QPl`F7o^#X;Ai|<913roJ_pyd+!(%Z z{EGF^eBoVAZ)bSGa3tI@fZfNWSZeP4Os1y6t>R~u^HZN5R2n7I6Zw?CKx8VGzgQA@ z6kg~?x57JCw7!=Y;nFjB$?dfbyur=d2QST_>99?}jiAW<Z%ycsYxxEZd+QXtR61nOl8^c(NqrJ;{JHnyJPeVFh*92-1{= zOGDc#?$a6l0Z{6szR3ZDTDe5_1}|0j59QYK9S5K?IpOPHj z?K#D*q5Ng9e(!mraBunG8H!o4&VeKtN@@NT=Xw6_`Z$vMFZ@2nS7Q$00uK6b@`M<+ zhRJE3d5lq1sUYuG#DbURjZ}ZSty2K$rvo`M+Tvq84owWFzY)81TXG)AxU;)8ZNAhK z$$Ob4At7Qwyb$*#;$}Vc@uX$V2f21w*o1PKLhU<^(__~>KX2dPwuPQdE>syx>m9+| zVvl(G`U+DZkF1*fj#xd{4&$N$UrXzUM7`z@+~=X9#U)|))YnK&aJ&tTIFlCxZ*~`f zJ?yCG)zbaBweCL^S6(jMZM@{l;m^Jt+5M+mhAv6SIh=>}wQF2lk0;2gZ)|y+ZL=$Q zMh^9ng;>yC223auybIE|rtZ^;y7|;H&A!>LYBd*y%4LP>a*A5VjN*#Fe9Joe&`925 zY~uj`&{fwOsR5n$z8bLgXfl&Bi{yNG5EI)WPZB( zCjEKj=}hPQlqr6;<9bv9yn{y<&zy+3e>?g^&55iL%J6sOeqN^o)KBm_p2%XSX5`Vp z^xY6YADl;AFe};5Y+F2Obgg%X>=P_35=Qg5NE|L&==8;`x~L#Q5p@M&!!3|Qq~Epi z!ql=gA(bMKtz%#beUCku^}`3X?GB|pR^}-tleZV!o@iZN&buI* zpAZubT->RbU%-n{)MOqFCMa6_+xAvtx=z&1SQ{ zA9eRA`(Iwx8)s2T)1%0`-o9$S$SZqFm8WO)LPI5j)A;)|@54z4xLDk(u_xOLcHG@m zhp%K%y&Y>|RWY`>x7A*2tExLWwJug%1+3KjcY>#_;=^+gr8$lR6n&W;12-i#L@sx# zakr}N8JXlueN(j*6(JGJU#+9sRH}HzR8bqj<%3-Fnm~ud1%!N%u?T&ye=e@lBf3*s za+FS=u7B#OZBTajOLSlT?e;$3;{5qB6g&}iNKUk41|^)V{}q8c##(+q4gW%6{yw7V zsjB=spTPwYqJN#w#IJdPM?*U_9%7ER#yCoFtyb1>K`@pQT(^W&VX96tXd8^;Z5OoG zZ8dF++jbVBmR#2)NyV?BK_lpriwfpfx!dm;o#%|fUKj$_IzS1+GG@T)^|YJJ!Vx z0_PLv0#&+LS|K$-9PEceuqVM~gU34|0l?keozGo>59?wLz(qwx0T@5P&kqGTpg2!Q zJjw&=h+_xs9Xo>2`%BCb$9L=#p9R(dz~}*RJ{a)J&@U_jgLQ-u45Q4ku6PM9S67TB zQV6smj7A7S%@HU8C>)Nqg2KQLR7Ai^!~$k1A|h-d`pcZtZ*KmJJ#YXtC;-L*Y#~9Q z&(hTb?IOXYprHa$u)*T+KkzAtC?8CS3-~$x|CU!^ZvJx=z=Zw`gE+{8R0R&g8m=F>v3K0kX!3icG6qNyALIht*{9lOv#`&8l)=~X7JoVHs$2G-?=A}zG@FO8BQoc0gt<57b2Uov3Z@+Wo+I{EK9 zeiaO%YW`2k{zbumD4SyvxYd9a1pKv;Ns>bTOP~LqqQ7@<@Na?ympfr^{aS%j(@ISkVTtNR@`6%gb{7g7Wlt-38@3gQm%L#Py<*LJb&E{ zc(|agKuj7gL`v9ke|#XqLP7#U5G%+}nh-w$Jtur1jz4K|I0#Dqg9a1ghk+>mzwp6? zU_$?t1sUMrJ<31%1pbXrNI(D#^*{Io2}t@sXrct1{U0;|k$>kCg#8;$m|p}$zW*VM z0B8RXny84#Z#29M3dDC^!1u=?fEMO9cyS~I0W`7Twt9SL1Ob#Bt*{V6oq(4~O0p0` zafGy}kf0P?KuSnZ8X+JE_M{MkqHws3sGt-~PFPU#|IJ}cxIDt)Q7-u7q`~1rfQmI`8elOq|7$6%r@IFl4C+Cl~YL4NnfZ$4pCAf zMdd6?NTd?woaFz$L-qCj{-^8u-d(%i=eeKz^xTK%aKCa^`i9CV6*ZV#^{2QCFbo_C zXSyGNX=wrG6b6;+3CDsE8^Dl8=Tg{kz>rSlQuHY#CYhqG4dZax6rwkbcQ*Zu33HSB z%Fv+^C9e6Zl%wsw^v0&$$!m^_jGi2ANbZM6CRZ`6M&Bg&$PU!$)yEQ-T+u(3VJNFu zlM(A$(Kfy{M6~FsBlFhOaB(Om1PE5{%X*Z0Os>zfjML|5a_=NJ|F8f&eao`JyOm!y zCt23%OrP2nzA}*Kgnz8m8q8~{35`ms&@k=mHg+r- z9~qvVC|Md%@5#$BlZ+D$4Xr)|Z^$lv`!Fh`_UUwK_4A^TA7fvBJS#gmJ~Pvw_V#UQ z|CPGTtV7GaV4lYdTh`tRo|zh-cpFhtjx7%k(zsA}u|%sA-?{5d>%>r8T-|qri;vp3 zi+`=Tri2E(oj!Pc9y*6f!*!1ex&PI zt7oXwlud*A7ujPgRfh8@s$RpL63xoNiE8qaB7>&m=%x?$-le2el48njwQkSS>&n81 zbQ<67IKIayqBLm};ahh~ZYgt*7^**M$(!5Dtu6`adHdArUK~#j90+-O9&=n{PnIlDZ!VMm4OU7^@6;?bwW!IELr1S=Pa{p zK!QHlTplYWD9ktxDRsVK}iT z^TV--_=eJR2~3gC=koj13wY0)m)_WbT_+Xr;rru8d9!mzPGw#B zIDG%kl|7Puqvnf`$>A4Cz~uW1mk7!Y+-wTBgl({YNZaAipc@r+ZaUG>Un%-S+@*&N zCQYC1!|Sdn$|QX}7l$>k83?8B9X2@@d=0UyKx3bnP)1wvhHE|RUknz5FGs4hZKaT1~FL&+=v6f_H3ShtG@$ zT6^Xc4C6!PA2wa?P9|^c$joU{j2TdSgPq-{sGI)L@WP>oXX|>OBp2ETnmhGOzTZgD zO|)@qvP*qGfxH$M<$*TeB3iz!C=Vui+1!Ls9n|st;N{HX0cF@CiExqL?KWKFC&s;k z8QUSU^ObgK1<%`I%EH6#nODMO56>)(Ik$>Wm^Ee7X13|{f%CamZ9>Z~_{YeeIw1Qr zYJ50z(PvW?)@w-Ki|qY7y*)eKVYmItcNFCb*e^&dpOkOjA9VApOWEj$sSjVH{$jho z9JPJ77k@7qc`s|jDw))~Y;1}WV%x{tTwR@YHaj;J2Uq(Ln=F{`?yvqvNkwPU)gqJx?*`E}xv+v*P;kLDP>~pZJPy?z~`?XA5HM=D%GpWgBrE6nP76ms`U@SYz+7dp@0r!dI#`wiHF_9$p)g5D^sss?Nx zruJ+9vI}5Q04pMu0uU%<8c~4%`I>sci#ug@YV?A(p?9Lfq$f>IMT>mPmT)=tquwL{imv`3Wxr4FpLH?dn62l!NPz4Bme0A z&H)KS!m(Irw(4j!{}1)B;C$8RrD2eB7!b#KEOiZ#3i{1aLM@ycUp5~)&!3MoN4200 zG=n(^8k7d%L2nIk2J;wv-I4q`L2`fLL%1LW3Pc8Y{-QCca1`J9fUU1P7YcSLK0tRa z1Ra0$x6t`X2S6@bU;^5fp~K+Ne)jcg9v&1hF~Cd!0}}&y(-^)S*I#TQxBbo)^7SvT z@?B{`^rrl0_v?ab2xg%&8l?fpp>c3^HIyrKsHAe>YA`^DLxK_#1cJFlWEoRvRL}V? zBmo+OC}DsJm;yAC4ueXkfZhgdxfE{)&>A=xK%j9rplSF40~rrw1O^nC%L;%FpawV+cx zxN|Kwq#M8nH~@#@M_~XQ8V}&Gh$ITY1-PDU3i$SC0=_^15J+J&75R1nPtg=rI12Ln z@0kVl=Pf#S&i?(F4bJX&_v$U2%h5O-=m6({W2di#f zjo$HO`%-bS9arrWZhEd3JDGc-u*G513l$Y*`-rQagZT_07eNCb;HdL$!If?T*d9Z# z=hKLEUT2!y^uB|q<5LcDhRTEAOo+ziNmmZ@v^qR5U$feC@~&)M;JXvm!^3Slyp5a1 z>o))BTV0`HnAiWsid=2vhixVeelr+8pkXH((NiR)9p|{$S~@A-<#cj-iap%l!qn+~ zPha1U*`2lm0s_5H&3=3{lDS^{{8`guL_HzX2Hb-j4!{K75l3l>+Yd%++1j5@O9U*< zEFG`7>^HNpRdlS`ns5KIqy!hq?nkaGi7T2|Bl_*_F2Ln(5aFH{iVzPtK9)#G@v@@@ z%of)mV@GxnESwlT{e9$MyNc8^B~K;g21XKmq*GqTY#-B|{p&03nT$%OZBUSO)u|X# zpQ^+eo`=!qi6yd64G32ro1^Lt%;`cL79x|%w(iIv= zEst%gXZ|A6Q@UfL#Z{TADg}2|KCLC2ri_%ul=+q|?abEcjIdei+A}?}ViGY0(9hCa zIyT-Mkf@bh1Ji8#i=O$y;r;d;i9*)1z3W?%ZKRtMU6craQEhB-HTJ&Wslk#hVXQST z+tTh@NnZMJvnVMFb8>6IZnoeJr&|wm){5;+3i{%#%&REWIk8B))#S1B+E3?Q+~U%% z!F;Ol_34FODs3$TaO~>}`_(>am#?ij5IM`ZH}c+N5Ehy6Jxk(g-*Nr_iBnIPr-zToVC*WqU2?r^y zbL7#ofB^Y|Fe&|Hu6)W}+{N8-83O@SLQuYv;cAh|fPv`EY#mj56Cch4bh=ocLFMPl z!yVmqUv|A4-x944WPFa=_U!oUGhc(posVm(V0Q}pkT0xbi7oLl6nikKw9bruFR8iL z{+gehPm7grn?2%=8)5Wph0ZI#FwbqStZ00E)5$kSHKZDsXbB%?g-Gd>(Rqp+<#J5p z-nB!S2@i(duSEo+mw{}UbfQf~! zIePwNTWCV%lgFr*(ZE>2{ZUq1%qL$a)^0s2whpc1F_e?_1-8KUiKbO1SHg z=5(-Zig56w$Z%L#9O>p=@<*n1a*dVqf$0=jYiK){XQtdJxnCt)MgNKQUwQj;6wjSL?q;thZ zp^2Mb+3(FJPYPPUns`Vpi2i{jYNm+E__oSY+tGzoK`$ zl^)@tH>2={vt#;8>!%%!%d!bUJhFq?j-8PT!HrKE%1)pC)UdMB;8Lsq(+{uvVKKQX zYmP(|-`%8d6J)4ypTj9mYPEQ?GV-|`@^G-9GhGN7El1GUxIWV-^vi6Xu%J_y$xfWu zb%u_l!+W@s(w$*=fy6Ug*qVLk&+X5S>}gn51aY(Wby{(*D9TkHe?2; znKl|bQ_%H27KSAMFwqs_NgwPRTPbUjDVf$Et@jwz_^H?x_ebD24;f+JKRz+De^a|- z$!xZ>f@(+Hck246m8^T5mP5;Y6gxe~+K}lR-SSgciyB$+PK<5QT5T-5^6;{^l%9qR zD^lHr^4{JIhGwSSJX}DJOwv6pgjC_PERq3YvEgD^?x2M)KA+{5Ll5^$#N73@mz;oH2i9zF^o*Y-H9AN5C zF?C!D8K*>EJh*loK`3shtiD()xB9}i6P596;@!_Hk)=Ak*57#C&TNiYR3WyiMM9c) zGO=ONhT*BiHgTcl{+Es+zOXNx-Yimo<9(0fMZw+n8rLMNUP%mI-YERJ;K_ZJ_D#F+ z)46^_HO~t(bEhvAMLz0KPe_(k;ng%)rC91WZF<^cQP$=bxu*VAShqviJiM}xr9%kK;^Dz_m&U#PI_Hc|rS(+&h{B0Jw(9=Ge%s#TKMQAzpx z5t?3SN#Xrf3KE-^v>o<0D-4e}L!_8Yzw6()+wfZxLc1=$;;eyy&vRhvw)FCg)`8uy z=Jka7(;_4F<_QHrHg+Oy>`hXLrQCI`Z^tehIj9->QUo?jzi{=Q`Etb8$mNAdQyQWuAI+!TXl@Z6n)R0HcP?MmLtV0U zD$~Am>_G;w&+G1wT(q<4zFFUZLEg8GALV2aL8rN$a)J70HHvYiHgDZDWG>od{c&?W-7IWH z2|;SjVc7)Q(aWa{f}@Saq;IKTa_~WS-!Y}8w?5w&zS7VFCGJxh{wmUR53cq=aC_YK zi+4tWiyBWDAtwHfLH-%VXQUVB<;ER%ydj-)vk2xO8O-RK3B?4JRi_@S5DSxa)D>`c|8U^<7gcbdHSw6VUAR5ELvN9e3Sml z&t2ED=n6{)QunW&RjBhk8=|q^M+bXojIk|j$DW?gqc2FjKzLcP~NMWN(S_Da8?I z;kcDd%Jwij?Y`}Sbq9+$G=U4 za%NV*+&su1x}p8OmchTZ|9-1lxX=GO{yP!O7ta1DH4WU)v%l6Z9(e8WqHy8v6e^8@ zM+}vgBj7YL9^r@~APFoziYLuDkWH}-w6G%udXaEs#4c@^)-EDgM4>42h%99fesP}z z2d`LoSv?zbLs*oMFW0?tR_df^dH1S>d~$)tPH zxNx)zP6efmQr!XfV1xHSeho%i!QJG^1_V5T#E|;YV0RH~|D*mb} zOg0rj;cz$ri3ZSUWe`J|6TsjSdCCmVR!|;a5t`FaG6qM5uagRi=?&1F0F(+6SP-;u zC#5kNa7ZxGo$1TPBYb^nWK9hUN*#;F5tY&IBzI*LisGS+1RrHGn&M6-p^+LMB;0~H z)^BS5O&&M^3RDH{0Jb#2k`dXLL}B9*Mpou%+ zxC4Id`9F~UhWQ&QlWhlvgf^Ao%c3*6a5WVyoJHi4Jn7(lnGQ$JN#&EyV`>4ApMJB@ zzil%ji$M6Ft>*0wg*Akysm~<&dV?hg6aD{B(EQteCX;?D%<^T^`58hc0Tem~(v1VU z8U<=hCTV&w+1^AjzKJXrSQ;U6!LSFwxI}1cfrDHcmrl{<=bsLpJJ+DopnTG#6B$%I zf~QQTco2Q*T!glQ;+!AoH0`+tp91*B1#FR^&|tFX7}-*M7C35yWtl&y`J)i^Pa3dI zp05IeO8%3_Lcl;#^WQQ18-xE4Hhd7c)PNBL{9MSiVeo(H`S%$8TD`$N0gv#9*5-fg z4!;$M7M2->|Fp^|g4Hg_GoV?av{isI-qe=?)r3*}WXGW3Xe3Gv!~@p_K8n631VCa@ zYACcS3WZieq7g_WVu2Hrt+3#ZKl2wvv4g@&0c?OJssj`f_a`poIuNYm%k=~~fI*@7 zv&zh4Q#`=BC<+6ER@}JTY9F>nv~JPd`yfR#KF~M^7wZcN&^ShT>pTn ztNnu(i9~@F`9JZ{|G)!H0oIrQj)z8}{vj8Qg=*!0;2|;p#6$j5XEaU?tTq2Zi}|N6 zSmf_8E}IC}4%y&$c{pH83j{wwVBmla6I@pLUmxIr3B!X4=NA^i>Zm^4MN3`J5R1d= zf_~N0)6qfdpm1n?l%ARaQbQHgUKOYPzhk&UpCLG0BAd&1nz}kp6(%QVU}*^ZFKyEl AE&u=k diff --git a/Figures/ch4/R3/EC95.pdf b/Figures/ch4/R3/EC95.pdf deleted file mode 100755 index 7afaf949608f13d2dfd1dd5ae0285e818c79109f..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 8255 zcmb_B2{=^U`=x~@g-}W{sSJrbGt6KZvM0vAOBpj4lQA=9VMt_+Qd&evrP78{WQ(Lk zLWL|5Ny!pLWG()8hL-R9e*f)xzB|u6_nh~<+j*C>ymyCCR zsxLnjr_XL|nEaukFQhagBzJ$!;mDPzUn_Xal9Pl+h7?=Mo{iTEopkoSa>Ku9p!ai7 z>+@?(RDaBnWk^6ljU)Z*^gF*ho<9zZxH^Zr)CS$D*y#A>P0;i&`&j)1mUBd1KvZrf#C6V+|l| zaYLxkRG<{;)b6L-P#R$xuU;PK9uY4Vvj zhTBL|WC)hu>07>1L#B+0buK5^A)^;pPKrNNq#Ku4iTOt}7rC!pw&SsI;>c+E^H${* zt(yd2Pq|3GFf=pIM8NSJLqHA6w|nBMpzJi7RdlRSqXsq-3s%>hvbnxo}5%IqJ?bhasdI@$s3|!QNb!L(>ZC3QLdw_f=N`3T;UE_ zQcrGC^7wg|)kXfWES6~*+HkqSQmL;+?p}?amJe;&)tQdSql#i>K0AYXIxPt_}@*M)Tmkv4WNbl)R zw0LM6S6vjcKSnrOVdzLtuGZn2YZrn#*MHn1d34c>gQt3O%k#EOiVsVWhE9iJv(J20 z$QC)E^Xy*P;W^zGn5RdLFOTlInRn1h+WWqUc@U={baME`^w-(XBcnqXLJyXdxxU5E z%+8M1&5m@8-pfu;I=I3WMkeG}O5}(9m>Qq>@i-{7bar}#Xo-#g)B};t5)U4n3z=)J z-KXY~l`Sq7S{hWQJv0739taH~+J+kB8by~BIb|tj?=;XNye6+AtM#WGXuO-S#-;5Q zK3Be!pt0eeM9!0Uc8~Hmi!I%BKFGd9^vZ6;h3m)rOFs~=lRv+_d!gFy`;j2#F;3e+ zdeu$RK-;+UunZwJS7(#=W$rqBNu6qR=*Y_zlh_Bw%{58;kD2FH=T8l_pTyq3XesD& zUUzI5`=W2Q$p8VDNhrxm>YGf*5I%4*zWLMai{Fg0(hnB|Rt^I)xW$?$GQm=^p|G2D z>gHY{N`x|m&@*KqLLZI$ybsR~UsY1Hf4WQY{;i%#%2mPR=RZte>6tnmLQZ<#Hwzjg zf+=(9<0OF&r;_ZTnVn%lEi1={cGt5!e;nJd%+rQ>RfO?SeYU-t{D#@SMF;kVS?4JoVv9k)Y%UZBeR6Cr})gs1gxuqv{mxW9B zXcZ-l7}>>MO~2X(KK())+xW~K-G8-Dfi-uj2qu}KVr72qTmH9+POI;)6z>w(*;SQD zrCM8^J8>dFt>sSDEyKqCs|^`PdW*g$a63BGjM{(b(^$)H?smSIa-2`sJ!*Yz^SaGv z;eoHBGh)^}upPc3cj?kb-|XapEmIxG&U?KkpUppdc^XXq=&z7aycLz!Tr&lfn&KjL zqQXVxBumYXM^q-QO$-?Fs4#tVM#w<@jLFygpElJy$CrrNy82A4EUJ^dz8y5(k85sk zo_m7G4%w0?{dpiG;FV*Nu6aj-%Z&@g{U7^vjHd8uhq9zQ@~RsMtf!@^%_r`q7C)Tp zsW3JESeiQRADu+Q!N=qoiFfYrep@prvf=1K2d&px&syDYb0oVB+eI9<;W%4X_3Ui< z@l@K5%4t~s;h14>&X6flcHpMC?$>d}r(uU`tRF=83Fp%la}3;I-6o$!ZapgxtI>aO zCAcZlAaUz-*z+2f+hEPLW`wj_gLrx5bBWrf$W%_w{Xm=Preov9cZ*Xnb1DyJX}fjX zS9_*}xK>zbF<-QvJU~c%DwwJ^ajtrc0Cwzs0qgzb(3qT>kn+e0pYs#lAKG<`>-P9e zYrOxIu0LANR3X4t<nv>Ghe-+7@YW+XqU`$=d=eu(qzvSn*8%Y!uX!o~x& zc$*b(i{iaeST%Ln0!;1qMrIet00Aqa7YGnQGKHv5=fYi)(6E{&8m_9Q=>~%anIMe~ zSLJPWFu(?6(K$>K$bvROD<+*}3$k4SXq$usb|9Axp&N18Cbn#7BZQ-Pd>|5IIz)~_ z@jKAI2pB+ph$9Qm+fQv^5NJUyo{0JV72*cz1?MZqf&*q0G7IhswS$?7v!&85km?VzDI_A_T!tWv#H29T zbS7Mr$AWJT{s?4F3X{b)@Fp_hs%XHRxX?zSQGg?b%=Tuv!qDnGL4W>KRaN1<|2zz% z!J9o2hQVOrfBunw>;1_A2}8oMSl(>a(P;jk*TX{dRbP;XLC$0FI4)qRYd}=I-#jI+ zrK!f3&4(`V=i|&%{nUmxgLw!VlE%a1y)~d2EMV|;NAl;yllvQ=hYLY?fk=Z6VicMe z9L0A&V9W7f^MaihACNnL1|5I&kI?x=2k>0k5gEHcikJ67mnVTY#-oG*rceq{NP09cDhPQSuw{e34v;l8VE}=`VnL?i z2Mo`65F;p{pj=h}^Z*0E5HJFa0TW<1UD)4c{i59nx3O~}{3j^g$XE9`8m zHatLm_;@4+L#e>Tc0F2s_j=5ZXWN&HiSD>=pOE9dM)XAXrTk`xO)phclN_E`aSe_IWXbNaJ>e@psl&40E;Hy)$lF zIiDz%s|)HmUNt=2s>j_ZD^@2v`*BUVhVh-=5i4?)i9fc9G&F5AykEmkB%-@ON+;fN zkM;V*)2^qI(vt1r0T#QR`no@UoSoCM6%Y{kP-8YbZ6b54_Qms8PZ9Nmbel7$GadHB z1bT>Llr!58L}}aFpGrLgSejWnUUl7PW?`%7SiL3J{&i82W)!m*xvnU_U_wG<`n@jT zS{h7vpp7D&1{|M?CnWpWQ3B@*tC4Y|I|vp|G_K)Za)@1d%GshC$!-0k34ZI7U&n6$ zrayP%E9JS2N~djb@cPP=v80cx;%B*@a;mYWWO>z^3MD;BP)CGSoiEr~7Rlq~Pe z)a#6}S?<<7GrDpTF$GZ1QJdR0=Jbo#N=m?Rtv9IYFCF@}XNl)Cp6}Vvf@~$_Omu+} z0U|os!Yb@T|C2*So5L6quUk_~tt77uq)jdA-Cd{uAU!RuWrPA8m565OQd3T0eRs{I(JKkct4?N5KdNqy((FcHBKzZJ=Y?{_^iEvy&YTRyo|^YYI43;ls!gy38y<29=$1N&oS znR=@BrhcqP=rqwgMirkcBHQ29jp+7_Z;mkpE_^<`_4%=mvtL8TU5?>Yuv$WXN{oef~m@Yhe#>^qQ~B=Wcx=r z_}f*HRVkDBEnQM8VWNj5j$Ay^dMKgd*;7>WSWw*3eTS_!n@_$zQ@iDe=sL8X=TM4F zet)_-Fn|f{hM6sE#>Jp&qi8E+ZWqKIMh|9tJ;5g)Y1yBZp+!xuYkRzxh0Uq>Uebbh)9h(+~Q4IWa4cXiHdLaw-y^ci=P{H z9#7KkYdIY{TfRste z<{qP&*zx-f`yI@%A@vDEs_#AC0#m{}wdmnUTb?V-NZ}=9{<@4@bd3s$7M3FSQ>4sKR_LK%D4X%?oIls*#nVDG3*IKFk?fl2P6+9gkZ zypG8*eh{d3?~@PePU5@Pt!Kwvd@GFCirkZ0R+hV@O|U+@t3@7ntZ8l2mfc%Q#G6g6 zs;=hxSc1AR?JxREl0WECcPXqms4XKO;pU~3V}F-I)%(z0>zxqSi9f-*+V@GMtTX6* zruUiP@xf=uR4V%EhEsGs*L>Q^RWBdiJcb|?HdItyuHClg($?b@rzK8%TvQ@Uwfk(i z{j`nV6tSpWbak`%dhUrc4U43Qr_QvBEn5+AEdUy{l8Sd$WPCnxl$1Iq+LBBNlt}Z-C&h$Y4~bWO}9l!t9z70 z{hP3N4q;CljvSZjx_|2gR?tst{3=#IvfHbru~TymJ~}Q%Ut`VSzD?Fia$5KD0>2rt z#eXmgXXTTW4ByG_P_2vnAKqht~_1oLTP|Iz%w5N||m^i2zb3g&v^)KCg ze~d)inz+7P^(vLySQK6BD`kqP46{F+YVwv&;jZ3ecK1M0Lgn=G{n=_(0Y`Evx0{-U zzRdZ`^tzO-?)F-;Wh&ji^V_2fz+Ruy*=)4S?!9xIz#;DR#!uU15W%O|o!jKH86h|A zn$G#dj||M_3gwZ%-G_aC@NzbOSY4*h$7JUY{927W&GEX za7k6l(Mpk{&T9;@Mr(S>HkEjyrJl9Oj-|R!KlbHdu6YMe$b2O(8EPbVUxcG#%=IdI zm&XR0_SP6RuRCW$lo!xl`e2nPd8tWIH&;k8fP2kPQ#Mr4B{oA_ASpL=LqyKuVDaix zB})%Wi$=J^1Z0<0m@gNkE%w=Ju}b3Tn2=$xt?3EC??Y#;blP#pmX(O0DaKi2yxnPZFki6M@lYcm5EH4QuWEjE%_siMZUGzhzj)C4!@~X z@n{wR#0C4kdxJkRp)|Fw(c)^_ocdN1whi`o3xOZyKzdLD<*JZ{oa9b_zq?2lb+JmHD4z{`nGywx7NU3vdW+tWQ|x2HAymAv*@9m~uU&9t}6 z#kGIlTx>ZwSRBy03OqX}U~V29z`LRSwU)uZwf}jm`gx!Kef)PKnEyQcqtrAsf1Ulc zb-B>B!v|!;JwPuC4UhP8zYGDVknspd3;{`C7=YfCT|rFHHps$`6y!tFBqMZnVA{Gw zsE7h8bBPRPPkxo31&6L!csT{ zH=E7C0YE@NfJ%U>3Z3Z%pfoi#0VEngqm>~HWmX`KP2?)mSX&@@d_^cuzsP7T6~0a? zB)Ts^aRN{(NZ_ZSpLbFUod)L#CVJ30Y&?R)p^$MJWOa~4LJ^hG9wZNC6bkfIMnaFW zDh7+jsH%eM8tUYq;uwFZ`4@T603=WqvIEq@K_w$HhXgY52oo!FxQREN#h$Npz%^Bn z7zD5|{eMd<$T$Dl3Xnq=%%Bb7;0REqz%$Sgs#@vT5~1t!ZjLeyZiiCC!BIFg4yBI6 zVc^=p-!LKPL!<`KS03oA&;Nn+56nME=}bE)By_xJ90rxnhO4Py;S3_1_`ePd66iY80d~nS}GCGku9rd=nWAs5C-kLtzgQ^Gc=?2*5@}v|1Xr01dJ;KQHbO^1ao!J9iq3q4PXYYq0<}oI(4aHt8QFqE_kNMirO z<+%<5>v7oL5Crj4B51315JrG_lZ>c@LcS6Q+*Q zglfNkg`qT&PzCgFFm=p7Xpu-1RFVHXp6WmF&`2~?2mUJ_8ioFcTr?I1RYCuThs6F9 z5BX1>(VDy}^51AN|I`JG{1e7z5~1256Z$|82W%-p&?g8C9I&B7%PRlt0~|1=dD7v$ zIDtM(m>R-ewNYq&w4tU3(m>5f-M|2gF;>$=A&m^tXnlQ6J!7na&i{_##`_GxViTEc SzSGn-kZ9PpZAO;Hu>S%hawdxa diff --git a/Figures/ch4/R3/LT50.pdf b/Figures/ch4/R3/LT50.pdf deleted file mode 100755 index cd842ea23929f5c1405c54839dc07a264d749654..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 8324 zcmb_B2{=^U`=um9RJIUJlo4@fVaCXk?EAiD9b+&VGt7c)6)H<*jf8w6DlN7MN!Dy> zQA$Xg$dY8q?tf>b<@%<0 zI|5Nr0gMP_Pr4Tr4MHpc9U_TNph5v15{^#LBH$_R1T{4XjZP)td?0}tnHSo~Vi@jI z-zWJ?j0Dq$!|Z1gD-U+^M{l7g&^wbpJhM8a@g8`1qa2^1ESDlDGaP_lI!ZeuHByJ zdL^ys+5KH3q+E$j=uB71NB3RRuh}VVh@H`O)jXW&I>}jPcN32mi1l!Ny1bdxVb%5^ zMXswe#pa4vo&o#CYyq$Sxaqw8)`im>Meo@l(_^$zg3tMuc}>eZt2SK&5nH} z<0JpDNTG8u6t#2lz1x|RM-ft$uhL$~CdqjevrDB1r|ngJuyf|zw0<@`4Z>&lD!3x0 z>qRDYa{gA?jvPmHEy40GY5bGa`>x`Fb6g`Cws50O^&5B0I2V?DS^u@Lk}l#8PhVHE z&$TQd0w1zYWq%RIx)v_X&FA{6s`ie`I`OVox-V-MW}d}Rz_NRS4psMcaL`#R}Z^iz2F(<$2hte$e?BPtIZ9} zboMRvIP8TZmDz@YlAFXvu9Tv(V}oE={p>s$Ob(>HPd zq`MvpS>)<`(zMlJ{@Zd)dH`UHM zPwiUF@Zsy9%z0=KFW`4->6?|po6~g@K8+VKhd~Chsa_MbGUK>QEW_1rdlIC;1J5c~~#*k{9Bx+ z2Me$3x9+^0ZI)`@a@gg>b<0gxvqu7ZW^D%wa|~vmS7S7k$}I(lH<)Y zCG12hhx>8XB@eUBG;3 zI$mXNRoU`Fw>5a^h!@|mv!;)*oO)dQS}m1`wKmSmT2YoJ zR>koeRL)v(g{JTdL6dCv`k<3b8)#tJ+_qvI4)p9_QF$)b*mIRpuC?=a^^l`+_0X%P zI$P18r|ebo2k(@bUVePXR7-v~?i<8Q;Ixda&+9}=%@jMWLeR9x;k1or3uENT!1Qj4 zSfz9PaKZ`pzx4MxJWRj8;qme~*T{>hT`Px*z)i^g$1Vf5m^%}5KVtqO&`2f7517KQ zUCZjIF99&ac@h9)f;$m+h!O~OfP=#dSR@psfOUd^gH!^U4n;BdH3(oqpivl9Jb?!8 zcxF@z-jYCf0Kh#F3Rn>W=^(mxAYIpz4(@tT1d|U)qC)}65eQZX+yntlun%&iL7AJU z1q1~BP>U&Ibu$IIfqFq%iqW8eA<>-%b$~F{wtzT6K@JQi%ilVpS)|h~{C2Npr#GidFqK5|oObjp+z`#@le28QQ&FL3grrUn!%JlUwud-Ze zg7YE#XZIfh(-6!;IV1uJ#Uim#i~_=m`6=m1gDOA(4H}-AkRTAuC7iDwf#~V=qsx@Q z9Ai>K0DUk8hdfDX{Ts08pgfC4ap03e7!rR-x_ z3H*{KprD{3{>(FG|A&27zqNn=)CTAJyR$XdzRgi^w4$2Y&#!Q68!kIb+cGsoMv^2{ zEJ@t#>7MY`g)I=7*|)|K(9Jwotv6~ZtcPqKj>6}U^`>l5?!5MT;;?@0QR zc9rw9%So)?jzDBa*s9glA>LFVWW_HvD-$G9A6w zyKbDjaNBXK@POD`zMb1e1Uum3Mj}Za?YK|K$qPnJvG$FDDEl+KNsks&COqBJ)=6FB zblZNxRVqOrS0^lx)Oy2JLfE$H>^4N_h0pEW9>~siC8VYBK1sYYVPjLATf1+&n+J@h zp`NVNA*6UE=h&BLVDyJZTf;{C0cB!jtPWylBaHpMz_7-9 zy^NL(ArIOXQTtDR{3_I7YAz(Ha(}0$V~eb8P6QijUSrcUS>@Qe#>#6Jak|r&(Xp?F zV-w8S-f1XrKNs@EjbU?`N=kr9oQqN_Z~q)!b?@6k@wSbeL)}SnyJNq9c++~cB+xcm zO74!5$b>t2>(_WTqE!5YQSVg$K4!Jvkot{CMEeD|6*VIatzw<$w{5r2=g|x zT7T<1{RTVrP*Ckmk8U3QcBFmOX(DfB6Me)%HBLrQOn-4aG0wbgs;rBzuiP}{#`V-H zyEv=icTTDbBUc9Z|8-K3CHO0Z%5AEooA2#+?IIpF(v+Xg_)a{hxqnm zY`U8_PPpnEj0lMg-f%Cv9&R6b$ecuIdd)uJy*V~Y)Kms1$ayMb7sugEUs^>&yS@2q z`Oa6rDtDN-4NTXv3_4f4z~8X>0-ye;hP`j@?5h|}x_IlaNI0edMCgp|Nwer*srg=H^(c7i=(Tej)M_DpDAAO>0@=IN#D( zIkp%cEh*%;lYa1Fr0)s=Z{Pk*L5@#<*oIhSz=7EEjIxj-@;3abvCZ^NYsoX-dx|qd z%dz$&F(@I!pgs+9-l#JVVw*bO(NRj`>Wc@bjmO)=smx)oass`jUH~tE;V1-l~}p^o=easZ_@B- zt6hQWqk>P~9`LC$5mI-g*PfO_0>_o&ueg8aEve^sO z^PT1DH>)4K4B#4%a~=sf9vJHB)(|{Y{rWpUUr2dy=RPhqtrk>Yr6%-bL&V0!G4}&c zP$c9Qg#brO?p`(C{cJGtFjM}m2g{msc0#9M?~SbXbVOWY(~pPU>D{9jq+xmj(n@Mg zYasiMpAXY&5yKabEUeobaQD)}<##!jI zylMWPZQ!{>>5Iafhv_3Hc7%Lx*GunuV6Vu-r6TT|?5Z%0$Si%7OgfRDrxlxiW0%8M zjch@cP;Pfbqg3yK7$Yv#thrpr^)23Z-8nV38GXr!4FXmJ1?A_hZucae6U@0Gnf^E> zbY=k*tcj@=fX4Chi^g2KtPgy|bi7c)ec-jea{5 z>@;S2V!UW|A;MEfu`(ng6%6D|NHW4~UR z%X|C8hu~8Ge)9S=+Q4wzQRC?6zPcZtR$`oOC%*5IUpW&j{Is%7z=GH_^|6_|N3wXU zx?8mpGKtq68D<-Hxasa)}o`^$|{OAdsD}< zcHNJhO&HlHPV2N>a_hPze#0WtkHhv0@Z!Fo)JX6&l;QN)6L=t$e8RN3J!7%&;@KE{ zeA}TO!^YYznHmdbFy-%?4}Ts$mRr@wxtJ(k_m>yH%Z2>IS!QDAqK-#(>Kb-jHzD*| zjSOAxM7;OSz2T6 zId`}tI%d?OvEEUkOk~gQ%FUA}>mzHj)^R_}uFAhZx_CXmHtOJCY<+&}w@cm{40A3F zhF9GdGLI*IIv6Mxs(r?5KaY+zCs4u*ZnhScl zReLB~F<;~Pfjy^GlT(}a5I72z!Rc1F{o{i{bg+DwYBP~ z`t%(WZ(aOlGfkc!IVD)Kno?@0)O%Dg~jG(EsnxZQE&g!=jQOMb}hiz(`*c$Ygtvt zw)eIaj4p8qPjrWEJ9k;7*PEY|RKa^ItjlfjQ+Ii1*y2pO^AXOMGV%kNtq1PR=j`DR zPb?G6Jumdde#Ln|<^4?A(%fuqQ&ZP%^@^z3+7V$xWcdwqfqmgNeBUy;4m`@`?p)3aB|#DQT8vzFD*W??$!wN?zvQ>sa*=-SMur|Or_p*s~B*q zj~8w8xPS?0SHBg1wr~C;MJ&Mccw3$GdlQvZExww70jXQJ7%rVB;zUidye}s{&vYqQ z@I0OOHXtSj^J3-v;WktFu8>WIF)8lxb@0sywrGS#`{NDbftoRqQ{Bi{2RR*gY}LbZ z3_NM6v_iYx?CZ8Vo6+I-O8+~|bMPH+Mn1fKWnF-O5tVuJ`?E&Ess{XiT3f3V{5nY3 z85^ygA`l8n*q^5e74<;y0OL)dL){3TM6xPuys8EUCAzD^Y!!{+#=e>aFQQ%$m0%fU zVucU##$(-K>S_=bbsSinA;<;deC0e?R|PaEcyv>h(6lhpkzgVODhK-b`hevMXrK>? zOj8b2g|SGK!8Q{Nz@RJ?y02HkCjKrAyE6F9#rsr89nY8fWKja&Id^~!K)(h>gfMK`WxnNq!g+Z7!qopWQH$^ zLWe5IqoKYyI^K%}p1es=_^MPE=?_d5fa#~-Ec9>N4CiZX{6AaG$A=l#Ogv>R3ZCHu zmNN9U{y#zUZ~NID|5IUK29?Ch5O+L4AQ70l(Lh%tK#kq;${rM|4-SlPoUbofa>3ET zum`}ngsG{3gLERDL{MYpp9YD(+8_~``J_z3kv&ymfpYEy4;+I;hp9>LTlE8psJ7Z* zQ2@WVfGs>TG$_HI8avx#w@xtWhTQPa3f8{-e4GD)~FO2{!gpSKCp_$^bBZL zX4*aM&6r3RQZ| z9e>YX5XFiaR?=VtEOs3s;ORecnXUuD8VtG@$N>zBeLt($fmDJAST#i`LYOP=>H|e9 zDxwsj9?%~!1Xcm8m@*$Ic@2hPRek@2A(WVPz^f>#B9lZ+LVn4y-~_!CQVP zU`Y%DuQn8+fCU9yR#~?iP(YvTL4mSLlwj3W3+kYvsBj1kS5j2e(MDk~nhIzotcC_k pTT@9JuBnL9L4gPI{}scDdA&iSm8y*Cy+ zFw#xrJ-l}*VQ3J$@WK9?s)}K6ha;>$aXzKBBgJe-@NDPf@Pk)1KL$e{+FW5nb6=?o z`7WGeV=g6K$OK$7aTNMzD8B_tn;}Py@V`>khn1jOr5M zw7Di`bFD4_lWiL!?`;@deDPTUI=@&=hXswqC%``!8uEA4a6*1BD)^te=MmF-m`pJ*x8U|fGjUC-DJf7J~id^lg$M^}BXky}vy zv1nt0|5bwj3V*4Jw4qx!iwC0=DAPk$Kmy?H{ewZH?Tj_U)J4ty?3tEhr{c0(;o(!tQ6MKN`s> zbedl9az#X|z89pt3`jkfxW5?bY|~=vpU)bN9(lZM>k%Vx;(Ujmu^$Wh zg8??O?5=v+0wFaOqib zru{BD%^-Ek<()tZOwf*9?S1K!~ zjcc&6p-%)(o*zK%IQAY|o1|Dt6FP|!(rWr13FV5lkN@i8q{!N-p*&GM+xq71hv9sK zX)mJ}3QLDqRtIB0ZB5!;>7wV|`H!{7`Ki$|w5rTxe2~XEk35fq zg)g@1Z?ZZxxpnLV8*|3Yk9Tjsw8fu^_-yIU#KCEE2U-3!`=ps%s>Rf7zZl_}o{b+r|?kTi%^>^IrAo{%l<6bNBUyfiCqs-MF%wj;~r@x~3`%elKUu z?y#`Pd;QFYpUFtlpr?oQ!lF1YON2YcylgRgr6PbMZ!G-L8I}}vsM!HrL3=Rg>js-0 z>^9t)2Q_*q=fp8?{ZY}; z6HReBU0V-|NG2-eEidj48<_p071?aucnaW<=^m4=J3AJ6jSnFDnu zqr>m~P^mMqz{m!0)Cl(unW>7dJaY9IKRnFQZnu+FRVq7y4cS|hb6@?wRh5O#@^nQ+ z$23bGPhEVEn9p2I-%x08X0w_T=bVsuQdxYl(5p+AlSF*Ox^jyic2D`|^52h7x-s?E zjv8P?b@(Pz(jgX;?ea>(EM|0gpVAY^3I}(XBj@C|e&O)itwELDIC{O(&)*LDB|ec>H6v*eZ?yC_nl&~t8dCEc~xe*n2rj&>&wF1s;iQmFgsq6 zOg>!X77X^2ttopGlvm%r8lYd7zOq?3IC&UPa$etMz!rUHqVGraUxWfu5wcE``?YJC z`+MR6W2`G4Fu*$#uTJJPqp%_COJ9x_*s~`cuKLX+QuYV*@BcMP=Pc#;n$dGDSh?a;Cr3Fs8ZDs|Zp2 zvzPw3-l>kI;^~e7tSt15^p8vF;E6tX8Ucr8xJwgH#Zd^JG%^K>rmJAMgV6)JlR%-; zG~BQhs4NoD$F8>#2sB_taHhFYZ6Qb$eW2g}WMyTc^zRx?UXea~I7D7v0s4RW{-y~6 zhbk!0=Zr!k8DIL70yt|FI3}G&=cUu=de^y7ilEd6eXWI-V_3kTu2J9&o;9frn>OZw zWayQL!=dz+A~=tA4u%YUUW`7_f}f+(6OjbIbrDFePy{3RfSI=wjh^iE`~btbk#vmS z-%{tN96%4zh7!=XBsCJ1@bg)d;NpS@3j?eKFfru;4+6=XYX3_uJ#4>grN{bLR2iW( z#CqWWbNJQ4G6bto8i_zc(MU8DC5N!5ze>7Np>hyFjf$feBuE5n3G1nYC%C$;Khj5_ z_t7OGfG$`91e_Ylm52wU4VcmJ9+sdt&=A0YK&67NVI&L`bTg<3OenCHB>*)*1JDGt z0BztXpabXu`hX!|1egI0C#{0c&xbqAOR!-2@j9~ zGWg$ET80jK~K?}H}+RDvHs^~B=v01cqIQSjieFB$L#e1QNwg?y0V zCGbreFAD`7@n@aUpV$4n_OAW=t2Q{---E5O@op{)SCCgx`S})ZVaa;j%&J@kk(M9| z-IpL_{8TKYZE+_=a_)^mD0Bz=ZHsN1a+@JL#v*Vzp9hk6V!H3VnzGStxKY*}WmC*^ zySIXyNm^txCjyZkar}-?wU0|U`3t+@WZm?EA@ristb_aN`0A>+=7lCPZ81)?I8SaK zL@IiEdctburG1#IVdK5#2;z!sm^bs`Xp?;_SO|qz)HS^2irJ0q6X}qnj%PpDW1B^u z&Ms&aXX6jIMMo=GN!Hy%S}xAb&#w-p$KAdyG19WHUd5z^$C8^bNn-S=nnh-HslM59 z(<&W)y&=oI=;YdsYHJ!rgKcQgg*bV#{9N0CvPunYeLeq!@WoO1q1~-k8tdk zijv=3VId(qeM~Y@60ePYs^IM~e|o@qPm8a$E`ewl=&!Ejgnw2(_Cg^SV#$5WL$Y%q zxA$($@OHw5^aT<+JFp*+)0g#IqOBkL$y#6FNO-)IJmu(t@d;p76N zs>xX;0vNGs)yONQ-p}G*+6w|Jp>ucrn)f$gqnmu$>x|T6)V-k^sbwK6wRJsjR`!_ zQ`CG#R5-@{rEpcS1pY06IXm(00snbxzCaV(bExmfCTIRqI#ahDb!CLT7g7?OI=eY7 zX^Ar5*<|ZFZ9(}4Y_&Xg;b6*WD?ZsR@uqb}8cO%$L|gF05P%_sMQbAjAHta4@r{_LyZia4=T~OQpObQd-_^|qpY3$MOHx!~@ zjzwQG-ttxr!xYN?Lm^&*iNr)GR&;!dtf~FBSh9N?%g4Ti*!|Hz-oI}1zvpKa zDK1^6C@|$r+VwSV3qd^Y!GwE?PhxPcn~Z9fO5DS437uH-m{#l|zgt>Mk9br@k1!p2 zlqrxKvGtK|Zb)FKb;}@AAXoCS6P-bhB_X$y=i<XI?@7<1YYECFJ+bbdTlZo6DVu9+8YUuaH?a@$>JTK;kx*SjRZ(K6$Fp~Y;>L;k%0 z>uAVOkoCD~?YU5s3uZ;p#*0c*l2_Dsds*N8b`fK{ss5=1t-r8W&N8#{Q&p91a=pXc z+rKQn4Tir)&-}%!a-sj|Em~oibwoIUqq>DQZmS$C$-7T?X)-?6qHLX}Sn; zp5AhF$F`{x+DAeI!%l6jjckHjhpC$o@hz{IrrdW#N9;9{#PYJ7PZMUg+5V+%Z&05* zcLP^a-OCEw1uMT)O|yWQhDGk?9hbRuKQteBU3Rc)BH?Pm`SS~^`x1sOP5ArzexBUr zIP+nJmnkls)5hC_hiyEw#>Tnm1T1<_g~_(oqKCOGVuK2>kL-dkl+M3pk^J#4{v;t~ z^DKYztjYd2l2(0tdbQ)(BayNyO6W=b96>!1kJs^E3pz4xvoDyOqMqWY9}wD3@RH|w zjVjm`QAXS}N|??FUGA$&OL^?5%d93i*Izn;Be5|rH}N(bKI##80Tn2UxTCoua)xX9 za|OBt9x2M_B}hB+SD5E29%tS0Oir3hcg&Jde2f{f^BH+DS>R2`Qv=KI`4*xV+{H@L zgDTM0<59AFdI5uKq+1gX?1cZ}_Ghfzo_1TNBP@&T9CdDS<~%>wfR$o?%i}jP zc3oHPg?2z*mKsKutYrlyipq>}VG>BYRym$D-J z0}<25l|}|Tj73DEb!sm~oG4c>pFZ{c>5>IshNqFb&pV}slKD1~tIdf?(TyRNY-d?3 z2lgzeAvS02OIj2^go@0U{aB4vV0BH6lAfsby2z5MsPxdq>GZWn*~0PF`)eHow!0I@ z!p(*KR3~`5-W>L*G2~OVqcwz!BY`uDaoNtFIPNvDrtKVjK;U7mYzr&X(v{d-_u4$5 zV4=H0HNWn`3t!gBScmbzGk!s?PR*x2*1h_{%@tU2s{0_Tie{_qV6_JHTyyBQ_|MLV zyJU&TopQc*W^4m09EY~Rgo2H@cO5BzbW;#I1AC`$F4h@(ZHsOktZYC`CqT{UEToOt zcBPr*Ihho!*}4x`G`_g$fN$ls#T##LnoUk>l^q>cj{m$k`~0(JU`O?LJ)X>|NMEA+ zPQQGUcUwlD+m`ke<=fE4&+ZBQ)S;8w`@mYBomEN5Gx3DncSL&W<3!@woLidFsdt5K zzp7>ODh07QBOZzm9FEdwRnC~tvfJG1e!TByy;a&^B4R6#`AA+xl6hf&LJaTCyP~O2 zl7nU!fwB8HR7_H4-Y&eK-xtXdb>zZ@kEEvggwHufv`j zE}XLeY;<`tR$@0!WEb4|=viA<6>Lv8!6Q&#ia@rxC za>sYp@qd9!{k!ShXVj6gc7KD&=blI3KdnYNSWW#9lUcoRivMYKJC7-$e`fd*Tfb<@ zE>)*GMPvrM>(fjaGodtPrMY3t(l*}yYeifon{Kj)To9>!bf^X2E7+hA*`XRaZB zz` zUe`A%~65GCk3BGh>|NiP7)90GP>N7U6J<9}7>k~`4ISmm?uxvkQ63oULySDJ4cJq!oPn@YbSMt7}M~4dQr70HM10Dq=q1 z#V)OnnesVm&ku{8S58cJXg1I?-Nm9NR+^BdbTepzlW+UAs-it=iXlZl5ejFSwFo;X zUm`l+U=S;u0^4lul?vXk)a_|zkCb-4_myn`v!6+AM~E>`mfzXE^-;3BpZG{xEof;r zQgms1rrtRENTnM-KY5<_-kzAJA_s1k#v4?Pn@TOi0zTP>YHnY7lb17OEe{=<{ZTg5 zit^49)>98GZF=Od8n4!y&-#_cZjrlW|Kif4N1Dt4Z^7m_j~>1~J07H*1h zhs2ljW+m}`v0imJM1D70zC1tI(9+Uds9F^<*D%hnhpf13!gDahl53J_Z~SYKhVJ5p zp)m49sQt3(T{z5G#QM$7E*9p>WQSXb5m&+*M4%LFVi-QZpei~6>GkwUHM_BCk?9xFq zk94(Gn=3fw5B8Z~OzZS|srv)wI{KC)EeGDQy2;n4m_k4K{fUt<(171hYa2MhuY<&K z1O1It1VT;`{qq!|r0NGAVBGOEs1x3mKvITH*3`qG1ZQQKmAnDmz*7V7M$ieM;LQRI z&2a(lIJ7fNRRyA?iUq+LytE(IQ`&`bRX~M;M>k~=4O4w>5juk(#?Qmk1B5G}ejY>; z72~H2V~AkDHk}N>pbQq8yE5#!fiaXuCKKHWG$>LAErXCo$R2{aP{8x0FPY*FMaU?? zK$R3{7mO*0)T}84pOj&4G@2&{0DOIYWqf62$P`xqfkvYNI1)f2r9lp9sy~T_^^+!1 zMZxhHh7gYb6eCe(7&gh^$Q}UUIDn9W0~-TvoOKCg5|lnL)`{#*Q-*na6Pz)McmzrT ziN;DJop4Ul2n60m8V-J><SB7|!!IGyfP5>;MOp1^ocFFd!7=?2W@y zlwn7W^`S@I$W+=If&xX$z~y1U`t<)TtH9X&XD@&OU3Y^L$b&He5eOH5O%M%JF~fq# z@?+l8B&az;4g*DCkQgKqgF!--fWL8q!3RY(z^fwg>gfL<`WxqOqGXCWm=Y?kByUe5 znFf`UQGj}4X*f3`c=9Gf;cKHZMAtc$0D7E$^U%NTGpwh9!T;ES04;XLVO+=*4=kA9SWiz7a>3HT zv28$bfF8 zm#qZ7;*WWg=vXs?QS2ayg@hyIKt6C?V6bRn=mfX|LJonHMIew;a3l;4hizygQzSOR z@%Q=#S^@-uUK|HfSgY>iZ`Rp-9J(|3*X6QRY8sa5w@)`v0UMP;}h&PZ|;q z2XX7a(GYMDN&Op50krJzG`QS9`QWI3($MnYRl(o%$^X+91qA#zJ{koJqL38umLCe3 z5dy%g4S6VFN(Prz#;pbv&?UK$p$v!;L|rwZwn`{PIg|oQTLY<~p&^IVKq{&$$f7mn m)HO9x2sA=dL*;+xu%};dP-$2SjS)1IA_@UHa6rpQ8}eW4C|SP% diff --git a/Figures/ch4/R3/SR.pdf b/Figures/ch4/R3/SR.pdf deleted file mode 100755 index ccfbc9acd13b001f6d621b182658d948d22d1bfe..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 9148 zcmb_?2|U!@_kWA6vBwi34PvbGnZ?+RY}uC(qA+F#!!Vi|dzMP^h=>qb%950{P?9CG zM53tdvL_*1p^)Eav_IeH|NsB~uh)0H#@x@j=e*Ck=bU@z-g8INQtyBQ60Qi5d@>!M z1HnKMP>QQ3L_-5GCHlD2J)lY;#R@n;BGZXfC~$y`qZ9RrcnX1t#X@LwDiP-m3Czem z+?>d-%v056_lkF~w3qWaCj{#)1dX=hqKsxb=ToyiGJLSyvyi1vUy(PdBWZzHn3wu= zLs~e7Kvv`e;v%@|L4128fBXeOjrovKI7+Ss@$X z@VF(jzNJbzN;PSaJW59wV3gQo(jLnW=*g`=3G#YF9sQ*4lwGutQ&`#GTG=0-(G^_A z{Ja!raLLTpK`}X{A}wWA>y*-XE1P!)Df4e9k7j;{Nhya(E%T|^fy5VA_uRa7h}3T5 z@WIXD!v=>#wi2u~$l#K$)o-$wZbH1%NL7V1{W*oKsTH5cs2j%|DB>B8S8uBK4t?rQ zEG+GBE$t7F==9Ftmdy>dcWQ8b(jt4>_V1z4SZ1^AQL(lmWdVHT`o^)-*KJjs#m(v!V4v5bNo?J<3j~v{ch!$yEf!xU2G%o~rPL zRI?FcQcw@}>6B^p+dYa9C!JBrq@ZSgr@P#XXQ-{}(HCyW$N_23Os>u)hF&bIDIZwm zl4a&f{v}sc{&o-H=|o3hGrbq`)5jO!3v*ZWp)d99l|8 z^1xn3Hxpb@r!P*|)n5sV>~@kP%(2jWdP}kW?a7?s+#8`3-NYwNwq*&jggC4F{4N&I zmp}k_K}FYWcz94*b-6R;&7+{zr4J3ki|-eP*H%~UC{DMYYgLAoxym1Xq1}YHAI1dX zAwi!f>&D|NSU+z0>Qogp&jr)C&%1EF_9a_z<(q1I(a_cRQIxPSvUP}3i9U68ZPGQf z&e5~+IM-LXzT5fa*V||I5P0nOP5bd|8x*g)anNj*PhNLNFw-lpUAA@Y#IC4l0TE+7 zRwytpgRiId{p*G&+jb0Eo%yum14|p)%XsSr=%Io4o&sI)ZPj_b(~wyvC*jXUy#8hR zXD>hLg8C!gjFQl$al>J~WEEyRl3>6t1>I}D>potI(~T8veJ7>hJ6**L@%0|Qx;^a? z0narmR<9l^eT{hLB~+C&H{{YGD*@?Kd!NoN9XG2IB5Xk47`cLeamiOm^iitl(IStI zOFD`y-e%XZl|#i^Rk82BHt4z!m65lP_CGz`egqj-E_71O#@kFfZm;ixQk=(Eq8@%I zb7bce*lJ_n86ic|GBo|NN-@6ichwRYg)0^e}o47k$EvHHu z%d7MgS_G|mx$A2&0bzUE*IJ_6wp>>o>KC$9$A&*$T>RNFF|g=ps_H8n#Coj7@uj7j z^!3ZNQr>aW@q6bImKR??ihakip`5FI-f5V$f2gwako?*k%<#rvJK@)6z6d`HtSu*> zZ69+Df!{8i*w&)P-e6KO9r4NpzCS;eDIzCN>V4(AjYsb*yK~#z`6@UK9!zR@R&-yR zF`LMpQSzvet2c2k?NRlByJQNiZ{)RE+}QTF6aRUwT#wv(&hBG7h2-`H_9{N$AY{4Z zA%!h>)T8>|8u1;^vN>rTIe+H9xW&i9&-?g7A({I{OfGeeXecZv@pIpW^l^x+F!^1% zC0mkvZ998l-4=cu&eXzFL)i~&9HXpzZBiDIewUra4q57S6lyxfI7h0y@Fy$S%W~u} zIk2&+a~wTr>^*hXMI6wV{4~tjvb3Yo!AXx`Ee1O^s`|+o?G4GE3IIdzE$DTytH;VHuk|7HAr(Vr#^F zA%X50pE|PFsy)GWADd+%@~c?kRtsNTtTXz8`OJ>lS1(hU+OJZhb>G+DF_!&iAOA+e z(=(;}v}@u5W5W$&YLfa(zork8Ti3p}>=?q;<@`%=Cg!U3yZJdXC50 zyb9ubZj4-)xAwZFY~Y*K;d*vCokCRRZBX574;rh`nk_ z24XH6Dn?gW$CiH%Gpyn|o0t`>%>Bvz6Mnawt3{PZw!niFuPTbyoYxhL7RyV_Rb%R- zIa1c{Rvk3wDZtty=11dhf$XR5xi3nL=bj^)uKOye;s>~$6dvxaKK;(V@fEkTf?LsQ zt^DBnT-^RAsHAOP^jf1Pkrw#IYR?6cx*w17AC%fdn^hzG$?A-6r zJap%UEb|R$s$o$f#8b&uTmO3Q$d^=^HP?Lq(itzCwyQlQ(PiT&1fUMCoJIi)E3?B~ z@%(2`v8}Mpky39=vo+1%EB>%WHQugfjTz50R)1tWm8p1Z&r7=qvQ@WAg>Sg`=Z}*G z)!kUfuUoTCRT79kgztL~u*KM~Fm@@7PZUxK1^G@>{I!>{3GyWZmN<7JU`8a6a5|Jg zs3QXGR#ZVl(Tb`^Az&w!=tGC18M_?_U`3=+{HS;$4crG=QYm?r=92JU20j9X`Z6s0| zup<%Z9yCV?N|~YP-~TWwjFBTC7>pA1fAjtg1%iMoDKW;Yj6!X`8Ba>!h?RfpV^A2V z-+7c(AipHOwSL3Ld0c$^3IwR2;xdDdqN5XCP{+2dB{}_0jgBk$yhwk=)#f;G_U& z0hp8+z?4$=Mm1=kVta(`2NVy!02O0LI5K${YiLjA9pelj5c6RCwkk0lMsY3 zBhhG}Yc`XG;W7{iOeSz1O9R?~E}#eK0|x*DzyvS_%mE9)60icS0UY28-~j?a1U5AS zZh#xfp9r{tYXRU6kN`5^{ml)458y-cAp#VD0{-^}r~nP15&eli0F4v~(0p-tB0vY| z9#kUu89)L2fM6n(BD3if@F+z@Ly?S7|30M{&)?no?XdOxSqmK6@3GbWaX3Sxm6fpA zpU1F6wma;tpY&ppV`KchUL6v$>3XG4bI2!S*re~Kn(@f{L`OtOZQa@<>*P2izCGA$ z!1Ivw14~D_nCQD~(IJOwWOpJWc67gT^>Uou;Cx;`@s;mERZEhFdm9QpxKur>yseSU zA;H7;>{Md1YI6_i?;TeQRJ$D_3eMHOjEue(wahVb_A2s z^Y?thvXTTp+k){qd6VZ&&rMB?T5Y=<^=_8Zd@n9$E5k)aMPoQWhld_qk#x_`zxG$j zJ2UgUC{5kuqP8U)`P`D^r=@!OF(@qwjLG?g3l}m74!bU0HhojXW@vqtNXVOzCa3nu z9LdZ)`nKb2NMO2WU8lT0{iK=+@AYV7^PcObO>5by9Ch8mp#q>~Zt*!s6Xe;O^tm@@ zUexE!jYY?umpMpkH%?wX-f;4?C@u5ok%@9-EGJ*B9txc{{;cAeyi|HxYmo~%O;9Rj zp7<8ga`+`;PJg zb~L37U^zlK(5uq-A!;)osN9!lFXu>3b`%R z@!32P{v}CrHR_PKYi(j3#U{tO2W}`(DdDkM;q^Aukmg;dp#*x#r%B*weZ}jh-XU2!M!<;1>i4mm};49p!@j?WWAJBDLCbp z$zwi5(@2}~)Lo0te#0{DvNYsnzpd6Md?#zr9pw$$4dpb$MqrsrjeWmO#<19ngW572 z*W;j(_tz`o$hsxLc~4(j2ahr#YL^^d{A6nWv;FlVyl1bc&4k@-34a!N0=i{=siljj zPW86>DAu&^s;z!xevsI?$|)w1$o-L`^@#Pi_trjA#tKmJ(%g-{Qg)bbCkYagIrxyf z+g%=rc!D;3j0c@?9-*q*BJ{?7afM5s zx9%BiXqBpBctW`So<9pr0t^TCqmZTK$A_OnKNbTyycrp6H~d zCzm-d*@YYfJYGkLk4J^~$*;ADR(2%Xy~@(@l0Tk{x}CC8(!S6+IV6$E6Xjx3{Vu*n zm>^(L;tetSHPiV-NWTo@1$CX(xwf%tIZZ9r^TK4mv6c3HOo`v$y%5Q+Cm&XakLR--%fw6` zTe#_ZA-zN)5QZE~*_eDgGo1DmBb|`+wzYikeEe$bxPmgVqvcL^_A}2r*ch(VjNT{b z5A!tTe#~S}>!GKkyz5wR6zL{DS9HFirs->6tVJi!PS*8D$8xMDLmqPK7!Lq}f+pdt zv2Vo%>k{3jS>s-)h)ZuM#^~9P8JL z#jSEx{7wT!VFb>*+QwYYbN=CGgqAnYqfHZa^99|`quwBl@7&gJ+h_&)V@vBstc&!X_Z8wq3?^S##BOYTzdNR*buMP(?r z`5vkdXKr6$CJ&$dv?DB<=Fq-_a_Z38w?PIoEQ8w@HsZ$fxYC1DvG)^q4P{D|aIzaQ zU+NVJ?alt6{yLd08aCg>yVW$+ggs0zt^htbx=r+~(N^=zNvyX*IwBesmNO>!zw*o1 zE-byAkT{7<9EJtUzhsXpco90Wo3rTHHl=8{s)LhvvKmHXgWJ9Q^_<17arQsl_u8Il zgUz*RV0BTC55^V``isq^xhL)MBXk}S8rpex>@)o$=dLR6nw0h}CEGjmn6B8D7K>LY zEnhl1$d5TD>AhBcZPeGONyK3PXc(20VD_KV2&xPlBPw`lYwoMqJ?ueb+7eBUj z4=%TQ)n?QzX!(>HkC}p+#9f!wU_|lM{bVTHmn5!pRAZFQ zneBZwU(SySj;96OGV2`as zYs2=|8=9JUyNYy(@vA+ETBd|oRz~?;@TJf6!$uW%(0=s>@_Qa8&4m#YFlo~|DkC#a zAHrqK!^EonS}^pzM^%poWVi50Jc{p}xK<|HHSs7u@nG+XX?&1@f7s{d-9Ffg!TWMM z8zne{eMiWgu$kgwE$ZGzi&`-{K2e~NTWOU?4kgy;p0yZrKCA2cZo!5vN7^4d-K=-n zGFp=(CO7HD7R9PDowIY$G5MW10MVYRj@Bwl=g6Td-E-|~9?;cyIUnFNf7twsgX8+Z z>o+pc!~N!NO-(h1V-R#VyJLgdyGxnl9H_K11hU(ld zH~}c8e7ajFTf(dqD&LAeT_YEl=d_m`k@{u-cJKJ^2<~}(L|t*J{8d3($tP&ik*S>U z<_o%Wp6BU91x4v`2dyow%yXzW)BA?=whM{+8{bu!^w+6poeP3)gxu*gQ%v4>)hB~VKjEzI71zNT&*H>ra9 zDBOfgJbS`$-HuRXnj%ow(dq1TMg5&sN9qZYzjg&wKT@Th^U`Y)kH39?;)`RMpHyQS zQwhhTS38Pb?(yu!H01c#S)~M?kKZ2cEiW?`<_7Hlu%(De*-%(>cWqg`n2AK85XbIF z@!%`X4V^0rUk`dWsPffC`Ur`O@x2Y=#rf(#jh`ZPXzh}eJP>Rq#^?MnVjDledLq>* z$}(WYES_CtcnCUpc<)}GO4+c zW8k|+&RRYdKD&Mlsowh>BUGEOeNBk}F)97N3;&fj4?Ml?mom)S-dPpi7z%HIcP z>gmkxT!Z#?3kIpN9dmL6-isLWAFl8(&Kylo+e zyQQ%!@`&Y&w|UXe#`ertq#g_Qw^*M@j(XYx998X!eURmN5ZivqHtK3qrtQu?=BZQu zJ13g$KLczj0gvy)ccgH$yyy^eVfR=$MLu-L;~FxodMd^q7KQl~e%usSrTo68G56AQ zX8$~{gKTYI4zpUbSPM_sJg*lfik7?ecNgxO)t5N5u* zL=Tc-FqLQ>Y;J=O_QI-;WTAU$!tBi~p>zs`>_wtOQE*i_QUQsUhq_V0 zQ+NP{>IFr@m0%zwmEfjk1=g~@0fJAOFb_K2R}BCH0s`OxXgG!H4j@%kRRIJFK%o>s z4h33}4;>e%;6sxD^=%qLvi~XOLxXSH1jkdn0g^p{gd>0-ihfiCNE9C^Lov>k;z!qn z`T3CuY8V_Eg}@*%3a%QcXz>p{%BcglYi)-~@vYit2(_tl*XF|3dUP&fi2S zR2wiQuDM;AVU$~v~G%i=hOfgar(_e|81Y)e9g@M?_Trv zW~4QPPfd@4_wxn|K1O=~KS}f7jxz!O(_mjeDtU8;5bywzOk~(b14E4jEhgaA+$dCU z9GKrYUth2=g`(5Y~dNHL7{#FvL+t;frtf*V*ild>}5#*lmXj>@AX&E$p6In zkuZ#``9FdE0q`$rvq=J%8Zd)^p9>il0{t(&{(C^bR&Ve-K@%3hSeyUj+u^qg-H&BP z`rlR=8L-yKhz#gf#*M&_MJv9aai9#Zf$_N#- zsvH6dLm*&3kSJ8?AL01t`~_KT7-=O9HozL8ClOEo$;${GNY?hFdw>XFQpo(Q?*~$e zZeTqciGeUy+;1YqvNRb&7i3$sbV0K KlKK`0ApZl3Jk5sy diff --git a/Figures/ch4/fig21.pdf b/Figures/ch4/fig21.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/fig22.pdf b/Figures/ch4/fig22.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/fig23.pdf b/Figures/ch4/fig23.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/fig24.pdf b/Figures/ch4/fig24.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/fig25.pdf b/Figures/ch4/fig25.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/fig26.pdf b/Figures/ch4/fig26.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/fig27.pdf b/Figures/ch4/fig27.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch4/principles13.pdf b/Figures/ch4/principles13.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch5/GeneralModel.jpg b/Figures/ch5/GeneralModel.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch5/Modelgeneral.pdf b/Figures/ch5/Modelgeneral.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch5/R1/ASR.pdf b/Figures/ch5/R1/ASR.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch5/R1/CR.pdf b/Figures/ch5/R1/CR.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch5/R1/EC50.pdf b/Figures/ch5/R1/EC50.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch5/R1/EC95.pdf b/Figures/ch5/R1/EC95.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch5/R1/LT50.pdf b/Figures/ch5/R1/LT50.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch5/R1/LT95.pdf b/Figures/ch5/R1/LT95.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch5/R1/SR.pdf b/Figures/ch5/R1/SR.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch5/R1/T.pdf b/Figures/ch5/R1/T.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/Model.pdf b/Figures/ch6/Model.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/ASR-eps-converted-to.pdf b/Figures/ch6/R/ASR-eps-converted-to.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/ASR.eps b/Figures/ch6/R/ASR.eps old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/ASR.pdf b/Figures/ch6/R/ASR.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/CR-eps-converted-to.pdf b/Figures/ch6/R/CR-eps-converted-to.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/CR.eps b/Figures/ch6/R/CR.eps old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/CR.pdf b/Figures/ch6/R/CR.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/EC50-eps-converted-to.pdf b/Figures/ch6/R/EC50-eps-converted-to.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/EC50.eps b/Figures/ch6/R/EC50.eps old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/EC50.pdf b/Figures/ch6/R/EC50.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/EC95-eps-converted-to.pdf b/Figures/ch6/R/EC95-eps-converted-to.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/EC95.eps b/Figures/ch6/R/EC95.eps old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/EC95.pdf b/Figures/ch6/R/EC95.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/LT50-eps-converted-to.pdf b/Figures/ch6/R/LT50-eps-converted-to.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/LT50.eps b/Figures/ch6/R/LT50.eps old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/LT50.pdf b/Figures/ch6/R/LT50.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/LT95-eps-converted-to.pdf b/Figures/ch6/R/LT95-eps-converted-to.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/LT95.eps b/Figures/ch6/R/LT95.eps old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/LT95.pdf b/Figures/ch6/R/LT95.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/LTa-eps-converted-to.pdf b/Figures/ch6/R/LTa-eps-converted-to.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/LTa.eps b/Figures/ch6/R/LTa.eps old mode 100755 new mode 100644 diff --git a/Figures/ch6/R/LTa.pdf b/Figures/ch6/R/LTa.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/ex4pcm.jpg b/Figures/ch6/ex4pcm.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch6/ex5pcm.jpg b/Figures/ch6/ex5pcm.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch6/expcm.pdf b/Figures/ch6/expcm.pdf old mode 100755 new mode 100644 diff --git a/Figures/ch6/expcm2.jpg b/Figures/ch6/expcm2.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch6/pcm.jpg b/Figures/ch6/pcm.jpg old mode 100755 new mode 100644 diff --git a/Figures/ch6/twosensors.jpg b/Figures/ch6/twosensors.jpg old mode 100755 new mode 100644 diff --git a/Figures/citation.tex~ b/Figures/citation.tex~ old mode 100755 new mode 100644 diff --git a/Figures/entete.tex~ b/Figures/entete.tex~ old mode 100755 new mode 100644 diff --git a/Figures/these.tex~ b/Figures/these.tex~ old mode 100755 new mode 100644 diff --git a/INTRODUCTION.tex b/INTRODUCTION.tex old mode 100755 new mode 100644 diff --git a/Resume.tex b/Resume.tex old mode 100755 new mode 100644 diff --git a/Thesis.tex b/Thesis.tex old mode 100755 new mode 100644 diff --git a/Thesis.toc b/Thesis.toc old mode 100755 new mode 100644 index 2cdb04d..45b23b1 --- a/Thesis.toc +++ b/Thesis.toc @@ -69,10 +69,10 @@ \contentsline {subsection}{\numberline {4.4.1}Simulation Framework}{80}{subsection.4.4.1} \contentsline {subsection}{\numberline {4.4.2}Modeling Language and Optimization Solver}{80}{subsection.4.4.2} \contentsline {subsection}{\numberline {4.4.3}Energy Consumption Model}{81}{subsection.4.4.3} -\contentsline {subsection}{\numberline {4.4.4}Performance Metrics}{82}{subsection.4.4.4} +\contentsline {subsection}{\numberline {4.4.4}Performance Metrics}{81}{subsection.4.4.4} \contentsline {subsection}{\numberline {4.4.5}Performance Analysis for Different Number of Subregions}{83}{subsection.4.4.5} -\contentsline {subsection}{\numberline {4.4.6}Performance Analysis for Different Number of Primary Points}{88}{subsection.4.4.6} -\contentsline {subsection}{\numberline {4.4.7}Performance Comparison with other Approaches}{95}{subsection.4.4.7} +\contentsline {subsection}{\numberline {4.4.6}Performance Analysis for Different Number of Primary Points}{89}{subsection.4.4.6} +\contentsline {subsection}{\numberline {4.4.7}Performance Comparison with other Approaches}{94}{subsection.4.4.7} \contentsline {section}{\numberline {4.5}Conclusion}{100}{section.4.5} \contentsline {chapter}{\numberline {5}Multiround Distributed Lifetime Coverage Optimization Protocol in Wireless Sensor Networks}{101}{chapter.5} \contentsline {section}{\numberline {5.1}Introduction}{101}{section.5.1} diff --git a/algorithme.sty b/algorithme.sty old mode 100755 new mode 100644 diff --git a/bib.bib b/bib.bib old mode 100755 new mode 100644 diff --git a/changemargin.sty b/changemargin.sty old mode 100755 new mode 100644 diff --git a/drop.sty b/drop.sty old mode 100755 new mode 100644 diff --git a/dropping.sty b/dropping.sty old mode 100755 new mode 100644 diff --git a/entete.tex b/entete.tex old mode 100755 new mode 100644 diff --git a/missfont.log b/missfont.log old mode 100755 new mode 100644 diff --git a/upmethodology-document.sty b/upmethodology-document.sty old mode 100755 new mode 100644 diff --git a/upmethodology-fmt.sty b/upmethodology-fmt.sty old mode 100755 new mode 100644 diff --git a/upmext-spimufcphdthesis.cfg b/upmext-spimufcphdthesis.cfg old mode 100755 new mode 100644 diff --git a/yfonts.sty b/yfonts.sty old mode 100755 new mode 100644 -- 2.39.5