Auto sync: 2025-10-20 12:44:27 (5 files changed)

M  .sessions/Journal.vim

M  Writing/ERLM/main.tex

M  Writing/ERLM/state-of-the-art/v5.tex

A  Writing/Journal/JRNL-20251015-204549.md

A  Writing/Journal/JRNL-20251017-193513.md

.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"]}

.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"]

.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"]
+---

Writing/ERLM/state-of-the-art/v5.tex

@@ -33,6 +33,9 @@ responsibility under all conditions~\cite{Kemeny1979}. This tension
 between operational flexibility and safety assurance remains unresolved
 in current practice.
 
+<<<<<<< HEAD
+%how are procedures tested
+=======
 Nuclear plant procedures exist in a hierarchy: normal operating procedures for
 routine operations, abnormal operating procedures for off-normal conditions,
 Emergency Operating Procedures (EOPs) for design-basis accidents, Severe
@@ -69,6 +72,7 @@ Safety systems instead operate with implemented automation. Reactor
 Protection Systems trip automatically on safety signals with millisecond
 response times, and engineered safety features actuate automatically on accident
 signals without operator action required.
+>>>>>>> 568549999a24c6a86f19411cbdf12b642057ade9
 
 The current division between automated and human-controlled functions
 reveals the fundamental challenge of hybrid control. Highly
@@ -90,6 +94,34 @@ decades of improvements in training and procedures, provides perhaps the
 most compelling motivation for formal automated control with
 mathematical safety guarantees.
 
+<<<<<<< HEAD
+%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
+=======
 Multiple independent analyses converge on a striking statistic: \textbf{70--80\%
 of all nuclear power plant events are attributed to human error} versus
 approximately 20\% to equipment failures~\cite{DOE-HDBK-1028-2009,WNA2020}. More
@@ -355,3 +387,4 @@ demonstrated by HARDENS, urgent safety imperatives documented by
 persistent human error statistics, and fundamental gaps in current
 hybrid dynamics treatment creates a compelling and timely research
 opportunity.
+>>>>>>> 568549999a24c6a86f19411cbdf12b642057ade9