Sökning: "Finite model theory"

Visar resultat 1 - 5 av 365 avhandlingar innehållade orden Finite model theory.

  1. 1. Multiphase continuum modeling of wood : A hybrid mixture theory approach

    Författare :Winston Mmari; Björn Johannesson; Lynn Schreyer; Linnéuniversitetet; []
    Nyckelord :LANTBRUKSVETENSKAPER; AGRICULTURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Moisture transport; Coupled heat and moisture; Over-hygroscopic; Hybrid mixture theory; Mixture theory; Swelling; Hygro-mechanical; Non-linear elasticity; Large deformation; Phase field crack model; Anisotropic cracking; FEM; Numerical model; Norway spruce; Wood; Porous media; Forestry and Wood Technology; Skog och träteknik;

    Sammanfattning : Wood has been used as a construction material for a very long time. The development of efficient industrial production processes of wood has expanded the use of the material with the introduction of new products, such as engineered wood products. LÄS MER

  3. 2. Model Adaptivity in Elasticity

    Författare :David Heintz; Göteborgs universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; finite element method; dimension reduction; a posteriori error; model error; model adaptivity; model error;

    Sammanfattning : We consider model adaptivity in elasticity for dimensionally reduced forms, and shall treat different conceptual approaches. The basic idea, however, is to adaptively refine, not only the computational mesh, but also the underlying mathematical formulation. LÄS MER

  4. 3. Limit Laws, Homogenizable Structures and Their Connections

    Författare :Ove Ahlman; Vera Koponen; Dugald Macpherson; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Model theory; random structure; finite model theory; simple theory; homogeneous structure; countably categorical; 0-1 law; Mathematical Logic; Matematisk logik; Mathematics; Matematik;

    Sammanfattning : This thesis is in the field of mathematical logic and especially model theory. The thesis contain six papers where the common theme is the Rado graph R. Some of the interesting abstract properties of R are that it is simple, homogeneous (and thus countably categorical), has SU-rank 1 and trivial dependence. LÄS MER

  5. 4. Relations in Dependent Type Theory

    Författare :Carlos Gonzalía; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formalized mathematics; relational systems; category theory; programming logics; constructive type theory; logical frameworks; relational database model;

    Sammanfattning : This thesis investigates how to express and reason about relational concepts and methods inside the constructive logical framework of Martin-Löf's monomorphic type theory. We cover several areas where the notion of relation is central, and show how to formalize the basic concepts of each area. LÄS MER

  7. 5. Structural Reliability and Identification with Stochastic Simulation - Application to Railway Mechanics

    Författare :Sadegh Rahrovani; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; model reduction; time-integration; finite element model; sleeper-ballast load characterization; stochastic simulation; Bayesian system identification;

    Sammanfattning : System identification of structures based on measured response data can play a key role in improving reliability based structural designs. However, the experimental limitations of in situ tests and uncertainties of required model complexity together with the inverse nature of system identification give rise to a number of challenging issues. LÄS MER