Merge branch 'master' of https://github.com/DSLsofMath/BScProj2018

Author: AiStudent

Physics/src/Examples/Box_incline.lhs

@@ -2,9 +2,7 @@ Improvmenet:
     notation
     formulas
     tests
-
-
-
+    english
 
 Box on an incline
 =================

Physics/src/Examples/Teeter.lhs

@@ -17,6 +17,7 @@ Known values:
 > d = 0.75 # length
 > beam_L = 5.0 # length
 > two = 2.0 # one
+> g = 9.0 # acceleration
 
 ![Teeter](teeter.png){.float-img-left}
 
@@ -31,22 +32,24 @@ A torque (sv. vridmoment) is defined as:
 
 $$ \tau = distance\ from\ turning\ point \cdot force $$
 
-Since all force values will be composited of a mass and the gravitation, we can ignore the gravitation.
+(soon not to be) Since all force values will be composited of a mass and the gravitation, we can ignore the gravitation.
 
-$$ \tau = distance\ from\ turning\ point \cdot mass $$
+$$ \tau = distance\ from\ turning\ point \cdot mass \cdot gravitation $$
 
 
-> m1_torq = m1 *# beam_left_L 
+> m1_torq = m1 *# (g *# beam_left_L)
 
 To get the beams torque on one side, we need to divide by 2 because the beam's torque is spread out linearly (the density of the beam is equal everywhere), which means the left parts mass centrum is \emph{half the distance} of the left parts total length.
 
-$$ beamL_{\tau} = beamL_{M} \cdot \frac{distance}{2} $$
+$$ beamL_{\tau} = beamL_{M} \cdot gravity \cdot \frac{distance}{2} $$
 
-$$ beamL_{\tau} = \frac{beam\ left\ length}{beam\ length} \cdot beam_M \cdot \frac{beam\ left\ length}{2} $$
+where
 
-> beamL_torq = ((beam_left_L /# beam_L) *# beam_M) *# (beam_left_L /# two)
+$$ beamL_{M} = \frac{beam\ left\ length}{beam\ length} \cdot beam_M $$
 
-> beamR_torq = ((beam_right_L /# beam_L) *# beam_M) *# (beam_right_L /# two)
+> beamL_torq = ((beam_left_L /# beam_L) *# (beam_M *# g)) *# (beam_left_L /# two)
+
+> beamR_torq = ((beam_right_L /# beam_L) *# (beam_M *# g)) *# (beam_right_L /# two)
 
 We make an expression for $m2_{\tau}$, which involves our unknown distance x.
 

Rapport/include/Diskussion.tex

@@ -190,11 +190,7 @@ \subsection{Domänspecifika språk, fysik och pedagogiska aspekter}\label{sec:ba
 detta~\cite{kandidat2016}. Det kandidatarbetet resulterade också i ett
 läromaterial, skillnaden är att det arbetet behandlade signallära. Grundidén är
 dock densamma: att använda domänspecifika språk för att ge struktur till ett
-annat område.
-
-\textbf{TODO: Hur fick det för den gruppen?}
-
-Detta tycker vi visar på att det finns ett
+annat område. Dessutom finns kursen \textit{Classical Mechanics: A Computational Approach}~\cite{classical-mechanics-course-mit-2008} som också använde domänspecifika språk till att ge struktur till fysik. Detta tycker vi visar på att det finns ett
 akademiskt intresse för att använda domänspecifika språk i syfte att lära ut,
 och att idén som vi presenterar i denna rapport även går att applicera på
 andra områden. Nyttan att strukturera upp områden i väl avgränsade och

Rapport/include/Introduktion.tex

@@ -61,17 +61,22 @@ \section{Bakgrund}
 DSLsofMath, tidigare givits som berör både fysik och
 domänspecifika språk.
 %funktionell programmering.
-\textit{Classical Mechanics: A Computational Approach} gavs av Gerald Sussman
-och Jack Wisdom senast år 2008~\cite{classical-mechanics-course-mit-2008}.
-Denna kurs på avancerad nivå behandlar de fundamentala principerna för klassisk
-mekanik med hjälp av beräkningsidéer för att precist formulera principerna av
-mekanik, med början i Lagranges ekvationer och avslut i perturbationsteori
-(teori för approximationer av matematiska lösningar). I kursens bok~\cite{SICM}
-förklaras fysikaliska fenomen genom att visa datorprogram för att simulera dem,
-skrivna i språket Scheme. Denna typ av kurs är ovanlig och är, till
-projektgruppens kännedom, den enda kursen bortsett från DSLsofMath som knyter
-samman fysik, programmering och matematik på en symbolisk nivå för att förklara
-koncepten.
+\textit{Classical Mechanics: A Computational Approach} gavs av Gerald
+Sussman och Jack Wisdom senast år
+2008~\cite{classical-mechanics-course-mit-2008}.  Denna kurs på
+avancerad nivå behandlar de fundamentala principerna för klassisk
+mekanik med hjälp av beräkningsidéer för att precist formulera
+principerna av mekanik, med början i Lagranges ekvationer och avslut i
+perturbationsteori (teori för approximationer av matematiska
+lösningar). I kursens bok~\cite{SICM} förklaras fysikaliska fenomen
+genom att visa datorprogram för att simulera dem, skrivna i språket
+Scheme. Denna typ av kurs är ovanlig och är, till projektgruppens
+kännedom, den enda kursen bortsett från DSLsofMath som knyter samman
+fysik, programmering och matematik på en symbolisk nivå för att
+förklara koncepten. Skillnaden mot vårt projekt är att vi använder
+Haskell istället för Scheme, enbart behandlar fysik från Fysik för
+ingenjörer samt gör det på en nivå anpassad för datastudenter på
+Chalmers.
 
 Även tidigare har det genomförts ett kandidatarbete på Chalmers med anknytning till DSLsofMath.
 Vårterminen 2016 genomfördes kandidatarbetet \textit{Programmering som
@@ -85,7 +90,7 @@ \section{Bakgrund}
 programmeringsspråk, vilket utfördes av Scott N. Walck vid Lebanon Valley
 College~\cite{lebanon-physics}. Syftet med det projektet var att fördjupa
 studenters förståelse av fysik, med fokus på elektromagnetisk teori, genom att
-uttrycka fysiken med hjälp av funktionell programmering.
+uttrycka fysiken med hjälp av funktionell programmering. Skillnaden är att detta projekt ska förklara fysik från grunden medan~\cite{lebanon-physics} fördjupar kunskaper i fysik.
 
 \section{Projektets mål}