MODEL1006230081
type: SBMLModel
parameter: 518932
rule: 518886
parameter: 518924
length unit: 493212
parameter: 518892
parameter: 518920
creator:
  ORG:
    orgname: The University of Auckland
  n:
    given: Ethan
    family: Choi
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
modified:
  W3 CDTF: Fri Jun 25 14:38:40 BST 2010
rule: 518870
parameter: 518903
parameter: 518918
parameter: 518899
parameter: 518935
parameter: 518927
rule: 518882
parameter: 518919
parameter: 518900
parameter: 518915
parameter: 518896
creator:
  ORG:
    orgname: The University of Auckland
  n:
    given: Ethan
    family: Choi
units def: 560568
parameter: 518934
time units: 560737
parameter: 518922
parameter: 518931
rule: 518876
modified:
  W3 CDTF: Fri Jun 25 14:38:40 BST 2010
parameter: 518906
parameter: 518914
parameter: 518895
parameter: 518923
parameter: 518891
rule: 518888
volume units: 290956
parameter: 518907
parameter: 518911
creator:
  ORG:
    orgname: The University of Auckland
  n:
    given: Ethan
    family: Choi
rule: 518889
rule: 518869
units def: 560641
parameter: 518910
units def: 560592
parameter: 518902
parameter: 518898
parameter: 518926
rule: 518872
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
created:
  W3 CDTF: Fri Jun 25 14:38:40 BST 2010
name: Nelson1995_HIV1therapy_DIVadministraion_ModelA
rule: 518878
modified:
  W3 CDTF: Fri Jun 25 14:38:40 BST 2010
substance units: 178797
parameter: 518928
parameter: 518916
rule: 518873
rule: 518874

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

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

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

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

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

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

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

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

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

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

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

560617
type: SBMLUnitsDef
unit: 560629
name: micro_L

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

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

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

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

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

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

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

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

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

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

560568
type: SBMLUnitsDef
unit: 560580
name: day

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

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

560737
type: SBMLUnitsDef
unit: 560749
name: time

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

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

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

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

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

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

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

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

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

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

560641
type: SBMLUnitsDef
unit: 560653
name: per_micro_L

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

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

560592
type: SBMLUnitsDef
unit: 560604
name: per_day

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

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

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

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

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

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

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

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

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

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

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