From a986465adfaedc879a95bf5a38467c3c6c57cb2c Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 21 Jan 2025 13:03:36 -0500 Subject: [PATCH 01/23] vault backup: 2025-01-21 13:03:36 --- .obsidian/plugins/colored-tags/data.json | 28 ++++++++++++------------ 1 file changed, 14 insertions(+), 14 deletions(-) diff --git a/.obsidian/plugins/colored-tags/data.json b/.obsidian/plugins/colored-tags/data.json index 01feb01b..3fe4d079 100755 --- a/.obsidian/plugins/colored-tags/data.json +++ b/.obsidian/plugins/colored-tags/data.json @@ -165,20 +165,20 @@ "ME2150": 153, "GSA": 154, "Lecture": 155, - "Microreactors": 156, - "Nuclear-energy": 157, - "SMR": 158, - "eVinci": 159, - "Geant4-TM": 160, - "Microreactor-Nuclear": 161, - "Nu-́cleo": 162, - "Root-TM": 163, - "microreactor": 164, - "Modelica-language": 165, - "simplified-model": 166, - "System-analysis": 167, - "multiphysics": 168, - "heat-pipe": 169 + "eVinci": 156, + "Geant4-TM": 157, + "Microreactor-Nuclear": 158, + "Nu-́cleo": 159, + "Root-TM": 160, + "microreactor": 161, + "Modelica-language": 162, + "simplified-model": 163, + "System-analysis": 164, + "Microreactors": 165, + "multiphysics": 166, + "heat-pipe": 167, + "Nuclear-energy": 168, + "SMR": 169 }, "_version": 3 } \ No newline at end of file From 8c02bcea4d1719e7f124de8ce154cbe36c06a619 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 21 Jan 2025 13:33:37 -0500 Subject: [PATCH 02/23] vault backup: 2025-01-21 13:33:37 --- Untitled.md | 0 task tryout page.md | 26 ++++++++++++++++++++++++++ 2 files changed, 26 insertions(+) delete mode 100644 Untitled.md create mode 100644 task tryout page.md diff --git a/Untitled.md b/Untitled.md deleted file mode 100644 index e69de29b..00000000 diff --git a/task tryout page.md b/task tryout page.md new file mode 100644 index 00000000..da14f831 --- /dev/null +++ b/task tryout page.md @@ -0,0 +1,26 @@ +- [ ] a high priority task high ⏫ +- [ ] a medium priority task 🔼 +- [ ] a low priority task 🔽 +- [ ] lower still ⏬ +- [ ] higher still 🔺 + +>[!todo] Task List +>>[!danger] High Priority Tasks +>>```tasks +>>path includes "task tryout page" +>> priority is above high +>> ``` +> +>>[!warning] Medium Priority Tasks +>>```tasks +>> +>> priority is above low +>> priority is below high +>> ``` +> +>>[!seealso] Low Priority Tasks +>>```tasks +>> priority is below none +>> ``` + + From 97016afeebf5fbbe133b5182191a0280d4465e18 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 21 Jan 2025 13:37:56 -0500 Subject: [PATCH 03/23] vault backup: 2025-01-21 13:37:56 --- task tryout page.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/task tryout page.md b/task tryout page.md index da14f831..e2c13db1 100644 --- a/task tryout page.md +++ b/task tryout page.md @@ -1,5 +1,6 @@ - [ ] a high priority task high ⏫ - [ ] a medium priority task 🔼 +- [ ] a none priority task - [ ] a low priority task 🔽 - [ ] lower still ⏬ - [ ] higher still 🔺 @@ -7,19 +8,20 @@ >[!todo] Task List >>[!danger] High Priority Tasks >>```tasks ->>path includes "task tryout page" +>>path includes {{query.file.path}} >> priority is above high >> ``` > >>[!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 >> ``` From 730b68a9a3d089b28f63b493ef3e612bdd979002 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 21 Jan 2025 13:41:05 -0500 Subject: [PATCH 04/23] vault backup: 2025-01-21 13:41:05 --- task tryout page.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/task tryout page.md b/task tryout page.md index e2c13db1..33c9968d 100644 --- a/task tryout page.md +++ b/task tryout page.md @@ -9,7 +9,7 @@ >>[!danger] High Priority Tasks >>```tasks >>path includes {{query.file.path}} ->> priority is above high +>> priority is above medium >> ``` > >>[!warning] Medium Priority Tasks From 3fd919ac1b9d1ec4d34739589874f6226457a9da Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 21 Jan 2025 13:53:52 -0500 Subject: [PATCH 05/23] vault backup: 2025-01-21 13:53:52 --- .obsidian/plugins/obsidian-style-settings/data.json | 8 ++++++-- task tryout page.md | 2 -- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/.obsidian/plugins/obsidian-style-settings/data.json b/.obsidian/plugins/obsidian-style-settings/data.json index 6cc4bb67..6e1aa287 100755 --- a/.obsidian/plugins/obsidian-style-settings/data.json +++ b/.obsidian/plugins/obsidian-style-settings/data.json @@ -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" } \ No newline at end of file diff --git a/task tryout page.md b/task tryout page.md index 33c9968d..3775e9f8 100644 --- a/task tryout page.md +++ b/task tryout page.md @@ -24,5 +24,3 @@ >>path includes {{query.file.path}} >> priority is below none >> ``` - - From c226f29ab5e779998e9760a94634e405b6d007b7 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 21 Jan 2025 15:43:19 -0500 Subject: [PATCH 06/23] vault backup: 2025-01-21 15:43:19 --- 1 Daily Notes/2025/2025-01-21.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/1 Daily Notes/2025/2025-01-21.md b/1 Daily Notes/2025/2025-01-21.md index b3c4ea1c..30cf49bd 100644 --- a/1 Daily Notes/2025/2025-01-21.md +++ b/1 Daily Notes/2025/2025-01-21.md @@ -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] \ No newline at end of file From 62dba0dcd15dd9270518416af0a3845d2515ccb1 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 21 Jan 2025 18:47:30 -0500 Subject: [PATCH 07/23] vault backup: 2025-01-21 18:47:30 --- .../Laboratory 1.md | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md diff --git a/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md new file mode 100644 index 00000000..05fd74d3 --- /dev/null +++ b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md @@ -0,0 +1,7 @@ +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 with average of 140mv +normal operating shape is exponential decay after an impulse \ No newline at end of file From 471b12210b0ce984cb693295af11271232b5786f Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 21 Jan 2025 18:50:49 -0500 Subject: [PATCH 08/23] vault backup: 2025-01-21 18:50:49 --- .../Laboratory 1.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md index 05fd74d3..84774055 100644 --- a/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md +++ b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md @@ -3,5 +3,5 @@ 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 with average of 140mv +A: To start, time scale is 400 microseconds, delta of 1.4V normal operating shape is exponential decay after an impulse \ No newline at end of file From 8ec92fbd99f1511ad8175c8c828d62784510916a Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 21 Jan 2025 18:58:30 -0500 Subject: [PATCH 09/23] vault backup: 2025-01-21 18:58:30 --- .../Laboratory 1.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md index 84774055..f9f40858 100644 --- a/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md +++ b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md @@ -4,4 +4,5 @@ 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 -normal operating shape is exponential decay after an impulse \ No newline at end of file +normal operating shape is exponential decay after an impulse. 2.12V +Now, removing From 4d2d46b010bdce292217bf2dd3cad3f0f91559c0 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 21 Jan 2025 19:02:53 -0500 Subject: [PATCH 10/23] vault backup: 2025-01-21 19:02:53 --- .../Laboratory 1.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md index f9f40858..803c1672 100644 --- a/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md +++ b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md @@ -5,4 +5,7 @@ January 21st, 2025 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 normal operating shape is exponential decay after an impulse. 2.12V -Now, removing +Now, removing attenuatrion plug. No change +Removing the plug on the cable connected to oscilloscope, doubled magnitude of signal + +Next steps From 4bdf284330834efffa15dab5df516c014672efd5 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 21 Jan 2025 19:05:33 -0500 Subject: [PATCH 11/23] vault backup: 2025-01-21 19:05:33 --- .../Laboratory 1.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md index 803c1672..6d9b5450 100644 --- a/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md +++ b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md @@ -4,7 +4,7 @@ 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 -normal operating shape is exponential decay after an impulse. 2.12V +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 From 7ffd5dc595d7b13eee56ec828813f619ec88b63d Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 21 Jan 2025 19:09:35 -0500 Subject: [PATCH 12/23] vault backup: 2025-01-21 19:09:35 --- .../Laboratory 1.md | 1 + 1 file changed, 1 insertion(+) diff --git a/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md index 6d9b5450..05382b94 100644 --- a/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md +++ b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md @@ -4,6 +4,7 @@ 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 From d48ee189ab21f6c154465bd1057b0b2baaed9f16 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 21 Jan 2025 19:23:12 -0500 Subject: [PATCH 13/23] vault backup: 2025-01-21 19:23:12 --- .../Laboratory 1.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md index 05382b94..6c9c7e97 100644 --- a/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md +++ b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md @@ -9,4 +9,9 @@ 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 -Next steps +Exercises 1.1 and 1.2 are pictures taken +Exercise 1.3 + +| Attenuation | Voltage | +| ----------- | ------- | +| 1000/1000 | 5.5V | \ No newline at end of file From 2a54081b7a8f69e5629131d64bb5fd0cc58c259a Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 21 Jan 2025 19:26:52 -0500 Subject: [PATCH 14/23] vault backup: 2025-01-21 19:26:51 --- .../Laboratory 1.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md index 6c9c7e97..42e6bb19 100644 --- a/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md +++ b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md @@ -14,4 +14,8 @@ Exercise 1.3 | Attenuation | Voltage | | ----------- | ------- | -| 1000/1000 | 5.5V | \ No newline at end of file +| 1000/1000 | 5.38V | +| 800/1000 | 4.32V | +| 600/1000 | 3.22V | +| 400/1000 | | +| 200/1000 | | \ No newline at end of file From 6a9f3bb77180ac7c0f6b1e7e9c0bf998ae501720 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 21 Jan 2025 19:35:06 -0500 Subject: [PATCH 15/23] vault backup: 2025-01-21 19:35:06 --- .../Laboratory 1.md | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md index 42e6bb19..fd9f2ee0 100644 --- a/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md +++ b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md @@ -14,8 +14,10 @@ Exercise 1.3 | Attenuation | Voltage | | ----------- | ------- | -| 1000/1000 | 5.38V | -| 800/1000 | 4.32V | -| 600/1000 | 3.22V | -| 400/1000 | | -| 200/1000 | | \ No newline at end of file +| 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 From f1ed4a7f2f2c3091e69d8e3fe8c5ad59e3871bd7 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 21 Jan 2025 19:44:59 -0500 Subject: [PATCH 16/23] vault backup: 2025-01-21 19:44:59 --- .../Laboratory 1.md | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md index fd9f2ee0..65108302 100644 --- a/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md +++ b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md @@ -21,3 +21,12 @@ Exercise 1.3 | 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 From d021c0b69a7e9176cecbe661f8b7731d3574b9a5 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Tue, 21 Jan 2025 19:49:17 -0500 Subject: [PATCH 17/23] vault backup: 2025-01-21 19:49:17 --- .../Laboratory 1.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md index 65108302..581dcd55 100644 --- a/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md +++ b/300s School/NUCE 2113 - Radiation Detection and Measurement/Laboratory 1.md @@ -8,6 +8,8 @@ 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 From f96f2d6d6c3e874384291a36515ae32b57dcc00a Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Wed, 22 Jan 2025 10:05:42 -0500 Subject: [PATCH 18/23] vault backup: 2025-01-22 10:05:42 --- 1 Daily Notes/2025/2025-01-22.md | 8 +-- 201 Metadata/My Library.bib | 88 ++++++++++++++++++++++++++++++++ 2 files changed, 92 insertions(+), 4 deletions(-) diff --git a/1 Daily Notes/2025/2025-01-22.md b/1 Daily Notes/2025/2025-01-22.md index ebba8dce..30244225 100644 --- a/1 Daily Notes/2025/2025-01-22.md +++ b/1 Daily Notes/2025/2025-01-22.md @@ -30,7 +30,7 @@ where completed group by file.name ``` # Calendar Tasks -- 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] \ No newline at end of file +- ANS Paper [startTime:: 13:30] [endTime:: 16:30] +- Lunch [startTime:: 12:30] [endTime:: 13:30] +- ME 2046 HW1 [startTime:: 11:30] [endTime:: 12:30] +- HACPS Reading [startTime:: 10:00] [endTime:: 11:30] \ No newline at end of file diff --git a/201 Metadata/My Library.bib b/201 Metadata/My Library.bib index 4aba593b..963af9c1 100644 --- a/201 Metadata/My Library.bib +++ b/201 Metadata/My Library.bib @@ -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} @@ -4650,6 +4669,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 +7807,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 +11925,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 +12456,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}, From 00d4c4bb9377d565d2a3fe1b11d883299ba02bbf Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Wed, 22 Jan 2025 10:13:09 -0500 Subject: [PATCH 19/23] vault backup: 2025-01-22 10:13:09 --- 201 Metadata/My Library.bib | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/201 Metadata/My Library.bib b/201 Metadata/My Library.bib index 963af9c1..efb04b02 100644 --- a/201 Metadata/My Library.bib +++ b/201 Metadata/My Library.bib @@ -1410,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}, @@ -4278,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}}}, From b43fed5df4ebdbfe4ff007506555edc168b5dfec Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Wed, 22 Jan 2025 11:33:10 -0500 Subject: [PATCH 20/23] vault backup: 2025-01-22 11:33:10 --- .obsidian/plugins/colored-tags/data.json | 3 +- 1 Daily Notes/2025/2025-01-22.md | 2 + 1 Daily Notes/2025/2025-01-23.md | 0 .../biggsJuryMonolithicOS2018.md | 56 ++++++++++++ .../fisherHACMSProgramUsing2017a.md | 87 +++++++++++++++++++ 5 files changed, 147 insertions(+), 1 deletion(-) create mode 100644 1 Daily Notes/2025/2025-01-23.md create mode 100644 200 Library Papers/biggsJuryMonolithicOS2018.md create mode 100644 200 Library Papers/fisherHACMSProgramUsing2017a.md diff --git a/.obsidian/plugins/colored-tags/data.json b/.obsidian/plugins/colored-tags/data.json index 3fe4d079..f89da0b9 100755 --- a/.obsidian/plugins/colored-tags/data.json +++ b/.obsidian/plugins/colored-tags/data.json @@ -178,7 +178,8 @@ "multiphysics": 166, "heat-pipe": 167, "Nuclear-energy": 168, - "SMR": 169 + "SMR": 169, + "paper": 170 }, "_version": 3 } \ No newline at end of file diff --git a/1 Daily Notes/2025/2025-01-22.md b/1 Daily Notes/2025/2025-01-22.md index 30244225..2180a270 100644 --- a/1 Daily Notes/2025/2025-01-22.md +++ b/1 Daily Notes/2025/2025-01-22.md @@ -19,6 +19,8 @@ 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 ## What's the results! ```dataview diff --git a/1 Daily Notes/2025/2025-01-23.md b/1 Daily Notes/2025/2025-01-23.md new file mode 100644 index 00000000..e69de29b diff --git a/200 Library Papers/biggsJuryMonolithicOS2018.md b/200 Library Papers/biggsJuryMonolithicOS2018.md new file mode 100644 index 00000000..d5339043 --- /dev/null +++ b/200 Library Papers/biggsJuryMonolithicOS2018.md @@ -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 + + diff --git a/200 Library Papers/fisherHACMSProgramUsing2017a.md b/200 Library Papers/fisherHACMSProgramUsing2017a.md new file mode 100644 index 00000000..2025e98e --- /dev/null +++ b/200 Library Papers/fisherHACMSProgramUsing2017a.md @@ -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 + + From fd18517e561efda861a8b89e6afe6d941a5a301b Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Wed, 22 Jan 2025 11:50:08 -0500 Subject: [PATCH 21/23] vault backup: 2025-01-22 11:50:08 --- 1 Daily Notes/2025/2025-01-22.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/1 Daily Notes/2025/2025-01-22.md b/1 Daily Notes/2025/2025-01-22.md index 2180a270..e21329ba 100644 --- a/1 Daily Notes/2025/2025-01-22.md +++ b/1 Daily Notes/2025/2025-01-22.md @@ -32,7 +32,8 @@ where completed group by file.name ``` # Calendar Tasks -- ANS Paper [startTime:: 13:30] [endTime:: 16:30] +- ME 2046 HW1 [startTime:: 15:30] [endTime:: 16:30] - Lunch [startTime:: 12:30] [endTime:: 13:30] - ME 2046 HW1 [startTime:: 11:30] [endTime:: 12:30] -- HACPS Reading [startTime:: 10:00] [endTime:: 11:30] \ No newline at end of file +- HACPS Reading [startTime:: 10:00] [endTime:: 11:30] +- ANS Paper writing [startTime:: 11:45] [endTime:: 12:30] \ No newline at end of file From c95e6ec94bd196c10e41a0be0265ec3b7e690af2 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Wed, 22 Jan 2025 13:37:47 -0500 Subject: [PATCH 22/23] vault backup: 2025-01-22 13:37:47 --- 1 Daily Notes/2025/2025-01-22.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/1 Daily Notes/2025/2025-01-22.md b/1 Daily Notes/2025/2025-01-22.md index e21329ba..9aa8b4d5 100644 --- a/1 Daily Notes/2025/2025-01-22.md +++ b/1 Daily Notes/2025/2025-01-22.md @@ -21,6 +21,8 @@ group by file.name - [ ] 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 + - [ ] Make new visualization for ANS Paper #NPIC2025 + - [ ] Write results section #NPIC2025 ## What's the results! ```dataview @@ -32,6 +34,7 @@ where completed group by file.name ``` # Calendar Tasks +- ANS Paper [startTime:: 13:30] [endTime:: 14:30] - ME 2046 HW1 [startTime:: 15:30] [endTime:: 16:30] - Lunch [startTime:: 12:30] [endTime:: 13:30] - ME 2046 HW1 [startTime:: 11:30] [endTime:: 12:30] From 4e81d707ef0393a73fc6b953b69101cd0a5c8c58 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Wed, 22 Jan 2025 13:48:00 -0500 Subject: [PATCH 23/23] vault backup: 2025-01-22 13:48:00 --- 1 Daily Notes/2025/2025-01-22.md | 2 +- visualization for ANS Paper.md | 8 ++++++++ 2 files changed, 9 insertions(+), 1 deletion(-) create mode 100644 visualization for ANS Paper.md diff --git a/1 Daily Notes/2025/2025-01-22.md b/1 Daily Notes/2025/2025-01-22.md index 9aa8b4d5..14a7f508 100644 --- a/1 Daily Notes/2025/2025-01-22.md +++ b/1 Daily Notes/2025/2025-01-22.md @@ -21,7 +21,7 @@ group by file.name - [ ] 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 - - [ ] Make new visualization for ANS Paper #NPIC2025 + - [ ] Make new [[visualization for ANS Paper]] #NPIC2025 - [ ] Write results section #NPIC2025 ## What's the results! diff --git a/visualization for ANS Paper.md b/visualization for ANS Paper.md new file mode 100644 index 00000000..6b96b2f6 --- /dev/null +++ b/visualization for ANS Paper.md @@ -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. \ No newline at end of file