364486
unit: 364510
unit: 364498
name: micro_L_per_day
type: SBMLUnitsDef

106637
constant: true
value: 0.017
name: k_2
type: Parameter

364523
unit: 364547
unit: 364535
name: per_micro_L_day
type: SBMLUnitsDef

106681
constant: false
value: NaN
name: pi_t_
type: Parameter

106657
constant: false
value: NaN
name: N_D_t
type: Parameter

106624
constant: true
value: 0.02
name: mu_T
type: Parameter

106653
constant: true
value: 0.02
name: mu_TD
type: Parameter

364462
unit: 364474
name: per_micro_L
type: SBMLUnitsDef

106685
constant: false
value: 0.0
name: V_
type: Parameter

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

106650
constant: false
value: 0.0
name: T_D2
type: Parameter

106633
constant: false
value: NaN
name: s_V
type: Parameter

364414
unit: 364426
name: year
type: SBMLUnitsDef

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

364426
exponent: 1.0
scale: 0
multipler: 3.1556736E7
kind: SECOND
type: SBMLUnit

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

106682
constant: true
value: 2.4E-7
name: k_1_
type: Parameter

106689
constant: true
value: 25.0
name: gamma
type: Parameter

106658
constant: false
value: NaN
name: pi_D_t
type: Parameter

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

364559
unit: 364571
name: time
type: SBMLUnitsDef

106654
constant: false
value: 0.0
name: T_D1
type: Parameter

106686
constant: true
value: 300.0
name: N_0
type: Parameter

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

364366
unit: 364378
name: day
type: SBMLUnitsDef

MODEL1006230033
rule: 106615
parameter: 106646
parameter: 106666
modified:
  W3 CDTF: Fri Jun 25 13:41:47 BST 2010
units def: 364559
parameter: 106630
parameter: 106650
units def: 364390
compartment: 106589
type: SBMLModel
creator:
  ORG:
    orgname: The University of Auckland
  n:
    given: Ethan
    family: Choi
units def: 364366
parameter: 106693
parameter: 106686
created:
  W3 CDTF: Fri Jun 25 13:41:47 BST 2010
parameter: 106649
parameter: 106669
creator:
  ORG:
    orgname: The University of Auckland
  n:
    given: Ethan
    family: Choi
rule: 106607
volume units: 290956
substance units: 178797
units def: 364486
rule: 106592
rule: 106598
parameter: 106653
parameter: 106682
parameter: 106677
rule: 106610
parameter: 106678
units def: 364523
parameter: 106645
parameter: 106665
time units: 364559
rule: 106603
parameter: 106685
length unit: 076409
parameter: 106642
parameter: 106662
units def: 364462
parameter: 106637
creator:
  ORG:
    orgname: The University of Auckland
  n:
    given: Ethan
    family: Choi
parameter: 106638
parameter: 106658
modified:
  W3 CDTF: Fri Jun 25 13:41:47 BST 2010
rule: 106618
rule: 106606
parameter: 106624
units def: 364414
rule: 106595
rule: 106593
parameter: 106629
name: Nelson1995_HIV1therapy_DIVadministraion_ModelB
notes: This a model from the article: Modeling defective interfering virus therapy for AIDS: conditions for DIV survival. Nelson GW, Perelson AS. Math Biosci 1995 Feb;125(2):127-53 7881191 , Abstract: The administration of a genetically engineered defective interfering virus (DIV) that interferes with HIV-1 replication has been proposed as a therapy for HIV-1 infection and AIDS. The proposed interfering virus, which is designed to superinfect HIV-1 infected cells, carries ribozymes that cleave conserved regions in HIV-1 RNA that code for the viral envelope protein. Thus DIV infection of HIV-1 infected cells should reduce or eliminate viral production by these cells. The success of this therapeutic strategy will depend both on the intercellular interaction of DIV and HIV-1, and on the overall dynamics of virus and T cells in the body. To study these dynamical issues, we have constructed a mathematical model of the interaction of HIV-1, DIV, and CD4+ cells in vivo. The results of both mathematical analysis and numerical simulation indicate that survival of the engineered DIV purely on a peripheral blood HIV-1 infection is unlikely. However, analytical results indicate that DIV might well survive on HIV-1 infected CD4+ cells in lymphoid organs such as lymph nodes and spleen, or on other HIV-1 infected cells in these organs. This model was taken from the CellML repository and automatically converted to SBML. The original model was: Nelson GW, Perelson AS. (1995) - version=1.0 The original CellML model was created by: Ethan Choi mcho099@aucklanduni.ac.nz The University of Auckland This model originates from BioModels Database: A Database of Annotated Published Models (http://www.ebi.ac.uk/biomodels/). It is copyright (c) 2005-2011 The BioModels.net Team. To the extent possible under law, all copyright and related or neighbouring rights to this encoded model have been dedicated to the public domain worldwide. Please refer to CC0 Public Domain Dedication for more information. In …
area units: 291053
parameter: 106681
is described by: http://identifiers.org/pubmed/7881191
rule: 106611
parameter: 106633
parameter: 106634
parameter: 106626
parameter: 106654
rule: 106614
parameter: 106673
parameter: 106674
rule: 106602
parameter: 106694
parameter: 106641
parameter: 106661
rule: 106619
units def: 364438
modified:
  W3 CDTF: Fri Jun 25 13:41:47 BST 2010
rule: 106594
parameter: 106657
curated: false
parameter: 106670
parameter: 106690
rule: 106622
rule: 106599
parameter: 106625
parameter: 106689

106630
constant: true
value: 1.0
name: theta
type: Parameter

106669
constant: true
value: 0.1
name: D_0
type: Parameter

106678
constant: false
value: NaN
name: N_t_
type: Parameter

106665
constant: true
value: 2557.0
name: t_DIV
type: Parameter

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

364498
exponent: 1.0
scale: -6
multipler: 1.0
kind: LITRE
type: SBMLUnit

106649
constant: true
value: 0.12
name: mu_bD
type: Parameter

106641
constant: true
value: 2.4E-5
name: k_1D
type: Parameter

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

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

364474
exponent: -1.0
scale: -6
multipler: 1.0
kind: LITRE
type: SBMLUnit

106626
constant: true
value: 1500.0
name: T_max
type: Parameter

364535
exponent: -1.0
scale: -6
multipler: 1.0
kind: LITRE
type: SBMLUnit

106662
constant: false
value: NaN
name: D
type: Parameter

106645
constant: false
value: 0.0
name: T_2
type: Parameter

106693
constant: false
value: NaN
name: N_t
type: Parameter

106677
constant: false
value: 0.001
name: V
type: Parameter

106694
constant: false
value: NaN
name: T_tot
type: Parameter

106690
constant: true
value: 7305.0
name: t_c
type: Parameter

106666
constant: false
value: 0.0
name: D_ode
type: Parameter

364450
exponent: 1.0
scale: -6
multipler: 1.0
kind: LITRE
type: SBMLUnit

364438
unit: 364450
name: micro_L
type: SBMLUnitsDef

106670
constant: false
value: NaN
name: N_2_t
type: Parameter

364390
unit: 364402
name: per_day
type: SBMLUnitsDef

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

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

106629
constant: true
value: 10.0
name: s_0
type: Parameter

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

106625
constant: true
value: 0.03
name: r
type: Parameter

106646
constant: true
value: 0.48
name: k_s
type: Parameter

106661
constant: true
value: 0.76
name: mu_D
type: Parameter