Sökning: "Teoretisk elektroteknik"

Visar resultat 11 - 15 av 40 avhandlingar innehållade orden Teoretisk elektroteknik.

  1. 11. Design and Characterization of Functional Structures for Electromagnetic Waves

    Författare :Andreas Ericsson; Teoretisk elektroteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Electromagnetic scattering; functional structure; circular polarization selective structure; reflector antenna; electromagnetic absorber; radar cross section; compressive sensing; triaxial weave; homogenization; physical optics;

    Sammanfattning : This dissertation deals with design and characterization of functional structures for scattering of electromagnetic waves. An abundance of these structures can be found in nature, such as the structural coloration in the feathers of a peacock, the scales of butterflies and the shell of scarab beetles. LÄS MER

  3. 12. Design of Functional Structures and Measurement Techniques for Electromagnetic Waves

    Författare :Johan Lundgren; Teoretisk elektroteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; functional structures; frequency selective structures; polarization selectivity; metasurface; near-field measurements; antenna measurements; scattering measurement; power density; random media;

    Sammanfattning : Electromagnetic fields exist all around us. Through evolution, nature has developed tools to interact and use these fields, where our eyes are a spectacular example. Humans have a long history of developing structures and objects of their own to alter and interact with these fields. LÄS MER

  4. 13. Modeling Analog to Digital Converters at Radio Frequency

    Författare :Niclas Björsell; Peter Händel; Niclas Keskitalo; Linus Michaeli; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; ADC; Analog to Digital Converters; Signal processing; Telecommunication; Telekommunikation; Electronics;

    Sammanfattning : Det här arbetet handlar om att ta fram beteendemodeller av analog till digital omvandlare avsedda för tillämpningar i radiofrekvensområdet. Det gäller tillämpningar inom telekommunikation men även in test- och mätinstrument där omvandlingen från analoga till digitala signaler ofta är en prestandamässig flaskhals. LÄS MER

  5. 14. Logics for Information Flow Security:From Specification to Verification

    Författare :Musard Balliu; Mads Dam; David Naumann; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; Datalogi;

    Sammanfattning : Software is becoming  increasingly  ubiquitous and today we find software running everywhere. There is software driving our favorite  game  application or  inside the web portal we use to read the morning  news, and   when we book a vacation. LÄS MER

  7. 15. Automatic Extraction of Program Models for Formal Software Verification

    Författare :Pedro de Carvalho Gomes; Dilian Gurov; Einar Johnsen; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Verification; Static Analysis; Program Models; Petri Nets; Compositional Verification; Concurrency; Computer Science; Datalogi;

    Sammanfattning : In this thesis we present a study of the generation of abstract program models from programs in real-world programming languages that are employed in the formal verification of software. The thesis is divided into three parts, which cover distinct types of software systems, programming languages, verification scenarios, program models and properties. LÄS MER