Skip to content

Commit

Permalink
Implementation (#52)
Browse files Browse the repository at this point in the history 
* wrote the implementation section, a readthrough is needed

* typos and typographical corrections to introduction and implementation sections

---------

Co-authored-by: Daniel Runge Petersen <54961055+Daniel-Runge@users.noreply.github.com>
Co-authored-by: Daniel Runge Petersen <rungedaniel@hotmail.com>
  • Loading branch information
@sebastianbot6969 @Daniel-Runge
3 people authored Dec 11, 2024
1 parent 7f16979 commit 8208ac3
Show file tree
Hide file tree
Showing 14 changed files with 704 additions and 21 deletions.
8 changes: 8 additions & 0 deletions report/src/bib/main.bib
View file
Original file line number Diff line number Diff line change
Expand Up @@ -137,6 +137,14 @@ @inproceedings{reynouard2023jajapy
organization={Springer}
}


@article{somenzi1997cudd,
author = {Fabio Somenzi},
title = {CUDD: CU Decision Diagram Package},
journal = {Public Software, University of Colorado},
year = {1997},
}

@article{p7,
author = {Hansen, Lars Emanuel and Ståhl, Casper and Petersen, Daniel Runge and Aaholm, Sebastian and Jakobsen, Anders Malta},
title = {Symbolic Parameter Estimation of Continuous-Time Markov Chains},
Expand Down
19 changes: 19 additions & 0 deletions report/src/figures/add_example_hadamard.tex
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
\begin{tikzpicture}[
level 1/.style={sibling distance=20mm},
level 2/.style={sibling distance=10mm},
level 3/.style={sibling distance=10mm}
]
\node[c] {$x_1$}
child{ node[c] {$y_1$} edge from parent[zeroarrow]
child{ node[t] {5}
}
child{ node [t] {12} edge from parent[onearrow]
}
}
child{ node[c] {$y_1$} edge from parent[onearrow]
child{ node[t] {21} edge from parent[zeroarrow]
}
child{ node[t] {32} edge from parent[onearrow]}
}
;
\end{tikzpicture}
19 changes: 19 additions & 0 deletions report/src/figures/add_example_hadamard_div.tex
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
\begin{tikzpicture}[
level 1/.style={sibling distance=35mm},
level 2/.style={sibling distance=20mm},
level 3/.style={sibling distance=15mm}
]
\node[c] {$x_1$}
child{ node[c] {$y_1$} edge from parent[zeroarrow]
child{ node[t] {0.2}
}
child{ node [t] {0.3333} edge from parent[onearrow]
}
}
child{ node[c] {$y_1$} edge from parent[onearrow]
child{ node[t] {0.4286} edge from parent[zeroarrow]
}
child{ node[t] {0.5} edge from parent[onearrow]}
}
;
\end{tikzpicture}
53 changes: 53 additions & 0 deletions report/src/figures/add_example_katri_rao.tex
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,53 @@
\begin{tikzpicture}[
level 1/.style={sibling distance=80mm},
level 2/.style={sibling distance=40mm},
level 3/.style={sibling distance=20mm},
level 4/.style={sibling distance=10mm}
]
\node[c] {$x_1$}
child{ node[c] {$y_1$} edge from parent[zeroarrow]
child{ node[c] {$x_2$}
child{ node[c] {$y_2$}
child{ node[t] {5}}
child{ node[t] {6} edge from parent[onearrow]}
}
child{ node[c] {$y_2$} edge from parent[onearrow]
child{ node[t] {10} edge from parent[zeroarrow]}
child{ node[t] {12}}
}
}
child{ node [c] {$x_2$} edge from parent[onearrow]
child{ node[c] {$y_2$} edge from parent[zeroarrow]
child{ node[t] {21}}
child{ node[t] {24} edge from parent[onearrow]}
}
child{ node[c] {$y_2$} edge from parent[onearrow]
child{ node[t] {28} edge from parent[zeroarrow]}
child{ node[t] {32}}
}
}
}
child{ node[c] {$y_1$} edge from parent[onearrow]
child{ node [c] {$x_2$} edge from parent[zeroarrow]
child{ node[c] {$y_2$}
child{ node[t] {0}}
child{ node[t] {0} edge from parent[onearrow]}
}
child{ node[c] {$y_2$} edge from parent[onearrow]
child{ node[t] {0} edge from parent[zeroarrow]}
child{ node[t] {0}}
}
}
child{ node [c] {$x_2$} edge from parent[onearrow]
child{ node[c] {$y_2$} edge from parent[zeroarrow]
child{ node[t] {0}}
child{ node[t] {0} edge from parent[onearrow]}
}
child{ node[c] {$y_2$} edge from parent[onearrow]
child{ node[t] {0} edge from parent[zeroarrow]}
child{ node[t] {0}}
}
}
}
;
\end{tikzpicture}
53 changes: 53 additions & 0 deletions report/src/figures/add_example_kroneker.tex
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,53 @@
\begin{tikzpicture}[
level 1/.style={sibling distance=80mm},
level 2/.style={sibling distance=40mm},
level 3/.style={sibling distance=20mm},
level 4/.style={sibling distance=10mm}
]
\node[c] {$x_1$}
child{ node[c] {$y_1$} edge from parent[zeroarrow]
child{ node[c] {$x_2$}
child{ node[c] {$y_2$}
child{ node[t] {5}}
child{ node[t] {6} edge from parent[onearrow]}
}
child{ node[c] {$y_2$} edge from parent[onearrow]
child{ node[t] {10} edge from parent[zeroarrow]}
child{ node[t] {12}}
}
}
child{ node [c] {$x_2$} edge from parent[onearrow]
child{ node[c] {$y_2$} edge from parent[zeroarrow]
child{ node[t] {7}}
child{ node[t] {8} edge from parent[onearrow]}
}
child{ node[c] {$y_2$} edge from parent[onearrow]
child{ node[t] {14} edge from parent[zeroarrow]}
child{ node[t] {16}}
}
}
}
child{ node[c] {$y_1$} edge from parent[onearrow]
child{ node [c] {$x_2$} edge from parent[zeroarrow]
child{ node[c] {$y_2$}
child{ node[t] {15}}
child{ node[t] {18} edge from parent[onearrow]}
}
child{ node[c] {$y_2$} edge from parent[onearrow]
child{ node[t] {20} edge from parent[zeroarrow]}
child{ node[t] {24}}
}
}
child{ node [c] {$x_2$} edge from parent[onearrow]
child{ node[c] {$y_2$} edge from parent[zeroarrow]
child{ node[t] {21}}
child{ node[t] {24} edge from parent[onearrow]}
}
child{ node[c] {$y_2$} edge from parent[onearrow]
child{ node[t] {28} edge from parent[zeroarrow]}
child{ node[t] {32}}
}
}
}
;
\end{tikzpicture}
19 changes: 19 additions & 0 deletions report/src/figures/add_example_muliplication.tex
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
\begin{tikzpicture}[
level 1/.style={sibling distance=20mm},
level 2/.style={sibling distance=10mm},
level 3/.style={sibling distance=10mm}
]
\node[c] {$x_1$}
child{ node[c] {$y_1$} edge from parent[zeroarrow]
child{ node[t] {19}
}
child{ node [t] {22} edge from parent[onearrow]
}
}
child{ node[c] {$y_1$} edge from parent[onearrow]
child{ node[t] {43} edge from parent[zeroarrow]
}
child{ node[t] {50} edge from parent[onearrow]}
}
;
\end{tikzpicture}
19 changes: 19 additions & 0 deletions report/src/figures/add_example_sum.tex
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
\begin{tikzpicture}[
level 1/.style={sibling distance=20mm},
level 2/.style={sibling distance=10mm},
level 3/.style={sibling distance=10mm}
]
\node[c] {$x_1$}
child{ node[c] {$y_1$} edge from parent[zeroarrow]
child{ node[t] {6}
}
child{ node [t] {8} edge from parent[onearrow]
}
}
child{ node[c] {$y_1$} edge from parent[onearrow]
child{ node[t] {10} edge from parent[zeroarrow]
}
child{ node[t] {12} edge from parent[onearrow]}
}
;
\end{tikzpicture}
19 changes: 19 additions & 0 deletions report/src/figures/add_example_transpose.tex
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
\begin{tikzpicture}[
level 1/.style={sibling distance=20mm},
level 2/.style={sibling distance=10mm},
level 3/.style={sibling distance=10mm}
]
\node[c] {$y_1$}
child{ node[c] {$x_1$} edge from parent[zeroarrow]
child{ node[t] {1}
}
child{ node [t] {3} edge from parent[onearrow]
}
}
child{ node[c] {$x_1$} edge from parent[onearrow]
child{ node[t] {2} edge from parent[zeroarrow]
}
child{ node[t] {4} edge from parent[onearrow]}
}
;
\end{tikzpicture}
53 changes: 53 additions & 0 deletions report/src/figures/vector_add_example.tex
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,53 @@
\begin{tikzpicture}[
level 1/.style={sibling distance=80mm},
level 2/.style={sibling distance=40mm},
level 3/.style={sibling distance=20mm},
level 4/.style={sibling distance=10mm}
]
\node[c] {$x_1$}
child{ node[c] {$y_1$} edge from parent[zeroarrow]
child{ node[c] {$x_2$}
child{ node[c] {$y_2$}
child{ node[t] {1}}
child{ node[t] {2} edge from parent[onearrow]}
}
child{ node[c] {$y_2$} edge from parent[onearrow]
child{ node[t] {3} edge from parent[zeroarrow]}
child{ node[t] {4}}
}
}
child{ node [c] {$x_2$} edge from parent[onearrow]
child{ node[c] {$y_2$} edge from parent[zeroarrow]
child{ node[t] {0}}
child{ node[t] {0} edge from parent[onearrow]}
}
child{ node[c] {$y_2$} edge from parent[onearrow]
child{ node[t] {0} edge from parent[zeroarrow]}
child{ node[t] {0}}
}
}
}
child{ node[c] {$y_1$} edge from parent[onearrow]
child{ node [c] {$x_2$} edge from parent[zeroarrow]
child{ node[c] {$y_2$}
child{ node[t] {0}}
child{ node[t] {0} edge from parent[onearrow]}
}
child{ node[c] {$y_2$} edge from parent[onearrow]
child{ node[t] {0} edge from parent[zeroarrow]}
child{ node[t] {0}}
}
}
child{ node [c] {$x_2$} edge from parent[onearrow]
child{ node[c] {$y_2$} edge from parent[zeroarrow]
child{ node[t] {0}}
child{ node[t] {0} edge from parent[onearrow]}
}
child{ node[c] {$y_2$} edge from parent[onearrow]
child{ node[t] {0} edge from parent[zeroarrow]}
child{ node[t] {0}}
}
}
}
;
\end{tikzpicture}
23 changes: 23 additions & 0 deletions report/src/figures/vector_add_example_reduced.tex
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
\begin{tikzpicture}[node distance=1cm and 0.5cm]
\node[c] (a) {$y_1$};
\node[c] (b) [below left=of a] {$x_2$};
\node[c] (c) [below left=of b] {$y_2$};
\node[c] (d) [below right=of b] {$y_2$};

\node[t] (final-1) [below left=of c] {1};
\node[t] (final-2) [below right=of c] {2};
\node[t] (final-3) [right=of final-2] {3};
\node[t] (final-4) [right=of final-3] {4};
\node[t] (final-5) [right=of final-4] {0};


\draw[zeroarrow] (a) -- (b);
\draw[zeroarrow] (b) -- (c);
\draw[onearrow] (b) -- (d);
\draw[zeroarrow] (c) -- (final-1);
\draw[onearrow] (c) -- (final-2);
\draw[zeroarrow] (d) -- (final-3);
\draw[onearrow] (d) -- (final-4);
\draw[onearrow] (a) -- (final-5);

\end{tikzpicture}
2 changes: 2 additions & 0 deletions report/src/main.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,8 @@

\input{sections/01-introduction}
\input{sections/02-preliminaries}
\input{sections/03-implementation.tex}

\input{sections/definitions}
\input{sections/hmm-example}
\input{sections/class-diagram}
Expand Down
Loading

0 comments on commit 8208ac3

Please sign in to comment.