def test_with_gdp(self, name: str, opt_class: Type[PersistentSolver]):
opt: PersistentSolver = opt_class()
if not opt.available():
raise unittest.SkipTest
m = pe.ConcreteModel()
m.x = pe.Var(bounds=(-10, 10))
m.y = pe.Var(bounds=(-10, 10))
m.obj = pe.Objective(expr=m.y)
m.d1 = gdp.Disjunct()
m.d1.c1 = pe.Constraint(expr=m.y >= m.x + 2)
m.d1.c2 = pe.Constraint(expr=m.y >= -m.x + 2)
m.d2 = gdp.Disjunct()
m.d2.c1 = pe.Constraint(expr=m.y >= m.x + 1)
m.d2.c2 = pe.Constraint(expr=m.y >= -m.x + 1)
m.disjunction = gdp.Disjunction(expr=[m.d2, m.d1])
pe.TransformationFactory("gdp.bigm").apply_to(m)
res = opt.solve(m)
self.assertAlmostEqual(res.best_feasible_objective, 1)
self.assertAlmostEqual(m.x.value, 0)
self.assertAlmostEqual(m.y.value, 1)
opt: PersistentSolver = opt_class()
opt.use_extensions = True
res = opt.solve(m)
self.assertAlmostEqual(res.best_feasible_objective, 1)
self.assertAlmostEqual(m.x.value, 0)
self.assertAlmostEqual(m.y.value, 1)
def test_disjunct_not_in_disjunction(self):
m = pe.ConcreteModel()
m.x = pe.Var()
m.d1 = gdp.Disjunct()
m.d1.c = pe.Constraint(expr=m.x == 1)
m.d2 = gdp.Disjunct()
m.d2.c = pe.Constraint(expr=m.x == 0)
with self.assertRaisesRegexp(
gdp.GDP_Error, '.*not found in any Disjunctions.*'):
pe.TransformationFactory('gdp.bigm').apply_to(m)
def test_disjunct_not_in_disjunction(self):
m = pe.ConcreteModel()
m.x = pe.Var()
m.d1 = gdp.Disjunct()
m.d1.c = pe.Constraint(expr=m.x == 1)
m.d2 = gdp.Disjunct()
m.d2.c = pe.Constraint(expr=m.x == 0)
pe.TransformationFactory('gdp.bigm').apply_to(m)
log = StringIO()
with LoggingIntercept(log, 'pyomo.gdp', logging.WARNING):
check_model_algebraic(m)
self.assertRegexpMatches(log.getvalue(),
'.*not found in any Disjunctions.*')
def test_disjunct_not_in_active_disjunction(self):
m = pe.ConcreteModel()
m.x = pe.Var()
m.d1 = gdp.Disjunct()
m.d1.c = pe.Constraint(expr=m.x == 1)
m.d2 = gdp.Disjunct()
m.d2.c = pe.Constraint(expr=m.x == 0)
m.disjunction = gdp.Disjunction(expr=[m.d1, m.d2])
m.disjunction.deactivate()
with self.assertRaisesRegexp(
gdp.GDP_Error, '.*While it participates in a Disjunction, '
'that Disjunction is currently deactivated.*'):
pe.TransformationFactory('gdp.bigm').apply_to(m)
def disjunctify(model, indicator_name, disjunct_name, LHS_disjunct_set,
RHS_disjunct_set):
assert len(LHS_disjunct_set) == len(RHS_disjunct_set)
dset = list(range(len(LHS_disjunct_set)))
setattr(model, indicator_name, None)
_dj = getattr(model, indicator_name)
setattr(model, disjunct_name, None)
_ddj = getattr(model, disjunct_name)
def _disjunct_rule(disjunct, i, flag):
if flag:
con_lists = LHS_disjunct_set
else:
con_lists = RHS_disjunct_set
disjunct.c = pe.ConstraintList()
for k, cik in con_lists[i]:
disjunct.c.add(pe.inequality(cik.lower, cik.body, cik.upper))
cik.deactivate()
_dj = gdp.Disjunct(dset, [0, 1], rule=_disjunct_rule)
# Define the disjunction
def _disjunction_rule(model, i):
return [model._dj[i, 0], model._dj[i, 1]]
_ddj = gdp.Disjunction(range(len(LHS_disjunct_set)),
rule=_disjunction_rule)
def test_disjunct_not_in_active_disjunction(self):
m = pe.ConcreteModel()
m.x = pe.Var()
m.d1 = gdp.Disjunct()
m.d1.c = pe.Constraint(expr=m.x == 1)
m.d2 = gdp.Disjunct()
m.d2.c = pe.Constraint(expr=m.x == 0)
m.disjunction = gdp.Disjunction(expr=[m.d1, m.d2])
m.disjunction.deactivate()
pe.TransformationFactory('gdp.bigm').apply_to(m)
log = StringIO()
with LoggingIntercept(log, 'pyomo.gdp', logging.WARNING):
check_model_algebraic(m)
self.assertRegexpMatches(
log.getvalue(), '.*While it participates in a Disjunction, '
'that Disjunction is currently deactivated.*')
def premixing_model(Po=0.1,
rho=997,
mu=0.001,
di=0.9,
dt=1,
H=1,
model='turbulent',
fx_pn=False):
m = pe.ConcreteModel() # Concrete model
# Parameters
m.di = pe.Param(initialize=di, mutable=True)
m.dt = pe.Param(initialize=dt, mutable=True)
m.H = pe.Param(initialize=H, mutable=True)
# Variables
m.rho = pe.Var(initialize=rho, within=pe.PositiveReals) # Stream density
m.mu = pe.Var(initialize=mu, within=pe.PositiveReals) # Stream viscosity
m.Po = pe.Var(within=pe.PositiveReals,
initialize=Po) # Mixing Power number
m.N = pe.Var(within=pe.PositiveReals) # Mixing rpm
m.m_time = pe.Var() # Mixibg time
# Fix power number?
if fx_pn:
m.Po.fix(Po)
# Selects the mixing rule (regime)
if model == 'turbulent':
m.mixing_eq = pe.Constraint(rule=turbulent_mix_rule)
elif model == 'transition':
m.mixing_eq = pe.Constraint(rule=transition_mix_rule)
elif model == 'hybrid':
# Disjunctions - Blocks
m.re_turbulent = gdp.Disjunct()
m.re_transition = gdp.Disjunct()
# Disjuntion constraints
m.re_turbulent.mixing_eq = pe.Constraint(expr=turbulent_mix_rule(m))
m.re_transition.mixing_eq = pe.Constraint(expr=transition_mix_rule(m))
return m
def __init__(self):
self.model = m = pe.ConcreteModel() # main model
self.alpha = 0.72 # compressor coefficient
self.eta = 0.75 # compressor efficiency
self.gamma = 0.23077 # ratio of constant pressure heat capacity to constant volume heat capacity
self.cp = 35.0 # heat capacity
self.heat_of_reaction = -15
self.volume_conversion = dict()
self.volume_conversion[9] = 0.1
self.volume_conversion[10] = 0.05
self.reactor_volume = 100
self.electricity_cost = 0.255
self.cooling_cost = 700
self.heating_cost = 8000
self.purity_demand = 0.9 #purity demand in product stream
self.demand = 1.0 # flowrate restriction on product flow
self.flow_feed_lb = 0.5
self.flow_feed_ub = 5
self.flow_feed_temp = 3
self.flow_feed_pressure = 1
self.cost_flow_1 = 795.6
self.cost_flow_2 = 1009.8
self.price_of_product = 7650
self.price_of_byproduct = 642.6
self.cheap_reactor_fixed_cost = 100
self.cheap_reactor_variable_cost = 5
self.expensive_reactor_fixed_cost = 250
self.expensive_reactor_variable_cost = 10
self.heat_unit_match = 0.00306
self.capacity_redundancy = 1.2
self.antoine_unit_trans = 7500.6168
self.K = 0.415
self.delta_H = 26.25
self.reactor_relation = 0.9
self.purity_demand = 0.9
self.fix_electricity_cost = 175
self.two_stage_fix_cost = 50
m.streams = pe.Set(initialize=list(range(1, 34)), ordered=True)
m.components = pe.Set(initialize=['H2', 'CO', 'CH3OH', 'CH4'],
ordered=True)
m.flows = pe.Var(m.streams, bounds=(0, 20))
m.temps = pe.Var(m.streams, bounds=(3, 9))
m.pressures = pe.Var(m.streams, bounds=(0.1, 15))
m.component_flows = pe.Var(m.streams, m.components, bounds=(0, 20))
flow_1 = dict()
flow_1['H2'] = 0.6
flow_1['CO'] = 0.25
flow_1['CH4'] = 0.15
m.flow_1_composition = pe.Param(m.components,
initialize=flow_1,
default=0)
flow_2 = dict()
flow_2['H2'] = 0.65
flow_2['CO'] = 0.30
flow_2['CH4'] = 0.05
m.flow_2_composition = pe.Param(m.components,
initialize=flow_2,
default=0)
m.pressures[13].setlb(2.5)
m.temps[13].setlb(4.23)
m.temps[13].setub(8.73)
m.temps[18].setlb(5.23)
m.temps[18].setub(8.73)
m.flows[22].setlb(0.1)
m.flows[22].setub(1.0)
m.temps[23].fix(4)
m.temps[25].fix(4)
self.inlet_streams = dict()
self.outlet_streams = dict()
self.vapor_outlets = dict()
self.liquid_outlets = dict()
self.inlet_streams[3] = 4
self.inlet_streams[4] = 5
self.inlet_streams[5] = 7
self.inlet_streams[6] = 8
self.inlet_streams[7] = 11
self.inlet_streams[8] = 12
self.inlet_streams[9] = 15
self.inlet_streams[10] = 14
self.inlet_streams[11] = 18
self.inlet_streams[12] = 19
self.inlet_streams[13] = 20
self.inlet_streams[14] = 22
self.inlet_streams[15] = 24
self.inlet_streams[16] = 27
self.inlet_streams[17] = 28
self.inlet_streams[18] = 30
self.inlet_streams[19] = 31
self.inlet_streams['feed_mixer'] = (1, 2)
self.inlet_streams['feed_splitter'] = 3
self.inlet_streams['compressed_feed_mixer'] = (6, 9)
self.inlet_streams['recycle_feed_mixer'] = (10, 33)
self.inlet_streams['reactor_feed_splitter'] = 13
self.inlet_streams['reactor_product_mixer'] = (16, 17)
self.inlet_streams['purge_splitter'] = 21
self.inlet_streams['recycle_compressor_splitter'] = 26
self.inlet_streams['recycle_compressor_mixer'] = (29, 32)
self.outlet_streams[3] = 6
self.outlet_streams[4] = 7
self.outlet_streams[5] = 8
self.outlet_streams[6] = 9
self.outlet_streams[7] = 12
self.outlet_streams[8] = 13
self.outlet_streams[9] = 17
self.outlet_streams[10] = 16
self.outlet_streams[11] = 19
self.outlet_streams[12] = 20
self.outlet_streams[14] = 23
self.outlet_streams[15] = 25
self.outlet_streams[16] = 29
self.outlet_streams[17] = 30
self.outlet_streams[18] = 31
self.outlet_streams[19] = 32
self.outlet_streams['feed_mixer'] = 3
self.outlet_streams['feed_splitter'] = (4, 5)
self.outlet_streams['compressed_feed_mixer'] = 10
self.outlet_streams['recycle_feed_mixer'] = 11
self.outlet_streams['reactor_feed_splitter'] = (14, 15)
self.outlet_streams['reactor_product_mixer'] = 18
self.outlet_streams['purge_splitter'] = (26, 24)
self.outlet_streams['recycle_compressor_splitter'] = (27, 28)
self.outlet_streams['recycle_compressor_mixer'] = 33
self.vapor_outlets[13] = 21
self.liquid_outlets[13] = 22
def _total_flow(_m, _s):
return _m.flows[_s] == sum(_m.component_flows[_s, _c]
for _c in _m.components)
m.total_flow_con = pe.Constraint(m.streams, rule=_total_flow)
m.purity_con = pe.Constraint(
expr=m.component_flows[23, 'CH3OH'] >= self.purity_demand *
m.flows[23])
# ************************************
# Feed
# ************************************
m.cheap_feed_disjunct = gdp.Disjunct()
self.build_equal_streams(m.cheap_feed_disjunct, 1, 3)
self.build_stream_doesnt_exist_con(m.cheap_feed_disjunct, 2)
m.cheap_feed_disjunct.feed_cons = c = pe.ConstraintList()
c.add(m.component_flows[1, 'H2'] == m.flow_1_composition['H2'] *
m.flows[1])
c.add(m.component_flows[1, 'CO'] == m.flow_1_composition['CO'] *
m.flows[1])
c.add(m.component_flows[1, 'CH4'] == m.flow_1_composition['CH4'] *
m.flows[1])
c.add(m.flows[1] >= self.flow_feed_lb)
c.add(m.flows[1] <= self.flow_feed_ub)
c.add(m.temps[1] == self.flow_feed_temp)
c.add(m.pressures[1] == self.flow_feed_pressure)
m.expensive_feed_disjunct = gdp.Disjunct()
self.build_equal_streams(m.expensive_feed_disjunct, 2, 3)
self.build_stream_doesnt_exist_con(m.expensive_feed_disjunct, 1)
m.expensive_feed_disjunct.feed_cons = c = pe.ConstraintList()
c.add(m.component_flows[2, 'H2'] == m.flow_2_composition['H2'] *
m.flows[2])
c.add(m.component_flows[2, 'CO'] == m.flow_2_composition['CO'] *
m.flows[2])
c.add(m.component_flows[2, 'CH4'] == m.flow_2_composition['CH4'] *
m.flows[2])
c.add(m.flows[2] >= self.flow_feed_lb)
c.add(m.flows[2] <= self.flow_feed_ub)
c.add(m.temps[2] == self.flow_feed_temp)
c.add(m.pressures[2] == self.flow_feed_pressure)
m.feed_disjunctions = gdp.Disjunction(
expr=[m.cheap_feed_disjunct, m.expensive_feed_disjunct])
# ************************************
# Feed compressors
# ************************************
m.single_stage_feed_compressor_disjunct = gdp.Disjunct()
self.build_equal_streams(m.single_stage_feed_compressor_disjunct, 3, 4)
self.build_stream_doesnt_exist_con(
m.single_stage_feed_compressor_disjunct, 5)
self.build_stream_doesnt_exist_con(
m.single_stage_feed_compressor_disjunct, 7)
self.build_stream_doesnt_exist_con(
m.single_stage_feed_compressor_disjunct, 8)
self.build_stream_doesnt_exist_con(
m.single_stage_feed_compressor_disjunct, 9)
self.build_equal_streams(m.single_stage_feed_compressor_disjunct, 6,
10)
self.build_compressor(m.single_stage_feed_compressor_disjunct, 3)
m.two_stage_feed_compressor_disjunct = gdp.Disjunct()
self.build_equal_streams(m.two_stage_feed_compressor_disjunct, 3, 5)
self.build_equal_streams(m.two_stage_feed_compressor_disjunct, 9, 10)
self.build_stream_doesnt_exist_con(
m.two_stage_feed_compressor_disjunct, 4)
self.build_stream_doesnt_exist_con(
m.two_stage_feed_compressor_disjunct, 6)
self.build_compressor(m.two_stage_feed_compressor_disjunct, 4)
self.build_cooler(m.two_stage_feed_compressor_disjunct, 5)
self.build_compressor(m.two_stage_feed_compressor_disjunct, 6)
m.two_stage_feed_compressor_disjunct.equal_electric_requirements = pe.Constraint(
expr=m.two_stage_feed_compressor_disjunct.compressor_4.
electricity_requirement == m.two_stage_feed_compressor_disjunct.
compressor_6.electricity_requirement)
m.two_stage_feed_compressor_disjunct.exists = pe.Var(bounds=(0, 1))
m.two_stage_feed_compressor_disjunct.exists_con = pe.Constraint(
expr=m.two_stage_feed_compressor_disjunct.exists == 1)
m.feed_compressor_disjunction = gdp.Disjunction(expr=[
m.single_stage_feed_compressor_disjunct,
m.two_stage_feed_compressor_disjunct
])
self.build_mixer(m, 'recycle_feed_mixer')
self.build_cooler(m, 7)
self.build_heater(m, 8)
# ************************************
# Reactors
# ************************************
m.expensive_reactor = gdp.Disjunct()
self.build_equal_streams(m.expensive_reactor, 13, 15)
self.build_equal_streams(m.expensive_reactor, 17, 18)
self.build_stream_doesnt_exist_con(m.expensive_reactor, 14)
self.build_stream_doesnt_exist_con(m.expensive_reactor, 16)
self.build_reactor(m.expensive_reactor, 9)
m.expensive_reactor.exists = pe.Var(bounds=(0, 1))
m.expensive_reactor.exists_con = pe.Constraint(
expr=m.expensive_reactor.exists == 1)
m.expensive_reactor.composition_cons = c = pe.ConstraintList()
for _comp in m.components:
c.add(m.component_flows[17, _comp] >= 0.01)
m.cheap_reactor = gdp.Disjunct()
self.build_equal_streams(m.cheap_reactor, 13, 14)
self.build_equal_streams(m.cheap_reactor, 16, 18)
self.build_stream_doesnt_exist_con(m.cheap_reactor, 15)
self.build_stream_doesnt_exist_con(m.cheap_reactor, 17)
self.build_reactor(m.cheap_reactor, 10)
m.cheap_reactor.exists = pe.Var(bounds=(0, 1))
m.cheap_reactor.exists_con = pe.Constraint(
expr=m.cheap_reactor.exists == 1)
m.cheap_reactor.composition_cons = c = pe.ConstraintList()
for _comp in m.components:
c.add(m.component_flows[16, _comp] >= 0.01)
m.reactor_disjunction = gdp.Disjunction(
expr=[m.expensive_reactor, m.cheap_reactor])
self.build_expansion_valve(m, 11)
self.build_cooler(m, 12)
self.build_flash(m, 13)
self.build_heater(m, 14)
self.build_splitter(m, 'purge_splitter')
self.build_heater(m, 15)
# ************************************
# Recycle compressors
# ************************************
m.single_stage_recycle_compressor_disjunct = gdp.Disjunct()
self.build_equal_streams(m.single_stage_recycle_compressor_disjunct,
26, 27)
self.build_equal_streams(m.single_stage_recycle_compressor_disjunct,
29, 33)
self.build_stream_doesnt_exist_con(
m.single_stage_recycle_compressor_disjunct, 28)
self.build_stream_doesnt_exist_con(
m.single_stage_recycle_compressor_disjunct, 30)
self.build_stream_doesnt_exist_con(
m.single_stage_recycle_compressor_disjunct, 31)
self.build_stream_doesnt_exist_con(
m.single_stage_recycle_compressor_disjunct, 32)
self.build_compressor(m.single_stage_recycle_compressor_disjunct, 16)
m.two_stage_recycle_compressor_disjunct = gdp.Disjunct()
self.build_equal_streams(m.two_stage_recycle_compressor_disjunct, 26,
28)
self.build_equal_streams(m.two_stage_recycle_compressor_disjunct, 32,
33)
self.build_stream_doesnt_exist_con(
m.two_stage_recycle_compressor_disjunct, 27)
self.build_stream_doesnt_exist_con(
m.two_stage_recycle_compressor_disjunct, 29)
self.build_compressor(m.two_stage_recycle_compressor_disjunct, 17)
self.build_cooler(m.two_stage_recycle_compressor_disjunct, 18)
self.build_compressor(m.two_stage_recycle_compressor_disjunct, 19)
m.two_stage_recycle_compressor_disjunct.equal_electric_requirements = pe.Constraint(
expr=m.two_stage_recycle_compressor_disjunct.compressor_17.
electricity_requirement == m.two_stage_recycle_compressor_disjunct.
compressor_19.electricity_requirement)
m.two_stage_recycle_compressor_disjunct.exists = pe.Var(bounds=(0, 1))
m.two_stage_recycle_compressor_disjunct.exists_con = pe.Constraint(
expr=m.two_stage_recycle_compressor_disjunct.exists == 1)
m.recycle_compressor_disjunction = gdp.Disjunction(expr=[
m.single_stage_recycle_compressor_disjunct,
m.two_stage_recycle_compressor_disjunct
])
# ************************************
# Objective
# ************************************
e = 0
e -= self.cost_flow_1 * m.flows[1]
e -= self.cost_flow_2 * m.flows[2]
e += self.price_of_product * m.flows[23]
e += self.price_of_byproduct * m.flows[25]
e -= self.cheap_reactor_variable_cost * self.reactor_volume * m.cheap_reactor.exists
e -= self.cheap_reactor_fixed_cost * m.cheap_reactor.exists
e -= self.expensive_reactor_variable_cost * self.reactor_volume * m.expensive_reactor.exists
e -= self.expensive_reactor_fixed_cost * m.expensive_reactor.exists
e -= (
self.fix_electricity_cost + self.electricity_cost
) * m.single_stage_feed_compressor_disjunct.compressor_3.electricity_requirement
e -= self.two_stage_fix_cost * m.two_stage_feed_compressor_disjunct.exists
e -= (
self.fix_electricity_cost + self.electricity_cost
) * m.two_stage_feed_compressor_disjunct.compressor_4.electricity_requirement
e -= (
self.fix_electricity_cost + self.electricity_cost
) * m.two_stage_feed_compressor_disjunct.compressor_6.electricity_requirement
e -= self.cooling_cost * m.two_stage_feed_compressor_disjunct.cooler_5.heat_duty
e -= (
self.fix_electricity_cost + self.electricity_cost
) * m.single_stage_recycle_compressor_disjunct.compressor_16.electricity_requirement
e -= self.two_stage_fix_cost * m.two_stage_recycle_compressor_disjunct.exists
e -= (
self.fix_electricity_cost + self.electricity_cost
) * m.two_stage_recycle_compressor_disjunct.compressor_17.electricity_requirement
e -= (
self.fix_electricity_cost + self.electricity_cost
) * m.two_stage_recycle_compressor_disjunct.compressor_19.electricity_requirement
e -= self.cooling_cost * m.two_stage_recycle_compressor_disjunct.cooler_18.heat_duty
e -= self.cooling_cost * m.cooler_7.heat_duty
e -= self.heating_cost * m.heater_8.heat_duty
e -= self.cooling_cost * m.cooler_12.heat_duty
e -= self.heating_cost * m.heater_14.heat_duty
e -= self.heating_cost * m.heater_15.heat_duty
m.objective = pe.Objective(expr=-e)
# import pyomo.core import pyomo.environ as pe import pyomo.gdp as gdp from pyomo.opt import SolverFactory m = pe.ConcreteModel() # VAriables m.x1 = pe.Var(within=pe.PositiveReals) m.x2 = pe.Var(bounds=(0, 5)) # Outter constraints m.ocons = pe.Constraint(expr=m.x1**2 + m.x2**2 >= 2) # Disjuctions m.Re1 = gdp.Disjunct() m.Re2 = gdp.Disjunct() m.Re1.x1_cons1 = pe.Constraint(expr=pe.exp(m.x1) >= pe.exp(2)) m.Re2.x1_cons2 = pe.Constraint(expr=m.x1 <= 1) m.r1or2 = gdp.Disjunction(expr=[m.Re1, m.Re2]) # Objetivo m.obj = pe.Objective(expr=3 * m.x1 + 4 * m.x2) #m.pprint() # SOlucion m.BigM = pe.Suffix(direction=pe.Suffix.LOCAL)
