Sökning: "grundläggande matematik"

Visar resultat 1 - 5 av 29 avhandlingar innehållade orden grundläggande matematik.

  1. 1. Representation of Quantum Algorithms with Symbolic Language and Simulation on Classical Computer

    Författare :Peter Nyman; Andrei khrennikov; Paul Fischer; Växjö universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Deutsch-Josza algorithm; Grover s algorithm; Quantum computing; Quantum error-correcting; Shor s algorithm; Simon s algorithm; Simulation of quantum algorithms; Deutsch-Josza algoritm; Grovers algoritm; Kvantdatorer; kvantmekanisk felrättande kod; Shors algoritm; Simons algoritm; Simulering av kvantdatorer; MATHEMATICS; MATEMATIK; Mathematics; Matematik;

    Sammanfattning : Utvecklandet av kvantdatorn är ett ytterst lovande projekt som kombinerar teoretisk och experimental kvantfysik, matematik, teori om kvantinformation och datalogi. Under första steget i utvecklandet av kvantdatorn låg huvudintresset på att skapa några algoritmer med framtida tillämpningar, klargöra grundläggande frågor och utveckla en experimentell teknologi för en leksakskvantdator som verkar på några kvantbitar. LÄS MER

  3. 2. Graphical representations of Ising and Potts models : Stochastic geometry of the quantum Ising model and the space-time Potts model

    Författare :Jakob Erik Björnberg; Anders Björner; Jeffrey Steif; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Quantum Ising model; Ising model; Potts model; random-cluster model; random-current representation; random-parity representation; differential inequality; phase transition; Discrete mathematics; Diskret matematik;

    Sammanfattning : HTML clipboard Statistical physics seeks to explain macroscopic properties of matter in terms of microscopic interactions. Of particular interest is the phenomenon of phase transition: the sudden changes in macroscopic properties as external conditions are varied. LÄS MER

  4. 3. Kähler-Poisson Algebras

    Författare :Ahmed Al-Shujary; Joakim Arnlind; Milagros Izquierdo; Sergei Silvestrov; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : In this thesis, we introduce Kähler-Poisson algebras and study their basic properties. The motivation comes from differential geometry, where one can show that the Riemannian geometry of an almost Kähler manifold can be formulated in terms of the Poisson algebra of smooth functions on the manifold. LÄS MER

  5. 4. Quantum scattering and interaction in graphene structures

    Författare :Anna Orlof; Vladimir Kozlov; Igor Zozoulenko; Heinz Siedentop; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Since its isolation in 2004, that resulted in the Nobel Prize award in 2010, graphene has been the object of an intense interest, due to its novel physics and possible applications in electronic devices. Graphene has many properties that differ it from usual semiconductors, for example its low-energy electrons behave like massless particles. LÄS MER

  7. 5. Specifying Safety-Critical Heterogeneous Systems Using Contracts Theory

    Författare :Jonas Westman; Mattias Nyberg; Mats Heimdahl; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Contracts; Heterogeneous Systems; Safety; Architecture; Requirements; Specification; Elements; Compositional; IEC 61508; ISO 26262; Kontrakt; Heterogena System; Säkerhet; Arkitektur; Kravhantering; Specifiering; Element; Kompositionell; IEC 61508; ISO 26262; Machine Design; Maskinkonstruktion;

    Sammanfattning : Requirements engineering (RE) is a well-established practice that is also emphasized in safety standards such as IEC 61508 and ISO 26262. Safety standards advocate a particularly stringent RE where requirements must be structured in an hierarchical manner in accordance with the system architecture; at each level, requirements must be allocated to heterogeneous (SW, HW, mechanical, electrical, etc. LÄS MER