From ce4cf9c68eea0693fafeaf35c69cf9769c009fe3 Mon Sep 17 00:00:00 2001 From: "Documenter.jl" Date: Wed, 17 Jan 2024 01:20:17 +0000 Subject: [PATCH] build based on 6a09222 --- dev/index.html | 36 ++++++++++++++++++------------------ dev/search.html | 2 +- 2 files changed, 19 insertions(+), 19 deletions(-) diff --git a/dev/index.html b/dev/index.html index 88beb75..f075e30 100644 --- a/dev/index.html +++ b/dev/index.html @@ -8,32 +8,32 @@ @push acs 1.0 X ⟶ Y @prob_init acs X = 1 Y = 2 XY = α @prob_params acs γ = 1 α = 4 -@solve_and_plot acssource

Modify a model

We list common transition attributes. When being specified using the @ReactionNetwork macro they can be conveniently referred to using their shorthand description.

attributeshorthandinterpretation
transPriorityprioritypriority of a transition (influences resource allocation)
transProbOfSuccessprobability prob posprobability that a transition terminates successfully
transCapacitycap capacitymaximum number of concurrent instances of the transition
transCycleTimect cycletimeduration of a transition's instance (adjusted by resource allocation)
transMaxLifeTimelifetime maxlifetime maxtime timetolivemaximal duration of a transition's instance
transPostActionpostAction postaction to be executed once a transition's instance terminates
transNamename interpretationname of a transition, either a string or unquoted text

We list common species attributes:

attributeshorthandinterpretation
specInitUncertaintyuncertainty stoch stochasticityuncertainty about variable's initial state (modelled as Gaussian standard deviation)
specInitValinitial value of a variable

Moreover, it is possible to specify the semantics of the "rate" term. By default, at each time step n ~ Poisson(rate * dt) instances of a given transition will be spawned. If you want to specify the rate in terms of a cycle time, you may want to use @ct(cycle_time), e.g., @ct(ex), A --> B, .... This is a shorthand for 1/ex, A --> B, ....

For deterministic "rates", use @per_step(ex). Here, ex evaluates to a deterministic number (ceiled to the nearest integer) of a transition's instances to spawn per a single integrator's step. However, note that in this case, the number doesn't scale with the step length! Moreover

ReactiveDynamics.@add_species — Macro

Add new species to a model.

Examples

@add_species acs S I R
source
ReactiveDynamics.@aka — Macro

Alias object name in an acs.

Default names

nameshort name
speciesS
transitionT
actionA
eventE
paramP
metaM

Examples

@aka acs species = resource transition = reaction
source
ReactiveDynamics.@mode — Macro

Set species modality.

Supported modalities

  • nonblock
  • conserved
  • rate

Examples

@mode acs (r"proj\w+", r"experimental\w+") conserved
+@solve_and_plot acs
source

Modify a model

We list common transition attributes. When being specified using the @ReactionNetwork macro they can be conveniently referred to using their shorthand description.

attributeshorthandinterpretation
transPriorityprioritypriority of a transition (influences resource allocation)
transProbOfSuccessprobability prob posprobability that a transition terminates successfully
transCapacitycap capacitymaximum number of concurrent instances of the transition
transCycleTimect cycletimeduration of a transition's instance (adjusted by resource allocation)
transMaxLifeTimelifetime maxlifetime maxtime timetolivemaximal duration of a transition's instance
transPostActionpostAction postaction to be executed once a transition's instance terminates
transNamename interpretationname of a transition, either a string or unquoted text

We list common species attributes:

attributeshorthandinterpretation
specInitUncertaintyuncertainty stoch stochasticityuncertainty about variable's initial state (modelled as Gaussian standard deviation)
specInitValinitial value of a variable

Moreover, it is possible to specify the semantics of the "rate" term. By default, at each time step n ~ Poisson(rate * dt) instances of a given transition will be spawned. If you want to specify the rate in terms of a cycle time, you may want to use @ct(cycle_time), e.g., @ct(ex), A --> B, .... This is a shorthand for 1/ex, A --> B, ....

For deterministic "rates", use @per_step(ex). Here, ex evaluates to a deterministic number (ceiled to the nearest integer) of a transition's instances to spawn per a single integrator's step. However, note that in this case, the number doesn't scale with the step length! Moreover

ReactiveDynamics.@add_species — Macro

Add new species to a model.

Examples

@add_species acs S I R
source
ReactiveDynamics.@aka — Macro

Alias object name in an acs.

Default names

nameshort name
speciesS
transitionT
actionA
eventE
paramP
metaM

Examples

@aka acs species = resource transition = reaction
source
ReactiveDynamics.@mode — Macro

Set species modality.

Supported modalities

  • nonblock
  • conserved
  • rate

Examples

@mode acs (r"proj\w+", r"experimental\w+") conserved
 @mode acs (S, I) conserved
-@mode acs S conserved
source
ReactiveDynamics.@name_transition — Macro

Set name of a transition in the model.

Examples

@name_transition acs 1 = "name"
+@mode acs S conserved
source
ReactiveDynamics.@name_transition — Macro

Set name of a transition in the model.

Examples

@name_transition acs 1 = "name"
 @name_transition acs name = "transition_name"
-@name_transition acs "name" = "transition_name"
source

Resource costs

ReactiveDynamics.@cost — Macro

Set cost.

Examples

@cost model experimental1=2 experimental2=3
source
ReactiveDynamics.@valuation — Macro

Set valuation.

Examples

@valuation model experimental1=2 experimental2=3
source
ReactiveDynamics.@reward — Macro

Set reward.

Examples

@reward model experimental1=2 experimental2=3
source

Add reactions

ReactiveDynamics.@push — Macro

Add reactions to an acset.

Examples

@push sir_acs β * S * I * tdecay(@time()) S + I --> 2I name => SI2I
+@name_transition acs "name" = "transition_name"
source

Resource costs

ReactiveDynamics.@cost — Macro

Set cost.

Examples

@cost model experimental1=2 experimental2=3
source
ReactiveDynamics.@valuation — Macro

Set valuation.

Examples

@valuation model experimental1=2 experimental2=3
source
ReactiveDynamics.@reward — Macro

Set reward.

Examples

@reward model experimental1=2 experimental2=3
source

Add reactions

ReactiveDynamics.@push — Macro

Add reactions to an acset.

Examples

@push sir_acs β * S * I * tdecay(@time()) S + I --> 2I name => SI2I
 @push sir_acs begin
     ν * I, I --> R, name => I2R
     γ, R --> S, name => R2S
-end
source
ReactiveDynamics.@jump — Macro

Add a jump process (with specified Poisson intensity per unit time step) to a model.

Examples

@jump acs λ Z += rand(Poisson(1.0))
source
ReactiveDynamics.@periodic — Macro

Add a periodic callback to a model.

Examples

@periodic acs 1.0 X += 1
source

Set initial values, uncertainty, and solver arguments

ReactiveDynamics.@prob_init — Macro

Set initial values of species in an acset.

Examples

@prob_init acs X = 1 Y = 2 Z = h(α)
-@prob_init acs [1.0, 2.0, 3.0]
source
ReactiveDynamics.@prob_uncertainty — Macro

Set uncertainty in initial values of species in an acset (stderr).

Examples

@prob_uncertainty acs X = 0.1 Y = 0.2
-@prob_uncertainty acs [0.1, 0.2]
source
ReactiveDynamics.@prob_params — Macro

Set parameter values in an acset.

Examples

@prob_params acs α = 1.0 β = 2.0
source
ReactiveDynamics.@prob_meta — Macro

Set model metadata (e.g. solver arguments)

Examples

@prob_meta acs tspan = (0, 100.0) schedule = schedule_weighted!
-@prob_meta sir_acs tspan = 250 tstep = 1
source

Model unions

ReactiveDynamics.@join — Macro
@join models... [equalize...]

Performs join of models and identifies model variables, as specified.

Model variables / parameter values and metadata are propagated; the last model takes precedence.

Examples

@join acs1 acs2 @catchall(A) = acs2.Z @catchall(XY) @catchall(B)
source
ReactiveDynamics.@equalize — Macro

Identify (collapse) a set of species in a model.

Examples

@join acs acs1.A = acs2.A B = C
source

Model import and export

ReactiveDynamics.@import_network — Macro

Import a model from a file: this can be either a single TOML file encoding the entire model, or a batch of CSV files (a root file and a number of files, each per a class of objects).

See tutorials/loadsave for an example.

Examples

@import_network "model.toml"
-@import_network "csv/model.toml"
source
ReactiveDynamics.@export_network — Macro

Export model to a file: this can be either a single TOML file encoding the entire model, or a batch of CSV files (a root file and a number of files, each per a class of objects).

See tutorials/loadsave for an example.

Examples

@export_network acs "acs_data.toml" # as a TOML
-@export_network acs "csv/model.csv" # as a CSV
source

Solution import and export

ReactiveDynamics.@import_solution — Macro
@import_solution "sol.jld2"
-@import_solution "sol.jld2" sol

Import a solution from a file.

Examples

@import_solution "sir_acs_sol/serialized/sol.jld2"
source
ReactiveDynamics.@export_solution_as_table — Macro
@export_solution_as_table sol

Export a solution as a DataFrame.

Examples

@export_solution_as_table sol
source
ReactiveDynamics.@export_solution_as_csv — Macro
@export_solution_as_csv sol
-@export_solution_as_csv sol "sol.csv"

Export a solution to a file.

Examples

@export_solution_as_csv sol "sol.csv"
source
ReactiveDynamics.@export_solution — Macro
@export_solution sol
-@export_solution sol "sol.jld2"

Export a solution to a file.

Examples

@export_solution sol "sol.jdl2"
source

Problematize,sSolve, and plot

ReactiveDynamics.@problematize — Macro

Convert a model to a DiscreteProblem. If passed a problem instance, return the instance.

Examples

@problematize acs tspan = 1:100
source
ReactiveDynamics.@solve — Macro

Solve the problem. Solverargs passed at the calltime take precedence.

Examples

@solve prob
+end
source
ReactiveDynamics.@jump — Macro

Add a jump process (with specified Poisson intensity per unit time step) to a model.

Examples

@jump acs λ Z += rand(Poisson(1.0))
source
ReactiveDynamics.@periodic — Macro

Add a periodic callback to a model.

Examples

@periodic acs 1.0 X += 1
source

Set initial values, uncertainty, and solver arguments

ReactiveDynamics.@prob_init — Macro

Set initial values of species in an acset.

Examples

@prob_init acs X = 1 Y = 2 Z = h(α)
+@prob_init acs [1.0, 2.0, 3.0]
source
ReactiveDynamics.@prob_uncertainty — Macro

Set uncertainty in initial values of species in an acset (stderr).

Examples

@prob_uncertainty acs X = 0.1 Y = 0.2
+@prob_uncertainty acs [0.1, 0.2]
source
ReactiveDynamics.@prob_params — Macro

Set parameter values in an acset.

Examples

@prob_params acs α = 1.0 β = 2.0
source
ReactiveDynamics.@prob_meta — Macro

Set model metadata (e.g. solver arguments)

Examples

@prob_meta acs tspan = (0, 100.0) schedule = schedule_weighted!
+@prob_meta sir_acs tspan = 250 tstep = 1
source

Model unions

ReactiveDynamics.@join — Macro
@join models... [equalize...]

Performs join of models and identifies model variables, as specified.

Model variables / parameter values and metadata are propagated; the last model takes precedence.

Examples

@join acs1 acs2 @catchall(A) = acs2.Z @catchall(XY) @catchall(B)
source
ReactiveDynamics.@equalize — Macro

Identify (collapse) a set of species in a model.

Examples

@join acs acs1.A = acs2.A B = C
source

Model import and export

ReactiveDynamics.@import_network — Macro

Import a model from a file: this can be either a single TOML file encoding the entire model, or a batch of CSV files (a root file and a number of files, each per a class of objects).

See tutorials/loadsave for an example.

Examples

@import_network "model.toml"
+@import_network "csv/model.toml"
source
ReactiveDynamics.@export_network — Macro

Export model to a file: this can be either a single TOML file encoding the entire model, or a batch of CSV files (a root file and a number of files, each per a class of objects).

See tutorials/loadsave for an example.

Examples

@export_network acs "acs_data.toml" # as a TOML
+@export_network acs "csv/model.csv" # as a CSV
source

Solution import and export

ReactiveDynamics.@import_solution — Macro
@import_solution "sol.jld2"
+@import_solution "sol.jld2" sol

Import a solution from a file.

Examples

@import_solution "sir_acs_sol/serialized/sol.jld2"
source
ReactiveDynamics.@export_solution_as_table — Macro
@export_solution_as_table sol

Export a solution as a DataFrame.

Examples

@export_solution_as_table sol
source
ReactiveDynamics.@export_solution_as_csv — Macro
@export_solution_as_csv sol
+@export_solution_as_csv sol "sol.csv"

Export a solution to a file.

Examples

@export_solution_as_csv sol "sol.csv"
source
ReactiveDynamics.@export_solution — Macro
@export_solution sol
+@export_solution sol "sol.jld2"

Export a solution to a file.

Examples

@export_solution sol "sol.jdl2"
source

Problematize,sSolve, and plot

ReactiveDynamics.@problematize — Macro

Convert a model to a DiscreteProblem. If passed a problem instance, return the instance.

Examples

@problematize acs tspan = 1:100
source
ReactiveDynamics.@solve — Macro

Solve the problem. Solverargs passed at the calltime take precedence.

Examples

@solve prob
 @solve prob tspan = 1:100
-@solve prob tspan = 100 trajectories = 20
source
ReactiveDynamics.@plot — Macro

Plot the solution (summary).

Examples

@plot sol plot_type = summary
+@solve prob tspan = 100 trajectories = 20
source
ReactiveDynamics.@plot — Macro

Plot the solution (summary).

Examples

@plot sol plot_type = summary
 @plot sol plot_type = allocation # not supported for ensemble solutions!
 @plot sol plot_type = valuations # not supported for ensemble solutions!
-@plot sol plot_type = new_transitions # not supported for ensemble solutions!
source

Optimization and fitting

ReactiveDynamics.@optimize — Macro
@optimize acset objective <free_var=[init_val]>... <free_prm=[init_val]>... opts...

Take an acset and optimize given functional.

Objective is an expression which may reference the model's variables and parameters, i.e., A+β. The values to optimized are listed using their symbolic names; unless specified, the initial value is inferred from the model. The vector of free variables passed to the NLopt solver has the form [free_vars; free_params]; order of vars and params, respectively, is preserved.

By default, the functional is minimized. Specify objective=max to perform maximization.

Propagates NLopt solver arguments; see NLopt documentation.

Examples

@optimize acs abs(A - B) A B = 20.0 α = 2.0 lower_bounds = 0 upper_bounds = 100
+@plot sol plot_type = new_transitions # not supported for ensemble solutions!
source

Optimization and fitting

ReactiveDynamics.@optimize — Macro
@optimize acset objective <free_var=[init_val]>... <free_prm=[init_val]>... opts...

Take an acset and optimize given functional.

Objective is an expression which may reference the model's variables and parameters, i.e., A+β. The values to optimized are listed using their symbolic names; unless specified, the initial value is inferred from the model. The vector of free variables passed to the NLopt solver has the form [free_vars; free_params]; order of vars and params, respectively, is preserved.

By default, the functional is minimized. Specify objective=max to perform maximization.

Propagates NLopt solver arguments; see NLopt documentation.

Examples

@optimize acs abs(A - B) A B = 20.0 α = 2.0 lower_bounds = 0 upper_bounds = 100
 @optimize acss abs(A - B) A B = 20.0 α = 2.0 upper_bounds = [200, 300, 400] maxeval = 200 objective =
-    min
source
ReactiveDynamics.@fit — Macro
@fit acset data_points time_steps empiric_variables <free_var=[init_val]>... <free_prm=[init_val]>... opts...

Take an acset and fit initial values and parameters to empirical data.

The values to optimized are listed using their symbolic names; unless specified, the initial value is inferred from the model. The vector of free variables passed to the NLopt solver has the form [free_vars; free_params]; order of vars and params, respectively, is preserved.

Propagates NLopt solver arguments; see NLopt documentation.

Examples

t = [1, 50, 100]
+    min
source
ReactiveDynamics.@fit — Macro
@fit acset data_points time_steps empiric_variables <free_var=[init_val]>... <free_prm=[init_val]>... opts...

Take an acset and fit initial values and parameters to empirical data.

The values to optimized are listed using their symbolic names; unless specified, the initial value is inferred from the model. The vector of free variables passed to the NLopt solver has the form [free_vars; free_params]; order of vars and params, respectively, is preserved.

Propagates NLopt solver arguments; see NLopt documentation.

Examples

t = [1, 50, 100]
 data = [80 30 20]
-@fit acs data t vars = A B = 20 A α # fit B, A, α; empirical data is for variable A
source
ReactiveDynamics.@fit_and_plot — Macro
@fit acset data_points time_steps empiric_variables <free_var=[init_val]>... <free_prm=[init_val]>... opts...

Take an acset, fit initial values and parameters to empirical data, and plot the result.

The values to optimized are listed using their symbolic names; unless specified, the initial value is inferred from the model. The vector of free variables passed to the NLopt solver has the form [free_vars; free_params]; order of vars and params, respectively, is preserved.

Propagates NLopt solver arguments; see NLopt documentation.

Examples

t = [1, 50, 100]
+@fit acs data t vars = A B = 20 A α # fit B, A, α; empirical data is for variable A
source
ReactiveDynamics.@fit_and_plot — Macro
@fit acset data_points time_steps empiric_variables <free_var=[init_val]>... <free_prm=[init_val]>... opts...

Take an acset, fit initial values and parameters to empirical data, and plot the result.

The values to optimized are listed using their symbolic names; unless specified, the initial value is inferred from the model. The vector of free variables passed to the NLopt solver has the form [free_vars; free_params]; order of vars and params, respectively, is preserved.

Propagates NLopt solver arguments; see NLopt documentation.

Examples

t = [1, 50, 100]
 data = [80 30 20]
-@fit acs data t vars = A B = 20 A α # fit B, A, α; empirical data is for variable A
source
ReactiveDynamics.@build_solver — Macro
@build_solver acset <free_var=[init_val]>... <free_prm=[init_val]>... opts...

Take an acset and export a solution as a function of free vars and free parameters.

Examples

solver = @build_solver acs S α β # function of variable S and parameters α, β
-solver([S, α, β])
source
+@fit acs data t vars = A B = 20 A α # fit B, A, α; empirical data is for variable Asource
ReactiveDynamics.@build_solver — Macro
@build_solver acset <free_var=[init_val]>... <free_prm=[init_val]>... opts...

Take an acset and export a solution as a function of free vars and free parameters.

Examples

solver = @build_solver acs S α β # function of variable S and parameters α, β
+solver([S, α, β])
source
diff --git a/dev/search.html b/dev/search.html index b7fa9b0..290fddb 100644 --- a/dev/search.html +++ b/dev/search.html @@ -1,2 +1,2 @@ -Search · ReactiveDynamics.jl API Documentation

Loading search...

    +Search · ReactiveDynamics.jl API Documentation

    Loading search...