From 66e4790fc15f1229d6b19e4e5be9bf61997c1358 Mon Sep 17 00:00:00 2001 From: Bryan Newbold Date: Tue, 27 Oct 2020 23:14:07 -0700 Subject: 2020 oct notes --- 2020/10/2020-10-11.md | 59 ++++++++++++++++++++++++++++++++++ 2020/10/2020-10-24.md | 39 +++++++++++++++++++++++ 2020/10/2020-10-26.md | 2 ++ 2020/10/hot_tub_heating.md | 79 ++++++++++++++++++++++++++++++++++++++++++++++ 2020/10/other_models.md | 7 ++++ 2020/10/sexpr_syntax.md | 1 + 6 files changed, 187 insertions(+) create mode 100644 2020/10/2020-10-11.md create mode 100644 2020/10/2020-10-24.md create mode 100644 2020/10/2020-10-26.md create mode 100644 2020/10/hot_tub_heating.md create mode 100644 2020/10/other_models.md create mode 100644 2020/10/sexpr_syntax.md diff --git a/2020/10/2020-10-11.md b/2020/10/2020-10-11.md new file mode 100644 index 0000000..6f60ba1 --- /dev/null +++ b/2020/10/2020-10-11.md @@ -0,0 +1,59 @@ + +time to heat up domestic water: pasta pot, hot tub, etc + +function of starting temperature, environmental temperature, insulation, volume/surface area + +## Paper read: "The impact of mathematical modeling languages on model quality in systems biology" + + The impact of mathematical modeling languages on model quality in systems biology: A software engineering perspective + Christopher Sch¨olzel1, Valeria Blesius, Gernot Ernst, and Andreas Dominik + https://www.biorxiv.org/content/10.1101/2019.12.16.875260v3 + +Interesting refs: + +- [A long journey into reproducible computational neuroscience](https://www.frontiersin.org/articles/10.3389/fncom.2015.00030/full) +- Guidelines for Reproducibly Building and Simulating Systems Biology Models +- Is My Model Good Enough? Best Practices for Verification and Validation of Musculoskeletal Models and Simulations of Movement +- Antimony: A Modular Model Definition Language +- SimuPy: A Python Framework for Modeling and Simulating Dynamical Systems +- Systems Modeling and Programming in a Unified Environment Based on Julia +- Recent advances in biomedical simulations: a manifesto for model engineering + +> [...] Guyton model, which is probably among the most complicated monolithic models in systems biology [...] + +## Modia: Modelica-like in Julia + +Slides: https://modiasim.github.io/Modia.jl/slides/Systems-Modeling-and-Programming-Slides.pdf + +Code: https://github.com/ModiaSim/Modia.jl + +Expresses a strong interest in visual representation. + + +## Lean / mathlib + + + + + + +## Other + +Had not heard of "SimScape", a component of MATLAB along side Simulink. + +There is a somewhat arbitrary list of "100 theorems" used to compare systems +like Lean and Coq: . What would a model or +physical systems equivalent include? + +Interchange-like format for Modelica: + +What features should next modelthing iteration have? + +- s-expr native syntax +- modularity/hierarchy +- "hybrid" (including discrete) +- input: mathml +- output: c, wasm, julia, modelica, mathml, latex, text +- some datastore, with ability to fetch code from website/API + +What are the type systems and data model of computer algebra systems? diff --git a/2020/10/2020-10-24.md b/2020/10/2020-10-24.md new file mode 100644 index 0000000..384aa51 --- /dev/null +++ b/2020/10/2020-10-24.md @@ -0,0 +1,39 @@ + +## edn and s-expr syntax + +Got excited about edn ("extensible data notation"), which is sort of a +formalization of extended s-expressions from closure world. Could try to stick +to a subset of this syntax to get free parsing in several languages? Maybe just +as a place to start. + +- https://github.com/edn-format/edn +- https://crates.io/crates/edn-rs +- https://hackage.haskell.org/package/hedn + +Other s-expr notes and references: + +- https://github.com/rotty/lexpr-rs/blob/master/lexpr/docs/why.md +- r7rs-small syntax notes + + +## racket symalg package + + + +Every simply/basic API. Can convert to/from "algebraic expression" objects, +simple s-expr, infix, and latex. Has simplification, differentiation, and +evaluation helpers. + + +## Computer Algebra and Symbolic Computation books by Joel Cohen + +Fairly basic. Referenced from the racket symalg docs. + + +## Web Math Editors + +Nice simple formula editors, implemented in Javascript. Eg, fractions, +exponentials. integrals, greek symbols, etc. + +- +- diff --git a/2020/10/2020-10-26.md b/2020/10/2020-10-26.md new file mode 100644 index 0000000..2f2bbc9 --- /dev/null +++ b/2020/10/2020-10-26.md @@ -0,0 +1,2 @@ + +Reminded of asciimath, as well as jqmath. diff --git a/2020/10/hot_tub_heating.md b/2020/10/hot_tub_heating.md new file mode 100644 index 0000000..41ad793 --- /dev/null +++ b/2020/10/hot_tub_heating.md @@ -0,0 +1,79 @@ + +## Heating Water Pool Model + +For a pool of a given size (liters/gallons), with given insulation (R-value or +U-value), at an external air temperature, with/without a cover, with a given +input of electrical heating power, at a given initial temperature: + +- how long to heat to a given temperature +- power needed to maintain temperature +- how much energy to heat + +Assumptions/constraints: + +- atmospheric pressure +- water stays between freezing and boiling +- humidity? + +Overall refs: + +- [Energy Smart Pools Software](http://www.rlmartin.com/rspec/software.htm) + +### Units + +A BTU (Britich Thermal Unit) is the amount of heat (energy) which will increase +the temperature of one pound of water by one degree Fahrenheit. + +A calorie (SI) is the amount of heat (energy) which will increase the +temperature of one gram of water by one degree Celsius. + +1 BTU ~= 1055 Joule +1 BTU ~= 0.2931 watt hours +1 BTU ~= 252 calories + +Refs: + +- [Wikipedia: BTU](https://en.wikipedia.org/wiki/British_thermal_unit) + +### Heating + +heat capacity of water: 4200 Joules / Kelvin / gramm + +T: temperature +P: power (Watt) +t: time (second) +C: heat capacity (Joules / Kelvin) +m: mass (gramm) + +dT/dt = P / (C * m) + +### Conductive heat loss + +Conductive loss (walls, floor): + +theta: "heat flow rate" (Watt) +A: surface area (meter^2) +deltaT: temperature difference (Kelvin) +R_val: R-value (Kelvin * meter^2 / Watt) + +assertion: T >= T_env + +deltaT = T - T_env +theta = (deltaT * A) / R_val + +Refs: + +- [How To Calculate Heat Loss?](https://industrialheatingsystems.com/How-calculate-heat-loss.html) + +### Evaporative heat loss + +This part is trickier, lots of factors could be included. + +k_s: heat loss factor +deltaT: temperature difference (Kelvin) +A: surface area (meter^2) + +TODO + +- [Measurement and Analysis of Evaporation from an Inactive Outdoor Swimming Pool](http://www.rlmartin.com/rspec/whatis/studies_outdoor_inactive.htm) +- [How to Calculate Water Evaporation Loss in a Swimming Pool](https://dengarden.com/swimming-pools/Determine-Evaporation-Rate-for-Swimming-Pool) diff --git a/2020/10/other_models.md b/2020/10/other_models.md new file mode 100644 index 0000000..6b338eb --- /dev/null +++ b/2020/10/other_models.md @@ -0,0 +1,7 @@ + +## Wind Chill + +T_wc = 13.13 + 0.6 * T - (13.95 - 0.486 * T) * v^(0.16) + +T: temperature (Celsius) +v: wind velocity at 10m height (meter/second) diff --git a/2020/10/sexpr_syntax.md b/2020/10/sexpr_syntax.md new file mode 100644 index 0000000..d166b00 --- /dev/null +++ b/2020/10/sexpr_syntax.md @@ -0,0 +1 @@ +https://github.com/edn-format/edn -- cgit v1.2.3