From ff27f66f378937265160e95bd119c1299db15496 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Thu, 23 Oct 2025 13:19:29 -0400 Subject: [PATCH] Auto sync: 2025-10-23 13:19:29 (6 files changed) M .task/backlog.data M .task/completed.data M .task/pending.data M .task/undo.data M .taskrc A "Zettelkasten/Permanent Notes/Literature Notes/LIT-20251023125758-nureg899.md" --- .task/backlog.data | 15 +++++ .task/completed.data | 1 + .task/pending.data | 12 +++- .task/undo.data | 53 +++++++++++++++ .taskrc | 6 +- .../LIT-20251023125758-nureg899.md | 66 +++++++++++++++++++ 6 files changed, 147 insertions(+), 6 deletions(-) create mode 100644 Zettelkasten/Permanent Notes/Literature Notes/LIT-20251023125758-nureg899.md diff --git a/.task/backlog.data b/.task/backlog.data index 4b7c1b252..f0166d988 100644 --- a/.task/backlog.data +++ b/.task/backlog.data @@ -185,3 +185,18 @@ {"description":"Read Branicky Lyapunov paper","end":"20250911T214953Z","entry":"20250911T183429Z","modified":"20251021T204000Z","project":"Thesis","status":"completed","uuid":"f4d32147-ec74-4f68-b8d5-146c0b6f35df","tags":["reading"]} {"description":"Follow up w Greg and make when2meet","entry":"20251022T190618Z","modified":"20251022T190618Z","project":"Internship","status":"pending","uuid":"29ba1949-f6ca-4bc4-a0f3-26ca6c1eb5cc"} {"description":"Follow up w Greg and make when2meet","end":"20251022T190621Z","entry":"20251022T190618Z","modified":"20251022T190621Z","project":"Internship","status":"completed","uuid":"29ba1949-f6ca-4bc4-a0f3-26ca6c1eb5cc"} +{"description":"Deterministic Parity Automata","entry":"20251023T160624Z","modified":"20251023T160624Z","project":"zk","status":"pending","uuid":"4cea673c-34de-4811-9460-0dd93acde5ea"} +{"description":"Mealy Machines","entry":"20251023T160634Z","modified":"20251023T160634Z","project":"zk","status":"pending","uuid":"e7b4b730-6c5b-4f44-9162-93df1d1ad74c"} +{"description":"AIGER Circuits","entry":"20251023T160642Z","modified":"20251023T160642Z","project":"zk","status":"pending","uuid":"39fa37f6-7acd-45f6-910c-29520830f9d1"} +{"description":"Reactive Synthesis","entry":"20251023T160650Z","modified":"20251023T160650Z","project":"zk","status":"pending","uuid":"ab033c38-dd39-4c03-b56e-404f49aa484e"} +{"description":"Write zettels about Andre Platzer and differential dynamic logic","entry":"20250909T184010Z","modified":"20251023T160851Z","status":"pending","uuid":"74f33a56-3525-47d2-aa8c-fcb9488c7726","tags":["zk"]} +{"description":"Write zettels about webofscience database","entry":"20250909T184042Z","modified":"20251023T160857Z","status":"pending","uuid":"9cb17c85-f1e6-4280-86da-a5af8f229b15","tags":["zk"]} +{"description":"Deterministic Parity Automata","entry":"20251023T160624Z","modified":"20251023T160857Z","status":"pending","uuid":"4cea673c-34de-4811-9460-0dd93acde5ea","tags":["zk"]} +{"description":"Mealy Machines","entry":"20251023T160634Z","modified":"20251023T160857Z","status":"pending","uuid":"e7b4b730-6c5b-4f44-9162-93df1d1ad74c","tags":["zk"]} +{"description":"AIGER Circuits","entry":"20251023T160642Z","modified":"20251023T160857Z","status":"pending","uuid":"39fa37f6-7acd-45f6-910c-29520830f9d1","tags":["zk"]} +{"description":"Reactive Synthesis","entry":"20251023T160650Z","modified":"20251023T160857Z","status":"pending","uuid":"ab033c38-dd39-4c03-b56e-404f49aa484e","tags":["zk"]} +{"description":"Risks and Contingencies","due":"20251027T040000Z","entry":"20251023T161539Z","modified":"20251023T161539Z","project":"ERLM","status":"pending","uuid":"cf56b9a1-a782-4831-b0d4-4cdb242fc3a9","tags":["writing"],"depends":["c010f099-d235-4243-974b-ccbcba4e75ba"]} +{"description":"Check When2Meet and schedule meeting","due":"20251024T040000Z","entry":"20251023T161642Z","modified":"20251023T161642Z","project":"Internship","status":"pending","uuid":"bac970fa-0e14-4f40-93d0-287859e8ab0b"} +{"description":"Read NUREG 899","entry":"20251017T133407Z","modified":"20251023T170141Z","priority":"H","project":"Thesis","start":"20251023T170141Z","status":"pending","uuid":"f93124b9-0ec8-4aa2-8f5c-46337768bbc2","tags":["reading"]} +{"description":"Read NUREG 899","end":"20251023T171846Z","entry":"20251017T133407Z","modified":"20251023T171846Z","priority":"H","project":"Thesis","status":"completed","uuid":"f93124b9-0ec8-4aa2-8f5c-46337768bbc2","tags":["reading"]} +{"description":"Break down NUREG899 Zettels","entry":"20251023T171907Z","modified":"20251023T171907Z","project":"thesis","status":"pending","uuid":"dad08347-9368-4e29-b92b-4eef1e33a90d","tags":["zk"]} diff --git a/.task/completed.data b/.task/completed.data index 10318621b..5b4b04c6f 100644 --- a/.task/completed.data +++ b/.task/completed.data @@ -1,3 +1,4 @@ +[description:"Read NUREG 899" end:"1761239926" entry:"1760708047" modified:"1761239926" priority:"H" project:"Thesis" status:"completed" tags:"reading" tags_reading:"x" uuid:"f93124b9-0ec8-4aa2-8f5c-46337768bbc2"] [description:"Follow up w Greg and make when2meet" end:"1761159981" entry:"1761159978" modified:"1761159981" project:"Internship" status:"completed" uuid:"29ba1949-f6ca-4bc4-a0f3-26ca6c1eb5cc"] [description:"Make list of internship spots" due:"1760068800" end:"1761079126" entry:"1759948253" modified:"1761079126" project:"Internship" status:"completed" uuid:"e978e178-5069-44a6-b9de-c835bdf1774f"] [description:"Turn things on whiteboard into tasks" due:"1761019200" end:"1761077413" entry:"1761068926" modified:"1761079200" priority:"H" project:"Thesis" status:"completed" tags:"writing" tags_writing:"x" uuid:"e5b62271-ba00-490d-8a36-627a0d2cafe4"] diff --git a/.task/pending.data b/.task/pending.data index 3a2fd43af..3bb860252 100644 --- a/.task/pending.data +++ b/.task/pending.data @@ -1,5 +1,5 @@ -[description:"Write zettels about Andre Platzer and differential dynamic logic" entry:"1757443210" modified:"1757443210" project:"zk" status:"pending" uuid:"74f33a56-3525-47d2-aa8c-fcb9488c7726"] -[description:"Write zettels about webofscience database" entry:"1757443242" modified:"1757443242" project:"zk" status:"pending" uuid:"9cb17c85-f1e6-4280-86da-a5af8f229b15"] +[description:"Write zettels about Andre Platzer and differential dynamic logic" entry:"1757443210" modified:"1761235731" status:"pending" tags:"zk" tags_zk:"x" uuid:"74f33a56-3525-47d2-aa8c-fcb9488c7726"] +[description:"Write zettels about webofscience database" entry:"1757443242" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"9cb17c85-f1e6-4280-86da-a5af8f229b15"] [description:"Look over obsidian tasks and see if anything is worth moving over" entry:"1757443262" modified:"1757443262" status:"pending" tags:"taskwarrior" tags_taskwarrior:"x" uuid:"c1a5390d-5b84-4f9c-8acb-ffb970682660"] [description:"Look around for summer internships with national labs" entry:"1757449731" modified:"1757449731" status:"pending" uuid:"d3f3dc53-4feb-4b7e-8de5-86ebf3c535d5"] [description:"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations" entry:"1757516723" modified:"1761079200" project:"Thesis" start:"1760040574" status:"pending" tags:"reading" tags_reading:"x" uuid:"96c76e6b-5c33-4f54-a156-5c59e718f01a"] @@ -32,7 +32,6 @@ [description:"Add research tasks to research approach section" entry:"1758732208" modified:"1758732208" project:"ERLM" status:"pending" tags:"editing,writing" tags_editing:"x" tags_writing:"x" uuid:"56028c48-5a4b-46cd-a40e-ada624cf6187"] [description:"Do intial play around with Emerson Ovation system" due:"1760068800" entry:"1759949018" modified:"1759949018" status:"pending" uuid:"1116b9e1-e2a9-44e3-939a-1ca7f66d3eea"] [description:"Find out what 10 CFR is. Specifically, 10 CFR 50.34 and 10 CFR 55.59. Emergency Operating Procedures?" entry:"1760563307" modified:"1761079200" project:"Thesis" status:"pending" uuid:"b0192186-bcbc-4d5c-a156-5e83fdfeda69"] -[description:"Read NUREG 899" entry:"1760708047" modified:"1761079200" priority:"H" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"f93124b9-0ec8-4aa2-8f5c-46337768bbc2"] [description:"Add questions to interview sheet" entry:"1761068895" modified:"1761068895" project:"Chair-Search" status:"pending" uuid:"9abe2970-5ed8-4e01-9d7a-62381578439e"] [description:"Combine research statement and goals and outcomes" entry:"1761077089" modified:"1761079200" project:"Thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"f92493c8-81ec-4e6b-9a6f-d6c038e633b4"] [description:"SOTA Current Reactor Procedures subsection" entry:"1761077133" modified:"1761079200" project:"Thesis" status:"pending" tags:"whiteboard,writing" tags_whiteboard:"x" tags_writing:"x" uuid:"12538e0e-9337-4a31-9b71-5c718369e5ac"] @@ -51,3 +50,10 @@ [description:"Look for Lockheed Martin internships \/ find recruiter" entry:"1761079090" modified:"1761079090" status:"pending" uuid:"7055238c-049a-4bc2-abef-211d9e8c5a9b"] [description:"Look for Applied Physics Lab internships" entry:"1761079106" modified:"1761079106" status:"pending" uuid:"00deb973-dae6-4828-a433-b0394edfaf5b"] [description:"Look for any Loonwerks internships." entry:"1761079118" modified:"1761079118" status:"pending" uuid:"532d308c-b754-4861-a2f2-5395ccb13bf8"] +[description:"Deterministic Parity Automata" entry:"1761235584" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"4cea673c-34de-4811-9460-0dd93acde5ea"] +[description:"Mealy Machines" entry:"1761235594" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"e7b4b730-6c5b-4f44-9162-93df1d1ad74c"] +[description:"AIGER Circuits" entry:"1761235602" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"39fa37f6-7acd-45f6-910c-29520830f9d1"] +[description:"Reactive Synthesis" entry:"1761235610" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"ab033c38-dd39-4c03-b56e-404f49aa484e"] +[dep_c010f099-d235-4243-974b-ccbcba4e75ba:"x" depends:"c010f099-d235-4243-974b-ccbcba4e75ba" description:"Risks and Contingencies" due:"1761537600" entry:"1761236139" modified:"1761236139" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"cf56b9a1-a782-4831-b0d4-4cdb242fc3a9"] +[description:"Check When2Meet and schedule meeting" due:"1761278400" entry:"1761236202" modified:"1761236202" project:"Internship" status:"pending" uuid:"bac970fa-0e14-4f40-93d0-287859e8ab0b"] +[description:"Break down NUREG899 Zettels" entry:"1761239947" modified:"1761239947" project:"thesis" status:"pending" tags:"zk" tags_zk:"x" uuid:"dad08347-9368-4e29-b92b-4eef1e33a90d"] diff --git a/.task/undo.data b/.task/undo.data index 17e012701..42057b8cb 100644 --- a/.task/undo.data +++ b/.task/undo.data @@ -655,3 +655,56 @@ time 1761159981 old [description:"Follow up w Greg and make when2meet" entry:"1761159978" modified:"1761159978" project:"Internship" status:"pending" uuid:"29ba1949-f6ca-4bc4-a0f3-26ca6c1eb5cc"] new [description:"Follow up w Greg and make when2meet" end:"1761159981" entry:"1761159978" modified:"1761159981" project:"Internship" status:"completed" uuid:"29ba1949-f6ca-4bc4-a0f3-26ca6c1eb5cc"] --- +time 1761235584 +new [description:"Deterministic Parity Automata" entry:"1761235584" modified:"1761235584" project:"zk" status:"pending" uuid:"4cea673c-34de-4811-9460-0dd93acde5ea"] +--- +time 1761235594 +new [description:"Mealy Machines" entry:"1761235594" modified:"1761235594" project:"zk" status:"pending" uuid:"e7b4b730-6c5b-4f44-9162-93df1d1ad74c"] +--- +time 1761235602 +new [description:"AIGER Circuits" entry:"1761235602" modified:"1761235602" project:"zk" status:"pending" uuid:"39fa37f6-7acd-45f6-910c-29520830f9d1"] +--- +time 1761235610 +new [description:"Reactive Synthesis" entry:"1761235610" modified:"1761235610" project:"zk" status:"pending" uuid:"ab033c38-dd39-4c03-b56e-404f49aa484e"] +--- +time 1761235731 +old [description:"Write zettels about Andre Platzer and differential dynamic logic" entry:"1757443210" modified:"1757443210" project:"zk" status:"pending" uuid:"74f33a56-3525-47d2-aa8c-fcb9488c7726"] +new [description:"Write zettels about Andre Platzer and differential dynamic logic" entry:"1757443210" modified:"1761235731" status:"pending" tags:"zk" tags_zk:"x" uuid:"74f33a56-3525-47d2-aa8c-fcb9488c7726"] +--- +time 1761235737 +old [description:"Write zettels about webofscience database" entry:"1757443242" modified:"1757443242" project:"zk" status:"pending" uuid:"9cb17c85-f1e6-4280-86da-a5af8f229b15"] +new [description:"Write zettels about webofscience database" entry:"1757443242" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"9cb17c85-f1e6-4280-86da-a5af8f229b15"] +--- +time 1761235737 +old [description:"Deterministic Parity Automata" entry:"1761235584" modified:"1761235584" project:"zk" status:"pending" uuid:"4cea673c-34de-4811-9460-0dd93acde5ea"] +new [description:"Deterministic Parity Automata" entry:"1761235584" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"4cea673c-34de-4811-9460-0dd93acde5ea"] +--- +time 1761235737 +old [description:"Mealy Machines" entry:"1761235594" modified:"1761235594" project:"zk" status:"pending" uuid:"e7b4b730-6c5b-4f44-9162-93df1d1ad74c"] +new [description:"Mealy Machines" entry:"1761235594" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"e7b4b730-6c5b-4f44-9162-93df1d1ad74c"] +--- +time 1761235737 +old [description:"AIGER Circuits" entry:"1761235602" modified:"1761235602" project:"zk" status:"pending" uuid:"39fa37f6-7acd-45f6-910c-29520830f9d1"] +new [description:"AIGER Circuits" entry:"1761235602" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"39fa37f6-7acd-45f6-910c-29520830f9d1"] +--- +time 1761235737 +old [description:"Reactive Synthesis" entry:"1761235610" modified:"1761235610" project:"zk" status:"pending" uuid:"ab033c38-dd39-4c03-b56e-404f49aa484e"] +new [description:"Reactive Synthesis" entry:"1761235610" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"ab033c38-dd39-4c03-b56e-404f49aa484e"] +--- +time 1761236139 +new [dep_c010f099-d235-4243-974b-ccbcba4e75ba:"x" depends:"c010f099-d235-4243-974b-ccbcba4e75ba" description:"Risks and Contingencies" due:"1761537600" entry:"1761236139" modified:"1761236139" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"cf56b9a1-a782-4831-b0d4-4cdb242fc3a9"] +--- +time 1761236202 +new [description:"Check When2Meet and schedule meeting" due:"1761278400" entry:"1761236202" modified:"1761236202" project:"Internship" status:"pending" uuid:"bac970fa-0e14-4f40-93d0-287859e8ab0b"] +--- +time 1761238901 +old [description:"Read NUREG 899" entry:"1760708047" modified:"1761079200" priority:"H" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"f93124b9-0ec8-4aa2-8f5c-46337768bbc2"] +new [description:"Read NUREG 899" entry:"1760708047" modified:"1761238901" priority:"H" project:"Thesis" start:"1761238901" status:"pending" tags:"reading" tags_reading:"x" uuid:"f93124b9-0ec8-4aa2-8f5c-46337768bbc2"] +--- +time 1761239926 +old [description:"Read NUREG 899" entry:"1760708047" modified:"1761238901" priority:"H" project:"Thesis" start:"1761238901" status:"pending" tags:"reading" tags_reading:"x" uuid:"f93124b9-0ec8-4aa2-8f5c-46337768bbc2"] +new [description:"Read NUREG 899" end:"1761239926" entry:"1760708047" modified:"1761239926" priority:"H" project:"Thesis" status:"completed" tags:"reading" tags_reading:"x" uuid:"f93124b9-0ec8-4aa2-8f5c-46337768bbc2"] +--- +time 1761239947 +new [description:"Break down NUREG899 Zettels" entry:"1761239947" modified:"1761239947" project:"thesis" status:"pending" tags:"zk" tags_zk:"x" uuid:"dad08347-9368-4e29-b92b-4eef1e33a90d"] +--- diff --git a/.taskrc b/.taskrc index f7370ebed..920a426cc 100644 --- a/.taskrc +++ b/.taskrc @@ -27,7 +27,7 @@ data.location=/home/danesabo/Documents/Dane's Vault/.task #include light-16.theme #include light-256.theme #include dark-16.theme -#include dark-256.theme +include dark-256.theme #include dark-red-256.theme #include dark-green-256.theme #include dark-blue-256.theme @@ -35,9 +35,9 @@ data.location=/home/danesabo/Documents/Dane's Vault/.task #include dark-yellow-green.theme #include dark-gray-256.theme #include dark-gray-blue-256.theme -include solarized-dark-256.theme +#include solarized-dark-256.theme #include solarized-light-256.theme #include no-color.theme -urgency.user.tag.zk.coefficient=3.0 +urgency.user.tag.zk.coefficient=1.0 news.version=2.6.0 diff --git a/Zettelkasten/Permanent Notes/Literature Notes/LIT-20251023125758-nureg899.md b/Zettelkasten/Permanent Notes/Literature Notes/LIT-20251023125758-nureg899.md new file mode 100644 index 000000000..ac4f6dcae --- /dev/null +++ b/Zettelkasten/Permanent Notes/Literature Notes/LIT-20251023125758-nureg899.md @@ -0,0 +1,66 @@ +--- +id: LIT-20251023125758 +title: NUREG899 +type: literature +created: 2025-10-23T16:57:58Z +modified: 2025-10-23T17:18:34Z +citekey: +--- + +# NUREG899 + +Emergency operating procedures should be +*function-oriented*. That means that operators 'do not have +to immediately diagnose an event... to maintain the plant in +a safe configuration." Critical functions are cited as: + +1. Containment integrity +2. Reactivity Control +3. Heat Removal +4. Reactor coolant inventory control + +Functions are maintained by 'tasks'. Tasks are specific +actions that are taken to maintain or achieve a function. + +This doc says EOPs are verified and validated by: +1. Excercising EOPs on simulators +2. Control room walk-throughs +3. Desk top reviews +4. Seminars +5. Computer modeling and analysis + +EOPs should minimize the use of cross referencing because it +increases decision times and increases the chance of human +error. It's 'disruptive'. + +Operator Aids are things like flowcharts or graphs that can +help an operator learn things more quickly and clearly than +text alone can provide. They should be easily learned and +retained, while being precise and not cluttered. +Interpretability is paramount. + +EOPs have segments: +1. Cover page +2. Table of contents if applicable +3. Scope +4. A set of entry conditions +5. Automatic actions that happen by automated systems +6. What the operator should do immediately +7. Things the operator should do afterwards based on + reference to written procedures +8. Relevant supporting material. + +Control rooms should have a sufficient number of EOP +handbooks such that everyone can use one, they're easy to +get to, and also be located such that they don't interfere +with workstations or cover up controls. If there's multiple +control rooms that share a common area, each control room +should have it's own set of EOPs. They should not be sharing +copies, essentially. + +Appendix B talks about logical statements. They're written +strangely like program control flow, underlined, and +capitalized: + +IF RPS scram has not initiated, +THEN initiate SLC and isolate RWCU