Sökning: "Daniel Anders Andersson"
Hittade 3 uppsatser innehållade orden Daniel Anders Andersson.
1. Formalisering av Algoritmer och Matematiska Bevis En formalisering av Toom-Cook algoritmen i Coq med SSReflect
Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : Computer-aided formalization of mathematics has progressed in the last decade with the formalization of very large and complex proofs such as the proof of the Four color theorem and the Feit-Thompson theorem. In this report we present a formal proof of the Toom-Cook algorithm using the Coq proof assistant together with the SSReflect extension. LÄS MER
2. Lågviktigt mätsystem för obemannad luftburen radiometri
Kandidat-uppsats, Linköpings universitet/Institutionen för datavetenskap; Linköpings universitet/Tekniska högskolanSammanfattning : Syftet med detta examensarbete var att lära sig att genomföra ett programutvecklingsprojekt under realistiska förutsättningar och därigenom få erfarenheter som är relevanta för yrkeslivet. En grupp på åtta personer arbetade under en termin med ett projekt som handlade om utvecklingen av ett obemannat luftburet radiometrisystem. LÄS MER
3. Passive Aircraft Altimetry using GPS as a Bistatic Radar : A simulation model
Uppsats för yrkesexamina på grundnivå, Institutionen för systemteknikSammanfattning : A common way to measure height in aerial vehicles is to use a radar height altimeter (RHM). Since the RHM transmits radar pulses that can be detected, a passive alternative would be desirable in military applications. LÄS MER