zhaoyuanjuns/moonbit_extractor/analysis

README
U
ActivityModel
U
AuditReport
U
BalanceAudit
U
BenchmarkCase
U
BenchmarkResult
U
BinodalCurve
U
BoundaryIntersection
U
BoundaryProjection
U
CartesianPoint
U
Concentration
U
ContactPattern
U
CountercurrentResult
U
CountercurrentStage
U
CrossValidation
U
CrosscurrentLeachingResult
U
CrosscurrentResult
U
CrosscurrentStage
U
CsvOptions
U
DesignPoint
U
Duration
U
EfficiencyCalibration
U
EfficiencyStageResult
U
EfficiencyStep
U
EquilibriumCurve
U
EquilibriumPoint
U
EquilibriumTable
U
ExtractionError
U
ExtractionStep
U
Extrapolation
U
Finding
U
LeachingStage
U
LeachingStageResult
U
LedgerEntry
U
LeverResult
U
LinearTable
U
Mass
U
MassFlow
U
MassUnit
U
NumericSummary
U
Observation
U
OperatingWindow
U
PhaseSplit
U
Point
U
Range
U
RecoveryEnvelope
U
RegressionModel
U
SafetyFactor
U
ScenarioResult
U
ScenarioSummary
U
SearchResult
U
SensitivityPoint
U
Severity
U
SingleStageResult
U
SingleStageScenario
U
SolventDesign
U
StageCountResult
U
Statistics
U
SvgCanvas
U
TernaryComposition
U
TieLine
U
TieLineTable
U
TimeUnit
U
Violation
V
activity_factor
V
analysis_balance_report
V
apply_safety_factor
V
approximately_equal
V
audit_balances
V
average_recovery
V
balance_report
V
bounded_minimize
V
calibrate_efficiency
V
cartesian_grid
V
casebook
V
centroid
V
compare_contact_patterns
V
concentration_from_fraction
V
contains
V
countercurrent_constant_k
V
crosscurrent_constant_k
V
crosscurrent_equal_solvent
V
crosscurrent_equal_wash
V
crosscurrent_leach
V
distribution_coefficient
V
extraction_factor
V
fit_linear
V
fit_polynomial
V
from_cartesian
V
grid_minimize
V
is_finite
V
latin_hypercube
V
leave_one_out
V
ledger_entry
V
ledger_passes
V
lever_rule
V
linspace
V
map_unit_triangle
V
maximum_residual
V
mccabe_thiele_stages
V
minimum_countercurrent_stages
V
mix_point
V
operating_line
V
pareto_front
V
parse_equilibrium_csv
V
parse_tie_lines_csv
V
polygon_area
V
quantile
V
recommended_safety_factor
V
recovery_fraction
V
run_casebook
V
run_single_stage_scenario
V
run_single_stage_scenarios
V
sample_curve
V
selectivity
V
shortcut_actual_stages
V
single_stage_constant_k
V
single_stage_leach
V
single_stage_recovery_envelope
V
single_stage_sensitivity
V
single_stage_table
V
solvent_for_countercurrent
V
solvent_for_crosscurrent
V
solvent_for_single_stage
V
split_on_tie_line
V
stages_with_efficiency_profile
V
stages_with_uniform_efficiency
V
summarize
V
summarize_scenarios
V
sweep_distribution
V
sweep_solvent_flow
V
ternary_triangle
V
to_cartesian
V
validate_curve
V
wash_for_target

zhaoyuanjuns/moonbit_extractor/analysis does not have a README file

BalanceAudit

pub(all) struct BalanceAudit {
  passed : Bool
  tolerance : Double
  checked : Int
  failed_names : Array[String]
  maximum_absolute_residual : Double
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

DecisionSummary

source

pub(all) struct DecisionSummary {
  target : String
  central_value : Double
  lower_bound : Double
  upper_bound : Double
  probability_of_success : Double
  confidence : Double
  decision : String
  limiting_factor : String
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

DecisionTrace

source

pub(all) struct DecisionTrace {
  study : String
  events : Array[TraceEvent]
  passed : Bool
  failure_count : Int
  warning_count : Int
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

DecisionTrace::add_metric

source

fn DecisionTrace::add_metric(self : DecisionTrace, metric : TraceMetric) -> DecisionTrace

DecisionTrace::new

source

fn DecisionTrace::new(study~ : String) -> DecisionTrace

DecisionTrace::record

source

fn DecisionTrace::record(self : DecisionTrace, category : String, name : String, input : String, output : String, passed : Bool, note : String) -> DecisionTrace

NumericSummary

source

pub(all) struct NumericSummary {
  count : Int
  minimum : Double
  maximum : Double
  mean : Double
  sample_standard_deviation : Double
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

RecoveryEnvelope

source

pub(all) struct RecoveryEnvelope {
  nominal : @zhaoyuanjuns/moonbit_extractor/liquid.SingleStageResult
SingleStageResult
  minimum_recovery : Double
  maximum_recovery : Double
  minimum_case : SingleStageScenario
  maximum_case : SingleStageScenario
  evaluated_cases : Int
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

RiskBand

source

pub(all) struct RiskBand {
  name : String
  lower : Double
  central : Double
  upper : Double
  probability : Double
  severity : String
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

Decision-oriented summaries for uncertainty and scenario studies.

ScenarioMetric

source

pub(all) struct ScenarioMetric {
  name : String
  value : Double
  weight : Double
  feasible : Bool
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

ScenarioResult

source

pub(all) struct ScenarioResult {
  name : String
  input : SingleStageScenario
  result : @zhaoyuanjuns/moonbit_extractor/liquid.SingleStageResult
SingleStageResult
  extraction_factor : Double
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

ScenarioSummary

source

pub(all) struct ScenarioSummary {
  recovery : NumericSummary
  raffinate_concentration : NumericSummary
  extract_concentration : NumericSummary
  extraction_factor : NumericSummary
  maximum_absolute_balance_residual : Double
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

SensitivityContribution

source

pub(all) struct SensitivityContribution {
  parameter : String
  elasticity : Double
  absolute_effect : Double
  rank : Int
  direction : String
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

SingleStageScenario

source

pub(all) struct SingleStageScenario {
  name : String
  feed_flow : Double
  feed_concentration : Double
  solvent_flow : Double
  solvent_concentration : Double
  distribution : Double
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

SingleStageScenario::new

source

fn SingleStageScenario::new(name~ : String, feed_flow~ : Double, feed_concentration~ : Double, solvent_flow~ : Double, solvent_concentration? : Double, distribution~ : Double) -> SingleStageScenario raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

StudyCase

source

pub(all) struct StudyCase {
  name : String
  feed_flow : Double
  feed_concentration : Double
  solvent_flow : Double
  distribution : Double
  target_recovery : Double
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

A named process study input for matrix evaluation.

StudyCase::new

source

fn StudyCase::new(name~ : String, feed_flow~ : Double, feed_concentration~ : Double, solvent_flow~ : Double, distribution~ : Double, target_recovery? : Double) -> StudyCase raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

StudyCase::run

source

fn StudyCase::run(self : StudyCase) -> StudyCaseResult raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

StudyCaseResult

source

pub(all) struct StudyCaseResult {
  case_name : String
  result : @zhaoyuanjuns/moonbit_extractor/liquid.SingleStageResult
SingleStageResult
  passed : Bool
  recovery_margin : Double
  solvent_to_feed : Double
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

StudyMatrix

source

pub(all) struct StudyMatrix {
  cases : Array[StudyCase]
  results : Array[StudyCaseResult]
  passed_count : Int
  failed_count : Int
  best_recovery : StudyCaseResult
  worst_recovery : StudyCaseResult
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

StudyMatrix::mean_recovery

source

fn StudyMatrix::mean_recovery(self : StudyMatrix) -> Double

StudyMatrix::mean_solvent_ratio

source

fn StudyMatrix::mean_solvent_ratio(self : StudyMatrix) -> Double

StudyMatrix::recoveries

source

fn StudyMatrix::recoveries(self : StudyMatrix) -> Array[Double]

StudyMatrix::result

source

fn StudyMatrix::result(self : StudyMatrix, index : Int) -> StudyCaseResult raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

StudyMatrix::to_csv

source

fn StudyMatrix::to_csv(self : StudyMatrix) -> String

StudyMatrix::to_markdown

source

fn StudyMatrix::to_markdown(self : StudyMatrix) -> String

TraceEvent

source

pub(all) struct TraceEvent {
  sequence : Int
  category : String
  name : String
  input : String
  output : String
  passed : Bool
  note : String
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

Reproducible decision traces for process studies.

TraceMetric

source

pub(all) struct TraceMetric {
  name : String
  value : Double
  lower : Double
  upper : Double
  unit : String
  accepted : Bool
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

TraceMetric::output_text

source

fn TraceMetric::output_text(self : TraceMetric) -> String

audit_balances

source

fn audit_balances(results : ArrayView[ScenarioResult], tolerance? : Double) -> BalanceAudit raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

bootstrap_mean

source

fn bootstrap_mean(values : ArrayView[Double]) -> Double

bootstrap_standard_error

source

fn bootstrap_standard_error(values : ArrayView[Double]) -> Double

decide

source

fn decide(target : String, values : ArrayView[Double], target_value : Double, minimum_probability : Double, confidence : Double) -> DecisionSummary raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

decision_is_robust

source

fn decision_is_robust(summary : DecisionSummary, minimum_probability : Double, minimum_confidence : Double) -> Bool

decision_markdown

source

fn decision_markdown(summary : DecisionSummary) -> String

feasible_probability

source

fn feasible_probability(scenarios : ArrayView[ScenarioMetric]) -> Double

limiting_parameter

source

fn limiting_parameter(contributions : ArrayView[SensitivityContribution]) -> String

metric

source

fn metric(name : String, value : Double, lower : Double, upper : Double, unit : String) -> TraceMetric

metric_relative_margin

source

fn metric_relative_margin(metric : TraceMetric) -> Double

metric_summary

source

fn metric_summary(metrics : ArrayView[TraceMetric]) -> String

metrics_to_trace

source

fn metrics_to_trace(study : String, metrics : ArrayView[TraceMetric]) -> DecisionTrace

percentile

source

fn percentile(values : ArrayView[Double], probability : Double) -> Double raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

recovery_elasticity

source

fn recovery_elasticity(base : StudyCase, relative_step? : Double) -> (Double, Double) raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

risk_band

source

fn risk_band(name : String, values : ArrayView[Double], lower_probability : Double, upper_probability : Double, target : Double) -> RiskBand raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

risk_band_markdown

source

fn risk_band_markdown(bands : ArrayView[RiskBand]) -> String

run_single_stage_scenario

source

fn run_single_stage_scenario(scenario : SingleStageScenario) -> ScenarioResult raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

run_single_stage_scenarios

source

fn run_single_stage_scenarios(scenarios : ArrayView[SingleStageScenario]) -> Array[ScenarioResult] raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

run_study_matrix

source

fn run_study_matrix(cases : ArrayView[StudyCase]) -> StudyMatrix raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

scenario_metrics_csv

source

fn scenario_metrics_csv(scenarios : ArrayView[ScenarioMetric]) -> String

scenario_value_range

source

fn scenario_value_range(scenarios : ArrayView[ScenarioMetric]) -> (Double, Double)

sensitivity_contributions

source

fn sensitivity_contributions(parameters : ArrayView[String], elasticities : ArrayView[Double], baseline : Double) -> Array[SensitivityContribution]

sensitivity_markdown

source

fn sensitivity_markdown(contributions : ArrayView[SensitivityContribution]) -> String

sensitivity_matrix

source

fn sensitivity_matrix(base : StudyCase, feed_multipliers : ArrayView[Double], solvent_multipliers : ArrayView[Double]) -> Array[StudyCaseResult] raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

single_stage_recovery_envelope

source

fn single_stage_recovery_envelope(feed_flow~ : Double, feed_concentration~ : Double, nominal_solvent_flow~ : Double, solvent_flow_lower~ : Double, solvent_flow_upper~ : Double, nominal_distribution~ : Double, distribution_lower~ : Double, distribution_upper~ : Double) -> RecoveryEnvelope raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

Evaluate the corner cases of bounded solvent-flow and distribution ranges. Monotonicity is not assumed by the implementation even though the ideal constant-K model is monotone in both inputs.

summarize

source

fn summarize(values : ArrayView[Double]) -> NumericSummary raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

summarize_scenarios

source

fn summarize_scenarios(results : ArrayView[ScenarioResult]) -> ScenarioSummary raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

sweep_distribution

source

fn sweep_distribution(feed_flow~ : Double, feed_concentration~ : Double, solvent_flow~ : Double, distributions : ArrayView[Double]) -> Array[ScenarioResult] raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

sweep_solvent_flow

source

fn sweep_solvent_flow(feed_flow~ : Double, feed_concentration~ : Double, solvent_flows : ArrayView[Double], distribution~ : Double) -> Array[ScenarioResult] raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

trace_categories

source

fn trace_categories(trace : DecisionTrace) -> Array[String]

trace_category_counts

source

fn trace_category_counts(trace : DecisionTrace) -> Array[(String, Int)]

trace_check

source

fn trace_check(trace : DecisionTrace, minimum_events : Int) -> Bool

trace_csv

source

fn trace_csv(trace : DecisionTrace) -> String

trace_event_count

source

fn trace_event_count(trace : DecisionTrace, passed : Bool) -> Int

trace_events_by_category

source

fn trace_events_by_category(trace : DecisionTrace, category : String) -> Array[TraceEvent]

trace_failures

source

fn trace_failures(trace : DecisionTrace) -> Array[TraceEvent]

trace_has_category

source

fn trace_has_category(trace : DecisionTrace, category : String) -> Bool

trace_json_lines

source

fn trace_json_lines(trace : DecisionTrace) -> String

trace_markdown

source

fn trace_markdown(trace : DecisionTrace) -> String

trace_merge

source

fn trace_merge(first : DecisionTrace, second : DecisionTrace) -> DecisionTrace

trace_replay_summary

source

fn trace_replay_summary(trace : DecisionTrace) -> String

trace_status_code

source

fn trace_status_code(trace : DecisionTrace) -> Int

trace_warnings

source

fn trace_warnings(trace : DecisionTrace) -> Array[TraceEvent]

uncertainty_width

source

fn uncertainty_width(summary : DecisionSummary) -> Double

uncertainty_width_relative

source

fn uncertainty_width_relative(summary : DecisionSummary) -> Double

weighted_scenario_mean

source

fn weighted_scenario_mean(scenarios : ArrayView[ScenarioMetric]) -> Double raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

Source Files

Site source Report issue Packages Build queue Skills Statistics

#BalanceAudit

#DecisionSummary

#DecisionTrace

#DecisionTrace::add_metric

#DecisionTrace::new

#DecisionTrace::record

#NumericSummary

#RecoveryEnvelope

#RiskBand

#ScenarioMetric

#ScenarioResult

#ScenarioSummary

#SensitivityContribution

#SingleStageScenario

#SingleStageScenario::new

#StudyCase

#StudyCase::new

#StudyCase::run

#StudyCaseResult

#StudyMatrix

#StudyMatrix::mean_recovery

#StudyMatrix::mean_solvent_ratio

#StudyMatrix::recoveries

#StudyMatrix::result

#StudyMatrix::to_csv

#StudyMatrix::to_markdown

#TraceEvent

#TraceMetric

#TraceMetric::output_text

#audit_balances

#bootstrap_mean

#bootstrap_standard_error

#decide

#decision_is_robust

#decision_markdown

#feasible_probability

#limiting_parameter

#metric

#metric_relative_margin

#metric_summary

#metrics_to_trace

#percentile

#recovery_elasticity

#risk_band

#risk_band_markdown

#run_single_stage_scenario

#run_single_stage_scenarios

#run_study_matrix

#scenario_metrics_csv

#scenario_value_range

#sensitivity_contributions

#sensitivity_markdown

#sensitivity_matrix

#single_stage_recovery_envelope

#summarize

#summarize_scenarios

#sweep_distribution

#sweep_solvent_flow

#trace_categories

#trace_category_counts

#trace_check

#trace_csv

#trace_event_count

#trace_events_by_category

#trace_failures

#trace_has_category

#trace_json_lines

#trace_markdown

#trace_merge

#trace_replay_summary

#trace_status_code

#trace_warnings

#uncertainty_width

#uncertainty_width_relative

#weighted_scenario_mean

Source Files

BalanceAudit

DecisionSummary

DecisionTrace

DecisionTrace::add_metric

DecisionTrace::new

DecisionTrace::record

NumericSummary

RecoveryEnvelope

RiskBand

ScenarioMetric

ScenarioResult

ScenarioSummary

SensitivityContribution

SingleStageScenario

SingleStageScenario::new

StudyCase

StudyCase::new

StudyCase::run

StudyCaseResult

StudyMatrix

StudyMatrix::mean_recovery

StudyMatrix::mean_solvent_ratio

StudyMatrix::recoveries

StudyMatrix::result

StudyMatrix::to_csv

StudyMatrix::to_markdown

TraceEvent

TraceMetric

TraceMetric::output_text

audit_balances

bootstrap_mean

bootstrap_standard_error

decide

decision_is_robust

decision_markdown

feasible_probability

limiting_parameter

metric

metric_relative_margin

metric_summary

metrics_to_trace

percentile

recovery_elasticity

risk_band

risk_band_markdown

run_single_stage_scenario

run_single_stage_scenarios

run_study_matrix

scenario_metrics_csv

scenario_value_range

sensitivity_contributions

sensitivity_markdown

sensitivity_matrix

single_stage_recovery_envelope

summarize

summarize_scenarios

sweep_distribution

sweep_solvent_flow

trace_categories

trace_category_counts

trace_check

trace_csv

trace_event_count

trace_events_by_category

trace_failures

trace_has_category

trace_json_lines

trace_markdown

trace_merge

trace_replay_summary

trace_status_code

trace_warnings

uncertainty_width

uncertainty_width_relative

weighted_scenario_mean