Sökning: "mjukvara"

Visar resultat 1 - 5 av 77 avhandlingar innehållade ordet mjukvara.

  1. 1. Advancements in stratified flows through simulation, experiment and open research software development

    Författare :Ashwin Vishnu Mohanan; Erik Lindborg; Pierre Augier; James J. Riley; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; geophysical flows; shallow water wave turbulence; energy cascade; stratified turbulence; waves and vortices; open source software; geofysikaliska strömningar; vågturbulens i grunt vatten; energi- kaskad; stratifierad turbulens; vågor och virvlar; öppen mjukvara; Engineering Mechanics; Teknisk mekanik;

    Sammanfattning : Two studies of two-dimensional models of flows influenced by stratification and stratification/rotation are carried out in order to investigate whether a two-dimensional model can reproduce a downscale energy cascade with an associated k − 5/3 wavenumber spectrum. Firstly, a series of highly resolved numerical simulations of the classical shallow water model is carried out. LÄS MER

  3. 2. Enhancing Physics Learning through Instruction, Technical Vocabulary and ICT : A Case of Higher Education in Rwanda

    Författare :Joseph Rusanganwa; Ingrid Andersson; Sven Andersson; Berner Lindström; Linköpings universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Tertiary education; language shift; EFL; physics technical vocabulary; CALL; software encoding; social constructivist theory; cognitive theory of learning with multimedia; ICT tools; transforming learning; Rwanda; Högre utbildning; förändrad språkpolitik; engelskt fackspråk inom fysik; CALL; konstruktion av mjukvara; socialkonstruktivistisk och kognitiv teori; lärande med multimedia; IKT; transformering av lärande; Rwanda;

    Sammanfattning : The overarching aim of this thesis is to explore how teaching and learning in tertiary education is performed in times of change both in language policy and learning approaches. The study takes social constructivist and socio-cultural theories as its major points of departure. LÄS MER

  4. 3. No Hypervisor Is an Island : System-wide Isolation Guarantees for Low Level Code

    Författare :Oliver Schwarz; Mads Dam; Christian Gehrmann; Gerwin Klein; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Platform Security; Hypervisor; Formal Verification; Theorem Proving; HOL4; DMA; Peripheral Devices; Instruction Set Architectures; ISA; Information Flow; Boot; Computer Science; Datalogi;

    Sammanfattning : The times when malware was mostly written by curious teenagers are long gone. Nowadays, threats come from criminals, competitors, and government agencies. Some of them are very skilled and very targeted in their attacks. LÄS MER

  5. 4. Languages and Tools for Optimization of Large-Scale Systems

    Författare :Johan Åkesson; Institutionen för reglerteknik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Paper Machine Modeling; Plate Reactor; Languages for Physical Modeling; Compiler Construction; Dynamic Optimization; Modelica; Optimica; Manual Control; Automation; robotics; control engineering; Automatiska system; robotteknik; reglerteknik;

    Sammanfattning : Modeling and simulation are established techniques for solving design problems in a wide range of engineering disciplines today. Dedicated computer languages, such as Modelica, and efficient software tools are available. In this thesis, an extension of Modelica, Optimica, targeted at dynamic optimization of Modelica models is proposed. LÄS MER

  7. 5. Automated Deductive Verification of Safety-Critical Embedded Software

    Författare :Christian Lidström; Dilian Gurov; Musard Balliu; Bernhard Beckert; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software sontracts; contract-based design; formal verification; deductive verification; contract inference; program instrumentation; embedded software; embedded systems; Frama-C; Datalogi; Computer Science;

    Sammanfattning : Embedded systems are everywhere in society, and in many industries, such as the automotive industry, embedded systems are safety-critical. Embedded systems are today also increasingly controlled by software, with advances in, for example, autonomous driving. LÄS MER