Essays about: "zf"

Showing result 11 - 15 of 15 essays containing the word zf.

  1. 11. Diagonalizable algebras and the length of proofs

    University essay from Göteborgs universitet/Institutionen för filosofi, lingvistik och vetenskapsteori

    Author : Gunnar Adamsson; [2011-11-28]
    Keywords : ;

    Abstract : We rederive a theorem of Shavrukov [17] on the diagonaliz- able algebras of PA and ZF using an approach that differs ever-so slightly from the original. This gives a somewhat stronger result (which was im- plicit in the original proof) that we, coupled with a more careful analysis of the Parikh speed-up phenomenon, put to use by giving examples of how different choices of provability predicates for a given theory T can lead to non-isomorphic algebras. READ MORE

  3. 12. Modeling in MathWorks Simscapeby building a model of an automatic gearbox

    University essay from Avdelningen för systemteknik

    Author : Staffan Enocksson; [2011]
    Keywords : Simscape; MathWorks; Modeling; Simulation; Scania; Acusal;

    Abstract : The purpose of this thesis work has been to analyze the usability and the feasibility formodeling with MathWorks simulation tool Simscape by building a simplified model ofthe automatic gearbox ZF-ECOMAT 4 (HP 504 C / HP 594 C / HP 604 C). It hasbeen shown throughout the thesis how this model is build. READ MORE

  4. 13. PERFORMANCE EVALUATION OF LTE DOWNLINK WITH MIMO TECHNIQUES

    University essay from Blekinge Tekniska Högskola/Sektionen för ingenjörsvetenskap

    Author : Mengistu GESSESE; Olayinka OLADELE; [2010]
    Keywords : 3GPP LTE; 16QAM; 64QAM; EPS; ITU-B; MIMO; OFDM; OFDMA; SCFDMA; SSD; UMTS; ZF;

    Abstract : Long Term Evolution (LTE) of the Universal Mobile Telecommunication System (UMTS) also known as the Evolved Packet System (EPS) is a transilient move in the field of mobile communications. Such a revolution is necessitated by the unceasing increase in demand for high speed connections on networks, low latency and delay, low error rates and resilience because modern users and network applications have become increasingly dependent on these requirements for efficient functionality and performance. READ MORE

  5. 14. Application of a New Software Tool for the Automated Test of Automotive Electronic Control Unit Software

    University essay from Institutionen för systemteknik

    Author : Hanna Amlinger; [2009]
    Keywords : test automation; software in the loop; system testing;

    Abstract : Testing plays a very important role for assuring the quality of developed software. In a modern vehicle, more and more of the functionality is controlled by software and the complexity of the software always increases. The expectations on automating the testing process are to save time and to reach an even higher quality. READ MORE

  6. 15. The stable boundary layer over the ice covered Bothnian Bay

    University essay from Uppsala universitet/Institutionen för geovetenskaper

    Author : Magnus Carlsson; [2000]
    Keywords : ;

    Abstract : The turbulence structure in a stable boundary layer over ice has been studied. Data from the Bothnian Bay, measured during the BASIS field campaign in February/March 1998, have been used. Turbulence as well as wind- and temperature profiles were measured at three sites. READ MORE