Sökresultat:
61 Uppsatser om Verification - Sida 3 av 5
Integration av simuleringsmodeller för bränslesystemet i JAS 39 Gripen
In this final thesis two simulation models have been integrated. The simulation models are models of JAS 39 Gripen?s fuel system, software and hardware. The time consuming and costly work to develop software has made the department of fuel system to build two models in Xmath/Systembuild. The software model also simplifies the comprehension of how the software in the control computer of the fuel system works.
Observatörer för skattning av verktygspositionen hos en industrirobot : Design, simulering och experimentell verifiering
This thesis approaches the problem of estimating the arm angles of an industrial robot with flexibilities in joints and links. Due to cost-cutting efforts in the industrial robots industry, weaker components and more cost-effective structures have been introduced which in turn has led to problems with flexibilities, nonlinearities and friction. In order to handle these challenging dynamic problems and achieve high accuracy this study introduces state observers to estimate the tool position.The observers use measurements of the motor angles and an accelerometer and the different evaluated observers are based on an Extended Kalman Filter and a deterministic variant. They have been evaluated in experiments on an industrial robot with two degrees of freedom. The experimental Verification shows that the state estimates can be highly accurate for medium frequency motions, ranging from 3-30Hz.
När lär flest mest bäst? : Hur förmågan att identifiera satser påverkas genom lärpersonlighetsanpassning
The main purpose of this C-essay is to answer the question: What have been the consequences and effects of the merit point system on language studies and the parties concerned (teachers, students and principals) during the school year of 2010/11?The merit point system is the result of a political decision and was implicated for the first time in the Swedish upper secondary school during the school year 2010/2011. Being a completely new phenomenon it is of great interest and importance to study its effects.The study in this essay also aims to verify, falsify or nullify two hypotheses very often referred to in the political discussions regarding the merit point system:The merit point system will replace affection and interest as main reasons for language studies in upper secondary school and cause a rectification amongst the students choices of additional courses.The merit point system will have a segregating effect upon society and make it harder for people to rise in society through education in the future.A Verification of these hypotheses would imply the appearance of an increased rectification amongst students as well as an orientation towards an in the future more segregated society.The empiric material has been collected and examined with qualitative as well as quantitative methods (questionnaires and interviews) and belongs epistemologically to the phenomenological and hermeneutical traditions..
Säkerhetskritiska standarder och FPGA
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.
Spelfilm i historieundervisningen : Nio lärares användande av spelfilm i historieundervisningen samt en analys av praktiskt, pedagogiskt användande av en spelfilm
The main purpose of this C-essay is to answer the question: What have been the consequences and effects of the merit point system on language studies and the parties concerned (teachers, students and principals) during the school year of 2010/11?The merit point system is the result of a political decision and was implicated for the first time in the Swedish upper secondary school during the school year 2010/2011. Being a completely new phenomenon it is of great interest and importance to study its effects.The study in this essay also aims to verify, falsify or nullify two hypotheses very often referred to in the political discussions regarding the merit point system:The merit point system will replace affection and interest as main reasons for language studies in upper secondary school and cause a rectification amongst the students choices of additional courses.The merit point system will have a segregating effect upon society and make it harder for people to rise in society through education in the future.A Verification of these hypotheses would imply the appearance of an increased rectification amongst students as well as an orientation towards an in the future more segregated society.The empiric material has been collected and examined with qualitative as well as quantitative methods (questionnaires and interviews) and belongs epistemologically to the phenomenological and hermeneutical traditions..
Minnesallokering och debugverktyg
The aim of this report is to give a description of a diploma work of 20 points that has been performed during the spring 2006 at Ericsson AB in Borås. The report accounts for the problem and procedure during the diploma work. The software used for this project was embedded in a radio link. The RAM in this radio link was divided into several regions where two were used for memory allocation. The current allocation of memory in the radio link was not optimized with regards to performance, security and memory use and the configuration used made it difficult to determine the memory use of the system and the actual memory need.
Förbättrad Kravhantering med hjälp av Lösningsinriktad Pedagogik
Abstract The purpose of writing this thesis was to improve methods during requirements engineering phase. Usercentred system engineering has some problem areas, which are examined and verified to create a new guideline for developers. This guideline tends to make requirements engineering more effective and help developers create more concrete requirements. It is not uncommon that system development projects ends up with unsatisfied users or delay in deliveries. The reasons are different kinds of communication problems between users and developers during Verification of requirements.
Implementering av höghastighetsgränssnitt i 0,15 µm halvledarprocess
This study investigated the possibility of implementing three standards, Transistion Minimized Differential Signaling (TMDS) and two versions of Stub Series Terminated Logic (SSTL), for inter-chip communication in a specific manufacturing process. The two SSTL standards were implemented in one transceiver system while TMDS was implemented in a separate system. The evaluation was done with Spice simulations on schematic level with some parasitic capacitance and resistance. The idea was to investigate the possibility of implementing these standards and get an idea of eventual shortcomings. In order to create models as a basis for evaluation, simulation environments with models for circuit board and packages were created and transmitters and receivers were designed.
Förbättrad Kravhantering med hjälp av Lösningsinriktad Pedagogik
Abstract
The purpose of writing this thesis was to improve methods during requirements
engineering phase. Usercentred system engineering has some problem areas, which
are examined and verified to create a new guideline for developers. This
guideline tends to make requirements engineering more effective and help
developers create more concrete requirements.
It is not uncommon that system development projects ends up with unsatisfied
users or delay in deliveries. The reasons are different kinds of communication
problems between users and developers during Verification of requirements.
There is a therapy model, called solution-focused therapy, used in family and
individual therapy. The model focuses on solutions for the future instead of
problems in the past.
Simulering av miljoner grindar med Count Algoritmen
A key part in the development and Verification of digital systems is simulation. But hardware simulators are expensive, and software simulation is not fast enough for designs with a large number of gates. As today?s digital zesigns constantly grow in size (number of gates), and that trend shows no signs to end, faster simulators handling millions of gates are needed. We investigate how to create a software gate-level simulator able to simulate a high number of gates fast.
Generisk Kravspecifikation
Denna rapport innehåller information från ett examensprojekt för två studenter från Jönköping Tekniska Högskola förlagt på företaget Fläkt Woods AB i Jönköping. Syftet med projektet har varit att framta en generisk kravspecifikation innehållande kravsättning och verifieringsmetoder samt redovisning av vilka krav som har testats.Metoden som använts är kvalitativa intervjuer av anställda verksamma inom utveckling av nya produkter. All denna information och input har bearbetats till en generisk kravspecifikation i ett Excel-format under förkortningen PRV (Product Requirement and Verification matrix). Projektet har haft stort fokus på att återkommande krav ska beskrivas i en form som ska kunna anpassas till så många av företagets produkter som möjligt. Detta har lett till att majoriteten av dessa återkommande krav har visats sig vara icke-funktionella och krav relaterat till lagar och direktiv.
Meritpoäng eller skoj? : en undersökning om meritpoängens konsekvenser för ämnet moderna språk och framtiden
The main purpose of this C-essay is to answer the question: What have been the consequences and effects of the merit point system on language studies and the parties concerned (teachers, students and principals) during the school year of 2010/11?The merit point system is the result of a political decision and was implicated for the first time in the Swedish upper secondary school during the school year 2010/2011. Being a completely new phenomenon it is of great interest and importance to study its effects.The study in this essay also aims to verify, falsify or nullify two hypotheses very often referred to in the political discussions regarding the merit point system:The merit point system will replace affection and interest as main reasons for language studies in upper secondary school and cause a rectification amongst the students choices of additional courses.The merit point system will have a segregating effect upon society and make it harder for people to rise in society through education in the future.A Verification of these hypotheses would imply the appearance of an increased rectification amongst students as well as an orientation towards an in the future more segregated society.The empiric material has been collected and examined with qualitative as well as quantitative methods (questionnaires and interviews) and belongs epistemologically to the phenomenological and hermeneutical traditions..
Temperatursprickor i ung betong : Utvärdering av projektering och utförande av åtgärder, samt utveckling av dimensioneringsmetod för kylsystem
The report contains three parts. The first part is a summary and overall presentation of thermalcracks and preventing measures against such cracks. This is a theoretical part where theinterested designer can get acquainted with various alternatives, be guided to more detailedliterature, and receive some practical information regarding the design of the respectivemeasures.The second part deals with calculation of the risk for thermal cracks and design of water coolingas a limiting measure. Two complementary methods are reviewed for efficient calculation:?the handbook method CraX1(by Lulea University of Technology) is used for quickVerification?finite differential analysis in the calculationtool ConTeSt Pro for more precise projectingHere is also presented a development of existing standards through design of the cooling systemby means of the Bernoulli equation.
Svensk vindkraft
Sweden's drinking water quality is considered to be high partly due to a high quality of the raw water and a well developed sewage infrastructure. Despite this, there is water contamination that could be prevented by installation of a sophisticated early warning system. Some of the major players in the production of drinking water have already invested in different types of early warning systems to ensure drinking water of high quality. There are various forms of early warning systems where automatic monitoring of E. Coli is an interesting alternative.
UML som stöd vid småskalig utveckling av ett inbyggt system
This project aims at investigating if the use of UML as a support to small-scale development ofan embedded system is relevant. The investigation is conducted by using UML during the initialphase of the development ofTelfafill, a filling machine by the company ?Telfafill AB?. The aimof the development of Telfafill is to separate the user interface from the control unit. In additionto this main objective, Telfafill AB would like possible changes to, and additions of,functionality of the filling machine to be investigated.Within the boundaries of this project, the development of Telfafill reached a full requirementspecification of the proposed system, and contact was made with potential external developers.No prototype construction had been started when the project ended.