From b74e88149da4e291e0b315289393b7e4423fedde Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Fri, 21 Mar 2025 16:40:59 -0400 Subject: [PATCH] vault backup: 2025-03-21 16:40:59 --- 3-99 Research/MARVEL.md | 15 +++++++++++++-- .../Writing a MARVEL Specification in TLA+.md | 2 +- Pasted image 20250321163711.png | Bin 0 -> 11882 bytes 3 files changed, 14 insertions(+), 3 deletions(-) create mode 100644 Pasted image 20250321163711.png diff --git a/3-99 Research/MARVEL.md b/3-99 Research/MARVEL.md index 157b7c89..f31b78c5 100644 --- a/3-99 Research/MARVEL.md +++ b/3-99 Research/MARVEL.md @@ -12,8 +12,19 @@ is by natural convection. This reactor system uses two coolant loops: the primar is sodium-potassium salt, while the secondary coolant is lead. These two fluids drive 'Stirling Engines', which are how the system generates power. -- [?] What are Stirling Engines? #MARVEL -Stirling engines are heat engines that directly convert heat energy into mechanical energy. How they work is they have a piston that travels back and forth from a hot side to a cold side. When the cylinder travels over the hot side + +>[!info] # What are Stirling Engines? +>- [x] What are Stirling Engines? #MARVEL ✅ 2025-03-21 +> +> Stirling engines are heat engines that directly convert heat energy into mechanical energy. +> How they work is they have a piston that travels back and forth from a hot side to a cold side. +> When the cylinder travels over the hot side the volume of air on that side heats up from the hot +> walls and expands, forcing the cylinder in the direction of the cold fluid. At the same time, +> that fluid is getting colder, decreasing in pressure, and creating a vacuum. Then, once the piston +> moves to the cold side, the chamber compresses, removing the cooling, and heats up pushing +> the piston back towards the hots side. Here's a graphic: +> ![[Pasted image 20250321163711.png]] +> Anyways, MARVEL also uses an interesting drum based system to do power control. They use one big central 'insurance' rod, but also have four drums around the cylindrical diff --git a/3-99 Research/TLA/Writing a MARVEL Specification in TLA+.md b/3-99 Research/TLA/Writing a MARVEL Specification in TLA+.md index 7a409141..d7afb472 100644 --- a/3-99 Research/TLA/Writing a MARVEL Specification in TLA+.md +++ b/3-99 Research/TLA/Writing a MARVEL Specification in TLA+.md @@ -1,5 +1,5 @@ # What is the MARVEL reactor? -- [<] What the fuck is MARVEL? #Reading 🆔 furwbi ⏫ 📅 2025-02-28 +- [x] What the fuck is MARVEL? #Reading 🆔 furwbi ⏫ 📅 2025-02-28 ✅ 2025-03-21 # What are some specs that perhaps can be formalized in TLA+? ## What are the specs of interest? diff --git a/Pasted image 20250321163711.png b/Pasted image 20250321163711.png new file mode 100644 index 0000000000000000000000000000000000000000..6e36e54b00463037a44451bc3ea65f50523c2d6c GIT binary patch literal 11882 zcmcJ#cT`i~7B0FI0t9IRq$miXqezk73B4CZ=}qY>Ql&@>pn!^?bdaWi^d?1m0!o)6 zNbem1=|u=3cl*2Nym8+1ZgaTbZXu2DF#INEj}^{$ zztT=9blLHfyw^zH4bEUYiTr-}j<4+>f^= z`Zmik`nY|L7E2^WH4Cmg-Jz)&f3O{8rJ?wA zLwLEr6_Fj*NrMincxpVfXA|&SJoV;qKI?f>j8KSi*>O1WJ>GBp2pT53u;0t8t1HPi z>hQo1j_^pp9=#EtJ1v4c9SBia-|iimjeEai#A}lB#1Cm5y2<%9Omf!GuIdQw{8|u| z8VivZwKduIv~XK5ve~4cyEkxAc|8`@1bM=&e_J<%6{0!dEv)8oI*=~C)U?sNJXx|YGI>s~>@yWwn)bN9-B zaq1)!b|V#~if__Aryxsrj$=~=;y7mv+zSrMSBfwO%NOr%xdAjxACr!ypl_4btRLEC z*d+CiN;G0jT2o2wpP-VY8yV=>p`r`VR5buOWIM@~jq}Cr*HZ&)J1~2x`N)2LCcqe|jtuE==PeXke@?ByC!)ce#OwGVyCz9cx)&&R$Ld8p}Uy&kfQ5PQi zJKmStp5B7+HAV6HeDJti;1VOxNE<4mcxd3cI;8zp{w&) z>X?1-K_GxtP^2n#9`YUFTMG6MGawA>o%LxZ6;MITw3O}--pIj zW>)&9>{-iEshf0|r!!S(BwMhb*VcGt^C_U^)tHcSiq@>7fN-?dTZR~)st(psT z86tt~OFal=T!!3s1A%4?ljL-)W;~%PcE4nd)Y&41&zbuL3gDpN79Bj}zP6uht>6H6 z9(_Q*ed$}J6CBa%8t`btI%Mr?)dda0N&SZ}@v_gtC{Ohos>}}v#V%{-d@1eu#+LON zCgxR1W{s+&H2jWoJlhzUy+EPK!Z)4Z^Tf};wiCf^R~yc<6oO=s#9^PfvL}{^pAY~2 z^;7x9^f5U)`FcT%Kolc_$16E;OVD1l&pS&ClLKqsPu)9pzo zL${PS6^3?~AAWT*gML=tEiP}733T;8p^w|5m-XG2dL459XYYoMnqVT0(l$9-mxOg9 z=5_k;G+SqfKsG9vHYn^N4<`2(~HXB}5d+6n!yl(_Wv8R|&wE7wp zQV)%J8tk!?$2ybPjLR%~pF4qRh_SUeOel-2UHJGyG(}nkO_Q^JYnjeK?iTH{Q=?~I zx){}=ANf5Y`^(*5`92qPj7&Jh>GhihR~G)P#5^#Xa`)$-xB-C*KcJS6NO*axIO{{d zkjb|)J6w{L%sX#Se^!k3#WcS526R$=GNOfIls1MP8%>Q}q-X+0J zdS%%VOdIXk5xnffxw;{PY@Tbbt7!=`(f&CQ%~Uj3c&J_V&RNZ%`?c6nicQZA6X*JJ z#S>1KF8&5@Jhwsj)MCDkak8-a&4W7*$^c2%W;f?=b1GH-;6JNBBcbg#rokhLWq zmR(24*BPrxEFRA01#<#Kxkp=j>6M2lhAQe!{tC+v`Hp96_BUL{=82sxTrB$U51Lzo zlYSg6zxsK|zy|MCcX2hgU!@1>P2{l;9I$JG9!EQu z?uwKn;ToYerPTs-z5njrj)ac@TZ!@?8mRpks*Q1($>l5C(S#} z_NU(9kW9@g;^CFvq}xPfpefV?7hW*>^qXSFtoDm6Mam%u(X6AjL$xe#nm)(FQF$a| zUmCRgzil>oo83@r=y|{iB&J!F`zELUp*3;rRv9?k{CxM7cVfFbAlGO8(aWDwRX};qPbEF%ta3PgQnkhjuJ~E8T zu*GlhqnyD-t6l5Sw=q=pV&uxD=@9Ou=m7^W{SA-$+``Ta>GBJsDedG`tkb1j zvx}^$Ze*BRla|T;@D}e>iSkSEv#Lw5z^u);Guljdkt^gr5s^e*v+7wg)0q4d_-d}cX_Mg4yh#4Vr7#XN+?3-xM3?DqEV~1XOumtxeez+oWo6!hw*N}c4KF5@rGReJvf6#D!NfG@7le-G z9*%xABji#91!;$|!ow-Oye}OG(XnzREv}j;XF|zuBgAW%+Bwa__@HN$og)2gbS1aY z4{}QToagM`)`Irc1>%Mo1ue(P=sn-}aQcU_&?I*EY@fs0y3h4r z{cbJ=a!)&mEK!J=Q|=8T1NozIQ`-x~>2OF#_SP;G3MrZ|E5%f9V`}@F;z~Is zpa|!+WSd}rp@_#V3v?Q&%=2M_cNIaU@KNih4 zdt#pEp82zGMWY=irpY(~iG@)cKRRWgE!EXJ1b@^l3*BF4QMeDY+$M+)$cd&!J?d9$ zBB|_lR@IjQiA?|IFlo6}V=bK~L*5}aJGnUUz-*L#r~`Y z?yCChWd_dyY~l)&f9?!+%S0MY34$w%ea6jDDC-qAlSp-hQL zYr``hKOj=rgCWpf!b?w_7K;`HoGc5vMb4Ur#8GOh1!eGblc^!|8-^Y1j0NE5=T z`UA=Nz=+7}U8Z+4EvIa#kr}tQ9}Udh8qd2Pi`m!?kCnf!!83eQv6AlvPKf$^T`}+a zyDKKi6wtR_%bwy5LAc{)QK$Z`D70L@4XgeY4(M39P1e04Ao38C2vPvro@ofq}HtPhJ#%KK>{ z{vtc+v9s2)yrn-qzSiA!;D-^tEbB{BZOlG)|!B9-~RtlDzYwN@br>y)-zhjvXhw!aqZ zRy9p=<=6WNZ-DPkObKB(8RGmQV{cKkv<82JUB8%+RYSE`uYu(QX&$zqHI$7<1{s44 zpUSmqf^r2>)&1-4$cnqI4w^`v$d#f`W7V7e9R5AJm}#o>Zi8UYKlzGA14F|LI_F9L zaDRocve;N$IWL77F01o_AK+j2EbqoFx~XmQX)=me_^H}hF=?_TInpF>@4=yKZ<)T) zHfCDz=f_Z7xrJ)l92|8urs~eSMwn-oO*t!t*4+W3b*js8#=55UlfGXW>zk#MFsxBMSQ! zmoKW0Bu5`E?IF+}3a>NdX~P2W&_IxL-@64LybpJXdx;J1+!|nhE|;P@%IV$vdc{H} z$T>2Z@o5xqPUp4}6pd4Kp1sM7K;JYS<|>-=5)x`>p#$V;_%bA_m-?^Qd;58e)&ta!a8#?6{ z!hc&X?BDSutm#It7PvifS%fgv7FgnIUq`Se7)s!~%+YxYB3ZlV2Lo(R6cs#oRwOFV`0-e@4wpqZFZ0*SJ zOQjuhr=F14+uU)E0G5o$ilHhdupZi_p)7F5U!LW+6k*u9ks~?mT@QmSg=RX{OsTv3 z;W(SPuT1FS`8tCbZI5{lMm?+;0V zpjXBN)*c60R4@R|oVQIbpV-iuZA(HcSa2oMoB9Q^Rz=^fwlT-1-qw@h_kUw}?t+bm zF-Ilot7Y)-H9jaCd^?^kz~DnKe(dRc;#XZtAS#fSy~LRfMH_L6lME%qr~uXmOF;uw z>x81OdyN#K;^gQO3+hvTyLX|M)j*xh5bEdSNTWK!l^uNKxQ`pPiiC3qt#uW^B--xh zQT<-7=BgoiM9ZDnwN+o^{3}ZrPL~0Uc8T0&sG$qdy7i3s-SbLGIAuGTd>JutqL?th zzW^%bI)4u;uRq%B97L;CFECz*+X)XBwtzM<&KF!s2e-lbN|u=5<}(rwekg8$TC@JT zrVZY1CL}{&a9v>a^+c^kvcW2ErX4SoU*=#eEd8SSLWs?`Toc;x*q8!geRs@WjS9 zxSRY$@wwk@1srAFGGRnG95&E6(3GZ$!YRIL=mGa!4vxc1YlAPFr5};H6Zjw9WNlXi z%W)$tTr0J<(}XmOu*NMo`u*#PoM#-uKZ&ABnYKf2N>A+}fT`mN{+T;dVIG7N-5=k; z&7h}f1H;5&al%833NQoWVNAuB=iFxpo{s-gx_%@e*32`PFY{q4%<5n1Rw4r+?=O8d zHNG8;;O&M&$v>v)LnrYeTa}#>y!z=(r3k3-tIqFQFl_YobMlXjC*SL9*5Zr7sYfq1 z`-S|S2ikdU+Ln3Iz_L@iTx8r-7zm$diz3np+Grj$pqf)f=kbuk{bAda5}xbR1ad~f zXouE%VlcBKZ;S0SHz?3^B@aH|>+}V8-3M3rH8@T}Zj$#4XaW#ZL~vor(bS8e9hR;c z=rsxNW1DG$>qXO_oPMlpo%@ z-eGwgjP_Zstz%_YQ-wOqTOmHI_6P$266NG{!*Rp4b@5`eGivGLy@-Dth$b!JBm-3g zn7-?!A-d28ug$C9>IhkZ``!8?;QB0To`a+1-`iimy)M{hctTi;Rh<1>yq0yC6TIlY z!$_;A0YEf6KRatX4P?%A?_~JSY9)n4;|O4I{JlJ|6(ZtguLp;8y^^$9JR6<8t3OFJ zNFI2$XEz;!N8gzyTz@?-6$^}4eBHXETS`JP!4Qp8oMIW_LIZd0ie|z#`oy2L#uS@- zvSA4Co?ghXY-4zaj@@9{uDI==`g5JWGtyYR&F%1UV|s8eJu7VtTf8utMsmE00aQ^{ zv}y)hdWnxfjq3m5m1gRCSY##!5yivaXo1y!A1ALh` zz(nd^O1D*4!cdp5Y6 zH0$Qm!?Bx_3|o^|<^Be?vG?&2J-r?lFa%(6++}^W*#`wvaid7vI2SyzA-{e6>a7wj z6po^e?&bbi-UPzg?w?RySLwCZzc)XylBVR{4@Zf~Fw-2BHWuDFZQ^;{Lo~Qe$kR#w z^m(P}HWZG&{q+xnPUB&N*V(7x7wG7wq3XoQb>Q9uehjk~prz7R*k(Z|B>g!oj4ch3=MwTk>cv5{BU!eUGv;jERj zj^N^ICL<2Z7TcpZ{pF7?ys4k1@S8$}8>l1bKfVW+>Wd`i@NJJEgV#pBy!xA+?C5;X z1jCbj?bVxwtkA&Y38(P;E6=Sd`8q$zC~gz@h8`Ml03&IFE%RkHL`Kl;=1Y!*rBjPn zF9Flf>h@;Uq{2tFwqvJ%%^NEgv*!#)dk~#o7V@^JuojdXIrSg}l^8lP!Ls!me|ceT8&=Q31d|sZrGDGdeixh^NUWbS(>HWgZo96&&c~{+-S(_nlNxC?J(x9SA?c zIBZ6YQ9|HOjv^5|wYI+@x>k4(f?k@e*#`vLo-bLi>**tdWKG{-X~n;~raiC#L!0_m zp$XAO4FAZ_ZA_-rPrelVnCc|%4IuWw2wb4%mpgojFELCL)US4Gii0H+DS-@-O3ut6 zlaB_EM#5T0ZS)E*z=RYp5oj1*NgpbB60&6lzT4!_AsR-EUzmi8+dmtl$Is7W%~U4F zLQeM`*6KfmGYVNRw`Qrh-;j?XH7s1PY#)VYckY%+wRHOJMhX=+w1LDp@u<3bQjN`= zQYx(rs|B+KbXOv2&^?q=#(`Hl^Uvll@;O}iudM=)C+v(}Vq|_b3)0}v6{If~UkfR8 zErEr~NJ0qcDmE6cKJu;+8;tzA670fA9Hioh2krD1eUfw2T>>rJwb}5{60$+&R}DXD z&{F;4-yZtIktS`Gn5$cKmK}v7LHpKs>_v`R4X3=2Pr@H`0HVrYf6p_LSJR7wC z?aME52_$1xTlX+k1ax%ri=aV5;wl_3P&lRWW=Zrt|Wq^VUh5S;`7z3eV!Kjq8E(HWW=_D?u#k_G!Kk3c`q4z zVn@&~P$rp_P{Vr2bp_ZeBBhE7IfJs-r;J!K$GnrZ+^-XrJ(`)l6s_Z+IEv8NJf17> zZsOD%Wu&&X&Ou7Rig<)Oi3%DPXS$XlYWGAY3<;uXP{J6`E+gT+*J0mpCM0q7<>8Yt-;{dpN00BSGK#e&8@gL9=5 zX^Qf6N6wz52-@^%Nk^cMj#-TI@lt*OPFD&VIszKp*zVztOQAtfI97o!24yP_Tm23( zW#hWFZlfnEc<1)!Z~045R@7w)4y9~LkV~0;av2a&9AL=4&q)iLL<&1mp>O#xyQ0ni z&{WLM=B)DV0_V{Nd~h)>0OCAUa`zH67^G)K{pVq*_`h@WAx9%M^(JGr9XM^9Zai7FH{9}HsB94&J{j!p$!hP@%G=mY>N z`oDJpRj+@CEI=$z-~)o5~$e)#rvNw`g0}A5aApL zKnHWp3NORXLE(ba;l!alWZ?f8qDrXWrB$;f_WVU;%+>v!A8kbADs2#WNhAQRV6`wZ zf^UK8;lG^p)}0F3m%_#NY}2kGP@H##2|7CErJHfQG!NMlU4X-k|JvY9VId#v7{uhi zoRlI8`u**<>=5z3I!(3GFDHC(Kd=rF1q+pcf8PTpk@IG+dy|C%BDk1f8|-LO!`M>3 z>##UF5L3b(`cJ56#dJa0V$*W4M8eaHd{<$ff18#C-xnSdj(&!?#kg%hCR~#|4LTad zZ0*WONon>N5jSvGny$M8#~T z-9|MVDYb1DnFg}rDj00@3u9fkStF{?ew)3qZ!Pg$?@28A_=fj6Aoj$zh&1#T)N2(e zp^l5AI@@_tj`w_8c_#0;%(C`R#}ECWpYMXpL9TLPe>*HJ(&_6hRtkvl6XYw>&~#9u zbZ;$YXvbflY07j+^uJtG`nOTC@2mX78T8CqMWFrR&P3F17d}jr8@{M}aj=@65Bw%^ z+7g*v>C(W9jx&TyCil~vxVexi?a;)fgNKZ)Q`*guTL^2;YhV9Cz^3*S5S(wL+14ck z9}(Du{4=XYnVj$U7;XC8Q3EC`xy3_K!r-=o=?V>Ukm~<2jQM{tO!xe|NC}&3nN?@< zrn|bl|0r5GsmJ{q@JoyDXd%DEnn~H|Ck$?}L-|-?p0xi)ilS4mnaw0XQ|mHE7gj@UH>p;#r^jt(@6=Oq4QCR9NT4h*#onaHsl8p~~|bdDer;PQ&7= zU>0iRpmGv(uq|kYNDbQP*W6*i&4|os_6j)&%+{aT5DLGkp1mTCE>ya<31fKV!y}sc zP>6?I{)?d>;6+Bu2BrU7=8ZlXTqRJcSm3D&wBxdkrM*|Q?{s(2DFJenx^{EK#MA>3 zc5+Nm+iBEgYN#}bd+A?s60qpMLn#iAa!A8W|My4AQGOHM^-*g5TD8DL9Ra|YqSRyI zFtOwtVSh8vm&(dWYS0eUCU;(-=s|GY_^!&%{uW%ZZzK5&m9sDX1!F3!f;qAC{|EPQ zi1Re|E;ZB+9CS-&gT?@(0)V6ZNBY-PB+`&gTUh7zQr-Hr# zdtQ|k9tp=Xfw+jKT0;(k0{^d_4*RdoO-r9U{D(Dn#db4X$C5k#TT8`CztEeOLsHhf zmuubBkgl(Zci9bzLAPObqXT^Z1>aWylQ>0t7>W!GPGmjH5J(OfZgL_%m?HR;00^H_ zsvOcb0la4MQ}{ADlpEx3ZoYU@STuOt3Z?k!T5e_fZ|`MB++UdrUi;F-GCo{V3}VJl z0@C}Yxsf)&m|IKOkE^xLj{~$6+0BMVohN~z|Kb<8uwlsXn->J%4EL9PsIWe0c<_~^ zRhq$s?=Uq0s{6yYM&KO7e@3eUbWcHvOlGV)q2HT|vf)QHYLbw=9zDu**jojo9&of5WCG8K zX&=3|PI|KZZ!m?Dd|cRphHKaoi7>E0gdGvDh(hCFY4qs7SH=SNyLoq9?^EFumvya= z$)u)URF(|Mh8lZT3!EZs{K;kRr3O^*Pn~bW?xX4$daaIO8WC-oge>XL*I2_5| zzt1)&x)bR5`??X`+O9o8yv&U_ye`w;~$f#QOLkQof( zm&33WNZ3A~xo4ABac}I4{fRkqtg%|QImCTtEqTwp=T-=9g-}#i`ZjgA=tu zZTwSd&s`?EP?pm~%_?)q;Ojt7pWtMK=>b$*jKPF;R4O+O@E*ArL-`VG=(pKfOb<{> zj3wHveRYFZ{~S%D0n)f(NQ6EZ8JyH9;9_8iaPCOB3xh6z9N_Nw4UG~7A!lI3IyEg% z;qo5{|3Bo5f1|sJMJ#R~Gjlf3mEx*eWlSK*9PPNG1uV(s&~4amDrgc2?aa|XoqcPO z?2T>%&M10A%85+y}o^~yws1}&|zt*uHZ?IYqE zV?`7Hjx8g$JrQmYTFcXJmVS`T!Am4x6+9|v0D~tpi6LD?ySfp!sc_pYsS1#CzFct8 zv7&ja!&)m0SRTW$@fIO*-QuM4sT8duG*|@>+rPu`{LxOA!|1udzqREAAk*%6B3l8( zW!!TW4FH<5a7KzXNAew$MaBTnML9`eX<#}hW~Y4v8tM+NXDQJKsO&4?gXpJR4g?%z zJeY`V?Wu?`NvjSmR^fg%4H~c>s@s0TN*1Lw7ze8`kaC3~(K=~=`B^A%-yj-b>5YaQst1yCnlNV~8pQ%KN(^%)au5b`7MbWBGWa);*#5H< zHh!w|H!bqidoJ?_+&Bt2eo6EO@bheJ{Czgm)$so|xyQ;0tj17yi;k2P0$)~FA%_`D zNgb0Bfokq?h{4jp1X|2N{{~U0FsL1qkg`hlb@0JxHCF@y2kYMd*$K^CzVu%9KU_OA z;S=Oy|G&7F6UdxC%dol1%w_?aBV8VW2A=opbKCEC;)UO2(whJrG`c;$aqkII;SZ+bexw;42o!_q((x`TlvO2*(9Lz0~@;= z1D%49ExISnpr5YXLJm@ZHoszYhX(!}j3I5QG(^z8zmB=ZO&^K^W5|E$B$s+k@tM5e z$?q#~Y+wAv;^1E_%1+$_{_lI?->#w-zxV!oqIApY1L4T<@bFfzbUqc^?+OmuhBks= zjOfetn3<56aKC~3Th-U3RS8!kn)y81CDt9?^*hIFO+Ur z5)w^{(67HjJs-Z?Kt}|<4KsiEs1J^vD7|hWqIy8g}s3W(uX1~xFD6?*EunSkb zc7=q-InQOXSYzxouk=Wq)cs`5bg<2+y?^+$xV;#BXYlsbN|hiyg)KCu*7ebU)$3% zIE_GAB+enwSTIwzO`&u`4uUCXwm+Sb5}bn0bfs<$-q{ZxRB`l|JjdR^L0Pfd=8_}N z(XRpM{KvLi@RH}?&VyFPNbmpW2KGPqvO~pb{)9}A<5vgh)vy5g(o)k`EmO7)`yYuc BoZ