diff --git a/.task/backlog.data b/.task/backlog.data index f6e5316d8..9a93cc62e 100644 --- a/.task/backlog.data +++ b/.task/backlog.data @@ -213,3 +213,27 @@ {"description":"Budget and Timeline","due":"20251103T050000Z","entry":"20251028T191207Z","modified":"20251028T195127Z","project":"ERLM","status":"pending","uuid":"3eb99b31-b5ee-4395-83e5-25fb93ce933a","wait":"20251029T040000Z","tags":["writing"]} {"description":"Write about opp. chall. and res. needs for remote micro ope.","entry":"20251028T214759Z","modified":"20251028T214759Z","status":"pending","uuid":"e5e1d68f-8edd-47ab-b2d6-a5f37f04bb01","tags":["zk"]} {"description":"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations","end":"20251028T214805Z","entry":"20250910T150523Z","modified":"20251028T214805Z","project":"Thesis","status":"completed","uuid":"96c76e6b-5c33-4f54-a156-5c59e718f01a","tags":["reading"]} +{"description":"Find Schmidt and talk to him about Howie Choset","due":"20251104T050000Z","entry":"20251029T152847Z","modified":"20251029T152847Z","project":"Chair-Search.outreach","status":"pending","uuid":"eed48bbf-4e70-4057-9c35-1f960dc1ed33"} +{"description":"descriptoin:Budget","due":"20251103T050000Z","entry":"20251028T191207Z","modified":"20251030T171509Z","project":"ERLM","status":"pending","uuid":"3eb99b31-b5ee-4395-83e5-25fb93ce933a","wait":"20251029T040000Z","tags":["writing"]} +{"description":"budget","due":"20251103T050000Z","entry":"20251028T191207Z","modified":"20251030T171627Z","project":"ERLM","status":"pending","uuid":"3eb99b31-b5ee-4395-83e5-25fb93ce933a","wait":"20251029T040000Z","tags":["writing"]} +{"description":"budget","due":"20251103T050000Z","entry":"20251028T191207Z","modified":"20251030T171712Z","project":"ERLM","status":"pending","uuid":"3eb99b31-b5ee-4395-83e5-25fb93ce933a","wait":"20251031T040000Z","tags":["writing"]} +{"description":"Find Schmidt and talk to him about Howie Choset","due":"20251104T050000Z","entry":"20251029T152847Z","modified":"20251030T171835Z","project":"Chair-Search.outreach","status":"pending","uuid":"eed48bbf-4e70-4057-9c35-1f960dc1ed33","wait":"20251103T050000Z"} +{"description":"Break down NUREG899 Zettels","entry":"20251023T171907Z","modified":"20251030T181732Z","project":"Thesis","start":"20251030T181732Z","status":"pending","uuid":"dad08347-9368-4e29-b92b-4eef1e33a90d","tags":["zk"]} +{"description":"Break down NUREG899 Zettels","end":"20251030T192549Z","entry":"20251023T171907Z","modified":"20251030T192549Z","project":"Thesis","status":"completed","uuid":"dad08347-9368-4e29-b92b-4eef1e33a90d","tags":["zk"]} +{"description":"project zk.perm Continment structures","entry":"20251030T192631Z","modified":"20251030T192631Z","status":"pending","uuid":"de49b40d-ad66-4002-96c8-83ce861e8904"} +{"description":"project zk.perm Reactivity Control","entry":"20251030T192638Z","modified":"20251030T192638Z","status":"pending","uuid":"dfbff889-f296-4d5a-9432-f62719719c95"} +{"description":"project zk.perm Heat Removal","entry":"20251030T192655Z","modified":"20251030T192655Z","status":"pending","uuid":"e77893e0-5ba6-4dcb-bdb0-4828845c64fe"} +{"description":"project zk.perm Reactor Coolant Inventory Control","entry":"20251030T192719Z","modified":"20251030T192719Z","status":"pending","uuid":"8e9a01f7-fe14-4a41-a085-0d99d8e0f03e"} +{"description":"project zk.perm Continment structures","entry":"20251030T192631Z","modified":"20251030T192848Z","project":"zk.perm","status":"pending","uuid":"de49b40d-ad66-4002-96c8-83ce861e8904"} +{"description":"project zk.perm Reactivity Control","entry":"20251030T192638Z","modified":"20251030T192901Z","project":"zk.perm","status":"pending","uuid":"dfbff889-f296-4d5a-9432-f62719719c95"} +{"description":"project zk.perm Heat Removal","entry":"20251030T192655Z","modified":"20251030T192901Z","project":"zk.perm","status":"pending","uuid":"e77893e0-5ba6-4dcb-bdb0-4828845c64fe"} +{"description":"project zk.perm Reactor Coolant Inventory Control","entry":"20251030T192719Z","modified":"20251030T192901Z","project":"zk.perm","status":"pending","uuid":"8e9a01f7-fe14-4a41-a085-0d99d8e0f03e"} +{"description":"Write zettels about Andre Platzer and differential dynamic logic","entry":"20250909T184010Z","modified":"20251030T192913Z","project":"zk","status":"pending","uuid":"74f33a56-3525-47d2-aa8c-fcb9488c7726","tags":["zk"]} +{"description":"Write zettels about webofscience database","entry":"20250909T184042Z","modified":"20251030T192913Z","project":"zk","status":"pending","uuid":"9cb17c85-f1e6-4280-86da-a5af8f229b15","tags":["zk"]} +{"description":"Deterministic Parity Automata","entry":"20251023T160624Z","modified":"20251030T192913Z","project":"zk","status":"pending","uuid":"4cea673c-34de-4811-9460-0dd93acde5ea","tags":["zk"]} +{"description":"Mealy Machines","entry":"20251023T160634Z","modified":"20251030T192913Z","project":"zk","status":"pending","uuid":"e7b4b730-6c5b-4f44-9162-93df1d1ad74c","tags":["zk"]} +{"description":"AIGER Circuits","entry":"20251023T160642Z","modified":"20251030T192913Z","project":"zk","status":"pending","uuid":"39fa37f6-7acd-45f6-910c-29520830f9d1","tags":["zk"]} +{"description":"Reactive Synthesis","entry":"20251023T160650Z","modified":"20251030T192913Z","project":"zk","status":"pending","uuid":"ab033c38-dd39-4c03-b56e-404f49aa484e","tags":["zk"]} +{"description":"Write about opp. chall. and res. needs for remote micro ope.","entry":"20251028T214759Z","modified":"20251030T192913Z","project":"zk","status":"pending","uuid":"e5e1d68f-8edd-47ab-b2d6-a5f37f04bb01","tags":["zk"]} +{"description":"Break down NUREG899 Zettels","end":"20251030T192549Z","entry":"20251023T171907Z","modified":"20251030T192913Z","project":"zk","status":"completed","uuid":"dad08347-9368-4e29-b92b-4eef1e33a90d","tags":["zk"]} +{"description":"Write zettel about lipschitz continuity","end":"20251008T182756Z","entry":"20250911T211029Z","modified":"20251030T192913Z","project":"zk","status":"completed","uuid":"b7f68988-8c06-4d18-bf77-91d7e39fd55f","tags":["zk"]} diff --git a/.task/completed.data b/.task/completed.data index 38ed44ea0..75c292b66 100644 --- a/.task/completed.data +++ b/.task/completed.data @@ -1,3 +1,4 @@ +[description:"Break down NUREG899 Zettels" end:"1761852349" entry:"1761239947" modified:"1761852553" project:"zk" status:"completed" tags:"zk" tags_zk:"x" uuid:"dad08347-9368-4e29-b92b-4eef1e33a90d"] [description:"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations" end:"1761688085" entry:"1757516723" modified:"1761688085" project:"Thesis" status:"completed" tags:"reading" tags_reading:"x" uuid:"96c76e6b-5c33-4f54-a156-5c59e718f01a"] [description:"RnC Assumptions Excercise" end:"1761678691" entry:"1761077359" modified:"1761678691" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"c010f099-d235-4243-974b-ccbcba4e75ba"] [dep_c010f099-d235-4243-974b-ccbcba4e75ba:"x" depends:"c010f099-d235-4243-974b-ccbcba4e75ba" description:"Risks and Contingencies" due:"1761537600" end:"1761678691" entry:"1761236139" modified:"1761678691" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"cf56b9a1-a782-4831-b0d4-4cdb242fc3a9"] @@ -18,7 +19,7 @@ [description:"Find INL person Robert mentioned" due:"1759896000" end:"1760040527" entry:"1759948281" modified:"1760040527" project:"Internship" status:"completed" uuid:"4e709e7a-91f6-47ad-af29-11d3c2cee3d9"] [description:"Edit goals and outcomes" end:"1759950170" entry:"1758731993" modified:"1759950172" project:"ERLM" status:"deleted" uuid:"bbc41e22-c647-4209-9500-382e0321b625"] [description:"Fix pagination that Dan was complaining about" end:"1759950177" entry:"1758732224" modified:"1759950177" project:"ERLM" status:"completed" uuid:"306c574b-c3f6-4363-914b-f1eddda04543"] -[description:"Write zettel about lipschitz continuity" end:"1759948076" entry:"1757625029" modified:"1759948084" status:"completed" tags:"zk" tags_zk:"x" uuid:"b7f68988-8c06-4d18-bf77-91d7e39fd55f"] +[description:"Write zettel about lipschitz continuity" end:"1759948076" entry:"1757625029" modified:"1761852553" project:"zk" status:"completed" tags:"zk" tags_zk:"x" uuid:"b7f68988-8c06-4d18-bf77-91d7e39fd55f"] [description:"Complete midterm" due:"1759723200" end:"1759948084" entry:"1759418141" modified:"1759948089" priority:"H" project:"classes" status:"completed" tags:"NUCE2101" tags_NUCE2101:"x" uuid:"10e41665-b456-4d9f-8ded-577690446a59"] [description:"Write GO v3" due:"1759723200" end:"1759948089" entry:"1759418188" modified:"1759948091" project:"ERLM" status:"completed" uuid:"f43f2943-a017-4a3a-a1dd-06ff7a01c22e"] [dep_47b4efbf-8785-40d2-857d-6c9e44d2369e:"x" depends:"47b4efbf-8785-40d2-857d-6c9e44d2369e" description:"Broader Impacts First Draft" due:"1759118400" end:"1759161466" entry:"1758731886" modified:"1759161466" project:"ERLM" status:"completed" tags:"writing" tags_writing:"x" uuid:"403ad6c3-34b1-424c-a0ac-c50f91756dbf"] diff --git a/.task/pending.data b/.task/pending.data index ba0568cac..3d2fb03d7 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:"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:"Write zettels about Andre Platzer and differential dynamic logic" entry:"1757443210" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"74f33a56-3525-47d2-aa8c-fcb9488c7726"] +[description:"Write zettels about webofscience database" entry:"1757443242" modified:"1761852553" project:"zk" 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:"The Algorithmic Analysis of Hybrid Systems (1995)" entry:"1758125087" modified:"1761079200" project:"Thesis" status:"pending" tags:"reading" tags_reading:"x" uuid:"b15bdc1a-205f-4489-a8fb-e9843306e40d"] @@ -47,10 +47,14 @@ [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"] -[description:"Break down NUREG899 Zettels" entry:"1761239947" modified:"1761680588" project:"Thesis" status:"pending" tags:"zk" tags_zk:"x" uuid:"dad08347-9368-4e29-b92b-4eef1e33a90d"] -[description:"Budget and Timeline" due:"1762146000" entry:"1761678727" modified:"1761681087" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3eb99b31-b5ee-4395-83e5-25fb93ce933a" wait:"1761710400"] -[description:"Write about opp. chall. and res. needs for remote micro ope." entry:"1761688079" modified:"1761688079" status:"pending" tags:"zk" tags_zk:"x" uuid:"e5e1d68f-8edd-47ab-b2d6-a5f37f04bb01"] +[description:"Deterministic Parity Automata" entry:"1761235584" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"4cea673c-34de-4811-9460-0dd93acde5ea"] +[description:"Mealy Machines" entry:"1761235594" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"e7b4b730-6c5b-4f44-9162-93df1d1ad74c"] +[description:"AIGER Circuits" entry:"1761235602" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"39fa37f6-7acd-45f6-910c-29520830f9d1"] +[description:"Reactive Synthesis" entry:"1761235610" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"ab033c38-dd39-4c03-b56e-404f49aa484e"] +[description:"budget" due:"1762146000" entry:"1761678727" modified:"1761844632" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3eb99b31-b5ee-4395-83e5-25fb93ce933a" wait:"1761883200"] +[description:"Write about opp. chall. and res. needs for remote micro ope." entry:"1761688079" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"e5e1d68f-8edd-47ab-b2d6-a5f37f04bb01"] +[description:"Find Schmidt and talk to him about Howie Choset" due:"1762232400" entry:"1761751727" modified:"1761844715" project:"Chair-Search.outreach" status:"pending" uuid:"eed48bbf-4e70-4057-9c35-1f960dc1ed33" wait:"1762146000"] +[description:"project zk.perm Continment structures" entry:"1761852391" modified:"1761852528" project:"zk.perm" status:"pending" uuid:"de49b40d-ad66-4002-96c8-83ce861e8904"] +[description:"project zk.perm Reactivity Control" entry:"1761852398" modified:"1761852541" project:"zk.perm" status:"pending" uuid:"dfbff889-f296-4d5a-9432-f62719719c95"] +[description:"project zk.perm Heat Removal" entry:"1761852415" modified:"1761852541" project:"zk.perm" status:"pending" uuid:"e77893e0-5ba6-4dcb-bdb0-4828845c64fe"] +[description:"project zk.perm Reactor Coolant Inventory Control" entry:"1761852439" modified:"1761852541" project:"zk.perm" status:"pending" uuid:"8e9a01f7-fe14-4a41-a085-0d99d8e0f03e"] diff --git a/.task/undo.data b/.task/undo.data index 402615560..1a9dfb58f 100644 --- a/.task/undo.data +++ b/.task/undo.data @@ -757,3 +757,94 @@ time 1761688085 old [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"] new [description:"Read Opportunities, Challenges, and Research Needs for Remote Microreactor Operations" end:"1761688085" entry:"1757516723" modified:"1761688085" project:"Thesis" status:"completed" tags:"reading" tags_reading:"x" uuid:"96c76e6b-5c33-4f54-a156-5c59e718f01a"] --- +time 1761751727 +new [description:"Find Schmidt and talk to him about Howie Choset" due:"1762232400" entry:"1761751727" modified:"1761751727" project:"Chair-Search.outreach" status:"pending" uuid:"eed48bbf-4e70-4057-9c35-1f960dc1ed33"] +--- +time 1761844509 +old [description:"Budget and Timeline" due:"1762146000" entry:"1761678727" modified:"1761681087" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3eb99b31-b5ee-4395-83e5-25fb93ce933a" wait:"1761710400"] +new [description:"descriptoin:Budget" due:"1762146000" entry:"1761678727" modified:"1761844509" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3eb99b31-b5ee-4395-83e5-25fb93ce933a" wait:"1761710400"] +--- +time 1761844587 +old [description:"descriptoin:Budget" due:"1762146000" entry:"1761678727" modified:"1761844509" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3eb99b31-b5ee-4395-83e5-25fb93ce933a" wait:"1761710400"] +new [description:"budget" due:"1762146000" entry:"1761678727" modified:"1761844587" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3eb99b31-b5ee-4395-83e5-25fb93ce933a" wait:"1761710400"] +--- +time 1761844632 +old [description:"budget" due:"1762146000" entry:"1761678727" modified:"1761844587" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3eb99b31-b5ee-4395-83e5-25fb93ce933a" wait:"1761710400"] +new [description:"budget" due:"1762146000" entry:"1761678727" modified:"1761844632" project:"ERLM" status:"pending" tags:"writing" tags_writing:"x" uuid:"3eb99b31-b5ee-4395-83e5-25fb93ce933a" wait:"1761883200"] +--- +time 1761844715 +old [description:"Find Schmidt and talk to him about Howie Choset" due:"1762232400" entry:"1761751727" modified:"1761751727" project:"Chair-Search.outreach" status:"pending" uuid:"eed48bbf-4e70-4057-9c35-1f960dc1ed33"] +new [description:"Find Schmidt and talk to him about Howie Choset" due:"1762232400" entry:"1761751727" modified:"1761844715" project:"Chair-Search.outreach" status:"pending" uuid:"eed48bbf-4e70-4057-9c35-1f960dc1ed33" wait:"1762146000"] +--- +time 1761848252 +old [description:"Break down NUREG899 Zettels" entry:"1761239947" modified:"1761680588" project:"Thesis" status:"pending" tags:"zk" tags_zk:"x" uuid:"dad08347-9368-4e29-b92b-4eef1e33a90d"] +new [description:"Break down NUREG899 Zettels" entry:"1761239947" modified:"1761848252" project:"Thesis" start:"1761848252" status:"pending" tags:"zk" tags_zk:"x" uuid:"dad08347-9368-4e29-b92b-4eef1e33a90d"] +--- +time 1761852349 +old [description:"Break down NUREG899 Zettels" entry:"1761239947" modified:"1761848252" project:"Thesis" start:"1761848252" status:"pending" tags:"zk" tags_zk:"x" uuid:"dad08347-9368-4e29-b92b-4eef1e33a90d"] +new [description:"Break down NUREG899 Zettels" end:"1761852349" entry:"1761239947" modified:"1761852349" project:"Thesis" status:"completed" tags:"zk" tags_zk:"x" uuid:"dad08347-9368-4e29-b92b-4eef1e33a90d"] +--- +time 1761852391 +new [description:"project zk.perm Continment structures" entry:"1761852391" modified:"1761852391" status:"pending" uuid:"de49b40d-ad66-4002-96c8-83ce861e8904"] +--- +time 1761852398 +new [description:"project zk.perm Reactivity Control" entry:"1761852398" modified:"1761852398" status:"pending" uuid:"dfbff889-f296-4d5a-9432-f62719719c95"] +--- +time 1761852415 +new [description:"project zk.perm Heat Removal" entry:"1761852415" modified:"1761852415" status:"pending" uuid:"e77893e0-5ba6-4dcb-bdb0-4828845c64fe"] +--- +time 1761852439 +new [description:"project zk.perm Reactor Coolant Inventory Control" entry:"1761852439" modified:"1761852439" status:"pending" uuid:"8e9a01f7-fe14-4a41-a085-0d99d8e0f03e"] +--- +time 1761852528 +old [description:"project zk.perm Continment structures" entry:"1761852391" modified:"1761852391" status:"pending" uuid:"de49b40d-ad66-4002-96c8-83ce861e8904"] +new [description:"project zk.perm Continment structures" entry:"1761852391" modified:"1761852528" project:"zk.perm" status:"pending" uuid:"de49b40d-ad66-4002-96c8-83ce861e8904"] +--- +time 1761852541 +old [description:"project zk.perm Reactivity Control" entry:"1761852398" modified:"1761852398" status:"pending" uuid:"dfbff889-f296-4d5a-9432-f62719719c95"] +new [description:"project zk.perm Reactivity Control" entry:"1761852398" modified:"1761852541" project:"zk.perm" status:"pending" uuid:"dfbff889-f296-4d5a-9432-f62719719c95"] +--- +time 1761852541 +old [description:"project zk.perm Heat Removal" entry:"1761852415" modified:"1761852415" status:"pending" uuid:"e77893e0-5ba6-4dcb-bdb0-4828845c64fe"] +new [description:"project zk.perm Heat Removal" entry:"1761852415" modified:"1761852541" project:"zk.perm" status:"pending" uuid:"e77893e0-5ba6-4dcb-bdb0-4828845c64fe"] +--- +time 1761852541 +old [description:"project zk.perm Reactor Coolant Inventory Control" entry:"1761852439" modified:"1761852439" status:"pending" uuid:"8e9a01f7-fe14-4a41-a085-0d99d8e0f03e"] +new [description:"project zk.perm Reactor Coolant Inventory Control" entry:"1761852439" modified:"1761852541" project:"zk.perm" status:"pending" uuid:"8e9a01f7-fe14-4a41-a085-0d99d8e0f03e"] +--- +time 1761852553 +old [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"] +new [description:"Write zettels about Andre Platzer and differential dynamic logic" entry:"1757443210" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"74f33a56-3525-47d2-aa8c-fcb9488c7726"] +--- +time 1761852553 +old [description:"Write zettels about webofscience database" entry:"1757443242" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"9cb17c85-f1e6-4280-86da-a5af8f229b15"] +new [description:"Write zettels about webofscience database" entry:"1757443242" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"9cb17c85-f1e6-4280-86da-a5af8f229b15"] +--- +time 1761852553 +old [description:"Deterministic Parity Automata" entry:"1761235584" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"4cea673c-34de-4811-9460-0dd93acde5ea"] +new [description:"Deterministic Parity Automata" entry:"1761235584" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"4cea673c-34de-4811-9460-0dd93acde5ea"] +--- +time 1761852553 +old [description:"Mealy Machines" entry:"1761235594" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"e7b4b730-6c5b-4f44-9162-93df1d1ad74c"] +new [description:"Mealy Machines" entry:"1761235594" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"e7b4b730-6c5b-4f44-9162-93df1d1ad74c"] +--- +time 1761852553 +old [description:"AIGER Circuits" entry:"1761235602" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"39fa37f6-7acd-45f6-910c-29520830f9d1"] +new [description:"AIGER Circuits" entry:"1761235602" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"39fa37f6-7acd-45f6-910c-29520830f9d1"] +--- +time 1761852553 +old [description:"Reactive Synthesis" entry:"1761235610" modified:"1761235737" status:"pending" tags:"zk" tags_zk:"x" uuid:"ab033c38-dd39-4c03-b56e-404f49aa484e"] +new [description:"Reactive Synthesis" entry:"1761235610" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"ab033c38-dd39-4c03-b56e-404f49aa484e"] +--- +time 1761852553 +old [description:"Write about opp. chall. and res. needs for remote micro ope." entry:"1761688079" modified:"1761688079" status:"pending" tags:"zk" tags_zk:"x" uuid:"e5e1d68f-8edd-47ab-b2d6-a5f37f04bb01"] +new [description:"Write about opp. chall. and res. needs for remote micro ope." entry:"1761688079" modified:"1761852553" project:"zk" status:"pending" tags:"zk" tags_zk:"x" uuid:"e5e1d68f-8edd-47ab-b2d6-a5f37f04bb01"] +--- +time 1761852553 +old [description:"Break down NUREG899 Zettels" end:"1761852349" entry:"1761239947" modified:"1761852349" project:"Thesis" status:"completed" tags:"zk" tags_zk:"x" uuid:"dad08347-9368-4e29-b92b-4eef1e33a90d"] +new [description:"Break down NUREG899 Zettels" end:"1761852349" entry:"1761239947" modified:"1761852553" project:"zk" status:"completed" tags:"zk" tags_zk:"x" uuid:"dad08347-9368-4e29-b92b-4eef1e33a90d"] +--- +time 1761852553 +old [description:"Write zettel about lipschitz continuity" end:"1759948076" entry:"1757625029" modified:"1759948084" status:"completed" tags:"zk" tags_zk:"x" uuid:"b7f68988-8c06-4d18-bf77-91d7e39fd55f"] +new [description:"Write zettel about lipschitz continuity" end:"1759948076" entry:"1757625029" modified:"1761852553" project:"zk" status:"completed" tags:"zk" tags_zk:"x" uuid:"b7f68988-8c06-4d18-bf77-91d7e39fd55f"] +--- diff --git a/.taskrc b/.taskrc index 920a426cc..233d04625 100644 --- a/.taskrc +++ b/.taskrc @@ -39,5 +39,5 @@ include dark-256.theme #include solarized-light-256.theme #include no-color.theme -urgency.user.tag.zk.coefficient=1.0 +urgency.user.project.zk.coefficient=1.0 news.version=2.6.0 diff --git a/Zettelkasten/Permanent Notes/20251030141457-nuclear-operating-procedures.md b/Zettelkasten/Permanent Notes/20251030141457-nuclear-operating-procedures.md new file mode 100644 index 000000000..017e70f97 --- /dev/null +++ b/Zettelkasten/Permanent Notes/20251030141457-nuclear-operating-procedures.md @@ -0,0 +1,20 @@ +--- +id: 20251030141457 +title: Nuclear Operating Procedures +type: permanent +created: 2025-10-30T18:14:57Z +modified: 2025-10-30T18:19:21Z +tags: [] +--- + +# Nuclear Operating Procedures +Nuclear operating procedures are big books of procedures +that reactor operators use to perform control of reactors. +Operating procedures are built on a per-plant basis, but are +also designed with the general plant architecture in mind +[[nureg899]]. + +Operating procedures have different categories: +1. Regular operating procedures +2. [[Emergency Operating Procedures]] +3. Theres ones about severe accidents too. diff --git a/Zettelkasten/Permanent Notes/20251030141936-emergency-operating-procedures.md b/Zettelkasten/Permanent Notes/20251030141936-emergency-operating-procedures.md new file mode 100644 index 000000000..8608a3ce5 --- /dev/null +++ b/Zettelkasten/Permanent Notes/20251030141936-emergency-operating-procedures.md @@ -0,0 +1,40 @@ +--- +id: 20251030141936 +title: Emergency Operating Procedures +type: permanent +created: 2025-10-30T18:19:36Z +modified: 2025-10-30T19:30:12Z +tags: [] +--- + +# Emergency Operating Procedures +Emergency operating procedures for nuclear power are special +procedures that are used when off-normal conditions are +present. They are for when 'shit hits the fan'. + +EOPs have defining regulations. Most notably [[nureg899]]. +NUREG899 is a writers guide to emergency operating +procedures. + +EOPs should be 'function-oriented'. This means operators +should not need to know a root cause to start performing +control operations in an emergency. Critical functions in an +emergency are usually: + +1. [[Containment Integrity]] +2. [[Reactivity Control]] +3. [[Heat Removal]] +4. [[Reactor Coolant Inventory Control]] + +If each of these are maintained, the reactor can be 'safe', +and the risk of environmental release is minimized. [[nureg899]] + +EOPs should minimize cross referencing because it increases +decision time and is disruptive changing between documents +[[nureg899]]. + +EOPs today are reveiwed with simulation exercises, +control-room walkthroughs, seminars, and numerical analysis +[[nureg899]]. + + diff --git a/Zettelkasten/Permanent Notes/Literature Notes/LIT-20251023125758-nureg899.md b/Zettelkasten/Permanent Notes/Literature Notes/LIT-20251023125758-nureg899.md index ac4f6dcae..d7ec5f751 100644 --- a/Zettelkasten/Permanent Notes/Literature Notes/LIT-20251023125758-nureg899.md +++ b/Zettelkasten/Permanent Notes/Literature Notes/LIT-20251023125758-nureg899.md @@ -3,7 +3,7 @@ id: LIT-20251023125758 title: NUREG899 type: literature created: 2025-10-23T16:57:58Z -modified: 2025-10-23T17:18:34Z +modified: 2025-10-30T18:20:30Z citekey: --- @@ -29,7 +29,7 @@ This doc says EOPs are verified and validated by: 4. Seminars 5. Computer modeling and analysis -EOPs should minimize the use of cross referencing because it +OPs should minimize the use of cross referencing because it increases decision times and increases the chance of human error. It's 'disruptive'.