Skip to content

Commit c649969

Browse files
author
Oskar Lundström
committed
Skrev om dim i res och lade till tomma avsnitt för resten
1 parent ad7424d commit c649969

File tree

1 file changed

+14
-27
lines changed

1 file changed

+14
-27
lines changed

Rapport/include/Resultat.tex

Lines changed: 14 additions & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ \chapter{Resultat}
55

66
\section{Läromaterialet}\label{sec:res_laromaterial}
77

8-
Detta avsnitt innehåller en översikt av läromaterialet samt ett utdrag av vardera kapitel. Utdragen exemplifier delar av läromaterialet och implementationerna av domänspecifika språk. De fullständiga implementationerna är inte inkluderade (och förklarade) eftersom det är precis det läromaterialet innehåller. Rapporten skulle då bli en kopia av läromaterialet. Istället hänvisas till ett längre utdrag i bilaga~\ref{cha:utdrag} samt hemsidan där läromaterialet~\cite{LYAP} finns tillgängligt.
8+
Detta avsnitt innehåller en översikt av läromaterialet samt ett utdrag av vardera kapitel. Utdragen exemplifier delar av läromaterialet och implementationerna av domänspecifika språk. De fullständiga implementationerna är inte inkluderade (och förklarade) eftersom det är precis det läromaterialet innehåller. Rapporten skulle då bli en kopia av läromaterialet. Istället hänvisas till ett längre utdrag i bilaga~\ref{cha:utdrag} samt hemsidan där läromaterialet~\cite{LYAP} finns tillgängligt. De utdrag som finns är inga exakta kopior ord-för-ord av läromaterialet utan de har anpassats till rapporten.
99

1010
\subsection{Översikt}
1111

@@ -19,7 +19,7 @@ \subsection{Översikt}
1919

2020
\begin{figure}[tph]
2121
\centering
22-
\includegraphics[width=\linewidth]{figure/smakprov_ovning.png}
22+
\includegraphics[width=0.4\linewidth]{figure/smakprov_ovning.png}
2323
\caption{Exempel på en övning. Övningen ligger som en del av den löpande texten.}
2424
\label{fig:smakprov_ovning}
2525
\end{figure}
@@ -29,7 +29,7 @@ \subsection{Översikt}
2929

3030
\begin{figure}[tph]
3131
\centering
32-
\includegraphics[width=\linewidth]{figure/smakprov_bild_laromaterial.png}
32+
\includegraphics[width=0.4\linewidth]{figure/smakprov_bild_laromaterial.png}
3333
\caption{Exempel på en bild. Bilden visar hur en hund springer och hoppar upp på en stillastående vagn.}
3434
\label{fig:smakprov_bild_laromaterial}
3535
\end{figure}
@@ -85,7 +85,7 @@ \subsection{Översikt}
8585
antal delvis färdigställda områden, till exempel bevisföring. Texten i
8686
läromaterialet är skriven på engelska.
8787

88-
\subsection{Implementation av dimensioner}
88+
\subsection{Dimensioner}
8989
\label{sec:grund_impl}
9090

9191
I detta avsnitt visas delar av hur implementationen av dimensioner ser ut i läromaterialet. Den fullständiga implementationen innehåller tre delar:
@@ -98,11 +98,7 @@ \subsection{Implementation av dimensioner}
9898

9999
Dimensioner på värdenivå används för att enkelt kunna skriva ut dimensioner i GHCi. Dimensioner på typnivå används för att ge typsäkerhet till dimensioner, så att till exempel en längd och en massa inte kan adderas, likt att ett värde av typ \texttt{Double} och \texttt{Integer} inte kan adderas i Haskell. Till sist kombineras de två varianterna av dimensioner till en datatyp för storheter som aritmetiska operationer kan utföras på.
100100

101-
Den del som visas här är början av implementationen av dimensioner på värdenivå. Texten är på engelska eftersom läromaterialet är på engelska. Förutom formateringen är det precis som nedanstående som läromaterialet ser ut.
102-
103-
\begin{displayquote}
104-
105-
A dimension can be seen as a product of the base dimensions, with an individual exponent on each base dimension. Because the 7 base dimensions are known in advance, we can design our data type using this fact.
101+
Dimensioner kan ses som en produkt av de 7 basdimensionerna\footnote{Längd, massa, tid, elektrisk ström, temperatur, substansmängd och ljusstyrka.}, med en indiviudell exponent till varje basdimension. Datatypen, på värdenivå, som används ser därför ut som följande
106102

107103
\begin{lstlisting}[frame=none,belowskip=-0.5\baselineskip]
108104
data Dim = Dim Integer -- Length
@@ -115,38 +111,29 @@ \subsection{Implementation av dimensioner}
115111
deriving (Eq)
116112
\end{lstlisting}
117113

118-
Each field denotes the exponent for the corresponding base dimension. If the exponent is 0, the base dimension is not part of the dimension. Some examples should clarify.
114+
Varje fält i datatypen representerar exponenten för motsvarande basdimension. Om exponenten är $0$ betyder det att den basdimension inte är inkluderad i dimensionen. Några exempel ges för att förtydliga.
119115

120116
\begin{lstlisting}[frame=none,belowskip=-0.5\baselineskip]
121117
length = Dim 1 0 0 0 0 0 0
122118
mass = Dim 0 1 0 0 0 0 0
123119
time = Dim 0 0 1 0 0 0 0
124-
current = Dim 0 0 0 1 0 0 0
125-
temperature = Dim 0 0 0 0 1 0 0
126-
substance = Dim 0 0 0 0 0 1 0
127-
luminosity = Dim 0 0 0 0 0 0 1
128120

129121
velocity = Dim 1 0 (-1) 0 0 0 0
122+
acceleration = Dim 1 0 (-1) 0 0 0 0
123+
area = Dim 2 0 0 0 0 0 0
130124
\end{lstlisting}
131125

132-
Velocity is $m/s$ or equivalently $m^1*s^{-1}$. This explains why the exponents are as above.
133-
134-
Noticed how we used ``m'' (for metre) for implicitly refering to the dimension ``length''? It’s quite natural to work this way.
126+
Hastighet skrivs vanligtvis som $\frac{m}{s}$ men ekvivalent är att skriva $m^1*s^{-1}$ vilket förklarar varför värdena ovan ser ut som de gör.
135127

136-
\textbf{Exercise} Create values for acceleration, area and charge.
128+
I resterande del av detta kapitel i läromaterialet visas hur multiplikation och division samt hur en \textit{utskriftsfunktion}, som skriver ut ett värde snyggt, kan implementeras. Därefter följer ett antal delkapitel som innehåller testning, typnivådimensioner och storheter. Som tidigare nämnt inkluderas de inte här eftersom då skulle rapporten och läromaterialet bli precis samma text.
137129

138-
\textbf{Solution}
139-
\begin{lstlisting}[frame=none,belowskip=-0.5\baselineskip]
140-
acceleration = Dim 1 0 (-2) 0 0 0 0
141-
area = Dim 2 0 0 0 0 0 0
142-
charge = Dim 0 0 1 1 0 0 0
143-
\end{lstlisting}
130+
\subsection{Matematisk analys}
144131

145-
\end{displayquote}
132+
\subsection{Vektorer}
146133

147-
Det skapas med andra ord en datatyp för dimensioner som använder sig av en exponent för varje basdimension. I resterande del av detta delkapitel visas hur multiplikation och division samt hur en \textit{utskriftsfunktion}, som skriver ut ett värde snyggt, kan implementeras. Därefter följer ett antal delkapitel som innehåller testning, typnivådimensioner och storheter. Som tidigare nämnt inkluderas de inte här eftersom då skulle rapporten och läromaterialet bli precis samma text.
134+
\subsection{Exempelproblem}
148135

149-
\subsection{Implementation av partikelmekanik}
136+
\subsection{Partikelmekanik}
150137

151138
Implementationen av komposita områden var en vidareutveckling av de redan
152139
implementerade grundläggande områdena. Detta utfördes genom att kombinera

0 commit comments

Comments
 (0)