Verifiering med hjälp av dator av två oberoende formler för beräkning av antalet lösningar för linjära kongruenssystem med två eller tre obekanta..

Verifiering med hjälp av dator av två oberoende formler för beräkning av antalet lösningar för linjära kongruenssystem med två eller tre obekanta..

Detta arbete handlar om beteendeinriktad biometri och artificiella neuronnät av typen feedforward och hur de tillsammans kan användas för att verifiera användare. Det har av tidigare arbete bekräftats att det är möjligt att verifiera användare, men tidigare resultat har däremot inte utfört tester med avseende på avvikelser i data (beteende) och dess inverkan på Verifieringen. Det är detta som utgör det huvudsakliga målet för detta arbete, nämligen att undersöka hur avvikelser i data påverkar Verifiering och utifrån det också undersöka neuronnätens noggrannhet vid Verifiering..

En grafisk ritare i flygande system måste under dess utveckling verifieras för att bekräfta att den fungerar. Då bilderna som ritas inte behöver vara identiska mot referensbilder genererade av en fungerande ritare så ställer det krav på Verifieringsprocessen att kunna acceptera en viss grad av "fel". Att automatisera den processen är i högsta grad intressant för att minska kostnaden. Uppsatsen presenterar en samling lösningar på delproblem som kan uppstå, däribland ett sätt att utvinna eventuell transformation mellan två bilder..

En grafisk ritare i flygande system måste under dess utveckling verifieras för att bekräfta att den fungerar. Då bilderna som ritas inte behöver vara identiska mot referensbilder genererade av en fungerande ritare så ställer det krav på Verifieringsprocessen att kunna acceptera en viss grad av "fel". Att automatisera den processen är i högsta grad intressant för att minska kostnaden. Uppsatsen presenterar en samling lösningar på delproblem som kan uppstå, däribland ett sätt att utvinna eventuell transformation mellan två bilder..

IEC 61508, ISO 26262, DO-254 och CENELEC EN 5012x är alla standarder för utveckling av säkerhetskritiska system. Dessa fyra är applicerbara på bilar upp till 3.5 ton (ISO 26262), flyg (DO-254), tåg (Cenelec EN 5012x) samt IEC 61508 vilket är en standard för flertalet industrigrenar.När ett säkerhetskritiskt system skall implementeras i en FPGA så kan problem uppstå. Detta för att en FPGA ibland räknas till hårdvara men utvecklingen följer samma mönster som mjukvaruutveckling. Detta examensarbetes huvuduppgift är att klargöra hur de olika standarderna ser på FPGA utveckling samt Verifiering med hjälp av utökad funktionell Verifiering.Uppsatsen är uppdelad i två delar. Den första delen behandlar de säkerhetskritiska standarderna.

Metso Paper i Sundsvall AB utvecklar och tillverkar utrustning för pappersindustrin. En av huvudprodukterna är TwinRoll pressar. TwinRoll pressarna är konstruerade mot kundorder och enstyckstillverkade. Innan de levereras till kund ska de verifieras genom en slutkontroll. Idag utförs denna Verifiering med hjälp av komplett montering.

Sekretessbelagd.

I dagens samhälle krävs bra och billiga lösningar till det mesta. Detta gäller i högsta grad inom flygindustrin där komponenters tillverkningskostnad och vikt ska vara så liten som möjligt. Det går dock inte att uppfylla detta till kostnad av funktion eller tillförlitlighet. Ett sätt som ska tillgodose kriterierna är att använda svetsade delar istället för gjutgods.Detta har Volvo Aero i Trollhättan tagit fasta på och i syfte att effektivisera beräkningsgången för bland annat svetsar har avdelning 7162, Hållfasthet och Strukturdynamik, påbörjat ett projekt som ska ta fram ett underlag till detta. Bland annat har ett eget sprickpropageringsprogram för svetsar, VACWELD, skrivits och används som en del av beräkningsprocessen.På uppdrag av Volvo Aero i Trollhättan har examensarbete med syfte att verifiera VACWELD genomförts.

Bakgrund: Skandaler vilka härrör till brister i den interna kontrollen har under det senaste decenniet uppdagats. Med bakgrund i skandalerna har regelverk och koder inom bolagsstyrningsområdet växt fram och som en följd av detta upprättades Svensk kod för bolagsstyrning. I Koden regleras den interna kontrollen, avseende de finansiella rapporterna, vilken talar om att styrelsen kontinuerligt ska se till och utvärdera att bolaget har god intern kontroll samt årligen avge rapporter över hur den interna kontrollen är organiserad. Med den knapphändiga information som Koden ger, samt avsaknaden av klara riktlinjer över hur arbetet i praktiken kan utföras, ansåg vi det av vikt att ta reda på hur bolag kan gå tillväga för att beskriva och utvärdera den interna kontrollen i syfte att tillmötesgå de krav som ställs inom ramen för Svensk kod för bolagsstyrning.Syfte: Uppsatsens syfte är att göra en beskrivning och en analys av svenska företags val av metod och Verifiering av intern kontroll med avseende på de finansiella rapporterna, i enlighet med Svensk kod för bolagsstyrning.Genomförande: Empiriinsamlingen till denna studie har skett genom intervjuer och en survey-undersökning samt genom en inblick i en konkret organisations tillvägagångssätt. Survey-undersökningen omfattade alla de bolag som i dagsläget tillämpar Svensk kod för bolagsstyrning och intervjuerna genomfördes med representanter från fyra revisionsbolag, Ekonomistyrningsverket och Kollegiet.

Detta examensarbete ämnar att undersöka samt föreslå hur kvalitetssäkring kan utföras för att införliva kundens behov och intresse till en färdig produkt som kunden vill köpa. Syftet är att skapa en fördjupad kunskapsbild kring kvalitetssäkring för företag. Utförandet sker genom en kvalitativ metodprocess i form av en fallstudie för att studera, analysera och beskriva fenomenet. Det är av intresse eftersom krav på kvalitet ständigt ökar då nya tekniska lösningar tillkommer och nya former av affärsverksamheter uppstår. Kunder kräver produkter med bättre kvalitet, lägre pris, bättre prestanda och allt detta till en ständigt minskad leveranstid.

Vid mätning av HbA1c i blod visas medelkoncentrationen av glukos som en person har haft under de senaste tre månaderna och analysen används vid uppföljning av patienter med diabetes mellitus. DCA VantageTM är ett patientnära analysinstrument som utvecklats för att kunna utföra laboratorieanalyser inom till exempel primärvården. Patientnära analysinstrument är viktiga för att minska tiden från provtagning till behandling. DCA VantageTM är ett halvautomatiskt analyssystem som utformats för kvantitativa mätningar av HbA1c i blod. Syftet med studien var att utföra en Verifiering för att se om DCA VantageTM (immunoturbimetrisk metod) kunde användas som ett komplementinstrument till VariantTM II Turbo (high performance liquid chromatography, HPLC).

Vid mätning av HbA1c i blod visas medelkoncentrationen av glukos som en person har haft under de senaste tre månaderna och analysen används vid uppföljning av patienter med diabetes mellitus. DCA VantageTM är ett patientnära analysinstrument som utvecklats för att kunna utföra laboratorieanalyser inom till exempel primärvården. Patientnära analysinstrument är viktiga för att minska tiden från provtagning till behandling. DCA VantageTM är ett halvautomatiskt analyssystem som utformats för kvantitativa mätningar av HbA1c i blod. Syftet med studien var att utföra en Verifiering för att se om DCA VantageTM (immunoturbimetrisk metod) kunde användas som ett komplementinstrument till VariantTM II Turbo (high performance liquid chromatography, HPLC).

Vid mätning av HbA1c i blod visas medelkoncentrationen av glukos som en person har haft under de senaste tre månaderna och analysen används vid uppföljning av patienter med diabetes mellitus. DCA VantageTM är ett patientnära analysinstrument som utvecklats för att kunna utföra laboratorieanalyser inom till exempel primärvården. Patientnära analysinstrument är viktiga för att minska tiden från provtagning till behandling. DCA VantageTM är ett halvautomatiskt analyssystem som utformats för kvantitativa mätningar av HbA1c i blod. Syftet med studien var att utföra en Verifiering för att se om DCA VantageTM (immunoturbimetrisk metod) kunde användas som ett komplementinstrument till VariantTM II Turbo (high performance liquid chromatography, HPLC).

Målet med detta examensarbete är att minska risken för olyckor där grävmaskiner, med borr- eller pålmast monterad, är inblandade. För att kunna uppnå detta mål, har ett beräkningsprogram skapats som definierar ett säkert arbetsområde innan ostabilitet inträffar. Detta har gjorts genom att studera tidigare forskningsarbeten inom området samt Verifiering av beräkningsprogrammet med hjälp av en fallstudie och data om maximal lyftkapacitet för grävmaskinen..