zhaoyuanjuns/moonbit_extractor/liquid

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/liquid does not have a README file

CascadeComparison

pub(all) struct CascadeComparison {
  constant_result : CountercurrentResult
  table_result : NonlinearCountercurrentResult
  outlet_difference : Double
  recovery_difference : Double
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

Compare constant-K and tabulated equilibrium predictions.

CascadeMetrics

source

pub(all) struct CascadeMetrics {
  stage_count : Int
  total_feed_solute : Double
  extracted_solute : Double
  raffinate_solute : Double
  recovery : Double
  average_stage_recovery : Double
  maximum_stage_transfer : Double
  minimum_stage_transfer : Double
  transfer_uniformity : Double
  balance_residual : Double
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

Aggregate metrics for comparing cascade designs.

CascadeProfile

source

pub(all) struct CascadeProfile {
  stages : Array[CascadeProfilePoint]
  total_recovery : Double
  total_balance_error : Double
  minimum_driving_force : Double
  bottleneck_stage : Int
  monotonic : Bool
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

CascadeProfilePoint

source

pub(all) struct CascadeProfilePoint {
  stage : Int
  raffinate_in : Double
  raffinate_out : Double
  extract_in : Double
  extract_out : Double
  local_recovery : Double
  cumulative_recovery : Double
  driving_force : Double
  balance_error : Double
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

Stage-by-stage profile and sensitivity utilities for liquid extraction.

CascadeSensitivityPoint

source

pub(all) struct CascadeSensitivityPoint {
  parameter : String
  baseline : Double
  perturbed : Double
  absolute_change : Double
  relative_change : Double
  elasticity : Double
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

CountercurrentResult

source

pub(all) struct CountercurrentResult {
  stages : Array[CountercurrentStage]
  raffinate_outlet_concentration : Double
  extract_outlet_concentration : Double
  recovery : Double
  balance_residual : Double
  extraction_factor : Double
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

CountercurrentStage

source

pub(all) struct CountercurrentStage {
  stage : Int
  raffinate_concentration : Double
  extract_concentration : Double
  raffinate_solute_flow : Double
  extract_solute_flow : Double
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

CrosscurrentResult

source

pub(all) struct CrosscurrentResult {
  stages : Array[CrosscurrentStage]
  final_raffinate_concentration : Double
  total_extracted_solute : Double
  overall_recovery : Double
  balance_residual : Double
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

CrosscurrentStage

source

pub(all) struct CrosscurrentStage {
  stage : Int
  solvent_flow : Double
  inlet_raffinate_concentration : Double
  outlet_raffinate_concentration : Double
  extract_concentration : Double
  extracted_solute : Double
  cumulative_recovery : Double
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

NonlinearCountercurrentResult

source

pub(all) struct NonlinearCountercurrentResult {
  stages : Array[NonlinearCountercurrentStage]
  raffinate_outlet_concentration : Double
  extract_outlet_concentration : Double
  recovery : Double
  balance_residual : Double
  iterations : Int
  converged : Bool
  maximum_local_residual : Double
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

NonlinearCountercurrentStage

source

pub(all) struct NonlinearCountercurrentStage {
  stage : Int
  raffinate_concentration : Double
  extract_concentration : Double
  raffinate_solute_flow : Double
  extract_solute_flow : Double
  local_residual : Double
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

Stage result for a countercurrent cascade using a tabulated equilibrium curve.

SingleStageResult

source

pub(all) struct SingleStageResult {
  raffinate_concentration : Double
  extract_concentration : Double
  raffinate_solute : Double
  extract_solute : Double
  recovery : Double
  balance_residual : Double
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

Material-balance result for one equilibrium contact.

StageRanking

source

pub(all) struct StageRanking {
  stage : Int
  score : Double
  transfer : Double
  rank : Int
} derive(Eq, ToJson, @moonbitlang/core/debug.Debug
Debug)

build_cascade_profile

source

fn build_cascade_profile(raffinate_inlets : ArrayView[Double], raffinate_outlets : ArrayView[Double], extract_inlets : ArrayView[Double], extract_outlets : ArrayView[Double], tolerance : Double) -> CascadeProfile raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

cascade_is_balanced

source

fn cascade_is_balanced(result : CountercurrentResult, tolerance~ : Double) -> Bool raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

cascade_metrics

source

fn cascade_metrics(result : CountercurrentResult) -> CascadeMetrics raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

compare_countercurrent_models

source

fn compare_countercurrent_models(carrier_flow~ : Double, feed_concentration~ : Double, solvent_flow~ : Double, distribution~ : Double, equilibrium~ : @zhaoyuanjuns/moonbit_extractor/interpolation.EquilibriumTable
EquilibriumTable, stage_count~ : Int) -> CascadeComparison raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

compare_metrics

source

fn compare_metrics(first : CascadeMetrics, second : CascadeMetrics) -> Array[String]

countercurrent_constant_k

source

fn countercurrent_constant_k(carrier_flow~ : Double, feed_concentration~ : Double, solvent_flow~ : Double, solvent_inlet_concentration? : Double, distribution~ : Double, stage_count~ : Int) -> CountercurrentResult raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

Solve an ideal countercurrent cascade with constant flows and constant K. Stage one is adjacent to the feed; stage N is adjacent to fresh solvent.

countercurrent_table

source

fn countercurrent_table(carrier_flow~ : Double, feed_concentration~ : Double, solvent_flow~ : Double, solvent_inlet_concentration? : Double, equilibrium~ : @zhaoyuanjuns/moonbit_extractor/interpolation.EquilibriumTable
EquilibriumTable, stage_count~ : Int, tolerance? : Double, maximum_iterations? : Int, relaxation? : Double) -> NonlinearCountercurrentResult raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

Solve a nonlinear countercurrent cascade by damped Gauss–Seidel iteration.

crosscurrent_constant_k

source

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

Calculate ideal crosscurrent stages with fresh or preloaded solvent.

solvent_flows and solvent_concentrations contain one value per stage.

crosscurrent_equal_solvent

source

fn crosscurrent_equal_solvent(feed_flow~ : Double, feed_concentration~ : Double, total_solvent~ : Double, stage_count~ : Int, distribution~ : Double) -> CrosscurrentResult raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

Equal-solvent allocation convenience wrapper.

distribution_coefficient

source

fn distribution_coefficient(raffinate_concentration : Double, extract_concentration : Double) -> Double raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

Calculate the distribution coefficient K_D = y / x.

extraction_factor

source

fn extraction_factor(distribution~ : Double, solvent_flow~ : Double, carrier_flow~ : Double) -> Double raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

maximum_concentration

source

fn maximum_concentration(result : NonlinearCountercurrentResult) -> Double

minimum_countercurrent_stages

source

fn minimum_countercurrent_stages(carrier_flow~ : Double, feed_concentration~ : Double, solvent_flow~ : Double, solvent_inlet_concentration? : Double, distribution~ : Double, target_raffinate~ : Double, maximum_stages? : Int) -> CountercurrentResult raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

Find the smallest integer stage count that meets a raffinate target.

minimum_table_stages

source

fn minimum_table_stages(carrier_flow~ : Double, feed_concentration~ : Double, solvent_flow~ : Double, solvent_inlet_concentration? : Double, equilibrium~ : @zhaoyuanjuns/moonbit_extractor/interpolation.EquilibriumTable
EquilibriumTable, target_raffinate~ : Double, maximum_stages? : Int) -> NonlinearCountercurrentResult raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

Find the first nonlinear cascade meeting a raffinate specification.

nonlinear_cascade_metrics

source

fn nonlinear_cascade_metrics(result : NonlinearCountercurrentResult) -> CascadeMetrics raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

profile_alerts

source

fn profile_alerts(profile : CascadeProfile, minimum_force : Double, maximum_error : Double) -> Array[String]

profile_average_recovery

source

fn profile_average_recovery(profile : CascadeProfile) -> Double

profile_balance_errors

source

fn profile_balance_errors(profile : CascadeProfile) -> Array[Double]

profile_compare

source

fn profile_compare(first : CascadeProfile, second : CascadeProfile) -> String

profile_csv

source

fn profile_csv(profile : CascadeProfile) -> String

profile_driving_forces

source

fn profile_driving_forces(profile : CascadeProfile) -> Array[Double]

profile_first_stage_share

source

fn profile_first_stage_share(profile : CascadeProfile) -> Double

profile_from_stage_data

source

fn profile_from_stage_data(feed : Double, stage_recoveries : ArrayView[Double], solvent_flow : Double) -> CascadeProfile raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

profile_is_acceptable

source

fn profile_is_acceptable(profile : CascadeProfile, minimum_recovery : Double, maximum_error : Double) -> Bool

profile_is_well_balanced

source

fn profile_is_well_balanced(profile : CascadeProfile, maximum_balance_error : Double, minimum_force : Double) -> Bool

profile_last_stage_share

source

fn profile_last_stage_share(profile : CascadeProfile) -> Double

profile_markdown

source

fn profile_markdown(profile : CascadeProfile) -> String

profile_recoveries

source

fn profile_recoveries(profile : CascadeProfile) -> Array[Double]

profile_recovery_stddev

source

fn profile_recovery_stddev(profile : CascadeProfile) -> Double

profile_resample

source

fn profile_resample(profile : CascadeProfile, target_stages : Int) -> CascadeProfile raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

profile_sensitivity

source

fn profile_sensitivity(baseline : CascadeProfile, perturbed : CascadeProfile, parameter : String) -> CascadeSensitivityPoint

profile_sensitivity_matrix

source

fn profile_sensitivity_matrix(baseline : CascadeProfile, variants : ArrayView[CascadeProfile], names : ArrayView[String]) -> Array[CascadeSensitivityPoint]

profile_stage

source

fn profile_stage(profile : CascadeProfile, stage : Int) -> CascadeProfilePoint raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

rank_cascade_stages

source

fn rank_cascade_stages(result : CountercurrentResult) -> Array[StageRanking] raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

recovery_fraction

source

fn recovery_fraction(inlet_solute : Double, raffinate_solute : Double) -> Double raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

selectivity

source

fn selectivity(solute_a_raffinate~ : Double, solute_a_extract~ : Double, solute_b_raffinate~ : Double, solute_b_extract~ : Double) -> Double raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

Calculate separation selectivity (y_a/x_a) / (y_b/x_b).

single_stage_constant_k

source

fn single_stage_constant_k(feed_flow~ : Double, feed_concentration~ : Double, solvent_flow~ : Double, solvent_concentration? : Double, distribution~ : Double) -> SingleStageResult raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

Solve one ideal equilibrium stage with constant distribution coefficient. Concentrations and flow rates must use a consistent solute-free basis.

single_stage_table

source

fn single_stage_table(feed_flow~ : Double, feed_concentration~ : Double, solvent_flow~ : Double, solvent_concentration? : Double, equilibrium~ : @zhaoyuanjuns/moonbit_extractor/interpolation.EquilibriumTable
EquilibriumTable, tolerance? : Double, max_iterations? : Int) -> SingleStageResult raise @zhaoyuanjuns/moonbit_extractor/domain.ExtractionError
ExtractionError

Solve one stage against a tabulated equilibrium relation using bisection.

stage_residuals

source

fn stage_residuals(result : NonlinearCountercurrentResult) -> Array[Double]

Source Files

Site source Report issue Packages Build queue Skills Statistics

#CascadeComparison

#CascadeMetrics

#CascadeProfile

#CascadeProfilePoint

#CascadeSensitivityPoint

#CountercurrentResult

#CountercurrentStage

#CrosscurrentResult

#CrosscurrentStage

#NonlinearCountercurrentResult

#NonlinearCountercurrentStage

#SingleStageResult

#StageRanking

#build_cascade_profile

#cascade_is_balanced

#cascade_metrics

#compare_countercurrent_models

#compare_metrics

#countercurrent_constant_k

#countercurrent_table

#crosscurrent_constant_k

#crosscurrent_equal_solvent

#distribution_coefficient

#extraction_factor

#maximum_concentration

#minimum_countercurrent_stages

#minimum_table_stages

#nonlinear_cascade_metrics

#profile_alerts

#profile_average_recovery

#profile_balance_errors

#profile_compare

#profile_csv

#profile_driving_forces

#profile_first_stage_share

#profile_from_stage_data

#profile_is_acceptable

#profile_is_well_balanced

#profile_last_stage_share

#profile_markdown

#profile_recoveries

#profile_recovery_stddev

#profile_resample

#profile_sensitivity

#profile_sensitivity_matrix

#profile_stage

#rank_cascade_stages

#recovery_fraction

#selectivity

#single_stage_constant_k

#single_stage_table

#stage_residuals

Source Files

CascadeComparison

CascadeMetrics

CascadeProfile

CascadeProfilePoint

CascadeSensitivityPoint

CountercurrentResult

CountercurrentStage

CrosscurrentResult

CrosscurrentStage

NonlinearCountercurrentResult

NonlinearCountercurrentStage

SingleStageResult

StageRanking

build_cascade_profile

cascade_is_balanced

cascade_metrics

compare_countercurrent_models

compare_metrics

countercurrent_constant_k

countercurrent_table

crosscurrent_constant_k

crosscurrent_equal_solvent

distribution_coefficient

extraction_factor

maximum_concentration

minimum_countercurrent_stages

minimum_table_stages

nonlinear_cascade_metrics

profile_alerts

profile_average_recovery

profile_balance_errors

profile_compare

profile_csv

profile_driving_forces

profile_first_stage_share

profile_from_stage_data

profile_is_acceptable

profile_is_well_balanced

profile_last_stage_share

profile_markdown

profile_recoveries

profile_recovery_stddev

profile_resample

profile_sensitivity

profile_sensitivity_matrix

profile_stage

rank_cascade_stages

recovery_fraction

selectivity

single_stage_constant_k

single_stage_table

stage_residuals