Sökning: "identification of need for verification"
Visar resultat 1 - 5 av 18 uppsatser innehållade orden identification of need for verification.
1. Identification of shape errors in a parabolic solar collector : An improvement to the analysing algorithms examining the solar collector from optical measurements
Uppsats för yrkesexamina på avancerad nivå, Umeå universitet/Institutionen för fysikSammanfattning : Increasing global warming with droughts, forest fires and melting polar ice has forced the world to speed up the transition from fossil fuel to fossil free energy. A big part of it is the use of solar energy. To obtain solar thermal energy, different sorts of solar collectors have been developed. LÄS MER
2. Masters Thesis - Estimating Overlap of Verification and Testing Efforts Between Different Test Levels
Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : Context: Embedded systems (ES) are continuously growing in complexity and size in the automotive industry. The embedded software makes a larger part of the ES. Likewise, the testing process has become complex, larger, and difficult to control. This has led to the growing demand for test methods that would help to manage the testing process. LÄS MER
3. Application of formal verification and validation on modern multi-functional signalling system
Master-uppsats, KTH/TransportplaneringSammanfattning : Demand for rail transport is increasing day by day. Rail is popular in public transport due to punctuality, regularity, and safety. However, we hear daily that rail traffic still has many problems to solve about incidents, near misses, and signal errors. LÄS MER
4. Identification of de novo Transcription Factor Binding Motifs Created by Cancer-related Mutations
Master-uppsats, Uppsala universitet/Institutionen för biologisk grundutbildningSammanfattning : In many countries, cancer is one of the biggest threats for citizens’ health, especially among aged people. Genomic mutations play a crucial role in cancer cell development. In previous decades, cancer research has been mainly focused on mutations in coding regions. LÄS MER
5. Verifiering av en förstärkningslösning vid manuella serologiska metoder
Uppsats för yrkesexamina på grundnivå, Örebro universitet/Institutionen för hälsovetenskaperSammanfattning : IntroduktionDe humana blodgrupperna består av A, B, AB samt O. Antigen kan detekteras av alloantikroppar, att en reaktion sinsemellan kan ske är ett krav för att en molekyl ska kunna kallas antigen. LÄS MER