Sök:

Sökresultat:

6 Uppsatser om Linjärprogrammeringsproblem - Sida 1 av 1

Hur vet vi att ett datorprogram g?r vad det s?ger att det g?r? Formell verifiering av hypergeometriska rekursionsrelationer med polynomkoefficienter

Detta arbete anv?nder formell verifiering f?r att unders?ka loopar inom programmering. Looparna som behandlas ses ekvivalent som hypergeometriska rekursionsrelationer. Arbetet unders?ker om l?sningen un till dessa hypergeometriska rekursionsrelationer med polynomkoefficienter alltid ?r heltalsv?rd.

Framtagning av antenn för mätning av mikrovågsläckage

Vid utveckling av luckor till mikrovågsugnar behöver mätningar göras över ett visst frekvensområde, för att kunna bestämma luckans karaktäristik. Målet med det här examensarbetet var att ta fram en lämplig antenn för att mäta mikrovågsläckage i frekvensomr ådet 2,35-2,60 GHz. Antennen ska anslutas till ett bentligt mätsystem för mikrovågseekt. De antenner som utvärderas är dels kommersiella antenner med linj är polarisation och dels en egendesignad mikrostripantenn med cirkulär polarisation.I rapporten beskrivs bland annat designprocessen för den egentillverkade antennen och de simuleringsresultat som erhållits. De simuleringsmjukvaror som användes vid designen var Advanced Design System från Agilent och QuickWave-3D från QWED.

Den hypergeometriska differentialekvationen och dess l?sningar i det komplexa planet

I detta kandidaterbete studeras Gauss hypergeometriska differentialekvation, samt hur den hypergeometriska funktionen kan anv?ndas f?r att l?sa kopplingsproblemet (jfr. eng. connection problem). Den hypergeometriska funktionen ger uttryck f?r de lokala l?sningarna kring differentialekvationens tre singulariteter.

Metaforer inom popul?rvetenskap

Jag har valt att ?vers?tta en popul?rvetenskaplig text fr?n spanska till svenska och d?refter unders?ka de metaforer som f?rekommer i k?lltexten, vad de f?rmedlar samt p? vilket s?tt dessa hanteras i ?vers?ttningen. I b?de k?ll- och m?ltexten f?rmedlades ?ldrandet som en linj?r, ej cyklisk process best?ende av f?rs?mringar av kroppsliga funktioner. M?nniskan liknades vid en maskin medan ting besj?lades och fenomen besj?lades.

Kommunkoncernbudget ? form och funktion

Syfte: Studien syftar till att unders?ka hur kommunala bolag inkluderas i budgetprocessen i svenska kommuner, samt att f?rst? till varf?r utvecklingen har lett till att inkludera de kommunala bolagen i budgetprocessen, utifr?n begreppet kommunkoncern och dess p?verkan p? ekonomistyrningen. Teori: I studien har institutionell teori, med fokus p? tvingande, mimetisk och normativ isomorfism anv?nts. ?ven teorier om spridning av id?er samt kritik i form av institutionellt entrepren?rskap har beaktats.

Kalibrerad f?r prestation. En kvantitativ studie om kroppskompositionens p?verkan p? fysiska tester hos juniorishockeyspelare

Syfte: Syftet med uppsatsen ?r att unders?ka samband mellan kroppskomposition och uth?llighetstest p? is samt st?ende l?ngdhopp hos kvinnliga och manliga juniorishockeyspelare. Metod: Studien ?r en kvantitativ tv?rsnittsstudie d?r 28 ishockeyspelare fr?n en elitverksamhet deltog, varav 15 kvinnor och 13 m?n. Deras ?lder var fr?n 15?19 ?r, med tr?ningserfarenhet i elitmilj? p? 0?3 ?r. En DXA-m?tning j?mf?rdes med st?ende l?ngdhopp p? barmark och uth?llighetstest p? is.