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

vault backup: 2025-01-22 21:48:12

Browse Source
This commit is contained in:
Dane Sabo 2025-01-22 21:48:12 -05:00
commit fb89a4a127
11 changed files with 356 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.obsidian/plugins/colored-tags/data.json vendored
View File

@ -178,7 +178,8 @@
"simplified-model": 166,
"System-analysis": 167,
"multiphysics": 168,
"heat-pipe": 169
"heat-pipe": 169,
"paper": 170
},
"_version": 3
}

8
.obsidian/plugins/obsidian-style-settings/data.json vendored
View File

@ -25,7 +25,7 @@
"anuppuccin-theme-settings@@anp-full-rainbow-text-color-toggle-dark": true,
"anuppuccin-theme-settings@@anp-callout-select": "none",
"anuppuccin-theme-settings@@anp-callout-color-toggle": false,
"anuppuccin-theme-settings@@anp-list-toggle": false,
"anuppuccin-theme-settings@@anp-list-toggle": true,
"anuppuccin-theme-settings@@anp-autohide-titlebar": false,
"anuppuccin-theme-settings@@anp-cursor": "pointer",
"anuppuccin-theme-settings@@anp-toggle-scrollbars": false,
@ -45,5 +45,9 @@
"anuppuccin-theme-settings@@anuppuccin-theme-accents": "ctp-accent-peach",
"anuppuccin-theme-settings@@anuppuccin-light-theme-accents": "ctp-accent-light-blue",
"anuppuccin-theme-settings@@anp-decoration-toggle": false,
"anuppuccin-theme-settings@@anp-colorful-frame-opacity": 0.4
"anuppuccin-theme-settings@@anp-colorful-frame-opacity": 0.4,
"anuppuccin-theme-settings@@anp-alt-tab-style": "anp-depth-tab-toggle",
"anuppuccin-theme-settings@@anp-depth-tab-text-invert": false,
"anuppuccin-theme-settings@@anp-depth-tab-opacity": 0.3,
"anuppuccin-theme-settings@@list-numbered-style": "upper-roman"
}

2
1 Daily Notes/2025/2025-01-21.md
View File

@ -36,6 +36,6 @@ group by file.name
- Microreactor review [startTime:: 11:00] [endTime:: 11:30]
- Edit HACPS hw1 [startTime:: 09:15] [endTime:: 09:30]
- Shower and Breakfast [startTime:: 08:30] [endTime:: 09:15]
- ANS Paper [startTime:: 15:30] [endTime:: 17:00]
- ANS Paper [startTime:: 15:30] [endTime:: 16:30]
- Lunch [startTime:: 11:30] [endTime:: 12:30]
- Gym [startTime:: 08:00] [endTime:: 08:30]

16
1 Daily Notes/2025/2025-01-22.md
View File

@ -19,6 +19,10 @@ group by file.name
```
## What's the plan!
- [ ] Figure out how to rectify task lists so they show up in daily tasks #Administrative
- [x] [[fisherHACMSProgramUsing2017a]] #ME2150 #paper ✅ 2025-01-22
- [x] [[biggsJuryMonolithicOS2018]] #ME2150 #paper ✅ 2025-01-22
- [x] Make new [[visualization for ANS Paper]] #NPIC2025 ✅ 2025-01-22
- [/] Write results section #NPIC2025
## What's the results!
```dataview
@ -30,8 +34,10 @@ where completed
group by file.name
```
# Calendar Tasks
- ME 2046 HW [startTime:: 21:30] [endTime:: 23:00]
- ANS Paper [startTime:: 13:00] [endTime:: 16:00]
- Lunch [startTime:: 12:00] [endTime:: 13:00]
- ME 2046 HW1 [startTime:: 11:00] [endTime:: 12:00]
- HACPS Reading [startTime:: 09:00] [endTime:: 10:30]
- ANS Paper [startTime:: 13:30] [endTime:: 16:30]
- ME 2046 HW1 [startTime:: 21:30] [endTime:: 23:00]
- Lunch [startTime:: 12:30] [endTime:: 13:30]
- ME 2046 HW1 [startTime:: 11:30] [endTime:: 12:30]
- HACPS Reading [startTime:: 10:00] [endTime:: 11:30]
- ANS Paper writing [startTime:: 11:45] [endTime:: 12:30]

0
Untitled.md → 1 Daily Notes/2025/2025-01-23.md
View File

56
200 Library Papers/biggsJuryMonolithicOS2018.md Normal file
View File

@ -0,0 +1,56 @@
---
readstatus: false
dateread:
title: "The Jury Is In: Monolithic OS Design Is Flawed: Microkernel-based Designs Improve Security"
year: 2018
authors:
- "Biggs, Simon"
- "Lee, Damon"
- "Heiser, Gernot"
citekey: "biggsJuryMonolithicOS2018"
publisher: "ACM"
location: "Jeju Island Republic of Korea"
pages: 1-7
---
# Indexing Information
## DOI
[10.1145/3265723.3265733](https://doi.org/10.1145/3265723.3265733)
## ISBN
[978-1-4503-6006-7](https://www.isbnsearch.org/isbn/978-1-4503-6006-7)
## Tags:
>[!Abstract]
>
>[!note] Markdown Notes
>None!
>[!seealso] Related Papers
>
# Annotations
>[!done] Quote
> *The conclusion is inevitable: From the security point of view, the monolithic OS design is flawed and a root cause of the majority of compromises. It is time for the world to move to an OS structure appropriate for 21st century security requirements.*
>
### Imported: 2025-01-22 11:30 am

87
200 Library Papers/fisherHACMSProgramUsing2017a.md Normal file
View File

@ -0,0 +1,87 @@
---
readstatus: false
dateread:
title: "The HACMS program: using formal methods to eliminate exploitable bugs"
year: 2017
authors:
- "Fisher, Kathleen"
- "Launchbury, John"
- "Richards, Raymond"
citekey: "fisherHACMSProgramUsing2017a"
journal: "Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences"
volume: 375
issue: 2104
pages: 20150401
---
# Indexing Information
## DOI
[10.1098/rsta.2015.0401](https://doi.org/10.1098/rsta.2015.0401)
## ISBN
[](https://www.isbnsearch.org/isbn/)
## Tags:
>[!Abstract]
>For decades, formal methods have offered the promise of verified software that does not have exploitable bugs. Until recently, however, it has not been possible to verify software of sufficient complexity to be useful. Recently, that situation has changed. SeL4 is an open-source operating system microkernel efficient enough to be used in a wide range of practical applications. Its designers proved it to be fully functionally correct, ensuring the absence of buffer overflows, null pointer exceptions, use-after-free errors, etc., and guaranteeing integrity and confidentiality. The CompCert Verifying C Compiler maps source C programs to provably equivalent assembly language, ensuring the absence of exploitable bugs in the compiler. A number of factors have enabled this revolution, including faster processors, increased automation, more extensive infrastructure, specialized logics and the decision to co-develop code and correctness proofs rather than verify existing artefacts. In this paper, we explore the promise and limitations of current formal-methods techniques. We discuss these issues in the context of DARPA’s HACMS program, which had as its goal the creation of high-assurance software for vehicles, including quadcopters, helicopters and automobiles.
This article is part of the themed issue ‘Verified trustworthy software systems’.
>[!note] Markdown Notes
>None!
>[!seealso] Related Papers
>
# Annotations
>[!attention] Highlight
> *o a first approximation all computers are networked. Even many systems that are supposedly air-gapped are periodically connected, often via USB keys, so their software can be updated.*
>
>[!attention] Highlight
> *They created a digital version of a song that played perfectly on a PC but that enabled remote code execution when it played on the particular CD player in the car. The digital encoding of the song contained extra information that triggered a buffer overflow on the car’s CD player.*
>
>[!attention] Highlight
> *increased automation, much of which has its roots in the seemingly simple problem of Boolean satisfiability, usually called SAT.*
>
>[!attention] Highlight
> *In general, the SAT problem is NP-Complete, meaning the only known solution is to enumerate every possible truth assignment.*
>
>[!attention] Highlight
> *SAT solvers form only the most basic level of automation in formal-methods tools. SMT (Satisfiability Modulo Theories) solvers [24] add the ability to automatically reason about higher level structures such as integers, vectors and arrays. Tactic libraries allow interactive theorem provers to automate parts of the proof construction process [25].*
>
>[!attention] Highlight
> *A fourth reason is more subjective. Critical systems are reaching a level of complexity that makes it apparent that more advanced tool support is necessary. For example, system developers at Amazon Web Services started using model checking to reason about their distributed systems: We have found that testing the code is inadequate as a method to find subtle errors in design, as the number of reachable states of the code is astronomical. So we looked for a better approach [26]. They point out that human intuition is poorly suited to reasoning about extremely rare ‘once in a million’ kinds of events, but such events happen every second in systems as large as Amazon Web Services. Formal methods help find the strange corner cases and allow designers to decide what to do in those cases.*
>
>[!attention] Highlight
> *n the security tests, the Red Team started with full knowledge of the system and its source code. In this phase, not only were they tasked with remotely breaking into the vehicles, but they were also asked to conduct a much more stringent security test. Specifically, they were given root access to the Linux partition, which communicated with multiple hardware components. This access enabled the Red Team to insert whatever code they wanted into the Linux partition and have it run with administrator privileges. Clearly they would be able to disrupt the vision application. The question was whether they could do worse. At the end of six weeks, the Red Team reported they were unable to break into the vehicle remotely. More significantly, even with root access to the Linux partition, they were unable to break out of their partition or disrupt the operation of the vehicles in any way. In a particularly dramatic test, the Red Team launched a full-scale cyber-attack from their onboard vantage point on the SMACCMPilot while it was flying. As expected, the unprotected vision application was totally destroyed, but all flight-critical functionality remained unaffected.*
>
>[!attention] Highlight
> *Generally, developers study performance-critical code carefully, and they write fastpaths to expedite important cases. Each such special case introduces more code that must be verified, with a corresponding increase in the required proof effort. Consequently, formal-methods researchers have introduced only those fastpaths necessary to get ‘good enough’ performance, stopping before achieving parity. In other words, verified code is not intrinsically slower, but verifying faster code can be more time consuming. It is also worth noting that it is impossible to achieve an ‘apples to apples’ performance comparison between verified and unverified systems, in that we cannot be sure that the unverified system is behaving correctly. At the limit, the unverified system could be doing the wrong thing very quickly.*
>
### Imported: 2025-01-22 11:28 am

125
201 Metadata/My Library.bib
View File

@ -459,6 +459,25 @@
file = {/home/danesabo/Zotero/storage/2XWVX68Q/Amoah et al. - 2014 - Security analysis of the non-aggressive challenge .pdf}
}
@article{aModeladoNucleoAnalisis2023,
title = {Modelado del núcleo y análisis del funcionamiento de un microreactor Nuclear},
author = {A, D. Ricaurte and C, L. Igua and C, J. Vargas and D, H. Olaya},
date = {2023-12-12},
journaltitle = {Ciencia en Desarrollo},
volume = {14},
number = {E},
pages = {44--47},
issn = {2462-7658},
doi = {10.19053/uptc.01217488.v14.nE.2023.17440},
url = {https://revistas.uptc.edu.co/index.php/ciencia_en_desarrollo/article/view/17440},
urldate = {2025-01-21},
abstract = {This research focuses on a detailed analysis of the operation and modeling of the core of a prototype nuclear microreactor with characteristics similar to Westinghouse’s eVinci nuclear microreactor. To achieve this, firstly, the RootT M software is employed to adapt the energy spectrum under which the 241Am-Be source operates. Secondly, the Geant4TM simulation tool is used, where, starting from the configuration of a cylinder embedded in a box, the unit cell is established to obtain a trapezoidal geometry as a geometric component of the hexagonal core of the microreactor. Additionally, the essential parameters of the functions enabling the reproduction of data from a 241Am-Be source are presented in the results, playing a crucial role in initiating nuclear fissions in the uranium dioxide UO2 fuel rods. Finally, the appropriate dimensions of the various components of the core are established, including the fuel rods, neutron moderators, and control drums located within the microreactor.},
issue = {E},
langid = {spanish},
keywords = {eVinci,Geant4 TM,Microreactor Nuclear,Nu ́cleo,Root TM.},
file = {/home/danesabo/Zotero/storage/2WAMJEGT/A et al. - 2023 - Modelado del núcleo y análisis del funcionamiento de un microreactor Nuclear.pdf}
}
@misc{amsldoc,
title = {{{AMS LaTeX Documentation}}},
file = {/home/danesabo/Zotero/storage/WE549H7J/amsldoc.pdf}
@ -1391,6 +1410,24 @@ Opportunities and Challenges toward Responsible AI.pdf}
file = {/home/danesabo/Zotero/storage/DIDSY7TD/Biggs - 1996 - Enhancing teaching through constructive alignment.pdf}
}
@inproceedings{biggsJuryMonolithicOS2018,
title = {The {{Jury Is In}}: {{Monolithic OS Design Is Flawed}}: {{Microkernel-based Designs Improve Security}}},
shorttitle = {The {{Jury Is In}}},
booktitle = {Proceedings of the 9th {{Asia-Pacific Workshop}} on {{Systems}}},
author = {Biggs, Simon and Lee, Damon and Heiser, Gernot},
date = {2018-08-27},
pages = {1--7},
publisher = {ACM},
location = {Jeju Island Republic of Korea},
doi = {10.1145/3265723.3265733},
url = {https://dl.acm.org/doi/10.1145/3265723.3265733},
urldate = {2025-01-22},
eventtitle = {{{APSys}} '18: 9th {{Asia-Pacific Workshop}} on {{Systems}}},
isbn = {978-1-4503-6006-7},
langid = {english},
file = {/home/danesabo/Zotero/storage/KIMYMDUA/Biggs et al. - 2018 - The Jury Is In Monolithic OS Design Is Flawed Microkernel-based Designs Improve Security.pdf}
}
@article{blanchiniModelFreePlantTuning2017,
title = {Model-{{Free Plant Tuning}}},
author = {Blanchini, Franco and Fenu, Gianfranco and Giordano, Giulia and Pellegrino, Felice Andrea},
@ -4259,6 +4296,25 @@ Artificial Intelligence Program.pdf}
file = {/home/danesabo/Zotero/storage/JF5DILLS/Fisher et al. - 2017 - The HACMS program using formal methods to elimina.pdf}
}
@article{fisherHACMSProgramUsing2017a,
title = {The {{HACMS}} Program: Using Formal Methods to Eliminate Exploitable Bugs},
shorttitle = {The {{HACMS}} Program},
author = {Fisher, Kathleen and Launchbury, John and Richards, Raymond},
date = {2017-10-13},
journaltitle = {Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences},
shortjournal = {Phil. Trans. R. Soc. A.},
volume = {375},
number = {2104},
pages = {20150401},
issn = {1364-503X, 1471-2962},
doi = {10.1098/rsta.2015.0401},
url = {https://royalsocietypublishing.org/doi/10.1098/rsta.2015.0401},
urldate = {2025-01-22},
abstract = {For decades, formal methods have offered the promise of verified software that does not have exploitable bugs. Until recently, however, it has not been possible to verify software of sufficient complexity to be useful. Recently, that situation has changed. SeL4 is an open-source operating system microkernel efficient enough to be used in a wide range of practical applications. Its designers proved it to be fully functionally correct, ensuring the absence of buffer overflows, null pointer exceptions, use-after-free errors, etc., and guaranteeing integrity and confidentiality. The CompCert Verifying C Compiler maps source C programs to provably equivalent assembly language, ensuring the absence of exploitable bugs in the compiler. A number of factors have enabled this revolution, including faster processors, increased automation, more extensive infrastructure, specialized logics and the decision to co-develop code and correctness proofs rather than verify existing artefacts. In this paper, we explore the promise and limitations of current formal-methods techniques. We discuss these issues in the context of DARPA’s HACMS program, which had as its goal the creation of high-assurance software for vehicles, including quadcopters, helicopters and automobiles. This article is part of the themed issue ‘Verified trustworthy software systems’.},
langid = {english},
file = {/home/danesabo/Zotero/storage/RJ2PKUDM/Fisher et al. - 2017 - The HACMS program using formal methods to eliminate exploitable bugs.pdf}
}
@inproceedings{fitzgeraldCyberPhysicalSystemsDesign2015,
title = {Cyber-{{Physical Systems Design}}: {{Formal Foundations}}, {{Methods}} and {{Integrated Tool Chains}}},
shorttitle = {Cyber-{{Physical Systems Design}}},
@ -4650,6 +4706,23 @@ Artificial Intelligence Program.pdf}
file = {/home/danesabo/Zotero/storage/LXHEU3GU/score.html}
}
@article{gengSimplifiedReactorModel2024,
title = {Simplified {{Reactor Model}} for {{Microreactor Coupled}} with {{Helium Closed Brayton Cycle}}},
author = {Geng, Xuyao and Wang, Jie},
date = {2024-06-02},
journaltitle = {Nuclear Technology},
volume = {210},
number = {6},
pages = {941--957},
publisher = {Taylor \& Francis},
issn = {0029-5450},
doi = {10.1080/00295450.2023.2273146},
url = {https://doi.org/10.1080/00295450.2023.2273146},
urldate = {2025-01-21},
abstract = {Microreactors comprise a new actively developing class of very small advanced reactors that have the potential to be an alternative to carbon-intensive energy technologies. A microreactor based on high-temperature gas reactor (HTGR) technology is a very promising advanced reactor with inherent safety, and it can couple with a closed Brayton cycle for higher efficiency. Since dynamics characteristics are fundamental to analyzing a power generation system and a reactor is the main source of the dynamics characteristics of a system, it is necessary to study a microreactor model suitable for system analysis. The main goal is to simulate the performance of the previously mentioned integrated system, focusing on the details of the power conversion unit while still ensuring acceptable calculation times. Hence, a simplified reactor model is needed that could supply sufficiently accurate values of pressure drop and heat transfer across the core. In this paper, by simplifying the physical processes in a microreactor, a dynamic model described by differential algebraic equations is obtained based on the lumped parameter modeling methodology and the basic conservation of fluid mass, momentum, and energy. Coupling thermal hydraulics with neutron kinetics, the temperature coefficient of reactivity and xenon poisoning are considered. Finally, the model is programmed and calculated using Modelica language. The transient responses of the main parameters under typical perturbations are analyzed, and the results show that the responses are correct. Because of the effect of reactivity feedback, fluctuations of the main parameters caused by microperturbations eventually tend to stabilize. In addition, the effects of negative reactivity introduced by xenon poisoning under two typical dynamic processes are analyzed. In power regulation, excess reactivity is required to compensate for the negative reactivity introduced by 135Xe. The model and results can properly predict the systematic parameters and serve as a basis for system analysis of microreactor coupling with the helium closed Brayton cycle.},
keywords = {microreactor,Modelica language,simplified model,System analysis}
}
@article{gentonClassesKernelsMachine2001,
title = {Classes of {{Kernels}} for {{Machine Learning}}: {{A Statistics Perspective}}},
shorttitle = {Classes of {{Kernels}} for {{Machine Learning}}},
@ -7771,6 +7844,24 @@ for defect classification of TFT–LCD panels.pdf}
abstract = {This video walks through a controller design for an active suspension system. Actually, we design two controllers. For the first, we use H infinity synthesis to design a controller for a nominal plant model that will guarantee performance but not necessarily be robust to variation in the system. Then we build an uncertain model like we did in the last video and design a robust controller using mu synthesis. Watch the first videos in this series: Robust Control, Part 1: What Is Robust Control? - ~~~•~What~Is~Robust~Control?~|~Robust~Cont...~~ Robust Control, Part 2: Understanding Disk Margin - ~~~•~Understanding~Disk~Margin~|~Robust~Co...~~ Robust Control, Part 3: Disk Margins for MIMO Systems - ~~~•~Disk~Margins~for~MIMO~Systems~|~Robus...~~ Robust Control, Part 4: Working with Parameter Uncertainty - ~~~•~Working~with~Parameter~Uncertainty~|~...~~ Check out these other references: Robust Control of an Active Suspension: https://bit.ly/3bt8VCE -------------------------------------------------------------------------------------------------------- Get a free product trial: https://goo.gl/ZHFb5u Learn more about MATLAB: https://goo.gl/8QV7ZZ Learn more about Simulink: https://goo.gl/nqnbLe See what's new in MATLAB and Simulink: https://goo.gl/pgGtod © 2020 The MathWorks, Inc. MATLAB and Simulink are registered trademarks of The MathWorks, Inc. See www.mathworks.com/trademarks for a list of additional trademarks. Other product or brand names may be trademarks or registered trademarks of their respective holders.}
}
@article{matthewsCoupledMultiphysicsSimulations2021,
title = {Coupled {{Multiphysics Simulations}} of {{Heat Pipe Microreactors Using DireWolf}}},
author = {Matthews, Christopher and Laboure, Vincent and DeHart, Mark and Hansel, Joshua and Andrs, David and Wang, Yaqi and Ortensi, Javier and Martineau, Richard C.},
date = {2021-07-03},
journaltitle = {Nuclear Technology},
volume = {207},
number = {7},
pages = {1142--1162},
publisher = {Taylor \& Francis},
issn = {0029-5450},
doi = {10.1080/00295450.2021.1906474},
url = {https://doi.org/10.1080/00295450.2021.1906474},
urldate = {2025-01-21},
abstract = {DireWolf is a multiphysics software driver application designed to simulate heat pipe–cooled nuclear microreactors. Developed under the U.S. Department of Energy, Office of Nuclear Energy Nuclear Energy Advanced Modeling and Simulation (NEAMS) program, the DireWolf software application’s objective is to provide the nuclear community with a design and safety analysis simulation capability. Based upon the NEAMS program Multiphysics Object-Oriented Simulation Environment (MOOSE) computational framework, DireWolf tightly couples nuclear microreactor physics, reactor physics, radiation transport, nuclear fuel performance, heat pipe thermal hydraulics, power generation, and structural mechanics to resolve the interdependent nonlinearities. DireWolf is capable of simulating both steady and transient normal reactor operation and several postulated failure scenarios. We will present the fundamental physics of heat pipe–cooled nuclear microreactors and the MOOSE-based software employed in DireWolf. Both steady and transient results for coupled reactor physics, radiation transport, and nuclear fuel performance are demonstrated.},
keywords = {Microreactors,multiphysics MOOSE},
file = {/home/danesabo/Zotero/storage/4DSCYJKR/Matthews et al. - 2021 - Coupled Multiphysics Simulations of Heat Pipe Microreactors Using DireWolf.pdf}
}
@article{mattosLatentAutoregressiveGaussian2016,
title = {Latent {{Autoregressive Gaussian Processes Models}} for {{Robust System Identification}}},
author = {Mattos, César Lincoln C. and Damianou, Andreas and Barreto, Guilherme A. and Lawrence, Neil D.},
@ -11871,6 +11962,22 @@ Subject\_term: Careers, Politics, Policy},
file = {/home/danesabo/Zotero/storage/ZXNEEHZ2/Scharrer - The standalone Package.pdf}
}
@article{stauffHighFidelityMultiphysicsModeling,
title = {High-{{Fidelity Multiphysics Modeling}} of a {{Heat Pipe Microreactor Using BlueCrab}}},
author = {Stauff, Nicolas E. and Miao, Yinbin and Cao, Yan and Mo, Kun and Abdelhameed, Ahmed Amin E. and Ibarra, Lander and Matthews, Christopher and Shemon, Emily R.},
journaltitle = {Nuclear Science and Engineering},
volume = {0},
number = {0},
pages = {1--17},
publisher = {Taylor \& Francis},
issn = {0029-5639},
doi = {10.1080/00295639.2024.2375175},
url = {https://doi.org/10.1080/00295639.2024.2375175},
urldate = {2025-01-21},
abstract = {Researchers who are actively developing nuclear microreactors are planning to employ innovative designs and features using traditional commercial modeling tools that may be inadequate for their design and licensing activities. The codes developed under the U.S. Department of Energy Office of Nuclear Energy Advanced Modeling and Simulation (NEAMS) program provide flexibility in terms of geometry modeling and multiphysics coupling and are particularly well suited for modeling novel microreactor concepts. To test the maturity of these codes, this paper introduces a conceptual heat pipe microreactor (HP-MR) designed to gather various technologies of interest to microreactor developers such as control drums, heat pipes, and hydride moderators. The objective of this effort is to demonstrate NEAMS tools capability to perform high-fidelity multiphysics simulations, using coupled neutronics (via the Griffin code), heat conduction (via the BISON code), heat pipe modeling (via the Sockeye code), and hydrogen redistribution in hydride metal moderator (via the SWIFT code). Codes are coupled in-memory through the Multiphysics Object-Oriented Simulation Environment (MOOSE) framework, which permits flexible multiphysics data transfer schemes. The analysis confirmed two key aspects of the HP-MR concept: (1) its ability to follow the power load requested from the heat pipe and (2) its ability to avoid heat pipe cascading failure unless designed with high power close to operating failure limits of its heat pipes. The developed computational model was distributed publicly on the Virtual Test Bed for training purposes to accelerate adoption by industry and to provide a high-fidelity multiphysics solution for benchmarking against other tools. Additional multiphysics analyses including other transients and coupled physics were identified as necessary future work, together with a focus on validating multiphysics behavior against experiments.},
keywords = {heat pipe,Microreactor,multiphysics}
}
@video{stevebruntonControlBootcampCautionary2017,
entrysubtype = {video},
title = {Control {{Bootcamp}}: {{Cautionary Tale About Inverting}} the {{Plant Dynamics}}},
@ -12386,6 +12493,24 @@ Subject\_term: Careers, Politics, Policy},
file = {/home/danesabo/Zotero/storage/CI4DN5JM/Ter Beek et al. - 2022 - Formal methods and tools for industrial critical s.pdf}
}
@article{testoniReviewNuclearMicroreactors2021,
title = {Review of Nuclear Microreactors: {{Status}}, Potentialities and Challenges},
shorttitle = {Review of Nuclear Microreactors},
author = {Testoni, Raffaella and Bersano, Andrea and Segantin, Stefano},
date = {2021-08-01},
journaltitle = {Progress in Nuclear Energy},
shortjournal = {Progress in Nuclear Energy},
volume = {138},
pages = {103822},
issn = {0149-1970},
doi = {10.1016/j.pnucene.2021.103822},
url = {https://www.sciencedirect.com/science/article/pii/S0149197021001888},
urldate = {2025-01-21},
abstract = {Nuclear energy is being reconsidered worldwide as a low-carbon and dispatchable energy source. Following the development of Small Modular Reactors (SMR) to reduce the capital costs and increase the safety of new nuclear power plants, microreactors are being designed by several companies. Microreactors are usually defined as SMR with a power output in the range 1–20 MWe. They can operate as part of the electric grid, independently from the electric grid or as part of a microgrid to produce electricity and process heat. In the present paper, some microreactors at an advanced design stage are presented: eVinci™, Aurora, Holos Generators, Xe-Mobile, NuScale, Sealer, U-Battery and Micro Modular Reactor. The main applications of microreactors and the technology features are then discussed to present the main potentialities and challenges. The main advantages are the small size, the simple plant layout and the fast on-site installation. The main challenges are the limited fuel availability, the security and proliferation risk and the licensing process. Finally, an economic analysis shows that, due to an economy of scale, despite the capital cost reduction, microreactors are not cost competitive with large nuclear plants, but they are competitive with technologies with similar scale and application, such as diesel generators and renewable sources in microgrids.},
keywords = {Microreactors,Nuclear energy,SMR},
file = {/home/danesabo/Zotero/storage/MGZP6X8P/testoni2021.pdf;/home/danesabo/Zotero/storage/YLPCKPRW/Testoni et al. - 2021 - Review of nuclear microreactors Status, potentialities and challenges.pdf;/home/danesabo/Zotero/storage/HVDCW3NV/S0149197021001888.html}
}
@article{thalerProofsArgumentsZeroKnowledge,
title = {Proofs, {{Arguments}}, and {{Zero-Knowledge}}},
author = {Thaler, Justin},

34
300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md Normal file
View File

@ -0,0 +1,34 @@
Attendance: Dane Sabo and David Pabst
January 21st, 2025
# Question 1.1
What happens to the Direct output signal if the terminator is not connected to the attenuated output of the pulser?
A: To start, time scale is 400 microseconds, delta of 1.4V
attenuatrion switches
normal operating shape is exponential decay after an impulse. 4V
Now, removing attenuatrion plug. No change
Removing the plug on the cable connected to oscilloscope, doubled magnitude of signal
The only thing that changes is the slope of the pulse decay. Is also dependent on attenuation. No impedence on the attenuated port results in less severse slope
This is a result of the impedence on the attenuated side. If all attenuation is on, it is effectively very high impedence just like the oscilloscope. No attenuation is low impedence, and therefore it isn't matched
Exercises 1.1 and 1.2 are pictures taken
Exercise 1.3
| Attenuation | Voltage |
| ----------- | ------- |
| 1000/1000 | 5.44V |
| 800/1000 | 4.42V |
| 600/1000 | 3.38V |
| 400/1000 | 2.30V |
| 200/1000 | 1.24V |
- [ ] Do exercise 1.4 where we make a linear relationsihp of above data
| Attenuation Switches | Voltage |
| -------------------- | ------- |
| All 1x | 4.00 V |
| 2x | 2.10 V |
| 5x | 0.94 V |
| 10x | 0.398 V |
| 2x 5s | 0.400 V |
Third column is needed to compare measured voltage to 1x voltage

26
task tryout page.md Normal file
View File

@ -0,0 +1,26 @@
- [ ] a high priority task high ⏫
- [ ] a medium priority task 🔼
- [ ] a none priority task
- [ ] a low priority task 🔽
- [ ] lower still ⏬
- [ ] higher still 🔺
>[!todo] Task List
>>[!danger] High Priority Tasks
>>```tasks
>>path includes {{query.file.path}}
>> priority is above medium
>> ```
>
>>[!warning] Medium Priority Tasks
>>```tasks
>>path includes {{query.file.path}}
>> priority is above low
>> priority is below high
>> ```
>
>>[!seealso] Low Priority Tasks
>>```tasks
>>path includes {{query.file.path}}
>> priority is below none
>> ```

8
visualization for ANS Paper.md Normal file
View File

@ -0,0 +1,8 @@
Here's some notes I'm taking while making the new graph for ANS paper
**things that are changing**
- Fonts
- figure size
- line styles
There's a weird thing going on with how we recorded time. The step change happens at 120s, but for some reason unencrypted has a reactivity change at 118.59. I think this is a data collection artifact, so I'm manually massaging the data so that the reactivity jumps happen at the same time.
This is justified because time between steps is on the order of 10ms, so a 1.4s difference doesn't make sense.