danesabo/Obsidian
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Compare commits

base: danesabo:ded8626fa18784012408c46f2044eba8a23d29b5
Branches Tags
danesabo:master
..
compare: danesabo:568549999a24c6a86f19411cbdf12b642057ade9
Branches Tags
danesabo:master

No commits in common. "ded8626fa18784012408c46f2044eba8a23d29b5" and "568549999a24c6a86f19411cbdf12b642057ade9" have entirely different histories.
ded8626fa1 ... 568549999a

4 changed files with 0 additions and 38 deletions
Show Stats Expand all files Collapse all files

1
.task/backlog.data
View File

@ -114,4 +114,3 @@
{"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"]}

1
.task/pending.data
View File

@ -36,4 +36,3 @@
[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"]

3
.task/undo.data
View File

@ -392,6 +392,3 @@ 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"]
---

33
Writing/ERLM/state-of-the-art/v5.tex
View File

@ -33,9 +33,6 @@ 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
@ -72,7 +69,6 @@ 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
@ -94,34 +90,6 @@ 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
@ -387,4 +355,3 @@ 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