374654
exponent: 1.0
scale: 0
multipler: 86400.0
kind: SECOND
type: SBMLUnit

374702
exponent: 3.0
scale: -3
multipler: 1.0
kind: METRE
type: SBMLUnit

140616
constant: true
value: 2.4
name: mu_V
type: Parameter

140612
constant: true
value: 0.24
name: mu_b
type: Parameter

374812
unit: 374824
name: time
type: SBMLUnitsDef

374678
exponent: -1.0
scale: 0
multipler: 86400.0
kind: SECOND
type: SBMLUnit

140595
constant: true
value: 0.01
name: p
type: Parameter

374788
exponent: 3.0
scale: -3
multipler: 1.0
kind: METRE
type: SBMLUnit

140598
constant: false
value: NaN
name: beta
type: Parameter

140600
constant: true
value: 2.4E-5
name: k_1
type: Parameter

374763
exponent: -3.0
scale: -3
multipler: 1.0
kind: METRE
type: SBMLUnit

140608
constant: false
value: NaN
name: T_1_t
type: Parameter

140604
constant: true
value: 1000.0
name: T_0
type: Parameter

140594
constant: true
value: 10.0
name: s
type: Parameter

140599
constant: false
value: 1000.0
name: T
type: Parameter

374727
exponent: -3.0
scale: -3
multipler: 1.0
kind: METRE
type: SBMLUnit

374666
unit: 374678
name: per_day
type: SBMLUnitsDef

140618
constant: false
value: NaN
name: V
type: Parameter

374714
unit: 374727
name: per_mm3
type: SBMLUnitsDef

140603
constant: true
value: 2.424
name: k_4
type: Parameter

374800
exponent: -1.0
scale: 0
multipler: 86400.0
kind: SECOND
type: SBMLUnit

140614
constant: false
value: NaN
name: T_2
type: Parameter

140583
constant: true
units: litre
size: 1.0
spatial dimensions: 3.0
type: Compartment

374776
unit: 374800
unit: 374788
name: mm3_per_day
type: SBMLUnitsDef

374824
exponent: 1.0
scale: 0
multipler: 86400.0
kind: SECOND
type: SBMLUnit

140610
constant: false
value: 0.0
name: T_1
type: Parameter

140607
constant: true
value: 2.0
name: t_min
type: Parameter

140602
constant: true
value: 0.023
name: k_3
type: Parameter

374751
exponent: -1.0
scale: 0
multipler: 86400.0
kind: SECOND
type: SBMLUnit

374642
unit: 374654
name: day
type: SBMLUnitsDef

374739
unit: 374763
unit: 374751
name: per_day_mm3
type: SBMLUnitsDef

140615
constant: true
value: 1000.0
name: N
type: Parameter

140606
constant: true
value: 0.001
name: V_0
type: Parameter

374690
unit: 374702
name: mm3
type: SBMLUnitsDef

MODEL1006230035
modified:
  W3 CDTF: Fri Jun 25 13:42:21 BST 2010
parameter: 140612
parameter: 140602
parameter: 140614
parameter: 140594
rule: 140586
volume units: 290956
parameter: 140599
compartment: 140583
units def: 374739
length unit: 076409
parameter: 140596
notes: This a model from the article: Dynamics of HIV infection of CD4+ T cells. Perelson AS, Kirschner DE, De Boer R. Math Biosci 1993 Mar;114(1):81-125 8096155 , Abstract: We examine a model for the interaction of HIV with CD4+ T cells that considers four populations: uninfected T cells, latently infected T cells, actively infected T cells, and free virus. Using this model we show that many of the puzzling quantitative features of HIV infection can be explained simply. We also consider effects of AZT on viral growth and T-cell population dynamics. The model exhibits two steady states, an uninfected state in which no virus is present and an endemically infected state, in which virus and infected T cells are present. We show that if N, the number of infectious virions produced per actively infected T cell, is less a critical value, Ncrit, then the uninfected state is the only steady state in the nonnegative orthant, and this state is stable. For N > Ncrit, the uninfected state is unstable, and the endemically infected state can be either stable, or unstable and surrounded by a stable limit cycle. Using numerical bifurcation techniques we map out the parameter regimes of these various behaviors. oscillatory behavior seems to lie outside the region of biologically realistic parameter values. When the endemically infected state is stable, it is characterized by a reduced number of T cells compared with the uninfected state. Thus T-cell depletion occurs through the establishment of a new steady state. The dynamics of the establishment of this new steady state are examined both numerically and via the quasi-steady-state approximation. We develop approximations for the dynamics at early times in which the free virus rapidly binds to T cells, during an intermediate time scale in which the virus grows exponentially, and a third time scale on which viral growth slows and the endemically infected steady state is approached. Using the quasi-steady-state approximation the model can be…
rule: 140591
units def: 374666
units def: 374812
is described by: http://identifiers.org/pubmed/8096155
units def: 374690
curated: false
rule: 140589
units def: 374776
parameter: 140600
modified:
  W3 CDTF: Fri Jun 25 13:42:21 BST 2010
type: SBMLModel
parameter: 140615
units def: 374642
name: Perelson1993_HIVinfection_CD4Tcells_ModelD
parameter: 140610
units def: 374714
created:
  W3 CDTF: Fri Jun 25 13:42:21 BST 2010
area units: 291053
time units: 374812
parameter: 140616
parameter: 140607
parameter: 140606
modified:
  W3 CDTF: Fri Jun 25 13:42:21 BST 2010
rule: 140588
parameter: 140598
creator:
  ORG:
    orgname: The University of Auckland
  n:
    given: Ethan
    family: Choi
parameter: 140608
parameter: 140603
rule: 140587
creator:
  ORG:
    orgname: The University of Auckland
  n:
    given: Ethan
    family: Choi
substance units: 178797
parameter: 140611
parameter: 140595
creator:
  ORG:
    orgname: The University of Auckland
  n:
    given: Ethan
    family: Choi
rule: 140592
parameter: 140618
parameter: 140604

140596
constant: true
value: 2.0E-5
name: gamma
type: Parameter

140611
constant: true
value: 0.003
name: k_2
type: Parameter