An operation support system for supporting an operation of a demand-supply system, the demand-supply system including a plurality of resource supplying facilities each configured to supply a resource, a resource demander facility configured to demand the resource supplied from each resource supplying facility, and a measurement apparatus configured to measure performance data of the demand-supply system, the operation support system comprising a processor, and a memory storing a computer program that causes the processor to perform processes including:
- a) receiving an input of a demand-supply system model of the demand-supply system, facility-capacity information representing a facility capacity of each resource supplying facility, and analysis condition information defining a plurality of variables to be analyzed with respect to the demand-supply system model and the facility-capacity information and defining an external variable, the external variable representing an external condition of the demand-supply system model;
- b) generating a correlation logical formula representing a relation among the plurality of variables and the external variable, based on the demand-supply system model, the facility-capacity information, and the analysis condition information received in step a);
- c) after step b), acquiring performance data from the measurement apparatus during an operation of the demand-supply system, the performance data including first actual values of the plurality of variables and a second actual value of the external variable;
- d) substituting the acquired second actual value into the correlation logical formula to render an area indicating a possible range of the facility capacity under a condition in which the external variable is the second actual value, and rendering a measurement point for indicating the acquired first actual values;
- and e) repeating step c) and step d) every time a performance data acquisition unit of the operation support system acquires performance data, wherein step a) and step b) are performed offline by an offline analyzing unit of the operation support system, and step d) is performed online, in response to acquiring the performance data from the measurement apparatus in step c), wherein the demand-supply system model is a model of an air conditioning system, the air conditioning system including a first heat source facility configured to produce first cold energy by consuming power supplied from a power supply facility and to supply the produced first cold energy to an air-conditioning target facility, the first cold energy being the resource, a second heat source facility configured to produce second cold energy by consuming the power supplied from the power supply facility and to supply the produced second cold energy to the air-conditioning target facility, the second cold energy being the resource, and the supplied second cold energy varying with an outside air temperature, and the outside air temperature being indicated by the external variable, the air-conditioning target facility configured to consume cold energy from the first cold energy and the second cold energy, and a path disposed between each of the first heat source facility and the second heat source facility and the air-conditioning target facility, the path being for supplying, to the air-conditioning target facility, cold energy among the first cold energy and the second cold energy from the first heat source facility and the second heat source facility, wherein the plurality of resource supplying facilities include the first heat source facility and the second heat source facility, wherein the resource demander facility is the air-conditioning target facility, wherein each of the first heat source facility and the second heat source facility consumes the power supplied from the power supply facility, in accordance with a thermal load assigned to a corresponding heat source facility, wherein a total thermal load required by the air-conditioning target facility is obtained from thermal loads assigned to the first heat source facility and second heat source facility, wherein the facility-capacity information indicates an actually consumed power characteristic by each of the first heat source facility and second heat source facility, the actually consumed power characteristic corresponding to the thermal load assigned to a corresponding heat source facility, wherein the plurality of variables to be analyzed includes a total thermal load assigned to the first heat source facility and second heat source facility, and an actually consumed total power by the first heat source facility and second heat source facility, and wherein in step d), the substituting of the acquired second actual value into the correlation logical formula includes rendering, based on coordinates, the possible range within which, at the outside air temperature indicated by the second actual value, (i) the total thermal load is required by the first heat source facility and second heat source facility and (ii) the total power is actually consumed by the first heat source facility and second heat source facility, and the rendering of the measurement point for indicating the acquired first actual values includes rendering, at the outside air temperature indicated by the second actual value, the required total thermal load and actually consumed total power, by the first heat source facility and second heat source facility, that are respectively indicated by the first actual values, thereby setting the rendered total thermal load and total power consumption, at the measurement point that is in association with the coordinates in the rendered possible range, the measurement point being displayed as a visually identifiable isolated point, wherein the set total thermal load and total power consumption at the measurement point are respectively indicated by actual measured values by the measurement apparatus, the actual measured values being acquired upon occurrence of a condition in which the first heat source facility and second heat source facility are operating at the outside air temperature indicated by the second actual value, wherein in step d), the possible range includes a lower limit of the total power consumption for the total thermal load, the lower limit being predicted by substituting the outside air temperature into the correlation logical formula, and the measurement point being configured to be compared with the lower limit of the possible range, wherein step b) includes generating a first formula set by combining a first formula, describing that a sum of power consumption of the first heat source facility and the second heat source facility is the total power consumption, and a second formula describing that a total load required by the air-conditioning target facility is distributed to the thermal loads of the first heat source facility and the second heat source facility, generating a second formula set by combining a first characterization formula describing a characteristic of the first heat source facility and a second characterization formula describing a characteristic of the first heat source facility, wherein the first characteristic formula is generated based on (i) a characteristic of the power consumption of the first heat source facility in accordance with the outside air temperature and a corresponding thermal load of the first heat source facility and (ii) a range of the thermal load suppliable by the first heat source facility, and the second characteristic formula is generated based on (i) the power consumption of the second heat source facility and (ii) a range of the thermal load suppliable by the second heat source facility in accordance with the outside air temperature, generating first-order predicate logic by combining the first formula set and the second formula set, the first-order predicate logic representing quantifiers corresponding to all variables except the total thermal load, the total power consumption, and the outside air temperature, and using quantifier elimination to generate the correlation logical formula based on the first-order predicate logic and the analysis condition information, the correlation logical formula logically describing (i) the respective variables of the total thermal load and the total power consumption, for the first heat source facility and the second heat source facility, and (ii) the external variable of the outside air temperature, and wherein in step d), the rendering of the area indicating the possible range of the facility capacity includes assigning, to the correlation logical formula, the outside air temperature indicated by the second actual value, thereby rendering, with respect to the outside air temperature assigned to the correlation logical formula, the possible range of the total thermal load and the total power consumption for the first heat source facility and the second heat source facility.