diff --git a/Presentations/ERLM/images/5_metrics_of_success/controller.png b/Presentations/ERLM/images/5_metrics_of_success/controller.png new file mode 100644 index 000000000..1a6d93e48 Binary files /dev/null and b/Presentations/ERLM/images/5_metrics_of_success/controller.png differ diff --git a/Presentations/ERLM/images/5_metrics_of_success/emerson_logo_only.png b/Presentations/ERLM/images/5_metrics_of_success/emerson_logo_only.png new file mode 100644 index 000000000..37e3a5e06 Binary files /dev/null and b/Presentations/ERLM/images/5_metrics_of_success/emerson_logo_only.png differ diff --git a/Presentations/ERLM/images/5_metrics_of_success/puzzle.png b/Presentations/ERLM/images/5_metrics_of_success/puzzle.png new file mode 100644 index 000000000..dce762a6a Binary files /dev/null and b/Presentations/ERLM/images/5_metrics_of_success/puzzle.png differ diff --git a/Presentations/ERLM/images/5_metrics_of_success/puzzle_complete.png b/Presentations/ERLM/images/5_metrics_of_success/puzzle_complete.png new file mode 100644 index 000000000..4d840b91e Binary files /dev/null and b/Presentations/ERLM/images/5_metrics_of_success/puzzle_complete.png differ diff --git a/Presentations/ERLM/images/money.png b/Presentations/ERLM/images/money.png new file mode 100644 index 000000000..4227e4da0 Binary files /dev/null and b/Presentations/ERLM/images/money.png differ diff --git a/Presentations/ERLM/main.aux b/Presentations/ERLM/main.aux index b8f69f027..feb9da192 100644 --- a/Presentations/ERLM/main.aux +++ b/Presentations/ERLM/main.aux @@ -22,17 +22,15 @@ \@writefile{nav}{\headcommand {\beamer@framepages {22}{25}}} \@writefile{nav}{\headcommand {\slideentry {0}{0}{10}{26/29}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {26}{29}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{11}{30/30}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {30}{30}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{12}{31/33}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {31}{33}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{13}{34/37}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {34}{37}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{14}{38/38}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {38}{38}}} -\@writefile{nav}{\headcommand {\beamer@partpages {1}{38}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{38}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{38}}} -\@writefile{nav}{\headcommand {\beamer@documentpages {38}}} -\@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {14}}} -\gdef \@abspage@last{38} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{11}{30/32}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {30}{32}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{12}{33/36}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {33}{36}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{13}{37/37}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {37}{37}}} +\@writefile{nav}{\headcommand {\beamer@partpages {1}{37}}} +\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{37}}} +\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{37}}} +\@writefile{nav}{\headcommand {\beamer@documentpages {37}}} +\@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {13}}} +\gdef \@abspage@last{37} diff --git a/Presentations/ERLM/main.fdb_latexmk b/Presentations/ERLM/main.fdb_latexmk index 0287d19bc..f10973140 100644 --- a/Presentations/ERLM/main.fdb_latexmk +++ b/Presentations/ERLM/main.fdb_latexmk @@ -1,5 +1,5 @@ # Fdb version 4 -["lualatex"] 1764471667.83072 "main.tex" "main.pdf" "main" 1764471671.53189 0 +["lualatex"] 1764528588.13134 "main.tex" "main.pdf" "main" 1764528591.96343 0 "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1246382020 1004 54797486969f23fa377b128694d548df "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" 1246382020 988 bdf658c3bfc2d96d3c8b02cfc1c94c20 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1246382020 916 f87d7c45f9c908e672703b83b72241a3 "" @@ -326,24 +326,28 @@ "images/3_limitations/test.png" 1764446369.57847 41645 34977944089d9523fe5838109f6022d0 "" "images/3_limitations/worker.png" 1764364968.83413 27672 7065ad1534208191d96629b550f62ee6 "" "images/4_research_approach/procedure.png" 1764456080.21682 158772 222437d7a92958d3726adc307fb81a41 "" + "images/5_metrics_of_success/controller.png" 1764524989.70379 16201 acc9519701bcfa19f86eca99d3384577 "" + "images/5_metrics_of_success/emerson_logo_only.png" 1763336452.14199 39830 5d65eddbc8dd9059f41efeb1cce2d010 "" + "images/5_metrics_of_success/puzzle.png" 1764524940.19403 34200 fdce865ec248104e6ec78e285f7424be "" + "images/5_metrics_of_success/puzzle_complete.png" 1764524961.95624 15225 67fad16e593306dfeb6b5556393fe0c2 "" "images/back.jpg" 1763336452.15499 240691 0cb5c8c7430464955925d0babbadff74 "" "images/logo.png" 1763336452.15499 72759 d854b0b4145b18961bb2668be3694a61 "" - "images/title.png" 1763336452.15499 7783 cf1b0502d51a4234f6adb5c03ec1ebaf "" - "main.aux" 1764471671.38526 2262 20ba4dbe8d354f61b80ab2ad4d676b30 "lualatex" - "main.nav" 1764471671.38626 1505 0e707b90c7ac7389b11305df82320fab "lualatex" - "main.out" 1764471668.59227 0 d41d8cd98f00b204e9800998ecf8427e "lualatex" - "main.tex" 1764358487.97007 1747 a0f09a38bfba635b118c46cdaf2edf1e "" + "images/money.png" 1764528073.18128 2809981 b860f10eb713a07689e4fdacf151aa3a "" + "main.aux" 1764528591.80553 2133 68f045727dbad462986f3c3c4344d34d "lualatex" + "main.nav" 1764528591.80653 1412 9460eaa616e14b0e4a6c72a36889c3c2 "lualatex" + "main.out" 1764528588.86253 0 d41d8cd98f00b204e9800998ecf8427e "lualatex" + "main.tex" 1764472007.93178 1747 a0f09a38bfba635b118c46cdaf2edf1e "" "slides/1_Hook.tex" 1764365003.84351 2229 97b6feb9df84753abe53753986ce82f2 "" - "slides/2_State_of_the_Art.tex" 1764383975.9522 3141 35c30c8f499bcb66f057d446959e11cc "" + "slides/2_State_of_the_Art.tex" 1764528587.81753 3175 f01c2424e116e785c132c1bd27008307 "" "slides/3_Limitations.tex" 1764448781.58692 1453 7f207d2afdea9d103a33718f4aa61f29 "" - "slides/4_Research_Approach.tex" 1764471457.16938 5112 8e589a74e3577cf82b57e1d2154e3a37 "" - "slides/5_Metrics_of_Success.tex" 1764471642.24628 1935 bc05f76e9a72d3f75c18ed103068b2fb "" - "slides/6_Risks_and_Contingencies.tex" 1764471662.61527 2878 bff7085bb7e463bed2f13ce3ea0afe69 "" + "slides/4_Research_Approach.tex" 1764526335.09165 5144 862a985a17573a0f1c28226bcbc1acb6 "" + "slides/5_Metrics_of_Success.tex" 1764528517.83896 1789 65b1a4db3c5b190cddc3c715075bc024 "" + "slides/6_Risks_and_Contingencies.tex" 1764528509.27265 399 387cde861931d5a6f8df4385a3b5edeb "" "slides/7_Broader_Impacts.tex" 1764192995.54475 0 d41d8cd98f00b204e9800998ecf8427e "" - "slides/8_Money_Slide.tex" 1764192995.54475 0 d41d8cd98f00b204e9800998ecf8427e "" + "slides/8_Money_Slide.tex" 1764528292.28197 801 b3c68f4b7c746435d17d963b4e0cd476 "" "theme/beamercolorthemedane_native.sty" 1764364326.03437 2320 f7b01a98de0d22c836b1a657249a51d2 "" "theme/beamerfontthemedane_native.sty" 1763336452.15682 1296 654c41f94efd9f9391ac224a886b5e98 "" - "theme/beamerinnerthemedane_native.sty" 1763336452.15682 1522 9a600bede07804daabc0bfe050a25e4a "" + "theme/beamerinnerthemedane_native.sty" 1764528221.26407 2748 ae1cd84de5b3179f9cf8d6080e36cf1e "" "theme/beamerouterthemedane_native.sty" 1763336452.15682 2809 641a45b2e5f94647de8205e7bf8164c1 "" "theme/beamerthemedane_native.sty" 1763336452.15682 944 216604985b692d16917b9595dfc477ac "" (generated) diff --git a/Presentations/ERLM/main.fls b/Presentations/ERLM/main.fls index d2201f09f..5f732d569 100644 --- a/Presentations/ERLM/main.fls +++ b/Presentations/ERLM/main.fls @@ -337,8 +337,128 @@ INPUT ./images/logo.png INPUT ./images/logo.png INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmss17.tfm INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmssbx10.tfm -INPUT ./images/title.png -INPUT ./images/title.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/nuclear-plant.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png +INPUT ./images/2_state_of_the_art/worker.png INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmssbx10.tfm INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmss12.tfm INPUT /usr/share/texmf/fonts/tfm/public/lm/ec-lmssbx10.tfm @@ -541,7 +661,6 @@ INPUT ./images/logo.png INPUT ./slides/2_State_of_the_Art.tex INPUT ./images/logo.png INPUT ./images/2_state_of_the_art/nuclear-plant.png -INPUT ./images/2_state_of_the_art/nuclear-plant.png INPUT ./images/back.jpg INPUT ./images/logo.png INPUT ./images/2_state_of_the_art/nuclear-plant.png @@ -550,7 +669,6 @@ INPUT ./images/2_state_of_the_art/foreman.png INPUT ./images/2_state_of_the_art/foreman.png INPUT ./images/2_state_of_the_art/worker.png INPUT ./images/2_state_of_the_art/worker.png -INPUT ./images/2_state_of_the_art/worker.png INPUT ./images/back.jpg INPUT ./images/logo.png INPUT ./images/2_state_of_the_art/nuclear-plant.png @@ -734,13 +852,21 @@ INPUT ./images/back.jpg INPUT ./images/logo.png INPUT ./slides/5_Metrics_of_Success.tex INPUT ./images/logo.png +INPUT ./images/5_metrics_of_success/puzzle.png +INPUT ./images/5_metrics_of_success/puzzle.png INPUT ./images/back.jpg INPUT ./images/logo.png -INPUT ./images/logo.png -INPUT ./images/back.jpg -INPUT ./images/logo.png +INPUT ./images/5_metrics_of_success/puzzle.png +INPUT ./images/5_metrics_of_success/puzzle_complete.png +INPUT ./images/5_metrics_of_success/puzzle_complete.png INPUT ./images/back.jpg INPUT ./images/logo.png +INPUT ./images/5_metrics_of_success/puzzle.png +INPUT ./images/5_metrics_of_success/puzzle_complete.png +INPUT ./images/5_metrics_of_success/controller.png +INPUT ./images/5_metrics_of_success/controller.png +INPUT ./images/5_metrics_of_success/emerson_logo_only.png +INPUT ./images/5_metrics_of_success/emerson_logo_only.png INPUT ./images/back.jpg INPUT ./images/logo.png INPUT ./slides/6_Risks_and_Contingencies.tex @@ -753,11 +879,12 @@ INPUT ./images/back.jpg INPUT ./images/logo.png INPUT ./images/back.jpg INPUT ./images/logo.png -INPUT ./images/logo.png -INPUT ./images/back.jpg -INPUT ./images/logo.png INPUT ./slides/7_Broader_Impacts.tex INPUT ./slides/8_Money_Slide.tex +INPUT ./images/logo.png +INPUT ./images/money.png +INPUT ./images/money.png +INPUT ./images/back.jpg OUTPUT main.nav OUTPUT main.toc OUTPUT main.snm diff --git a/Presentations/ERLM/main.log b/Presentations/ERLM/main.log index 8f18ad8b6..ec4d14638 100644 --- a/Presentations/ERLM/main.log +++ b/Presentations/ERLM/main.log @@ -1,4 +1,4 @@ -This is LuaHBTeX, Version 1.17.0 (TeX Live 2023/Debian) (format=lualatex 2024.9.11) 29 NOV 2025 22:01 +This is LuaHBTeX, Version 1.17.0 (TeX Live 2023/Debian) (format=lualatex 2024.9.11) 30 NOV 2025 13:49 restricted system commands enabled. file:line:error style messages enabled. **main.tex @@ -944,11 +944,488 @@ File: images/logo.png Graphic file (type png) Package luatex.def Info: images/logo.png used on input line 56. (luatex.def) Requested size: 56.9055pt x 22.63397pt. - -File: images/title.png Graphic file (type png) - -Package luatex.def Info: images/title.png used on input line 56. -(luatex.def) Requested size: 227.62204pt x 227.62718pt. + +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. +File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 56. +(luatex.def) Requested size: 42.67912pt x 42.67494pt. + +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. +File: images/2_state_of_the_art/worker.png Graphic file (type png) + +Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 56. +(luatex.def) Requested size: 5.69046pt x 5.68724pt. LaTeX Font Info: Trying to load font information for U+msa on input line 56. (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A @@ -971,7 +1448,7 @@ Package luatex.def Info: images/logo.png used on input line 56. Overfull \vbox (6.42271pt too high) detected at line 56 [] - + File: images/back.jpg Graphic file (type jpg) Package luatex.def Info: images/back.jpg used on input line 56. @@ -982,12 +1459,12 @@ Package luatex.def Info: images/logo.png used on input line 56. (luatex.def) Requested size: 56.9055pt x 22.63397pt. [1 -{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}<./images/back.jpg><./images/title.png><./images/logo.png>] (./slides/1_Hook.tex +{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}<./images/back.jpg><./images/2_state_of_the_art/nuclear-plant.png><./images/2_state_of_the_art/worker.png><./images/logo.png>] (./slides/1_Hook.tex File: images/logo.png Graphic file (type png) Package luatex.def Info: images/logo.png used on input line 75. (luatex.def) Requested size: 56.9055pt x 22.63397pt. - + File: images/1_hook/energy-demand-graph-small.png Graphic file (type png) Package luatex.def Info: images/1_hook/energy-demand-graph-small.png used on input line 75. @@ -1011,7 +1488,7 @@ File: images/1_hook/energy-demand-graph-small.png Graphic file (type png) Package luatex.def Info: images/1_hook/energy-demand-graph-small.png used on input line 75. (luatex.def) Requested size: 131.78964pt x 168.00517pt. - + File: images/1_hook/nuclear-plant.png Graphic file (type png) Package luatex.def Info: images/1_hook/nuclear-plant.png used on input line 75. @@ -1562,7 +2039,6 @@ File: images/logo.png Graphic file (type png) Package luatex.def Info: images/logo.png used on input line 104. (luatex.def) Requested size: 56.9055pt x 22.63397pt. - File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 104. @@ -1577,7 +2053,7 @@ Package luatex.def Info: images/logo.png used on input line 104. (luatex.def) Requested size: 56.9055pt x 22.63397pt. [5 -<./images/2_state_of_the_art/nuclear-plant.png>] +] File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 104. @@ -1591,7 +2067,6 @@ File: images/2_state_of_the_art/foreman.png Graphic file (type png) Package luatex.def Info: images/2_state_of_the_art/foreman.png used on input line 104. (luatex.def) Requested size: 22.76228pt x 22.75684pt. - File: images/2_state_of_the_art/worker.png Graphic file (type png) Package luatex.def Info: images/2_state_of_the_art/worker.png used on input line 104. @@ -1610,7 +2085,7 @@ Package luatex.def Info: images/logo.png used on input line 104. (luatex.def) Requested size: 56.9055pt x 22.63397pt. [6 -<./images/2_state_of_the_art/foreman.png><./images/2_state_of_the_art/worker.png>] +<./images/2_state_of_the_art/foreman.png>] File: images/2_state_of_the_art/nuclear-plant.png Graphic file (type png) Package luatex.def Info: images/2_state_of_the_art/nuclear-plant.png used on input line 104. @@ -1946,20 +2421,20 @@ Package luatex.def Info: images/logo.png used on input line 104. ] File: images/logo.png Graphic file (type png) -Package luatex.def Info: images/logo.png used on input line 109. +Package luatex.def Info: images/logo.png used on input line 110. (luatex.def) Requested size: 56.9055pt x 22.63397pt. - + File: images/2_state_of_the_art/control_room.jpg Graphic file (type jpg) -Package luatex.def Info: images/2_state_of_the_art/control_room.jpg used on input line 109. +Package luatex.def Info: images/2_state_of_the_art/control_room.jpg used on input line 110. (luatex.def) Requested size: 372.10803pt x 252.00871pt. File: images/back.jpg Graphic file (type jpg) -Package luatex.def Info: images/back.jpg used on input line 109. +Package luatex.def Info: images/back.jpg used on input line 110. (luatex.def) Requested size: 780.44925pt x 341.43306pt. File: images/logo.png Graphic file (type png) -Package luatex.def Info: images/logo.png used on input line 109. +Package luatex.def Info: images/logo.png used on input line 110. (luatex.def) Requested size: 56.9055pt x 22.63397pt. [10 @@ -1968,12 +2443,12 @@ File: images/logo.png Graphic file (type png) Package luatex.def Info: images/logo.png used on input line 59. (luatex.def) Requested size: 56.9055pt x 22.63397pt. - + File: images/3_limitations/foreman.png Graphic file (type png) Package luatex.def Info: images/3_limitations/foreman.png used on input line 59. (luatex.def) Requested size: 56.9055pt x 56.89993pt. - + File: images/3_limitations/worker.png Graphic file (type png) Package luatex.def Info: images/3_limitations/worker.png used on input line 59. @@ -1997,7 +2472,7 @@ File: images/3_limitations/worker.png Graphic file (type png) Package luatex.def Info: images/3_limitations/worker.png used on input line 59. (luatex.def) Requested size: 56.9055pt x 56.90189pt. - + File: images/3_limitations/computer.png Graphic file (type png) Package luatex.def Info: images/3_limitations/computer.png used on input line 59. @@ -2025,7 +2500,7 @@ File: images/3_limitations/computer.png Graphic file (type png) Package luatex.def Info: images/3_limitations/computer.png used on input line 59. (luatex.def) Requested size: 56.9055pt x 56.90189pt. - + File: images/3_limitations/test.png Graphic file (type png) Package luatex.def Info: images/3_limitations/test.png used on input line 59. @@ -2093,7 +2568,7 @@ File: images/logo.png Graphic file (type png) Package luatex.def Info: images/logo.png used on input line 79. (luatex.def) Requested size: 56.9055pt x 22.63397pt. - + File: images/4_research_approach/procedure.png Graphic file (type png) Package luatex.def Info: images/4_research_approach/procedure.png used on input line 79. @@ -2166,7 +2641,7 @@ File: images/logo.png Graphic file (type png) Package luatex.def Info: images/logo.png used on input line 152. (luatex.def) Requested size: 56.9055pt x 22.63397pt. - + File: bouncing_ball_hybrid.png Graphic file (type png) Package luatex.def Info: bouncing_ball_hybrid.png used on input line 152. @@ -2277,132 +2752,142 @@ Package luatex.def Info: images/logo.png used on input line 175. ]) (./slides/5_Metrics_of_Success.tex File: images/logo.png Graphic file (type png) -Package luatex.def Info: images/logo.png used on input line 29. +Package luatex.def Info: images/logo.png used on input line 53. (luatex.def) Requested size: 56.9055pt x 22.63397pt. + +File: images/5_metrics_of_success/puzzle.png Graphic file (type png) + +Package luatex.def Info: images/5_metrics_of_success/puzzle.png used on input line 53. +(luatex.def) Requested size: 89.38762pt x 89.38449pt. File: images/back.jpg Graphic file (type jpg) -Package luatex.def Info: images/back.jpg used on input line 29. +Package luatex.def Info: images/back.jpg used on input line 53. (luatex.def) Requested size: 780.44925pt x 341.43306pt. File: images/logo.png Graphic file (type png) -Package luatex.def Info: images/logo.png used on input line 29. +Package luatex.def Info: images/logo.png used on input line 53. (luatex.def) Requested size: 56.9055pt x 22.63397pt. [30 -] -File: images/logo.png Graphic file (type png) - -Package luatex.def Info: images/logo.png used on input line 57. -(luatex.def) Requested size: 56.9055pt x 22.63397pt. +<./images/5_metrics_of_success/puzzle.png>] +File: images/5_metrics_of_success/puzzle.png Graphic file (type png) + +Package luatex.def Info: images/5_metrics_of_success/puzzle.png used on input line 53. +(luatex.def) Requested size: 89.38762pt x 89.38449pt. + +File: images/5_metrics_of_success/puzzle_complete.png Graphic file (type png) + +Package luatex.def Info: images/5_metrics_of_success/puzzle_complete.png used on input line 53. +(luatex.def) Requested size: 89.38762pt x 89.38371pt. File: images/back.jpg Graphic file (type jpg) -Package luatex.def Info: images/back.jpg used on input line 57. +Package luatex.def Info: images/back.jpg used on input line 53. (luatex.def) Requested size: 780.44925pt x 341.43306pt. File: images/logo.png Graphic file (type png) -Package luatex.def Info: images/logo.png used on input line 57. +Package luatex.def Info: images/logo.png used on input line 53. (luatex.def) Requested size: 56.9055pt x 22.63397pt. [31 -] +<./images/5_metrics_of_success/puzzle_complete.png>] +File: images/5_metrics_of_success/puzzle.png Graphic file (type png) + +Package luatex.def Info: images/5_metrics_of_success/puzzle.png used on input line 53. +(luatex.def) Requested size: 89.38762pt x 89.38449pt. +File: images/5_metrics_of_success/puzzle_complete.png Graphic file (type png) + +Package luatex.def Info: images/5_metrics_of_success/puzzle_complete.png used on input line 53. +(luatex.def) Requested size: 89.38762pt x 89.38371pt. + +File: images/5_metrics_of_success/controller.png Graphic file (type png) + +Package luatex.def Info: images/5_metrics_of_success/controller.png used on input line 53. +(luatex.def) Requested size: 89.38762pt x 89.38449pt. + +File: images/5_metrics_of_success/emerson_logo_only.png Graphic file (type png) + +Package luatex.def Info: images/5_metrics_of_success/emerson_logo_only.png used on input line 53. +(luatex.def) Requested size: 33.52057pt x 33.52014pt. File: images/back.jpg Graphic file (type jpg) -Package luatex.def Info: images/back.jpg used on input line 57. +Package luatex.def Info: images/back.jpg used on input line 53. (luatex.def) Requested size: 780.44925pt x 341.43306pt. File: images/logo.png Graphic file (type png) -Package luatex.def Info: images/logo.png used on input line 57. +Package luatex.def Info: images/logo.png used on input line 53. (luatex.def) Requested size: 56.9055pt x 22.63397pt. [32 -] +<./images/5_metrics_of_success/controller.png><./images/5_metrics_of_success/emerson_logo_only.png>]) (./slides/6_Risks_and_Contingencies.tex +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 13. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. File: images/back.jpg Graphic file (type jpg) -Package luatex.def Info: images/back.jpg used on input line 57. +Package luatex.def Info: images/back.jpg used on input line 13. (luatex.def) Requested size: 780.44925pt x 341.43306pt. File: images/logo.png Graphic file (type png) -Package luatex.def Info: images/logo.png used on input line 57. +Package luatex.def Info: images/logo.png used on input line 13. (luatex.def) Requested size: 56.9055pt x 22.63397pt. [33 -]) (./slides/6_Risks_and_Contingencies.tex -File: images/logo.png Graphic file (type png) - -Package luatex.def Info: images/logo.png used on input line 37. -(luatex.def) Requested size: 56.9055pt x 22.63397pt. - -Overfull \vbox (8.75342pt too high) detected at line 37 - [] - +] File: images/back.jpg Graphic file (type jpg) -Package luatex.def Info: images/back.jpg used on input line 37. +Package luatex.def Info: images/back.jpg used on input line 13. (luatex.def) Requested size: 780.44925pt x 341.43306pt. File: images/logo.png Graphic file (type png) -Package luatex.def Info: images/logo.png used on input line 37. +Package luatex.def Info: images/logo.png used on input line 13. (luatex.def) Requested size: 56.9055pt x 22.63397pt. -[34 + [34 ] -Overfull \vbox (8.75342pt too high) detected at line 37 - [] - File: images/back.jpg Graphic file (type jpg) -Package luatex.def Info: images/back.jpg used on input line 37. +Package luatex.def Info: images/back.jpg used on input line 13. (luatex.def) Requested size: 780.44925pt x 341.43306pt. File: images/logo.png Graphic file (type png) -Package luatex.def Info: images/logo.png used on input line 37. +Package luatex.def Info: images/logo.png used on input line 13. (luatex.def) Requested size: 56.9055pt x 22.63397pt. -[35 + [35 ] -Overfull \vbox (8.75342pt too high) detected at line 37 +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 13. +(luatex.def) Requested size: 780.44925pt x 341.43306pt. +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 13. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [36 + +]) (./slides/7_Broader_Impacts.tex) (./slides/8_Money_Slide.tex +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 35. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + +File: images/money.png Graphic file (type png) + +Package luatex.def Info: images/money.png used on input line 35. +(luatex.def) Requested size: 352.80942pt x 235.2062pt. + +Overfull \hbox (38.40941pt too wide) in paragraph at lines 35--35 + [][] [] File: images/back.jpg Graphic file (type jpg) -Package luatex.def Info: images/back.jpg used on input line 37. +Package luatex.def Info: images/back.jpg used on input line 35. (luatex.def) Requested size: 780.44925pt x 341.43306pt. -File: images/logo.png Graphic file (type png) - -Package luatex.def Info: images/logo.png used on input line 37. -(luatex.def) Requested size: 56.9055pt x 22.63397pt. -[36 - -] -Overfull \vbox (8.75342pt too high) detected at line 37 - [] - -File: images/back.jpg Graphic file (type jpg) - -Package luatex.def Info: images/back.jpg used on input line 37. -(luatex.def) Requested size: 780.44925pt x 341.43306pt. -File: images/logo.png Graphic file (type png) - -Package luatex.def Info: images/logo.png used on input line 37. -(luatex.def) Requested size: 56.9055pt x 22.63397pt. [37 -] -File: images/logo.png Graphic file (type png) - -Package luatex.def Info: images/logo.png used on input line 73. -(luatex.def) Requested size: 56.9055pt x 22.63397pt. -File: images/back.jpg Graphic file (type jpg) - -Package luatex.def Info: images/back.jpg used on input line 73. -(luatex.def) Requested size: 780.44925pt x 341.43306pt. -File: images/logo.png Graphic file (type png) - -Package luatex.def Info: images/logo.png used on input line 73. -(luatex.def) Requested size: 56.9055pt x 22.63397pt. - [38 - -]) (./slides/7_Broader_Impacts.tex) (./slides/8_Money_Slide.tex) +<./images/money.png>]) \tf@nav=\write6 \openout6 = main.nav @@ -2422,19 +2907,19 @@ Package rerunfilecheck Info: File `main.out' has not changed. ) Here is how much of LuaTeX's memory you used: - 42127 strings out of 476553 - 125011,1977958 words of node,token memory allocated - 8469 words of node memory still in use: - 105 hlist, 17 vlist, 15 rule, 53 disc, 15 local_par, 6 math, 250 glue, 42 kern, 42 penalty, 474 glyph, 63 glue_spec, 4 write, 108 pdf_literal, 100 pdf_colorstack nodes - avail lists: 2:35,3:4066,4:443,5:388,6:60,7:4794,8:27,9:4511,10:12,11:433 - 61755 multiletter control sequences out of 65536+600000 + 42662 strings out of 476553 + 195340,1977958 words of node,token memory allocated + 4619 words of node memory still in use: + 64 hlist, 8 vlist, 13 rule, 31 disc, 12 local_par, 114 glue, 21 kern, 27 penalty, 265 glyph, 63 glue_spec, 4 write, 40 pdf_literal, 20 pdf_colorstack, 1 pdf_setmatrix, 1 pdf_save, 1 pdf_restore nodes + avail lists: 2:36,3:9296,4:439,5:596,6:54,7:9016,8:27,9:7323,10:12,11:170 + 61923 multiletter control sequences out of 65536+600000 95 fonts using 3939739 bytes - 128i,18n,116p,747b,1110s stack positions out of 10000i,1000n,20000p,200000b,200000s + 128i,18n,116p,747b,1334s stack positions out of 10000i,1000n,20000p,200000b,200000s {/usr/share/texmf/fonts/enc/dvips/lm/lm-ec.enc} -Output written on main.pdf (38 pages, 2291647 bytes). +Output written on main.pdf (37 pages, 5108668 bytes). -PDF statistics: 409 PDF objects out of 1000 (max. 8388607) - 289 compressed objects within 3 object streams - 77 named destinations out of 1000 (max. 131072) +PDF statistics: 406 PDF objects out of 1000 (max. 8388607) + 281 compressed objects within 3 object streams + 75 named destinations out of 1000 (max. 131072) 176 words of extra memory for PDF output out of 10000 (max. 100000000) diff --git a/Presentations/ERLM/main.nav b/Presentations/ERLM/main.nav index 8c1aef6d7..a23b42113 100644 --- a/Presentations/ERLM/main.nav +++ b/Presentations/ERLM/main.nav @@ -18,16 +18,14 @@ \headcommand {\beamer@framepages {22}{25}} \headcommand {\slideentry {0}{0}{10}{26/29}{}{0}} \headcommand {\beamer@framepages {26}{29}} -\headcommand {\slideentry {0}{0}{11}{30/30}{}{0}} -\headcommand {\beamer@framepages {30}{30}} -\headcommand {\slideentry {0}{0}{12}{31/33}{}{0}} -\headcommand {\beamer@framepages {31}{33}} -\headcommand {\slideentry {0}{0}{13}{34/37}{}{0}} -\headcommand {\beamer@framepages {34}{37}} -\headcommand {\slideentry {0}{0}{14}{38/38}{}{0}} -\headcommand {\beamer@framepages {38}{38}} -\headcommand {\beamer@partpages {1}{38}} -\headcommand {\beamer@subsectionpages {1}{38}} -\headcommand {\beamer@sectionpages {1}{38}} -\headcommand {\beamer@documentpages {38}} -\headcommand {\gdef \inserttotalframenumber {14}} +\headcommand {\slideentry {0}{0}{11}{30/32}{}{0}} +\headcommand {\beamer@framepages {30}{32}} +\headcommand {\slideentry {0}{0}{12}{33/36}{}{0}} +\headcommand {\beamer@framepages {33}{36}} +\headcommand {\slideentry {0}{0}{13}{37/37}{}{0}} +\headcommand {\beamer@framepages {37}{37}} +\headcommand {\beamer@partpages {1}{37}} +\headcommand {\beamer@subsectionpages {1}{37}} +\headcommand {\beamer@sectionpages {1}{37}} +\headcommand {\beamer@documentpages {37}} +\headcommand {\gdef \inserttotalframenumber {13}} diff --git a/Presentations/ERLM/main.pdf b/Presentations/ERLM/main.pdf index ae855774a..6008504a1 100644 Binary files a/Presentations/ERLM/main.pdf and b/Presentations/ERLM/main.pdf differ diff --git a/Presentations/ERLM/main.synctex.gz b/Presentations/ERLM/main.synctex.gz index acdc33eea..15c9ab1c2 100644 Binary files a/Presentations/ERLM/main.synctex.gz and b/Presentations/ERLM/main.synctex.gz differ diff --git a/Presentations/ERLM/slides/2_State_of_the_Art.tex b/Presentations/ERLM/slides/2_State_of_the_Art.tex index 916a673e3..d8efe1dda 100644 --- a/Presentations/ERLM/slides/2_State_of_the_Art.tex +++ b/Presentations/ERLM/slides/2_State_of_the_Art.tex @@ -103,7 +103,8 @@ operators!} } } \end{frame} -\begin{frame}{Nuclear reactors are operated with prescriptive handbooks} +\begin{frame}{Nuclear reactors are operated with prescriptive handbooks and + legacy control technologies} \centering \includegraphics[width=\textwidth,height=0.75\textheight,keepaspectratio]{images/2_state_of_the_art/control_room.jpg} \end{frame} diff --git a/Presentations/ERLM/slides/4_Research_Approach.tex b/Presentations/ERLM/slides/4_Research_Approach.tex index 983dfc4e1..d8d599bc7 100644 --- a/Presentations/ERLM/slides/4_Research_Approach.tex +++ b/Presentations/ERLM/slides/4_Research_Approach.tex @@ -65,10 +65,10 @@ \scriptsize \texttt{$\Box$ (initial $\rightarrow$ (} \begin{itemize} - \item[] \texttt{mode = MODE\_5 $\land$} - \item[] \texttt{k\_eff < 0.99 $\land$} - \item[] \texttt{power = 0 $\land$} - \item[] \texttt{t\_avg < 200 $\land$} + \item[] \texttt{mode\_5\_active $\land$} + \item[] \texttt{k\_eff\_subcritical $\land$} + \item[] \texttt{zero\_power $\land$} + \item[] \texttt{temp\_safe $\land$} \item[] \texttt{...))} \end{itemize} \end{alertblock} @@ -84,9 +84,9 @@ \centering \begin{tikzpicture}[node distance=2cm] % Blocks - \node[draw, rectangle, minimum width=3cm, minimum height=1.5cm, align=center, fill=blue!20] (ltl) {LTL\\Specification}; - \node[draw, rectangle, minimum width=3cm, minimum height=1.5cm, align=center, fill=blue!20, right=of ltl] (game) {Game\\Graph}; - \node[draw, rectangle, minimum width=3cm, minimum height=1.5cm, align=center, fill=blue!20, right=of game] (automata) {Discrete\\Automata}; + \node[draw, rectangle, minimum width=3cm, minimum height=1.5cm, align=center, fill=blue!20!primary] (ltl) {LTL\\Specification}; + \node[draw, rectangle, minimum width=3cm, minimum height=1.5cm, align=center, fill=blue!20!primary, right=of ltl] (game) {Parity\\Game}; + \node[draw, rectangle, minimum width=3cm, minimum height=1.5cm, align=center, fill=blue!20!primary, right=of game] (automata) {Discrete\\Automata}; % Arrows \draw[->, thick] (ltl) -- (game); diff --git a/Presentations/ERLM/slides/5_Metrics_of_Success.tex b/Presentations/ERLM/slides/5_Metrics_of_Success.tex index c7733a70c..7a635b4ca 100644 --- a/Presentations/ERLM/slides/5_Metrics_of_Success.tex +++ b/Presentations/ERLM/slides/5_Metrics_of_Success.tex @@ -1,57 +1,53 @@ -\begin{frame}{Success is measured through Technology Readiness Level advancement} +\begin{frame}{Success will be measured through Technology Readiness Level advancement} \begin{columns} - \begin{column}{0.45\textwidth} + \begin{column}{0.3\textwidth} \begin{block}{Why TRLs?} \small - Bridge gap between academic proof-of-concept and practical deployment + Bridge gap between proof-of-concept and deployment \begin{itemize} - \item[] Academic metrics $\rightarrow$ cannot capture feasibility - \item[] Empirical metrics $\rightarrow$ cannot demonstrate rigor - \item[] TRLs measure both simultaneously + \item[] Measure both rigor and feasibility \end{itemize} \end{block} + + \vspace{0.5cm} + + \textbf{Current:} TRL 2-3\\ + \textbf{Target:} TRL 5 \end{column} - \begin{column}{0.55\textwidth} - \begin{block}{Progression Path} - \small - \textbf{Current: TRL 2-3}\\ - Fundamental principles established + \begin{column}{0.7\textwidth} + \begin{columns} + \begin{column}{0.33\textwidth} + \centering + \only<1->{\only<1>{\alert{\textbf{TRL 3}}}% + \only<2->{\textbf{TRL 3}}\\ + \small Components\\ + \vspace{0.2cm} + \includegraphics[width=0.8\textwidth]{images/5_metrics_of_success/puzzle.png}} + \end{column} - \vspace{0.3cm} - \textbf{Target: TRL 5}\\ - Lab testing in relevant environment - \end{block} + \begin{column}{0.33\textwidth} + \centering + \only<2->{\only<2>{\alert{\textbf{TRL 4}}}% + \only<3->{\textbf{TRL 4}}\\ + \small Integration\\ + \vspace{0.2cm} + \includegraphics[width=0.8\textwidth]{images/5_metrics_of_success/puzzle_complete.png}} + \end{column} + + \begin{column}{0.33\textwidth} + \centering + \only<3->{\alert<3>{\textbf{TRL 5}}\\ + \small Hardware\\ + \vspace{0.2cm} + \begin{tikzpicture} + \node[anchor=south west,inner sep=0] (controller) at (0,0) {\includegraphics[width=0.8\columnwidth]{images/5_metrics_of_success/controller.png}}; + \node[anchor=center,inner sep=2pt] at (2.48,1.88) {\includegraphics[width=0.3\columnwidth]{images/5_metrics_of_success/emerson_logo_only.png}}; + \end{tikzpicture}} + \end{column} + \end{columns} \end{column} \end{columns} \end{frame} - -\begin{frame}{TRL advancement requires achieving three validation milestones} - - \begin{enumerate} - \item<1-> \alert<1>{\textbf{TRL 3: Critical Function \& Proof of Concept}} - \begin{itemize} - \item[] Each component works in isolation - \item[] Specifications pass realizability analysis - \item[] At least one continuous controller with reachability proof - \end{itemize} - - \item<2-> \alert<2>{\textbf{TRL 4: Integrated Components in Simulation}} - \begin{itemize} - \item[] Complete integrated hybrid controller - \item[] All mode transitions verified - \item[] Zero safety violations across multiple runs - \end{itemize} - - \item<3-> \alert<3>{\textbf{TRL 5: Testing in Relevant Environment}} - \begin{itemize} - \item[] Hardware-in-the-loop on Emerson Ovation - \item[] Autonomous startup sequences via HIL - \item[] Off-nominal scenarios handled correctly - \item[] Formal verification remains valid on hardware - \end{itemize} - \end{enumerate} - -\end{frame} diff --git a/Presentations/ERLM/slides/6_Risks_and_Contingencies.tex b/Presentations/ERLM/slides/6_Risks_and_Contingencies.tex index abf0b55cc..8a51499bd 100644 --- a/Presentations/ERLM/slides/6_Risks_and_Contingencies.tex +++ b/Presentations/ERLM/slides/6_Risks_and_Contingencies.tex @@ -1,73 +1,13 @@ -\begin{frame}{Four primary risks with clear mitigation and contingency plans} +\begin{frame}{Four primary risks are identified with clear mitigation and contingency plans} \begin{enumerate} - \item<1-> \alert<1>{\textbf{Computational Tractability of Synthesis}} - \begin{itemize} - \item[] \textit{Risk:} Synthesis times exceed project timeline - \item[] \textit{Indicator:} $>$24hr for simplified procedures - \item[] \textit{Contingency:} Reduce to minimal viable startup sequence - \item[] \textit{Mitigation:} HPC resources, compositional verification - \end{itemize} + \item<1-> \alert<1>{Computational Tractability of Synthesis} - \item<2-> \alert<2>{\textbf{Discrete-Continuous Interface Complexity}} - \begin{itemize} - \item[] \textit{Risk:} Boolean guards cannot map to continuous dynamics - \item[] \textit{Indicator:} No barrier certificates exist for transitions - \item[] \textit{Contingency:} Restrict to polytopic invariants - \item[] \textit{Mitigation:} Design controllers with transitions as constraints - \end{itemize} + \item<2-> \alert<2>{Discrete-Continuous Interface Complexity} - \item<3-> \alert<3>{\textbf{Procedure Formalization Completeness}} - \begin{itemize} - \item[] \textit{Risk:} Procedures lack precision for autonomous control - \item[] \textit{Indicator:} Multiple valid interpretations, operator judgment - \item[] \textit{Contingency:} Document gaps as research contribution - \item[] \textit{Mitigation:} Early analysis with domain experts - \end{itemize} + \item<3-> \alert<3>{Procedure Formalization Completeness} - \item<4-> \alert<4>{\textbf{Hardware-in-the-Loop Integration}} - \begin{itemize} - \item[] \textit{Risk:} Real-time constraints incompatible with hardware - \item[] \textit{Indicator:} Communication dropouts, missed deadlines - \item[] \textit{Contingency:} Software-in-the-loop with timing analysis (TRL 4) - \item[] \textit{Mitigation:} Early integration testing, ARCADE infrastructure - \end{itemize} + \item<4-> \alert<4>{Hardware-in-the-Loop Integration} \end{enumerate} \end{frame} - -\begin{frame}{Staged structure ensures partial success yields valuable results} - - \begin{columns} - \begin{column}{0.5\textwidth} - \begin{block}{Early Detection} - \small - Each risk has specific indicators for early warning - \begin{itemize} - \item[] Quarterly assessment of progress - \item[] Data-driven plan revision only when assumptions invalidated - \end{itemize} - \end{block} - \end{column} - - \begin{column}{0.5\textwidth} - \begin{block}{Research Value} - \small - Even contingency outcomes contribute knowledge - \begin{itemize} - \item[] Identifying barriers is itself valuable - \item[] Clear pathway for future work - \item[] Publishable results at each stage - \end{itemize} - \end{block} - \end{column} - \end{columns} - - \vspace{1cm} - - \begin{center} - \textbf{Contingency plans preserve core methodology\\ - while adjusting scope to maintain feasibility} - \end{center} - -\end{frame} diff --git a/Presentations/ERLM/slides/8_Money_Slide.tex b/Presentations/ERLM/slides/8_Money_Slide.tex index e69de29bb..4697862ea 100644 --- a/Presentations/ERLM/slides/8_Money_Slide.tex +++ b/Presentations/ERLM/slides/8_Money_Slide.tex @@ -0,0 +1,35 @@ +\begin{frame}[plain] + \LARGE\textbf{Formally Verified Autonomous Hybrid Control} + + \vspace{0.2cm} + + \begin{columns}[T] + % Left column: Contact info + \begin{column}{0.35\textwidth} + \normalsize Enabling Economic Viability of Next-Generation Nuclear Power + + \vspace{0.5cm} + + \large\textbf{Dane A. Sabo}\\ + \small dane.sabo@pitt.edu + + \vspace{0.5cm} + + \textbf{Advisor:}\\ + Dr. Daniel G. Cole\\ + \small dgcole@pitt.edu + + \vspace{0.5cm} + + University of Pittsburgh\\ + Department of Mechanical Engineering and Materials Science + \end{column} + + % Right column: Money image + \begin{column}{0.65\textwidth} + \centering + \includegraphics[height=0.7\textheight]{images/money.png} + \end{column} + \end{columns} + +\end{frame} diff --git a/Presentations/ERLM/theme/beamerinnerthemedane_native.sty b/Presentations/ERLM/theme/beamerinnerthemedane_native.sty index 2a170c564..580adcc2c 100644 --- a/Presentations/ERLM/theme/beamerinnerthemedane_native.sty +++ b/Presentations/ERLM/theme/beamerinnerthemedane_native.sty @@ -21,8 +21,32 @@ %title \node(title)[anchor = north west] at (0,11.75) {\parbox[t]{16cm}{\raggedright\LARGE\textbf\inserttitle}}; - %Title Image - \node(title_image)[anchor = center] at (11,5) {\includegraphics[width = 8cm]{images/title.png}}; + %Title Image - TikZ reactor visualization + \node(title_image)[anchor = center] at (11,5) { + \begin{tikzpicture} + % Adjustable parameters + \pgfmathsetmacro\reactorsize{1.5} % cm + \pgfmathsetmacro\operatorsize{0.2} % cm + \pgfmathsetmacro\width{8} % cm + \pgfmathsetmacro\height{6} % cm + + % Randomly place reactors + \foreach \i in {1,...,100} { + \pgfmathsetmacro\xpos{rand*\width/2 + \width/2} + \pgfmathsetmacro\ypos{rand*\height/2 - \height/2} + \node[opacity=1.0] at (\xpos, \ypos) + {\includegraphics[width=\reactorsize cm]{images/2_state_of_the_art/nuclear-plant.png}}; + } + + % Sprinkle operators on top + \foreach \i in {1,...,20} { + \pgfmathsetmacro\xpos{rand*\width/2 + \width/2} + \pgfmathsetmacro\ypos{rand*\height/2 - \height/2} + \node[opacity=1.0] at (\xpos, \ypos) + {\includegraphics[width=\operatorsize cm]{images/2_state_of_the_art/worker.png}}; + } + \end{tikzpicture} + }; %Author Block \node(author)[anchor = west] at (0,6) {\parbox[c]{5cm}{\raggedright\insertauthor}};