Material library

Design Situation

PT Persistent & Transient situation γC=1.5 γS=1.2
A Accidental situation γC=1.2 γS=1.0
S Seismic situation γC=1.5 γS=1.2

            type DesignSituation =
            | PT
            | A
            | S
            with
              member GamaC : ds:DesignSituation -> float
              member GamaS : ds:DesignSituation -> float
            end
    

Type of Cement

N Normal S=0.25
S Slow S=0.38
R Rapid S=0.20
            type CementType =
            | N
            | S
            | R
            with
              member GetS : ct:CementType -> float
            end
    

Reinforcement Tensibility

A 2.5%
B 5.0%
C 7.5%
            type Tensibility =
            | A
            | B
            | C
            with
              member EspUd : tb:Tensibility -> float
            end

Strain-Stress Diagram - plastic behavior

            type SSDiagramEd =
            {EpsI: float;
             EpsUI: float;
             Sigma: float -> float;}

Strain-Stress Diagram - elastic behavior

            type SSDiagramEk =
            {EpsI: float;
             Sigma: float -> float;}

Concrete

Characteristic cylindrical strength fck28 [MPa] (12;100)
Design situation ds default = PT)
Age of concrete t[days] default = 3.0)
Cement type ct default = N (s=0.25)
  type Concrete =
    class
      new : fck28:double * ?ds:Material.DesignSituation * ?t:double * ?ct:Material.CementType -> Concrete
      member Asd : Material.SSDiagramEd
      member BetaCC : float
      member Bld : Material.SSDiagramEd
      member Ecm : float
      member Fcd : float
      member Fck : double
      member Fcm : double
      member Fctd : float
      member Fctk05 : float
      member Fctk95 : float
      member Fctm : float
      member Ld : Material.SSDiagramEk
      member Pld : Material.SSDiagramEd
    end

Reinforcement

Characteristic strength fyk [MPa] (250;550)
Design situation ds default = PT)
Tensibility ts default = B
  type Reinforcement =
    class
      new : fyk:double * ?ds:Material.DesignSituation * ?ts:Material.Tensibility -> Reinforcement
      member Bld : Material.SSDiagramEd
      member Es : float
      member Fyd : double
      member Fyk : double
      member Ld : Material.SSDiagramEk
    end

Prestress

Characteristic strength fpk [MPa] (1600;2000)
Characteristic strength - agreed yield stress fp0,1k [MPa] (1600;2000)
Design situation ds default = PT
Looses loose [-] default = 0.8
  type Prestress =
    class
      new : fpk:double * fp01k:double * ?ds:Material.DesignSituation * ?loose:double -> Prestress
      member Bld : Material.SSDiagramEd
      member Ep : float
      member Fp01k : double
      member Fpd : double
      member Fpk : double
      member Loose : double
    end

Reology

Creep STN EN 1992-1-1 + A1 : 2015 Appendix B.1

RH relative humidity RH [%] (50;100)
Mean cylindrical compressive strength fcm [MPa] (20;98)
H0 - shape factor = 2Ac/u h0 [m] (100;500)
Start of creeping, star of load t0 [days] (3;365000)
Time of evaluation t [days] (3;365000)
  module Creep  
  val alfa1 : fcm:float -> float
  val alfa2 : fcm:float -> float
  val alfa3 : fcm:float -> float
  val betaH : rh:float -> fcm:float -> h0:float -> float
  val betaC : rh:float -> fcm:float -> h0:float -> t0:float -> t:float -> float
  val frh :   rh:float -> fcm:float -> h0:float -> float
  val f0 :    rh:float -> fcm:float -> h0:float -> t0:float -> float
  val f :     rh:float -> fcm:float -> h0:float -> t0:float -> t:float -> float

Shrinkage STN EN 1992-1-1 + A1 : 2015 Appendix B.2

RH relative humidity RH [%] (50;100)
Mean cylindrical compressive strength fcm [MPa] (20;98)
H0 - shape factor = 2Ac/u h0 [m] (100;500)
Cement type ct [S|N|R] (_;_)
Start of shrinkage, end of curring ts [days] (3;365000)
Time of evaluation t [days] (3;365000)
  module Shrinkage  
  type CementType =
    | S
    | N
    | R
  val betaRh : rh:float -> float
  val epsCd0 : rh:float -> fcm:float -> ct:CementType -> float
  val kh :     h0:float -> float
  val betaDS : h0:float -> ts:float -> t:float -> float
  val epsCd :  rh:float -> fcm:float -> h0:float -> ct:CementType -> ts:float -> t:float -> float
  val epsCa :  fcm:float -> t:float -> float
  val epsCs :  rh:float -> fcm:float -> h0:float -> ct:CementType -> ts:float -> t:float -> float