From 628100b97268a2f54d71316ab320a6b3ce49efaa Mon Sep 17 00:00:00 2001 From: Arthur Grisel-Davy Date: Wed, 14 Jun 2023 11:34:01 -0400 Subject: [PATCH] add notation illustration --- PhD/research_proposal/futurwork.tex | 34 +- PhD/research_proposal/glossaries.tex | 1 + .../images/ssmm_illustration.pdf | Bin 0 -> 27966 bytes .../images/ssmm_illustration.svg | 1280 +++++++++++++++++ PhD/research_proposal/proposal.tex | 2 + 5 files changed, 1306 insertions(+), 11 deletions(-) create mode 100644 PhD/research_proposal/images/ssmm_illustration.pdf create mode 100644 PhD/research_proposal/images/ssmm_illustration.svg diff --git a/PhD/research_proposal/futurwork.tex b/PhD/research_proposal/futurwork.tex index 18db596..faff6b1 100644 --- a/PhD/research_proposal/futurwork.tex +++ b/PhD/research_proposal/futurwork.tex @@ -37,28 +37,40 @@ The work on \gls{dsd} is the fundation for the planned development of more speci \end{figure} \section{Single-Source, Multi-Measure} -The global power consumption of a machine does not always tell the full story about its activity. +The global power consumption of a machine does not fully describe its activity. In an embedded system, the power consumption can be attributed to different components, each with its specific activity. -For the simplest systems performing one specific task --- such as \gls{rtu} ---, the activity of each component is often correlated. -If the system is in a mode \textit{A} then each component is in mode \textit{A}, and the global power consumption will display the \textit{mode A} pattern. +For the simplest systems performing one specific task, the activity of each component is often correlate with each other. +If the system is in a Mode \textit{A} then each component is in Mode \textit{A}, and the global power consumption will display the Mode \textit{A} pattern. For more complex systems, different components can be in different modes to accommodate the multi-tasking nature of the global activity. -In this case, if the first component is in mode \textit{A} but the second is in mode \textit{B}, this indicates a different global activity than if both are in the same mode. -For example, if the bootup sequence of a general-purpose computer shows a high \gls{cpu} activity but a low storage activity, it could indicate a failure to boot or an attacker booting the system from external storage. +In this case, if the first component is in Mode \textit{A} but the second is in Mode \textit{B}, this indicates a different global activity than if both are in the same mode. +For example, if the bootup sequence of a general-purpose computer shows a significant \gls{cpu} activity but no \gls{hdd} activity, it could indicate a failure to boot or an attacker booting the system from external storage. Access to each component's individual power consumption opens the way to a more granular understanding of the machine's activity. -However, the new nature of the captured data requires an evolution of the techniques developed before. +However, the multivariate aspect of the captured data requires an evolution of the detection techniques. \subsection{Problem Statement} Differentiating between the different components to better understand the activity of a machine is a valuable capability associated with a new problem. \begin{problem-statement}[Single-Source Multi-Measure] - Given a discretized time series $t$ and a set of $n$ components for each of $m$ patterns $P=\{\{\chi\},\{P_{11},\dots, P_{1n}\},\dots, \{P_{m1},\dots, P_{mn}\}\}$, identify an injective mapping $m_{SSMM}:\mathbb{N}\longrightarrow P$ such that every sample $t[i]$\agd{fix equation overflow} + Given a discretized, multivariate time series $ts$ and a set of $n$ components for each of $m$ patterns $P=\{\{\chi\},P_1=\{P_{1,1},\dots, P_{1,n}\},\dots,$ + $P_m=\{P_{m,1},\dots, P_{m,n}\}\}$, identify an injective mapping $m_{SSMM}:\mathbb{N}\longrightarrow P$ such that every sample $ts[i]$ maps to exactly one set of pattern components in $P$ with the condition that the sample matches an occurrence of the set of patterns in $t$. \end{problem-statement} -The time series $t$ is a discretized, multivariate, real-valued time series. -Each sample $t[i]$ is a vector or $n$ component representing the value of each dimension of $t$ at a point in time. -Each pattern in $P$ contain multiple pattern components and represent a global pattern across all dimension of $t$. -Thus, the number of components of each pattern must be equal to the dimensions of $t$. +The time series $ts$ is a discretized, multivariate, real-valued time series. +$ts$ is composed of $n$ dimensions with the $j^{th}$ dimension referred to as $ts_j$. +Each sample $ts[i]$ is a vector or $n$ component representing the value of each dimension of $t$ at a point in time. +The items of the set $P$ are sets of patterns $P_j$ with $j\in[1,m]$. +Each set of patterns $P_j$ is associated with one component of a global pattern. +In other words, each component $P_{j,k}$ represent a the pattern $j$ along the $k^{th}$ dimension of $ts$. +Thus, the number of components of each pattern must be equal to the dimensions of $ts$. +Figure \ref{fig:notation} illustrate the $ts$ and $P$ objects. + +\begin{figure} + \centering + \includegraphics[width=0.9\textwidth]{images/ssmm_illustration.pdf} + \caption{Notations for the multivariate time series and the patterns set.} + \label{fig:notation} +\end{figure} \subsection{Applications} The goal of the multi-measure setup is dual. diff --git a/PhD/research_proposal/glossaries.tex b/PhD/research_proposal/glossaries.tex index 1a90094..391db2f 100644 --- a/PhD/research_proposal/glossaries.tex +++ b/PhD/research_proposal/glossaries.tex @@ -31,3 +31,4 @@ \newacronym{cnn}{CNN}{Convolutional Neural Network} \newacronym{dpa}{DPA}{Differential Power Analysis} \newacronym{ics}{ICS}{Industrial Control System} +\newacronym{hdd}{HDD}{Hard Drive Disk} diff --git a/PhD/research_proposal/images/ssmm_illustration.pdf b/PhD/research_proposal/images/ssmm_illustration.pdf new file mode 100644 index 0000000000000000000000000000000000000000..62be28f3f2de562fad961fcc32b71fb09cf3869f GIT binary patch literal 27966 zcmce;b9g1)wl5spwmP*J@Z*L zYSgSXXN}*`tg5j{3kj?zSthT9e>~VUvjZMFSdufx$h7D0sCh&XC(N(FC!!H334crPhJNuJc3X& zvje+_qHQ@}Wne|mYAS#$F7c!|H0E*M=n?2Fgf zga7e?KjQmT6MO5<`~DJ-_px)mET*UM=4q9MFy5ejt}sk|ppd$I>e1}Q(~b9Wd<}28 zF!_)*lcR`T^?0~jvlidygX8>8(rAiH)qnc@^f-~6Q*|iTI&E61ugpb3SbwNnXqr3o zw(iTc)qQ{5@N|fAqm0+aZAiTvuJytc!@$;0*Yr^}z46oWwRu@Rm*GL|Vn+4ln3O{Mhg+BopV;p6<93To&#;GeY#p&jA9V=(yG5XRk}0Or2MgMrn%Ol28e(%lIvIED zKGQGJ!^?e-l$7E6@);%rc_G{h(pV%ztJSC3YEx0%^K@Dy56>JP9cj>hyBruRYPyAVWgtkyy30R^&N<#ecE)E|-?3!yk)u+E=86&+Ut%S9-E8rNc(2t4 zI8Z!+f^yo{z}S{Li|u%3{6eA+vd9yDu3)E&{2U`HoVu2bts@kZK#=qp?p2V>j*S`{ ziNGbHOk3gFj~CmnPNS!xh{~8AUF7yiL29<+r7|^iB1^6d6U1F$$CyeBRBJE{E%d^f z)TjSos0c4i?|U1WjeWo*jNM!ZlB_Kez%-nbixGjGYwp9hAzpVBD#-Y5Cy70w4iK!0Q4Mw)=iB}vg8Ngs?phtu&9b`b`iFM62#0<{IjoKF; z^973;jFi6N{DR+0XFr<6xFlM0v=RrCYJo5eY){|LKqeX%n7C)#7dZ}ML7;XOyvg%Ryu$tG0AwM$QH0@CQXSnq1srEHt>^~} zM7or-vXr`=fXqp3gfrjHj$2Y}x~GY>MlV8XKGhD-_O8MW2bwBPRwwgaXOev8)i>Ax zYb$d)c|u=0Zf@0ME}S9o(x5Pmd3bKuN+oe12>zr>H(xv^bud@l&2Cx;o3pS!aL=76 zAA}n;*Ngm|Hw=;up_gd)Q%G3!kX(UMW|*t+x@+Et>9 z03JjNfRSm84Yf0%6Y!vkxXW2b;6eA2&ayc7=ylZ_Y%j!<-h$V1h;}5Gho*1>Ga8-_ zj2GV}QL#gfa5iTYao<`qeO{5Ta2hn%GF@fu zhF3F0c!(z)txzNgFY8qir4hGF&uJ8xku%OTT-1~EXO?wPLk0F^=Ueqd0F@?cx6%vZ z7g(_B2UW*L_eDr!w+)w-dLYL}Rq<3ksnoh_T{pf|AnNgL@w7Q13J z_hU^@u!CBV5RxTTWEY(xPzeoovm&W+qM)y>7!&`ph$4FUF)&odoY}`#S-F%ME6K4^ zI8ijMLsDj7D1J9}3}-}F=}3>3Dm@w+7fy$fgSam6_;{JtwVD9i0xHK+{Ka8kEpq7Rp#-I3cspb3`QW8Dp8CZPI`UVvC}I@qA+$}0?ZYtnayDMMuekwFu)pX)dt5P0lJ3^W>Z9DpksDIoZmE1FtQZM z$V3W;sX9a6N=2&CIemC4B}RzHP~-X>qL9W{RE1U_B+-{Fbt4UAUNlgeHY=1zE(QSD zzQ6QZ$&%mpW+dSVl5)SlV+-8Ye0j0_B4yq8_264sOixKoW+XGLeS$%ToYCkwp^z7O zs4_OU48%(Yr9T$a4$i1VI&d5LNkjQ9;&p13e&fN}K$=6|k)ve5EyTuBxz0q+=mw{3uW~hU0Ny)IRrcC{`_*d>z0$$ z$}|n07Gr*X0&DM9o;TlcK$--^0ui~9{;pF2RWqY3ge}U|c@Q1e z`gq0Xz!L`4Hz^vtyIB+#m;0JR+!XoRN_R?8g32MZ*LgJnMOg^2~kI~7dS zd!9)f;YXyif#Pc_d1xQMGmLU#h97673>b4k(*928kpuQr{s*Poflq z80@#;k!TXJOo$D2H3r$Yx|t+Wr$OnOm@*=KqT z>AXy6`?AjkclV5baj3hIcn<$-Z$(nQou*TMBQb27!~Z9FpB^ia=q=RcRbC0UG*Maa zks0~vHKcwn*IvKnl{BV+CsIFN2y>;T6-}$*FhZZ*HUa5d6LM`)-H7?DYGW){B34W7 zcy0y2mK>~CpR)0grmHLst8HHM!7dmfZk8U`H87ayf^Mu~;g4XqEZ%a+C!atsUu*qL zc&jF*>g=#RKd4C69Nb57vPziTPM3a+Lznq$P;d;vPMHRitJXDs1*8t=pEi)353nox;&DsO#Y@Y`cp$mwoE7>XH_V$%|)cWZ%i_THoNX zgCT}+R9Z#hl39U5AaXwP0Ijj|1#e|bFkALsNb6`YjnUwYjVAR9eN$f`wb#$yEA{)V$6|=e97z5wQ*tNpM zlWP=Y86;=^qM09*4G&vAnBpDCb?BuyKDL|>7M6%RAZb^*Jip$Y3@}2Br;RzXdncG=vL)H>#{eiq{pCn1){X@4 zWhbu`IwKfSE%Z*X6yWfchn8XmInW_)kYG@CXs}rNwE!88_Esgp9=*3u1kPP{)fLGG znHY*JNc%iN6Br$?wU*S(>fMk^G2OCRM{?$_N<>t``-G|E3*=i zR-B!^nJ5_f6&J37O4eWg$6DYAZX2{6asmR&b$ysG*N@(>gfy|aPRHoF4tKn4r`2>j zbAF(@cOJ_tORSGS-#e_6>V^zU5YCbxQ&1oJ&^*_#m-M_K}DG+fdseo8{Z?jk|oB=hbjW^L@N$aA1RO*K;soBH>gDD z7F>b?NfLfsgGeP4&QnK-FTklpeuqMu7S19Jg00X#8l#q923F5UJ7JY|<1n`siw`wM zoa8ZhOEYu2U8y6p_nAD31@?z9`%r^Xljpow4#fa#0RZ|=y*Dyq!eyM^QSzGC+ zd)^ts6nP>7y;d*8Ac)8RY1>Z)PND zS=5sU)=0MMXqW8YQbLMZMday;>#{{$$vZb6(Ru3~xx90nyhBATC7%sB!rmr_=+i1$ zHsx^7Yq>u3kKesjyhF1JFPZ>qn1#hsNx%)1>at0izf~o>7EpnnW2L)V%h-w4YQQuK zj){)!&MGh?|2gK@YM4`(6l&|7`{pWEkFn;iJF}pA(hkzO97?sYtv_Tdl8} zLlL(9@z6O;*Lb;52o zy`|SCxwylQViZ@iweAk+nT6{7m0wVHfJp?|1XfrUnp0z_$=g-+1b-x}#$r{l%8&M+ z@1qzqc~P|zW%cfK9CrQ;TD=ktR$f*JR%>I2!^BLik;Zzg`%N{3AftqiwHNG&x52F6 zkjW@#_Q3HyeXj!D=2;q|5~wt&U9d>RfhE49SU1LdYZUnyk>(;?ijGkd74Ah`&1o&< z@EZURUNK6>K}8K#PLTsrSc^i?--L7zFiMgRIngW;&~`y&(w2~My0)T*l~($s6Z%Q_ zrl~@bL&&zO2yQ3?npgzZOWL5kesxnPAs&2IQ-!p4Qrw^fB)KWgskh zpP=r0j7sjAL_)Y>Oaah@_pC6;1J+B1U@bFAJ_AuF;R-H99`L?9;7#AfmUBN}_AB^x znP-&{&CiFbCkf9a@goc?s6gE{5oAi9aCubVxO=M?YS-BN9+VqHllBEERvvfWCQ(n! zGWJC%n1X;-2HhpoNMVvx0Ch5oF%tyiQ|(CmJex#~6aDIp3?-OtMWs5dNZ2IVlPP#y z3ili#dYd>?21^DmP}(|o zM6M!?PK3pOO*b}P*JSg%h_go{Im|g?5gJrDownWdK-eVLD%gRvtMqf4(~lkj*u?QH zQ1+>TvRTU$WuHQla%5deUzmi)H;4SN8t5`+1>8yoHBUPOX_4kFRe5I@&MLc8+3hlV zh=)}0J&A`tyzJPkHd@=)5W@~WJ;26!vBo8Nrd#6dm#A8D6$iGdE|f?+h3FeMzQ(Im ztj5w58&w?l))kjkr!p_JqkybwN=kBQSyEI)G0qeun`{aS(SFguO8(`jOCdws-jqVG zbJ&!8bP8En?A2e{T1687E5ym9#}*_L!mhMUe$gzT%i>Sa*Gom zUbLYDm#{pY=Ea?{ua?gIdE;{j6$9Vb+PHCQ?(4`8EH<1f4L!%S@Eb6jd7DE@xxQ2R zyp-4;*{US$FX@)L`J#GgzTwvIL$$oa!Ob;a^!v1}sRr(@Zbtt^lVA5dtx@Z`7j?7! z+OU9Iz196-b%zEyZGBmZTv@z0K)#e{VSZRqL(h1+^mV0sxoPo-+b`!r`JbX1j}0}q zs0}p@h)c_hM@~WwrI%e;xW)l9ig{vkWJ75oK&sOi_oAl7Jf++E+p_uRQ37{M~3&Ken`Vr zg>0QlSN|%lBiprySTCu+W=BMeU9Y`vjTXc^6k>75fvCFRu0Ezd-m~W|p5EOe&9>Y% zB-FEaTA(gzi&YcU8h%5+WR7cCn0(8b8ZtiUzM9&|6`9-!b@gWYZVy*b8AtqV7%^aS z-qMW6A4Q>c`dkYY$yQ7)fB0!n+lhs$b)(*t050enqV0%U`4eG4K3+67;0RM~SE{ z^BJ32$+xsu6nRV9`@7iyv6L_KdP_2lx2V7nU?ZF9nf)t|@@TDk7G1)PjT7AD>;>CO z%WT0)x0Z?-x(A5q`9c9QLW6LVTV(nb1c`gckyL&$~qb*rY> z!M|46(qe{_$Q`+iF|g%~q#>YHRLrM|T) zl+Q%eIlv5bux6S;;EwWU3Lw?bFg06YIll|cE}h#SMh^`2W}BhcGTo58y9e2u=tcKt zoZv<_w-rwmGC{P0>!gAn=U#_c;C@L{Pk(Oh?E5ZQqyjpmOX+>%5!_m3Sg1Polj3)f1&AzA+{lVW300XU?+>g(Fk zEjS*mXznL!G#IsQH4Q3r-{>-w} zPig%=#MX}{u8kt9(?&p3E{MSr47KP{!OltGESP?h;Mps#Yr@8Y@3jrP| z?W~Js3h)uPpUN2f$~r6P6gjUYrqk*B4>8VbMy0)6y;ucpZ`pBV^T5R$J{Ku|p#Z=k zAs4s3ax8WHF6TmZ>~YoKCK5> z8rZ7t6s7-*MT8hY)_C)vk^0+Bmm0q;NkE(WS+v^N&f28)>r<`#Ek%@eGwP)J8%9iF;B^Sd)GAvI{_LRE^P*5`Wr>qNgMlsK&A2>;zrv$x9{68`2h)Lp=(0h{ffYj87m9b_KGyRuFTQpS z-CQEf3r%D|QjBuwZPC`xC$Ntjqdq;`0QAh5SO%#czoe3s>GuIMkr_22mSEDe zm`%1{2muD09#nw9LO6NC!B9YQFQ_E)2sjp!`@vANbe$S~foxVkas|v!pMd}9(r>1` zszqDYn@7eVc09a^@@hzYm2MWGqGK|uc*;yT?3h7PI9cz#%b*s_O#Qt3W+kJXzxai3 z#S3x;Jlaj(;4^6~#S8yF=6#12!tk+1t^wK0h!;>fH<;+S!+PD$X(;1`2=c*wKPIBVwIg$ft=-3buxC0MC~JxlMD!^oFE z%NvcM3DVQ(DkE6Vk>(5q2ESso`E zM4C}NRmmFIzduo3ycR8ChXR_=7J|7Al;7;5G(k6vP%7ql!Ln-Rk@^O2+x8kwY&r*O^i~YcQe_eNbTEm5$(#9(i!vsbD#`Lwh@h`b6egoO4hRi zGld^ix+-RnO6cE)f6iD~taV5-eowlX23qwIk~yBTKm%p>22PAIftC{ZIh1vK9h{uI zZ{mB>uDw8^TNK1Rk@u0n*pL8wT9x>t>IMr9?~F1`EdBR~R?1^%;Edi)6h?Xsi?UGYx13 zBN?Et4Tdx0mK13wsm}fPBIC&m42E39PFxmfHnsMy7bt0Sp4l+D{&`x7HhA@`5l>+w z+(}z)wNZYlN{s+??ccuU3$s}3w`KUtP0TA0{fZk|NS|G;9Xzd~xVZ>>GlfKAtq+RptFmXVSR#{010c%#ql8=fY3{GB66E*?xy7S1a z8QKnWNf)cUG5gJ_sDBu6iiskH5PhBtN^u$haQNzZiY%O0`iFERo%)jF^-Ghy1oEL} zOG@8)@%sHPLP*$9I+l0>zBVAejh2j9qpkx*bXsYM6bYk0g7+cyV6+v2- zAN0Fwtw*hCk)zrc99n2^IlN6cXF-o%@##416`pg;tq3iy(nM$ApDwq1Ru)6YqczHuVFO~GCRMz6=Ew;Bla_c>(2wfjIB9k z;v>;FGt%tQ0&n43W#DdJG^1XFICm+KZMKk#aG5tjS<$w9-k%Y&Rn-16njw5Xcr&+Ii5;E5NF+_at8SQpgUVIIgq^?iHIF8+&}ezxZOYwc zyQ*V>J$AjXx5ieCpFvDnH*kOZr-?P*6)g<%hx_F9^IMu>j87cf!XAcDw}Kn$D;v99 z(aUNF?yZ2MUm)%fA}Z>c!YFyCmDK*0?x}bw8`uX45`H5%MeZ*?_FttmWqBDqf|} z=ux6-PqShR$PfW!k6e*Q} zEZLxRNOxSUP+L(QDssBvsW8w)yQOhdpLAKNPdmS(yx`G~zR{W`HQWKO>IFqJ({S~ zVd&6oCZ}rGR3)I$z~CSH1=G%#0cZWQ587ed!KL7Dlix6VZ zm4$dEg*STcB528GwP91pj4ct9bj#TObv}AC8TH5zF;~{q)fRa=___|FmOf*y1X4}A zCYO|;zSaMhL>kj;wphwRSR z@-Q~!TIGhLQb-7II*A2(WCW~BV*%JSzsZ_a8UDSqG#o}HP)@haC``A3pJZAc6g-w2 zR=rQJ{cpo@Qr+iz&E^y30HRB?j6jDlV-SO0L7ZQSO$#q7Qf?LI?WyLKwsf9yP5>o0 zkZAlCa#ZV(C!w-X@Y78~_WGx(z0E2%^?4(|kI`+{t@>jJhv=1^@>1=o#O0;R3e`G& zJ~+e*7@D7-fsCU&aZTrX+m&ONN)b`u$`!$}?l`icnCftSwq$V2Fsct*8k zTb$&Mfu&++1>%%M_FB~qb!*gJfo|- z>cRJ>-A2D!PpxJs5px!(V&J%RE+Kp-HKVT%yW$^gYCG_?g)@lu5lq@ zi?$kT*@nm~Ix3(pqk4>-TVzu5krrddCf_;romVKf3~Ty5y)MH&Ubnc2nNTHD3oZfQ z8u=}q`_Th4!nm;gB?R0EPBNVWMu4@7b-in_gCnscdiZ;ZLLKgyU0Z zpiTv?p=S4`v02DlQIdf?DvE`dfqwuv?bUCQfZ%nYRuCCya^Oo?a&E*e!JYt6sK;AO z?+e-8vW#Fo47(?%d9BlF=3C_rJ22Y>+0h$XI#2)-1F#A&@*wM7h$C?jkAeKqBIXCC z&(TwP|4KF6l!MUEcdlO-WXjaGU(AT1fWt;YW>{>N(rS}uHrg(0ttJ9qkdjW3L{FV@ zQ3!|IW@$=1mJYlpShaw$B zme|4&vw4buz1UH9wu$nJiDs(N84|Vj_hs9g0bAjP@pSI+1aeWd2yD zJ2bjpme3(d+P&k6jQQ?zCcuNDnFuysRMr?SbObl}m@H%kSS0Vp>ChSCuN%op1Fgne z`W!qogAip^*Zt>Z7U*aKV>yK7dtXxuSBTs*WhzolunD~T{jPMN0J=|#K4i@_r14f+Z}5Mc+JBO z=mzWc7a*yOP2%)~ik zbYiK55C@t-W*;NU{TOqJ@bHP}SoyE7xi z#M$G|K~7GP-C5~h&ZWyr5MVl~hZQ$FV!RL2q4^+Fw9JsEA;676anx6Dkmcxd51=Jx z{nu-<{a}zn!7oN4C0UGWHD-;Fmm(l^xdiYjO%e^5`tvCfZ5G+EC=BL<62wzA^0x2$ z#42KM26Ak;f3_-Af^G)%N9q+`c&Ev0-wo()ZhZ83Pw&PWZb4rng)b}K?plz>yV?4D zD*RIu@7M8tQ@cd*20vmXx?|o#XcV2Fn*#~roiIH*nZiG{PhR^AdE%2@ZU9N*S%JDC z0zw_{tS8qT(>u7CU&zZ*X`yH&z^1rvwTb=nGAQC9Je|WE`#3ucKz#0u10}vC$q<7+ zY_y91e0%H+3jy+r>vLI(l{$7ml*+D=V!f;AP3BW*(MKX>Y7uiCG%FngM8K$P$!$ou zCb4&W@}`v{nu5IAj@14|lQT>>Lf^ zRB<`P4vP3jSZR&%85LM8Nj#}jcq3w?wL8DF9rp{TbptemHj%wyL|)fy>m7-mUn`0> zK~)V1b@<(!_J*nNHGkGE_6QP8ZkW3mEsI+!-_J4iQus$}SR-)>>8s3MQ%yy~FX9$g zIqwNsy)y?lj(9P2bh&52qIP9tR7pnZ1m4(*nZu&jO$UKpWU5J*^7@e?qM=v>8d z-KU;qfwWBQ{2uu}v9BKMUfgTvXhC#jIG(@-a8k4ZAzE&PmpO40kq^g-5q-AiWHxH` z^CS0>Si|^U-=pxs_$Im)qkcs00xN#2Z0f%Z$91$;#y!!Dv-G4%mbfZb%yp-Uq6D8D zoRTViVntdKOb3bH3u=}xS3A(4P*Jp-njn6ZEHg;pUFLT3t}LGY-q)mjmV@xId9igp za-LO2muy(*27R>{(T!|1>Rly$qz%GtGqG=tRID> zxXB%QPLHr>2PP+k*TNB{fSQv5XDV6Xz_By&`EpIpXwq1&JndmL0Bl%nX(NHH1!oHI zjB|PwKv5+}y7qb+uc;3Tm@ZesM0y~oyB_Z$Y_;t(J78{~X54n8rDR+x*)%E)%!w1{ zEf;Hk$3ps5mW{~=@8eyvq%r%iZ9*+R{l>YBAmw%{94R!%CvsPQijFNfWM+@ltmu2IC6KKj~%A`ez%>0jh%;1X6 z2YDf@*(O8dzqNK|LodXV@Bn8lEn#6>*?t6_Yz95EPTA%rwm3zXKf+j*>Z-E5|Imy^ za2jUcODV3Lq>A9Lbd_viZD}fi@JmM|jU|e!?*~c>pgE7zv56&;uYY)YSti_}H3^#W z{Z+DAF5h1{Ed=S64US}DN*zaE$JI|pI5n;1egT*rtLq6M87G4Hc>G0#06`>ewg3Wq zDWGhv0R|aC0Lc>t5XA2Mp6S7}nN`LtWQnM#d00vTWC?d6im2AY9Odd#(Y1ryM$aN2 z9FaYRQtFU@c^Q#9thSHEg_KV}Zzi337&&8U2!_Z`n)$Xn!72_#c!iKEZMG%ZdsH8q z$g5KISQ+J!9Wyn1SxFjWf1*2ii8NRTgST+z8wQ@C{O6s1-bj?Mk0=w6qbB{8V?<8m z;gj%h;SR0f!1(dmGe#0owzY5rmnbiHgqHxT^uJOBl0P5E`y7^D0nnA%+2OPEmQbTo zEFU8gRof3_x5RYXplDqiKO*Eyo5Q%VxK>{^_;yB!cH?Msp;FSBI>$ok+dkJ5inKw* z-Wv;*0tgX)z`bZnaESM(S+THB#(Wn)Nq%oov(!5XLZSE2$f}i@Rt*|gX6YE$5{OBq z8zm3*3|x}hhgria&ctip?g8vvzHdTgCYZl+@v;Uss~USjF!8Q`iSBh@NL6!{++Bua zYJ<0*1zMmcHUh;f@j}&f)Aw@6GSaicWlZibiX&{aP`Rbxi&&@A< za0_febnyvE*&uA^TLg+_xS3_4TB>oa)PjS4I0IgGtJyg=~$)rCF8i2h7%h2O3d!e}0*qfxIylp5a#rG0O z_u%ovHk?gcQHk|>_)1*|C|3UxrPPh7GqOc}a1a~FSe{p#*&V`WjO~DDzjK0Z*hFd_ zZ$1^EXTWE5qJUnER-O9uJwHO-r6bvE5rcEipt>Q_#a@q|dW$i5Dz%-P^|Q9rA7 zeGU_!1te=T#QN{4X28MmxZ$j^I$Uxx?;Nc|q0V2mHX_oLp0UqtwNbQ`o0sFxZrV7D zBewjQYo9u7emeDmcJ8gz%}l5UNT!D~LU+)O9oRpp^a5SpCPQ`F$|T^my~SKTu*I3e z#9&Jl_II}79#|t(Nm%>(nMTLB_LFY8Kn;S~n<;f7jyR#)=8)Dtc9?Fqx!wNw&}weq zHPBo_#kwNhO7m#8hTd;$b6T$}S}$sK+SOLGYSXR@fua!5YPT1|7ReOL$3)jo!K;;G zi@8ql)!la40zQA|W$4h~e>W(4dk(ZE#>DS)MXH%>;O3;tU(DsqM7p(ZqUWc8_#v_csk@IyWwj%nCRILryz=cUjH~ABvPv z!xs&!RJc0R4v4vn@1vnSMT+S1`H=iT}7To{TL>~8urV|E>fuc95hvv-1skoMtoaqX^fnY-8j;~`j;dWKA8^LG$i_cEL@b{<;90Z^3 zAACl7g3tDw{+#`1`%7NGhx{$K-x5)Fw=*W7lh-#jCLkeT_#;1geFtM3r%w@mp7@6$ zV{BxuFKFvVp!vz7Ct#)Lpk<+_XQXE)VB}z;Wnf@p{v2KVPgfyZ8>i2c9SQzS{|`&d z!PeRCKS1%15&v+1AOHN&DSghvLEpyF?)S)s?til-2%H?8jsM;g`s^ia>|$82^a-_u2n#nb&XrKj!xr&VPC;IU6|r z5tFE`gY_Sd;D3Vu2DP>3^r&o$KbO8Bh-EN& zV$!>JsOt~$#F*yEMhMY9cANFZlLu_C1UTIIWn}qBNr6Jjp*t3F2854rgowlHP4w5( z>wLFh8t>$z(rbn*kjMl}s~M-^buHwl1XioKXo70Jqs7=#SR zZhu!fpk$AHpOcN3vN6IC4GxLo8qR7g7pScIitW98jf>GVkf`DVJJ7d%!H|&7`BZv; zt=S{Q7VtRpX4cKL8bg%a3+X)WpPbua{EjJ!m|g%qky8ovs6x42R?|O&-g5F9Z#tr( zDXe`rKp%>&4zm;*uyboI;3q=i*ktr3(@~Z%I zvQswtAoj8}^&x094g7I$5l5QGf{&>>3RBh967DxJr|Nd`dXpYPj?=8ex6H0CQF#%Y8`mq40sZA`nb@n3FCPB(>Ge~o8ej0aUfJV^ zyKtTh$Qq76HLO|kyFjWgm%Q3h5oaLwE#fH1*)M{-^2_~jCnwdWfnjw^DsevWJ-p+j zmwQa{tQ9Okn#fWK3Nd%?-4`V4>^=jiEU-!))Vrw%{bue>_6}kfv^-dX76ru`74Cx4 zWHo>&2BH#AE4sPH!Q^gM{e$7KE7LGk0c*Lkv+bey zGr*!hzP}DrlOo>Gf9nM4>!t6nICkf99PLyqsC3y|4{EX5rsJcMa@XbW%X48Vg_98*ePDQd|FQd8=tboVh{J(v_um-A z-;V9mAXpeV{%H{ZidO%#sP`vf{ZAIb^e378U$KZkDeS*lgmt_C91tOl$O8{38UGp( z&Bzr*$e{hMV3#iuiYbVpiNKcBi&Q!|$a2r&fo$rJW^{R@8WCJb4;6dY2bMiU=|CZ_ zU>+na@Tp;4=JU_LH(>f-OMIFBYvOCI zB2|q;2(#fB!3zio0~QniMVMy4O9oBif^NtKGb1L)grOV@`(r$3n^61t>DJ!+CB8bg z$6qnL=}N^T#_;ZR`JVnpJ5#@aD9wOY-7Y3;%l7z?T=zXcqfV5UP) z+Sc*6f-@8)EbK28{Un{z(_0_0m#4RpPp>G|LrHz{D3weV_OiqaW&(kZ#xv!tSO1Do`I+M2)BqebO~TK7?V)Mh%7#XXZn3{as(n z04t;X526&ISn6<+uv8RnYbF<5N3+5cG7b>XQdZtPj`W&fSzvnk z3;O*2XBV6#yR^mGSwPNaElm&DJ#Lvpbk4U3=)E&_p4P9fc0@B?k9@5s=XNmQ5U2DE z=M)G2MU*KPR_Gn<{YSy8rO2M)na05Gtjn=0TN?+#@VfQjd~6jB_@Rrk2mZ{h*jwfo zN^3|MO0VMvC)+snM8i;d>bbgFZ@D|3kKo%VzJGFuf4{Nt$2k5nNLH4A8sr~M{)Y?v z9~$I;Tyg)k5@q^dTS74X*Cm9t>KH5z2h1x~L`>e-0=NWyb`V2=b@-Q^%~!xk>hfY% zwA*qlohhXrrS7wb%ZJn4ny2S?-4o@DrBjitOWNIMXH2Cg_5qkQ=Y9uM8#*n?F5XB9 z*+s@IGcErnE<9tyZ?!j4f)(tf`yc^?{GgOhrUC03fGXUQg!Wok1$Z)o`Qi>G5{}Y9 z;oPJ4*5?KJ53krzD&@$9^}8mdWHwDC2tcsq`T7!tgbP8P_8>#Rt!!rBxgHX->K~(z zhJ+t4EEJkE9lWnbFlqNm`Zn`V#IYwPlW0K^4mR{~&lDU}&-D-b7{P)CNfeXw6M|#D zTXUN|0R+<0Z-i6_5K&g0tK9M?eviqB%?v{vaqCk*oFPJj+AG6intbnHZGeSA=adbP zc1{8b7+wID*B4|}`(Afn>#IiQC3aW8BTiSEDh#ow!78llBirwAD31c1x}LltB&|0_ zRkE?m#Le<%BQmQRsN3oS8+|Z^r(G-Zm;!~Yj-3(qg|cRbxY90U#7~e!0I)1tMEJ5< zzHDxD4TZOr3y+4gZagQ}$t|42S9-97JBMA4RY;)T4G4ZzP^_`Oer8ti zPN3CH7Ll?LiL2gvMzic}SE4y;b{rM4=uQ(A60gtMzQ2=#kFei}8YC~hv=3TfYeYG+ z$Xde^&fyAsy|TjqfBKQq^PP#e5pP{2x zhg!z!cga}A( zhXJLpPN)4||jH%Ll@v!?4+f zH+iq-iULjQCF{{6w)5M`^5Lb8h za`r(1i2q9Vd%rbw(#W_<6NPoxjE(0WjW6Q z1?h&(_H~f>FMgqW|AL|KDTDu+YcGCjgPzj*YnA=qU%_7%#?K|NhZ?l#Kd-*|L>@99fP>)icXeV-=Gfxc;3a-- z(N9vwBPqT;jU+{#?YQWi6IT)3ZeTbX&RLGgw@`!#@kq~{?d5uKHHEUIwk#O=fJ`hz zP6Tgq2?fg5(IexyA^Bw91~1(Jj~Dkle!Gk}hN?Q!`=X3{J_mUe7#l0{8D0#NxY-!C ztd`7+R9>f}ZIbAoUw5Yq1rL%jsEiKxWOw(JND{W;kMm-vw(;(^jnI#eA*HJfguGn2 zec!2meQ!!FptF-6s)yY?N@CbWyr3$0C?< zEEoZ==78?)#(`i8^Nf<31Uk;HXY=39OgcDMj99{-ck#Sim&#YUv`_1}9Wl!p^DcCk zjL|BRUHtio0FY&JS3Tp_Hu(}ml>sZx6C1h6`np$AYofRN+tYOm^Fs&g(*wV$70;Y| z{){Rz!-?~N)xAHS-Zu!6=vUXOmSGbRlFG{)H>IH6ui4+ysm;>&!loe@not5tj?J2a zPUhv}t9*Kq8)pdbR4u%ao5d41mCF;*J8)ymE08JpHSJi&O6JRehWF3%I0H2A^mHb* zlc|^~+2U^G-ZCnOxqu=wMEr>qM*7@U2)i5`DdHQi7*fWIV~~rBWMoDakI3VFg%>q4 zX|Ja3F{1hIs@<6PEn}Yb<;zc&?NlYit41xbv5(`;*BBcm#LL(3SE8uiJZIw_`LNO- z;TF|C7ajk#dRv#!}MMP(N35Q>Vmes9-s7 zTb|Un3L%cqE|YD|7_OHubDdN{{u)d0t<5RFkR4^MPz-5lYnTGz*^e|E!ynp7^0OKB z$ml!R;Jz`$!SAJAJnPO%a?irc+0I>Hz9{)}mxq<6LtHG4()V7V;bZh0HP6p%ao4WX z@UWdJ!aKvq$AZ!3;$|;hrBQRTrNdv3tlS@Mc8_Bc21ilik`noRB}uc+_`vxrBaI+z zq@lNF;7NbZHO8vtlC$<>9vW=O%u8_Ihi$mH_Te(n#MFjRwBy_Tk%L+R(FxjN)<)Kj zIr4B@=Lg&pzzA7~jWO{J@AjL_a`MHag)*65AEvC{bWk(w%B{yt)cJ9raRbRA{LPZH zT!8KPd;vB#v^@0<(Gy$9&B(^rk-Z!$q~tth3WQBWTQvv4#_cc2KTjm+1n(Q#6!jDw ze*2y}C$mpby8d?bAH0@da3}Cjy#9Fn{*`I?6Vd(KYk~Y{xD)s^?qqgX;k7!DFxi5} z8DD0Tg}n0R`J9~C<|jh1a+UoZDexYzCgv`)6S}jb*7MAu?DkB z=H}OZ2Z_t(Q+F@lHS%M1XcF7n(GN6@9~pVY)DuKpT~&$iU*-X468dia*c}auT4)nb(Rt8b|ci}Ji zKP@Ilw$*TrOh8_**h((B4jgO zh)R+w5!MjtH>{}7jWZCgK-xFGT#^}HL#`{oI6>&Yndd4q%xuGAifPdzbS1r_L)d|O z=6ct+ao30=JAO;ZF6A=@W#4B2j zJyt)Qb-x3M2o3piaHw;blN3&~qV1XTot&_#SSRwO&l-igNQ8m$c<}AKz@way!(-c66cc`}SPBWS{ZtUT7woE|nb z<#$Ncm=PWmm`RL6$}R{{yqCOI zJs%khEC31z|BQV8H30Olz4Di>4Dz1=pper5s9C(iYg!;-0QS(YAT2+i8(b}(IaF0z)6u`a5~O~PwO6s}0eY+4{em;{ zd&lNmRF9N^>Y8qSV_+%6xAPWYQ>&X{ikJ^X$x9*=h|tQbMQUM=)t)Z73}RmE_g49| zx^Ld0Uhc{mo)lw4Q~}y@ILJ^~}0^zBb&|>EeZ*A_l?Y z2b$~8#vgV9E8-&(M4L;57~UqU3|@LFq-D1*Ns}m+wWP2tVs{v!&AwJgs*Wc+C(VQa z1c;JWT*lS0x|yTNerdXW`^zx+{RFJJK!c%pr}?ae(w&7|8M8QjWcQPo7%fFUndTd_ zTS63X?>;BdU@(S#G){ys&Wm$b7)^B$ROu7XXgI7?(W-TSq?NADS1ywl=Pj0!%_FFb zSK#Rh2O-B|Qc^PcGP{T7`wEwrE%%DtrF$CFRA0TE;>qWzD{;|4SvFY~Me?x@^o^!W z@GWy*!_!{t5_2DW%z05JvZ=W9y{FIeI zzC_I|H+rVnbA%3sMngR>eW0C~P09bb7ellf>dPD$L@p|-Jv3Mcjg z8)S;VYI!P~ll^&jcHbl$=QF8iy>*=i(Ox^gW4P|pbJ|^Rk*o(A35GSvDqX^CjN3#C z3o#V@$;#8yEMY+#t97Y31_K#GY(g=DII9T_uwjirwfQ^klX=%irSj+_eQmT7tm3;t z-t5w^$IdF~uNiGnWWmEX_+B{0zB4YrFh83X6ZH*KJ#v#f+ShmV+#t!ULyOGYjqsP0 z1GLhR{`H;C9ih)YB8IA8g7E8Ngud#nR=VrsEg-hEY6FxHQKk#2x*l@O@0eNgW^4b! zp!@}}9vKt}{7B)*yd1B@f5j>Jd8+o)Df!O;T*zqv*9?0YCeA`4xhE{8;vI`?7d1^0 z9#VNPeL|GtTIykh(T;hb)mi@F;huxY=L*dS1nu(Kp&jD1tykA_wNhlGO{QeehE!x0 z&b-IplQJ|M7`<)bA)ySeB{KG^QnIpqA&A5SKN*OuT}pf#cd=Ccd;)zc?t=qyyhKQF ze8ZSsTZPA)s#HI%B}*wMTRT-9Mlxa@tq*(qN!1gyZl24C;pLR+i#lIE?@L$mBp0 z>3toCfwmr-wF9?fOV6J;w3;cl54P-C@JY~VZo8s*jL_~TnQ-*CnB*1G7} zG_mOQOts^5oZrt%Ab;(x$A_2Tzn9uixBY({x1UbH&!zUCg`tpt2t$t!FM)((2h^Uv zUO&8FMPW}b*=qJ+TI>~d)M=$MFV{t`A7Vb;L3|e>o)~=Ytn_FiJx^nbQY+#K-Au}GiREIj_W?$z zLT^}Ak{e!1=-7US>D_sD3p=>+00kG+v_hyQPm)Ln$GqLTNK$&MDRzv42bFJzbZnq;S&?%sbDProN4bzsQyKQ=gpN*c#DnGi#Hl`km zKD(QQR~k#NqC*iHFhsN{hFaw2pc8VGZlHH7P;j%nq>(kVK+z&OhaAgT6foKQv=58w zyCnwoZ;Y4NeKA~$DfgYW(fB22Y3qul)m!_Sm{X9^O>zBE_hM|tjgrC)G4Q95IN~4+h z?+ECa(V)kyCnP#IZ?ycV|3sBkPGxf$*`3x#aWT@3UiuuVd=&ZS*WQwnUaCsLf=(im z(Q>EfJseAODx=cQtFNGyl)G#^)uaUt4>$Zt!G=7sCA$DiO@QpR=~!_ys&t*4!CN$b zEufi#DbLmW&zKjPG5P+J|6oD?vT)dy2!s5c0dhQr|BX%WICc1sg8p8K(EltFhn$YY z?KI@_bp=Sqma!`_l5;7ft(_wL+zQW3!0N$S7Okg&QT1W#FJ+V%bM9w->%U)jzxv15 zcmvTNPer;Ozo_X1Pvq?l^&|jY>E2lg2+f7fJl}{|+#zD6&*ZiXYN(gc7;yHQZ)7&H zuHe-UX!-c?COOG7kNStL_-&C!EgnU9v4sM@Ka;|B7SEN5vFQ6f z{xJ^->en>(;s8YV?x}<$_!VzB1nt>|1ttu^{by9ycsgPONlIuw;$+Nm8)|8F7*K@I zeU%&V4Ypj<`kG7P$~|-Rpdh-m#K9RotdR2> zr{1ovO$e~l>@M5?4tObP&GN`qngzyRvZ6(svvos9FYh~ZB)<8TTW(^$Ce8hX)w0C+ zyTcSa&&wO@LDmvoqZpuDrpfolo*$7^8Lyif^)39F<(L$D#Ek-(jk&U-LO*Gv+jocV z!HM&n9;+Ep){-(pYw2;ZUnZre7}9?)P??OUeL`cWs}|oirfc{9!?&}Mjafl8hm)5d z8#y8YnI$$*-9*;-@)#9H7V~i`>3aicwfHfsflSg4?&?O*nUBzitZZmZu#0mEd$>=G zhDn%D%=>_a`VNsy<0;dEOkvcfwHY0JWDG-+Y|H#MBqncqYZ%l%T#A4fdGGk}8mrcoD!a`ilX#T>TJ#k_5=H%?C&+NW$Or*szNX=YOi!+FT(>mg<+3%xJ# z34}1>3%&t;x%e9Hc}T-%ZZMk(G#R45W)(rNXu@@p z5_M(#?YLzvg5_Am8Il&rR{Z7-F^P+7Z9RA`oJ^6yXuTNVpLD3qUT#;KD-9L{zp)DhFqPZ@2)oqi<1HY4eBhN3?FDR(!3Z3`$ptDY4eS=lxUU zG+RL{%K#sgYcCk_ZAv?soYw+}A6k(ZShJg+pM>Z9m{;Mh)kI38GGO3o*ZGE-^X%4p zHfHvu>EmBSBsX5bL}kFhb6GW*$j~x`aHm2o5!DECQwbnHxx-Kx#=9Q)0dH?q2k*%m zzXr-JH%i;6U+K#WpysSIUKQCr{4zlcl2Hk~R-Qr#VSL3wpKeoe1w)w~l0}1>Mp&VPy zf5Z6ynnL!IBZ5Bm?G&s`(O53XF`)7{@5AwkGV%-g0{UwSw;b$E9Zj%5s&mc6$jZU~ z3Xl&7;{#l|W{JU|(1QF}Mh;eL;b4Tav@${S**jQpaUItrf&IxHjJ?AZA!#XTX#fC% z003Z8*h?G$5CCJ}k1ingZvgiFn34hjfU*CBusUGSFYnmTL2#@N_7Z^nd0}NoWq`%7 zpJB^Bx?ulb`A2nQ^#rhG!?2Zt5XU4U{^Mp^*&`*7NJrNs1wjB17~3!imKphTfdB}= zDLo(pak5?zcJiET9|#ORItBZ^JTT%^n?Vpb{8alOV9?3(fDr7YJ5e4GA^txd~qz>;SX+~9MatW%CW6h{Uh7j$N_U~ RX+SVI5JAkrA*CWs{D1#_UUmQg literal 0 HcmV?d00001 diff --git a/PhD/research_proposal/images/ssmm_illustration.svg b/PhD/research_proposal/images/ssmm_illustration.svg new file mode 100644 index 0000000..4dbb9f8 --- /dev/null +++ b/PhD/research_proposal/images/ssmm_illustration.svg @@ -0,0 +1,1280 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/PhD/research_proposal/proposal.tex b/PhD/research_proposal/proposal.tex index 9fee643..7a3b7fe 100644 --- a/PhD/research_proposal/proposal.tex +++ b/PhD/research_proposal/proposal.tex @@ -5,6 +5,7 @@ % University of Waterloo, 200 University Ave. W., Waterloo, Ontario, Canada % FOR ASSISTANCE, please send mail to helpdesk@uwaterloo.ca + % DISCLAIMER % To the best of our knowledge, this template satisfies the current uWaterloo thesis requirements. % However, it is your responsibility to assure that you have met all requirements of the University and your particular department. @@ -202,6 +203,7 @@ \input{futurwork} \input{timetable} \input{conclusion} + %---------------------------------------------------------------------- % END MATERIAL % Bibliography, Appendices, Index, etc.