diff --git a/Presentations/ERLM/images/3_limitations/computer.png b/Presentations/ERLM/images/3_limitations/computer.png new file mode 100644 index 000000000..b894048ef Binary files /dev/null and b/Presentations/ERLM/images/3_limitations/computer.png differ diff --git a/Presentations/ERLM/images/3_limitations/foreman.png b/Presentations/ERLM/images/3_limitations/foreman.png new file mode 100644 index 000000000..44e802716 Binary files /dev/null and b/Presentations/ERLM/images/3_limitations/foreman.png differ diff --git a/Presentations/ERLM/images/3_limitations/nuclear.png b/Presentations/ERLM/images/3_limitations/nuclear.png new file mode 100644 index 000000000..ef9c13de4 Binary files /dev/null and b/Presentations/ERLM/images/3_limitations/nuclear.png differ diff --git a/Presentations/ERLM/images/3_limitations/test.png b/Presentations/ERLM/images/3_limitations/test.png new file mode 100644 index 000000000..06e5a3107 Binary files /dev/null and b/Presentations/ERLM/images/3_limitations/test.png differ diff --git a/Presentations/ERLM/images/3_limitations/worker.png b/Presentations/ERLM/images/3_limitations/worker.png new file mode 100644 index 000000000..3a5e0b068 Binary files /dev/null and b/Presentations/ERLM/images/3_limitations/worker.png differ diff --git a/Presentations/ERLM/main.aux b/Presentations/ERLM/main.aux index 21620af44..a365b4d60 100644 --- a/Presentations/ERLM/main.aux +++ b/Presentations/ERLM/main.aux @@ -10,11 +10,21 @@ \@writefile{nav}{\headcommand {\beamer@framepages {5}{9}}} \@writefile{nav}{\headcommand {\slideentry {0}{0}{4}{10/10}{}{0}}} \@writefile{nav}{\headcommand {\beamer@framepages {10}{10}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{5}{11/11}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {11}{11}}} -\@writefile{nav}{\headcommand {\beamer@partpages {1}{11}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{11}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{11}}} -\@writefile{nav}{\headcommand {\beamer@documentpages {11}}} -\@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {5}}} -\gdef \@abspage@last{11} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{5}{11/13}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {11}{13}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{6}{14/17}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {14}{17}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{7}{18/18}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {18}{18}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{8}{19/19}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {19}{19}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{9}{20/20}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {20}{20}}} +\@writefile{nav}{\headcommand {\slideentry {0}{0}{10}{21/21}{}{0}}} +\@writefile{nav}{\headcommand {\beamer@framepages {21}{21}}} +\@writefile{nav}{\headcommand {\beamer@partpages {1}{21}}} +\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{21}}} +\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{21}}} +\@writefile{nav}{\headcommand {\beamer@documentpages {21}}} +\@writefile{nav}{\headcommand {\gdef \inserttotalframenumber {10}}} +\gdef \@abspage@last{21} diff --git a/Presentations/ERLM/main.fdb_latexmk b/Presentations/ERLM/main.fdb_latexmk index 22abb9c70..6d15d36c9 100644 --- a/Presentations/ERLM/main.fdb_latexmk +++ b/Presentations/ERLM/main.fdb_latexmk @@ -1,5 +1,5 @@ # Fdb version 4 -["lualatex"] 1764383978.63417 "main.tex" "main.pdf" "main" 1764383980.69696 0 +["lualatex"] 1764455053.68402 "main.tex" "main.pdf" "main" 1764455056.17792 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/symbols/msam10.tfm" 1246382020 916 f87d7c45f9c908e672703b83b72241a3 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1246382020 928 2dc8d444221b7a635bb58038579b861a "" @@ -303,17 +303,21 @@ "images/2_state_of_the_art/foreman.png" 1764364968.83299 26755 f399e83f67628674d2f3d5d3760d5641 "" "images/2_state_of_the_art/nuclear-plant.png" 1764364968.83167 33643 ae391bd2b827c05be2b7a877fcdaf999 "" "images/2_state_of_the_art/worker.png" 1764364968.83413 27672 7065ad1534208191d96629b550f62ee6 "" + "images/3_limitations/computer.png" 1764446428.78424 34281 45b36816bb88d3aea9b85ab2930e4bf4 "" + "images/3_limitations/foreman.png" 1764364968.83299 26755 f399e83f67628674d2f3d5d3760d5641 "" + "images/3_limitations/test.png" 1764446369.57847 41645 34977944089d9523fe5838109f6022d0 "" + "images/3_limitations/worker.png" 1764364968.83413 27672 7065ad1534208191d96629b550f62ee6 "" "images/back.jpg" 1763336452.15499 240691 0cb5c8c7430464955925d0babbadff74 "" "images/logo.png" 1763336452.15499 72759 d854b0b4145b18961bb2668be3694a61 "" "images/title.png" 1763336452.15499 7783 cf1b0502d51a4234f6adb5c03ec1ebaf "" - "main.aux" 1764383980.57521 1104 76cab6e2631c00c8fe777e4fc4d26bd0 "lualatex" - "main.nav" 1764383980.57521 671 3507aa8276ba658ea30ea34059f85a04 "lualatex" - "main.out" 1764383979.38521 0 d41d8cd98f00b204e9800998ecf8427e "lualatex" + "main.aux" 1764455056.04504 1746 736203ef93fdcaa35faa161c8f973ada "lualatex" + "main.nav" 1764455056.04663 1133 f92dae69bc8ed80fd57b232a0e0688ae "lualatex" + "main.out" 1764455054.45404 0 d41d8cd98f00b204e9800998ecf8427e "lualatex" "main.tex" 1764358487.97007 1747 a0f09a38bfba635b118c46cdaf2edf1e "" "slides/1_Hook.tex" 1764365003.84351 2229 97b6feb9df84753abe53753986ce82f2 "" "slides/2_State_of_the_Art.tex" 1764383975.9522 3141 35c30c8f499bcb66f057d446959e11cc "" - "slides/3_Limitations.tex" 1764383968.52119 399 855ed014f610afdbbe87bf6de5ef7c76 "" - "slides/4_Research_Approach.tex" 1764192995.54475 0 d41d8cd98f00b204e9800998ecf8427e "" + "slides/3_Limitations.tex" 1764448781.58692 1453 7f207d2afdea9d103a33718f4aa61f29 "" + "slides/4_Research_Approach.tex" 1764455049.3585 991 5a25c05e91c6c9edda8c71bc16e10580 "" "slides/5_Metrics_of_Success.tex" 1764192995.54475 0 d41d8cd98f00b204e9800998ecf8427e "" "slides/6_Risks_and_Contingencies.tex" 1764192995.54475 0 d41d8cd98f00b204e9800998ecf8427e "" "slides/7_Broader_Impacts.tex" 1764192995.54475 0 d41d8cd98f00b204e9800998ecf8427e "" diff --git a/Presentations/ERLM/main.fls b/Presentations/ERLM/main.fls index b6c49bbe5..4e20fea11 100644 --- a/Presentations/ERLM/main.fls +++ b/Presentations/ERLM/main.fls @@ -641,9 +641,47 @@ INPUT ./images/back.jpg INPUT ./images/logo.png INPUT ./slides/3_Limitations.tex INPUT ./images/logo.png +INPUT ./images/3_limitations/foreman.png +INPUT ./images/3_limitations/foreman.png +INPUT ./images/3_limitations/worker.png +INPUT ./images/3_limitations/worker.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/3_limitations/foreman.png +INPUT ./images/3_limitations/worker.png +INPUT ./images/3_limitations/computer.png +INPUT ./images/3_limitations/computer.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/3_limitations/foreman.png +INPUT ./images/3_limitations/worker.png +INPUT ./images/3_limitations/computer.png +INPUT ./images/3_limitations/test.png +INPUT ./images/3_limitations/test.png INPUT ./images/back.jpg INPUT ./images/logo.png INPUT ./slides/4_Research_Approach.tex +INPUT ./images/logo.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +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 ./images/logo.png +INPUT ./images/back.jpg +INPUT ./images/logo.png +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/5_Metrics_of_Success.tex INPUT ./slides/6_Risks_and_Contingencies.tex INPUT ./slides/7_Broader_Impacts.tex diff --git a/Presentations/ERLM/main.log b/Presentations/ERLM/main.log index 7d1a8bb50..cfe6a3d65 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) 28 NOV 2025 21:39 +This is LuaHBTeX, Version 1.17.0 (TeX Live 2023/Debian) (format=lualatex 2024.9.11) 29 NOV 2025 17:24 restricted system commands enabled. file:line:error style messages enabled. **main.tex @@ -1966,19 +1966,189 @@ Package luatex.def Info: images/logo.png used on input line 109. <./images/2_state_of_the_art/control_room.jpg>]) (./slides/3_Limitations.tex File: images/logo.png Graphic file (type png) -Package luatex.def Info: images/logo.png used on input line 11. +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. +(luatex.def) Requested size: 56.9055pt x 56.90189pt. File: images/back.jpg Graphic file (type jpg) -Package luatex.def Info: images/back.jpg used on input line 11. +Package luatex.def Info: images/back.jpg used on input line 59. (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 11. +Package luatex.def Info: images/logo.png used on input line 59. (luatex.def) Requested size: 56.9055pt x 22.63397pt. [11 -]) (./slides/4_Research_Approach.tex) (./slides/5_Metrics_of_Success.tex) (./slides/6_Risks_and_Contingencies.tex) (./slides/7_Broader_Impacts.tex) (./slides/8_Money_Slide.tex) +<./images/3_limitations/foreman.png><./images/3_limitations/worker.png>] +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. +(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. +(luatex.def) Requested size: 56.9055pt x 56.90189pt. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 59. +(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 59. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [12 + +<./images/3_limitations/computer.png>] +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. +(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. +(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. +(luatex.def) Requested size: 56.9055pt x 56.90189pt. +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 59. +(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 59. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [13 + +<./images/3_limitations/test.png>]) (./slides/4_Research_Approach.tex +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 22. +(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 22. +(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 22. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [14 + +] +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 22. +(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 22. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [15 + +] +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 22. +(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 22. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [16 + +] +File: images/back.jpg Graphic file (type jpg) + +Package luatex.def Info: images/back.jpg used on input line 22. +(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 22. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [17 + +] +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 27. +(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 27. +(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 27. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [18 + +] +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 32. +(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 32. +(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 32. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [19 + +] +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. +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. + [20 + +] +File: images/logo.png Graphic file (type png) + +Package luatex.def Info: images/logo.png used on input line 42. +(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 42. +(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 42. +(luatex.def) Requested size: 56.9055pt x 22.63397pt. + [21 + +]) (./slides/5_Metrics_of_Success.tex) (./slides/6_Risks_and_Contingencies.tex) (./slides/7_Broader_Impacts.tex) (./slides/8_Money_Slide.tex) \tf@nav=\write6 \openout6 = main.nav @@ -1998,19 +2168,19 @@ Package rerunfilecheck Info: File `main.out' has not changed. ) Here is how much of LuaTeX's memory you used: - 41576 strings out of 476553 + 41781 strings out of 476553 100000,1977958 words of node,token memory allocated - 5586 words of node memory still in use: - 71 hlist, 9 vlist, 15 rule, 43 disc, 6 local_par, 2 math, 140 glue, 26 kern, 23 penalty, 304 glyph, 63 glue_spec, 4 write, 68 pdf_literal, 76 pdf_colorstack nodes - avail lists: 2:35,3:4125,4:221,5:359,6:42,7:5076,8:2,9:4553,10:10,11:104 - 61496 multiletter control sequences out of 65536+600000 + 2586 words of node memory still in use: + 47 hlist, 9 vlist, 11 rule, 8 disc, 2 local_par, 2 math, 58 glue, 9 kern, 10 penalty, 89 glyph, 63 glue_spec, 4 write, 68 pdf_literal, 42 pdf_colorstack nodes + avail lists: 2:35,3:4138,4:297,5:379,6:46,7:5375,8:2,9:4581,10:10,11:130 + 61579 multiletter control sequences out of 65536+600000 71 fonts using 2947807 bytes 128i,18n,116p,747b,1110s stack positions out of 10000i,1000n,20000p,200000b,200000s {/usr/share/texmf/fonts/enc/dvips/lm/lm-ec.enc} -Output written on main.pdf (11 pages, 1513983 bytes). +Output written on main.pdf (21 pages, 1624431 bytes). -PDF statistics: 169 PDF objects out of 1000 (max. 8388607) - 104 compressed objects within 2 object streams - 23 named destinations out of 1000 (max. 131072) +PDF statistics: 255 PDF objects out of 1000 (max. 8388607) + 167 compressed objects within 2 object streams + 43 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 7a40513c6..43628b216 100644 --- a/Presentations/ERLM/main.nav +++ b/Presentations/ERLM/main.nav @@ -6,10 +6,20 @@ \headcommand {\beamer@framepages {5}{9}} \headcommand {\slideentry {0}{0}{4}{10/10}{}{0}} \headcommand {\beamer@framepages {10}{10}} -\headcommand {\slideentry {0}{0}{5}{11/11}{}{0}} -\headcommand {\beamer@framepages {11}{11}} -\headcommand {\beamer@partpages {1}{11}} -\headcommand {\beamer@subsectionpages {1}{11}} -\headcommand {\beamer@sectionpages {1}{11}} -\headcommand {\beamer@documentpages {11}} -\headcommand {\gdef \inserttotalframenumber {5}} +\headcommand {\slideentry {0}{0}{5}{11/13}{}{0}} +\headcommand {\beamer@framepages {11}{13}} +\headcommand {\slideentry {0}{0}{6}{14/17}{}{0}} +\headcommand {\beamer@framepages {14}{17}} +\headcommand {\slideentry {0}{0}{7}{18/18}{}{0}} +\headcommand {\beamer@framepages {18}{18}} +\headcommand {\slideentry {0}{0}{8}{19/19}{}{0}} +\headcommand {\beamer@framepages {19}{19}} +\headcommand {\slideentry {0}{0}{9}{20/20}{}{0}} +\headcommand {\beamer@framepages {20}{20}} +\headcommand {\slideentry {0}{0}{10}{21/21}{}{0}} +\headcommand {\beamer@framepages {21}{21}} +\headcommand {\beamer@partpages {1}{21}} +\headcommand {\beamer@subsectionpages {1}{21}} +\headcommand {\beamer@sectionpages {1}{21}} +\headcommand {\beamer@documentpages {21}} +\headcommand {\gdef \inserttotalframenumber {10}} diff --git a/Presentations/ERLM/main.pdf b/Presentations/ERLM/main.pdf index 19e715cd6..e55058ad6 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 9c2a6930b..3443a2ac9 100644 Binary files a/Presentations/ERLM/main.synctex.gz and b/Presentations/ERLM/main.synctex.gz differ diff --git a/Presentations/ERLM/slides/3_Limitations.tex b/Presentations/ERLM/slides/3_Limitations.tex index 79f0708c3..f1eb6c39b 100644 --- a/Presentations/ERLM/slides/3_Limitations.tex +++ b/Presentations/ERLM/slides/3_Limitations.tex @@ -1,11 +1,59 @@ -\begin{frame}{Key limitations prevent nuclear power from scaling economically} - \begin{enumerate} - \item Workforce bottleneck: Training pipeline cannot meet demand +\begin{frame}{Human reactor operators have key limitations that limit nuclear + buildout} - \item Economic infeasibility of human-dependent operations at scale + \begin{columns}[t] + \begin{column}{0.33\textwidth} + \only<1>{ + \begin{alertblock}{Humans cannot meet labor demand} - \item Operating procedures lack exhaustive formal verification + \centering + + \includegraphics[width=2cm]{images/3_limitations/foreman.png} + \includegraphics[width=2cm]{images/3_limitations/worker.png} + + \end{alertblock} + } + \only<2->{ + \begin{block}{Humans cannot meet labor demand} + + \centering + + \includegraphics[width=2cm]{images/3_limitations/foreman.png} + \includegraphics[width=2cm]{images/3_limitations/worker.png} + \end{block} + } +\end{column} + + \pause + + \begin{column}{0.33\textwidth} + \only<2>{ + \begin{alertblock}{Procedures are not exhaustively verified} + \centering + \includegraphics[width=2cm]{images/3_limitations/computer.png} + \end{alertblock} + } + + \only<3->{ + \begin{block}{Procedures are not exhaustively verified} + \centering + \includegraphics[width=2cm]{images/3_limitations/computer.png} + \end{block} + + } + \end{column} + + \pause + + \begin{column}{0.33\textwidth} + \only<3>{ + \begin{alertblock}{Human factors cannot be trained away} + \centering + \includegraphics[width=2cm]{images/3_limitations/test.png} + \end{alertblock} + } + + \end{column} + \end{columns} - \item Human factors remain dominant cause of incidents - \end{enumerate} \end{frame} diff --git a/Presentations/ERLM/slides/4_Research_Approach.tex b/Presentations/ERLM/slides/4_Research_Approach.tex index e69de29bb..c7f3d7732 100644 --- a/Presentations/ERLM/slides/4_Research_Approach.tex +++ b/Presentations/ERLM/slides/4_Research_Approach.tex @@ -0,0 +1,42 @@ +\begin{frame}{The goal of this research is to create verified autonomous control + systems} + + \textbf{\underline{ + If this research is successful, we will be able to do the following: + }} + \pause + + \begin{enumerate} + + \item \alert<2>{Translate written procedures into discrete control logic} + \pause + + \item \alert<3>{Verify continuous control behavior across discrete mode + transitions} + \pause + + \item \alert<4>{Demonstrate autonomous reactor startup with verifiable safety + guarantees} + + \end{enumerate} +\end{frame} + +\begin{frame}{First, we will formalize written procedures into logical + statements} + +\end{frame} + +\begin{frame}{Second, we will use the logical formulae to generate discrete + automata} + +\end{frame} + +\begin{frame}{Finally, we will build continuous controllers to move between + discrete states} + +\end{frame} + +\begin{frame}{Verified autonomous controllers can be created by building this +chain of proof of correctness} + +\end{frame}