Search for dissertations about: "binary system"

Showing result 1 - 5 of 287 swedish dissertations containing the words binary system.

  2. 1. Proving Safety and Security of Binary Programs

    Author : Andreas Lindner; Roberto Guanciale; Mads Dam; Tamara Rezk; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Binary Code; Binary Analysis; Formal Verification; Model-Based Testing; Theorem Proving; HOL4; Intermediate Language; Instruction Set Architectures; ISA; Observational Models; Symbolic Execution; Weakest-Precondition; Execution Time Analysis; binärkod; binärkodsanalys; formell verifiering; modellbaserad testning; satsbevisning; HOL4; mellankod; instruktionsuppsättningar; ISA; observationsmodeller; symbolisk exekvering; minst restriktiva villkoret; analys av övre tidsgräns; Datalogi; Computer Science;

    Abstract : With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. READ MORE

  4. 2. Thermodynamic Database for Zirconium Alloys

    Author : Rosa Jerlerud Pérez; Bo Sundman; Arthur Motta; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Zirconium alloys; thermodynamic equilibrium; thermodynamic properties; binary system; ternary system; Gibbs energy; Thermo-Calc; Calphad; binary system; ternary system; Other materials science; Övrig teknisk materialvetenskap;

    Abstract : For many decades zirconium alloys have been commonly used in the nuclear power industry as fuel cladding material. Besides their good corrosion resistance and acceptable mechanical properties the main reason for using these alloys is the low neutron absorption. READ MORE

  5. 3. Thermodynamic database for zirconium alloys

    Author : Rosa Jerlerud Pérez; KTH; []
    Keywords : zirconium alloys; thermodynamic equilibrium; thermodynamic properties; binary system; ternary system;

    Abstract : .... READ MORE

  6. 4. Fluids, Gels and Crystals : Phase behavior of binary thermoresponsive microgel mixtures

    Author : Jasper Immink; NanoLund: Centre for Nanoscience; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; colloidal phase behavior; microgel; binary mixture; colloidal gel; sequential gelation; patchy particle; binary crystal; crystal-to-crystal transition;

    Abstract : Thermoresponsive colloidal microgels expel solvent from their interior upon crossing a threshold temperature, resulting in a significantly reduced size. The collapse of microgels can reversibly switch the interparticle interactions from soft repulsive to attractive, and the accompanying size reduction allows for precise control over volume fraction. READ MORE

  7. 5. Exploring binary mixtures of protic ionic liquids– Interactions, dynamics, and non-ideal behavior

    Author : Negin Yaghini; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; nano-confinement; protic ionic liquid; molecular interactions; binary system;

    Abstract : Ionic liquids are organic salts that melt at low temperatures and provide a set of properties beneficial for diverse applications. These properties include good thermal stability, high ionic conductivity, low volatility and non-flammability. READ MORE