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

560617
unit: 560629
name: micro_L
type: SBMLUnitsDef

560665
unit: 560689
unit: 560677
name: micro_L_per_day
type: SBMLUnitsDef

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

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

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

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

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

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

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

560641
unit: 560653
name: per_micro_L
type: SBMLUnitsDef

MODEL1006230081
creator:
  ORG:
    orgname: The University of Auckland
  n:
    given: Ethan
    family: Choi
parameter: 518932
rule: 518886
modified:
  W3 CDTF: Fri Jun 25 14:38:40 BST 2010
parameter: 518924
length unit: 493212
parameter: 518892
parameter: 518920
parameter: 518908
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 …
parameter: 518912
parameter: 518904
units def: 560701
compartment: 518866
is described by: http://identifiers.org/pubmed/7881191
units def: 560617
creator:
  ORG:
    orgname: The University of Auckland
  n:
    given: Ethan
    family: Choi
rule: 518870
parameter: 518903
parameter: 518918
parameter: 518899
parameter: 518935
parameter: 518927
rule: 518882
parameter: 518919
parameter: 518900
parameter: 518915
parameter: 518896
units def: 560568
parameter: 518934
time units: 560737
parameter: 518922
parameter: 518931
rule: 518876
parameter: 518906
parameter: 518914
parameter: 518895
parameter: 518923
parameter: 518891
rule: 518888
volume units: 290956
parameter: 518907
created:
  W3 CDTF: Fri Jun 25 14:38:40 BST 2010
parameter: 518911
rule: 518889
rule: 518869
units def: 560641
parameter: 518910
units def: 560592
parameter: 518902
parameter: 518898
parameter: 518926
rule: 518872
modified:
  W3 CDTF: Fri Jun 25 14:38:40 BST 2010
rule: 518880
rule: 518884
curated: false
rule: 518881
rule: 518885
units def: 560665
units def: 560737
parameter: 518930
rule: 518877
area units: 237671
parameter: 518894
name: Nelson1995_HIV1therapy_DIVadministraion_ModelA
rule: 518878
substance units: 178797
creator:
  ORG:
    orgname: The University of Auckland
  n:
    given: Ethan
    family: Choi
parameter: 518928
modified:
  W3 CDTF: Fri Jun 25 14:38:40 BST 2010
parameter: 518916
rule: 518873
rule: 518874
type: SBMLModel

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

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

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

560737
unit: 560749
name: time
type: SBMLUnitsDef

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

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

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

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

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

560592
unit: 560604
name: per_day
type: SBMLUnitsDef

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

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

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

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

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

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

518918
constant: false
value: 0.0
name: D
type: Parameter

518908
constant: true
value: 0.17
name: mu_bD
type: Parameter

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

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

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

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

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

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

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

518914
constant: true
value: 2.4
name: mu_D
type: Parameter

518924
constant: true
value: 2.4E-6
name: k_1_
type: Parameter

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

560701
unit: 560725
unit: 560713
name: per_micro_L_day
type: SBMLUnitsDef

518903
constant: true
value: 2.4E-6
name: k_1D
type: Parameter

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

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

518907
constant: true
value: 0.24
name: k_s
type: Parameter

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

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

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

560568
unit: 560580
name: day
type: SBMLUnitsDef

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

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

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