From 765bcf102f4742ddd2b02c2d69e6d0270fe15295 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Mon, 20 Oct 2025 12:43:09 -0400 Subject: [PATCH] hehe --- .task/backlog.data | 1 + .task/pending.data | 1 + .task/undo.data | 3 +++ Writing/ERLM/state-of-the-art/v5.tex | 28 ++++++++++++++++++++++++---- 4 files changed, 29 insertions(+), 4 deletions(-) diff --git a/.task/backlog.data b/.task/backlog.data index 117ab355..cf05ae6c 100644 --- a/.task/backlog.data +++ b/.task/backlog.data @@ -114,3 +114,4 @@ {"description":"edit State of the art","entry":"20251015T215116Z","modified":"20251015T215116Z","project":"ERLM","status":"pending","uuid":"fb11e8ef-4884-4e7e-b5fa-b00bb22c27d9"} {"description":"Write whitepaper","due":"20251020T040000Z","entry":"20251015T215139Z","modified":"20251015T215139Z","project":"ERLM","status":"pending","uuid":"52b4cc9a-33c7-472b-b3b6-3e9504649e19","depends":["fb11e8ef-4884-4e7e-b5fa-b00bb22c27d9"]} {"description":"Rewrite state of the art for nuclear controls engineering and hybrid systems","due":"20250929T040000Z","end":"20251015T215159Z","entry":"20250924T164019Z","modified":"20251015T215159Z","project":"ERLM","status":"completed","uuid":"e0636009-9061-47d0-9b59-1f2464a252a7","tags":["editing"]} +{"description":"projet:thesis Read NUREG 899","entry":"20251017T133407Z","modified":"20251017T133407Z","priority":"H","status":"pending","uuid":"f93124b9-0ec8-4aa2-8f5c-46337768bbc2","tags":["reading"]} diff --git a/.task/pending.data b/.task/pending.data index 71ee2cab..00646deb 100644 --- a/.task/pending.data +++ b/.task/pending.data @@ -36,3 +36,4 @@ [description:"Find out what 10 CFR is. Specifically, 10 CFR 50.34 and 10 CFR 55.59. Emergency Operating Procedures?" entry:"1760563307" modified:"1760563307" project:"thesis" status:"pending" uuid:"b0192186-bcbc-4d5c-a156-5e83fdfeda69"] [description:"edit State of the art" entry:"1760565076" modified:"1760565076" project:"ERLM" status:"pending" uuid:"fb11e8ef-4884-4e7e-b5fa-b00bb22c27d9"] [dep_fb11e8ef-4884-4e7e-b5fa-b00bb22c27d9:"x" depends:"fb11e8ef-4884-4e7e-b5fa-b00bb22c27d9" description:"Write whitepaper" due:"1760932800" entry:"1760565099" modified:"1760565099" project:"ERLM" status:"pending" uuid:"52b4cc9a-33c7-472b-b3b6-3e9504649e19"] +[description:"projet:thesis Read NUREG 899" entry:"1760708047" modified:"1760708047" priority:"H" status:"pending" tags:"reading" tags_reading:"x" uuid:"f93124b9-0ec8-4aa2-8f5c-46337768bbc2"] diff --git a/.task/undo.data b/.task/undo.data index 976c6f36..b11d1b8e 100644 --- a/.task/undo.data +++ b/.task/undo.data @@ -392,3 +392,6 @@ time 1760565119 old [description:"Rewrite state of the art for nuclear controls engineering and hybrid systems" due:"1759118400" entry:"1758732019" modified:"1758732076" project:"ERLM" status:"pending" tags:"editing" tags_editing:"x" uuid:"e0636009-9061-47d0-9b59-1f2464a252a7"] new [description:"Rewrite state of the art for nuclear controls engineering and hybrid systems" due:"1759118400" end:"1760565119" entry:"1758732019" modified:"1760565119" project:"ERLM" status:"completed" tags:"editing" tags_editing:"x" uuid:"e0636009-9061-47d0-9b59-1f2464a252a7"] --- +time 1760708047 +new [description:"projet:thesis Read NUREG 899" entry:"1760708047" modified:"1760708047" priority:"H" status:"pending" tags:"reading" tags_reading:"x" uuid:"f93124b9-0ec8-4aa2-8f5c-46337768bbc2"] +--- diff --git a/Writing/ERLM/state-of-the-art/v5.tex b/Writing/ERLM/state-of-the-art/v5.tex index 90cf17cb..18b079cf 100644 --- a/Writing/ERLM/state-of-the-art/v5.tex +++ b/Writing/ERLM/state-of-the-art/v5.tex @@ -7,15 +7,35 @@ %NUREG 0899 -%Whos in the control room - -%how are reactor operators trained - %how are procedures tested %Automation already is used for emergency systems \subsection{Human Factors in Nuclear Accidents} +%Whos in the control room + +%how are reactor operators trained + +% Humans are actually really bad at doing control + +%most accidents are human error + +%Three mile island + +%Human factors probabilities \subsection{HARDENS and Formal Methods} +% The NRC recognizes that automation and high assurance are important things to +% pursue + +%They put out a grant to do rigorous digital engineering + +%Won by formal methods group galois. Galois does a bunch of formal methods work. +%What is formal methods? + +%Rigorous digital engineering to create a reactor trip system + +%details of how it worked, and limitations therein + +%Digital system ONLY