def test_perturb_parameters_indexed(self):
delta = 1.0
model = make_indexed_model()
param_list = [model.eta]
model.perturbed_eta = Param(
[1, 2],
mutable=True,
initialize={i: p.value + delta
for i, p in model.eta.items()})
ptb_list = [model.perturbed_eta]
sens = SensitivityInterface(model, clone_model=False)
sens.setup_sensitivity(param_list)
sens.perturb_parameters(ptb_list)
instance = sens.model_instance
block = sens.block
param_var_map = ComponentMap(
(param, var) for var, param, _, _ in sens.block._sens_data_list)
param_con_map = ComponentMap(
(param, block.paramConst[i + 1])
for i, (_, param, _, _) in enumerate(sens.block._sens_data_list))
for param, ptb in zip(param_list, ptb_list):
for idx in param:
obj = param[idx]
ptb_data = ptb[idx]
var = param_var_map[obj]
con = param_con_map[obj]
self.assertEqual(instance.sens_state_value_1[var],
ptb_data.value)
self.assertEqual(instance.DeltaP[con], -delta)
def test_clear_dir_k_aug(self):
m = simple_model_1()
sens = SensitivityInterface(m, clone_model=False)
k_aug = K_augInterface()
opt_ipopt.solve(m, tee=True)
m.ptb = pyo.Param(mutable=True, initialize=1.5)
cwd = os.getcwd()
dir_contents = os.listdir(cwd)
sens_param = [m.p]
sens.setup_sensitivity(sens_param)
k_aug.k_aug(m, tee=True)
# We are back in our working directory
self.assertEqual(cwd, os.getcwd())
# The contents of this directory have not changed
self.assertEqual(dir_contents, os.listdir(cwd))
# In particular, the following files do not exist
self.assertFalse(os.path.exists("dsdp_in_.in"))
self.assertFalse(os.path.exists("conorder.txt"))
self.assertFalse(os.path.exists("timings_k_aug_dsdp.txt"))
# But they have been transferred to our k_aug interface's data
# dict as strings.
self.assertIsInstance(k_aug.data["dsdp_in_.in"], str)
self.assertIsInstance(k_aug.data["conorder.txt"], str)
self.assertIsInstance(k_aug.data["timings_k_aug_dsdp.txt"], str)
def test_clear_dir_dot_sens(self):
m = simple_model_1()
sens = SensitivityInterface(m, clone_model=False)
k_aug = K_augInterface()
opt_ipopt.solve(m, tee=True)
m.ptb = pyo.Param(mutable=True, initialize=1.5)
cwd = os.getcwd()
dir_contents = os.listdir(cwd)
sens_param = [m.p]
sens.setup_sensitivity(sens_param)
# Call k_aug
k_aug.k_aug(m, tee=True)
self.assertIsInstance(k_aug.data["dsdp_in_.in"], str)
sens.perturb_parameters([m.ptb])
# Call dot_sens. In the process, we re-write dsdp_in_.in
k_aug.dot_sens(m, tee=True)
# Make sure we get the values we expect. This problem is easy enough
# to solve by hand:
# x = [1, 1, -2] = [v1, v2, dual]
# Sensitivity system:
# | 2 -2 1 |
# |-2 2 1 | dx/dp = -[dL/dxdp, dc/dp]^T = -[0, 0, -1]^T
# | 1 1 0 |
# => dx/dp = [0.5, 0.5, 0]^T
# Here, dp = [0.5]
# => dx = [0.25, 0.25, 0]^T
# => x_new = [1.25, 1.25, -2]
self.assertAlmostEqual(m.v1.value, 1.25, 7)
self.assertAlmostEqual(m.v2.value, 1.25, 7)
# We are back in our working directory
self.assertEqual(cwd, os.getcwd())
# The contents of this directory have not changed
self.assertEqual(dir_contents, os.listdir(cwd))
self.assertFalse(os.path.exists("dsdp_in_.in"))
self.assertFalse(os.path.exists("delta_p.out"))
self.assertFalse(os.path.exists("dot_out.out"))
self.assertFalse(os.path.exists("timings_dot_driver_dsdp.txt"))
# And we have saved strings of the file contents.
self.assertIsInstance(k_aug.data["dsdp_in_.in"], str)
self.assertIsInstance(k_aug.data["delta_p.out"], str)
self.assertIsInstance(k_aug.data["dot_out.out"], str)
self.assertIsInstance(k_aug.data["timings_dot_driver_dsdp.txt"], str)
def test_param_const(self):
model = make_indexed_model()
param_list = [model.eta[1], model.eta[2]]
sens = SensitivityInterface(model, clone_model=False)
sens.setup_sensitivity(param_list)
block = sens.block
param_const = block.paramConst
self.assertEqual(len(param_list), len(block.paramConst))
param_var_map = ComponentMap(
(param, var) for var, param, _, _ in block._sens_data_list)
var_list = [param_var_map[param] for param in param_list]
# Here we rely on the order of paramConst
for param, var, con in zip(param_list, var_list, param_const.values()):
self.assertEqual(con.body.to_string(), (var - param).to_string())
def test_param_const_indexed(self):
model = make_indexed_model()
param_list = [model.eta]
sens = SensitivityInterface(model, clone_model=False)
sens.setup_sensitivity(param_list)
block = sens.block
param_const = block.paramConst
param_var_map = ComponentMap(
(param, var) for var, param, _, _ in block._sens_data_list)
for con in param_const.values():
var_list = list(identify_variables(con.expr))
mut_param_list = list(identify_mutable_parameters(con.expr))
self.assertEqual(len(var_list), 1)
self.assertEqual(len(mut_param_list), 1)
self.assertIs(var_list[0], param_var_map[mut_param_list[0]])
self.assertEqual(con.body.to_string(),
(var_list[0] - mut_param_list[0]).to_string())
def test_suffixes_setup(self):
model = make_indexed_model()
param_list = [model.eta[2], model.eta[1]]
sens = SensitivityInterface(model, clone_model=False)
sens.setup_sensitivity(param_list)
for i, (var, _, _, _) in enumerate(sens.block._sens_data_list):
con = sens.block.paramConst[i + 1]
self.assertEqual(model.sens_state_0[var], i + 1)
self.assertEqual(model.sens_state_1[var], i + 1)
self.assertEqual(model.sens_init_constr[con], i + 1)
self.assertEqual(model.dcdp[con], i + 1)
self.assertIs(type(model.sens_sol_state_1_z_L), Suffix)
self.assertIs(type(model.sens_sol_state_1_z_U), Suffix)
self.assertIs(type(model.ipopt_zL_out), Suffix)
self.assertIs(type(model.ipopt_zU_out), Suffix)
self.assertIs(type(model.ipopt_zL_in), Suffix)
self.assertIs(type(model.ipopt_zU_in), Suffix)
self.assertIs(type(model.dual), Suffix)
self.assertIs(type(model.DeltaP), Suffix)
def test_perturb_indexed_parameters_with_scalar(self):
model = make_indexed_model()
param_list = [model.eta]
ptb_list = [10.0]
sens = SensitivityInterface(model, clone_model=False)
sens.setup_sensitivity(param_list)
sens.perturb_parameters(ptb_list)
instance = sens.model_instance
block = sens.block
param_var_map = ComponentMap(
(param, var) for var, param, _, _ in sens.block._sens_data_list)
param_con_map = ComponentMap(
(param, block.paramConst[i + 1])
for i, (_, param, _, _) in enumerate(sens.block._sens_data_list))
for param, ptb in zip(param_list, ptb_list):
for idx in param:
obj = param[idx]
var = param_var_map[obj]
con = param_con_map[obj]
self.assertEqual(instance.sens_state_value_1[var], ptb)
self.assertEqual(instance.DeltaP[con], obj.value - ptb)