74 lines
2.9 KiB
Markdown
Executable File
74 lines
2.9 KiB
Markdown
Executable File
---
|
|
creation_date: 2024-08-14
|
|
modification date: Wednesday 14th August 2024 13:20:25
|
|
tags: []
|
|
---
|
|
<< [[Weekly Note 2024-08-07]] | [[Weekly Note 2024-08-21]] >>
|
|
|
|
## This Week's Daily Notes
|
|
[[2024-08-07]]
|
|
[[2024-08-08]]
|
|
[[2024-08-09]]
|
|
[[2024-08-12]]
|
|
[[2024-08-13]]
|
|
|
|
## Last Week's Plan
|
|
ARCADE
|
|
1. Spin up the second beagleboard
|
|
2. Read a presentation from Andrew. Talks about future of ARCADE. Mentions HITL. [[Andrew's May 2024 ARCADE Presentation]]
|
|
3. Write about ARCADE Capabilities and what we want to use ARCADE to prove stuff with at Pitt. Reference [[2. (SR-CIST) Workshop on Security and Resiliency of Critical Infrastructure and Space Technologies]] website to look at topics. DGC mentioned security and resiliency of critical infrastructure
|
|
2. Diffusion
|
|
1. Presentation is presentable. Reverse process isn't super clear in the slides but I think I could explain it.
|
|
2. Need to talk about learning the NOISE versus the image
|
|
3. Write reverse process for simple 1D signal.
|
|
3. Rust
|
|
1. Eh 🤷♂️
|
|
4. [[Models All The Way Down - A Path Towards Software and Physical System Proof Synergy]]
|
|
1. DGC - Prevent talking out my ass.
|
|
2. New topic! [[ARCADE Implementation at the University of Pittsburgh]]
|
|
1. [[NUCE 2103 Final Exam]]
|
|
2. Look into if [[A Means to Formally Verify Controller Code Behaves as the Mathematical Model]] already exists
|
|
## Accomplishments
|
|
### ARCADE
|
|
Didn't do anything in particular.
|
|
Had a good talk with Robert about how we can architect things for FHE and TRTR paper.
|
|
**When is that due?? Is it just a presentation?**
|
|
### Diffusion
|
|
Presentation tomorrow.
|
|
### Rust
|
|
Nada
|
|
### [[ARCADE Implementation at the University of Pittsburgh]]
|
|
This has been the brunt of my work this past week. I've been writing by butt off to get this done. I was trying to be done today but I don't think it's going to happen. Either way, I'm going to share the overleaf with DGC to take a look at what is done so far so things can happen a little asynchronously.
|
|
|
|
Need to write about FORMAL 🕴methods and basics of seL4 and kOS.
|
|
|
|
At about 2000 words. 3 pages. No figures, no abstract so far.
|
|
### NUCE 2103
|
|
Class is complete. Got an A in the class!
|
|
### Tasks and Notes From This Past Week
|
|
|
|
```dataview
|
|
TASK
|
|
where completed and file.mtime >= this.file.mday - dur(7 days)
|
|
group by file.link
|
|
sort rows.file.mtime asc
|
|
|
|
```
|
|
### Papers read this past week
|
|
```dataview
|
|
table title as "Title", dateread as "Date Read"
|
|
where readstatus and dateread => this.creation_date-dur(7)
|
|
|
|
```
|
|
### Remarks
|
|
## This Week's Plan
|
|
### [[ARCADE Implementation at the University of Pittsburgh]]
|
|
- Finish this
|
|
- come up with a good title
|
|
|
|
### [[Fully Homomorphically Encrypted Control]]
|
|
* Pick up where Luis leaves off on the beaglebone and get things communicating
|
|
* Make a simulink model of a simple one pump reactor. More flow equals more power less flow equals less power. Control variable is flow rate, sensor value is temperature.
|
|
### Orientation for new students
|
|
- talk about gsa
|