Sökning: "Erik Lindberg"

Visar resultat 6 - 10 av 20 avhandlingar innehållade orden Erik Lindberg.

  1. 6. Text and content : a text linguistic interpretation of a major aspect of "content" in Vladimir Tendrjakov's novella "Črezvyčajnoe"

    Författare :Carl-Erik Lindberg; Stockholms universitet; []
    Nyckelord :Tendrjakov; Vladimir Fedorovič; 1923-1984;

    Sammanfattning : .... LÄS MER

  3. 7. Localic Categories of Models and Categorical Aspects of Intuitionistic Ramified Type Theory

    Författare :Johan Lindberg; Erik Palmgren; Peter LeFanu Lumsdaine; Henrik Forssell; Benno van den Berg; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Topos theory; predicative topos theory; ramified type theory; type theory; localic groupoids; Mathematics; matematik;

    Sammanfattning : This thesis contains three papers, all in the general area of categorical logic, together with an introductory part with some minor results and proofs of known results which does not appear to be (easily) available in the literature.In Papers I and II we investigate the formal system Intuitionistic Ramified Type Theory (IRTT), introduced by Erik Palmgren, as an approach to predicative topos theory. LÄS MER

  4. 8. A Vibro-Acoustic Study of Vehicle Suspension Systems : Experimental and Mathematical Component Approaches

    Författare :Eskil Lindberg; Nils-Erik Hörlin; Peter Göransson; Henry Rice; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Acoustics; Vehicle suspension; Disc brake; Wheel rim Roughness noise; Interior tyre-road noise Component mode synthesis; Undeformed coupling interface;

    Sammanfattning : The objective of the present work is to study the vehicle suspension as a vibro-acoustic system of high complexity, consisting of many sub-systems with fundamentally different acoustical properties. In a parallel numerical and experimental modelling effort, important contributions to the understanding of its behaviour have been achieved. LÄS MER

  5. 9. Vehicle Disc Brake Roughness Noise : Experimental Study of the Interior Noise andVibro-Acoustic Modelling of Suspension Systems

    Författare :Eskil Lindberg; Nils-Erik Hörlin; Peter Göransson; Wolfgang Kropp; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; acoustics; disc brake; surface topography; wire brush noise; roughness noise; component mode synthesis; vehicle suspension;

    Sammanfattning : Prediction of vehicle disc brake roughness noise is a non-trivial challenge. In fact, neither the source mechanisms, nor the transfer paths are so far well understood. LÄS MER

  7. 10. Discrete Event Simulation of Bus Terminals

    Författare :Therese Lindberg; Jan T. Lundgren; Andreas Tapani; Anders Peterson; Erik Jenelius; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : Public transport is important to society as it provides spatial accessibility and reduces congestion and pollution in comparison to other motorized modes. To assure a high-quality service, all parts of the system need to be well-functioning and properly planned. One important aspect for the system's bus terminals is their capacity. LÄS MER