JP6458561B2 - LOAD DISTRIBUTION DETERMINATION SUPPORT DEVICE, ITS PROGRAM, LOAD DISTRIBUTION DETERMINATION SUPPORT METHOD - Google Patents

Description

  The present invention relates to an apparatus and the like that support load distribution determination / setting work.

  When controlling the operation of a system including a plurality of devices, load distribution for each device is determined based on an operation schedule created so as to minimize operation costs such as power consumption.

  For example, in Patent Document 1, system control that predicts the total load required by the load destination from external conditions such as the outside air temperature, the amount of solar radiation, and the number of people in the room, and formulates an operation schedule that minimizes the total power consumption of the system. An apparatus is disclosed.

Patent Document 2 discloses a driving support system that supports the operation of the system by an operator.
By the way, a technique for optimizing a system by expressing a problem such as system control by a first-order predicate logical expression and solving it is known (for example, see Non-Patent Document 1). Specifically, for a logical expression in which polynomial equations or inequalities are combined with a combination symbol such as logical product (∧) or logical sum (∨), a universal symbol (generally called a quantifier) for some variables ( Generate a first-order predicate formula with ∀) and existence symbol (∃). Then, the system is optimized by erasing the variable (bound variable) with a quantifier in this first-order predicate logical expression and deriving a logical expression that other variables (free variables) should satisfy.

  For example, Patent Document 3 discloses a control system analysis / design apparatus that converts a control system into a first-order predicate logical expression and analyzes the control system from an expression in which a variable with a quantifier in the first-order predicate logical expression is deleted. ing.

JP 2011-214794 A JP 2006-304595 A JP 11-328239 A

Hirokazu Anai and Kazuhiro Yokoyama, “QE Calculation Algorithms and Their Applications Optimization by Formula Processing”, The University of Tokyo Press, August 2011, p.214-221

  By using the system control device disclosed in Patent Document 1, it is possible to determine the load distribution that minimizes the total power consumption of the system. However, demand forecasts are often out of date. If the prediction is not correct, it is not always possible to achieve cost minimization by load distribution based on the above optimization. Therefore, an operator who operates the system may determine the total load supplied by the entire system and the load distribution of each device based on experience.

  Further, by using the air conditioning system control device of Patent Document 1, it is possible to determine the heat load distribution that minimizes the total power consumption of the air conditioning system. However, since the heat load characteristic of the heat source device changes depending on the outside air condition, the total power consumption of the air conditioning system may not be minimized if the outside air condition is not predicted. For example, when the relationship between the supply heat load of the heat source device and the power consumption changes depending on the outside air temperature, the heat load distribution that minimizes the total power consumption of the air conditioning system can also change depending on the outside air temperature.

  Also, depending on the heat load characteristics of the heat source devices that make up the air conditioning system, minimizing the total power consumption may result in extreme heat load distribution. For example, in an air conditioning system including heat source devices a, b, and c, when the upper limit value of the supply heat load of each heat source device is α and the lower limit value is β, the heat load distribution for minimizing the total power consumption is In some cases, the load is concentrated on one heat source device such that the heat source devices a and b are both α and the heat source device c is β. Such an operating state where the supplied heat load is at the upper and lower limits places a heavy burden on the heat source device and may cause a failure.

  In addition, in Patent Document 2 described above, an operation support system that compares an operator's operation with an optimal operation plan based on demand prediction is disclosed in order to support the operation based on the experience and intuition of the operator. No means for providing information, such as outage or operational range, is shown.

  (A) Here, the total load that can be supplied by the entire system has a limit range, and there is a total load that cannot be supplied no matter how the device is operated. Therefore, the operator needs to operate the system within the range of the total load that can be supplied so as not to be unable to supply.

  (B) When operating the system, there is a case where it is desired to suspend the device for maintenance or repair. However, in order to supply a specific total load, there are devices that must be operated, devices that must be stopped, and devices that can be operated and stopped. It is necessary to determine the total load.

(C) Further, when operating the system, load distribution that saves cost is desirable even when a specific device is suspended.
An object of the present invention is to provide a range of change in the total power consumption of a system that takes into account outdoor air conditions and device operation / rest, and thus load distribution that can be expected to realize load distribution with high energy-saving effect. It is to provide a decision support apparatus, its program, and the like.

  A load distribution determination support apparatus according to the present invention is a load distribution determination support apparatus that supports determination of load distribution for each device when controlling the operation of a system including a plurality of devices, and has the following configurations. .

Based on a system model that represents the configuration of the system, a device model that indicates the relationship between supply load and power consumption according to the outside air condition for each device, and a change range of the outside air condition, the behavior of the system is A formula group generating means for generating a first formula group which is a formula group to be expressed;
A second mathematical formula group indicating an executable area of the supplied load including operation / pause of each device according to total power consumption based on the arbitrarily set total load value and the first mathematical formula group Means for calculating the total power consumption range for generating
Generate and display a first screen that displays an executable area of the supply load for each device according to the total power consumption based on the second mathematical formula group, and any device on the first screen First screen control means for setting the supply load value.

  According to the load distribution determination support apparatus of the present invention, its program, etc., it is possible to present a change range of the total power consumption of the system in consideration of the outside air condition and the operation / pause of the equipment, and thus a load with high energy saving effect. It can be expected to realize the allocation.

It is a functional block diagram of the load distribution determination assistance apparatus of this example. (A), (b), (c) is a figure which shows simply the example of a display of various screen V01, V02, V03. It is a figure which shows an example of a process of a numerical formula group production | generation function part. It is a process flowchart figure of a total load limit calculation function part. This is a generation example of the first order predicate logical expression ψ ₁₁ . It is an example of generating “Formula φ ₁₁ representing an executable area of the total load L”. This is an example of generating the “first order predicate logical expression ψ ₁₂ regarding the lower limit of the total load”. This is a generation example of “Expression φ ₁₂ representing the lower limit of the total load”. This is a generation example of “first-order predicate logical expression ψ ₁₃ regarding the upper limit of the total load”. This is a generation example of “Formula φ ₁₃ representing the upper limit of total load”. It is a display example of the total load range input screen V01. It is a process flowchart figure of each apparatus load range calculation function part. This is a generation example of the first order predicate logical expression ψ _2n regarding the supply load Ln and the total load L of the device n. This is a generation example of “a mathematical expression group representing a feasible region of supply load of each device according to the total load L” Φ ₂ . This is a generation example of “first-order predicate logical expression group relating to the range of supply load of each device” Ψ ₃ . This is an example of generating a formula group “Φ ₃ ” representing the range of supply load of each device. This is a generation example of “first-order predicate logical expression group regarding the lower limit of supply load of each device” Ψ ₄ . This is a generation example of “a group of mathematical expressions representing the lower limit of the supply load of each device” Φ ₄ . This is a generation example of “first-order predicate logical expression group regarding the upper limit of supply load of each device” Ψ ₅ . This is a generation example of “a group of mathematical expressions representing the upper limit of the supply load of each device” Φ ₅ . It is a display example of each device load range display screen V02. It is a process flowchart figure of a total power consumption range calculation function part. This is a generation example of “first-order predicate logical expression group relating to the feasible region of total power consumption P and supply load Lm of each device” Ψ ₆ . This is an example of generating “a group of mathematical expressions representing an executable region of the total power consumption P and the supply load of each device” Φ ₆ . It is a display example of the total power consumption range display screen V03. FIG. 6 is a diagram (part 1) for describing a total power consumption range display screen V03; FIG. 12 is a second diagram for explaining the total power consumption range display screen V03; FIG. 10 is a third diagram illustrating the total power consumption range display screen V03. It is a figure for demonstrating an output. It is a processing flowchart figure (1/2) of a load distribution determination assistance apparatus. It is a processing flowchart figure (2/2) of a load distribution determination assistance apparatus. It is a specific example of system model information. (A), (b) is a specific example of the apparatus model information at the time of operation / hibernation. It is a specific example (the 2) of apparatus model information at the time of an operation state. It is a specific example of external condition information. (A)-(c) is a specific example of system model formula F1, apparatus model formula F2, and external condition formula F3 according to a specific example. This is a specific example of the first-order predicate logical expression ψ _{11 according to} a specific example. This is a specific example of “Expression φ ₁₁ representing an executable area of total load L” according to a specific example. This is a specific example of the first-order predicate logical expression ψ _{12 according to} a specific example. This is a specific example of “Expression φ ₁₂ representing the lower limit of total load” according to a specific example. This is a specific example of the first-order predicate logical expression ψ _{13 according to} a specific example. This is a specific example of “Expression φ ₁₃ representing the upper limit of total load” according to a specific example. It is a specific example of the total load range input screen V01 according to a specific example. It is a user setting example on the total load range input screen V01. It is an example of total load range numerical formula F4 according to the setting example of FIG. This is a specific example of the first-order predicate logical expression group Ψ _{2 according to} a specific example. This is a specific example of “a group of mathematical expressions representing an executable area of the supply load of each device according to the total load L” Φ _{2 according to} the specific example. It is a specific example of the first-order predicate logical expression group Ψ _{3 according to} a specific example. This is a specific example of “a group of mathematical expressions representing the range of supply load of each device” Φ _{3 according to} a specific example. This is a specific example of the first-order predicate logical expression group Ψ _{4 according to} a specific example. This is a specific example of “a mathematical expression group representing the lower limit of the supply load of each device” Φ _{4 according to} a specific example. This is a specific example of “first-order predicate logical expression group regarding the upper limit of supply load of each device” Ψ _{5 according to} a specific example. This is a specific example of “a formula group representing the upper limit of the supply load of each device” Φ _{5 according to} a specific example. It is a display example of the device load range display screen V02 according to a specific example. It is an example of input operation on the apparatus load range display screen V02 of FIG. This is a specific example of the first-order predicate logical expression group Ψ _{6 according to} a specific example. This is a specific example of “a group of mathematical expressions representing an executable region of the total power consumption P and the supply load of each device” Φ _{6 according to} a specific example. It is a display example of the total power consumption range display screen V03 according to a specific example. It is an operation example (the 1) on display screen V03 of FIG. This is an operation example (No. 2) on the display screen V03 of FIG. This is a generation example of the first-order predicate logical expression group Ψ ₆ according to the operation of FIG. 59 and the like. 61 is a generation example of a mathematical formula group Φ ₆ according to the example of FIG. 63 is a display example of a total power consumption range display screen V03 according to the example of FIG. 62. This is an operation example (No. 1) on the display screen V03 of FIG. This is an operation example (No. 2) on the display screen V03 of FIG. This is an operation example (No. 3) on the display screen V03 of FIG. This is a generation example of the first-order predicate logical expression group Ψ ₆ according to the operation of FIG. 64 and the like. 68 is a generation example of a mathematical formula group Φ ₆ according to the example of FIG. 69 is a display example of a total power consumption range display screen V03 according to the example of FIG. 68. This is an operation example (No. 1) on the display screen V03 of FIG. This is an operation example (No. 2) on the display screen V03 of FIG. It is an example of operation (the 3) on display screen V03 of FIG. It is an example of a setting process result output. It is a hardware block diagram of the load distribution determination assistance apparatus of this example.

Embodiments of the present invention will be described below with reference to the drawings.
In the present embodiment, the QE process (limit symbol erasing process) for an arbitrary first-order predicate logical expression and the process of displaying a graph such as FIG. 2 from the QE process result can be realized by an existing tool.

  For example, “Redlog” and “QEPCAD”, which are free software, are software for executing QE processing. If the QE processing result by these tools is input to “gunplot” which is free software, the graph of FIG. 2 is displayed.

Alternatively, if “Mathematica” (manufactured by Wolfram Research) is used, both QE processing and graph display processing are executed.
Further, the present embodiment may include some of the features described in the prior application (Japanese Patent Application No. 2013-241928) filed by the applicant.

FIG. 1 is a functional configuration diagram of the load distribution determination support device 10 of this example.
The load distribution determination support device 10 is realized on a general-purpose computer device such as a personal computer or a server device. Therefore, in terms of hardware, a CPU, a storage unit (a memory, a hard disk, and the like), not shown, a display unit 21, a keyboard 22, a pointing device 23, and the like (not shown) are provided. A predetermined application program is stored in the storage unit in advance. When the CPU executes the application program, for example, processing functions of various functional units illustrated in FIG. 1 are realized.

  The load distribution determination support device 10 of this example is a device that supports determination of operation / pause and load distribution for each device when controlling the operation of a system including a plurality of devices. Since the load distribution for the devices in the hibernation state is “0” (zero), in this description, the determination of the load distribution and the determination of the supply load of each device will be made without particularly mentioning the determination of the operation / pause. Even if only mention is made, it is assumed that the determination of up / down is included.

Moreover, although the system provided with the said some apparatus is an air conditioning system provided with the several refrigerator in the specific example mentioned later, it is not restricted to this example.
The illustrated load distribution determination support apparatus 10 includes a formula group generation function unit 11, a total load limit calculation function unit 12, each device load range calculation function unit 13, a total power consumption range calculation function unit 14, a load distribution determination function unit 15, and the like. Various processing function units. As described above, these various processing function units are realized by the CPU executing the application program.

  The load distribution determination function unit 15 generates various screens such as a total load range input screen V01, each device load range display screen V02, and a total power consumption range display screen V03, and displays these screens on the display unit 21. Accepts any input by the user on the screen. While viewing these display screens, the user operates the operation units such as the keyboard 22 and the pointing device 23 to perform desired input.

The load distribution determination support apparatus 10 further includes an input data storage unit 16, a “generated data and retained data storage unit” 17, and the like.
The input data storage unit 16 of the load distribution determination support device 10 stores, for example, the following various mathematical formulas. These various mathematical formulas may be generated by, for example, the mathematical formula group generation function unit 11 or the like and stored in the input data storage unit 16 based on the various data shown in the figure input from the outside.

・ System model formula F1
-Device model formula group during operation-Device model formula group during hibernation-External condition formula F3
・ Equipment model formula F2
It can be considered that the device model formula F2 is generated based on the device model formula group in the operating state and the device model formula group in the hibernation state.

The various types of data shown in the figure input from the outside are, for example, the shown system model information, device model information in the operating state, device model information in the dormant state, external condition information, and the like.
The system model information is information representing the configuration of an arbitrary system (target system) to be processed, and an example of system model information of an air conditioning system that is an example of the system is illustrated in FIG. 32 described later. Based on the system model information, the system model formula F1 is generated. An example of the system model formula F1 corresponding to the example of FIG. 32 is shown in FIG.

  The device model information in the operating state includes the power consumption characteristics of each device (such as an expression showing the relationship between the supply load and power consumption according to the outside air conditions) and the constraints on the supply load of each device. Range, etc.). Specific examples thereof are shown in FIGS. 33A and 34 to be described later.

  In the example shown in FIG. 34, for each device, the power consumption of the device is expressed by a linear function of the supply load of the device. The slope of this linear function is affected by the outside air temperature T. The external condition information indicates the change range of the outside air condition (in this example, the outside air temperature T) that affects the power consumption characteristics of such a device.

For example, as shown in FIG. 34, there is a limit range (upper limit and lower limit) of the supply load for each device.
The device model information in the dormant state is, for example, information indicating the supply load and power consumption when each device is in the dormant state, and a specific example thereof is shown in FIG.

The device model formula F2 is generated based on the device model information in the operation state and the device model information in the hibernation state, and an example thereof is shown in FIG.
The device model information in the operating state is, for example, information of a graph as shown in FIG. 34, and the formula group generation function unit 11 generates a formula group corresponding to the information and generates the “device model formula in the operating state”. It may be stored in the input data storage unit 16 as a “group”. In the case of this example, for example, the example shown in FIG. 33A can be regarded as an example of “equipment model formula group in the operating state”.

  The “generated data and retained data storage unit” 17 stores various data generated by the various processes described above. For example, the following various types of data are generated and stored in the “generated data and stored data storage unit” 17.

Total load range formula Total load value Status value of each device's operation suspension Supply load of each device The user uses the load distribution determination support device 10 to determine the operation / pause and load distribution of each device in the target system. In some cases, the operation may be started from the input of such information, or the trial and error of operation suspension and load distribution may be performed using the information already stored as data. Of these pieces of information, only some information to be updated may be input.

In addition, information and the like arbitrarily input by the user on various screens such as the various screens V01, V02, and V03 are also input to the load distribution determination support device 10.
Here, specific examples of the various screens V01, V02, and V03 will be briefly described.

  2A, 2B, and 2C are diagrams simply showing display examples of various screens V01, V02, and V03. Here, these various screens will be briefly described, and detailed description will be given later.

FIG. 2A shows a display example of the total load range input screen V01.
The total load limit calculation function unit 12 calculates a limit range (upper limit and lower limit) that the total load L can take. Based on this, the load distribution determination function unit 15 displays, for example, a total load range input screen V01 shown in FIG. The screen V01 will be described in detail later, but the limit range (upper limit value and lower limit value) is displayed, and an input field for allowing the user to input an arbitrary total load range is displayed. The user inputs an arbitrary range within the limit range (upper limit value and lower limit value) in this input field.

  Since the display shows the range (limit range) of the total load that can be supplied by the entire system, the user can set an appropriate total load range. This can prevent at least a situation where the total load range exceeding the limit range is set.

FIG. 2B shows a display example of each device load range display screen V02.
Each device load range calculation function unit 13 calculates the load value that each device can take for each total load value within the total load range set by the user, including the hibernation state. Based on this, the load distribution determination function unit 15 displays, for example, each device load range display screen V02 shown in FIG.

  Each graph corresponding to each device is generated and displayed on each device load range display screen V02. This is a graph in which the horizontal axis represents the total load value L and the vertical axis represents the load value of the device. In the illustrated example, there are N devices, and the load values of these devices are L1, L2,..., LN illustrated. Note that the total load value L on the horizontal axis is a value of the total load range set by the user. Note that the present invention is not limited to this example, and the vertical axis and the horizontal axis may be reversed.

  As will be described in detail later, this display allows the user to know a device that must operate, a device that must operate, and a device that can be operated and stopped for any total load. The user can set an arbitrary total load value L while referring to this display. Therefore, this set value can be expected to be an appropriate value.

FIG. 2C shows a display example of the total power consumption range display screen V03.
Based on the processing result by the total power consumption range calculation function unit 14, the load distribution determination function unit 15 displays, for example, a total power consumption range display screen V03 shown in FIG.

  On the display screen V03, each graph corresponding to each device is generated and displayed. This is a graph (referred to as a P-Ln graph) in which the vertical axis represents the total power consumption P and the horizontal axis represents the load value of the device. In the illustrated example, there are N devices, and the load values of these devices are L1, L2,..., LN illustrated. Note that the present invention is not limited to this example, and the vertical axis and the horizontal axis may be reversed.

  In each P-Ln graph, a possible value (value range) of the load value Ln of each device corresponding to an arbitrary total power consumption P is displayed. It should be noted that the load value of each device can include a load value = “0”, and the load value = “0” means that the device is in a dormant state. As shown in the figure, depending on the value of the total power consumption P for each device, it may be permitted or not permitted to put the device into a dormant state.

On the display screen V03, the user can specify whether to operate or stop for each device. Furthermore, in the case of operation, the load value assigned to the device can be arbitrarily set.
According to the load distribution determination support apparatus 10 described above, it is possible to determine a load distribution that can realize cost saving while a specific device is suspended.

  In this description, the load and the load value basically mean a supply load and a supply load value. An example of the load is a heat load supplied by the refrigerator, but is not limited to this example.

  The formula group generation function unit 11 generates the system model formula F1, the device model formula F2, the external condition formula F3, and the like based on various input data. Note that this can also be said that the formula group generation function unit 11 generates a formula group (referred to as a first formula group) expressing the behavior of the system. Alternatively, it can be said that the formula group generation function unit 11 generates a formula group that expresses the behavior of the system including operation / rest of each device.

  The above system is a system including at least a plurality of devices. For example, the device is a heat source device as an example, and a specific example thereof is a refrigerator described later, but is not limited to this example. Although the said system is an air-conditioning system provided with the several refrigerator mentioned later as an example, it is not restricted to this example.

  The system model formula F1 can be said to indicate, for example, the relationship between the total power consumption of the entire system and the power consumption of each device, and the relationship between the total supply load of the entire system and the supply load of each device. .

  In addition, the device model formula F2 basically includes, for example, each formula indicating “relationship between supply load and power consumption according to outside air conditions” during operation for each device, and each indicating constraint conditions. Consists of mathematical formulas. Furthermore, for example, as shown in an example shown in FIG. 36 described later, the device model formula F2 includes a formula representing the rest time of each device. Then, as shown in a specific example shown in FIG. 36B described later, a device obtained by combining each equation with a logical sum (∨) for each device is further combined with a logical product (∧). It is an example of the model formula F2.

The external condition formula F3 is, for example, a change range of the outside air condition, and is, for example, a change range of the outside air temperature in a specific example shown in FIG.
The system model formula F1, the device model formula F2, the external condition formula F3, and the like generated by the formula group generation function unit 11 may be referred to as a first formula group.

  Although not shown, the load distribution determination function unit 15 generates and displays the total load range input screen V01, a second screen control unit (not shown), and generates and displays the device load range display screen V02. A three-screen control unit (not shown), a first screen control unit (not shown) that generates and displays the total power consumption range display screen V03, and the like may be considered.

  Based on the arbitrarily set total load value and the first mathematical formula group, the total power consumption range calculation function unit 14 supplies each device according to the total power consumption (supply including operation / pause). The second mathematical expression group indicating the executable region of the load) is generated. It can be said that the second mathematical expression group is a power consumption range logical expression representing a change range of the total power consumption according to the supply load including operation / rest of each device. Then, the first screen control unit of the load distribution determination function unit 15 generates and displays the total power consumption range display screen V03 based on the power consumption range logical formula, and determines the load distribution of each device to the user. Let it be set.

The device model formula F2 includes, for example, a formula that represents the operating time of each device and a formula that represents the rest time.
In addition, the determination and setting of the load distribution of each device is performed by sequentially determining and setting the supply load value for each device, and a new power consumption range logical expression (first formula) 2) and the update of the total power consumption range display screen V03 associated therewith may be performed.

  In this case, the total power consumption range calculation function unit 14 further adds the set total load value and the first mathematical expression group each time the supply load value related to an arbitrary device is determined and set. The second mathematical formula group is regenerated based on all supply load values that have been set so far.

  Thus, the first screen control unit (not shown) regenerates and displays the total power consumption range display screen V03 based on the regenerated second formula group, and also displays the total power consumption range. Determine and set the supply load value of the undetermined device on the display screen V03.

  In addition, the total power consumption range calculation function unit 14 corresponds to, for example, Formula A formed by combining each formula constituting the first formula group with a logical product and the arbitrarily set total load value. A formula C is generated by combining the formula B with a logical product. For each device for which supply load has not yet been determined, a formula C is obtained by adding existence symbols to all variables except “variables indicating supply load and total power consumption of the device”. Generate a hierarchical predicate formula. Then, the second symbol group is generated by executing a quantifier elimination process on each of the generated first-order predicate logical expressions.

  Here, the total load value may be arbitrarily set by the user or the like, but the load distribution determination support device 10 of the present example supports the user so that the user can determine and determine an appropriate total load value. The function to perform may be further provided. The processing function units for this purpose are the total load limit calculation function unit 12, each device load range calculation function unit 13, a second screen control unit (not shown), a third screen control unit (not shown), and the like. Although not shown, these may be collectively called a total load value setting support unit (not shown).

  A total load value setting support unit (not shown) generates and displays various screens for supporting the determination of the total load value on the basis of the first mathematical expression group, and finally displays an arbitrary screen for the user. The total load value is set and input.

  Based on the first formula group, the total load limit calculation function unit 12 generates a third formula group that is a formula group indicating an executable region of the total load that can be supplied by the entire system. In other words, the third mathematical expression group indicating the limit range of the total load is generated.

  The second screen control unit (not shown) generates and displays a second screen that displays a feasible area of the total load that can be supplied by the entire system based on the third mathematical formula group. The user designates an arbitrary range of the total load on two screens. In other words, the second screen displays the limit range (upper limit value and lower limit value) of the total load.

  The total load limit calculation function unit 12 sets, for example, a variable representing the total load for a formula A (F1∧F2∧F3) obtained by combining the formulas constituting the first formula group with a logical product. A first-order predicate logical expression relating to the executable area of the total load is generated by adding existence symbols to all the variables except for the above. Then, a quantifier elimination process is executed for each of the generated first-order predicate logical expressions to generate a part of the third mathematical expression group. The part of the third mathematical expression group is, for example, shown in FIG. The third mathematical formula group is, for example, as shown in FIGS. 6, 8, and 10 described later.

  The device load range calculation function unit 13 calculates the supply load of each device according to the total load (supply load including operation / stop) based on the specified total load range and the first mathematical formula group. A fourth mathematical expression group that is a mathematical expression group indicating the executable area is generated.

  A third screen control unit (not shown) generates and displays a third screen that displays an executable area of the supply load for each device according to the total load based on the fourth mathematical formula group, An arbitrary total load value is set on the third screen.

  For example, each device load range calculation function unit 13 performs, for each device, a formula A ′ obtained by combining each formula constituting the first formula group and a formula representing the total load range by a logical product. Corresponding to, a first-order predicate formula group related to the total load and the supply load of each device is generated by adding existence symbols to all variables except the variable indicating the supply load of the device and the variable indicating the total load. To do. Then, a quantifier elimination process is executed for each first-order predicate logical expression in the generated first-order predicate logical expression group to generate a part of the fourth mathematical expression group. The part of the fourth mathematical expression group is, for example, shown in FIG. The fourth mathematical expression group is, for example, shown in FIGS. 14, 15, 18, and 20 described later.

The “device” is, for example, a heat source device, the “system” is, for example, an air conditioning system, and the “load” is, for example, a heat load, but is not limited to these examples.
The above-described “supply load including operation / rest” means, for example, a supply load value including a case where supply load = “0”. Usually, the supply load during operation of the device has an upper limit value and a lower limit value, and it is not possible to operate with a supply load less than the lower limit value. Therefore, the value that can be taken by the supply load of an arbitrary device is an arbitrary value within the range from the lower limit to the upper limit, or “0”. However, the prior application does not consider the case of a resting state (supply load = '0'). On the other hand, in this method, the above-described various graphs are generated and displayed in consideration of the case of a resting state (supply load = “0”). This is because, for example, the device model formula F2 includes a formula at rest as in the example of FIG. 36B described later, and when generating various first-order predicate logical expression groups described later, such a device is used. This is realized by using the model formula F2.

Hereinafter, various processes and display screens of the load distribution determination support apparatus 10 described above will be described in detail with reference to FIG.
FIG. 3 is a diagram illustrating an example of processing performed by the formula group generation function unit 11.

  For example, as shown in FIG. 3, the formula group generation function unit 11 includes a total power consumption formula f11 representing the relationship between the power consumption Pn of each device and the total power consumption P of the entire system, based on the system model information, A total load formula f12 representing the relationship between the supply load Ln of the device and the total load L supplied by the entire system is generated. The system model information itself may be the total power consumption formula f11 and the total load formula f12. On the other hand, when the system model information is a system configuration diagram as shown in an example of FIG. 32 described later, for example, an existing tool (for example, “FeTOP” (manufactured by Fuji Electric Co., Ltd.)) is used to configure the system configuration information. From the figure, for example, a total power consumption formula f11 and a total load formula f12 can be generated as in an example shown in FIG.

Then, by combining the total power consumption formula f11 and the total load formula f12 with a logical product (∧), the system model formula F1 is generated as follows.
F1 = f11∧f12
Further, the formula group generation function unit 11 generates a power consumption formula f21 _n in the operating state of the device n based on the device model information in the operating state, where n is a variable representing the number for classifying the device, Based on the device model information at the time of hibernation, a power consumption formula f22 _n at the time of hibernation of the device _n is generated. However, device model information, power consumption equation f21 _n when the operating status these devices n, may be a power equation f22 _n during hibernation. Further, for example, when the device model information includes the power consumption characteristics and the constraint conditions of each device n as the information in the operating state, the power consumption characteristics and the constraint conditions are logically multiplied (∧ ) May be used to generate the power consumption formula f22 _n when the device n is in the sleep state.

Then, for each instrument n, respectively, for coupling the power equation f22 _n during dormant power consumption equation f21 _n and equipment n during operation state of the equipment n ORed (∨). As a result, a mathematical expression representing “power consumption Pn according to the supply load Ln” reflecting the operation / pause is generated for each device n.

  Then, the device model formula F2 is generated by combining all the formulas representing the “power consumption Pn according to the supply load Ln” generated according to each device n as described above with a logical product (∧). To do.

  As described above, the device model formula F2 is obtained as follows using the device model information in the operating state and the device model information in the hibernation state.

  In the calculation formula of the device model formula F2, n is a device number (1, 2, 3,...), And N is the number of devices. f21n is a mathematical expression representing the power consumption characteristic when the device n is in an operating state, and an example is shown in FIG. Further, f22n is a mathematical expression representing the power consumption characteristic when the device n is in an inactive state, and an example is shown in FIG.

  The device model formula F2 is obtained by taking the logical sum (∨) of the power consumption characteristics (f21n, f22n) at the time of operation and rest for each device n and combining them with a logical product (∧). If n = 3, the device model formula F2 is as follows.

F2 = (f21 ₁ ∨f22 ₁ ) ∧ (f21 ₂ ∨f22 ₂ ) ∧ (f21 ₃ ∨f22 ₃ )
Further, the formula group generation function unit 11 uses the external condition information (f3i; outside air temperature, etc.) to obtain the external condition formula F3 as follows.

As described above, when there are a plurality of external conditions such as temperature and humidity, the formula for the i-th external condition is f3 _i, and the formulas for all the external conditions are combined by logical product (∧). A conditional expression F3 is generated.

In the above calculation formula, I is the number of external conditions. If I = 3, the above calculation formula is as follows.
F3 = f3 ₁ ∧f3 ₂ ∧f3 ₃
In the figure, the total load range formula F4 is also shown as follows, but this is generated using user input data on the total load range input screen V01 after processing by the total load limit calculation function unit 12. Will be described later.

F4: = lMin '≦ LlMax'
(However, L: Variable representing total load lMin '; Minimum value of total load input by user lMax': Maximum value of total load input by user)
FIG. 4 is a processing flowchart of the total load limit calculation function unit 12.

In the process of FIG. 4, the total load limit calculation function unit 12 first acquires the formulas F1, F2, and F3 generated by the formula group generation function unit 11 (step S11).
First, using these mathematical formulas F1, F2, and F3, a “first-order predicate logical expression relating to an executable area of the total load L” ψ ₁₁ is generated (step S12). The executable area of the total load L means, for example, a range of values that the total load L can take, in other words, a limit range of the total load L.

Here, FIG. 5 shows a generation example of the first-order predicate logical expression ψ ₁₁ .
As shown in FIG. 5, the total load limit calculation function unit 12 applies all the formulas “F1∧F2∧F3” formed by combining the above formulas F1, F2, and F3 with logical formulas except for the total load L. By assigning the existence symbol ∃ to the variable, the “first-order predicate logical expression relating to the executable region of the total load L” ψ ₁₁ is generated.

Here, the variables used in this process are the variable L representing the total load, the variable T representing the external condition, the variable P representing the total power consumption, the variable Ln representing the supply load of the device n, and the variable representing the power consumption of the device n. There is Pn. Since the number of devices is N, and n = 1, 2,..., N, the variable Ln is L1, L2,... LN, and the variable Pn is P1, P2. , PN. Among these variables, since the existence symbol ∃ is assigned to all variables except the target total load L, the first-order predicate logical expression ψ ₁₁ is as follows.

ψ ₁₁ : = ∃P∃P1 ... ∃PN∃L1 ... ∃LN∃T (F1∧F2∧F3)
Subsequently, by executing an existing “quantifier elimination process” (QE process) on the first-order predicate logical expression ψ ₁₁ , “formula φ ₁₁ representing an executable area of the total load L” is generated. (Step S13). FIG. 6 is a generation example of the above-described “formula φ ₁₁ representing the executable area of the total load L”.

As shown in FIG.
φ ₁₁ : = QE [ψ ₁₁ ]
It becomes. This means that “quantity erasure processing” (QE processing) is performed on the formula ψ ₁₁ .

Here, the “limitation symbol erasing process” can be realized by using a known algorithm such as the QE (Quantifier Elimination) algorithm described in Non-Patent Document 1, for example. Alternatively, as described above, there are already tools that implement “quantifier elimination processing” (QE processing). For example, by using “Redlog”, “QEPCAD”, and “Mathematica” described above, the first floor “Limit symbol elimination processing” for the predicate logical expression ψ ₁₁ is realized.

Then, using the above-described “formula φ ₁₁ representing the feasible region of the total load L”, formulas representing the lower limit and the upper limit of the total load L are generated.
First, in steps S14 and S15, “an equation representing the lower limit of the total load L” φ ₁₂ is generated.

First, in step S14, “the first-order predicate logical expression ψ ₁₂ regarding the lower limit of the total load” shown as an example in FIG. 7 is generated using the above-mentioned “formula representing the executable area of the total load L” φ ₁₁ . To do.
This first-order predicate logical expression ψ ₁₂ generates a mathematical expression (L <LMin⇒¬φ ₁₁ ) meaning that “if the total load L is smaller than the variable LMin representing the minimum value, φ ₁₁ is not satisfied”, and By assigning the universal symbol に to the variable L representing the total load, it is generated as follows.

ψ ₁₂ : = ∀L (L <LMin⇒¬φ ₁₁ )
Note that ¬ is a mathematical symbol meaning “denial”.
7 is registered in advance by a developer or the like, for example, and by substituting the formula of φ ₁₁ obtained in FIG. 6 into “φ ₁₁ ” in this formula, ψ ₁₂ Will be required. The same applies to FIGS. 8, 9, 10, 14, 15, 16, 17, 17, 18, 19, 20, 24, and the like described later.

Then, in step S15, the "quantifier elimination processing" for first-order logic formulas [psi ₁₂ described above generates running (QE process), further a formula in the quantifier elimination result, the "execution of the total load By combining the mathematical expression φ ′ ₁₁ obtained by replacing the variable L with LMin in the mathematical expression φ ₁₁ ”representing the possible area by a logical product,“ the mathematical expression φ ₁₂ ”representing the lower limit of the total load is generated. That is, “Formula φ ₁₂ representing the lower limit of the total load” is represented by the following formula shown as an example in FIG.

φ ₁₂ : = QE [ψ ₁₂ ] ∧φ ′ ₁₁
With respect to the upper limit as well, in substantially the same manner as in the case of the lower limit described above, “an expression representing the upper limit of the total load L” φ ₁₃ is generated in steps S16 and S17.

That is, first, in step S16, “the first-order predicate logical expression ψ ₁₃ regarding the upper limit of the total load” shown as an example in FIG. 9 is generated using the above-described “formula φ ₁₁ representing the executable area of the total load L”. .
This first order predicate logical expression ψ ₁₃ generates a mathematical expression (L> LMax ⇒ ¬φ ₁₁ ) that means "If the total load L is greater than the variable LMax representing the maximum value, φ ₁₁ is not satisfied", and By assigning the universal symbol に to the variable L representing the total load, it is generated as follows.

ψ ₁₂ : = ∀L (L> LMax ⇒¬φ ₁₁ )
Note that ¬ is a mathematical symbol meaning “denial”.
Then, in step S17, the "quantifier elimination processing" for first-order logic formulas [psi ₁₃ described above generates running (QE process), further a formula in the quantifier elimination result, the "execution of the total load equation phi ₁₁ representing the area "in the formula phi '' ₁₁ formed by replacing the variable L in LMax, it binds with logical," produces a formula phi ₁₃ "representing the upper limit of the total load. That is, “Mathematical formula φ ₁₃ representing the upper limit of the total load” is represented by the following mathematical formula as an example in FIG.

φ ₁₃ : = QE [ψ ₁₃ ] ∧φ ″ ₁₁
Finally, as a processing result by the total load limit calculation function unit 12, the “formula φ ₁₂ representing the lower limit of the total load” and “formula φ ₁₃ representing the upper limit of the total load” generated as described above are output. (Step S18).

Note that when feasible region of the total load is such that the range of discontinuous may output the formula phi ₁₁ representing an executable area of the total load.
The output destination of step S18 is, for example, the load distribution determination function unit 15.

The load distribution determination function unit 15 displays the total load range input screen V01 on the display unit 21 using the above-described “formula φ ₁₂ representing the lower limit of the total load” and “formula φ ₁₃ representing the upper limit of the total load”. Then, the user inputs an arbitrary total load L range. Actually, the lower limit value is calculated by “Expression φ ₁₂ representing the lower limit of the total load”, and this lower limit value is denoted as lMin. Similarly, the upper limit value is calculated by “Expression φ ₁₃ representing the upper limit of the total load”, and this upper limit value is denoted as lMax. Specific examples of the lower limit value lMin and the upper limit value lMax will be shown and described later.

FIG. 11 shows a display example of the total load range input screen V01.
In the illustrated example, the total load range input screen V01 includes a display area 31 that is an area for displaying the lower limit value lMin and the upper limit value lMax, a white box 32 that allows the user to arbitrarily input the range of the total load L, and a determination button 33. Etc. are displayed. In other words, it can be said that the display area 31 displays the range (limit range) of the value of the total load L that can be supplied by the entire system.

  The user can know the range of values that can be taken as the total load L by looking at the display contents of the display area 31. In other words, it is possible to know values that should not be set as the total load L (values lower than the lower limit value lMin and values higher than the upper limit value lMax).

  The user inputs an arbitrary total load range (minimum value, maximum value) to the white box 32, but an appropriate value can be input by referring to the display contents of the display area 31. As described above, the value to be input to the white box 32 may be arbitrarily determined by the user, but for example, the total load range requested by the load destination is input.

  When the user operates the enter button 33 after inputting an arbitrary value in the white box 32, this input value (total load range) is registered as the total load range formula F4. Then, each apparatus load range calculation function part 13 performs the process demonstrated below also using this total load range numerical formula F4.

FIG. 12 is a processing flowchart of each device load range calculation function unit 13.
In the process of FIG. 12, first, the system model formula F1, the device model formula F2, the external condition formula F3 and the total load range formula F4 generated by the formula group generation function unit 11 are acquired (step S21). .

First, a process of generating “first-order predicate logical expression group Ψ ₂ relating to total load L and supply loads (L1, L2,..., LN) of each device” is performed (step S22).
As shown in FIG. 13, this first-order predicate logical expression group Ψ ₂ corresponds to each device n (n = 1, 2,..., N), “the supply load Ln and the total load L of the device n”. It consists of a group of first order predicate formulas “ψ _2n ”.

Each first-order predicate logical expression ψ _2n ((n = 1, 2,..., N) is an expression (F1∧F2) formed by combining the expressions F1, F2, F3, and F4 with a logical product. ∧F3∧F4) is generated by assigning an existence symbol に to all variables except for “total load L and supply load Ln of device n”, that is, as shown in FIG. The first-order predicate logical expression ψ _2n is as follows.

ψ _2n : = ∃P
∃P1, ..., ∃PN
∃L1,..., ∃Ln-1, ∃Ln + 1,.
∃T (F1∧F2∧F3∧F4)
Subsequently, “a mathematical expression group representing a feasible region of supply load of each device according to the total load L” Φ ₂ is generated (step S23). As shown in FIG. 14, this mathematical formula group Φ ₂ corresponds to each device n (n = 1, 2,..., N), “supply load Ln of the device n according to the total load L. It consists of a group of numerical formulas “φ _2n ” indicating the feasible region of

The mathematical expression φ _2n corresponding to each device n is expressed by, for example, the “limit sign” by the existing tool for the first-order predicate logical expression ψ _2n corresponding to each device n obtained in the process of step S22. It is generated by executing “erase process” (QE process). As shown in FIG.
φ _2n : = QE [ψ _2n ]
It becomes.

Subsequently, a “first-order predicate logical expression group relating to the supply load range of each device” Ψ ₃ is generated (step S24).
As shown in FIG. 15, this first-order predicate logical expression group Ψ ₃ corresponds to each device n (n = 1, 2,..., N), “range of supply load Ln of that device n. It consists of a group of first order predicate formulas “ψ _3n ”.

As shown in FIG. 15, each first-order predicate logical expression ψ _3n (n = 1, 2,..., N) is obtained by using the respective mathematical formulas φ _2n obtained in the process of step S23. It is generated as follows.

ψ _3n : = ∃L (φ _2n )
As described above, the first-order predicate logical expression ψ _3n is generated by adding the existence symbol に to the variable L representing the total load for the mathematical expression φ _2n for each device n.

Then, by using the first-order predicate logical expression group Ψ ₃ generated in step S24, “a numerical expression group representing the range of supply load of each device” Φ ₃ is generated (step S25).
As shown in an example in FIG. 16, this mathematical formula group Φ ₃ corresponds to each device n (n = 1, 2,..., N), “a mathematical formula representing the range of the supply load Ln of the device n”. It consists of a group of φ _3n .

The mathematical expression φ _3n corresponding to each device n is calculated by the above-mentioned existing tool with respect to the first-order predicate logical expression ψ _3n corresponding to each device n obtained in the process of step S24. It is generated by executing “processing” (QE processing). As shown in FIG.
φ _3n : = QE [ψ _3n ]
It becomes.

When the above formula φ _3n is obtained for each device n by the above processing, the lower limit of the supply load Ln of the device n is set for each device n by the processing of steps S26 to S29 using this formula φ _3n. A mathematical expression φ _4n representing the upper limit and a mathematical expression φ _5n representing the upper limit are generated. A formula φ _4n representing the lower limit is generated in steps S26 and S27, and a formula φ _5n representing the upper limit is generated in steps S28 and S29. Hereinafter, first, the processing of steps S26 and S27 will be described.

The process of step S26 is a process of generating “first-order predicate logical expression group relating to the lower limit of the supply load of each device” Ψ ₄ .
As shown in FIG. 17, this first-order predicate logical expression group Ψ ₄ corresponds to each device n (n = 1, 2,..., N), “the lower limit of the supply load Ln of the device n. It consists of a group of first order predicate formulas “ψ _4n ”.

Each first-order predicate logical expression ψ _4n is an expression representing the range of the supply load of the device n if the supply load Ln of the device n is smaller than “a variable representing the lower limit of the supply load of the device n” LnMin. "phi _3n generates each formulas mean that a is not satisfied" ((Ln <LnMin⇒¬φ _3n), by further imparting universal quantifier ∀ variable Ln representing the offered load, is generated as follows (FIG. 17).

ψ _4n : = ∀Ln ((Ln <LnMin⇒¬φ _3n )
As will be described later, by performing a quantifier elimination process for the [psi _4n, so that the value of the LnMin is required. A specific example is shown in FIG. 51 and will be described later.

The process of step S27 is a process of generating “a mathematical expression group representing the lower limit of the supply load of each device” Φ ₄ using the first-order predicate logical expression ψ _4n obtained in the process of step S26.
As shown in an example in FIG. 18, the mathematical formula group Φ ₄ corresponds to each device n (n = 1, 2,..., N), “a mathematical formula representing the lower limit of the supply load Ln of the device n”. It consists of a group of φ _4n .

The generation process of the mathematical expression φ _4n corresponding to the arbitrary device n is first performed by the above-mentioned existing tool on the first-order predicate logical expression ψ _4n corresponding to the device n obtained in the process of step S26. "Erase processing" (QE processing) is executed. Then, by combining the mathematical expression of the result of erasing the quantifier and the mathematical expression φ ′ _3n obtained by replacing the variable Ln of the mathematical expression φ _3n related to the device n with LnMin by the logical product (∧), the device n The above formula φ _4n corresponding to the above is generated. As shown in FIG.
φ _4n : = QE [ψ _4n ] ∧φ ′ _3n
It becomes. As a result, the value of LnMin is obtained.

With regard to the upper limit, a mathematical expression φ _5n representing the upper limit can be generated in substantially the same manner as in the case of the lower limit. As for the upper limit, the processes of steps S28 and S29 are performed as described above.
The process of step S28 is a process of generating “first-order predicate logical expression group relating to the upper limit of supply load of each device” Ψ ₅ .

As shown in FIG. 19, this first-order predicate logical expression group Ψ ₅ corresponds to each device n (n = 1, 2,..., N), “the upper limit of the supply load Ln of the device n. It consists of a group of first order predicate formulas “ψ _5n ”.

Each first-order predicate logical expression ψ _5n is an expression φ _3n that represents the range of the supply load of the device n if the supply load Ln of the device n is greater than “a variable representing the upper limit of the supply load of the device n” LnMax. Are generated as follows by generating mathematical expressions (Ln> LnMax => φ _3n ) meaning “does not satisfy” and further assigning the generic symbol ∀ to the variable Ln representing the supply load (FIG. 19). ).

ψ _5n : = ∀Ln ((Ln> LnMax ⇒¬φ _3n )
As will be described later, the value of LnMax is obtained by performing the limit symbol erasing process for ψ _5n . A specific example is shown in FIG. 53 and will be described later.

The process of step S29 is a process of generating “a formula group representing the upper limit of the supply load of each device” Φ ₅ using ψ _5n obtained in the process of step S28.
As shown in FIG. 20, the mathematical formula group Φ ₅ is “a mathematical formula representing the upper limit of the supply load Ln of the device n” corresponding to each device n (n = 1, 2,..., N). It consists of a group of φ _5n .

The generation process of the mathematical expression φ _5n corresponding to the arbitrary device n is first performed by the above-described existing tool on the first-order predicate logical expression ψ _5n corresponding to the device n obtained in the process of step S28. "Erase processing" (QE processing) is executed. Then, the equation of the quantifier elimination results, the formula phi _{'' 3n} formed by replacing the variable Ln of the formula phi _3n according to the device n in LnMax, that bind with logical (∧), the device The mathematical formula _φ5n corresponding to n is generated. As shown in FIG.
φ _5n : = QE [ψ _5n ] ∧φ ″ _3n
It becomes. As a result, the value of LnMax is obtained.

Finally, the above-mentioned “mathematical group representing the feasible area of the total load and the supply load of each device” Φ ₂ obtained by the above-described processing, and “a mathematical formula group representing the lower limit of the supply load of each device” Φ ₄ ; “Mathematical expression group representing upper limit of supply load of each device” Φ ₅ is output (step S30).

The output destination of the process of step S30 is, for example, the load distribution determination function unit 15.
The load distribution determination function unit 15 displays the above-described device load range display screen V02 on the display unit 21 based on the output data in step S30 (processing result by each device load range calculation function unit 13) and other data. To do.

FIG. 21 shows a display example of each device load range display screen V02.
In the example shown in FIG. 21, on each device load range display screen V02, a graph display for each device n (n = 1, 2,..., N), a slider 41, a decision button 42, and the like are displayed. .

  In this graph, the horizontal axis represents the total load L, and the vertical axis represents the supply load Ln of the device n. For this reason, for example, an L-Ln graph or the like may be described, but in the following description, it is simply expressed as a “graph”.

  For example, in the graph relating to the device 1 illustrated, the horizontal axis represents the total load L, and the vertical axis represents the supply load L1 of the device 1. Similarly, for example, in the graph regarding the device N, the horizontal axis represents the total load L, and the vertical axis represents the supply load LN of the device N.

  The range of the value of the total load L on the horizontal axis of the graph is displayed using the total load range formula F4. In the illustrated example, since the total load L is in the range of 50 to 400, this indicates that the user has entered the minimum value 50 and the maximum value 400 in the white box 32 on the screen V01 in FIG. means.

In addition, the numerical range of the vertical axis of each graph (the range of the value of the supply load Ln) is determined using, for example, the above-mentioned “Mathematical expression group representing the lower limit” Φ ₄ and “Mathematical expression group representing the upper limit” Φ _5. Yes. For example, the vertical axis of the graph of the device 1 is displayed using φ ₄₁ and φ ₅₁ where n = 1 in φ _4n and φ _5n . In the illustrated example, φ ₄₁ , = '0'. It can be considered that φ ₅₁ = about “125”. Similarly, for example, the vertical axis of the graph of the device N is displayed using φ _4N and φ _5N where n = N in the above φ _4n and φ _5n . In the illustrated example, φ _4N , = '0'. It can be considered that _φ5N = about “220”. However, this is an example, and the present invention is not limited to this example. Each of the graphs shown in the figure can be basically displayed only by the above-mentioned “Mathematical expression group representing the executable area of the total load and the supply load of each device” Φ ₂ . The above-mentioned “Mathematical expression group representing the lower limit” Φ ₄ and “Mathematical expression group representing the upper limit” Φ ₅ are basically for numerical display (display of l1Min and l1Max in the graph of the device 1) shown on the upper left side of the illustrated graph. It is used for.

  l1Min and l1Max indicate the range of values that can be taken by the supply load L1 of the device 1 relative to the total supply load L (upper limit value and lower limit value). This is clear to the user.

In each graph, an area indicated by hatching in the drawing is displayed. This area is displayed based on the above-mentioned “formula group representing the executable area of the total load and the supply load of each device” Φ ₂ (φ _2n ) or the like. In other words, it can be said that the above-mentioned area shows values and ranges that can be taken by the supply load Ln of the device n according to the total load L for any device n. According to this method, the value that can be taken by the supply load Ln includes the supply load Ln = “0” (resting state).

Each graph shows, for each device n, an orthogonal coordinate system having the supply load Ln of the device n as the vertical axis and the total load L of the system as the horizontal axis. By plotting the region where the formula (φ _2n ) “etc. representing the feasible region is established, a region indicated by hatching in the figure is generated. In this way, it is possible to visualize the condition for “equation (φ _2n ) representing the executable area of the total load and the supply load of each device” relating to the device n.

Such a graph can actually be generated and displayed using, for example, the above existing tools “gunplot”, “Mathematica”, and the like. In other words, by inputting the mathematical formula group Φ ₂ to “gunplot”, “Mathematica”, etc., the area indicated by the diagonal lines in the graph is displayed by the functions of these existing tools. Of course, for this, for example, the graph display of the device 1 uses the formula φ ₂₁ in the formula group Φ ₂ (the above φ _2n and n = 1).

  Moreover, as shown in FIG. 21, the maximum value and the minimum value of the load that can be supplied by the device may be further displayed on the upper side of each graph. In this case, the value of LnMin and the value of LnMax obtained by the above-described processing are displayed.

Here, as described above, the generation of the equation group [Phi _2, said equipment model equation F2 and external conditions formula F3 etc. are also used. As described above, the formula F2 includes not only the device model information in the operating state but also the device model information in the hibernation state. Thus, the display contents of the graph relating to the device n (regions indicated by diagonal lines) indicate “a region where the supply load of the device n can be executed according to the total load L including operation / rest of the device n”. Become.

  The “area where the supply load of the device n can be executed” includes the case where the device n is inactive. In the graph, the region corresponding to Ln = 0 means that the device n is in a pause state. For example, in the graph of the device 1 shown in the figure, the region corresponding to L1 = 0 is shown in the range where the total load L is about 90 to 380. This means that when the value of the total load L is an arbitrary value within the range of 90 to 380, the device 1 can be paused. In other words, when the value of the total load L is less than 90, for example, the device 1 is not allowed to be in a dormant state.

  Further, it has a function of displaying a straight line indicating the total load value on the graph in conjunction with the movement of the slider 41. As a result, on the respective graphs, the illustrated bar (vertical line) indicating the total load value currently designated by the user is displayed. The position of this bar can be freely changed by the user operating the slider 41 shown in the figure. The slider 41 is a configuration for allowing the user to set and input an arbitrary total load value L.

In the example shown in the drawing, the slider 41 is at the position of the total load L = 270, and from this, the bar position is at the position of L = 270 in all graphs.
From this, the user can see from the display of this bar that when the total load L = 270, for example, the value that the supply load L1 of the device 1 can take is any value within the range of 65 to 120, or the pause ( It can be seen that L1 = 0). Similarly, for example, it can be understood that the value that can be taken by the supply load LN of the device N is an arbitrary value within the range of 120 to 210, or a pause (LN = 0).

  Alternatively, for example, for the device N, if the total load L is a value within the range of 310 to 400, the user N is not allowed to pause and must be operated, and is less than 120. It can be seen from the display example shown that it is not allowed to operate.

The external condition formula F3 includes, for example, the outside air temperature. Thus, the change in the outside air temperature is also reflected in the graph display content.
The user views the display of each graph and operates the slider 41 to move a bar (straight line display) on each graph to determine a desired total load L value. By referring to the graph display as described above, the user can grasp whether the operation / pause of each device is permitted by the value of the total load L, and based on this, the total load L Since the value is determined, it can be expected that an appropriate value of the total load L is determined.

  When the user moves the bar to the desired total load value L by operating the slider 41, the user operates the enter button 42. By this operation, the value of the total load L (hereinafter referred to as total load value l) is determined.

When the total load value l is determined as described above, the following processing is executed by the total power consumption range calculation function unit 14.
FIG. 22 is a processing flowchart of the total power consumption range calculation function unit 14.

  In the process of FIG. 22, first, the system model formula F1, the device model formula F2, the external condition formula F3, the total load range formula F4, and the total load value l set by the user are acquired. Furthermore, if there is a device whose operating state (operation / rest / supply load, etc.) has already been determined, the supply load value lm of this device m is also acquired (step S41).

  Here, the process of FIG. 22 is executed a plurality of times. This is executed every time when an operation state (operation / stop, supply load, etc.) of an arbitrary device m is newly determined after it is executed once for the first time. Therefore, in the first process of FIG. 22, there is no device for which the operating state has been determined, and thus the supply load value lm is not acquired.

Then, based on the information acquired in step S41, first, “first-order predicate logical expression group relating to the executable region of the total power consumption P and the supply load Lm of each device” Ψ ₆ is generated (step S42).

As shown in FIG. 23, the first-order predicate logical expression group Ψ ₆ is still in an operating state (operating / resting, supply load, etc.) in each device n (n = 1, 2,..., N). ) Is composed of a group of “first-order predicate logical expressions ψ _6r relating to executable regions of the total power consumption P and supply load Lm of the device r” corresponding to the device r (rεS1) for which) is not determined. As described above, since no operation state has been determined yet in the first process, all devices n (n = 1, 2,..., N) are targeted.

The “executable area of the total power consumption P and the supply load Lm of the device r” means, for example, a value (range) that the supply load Lm of the device r can take in accordance with an arbitrary total power consumption P. .
Note that, as shown in FIG. 23, S1 means a set of device numbers for which the operating state (operation / rest / supply load) has not been determined.

The first-order logic formulas [psi _6r is the device r (r∈S1) each of interest are generated. As described above, the target devices r are all devices whose operating states (operation / stop, supply load, etc.) have not yet been determined.

The first order predicate logical expression ψ _6r is generated as shown in FIG. 23, for example.
That is, as shown in FIG. 23, first, the set of device numbers for which the user has determined the operating state (operation / stop / supply load) is S2, and the device for which the operating state has been determined is device m (mεS2). Using the supply load value lm of all the devices m, the equation “∧ _m∈S2 (Lm = lm)” regarding the determined supply load value is generated. For example, the supply load value lm has already been determined for the devices 2 and 4 among the devices n (n = 1, 2,..., N), and L2 = 13 and L4 = 15. The above equation “∧ _m∈S2 (Lm = lm)” is as follows.

L2 = 13∧L4 = 15
The system model formula F1, the device model formula F2, the external condition formula F3, the total load range formula F4, the equation regarding the total load (L = l), and the equation “ _{等 m∈S2} (Lm = lm) "Is combined with a logical product (∧). Then, the first-order predicate logical expression ψ _6r is generated by assigning the existence symbol に to all variables except “total power consumption P and the supply load Ln of the device r”.

Subsequently, by using the first-order predicate logical expression group Ψ ₆ generated by the process of step S42, “a numerical expression group representing the total power consumption P and the executable area of the supply load of each device” Φ ₆ is generated. (Step S43).

As shown in an example in FIG. 24, the mathematical formula group Φ ₆ corresponds to the above-described devices r (rεS1), “Mathematical formulas representing the total power consumption P and the executable region of the supply load of the devices r”. It consists of a group of _φ6r .

Each of the mathematical formulas φ _6r is generated by executing the “limit symbol elimination process” (QE process) on each of the first-order predicate logical expressions ψ _6r . As already described, this QE processing is realized by using an existing tool, and thus will not be described in particular.

Finally, equation group [Phi ₆ described above generates a (group of the formula φ _6r (r∈S1)), and outputs (step S44). The output destination is, for example, the load distribution determination function unit 15.
Load distribution determining function unit 15, based on such (group of the formula φ _{6r (r∈S1))} Φ ₆ of "formula group represents the feasible region of the offered load of the total power consumption P each apparatus" described above, the total A power consumption range display screen V03 is displayed on the display unit 21.

FIG. 25 shows a display example of the total power consumption range display screen V03.
A display example of the total power consumption range display screen V03 will be described in more detail with reference to FIG.

  For example, as shown in FIG. 26, on the total power consumption range display screen V03, a P-Ln graph and each of the devices n (n = 1, 2,... A button group (select button 52, enter button 53, operation stop button 54) and slider 51 are displayed.

The load distribution determination function unit 15 displays each P-Ln graph shown in the figure, for example, based on each mathematical formula φ _{6r of the} mathematical formula group Φ ₆ (referred to as a power consumption range logical formula).
Here, in the P-Ln graph, the vertical axis represents the total power consumption P and the horizontal axis represents the supply load Ln of the device n, as shown in the figure. This is only an example, and the horizontal axis may be the total power consumption P and the vertical axis may be the supply load Ln of the device n.

In each P-Ln graph, a region indicated by hatching in the drawing is displayed. This area shows the displayed based on the respective formula φ _{6r (r∈S1),} supply the load of the equipment r can take depending on the value of the total power consumption P for each equipment r value . This also includes the case where the device r is in a suspended state, as in FIG. A region corresponding to Ln = 0 in the P-Ln graph means that the device n is in a pause state. From this, for example, in the case of the device 1, referring to the P-Ln graph, it can be seen that the device 1 is not allowed to pause when the total power consumption P is less than “99”.

  The Ln may be described as, for example, Lr here, but is described as Ln here. Note that Lr means the supply load of the device r (rεS1). The same applies to the following description.

  Each of the P-Ln graphs is an area where the corresponding power consumption range logical expression is established in an orthogonal coordinate system in which the horizontal axis is the supply load Ln of an arbitrary device n and the vertical axis is the total power consumption P of the system. Is generated by plotting. As described above, the first-order predicate logical expression that is the generation source of the power consumption range logical expression includes various conditions including the change range of the outside air condition and the operation / pause of the device. The conditions for satisfying such a power consumption range logical expression are visualized and displayed. As a result, for an arbitrary system including a plurality of devices, the user can determine the range of change in the outside air condition and the range of change in the total power consumption of the system considering the operation / pause of each device, and distribute the load on each device. Can be determined.

Such a P-Ln graph can be generated and displayed in practice by using, for example, “gunplot”, “Mathematica”, etc., which are the above existing tools. That is, by inputting the mathematical formula group Φ ₆ to “gunplot”, “Mathematica”, etc., the area indicated by the hatched lines in the P-Ln graph is displayed by the functions of these existing tools.

  By referring to the display content of the total power consumption range display screen V03 as described above, for example, the user can know the range that the total power consumption P can take, for example, corresponding to “operation suspension and load distribution” of each device.

  On the total power consumption range display screen V03, a slider 51 (51-1, 51-2,..., 51-N) for setting the supply load of the device according to each device n. Is displayed. In conjunction with the movement of the position of the slider 51, the bar (vertical straight line) shown in FIG. 26 moves on the corresponding P-Ln graph. That is, a bar is displayed at the position of the supply load Ln corresponding to the current position of the slider 51.

  The user refers to the display content of each P-Ln graph, and operates the slider 51 and any button (selection button 52, determination button 53, operation stop button 54) related to the desired device n to obtain a desired one. The supply load Ln of the device n is set.

Here, with reference to FIG. 27, each of the above buttons (select button 52, enter button 53, operation stop button 54) will be described.
First, the selection button 52 is a button for allowing the user to specify a desired setting target device. When the user operates the selection button 52 corresponding to an arbitrary device n, it becomes possible to set and input the operation state (operation / pause / supply load) of the device. For example, the user can click the operation stop button 54 and move the slider 51.

  The operation stop button 54 is a button that allows the user to select and specify whether to activate or stop the device. On the operation suspension button 54, “OFF” is displayed as shown when “pause” is selected, and “ON” (not shown) is displayed when “operation” is selected. Is displayed. Every time the user clicks the operation suspension button 54, “operation” (ON) and “pause” (OFF) are switched.

  When the determination button 53 is operated, the operation state of the target device is determined as the user setting content at that time. For example, when the user operates the determination button 53 after setting the operation suspension button 54 to “pause” (OFF), the operation state of the target device is set to suspension. In the case of suspension, the supply load of the target device is “0”.

  Alternatively, when the user sets the operation suspension button 54 to “operation” (ON), the user further operates the slider 51 to designate a desired supply load and then operates the decision button 53. As a result, the supply load of the target device is set to an arbitrary value designated by the slider 51.

  Here, when the determination button 53 is operated, the operation state of the target device is determined as described above, and the processing of FIG. 22 is executed again. This process reflects the determined operating state (supply load of the target device). That is, in the above step S41, the supply load of the target device determined this time is newly acquired as the above-described “supply load value lm of the device m (mεS2) whose operation state has already been determined”. This is also used to execute the processes of steps S42 and S43. That is, the executable area of each device r (rεS1) for which the operation / pause / supply load has not been determined is recalculated.

  Here, it is assumed that the display example of FIG. 26 is generated by the first process of FIG. In other words, FIG. 26 shows a display example when the operation / pause / supply load has not been determined for all devices. Then, it is assumed that the user determines the operation state (operation / pause / supply load) for the device 1 on the screen of FIG. A display example of the screen V03 generated by the second processing of FIG. 22 executed in response thereto is shown in FIG.

  In this case, as shown in FIG. 28, the display content of the graph related to the device 1 that has already been determined is not updated. The display contents of the graphs of all the devices other than the device 1 are updated. This is because if the supply load L1 of the device 1 is determined to be “l1”, the supply load (L2,..., N) of the other devices 2,. LN) and the range of values that can be taken by the total power consumption P are displayed as areas indicated by hatching in the figure.

  As described above, every time the determination button 53 is pressed, the “executable area of the supply load Lr with respect to the total power consumption P” of each device r whose operation state (operation / pause / supply load) has not been determined is The load distribution determined by the user up to that point is also updated. Thus, the total power consumption P corresponding to the undecided operating state (operation / rest / supply load) of the device under the condition of the operating state (operation / rest / supply load) determined by the user can be obtained. The range will be understood.

  By repeating the above-described processing, the supply load Ln of the device n is finally determined for all the devices n. That is, the load distribution for all the devices n is determined. Accordingly, the range of total power consumption in such load distribution is also determined. Thus, such a processing result is output as a final processing result of the load distribution determination function unit 15, for example, as shown in FIG. Specific examples of these final outputs will be described later with reference to FIG.

30 and 31 are flowcharts (part 1) and (part 2) of the processing of the load distribution determination support apparatus 10. FIG.
30 and FIG. 31 show one flow chart divided into two parts. Therefore, FIG. 30 and the like are not particularly distinguished. Also, in FIG. 30 and the like, schematically, user operations are shown on the left side in the figure, and computer processing contents of the load distribution determination support apparatus 10 are shown on the right side.

  In the process of the flowchart in the example shown in FIG. 30 and the like, first, at the start of an operation, the user inputs a predetermined information group via an input device such as the keyboard 22 or the pointing device 23 (step S51). The predetermined information group includes the above-described system model information, device model information during operation, device model information during hibernation, external condition information, and the like, but is not limited to these examples. In addition to the example input by the user, the predetermined information stored in an external information processing device or a portable storage medium such as a memory card is transferred to the load distribution determination support device 10. It doesn't matter. These predetermined information groups may be stored in advance in a storage device in the load distribution determination support device 10.

  First, the formula group generation function unit 11 generates the system model formula F1, the device model formula F2, and the external condition formula F3 by the above-described processing based on the predetermined information group (step S52).

Subsequently, the total load limit calculation function unit 12 performs the above-described processing on the basis of these formulas F1, F2, and F3, and the above formula “Formula φ ₁₂ representing the lower limit of the total load” and “Formula representing the upper limit of the total load”. φ ₁₃ ″ is generated (step S53).

Thus, the load distribution determination function unit 15 performs the total load range input screen as described above based on the mathematical expression φ ₁₂ ”representing the lower limit of the total load and the mathematical expression φ ₁₃ representing the upper limit of the total load. V01 is generated and displayed on the display unit 21 (step S54).

  From this, the user views the “total load executable range” displayed on the total load range input screen V01 (above “limit range”) and inputs the desired total load range while referring to this. (Step S55). In other words, the load distribution determination function unit 15 receives an input of a desired total load range by the user.

  Next, the load distribution determination support device 10 generates the total load range formula F4 by the formula group generation function unit 11 based on the input arbitrary total load range information (step S56). Although a specific example of the total load range formula F4 will be shown later, basically, the total load range formula F4 is generated by substituting the total load range information into a predetermined format.

Next, each device load range calculation function unit 13 performs the above-described processing based on each of the mathematical formulas F1, F2, F3, and F4 to execute the “supply load executable region of each device according to the total load L”. Mathematical formula group “Φ ₂ ”, “the mathematical formula group representing the lower limit of the supply load of each device” Φ _4, and “the mathematical formula group representing the upper limit of the supply load of each device” Φ ₅ are generated (step S 57. ).

Accordingly, the load distribution determination function unit 15 generates the device load range display screen V02 by the above-described processing based on these mathematical formula groups Φ ₂ , Φ _4, and Φ _5, and displays them on the display unit 21. Displayed (step S58).

  From this, the user can see the desired total while viewing the total load and the executable load area of each device including the operation / pause of the device displayed on each device load range display screen V02. The load value l is input (step S59). In other words, the load distribution determination function unit 15 receives an input of a desired total load value l by the user.

Thereafter, the processes in steps S60 to S66 shown in the figure are repeatedly executed until the determination in step S66 becomes NO.
That is, the total power consumption range calculation function unit 14 performs the above-described processing based on each of the formulas F1, F2, F3, F4 and the total load value l for the first time. A formula group “Φ ₆ ” representing the executable region of the supply load is generated (step S60).

Thus, the load distribution determination function unit 15 generates the total power consumption range display screen V03 based on the mathematical formula group Φ ₆ and displays it on the display unit 21 (step S61).
From this, the user refers to the “total power consumption and executable load area of each device including the operation / pause of each device” displayed on the total power consumption range display screen V03, One device for which the operating state (operation / stop and supply load) is determined is arbitrarily selected (step S62).

  Then, the user designates whether the currently selected device is to be activated or deactivated by operating the operation suspension button 54 (step S63). If "operation" is designated (step S64, YES), the user further sets and inputs an arbitrary supply load value for the currently selected device (step S65). Then, the process proceeds to step S66. On the other hand, if “pause” is designated (step S64, NO), the process proceeds to step S66 as it is.

If it is determined in step S66 that there is a device whose operating state (operation / rest and supply load) has not been determined (step S66, YES), the process returns to step S60.
However, the process of step S60 is slightly different from the first process in the second and subsequent processes. That is, not only each of the mathematical formulas F1, F2, F3, and F4 and the total load value l, but also all of the operating states (operation / stop and supply load) that have been determined by the steps S62 to S65 so far. Reflecting also the operation state (supply load lm) of the above-mentioned device, “the formula group representing the total power consumption P and the executable region of the supply load of each device” Φ ₆ is recalculated (second and subsequent steps S60).

The load distribution determination function unit 15 regenerates the total power consumption range display screen V03 based on the recalculated mathematical formula group Φ ₆ and displays it on the display unit 21 (step S61). That is, the display content of the total power consumption range display screen V03 is changed to reflect the determined “operation / rest and supply load”. For example, the display content of FIG. 26 is changed to the display content of FIG. Then, the user sees the display after the change and inputs the above steps S62 to S65.

  Thereafter, the above-described processing is repeated until the determination in step S66 becomes NO, that is, until the operating state (operation / rest and supply load) is determined for all devices. During this time, the user selects each device sequentially while viewing the display of the total power consumption range display screen V03 whose display content is updated each time, and inputs the “operation / pause and supply load” of the selected device. repeat.

  When “operation / pause and supply load” are determined for all devices (NO in step S66), finally, as a final processing result by the load distribution determination function unit 15, all determined devices n are determined. The operating state (that is, load distribution to all devices) and the total power consumption range corresponding to this are output (step S67). As described above, a specific example of this output will be shown and described later.

Hereinafter, with reference to FIG. 32 and subsequent drawings, the processing of the load distribution determination support device 10 will be described using a specific example.
First, the various input information will be described.

  FIG. 32 shows a specific example of the system model information, which is a part of various input information input in step S51, for example. Here, the case where a process target system is an air conditioning system is made into an example, and the specific example is shown.

In the example shown in FIG. 32, the air conditioning system is a device,
A device 1 (refrigerator 1) that supplies a load (thermal load) L1 with power consumption P1,
-Equipment 2 (refrigerator 2) that supplies load (heat load) L2 with power consumption P2,
-It has the apparatus 3 (refrigerator 3) which supplies load (thermal load) L3 with power consumption P3.

The refrigerators 1, 2, and 3 may be simply referred to as devices 1, 2, and 3.
Moreover, the sum total of the power consumption P1, P2, P3 consumed by each refrigerator is the total power consumption P consumed by the entire system. The sum total of the supply loads L1, L2, and L3 of each refrigerator is the total load (total heat load) L supplied from the system to the air-conditioning target space that is the load destination.

FIG. 33A shows a specific example of device model information in the operating state.
In the illustrated example, the device model information in the operating state is a model formula f21n of the device n in the operating state for each refrigerator n (n = 1, 2, 3) shown in FIG.

Each model formula f21n is formed by combining the power consumption characteristic of the device n and the constraint condition (upper and lower limits of the supply load in the operating state) with a logical product (∧). In the illustrated example, for example, f21 ₁ which is the model formula f21n for the refrigerator 1 is “P1 = (0.005 × T−0.0073) L1 + 0.2281 × T + 10.374” which is the power consumption characteristic of the refrigerator 1. This is formed by connecting “68.6 ≦ L1 ≦ 125” indicating the upper and lower limits of the supply load when the refrigerator 1 is in operation with a logical product (∧).

  The other refrigerators 2 and 3 are not shown here, but are as shown in FIG. In the above formula, T is the outside air temperature. In the illustrated example, the three refrigerators 1, 2, and 3 have different sensitivities to the outside air temperature T from each other.

FIG. 33B shows a specific example of the device model information in the hibernation state.
In the illustrated example, the device model information in the hibernation state is a model formula f22n of the device n in the hibernation state for each refrigerator n (n = 1, 2, 3) shown in FIG.

Each model formula f22n is as follows in this example.
f22n: = Pn = 0∧Ln = 0
That is, Pn = 0 and Ln = 0 are combined by a logical product (∧).

That is, in any refrigerator, no load is supplied at rest, and the power consumption is “0”.
Thus, as shown in the figure, for example, the model formula f22 ₁ relating to the refrigerator ₁ is as follows.

f22 ₁ : = P1 = 0∧L1 = 0
Although not specifically described here, the other refrigerators 2 and 3 are as illustrated.
As described above, the refrigerator 1, the refrigerator 2, and the refrigerator 3 can all be in “operating” and “pause” states, and the refrigerator 1, the refrigerator 2, and the refrigerator 3 Assume that the device models in the operating state can be expressed as model formulas f21 ₁ , f21 ₂ , and f21 ₃ shown in FIG. In addition, the equipment models when the refrigerator 1, the refrigerator 2, and the refrigerator 3 are in a resting state can be expressed as model equations f22 ₁ , f22 ₂ , and f22 ₃ shown in FIG. 33B, respectively.

  Note that the device model information in the operating state and the device model information in the dormant state shown in FIGS. 33 (a) and 33 (b) indicate the relationship between the supply load and power consumption for each refrigerator, and the consumption of the refrigerator It can also be said that it consists of a mathematical expression representing the power characteristic and a mathematical expression representing the constraint condition of the supply load.

A specific example of the device model information in the operating state according to the system configuration example of FIG. 32 is not limited to the example shown in FIG. 33 but may be the example shown in FIG.
In the example of FIG. 34, the power consumptions P1, P2, and P3 when the refrigerators 1, 2, and 3 are operating are represented by linear functions of the supply loads L1, L2, and L3, respectively. Furthermore, the power consumption characteristics of each refrigerator are affected by the outside air temperature T, and the slope of each linear function is represented by a linear function of the outside air temperature T. In addition, the upper limit value and the lower limit value of the supply load of each of the refrigerators 1, 2, 3 are different for each device 1, 2, 3.

In the case of FIG. 34 as well, although not shown in the drawing, each of the refrigerators 1, 2, 3 has a supply load of “0” and a power consumption of “0” in the resting state.
In FIG. 34, it can be said that the power consumption of each refrigerator in the operating state changes depending on the outside air temperature. That is, as shown in FIG. 34, the power consumption characteristic (gradient of the linear function) of the refrigerator changes when the outside air temperature is 25 ° C. and 35 ° C.

FIG. 35 shows a specific example of the external condition information.
Here, as a specific example of the external condition, a change range of the outside air temperature that affects the power consumption characteristics of the refrigerator is shown. As already described, since the characteristics of the refrigerators 1, 2, and 3 depend on the outside air temperature T, the change range of the outside air temperature T is arbitrarily set by the user. In the example of FIG. The minimum temperature is 25 [° C.].

  36 (a) to 36 (c), the system model formula F1, the device model formula F2, and the external conditions generated by the formula group generation function unit 11 based on the input information of the specific examples shown in FIG. 33 to FIG. A specific example of Formula F3 is shown.

For example, the formula group generation function unit 11 first generates the total power consumption formula f11 and the total load formula f12 shown in FIG. 36A from the system model information of the specific example shown in FIG. That means
f11: = P = P1 + P2 + P3
f12: = L = L1 + L2 + L3
Is generated. These mathematical formulas can be obtained by analyzing the system model information of FIG. 32 using an existing tool.

Next, a system model formula F1 of the air conditioning system shown in FIG. 32 is generated by combining the generated total power consumption formula f11 and the total load formula f12 with a logical product (∧).
That means
F1: = P = P1 + P2 + P3∧L = L1 + L2 + L3
Is generated.

Also, the formula group generation function unit 11 generates a formula F2 shown in FIG. 36B as a device model formula F2 corresponding to the specific example shown in FIGS. 33A and 33B, for example.
As shown in the figure, first, for each of the three refrigerators n (n = 1, 2, 3), the “model formula of the device n in the operating state” f21n and the “resting state”, respectively. The model formula f22n ″ of the device n is combined with an ethical sum (∨). Thus, (f21 ₁ f22 ₁ ) is generated for the refrigerator 1, (f21 ₂ ∨f22 ₂ ) is generated for the refrigerator ₂ , and (f21 ₃ ∨f22 ₃ ) is generated for the refrigerator _3. Will be. Then, by combining these with a logical product (∧), a device model formula F2 corresponding to the example of FIG. 33 is generated.

Thus, the device model formula F2 is as follows, as shown in FIG.
F2: = (P1 = (0.005T-0.0073) L1 + 0.2281T + 10.374 ∧68.6 <= L1 <= 125 ∨P1 = 0∧L1 = 0)
∧ (P2 = (0.008T-0.0353) L2 + 0.3291T + 12.837 ∧95.2 <= L2 <= 175∨P2 = 0∧L2 = 0)
∧ (P3 = (0.010T-0.0119) L3 + 0.4162T + 15.900 ∧122 <= L3 <= 212 ∨P3 = 0∧L3 = 0)
It can be said that this generates a device model formula F2 that takes into account both the operation and suspension of each device.

Further, based on an example of the external condition information shown in FIG. 35, that is, the external condition formula F3 related to the outside air temperature based on the maximum and minimum outside air temperatures, as shown in FIG.
F3: = 25 <= T <= 35
And generate.

The specific examples of the system model formula F1, the device model formula F2, and the external condition formula F3 generated in step S52 according to the specific examples of FIGS.
Based on this specific example, specific examples of the above-described various mathematical expressions / logical expressions generated by the total load limit calculation function unit 12 in the processes of steps S12 to S17 in FIG. 4 are shown in FIGS. .

The specific examples shown in FIGS. 37 to 42 will be described below.
First, FIG. 37 shows a specific example of the first-order predicate logical expression ψ ₁₁ generated in step S12 according to the specific example. Here, the generation method of the first-order predicate logical expression ψ ₁₁ is as described in FIG. 5, and a specific example of the first-order predicate logical expression ψ ₁₁ corresponding to the above specific example is shown on the upper side of FIG. As follows.

ψ ₁₁ : = ∃P∃P1∃P2∃P3∃L1∃L2∃L3∃T (F1∧F2∧F3)
As described above, the model formula F1, the device model formula F2, and the external condition formula F3 generated by the formula group generation function unit 11 are combined by logical product, and all variables other than the total load L, that is, P, P1, P2, P3 , L1, L2, L3, and T, the first order predicate logical expression ψ ₁₁ related to the range of the total load is generated by adding existence symbols.

  All the variables may be obtained by extracting variables from the model formula F1, the device model formula F2, and the external condition formula F3, or may be set in advance by the user. .

  In addition, (F1∧F2∧F3) in this logical expression is a combination of the mathematical examples F1, F2, and F3 shown in FIGS. 36 (a), (b), and (c) with a logical product (∧). Therefore, as shown in FIG.

Then, by executing the quantifier elimination process for the first order predicate logical expression ψ ₁₁ by the process of step S13, as shown in FIG. 38, the following mathematical expression (“total load” A mathematical expression φ ₁₁ ″) representing the executable region of L is generated.

φ ₁₁ : = 343/5 <= L <= 512 ∨ L = 0
Note that this is obtained by applying the first-order predicate logical expression ψ ₁₁ shown in FIG. 37 to an existing tool that realizes the quantifier elimination process, for example. The resulting process is not specifically described here. The same applies to other example of the quantifier erasure processing result.

Subsequently, the first-order predicate logical expression ψ ₁₂ shown in FIG. 39 is generated by performing the process of step S14. As described above, in the processing in step S14, by using a "formula phi ₁₁ representing an executable area of the total load L" above, for example, a "first-order logic formulas [psi ₁₂ on lower bound of the total load" shown in FIG. 7 Generate. As described in FIG. 7, the logical expression [psi ₁₂ includes a formula means that the total load L does not satisfy the phi ₁₁ if the variable LMin smaller representing the minimum value (L <LMin⇒¬φ _11), The variable L representing the total load is given a universal symbol.

Then, the "phi _11" in such a logical expression [psi _12, by substituting the specific example shown in FIG 38, so that the first-order logic formulas [psi ₁₂ below that shown in FIG. 39 is generated .
ψ ₁₂ ： ＝ ∀L (L <LMin⇒¬ (343/5 <= L <= 512 ∨ L = 0))
Then, by performing the processing of step S15 by using the first-order logic formulas [psi ₁₂ etc. shown in FIG. 39, to obtain a "formula phi ₁₂ representing the lower limit of the total load" as shown in FIG. 40 become.

As shown in FIG. 40, a mathematical expression (LMin <= 0) as a result of performing the quantifier elimination process on the first-order predicate logical expression ψ ₁₂ shown in FIG. 39 by the existing tool, and the mathematical expression φ ₁₁ shown in FIG. variables L formula is replaced by a variable _{LMin φ '11 (φ' 11} : = 343/5 <= LMin <= 512 ∨ LMin = 0) and, by binding with logical (∧), "total load A mathematical expression φ ₁₂ ″ (φ ₁₂ : = LMin = 0) representing the lower limit of is obtained. “<=” Means “≦”.

Subsequently, “first-order predicate logical expression ψ ₁₃ regarding the upper limit of the total load” shown in FIG. 41 is generated by the process of step S16. As shown in FIG. 9, this logical expression ψ ₁₃ is expressed by an expression (L> LMax ⇒¬φ ₁₁ ) meaning “If the total load is larger than the variable LMax representing the maximum value, φ ₁₁ is not satisfied”. It is generated by adding a generic symbol に to the variable L that represents the total load.

The "phi _11" in the formulas [psi _13, by substituting the specific example shown in FIG 38, first-order logic formulas [psi ₁₃ below that shown in FIG. 41, will be produced.
ψ ₁₃ ： ＝ ∀L (L> LMax⇒¬ (343/5 <= L <= 512 ∨ L = 0))
By performing the processing of step S17 by using the first-order logic formulas [psi ₁₃ etc. shown in FIG. 41, to obtain a "formula phi ₁₃ representing the upper limit of the total _load" as shown in FIG. 42 Become.

As shown in FIG. 42, the mathematical expression (512 <= LMax) as a result of performing the quantifier elimination process on the first-order predicate logical expression ψ ₁₃ shown in FIG. 41 by the existing tool, and the mathematical expression φ ₁₁ shown in FIG. By combining the formula φ '' ₁₁ (φ '' ₁₁ : = 343/5 <= LMax <= 512 ∨ LMax = 0) with the variable L of The formula φ ₁₃ ″ (φ ₁₃ : = LMax = 512) representing the upper limit of the total load is obtained.

Then, the output process of step S18 is performed, and the load distribution determination function unit 15 performs the above-described operation based on the above-described “formula φ ₁₂ representing the lower limit of the total load” and “formula φ ₁₃ representing the upper limit of the total load”. The total load range input screen V01 is displayed on the display unit 21 by the process of step S54. A display example of this screen V01 has already been shown in FIG. 11, but a display example according to the above specific example is as shown in FIG. 43, for example.

As shown in FIG. 43, in this specific example, on the total load range input screen V01,
The lower limit value LMin value “0” of the total load executable area and the upper limit value LMax value “512” of the total load executable area are displayed.

  Then, on the total load range input screen V01 in which the limit range related to the total load L is displayed in this way, the user can specify an arbitrary range (the minimum value and maximum value) related to the total load L as shown in FIG. input. This is to allow the user to input a desired value by the process of step S55. FIG. 44 shows an example in which the user inputs the minimum value = 50 and the maximum value = 400 as the range of the total load L.

  As described above, the minimum value and the maximum value input by the user may be arbitrary values. Generally, referring to the displayed limit ranges (upper limit value, lower limit value), You should set any value within the range. One example is the minimum value = 50 and the maximum value = 400 with respect to the limit range of ‘0’ to ‘512’. Thus, it can be expected that an appropriate range (minimum value, maximum value) is set. “Appropriate” means that at least a value outside the limit range should not be set.

  And the said total load range numerical formula F4 is produced | generated according to the said user setting. For example, when the user performs the setting shown in FIG. 44, the following total load range formula F4 shown in FIG. 45 is generated.

F4: = 50 <= L <= 400
“<=” Means “≦”.
The processing in step S53 (the processing in steps S12 to S17 in FIG. 4) and the processing in steps S54, S55, and S56 have been illustrated and described according to the above specific example.

Hereinafter, step S57 (the process of FIG. 12) will be illustrated and described according to the above specific example. This process is performed by the above-described “formula group representing the executable region of the supply load of each device according to the total load L” Φ ₂ , “formula group representing the lower limit of the supply load of each device” Φ ₄ , “each This is a process for obtaining a mathematical formula group “Φ ₅ ” representing the upper limit of the supply load of the device.

First, as described above, in step S21, the model formula F1, the device model formula F2, the external condition formula F3, and the total load range formula F4 are obtained.
First, in step S22, a first-order predicate logical expression group Ψ ₂ relating to the total load L and the supply loads (L1, L2,..., LN) of each device is generated. As described with reference to FIG. 13, this combines the above four mathematical formulas F1, F2, F3, and F4 with a logical product (∧). Then, for each device, the first-order predicate logic is added to all the variables except “the variable Ln representing the supply load of the device and the total load L” for each device. An expression group ψ ₂ (ψ _2n ; n = 1, 2,... N) is generated.

In the case of the above specific example, N = 3, and ψ ₂ : = {ψ ₂₁ , ψ ₂₂ , ψ ₂₃ } shown in FIG. 46 is generated. In the upper side of FIG. 46, the first order predicate logical expressions ψ ₂₁ , ψ ₂₂ , ψ ₂₃ of these specific examples are shown. Here, ψ ₂₁ is shown below as a representative of them.

ψ ₂₁ : = ∃P∃P1∃P2∃P3∃L2∃L3∃T (F1∧F2∧F3∧F4)
Further, the above (F1∧F2∧F3∧F4) is as follows shown in the lower side of FIG. 46 in the case of the specific example described above.

Then, the quantifier elimination process is executed for each first-order predicate logical expression ψ ₂₁ , ψ ₂₂ , ψ ₂₃ shown in FIG. A formula group “Φ ₂ ” that represents the executable area of the supply load of each device according to the total load L is generated. In the case of the above specific example, each mathematical formula {φ ₂₁ , φ _22, φ ₂₃ } shown in FIG. 47 is obtained as the mathematical formula group Φ ₂ .

Here, φ ₂₁ is representatively represented as shown in FIG. 47 as follows.

Subsequently, the “first-order predicate logical expression group relating to the supply load range of each device” Ψ ₃ described with reference to FIG. 15 is generated by the process of step S24. In the above embodiment, each following device n (n = 1,2,3), using the corresponding above equation phi _2n obtained, first-order logic formulas group shown in FIG. _{48 Ψ 3 (Ψ 3 = {} ψ ₃₁ , ψ ₃₂ , ψ ₃₃ }) are generated. Here, as a representative example, ψ _{31 is} as follows as shown in FIG.

ψ ₃₁ : = ∃L (φ ₂₁ )
This expression is an expression for leaving only the range of L1 by excluding L from φ ₂₁ shown in FIG. 47 showing the range of L and the range of L1.

Next, by the process of step S25, the above-described “expression group representing the range of supply load of each device” Φ ₃ described with reference to FIG. 16 is generated. In the specific example described above, the quantifier elimination process is performed on each of the first-order predicate logical expressions ψ ₃₁ , ψ ₃₂ , ψ ₃₃ }, thereby obtaining the formula Φ ₃ (Φ ₃ = { φ ₃₁ , φ _32, φ ₃₃ }) are generated. Here, if representatively φ ₃₁ is shown, it is as follows as shown in FIG.

φ ₃₁ : = QE [ψ ₃₁ ]
⇔φ ₃₁ : = L1 = 0∨343 / 5 <= L1 <= 125
Then, the “first-order predicate logical expression group relating to the lower limit of the supply load of each device” Ψ ₄ described with reference to FIG. 17 is generated by the process of step S26. In the case of the above specific example, for each device n (n = 1, 2, 3), if “the supply load Ln of device n is smaller than“ a variable representing the lower limit of the supply load of device n ”LnMin, By generating mathematical expressions ((Ln <LnMin⇒¬φ _3n ) ”that mean that the mathematical expression φ _3n representing the range of the supply load is not satisfied, and adding the generic symbol に to the variable Ln representing the supply load, 50 generates a first-order predicate logical expression group ψ ₄ (ψ ₄ = {ψ ₄₁ , ψ ₄₂ , ψ ₄₃ }) as an example.

Here, as a representative example, ψ _{41 is} as follows as shown in FIG.
_{ψ 41: = ∀L1 ((L1} <L1Min⇒¬φ 31))
⇔ψ ₄₁ : = ∀L1 ((L1 <L1Min⇒¬ (L1 = 0∨343 / 5 <= L1 <= 125))
L1Min is “a variable indicating the lower limit of the supply load of the device 1”.

Next, by the process of step S27, “a mathematical expression group representing the lower limit of the supply load of each device” Φ ₄ described with reference to FIG. 18 is generated. In the case of the above specific example, the method described with reference to FIG. 18 using the corresponding first-order predicate logical expressions (ψ ₄₁ , ψ ₄₂ , ψ ₄₃ ) for each device n (n = 1, 2, 3). Thus, for example, “an expression group representing the lower limit of the supply load of each device” Φ ₄ (Φ ₄ = {φ ₄₁ , φ _42, φ ₄₃ }) as shown in FIG. 51 is generated. Here, if they exhibit the apparatus 1 as a representative, using first-order logic formulas ([psi ₄₁₎ corresponding to the device 1, so that the formula phi ₄₁ below that shown in Figure 51 is generated.

  That is, it can be said that the value of the “variable representing the lower limit of the supply load of the device 1” L1Min is obtained. Similarly for the other devices 2 and 3, as shown in FIG. 51, “a variable indicating the lower limit of the supply load of the device 2” L2Min, “a variable indicating the lower limit of the supply load of the device 3” L3Min The value of is obtained.

Subsequently, the “first-order predicate logical expression group relating to the upper limit of the supply load of each device” Ψ ₅ described with reference to FIG. 19 is generated by the processing in step S28. In the case of the above specific example, for each device n (n = 1, 2, 3), the method described with reference to FIG. 19 using the corresponding mathematical expressions {φ ₃₁ , φ _32, φ ₃₃ }, etc. Each first-order predicate logical expression {ψ ₅₁ , ψ ₅₂ , ψ ₅₃ } shown in FIG. ₅₂ is generated.

Here, if described apparatus 1 as a representative, with L1Max like "variable represents the upper limit of the supply load equipment 1" formula phi ₃₁ Ya representing the range of offered load of the device 1, an example in FIG. 52 The following first-order predicate logical expression ψ ₅₁ shown below is generated.

The above formulas the _"L1> L1Max⇒¬φ _31" in [psi ₅₁ is "supply the load L1 of the device 1, if L1Max larger" variable represents the upper limit of the supply load equipment 1 ", the device 1 It is a mathematical expression meaning that “Mathematical Formula ₃₁ that represents the range of supply load is not satisfied”.

Then, by using the ψ _5n obtained in the process of step S28, the “expression group representing the upper limit of the supply load of each device” Φ ₅ described in FIG. 20 is generated by the process of step S29. In the case of the above specific example, for each device n (n = 1, 2, 3), using the corresponding first-order predicate logical expressions {ψ ₅₁ , ψ ₅₂ , ψ ₅₃ }, respectively, the description will be given with reference to FIG. By the method described above, “an expression group representing the upper limit of the supply load of each device” Φ ₅ (Φ ₅ = {φ ₅₁ , φ _52, φ ₅₃ }) as shown in FIG. ₅₃ is generated.

Here, if described apparatus 1 as a representative, L1MAX and "variable represents the upper limit of the supply load equipment 1" above equation phi ₃₁ and the representative of the range of offered load of the equipment 1, the first-order logic formulas The following numerical formula φ ₅₁ shown in FIG. 53 is generated using ψ _{51 and the} like.

  That is, it can be said that the value of the “variable representing the upper limit of the supply load of the device 1” L1Max is obtained. Similarly for the other devices 2 and 3, as shown in FIG. 53, “a variable indicating the upper limit of the supply load of the device 2” L2Max, “a variable indicating the upper limit of the supply load of the device 3” L3Max The value of is obtained.

Then, by the process of step S30, the generated formula group Φ ₂ {φ ₂₁ , φ _22, φ ₂₃ }, formula group Φ ₄ (Φ ₄ = {φ ₄₁ , φ _42, φ ₄₃ }), formula group Φ ₅ (Φ ₅ = {φ ₅₁ , φ _52, φ ₅₃ }) is output. Based on these output data and the like, the load distribution determination function unit 15 displays, for example, the device load range display screen V02 shown in FIG.

FIG. 54 shows a display example of the device load range display screen V02 according to the above specific example.
Here, the display of the executable area of each graph (area shown by hatching in the figure) is not particularly described.

The range of values on the vertical axis of each graph is the above formula group Φ ₄ (Φ ₄ = {φ ₄₁ , φ _42, φ ₄₃ }) and formula group Φ ₅ (Φ ₅ = {φ ₅₁ , φ _52, φ ₅₃ } ) And is determined based on. As described above, these indicate the upper limit value and the lower limit value of the supply load for each device n. For example, φ ₄₁ indicates the value of “a variable indicating the lower limit of the supply load of the device 1” L1Min, and φ ₅₁ indicates the value of “a variable indicating the upper limit of the supply load of the device 1” L1Max. As described above, L1Min = “0” and L1Max = “125” are obtained. Similarly, for the device 2, L2Min = “0” and L2Max = “175” are obtained as described above. Regarding the device 3, L3Min = “0” and L3Max = “212” are obtained as described above.

  Accordingly, as shown in FIG. 54, the range of the value of the vertical axis L1 of the graph relating to the device 1 is “0” to 125. In the illustrated example, L1Min = “0” and L1Max = “125” are displayed above the graph. For the other devices 2 and 3, the illustrated graph display and the like are performed in the same manner. It can be said that these display the lower limit and the upper limit of the area where the supply load of each device can be executed.

  In the display example of FIG. 54, for example, from the graph displaying the executable region of the refrigerator 3, when the total load L is about 300 or more, the refrigerator 3 performs the execution corresponding to L3 = '0'. It can be seen that the refrigerator 3 cannot be stopped because there is no more possible area. Each executable area is indicated by hatching.

In addition, the refrigerator 3 has an executable area in both areas L3 = 0 and L3 ≠ 0 as long as the total load L is in the range of about 120 to 300. .
Further, it can be seen that when the total load L is about 120 or less, the refrigerator 3 has no executable region in the region of L3 ≠ 0, and therefore the refrigerator 3 must be stopped.

The user operates the slider 41 and the determination button 42 while grasping such a situation based on the graph display, and inputs a desired total load value (L value).
For example, in the example of FIG. 55, the user operates the slider 41 to move it to the position of L = 270. Accordingly, on all the graphs, the straight line (straight line indicating the current total load value) is displayed at a position of L = 270 as shown in the figure. In this case, when the total load value L is 270, the user can grasp that the operation can be performed in any of the devices 1, 2, 3. If the user operates the determination button 42 in this state, the value of the total load L is determined to be “270”.

In this way, the user can input the value of the total load L after grasping the conditions for operating / suspending the device.
The straight line in the graph moves to a position (L = 270) indicating the total load value in conjunction with the movement of the slider 41.

The processing in step S57 (the processing in steps S22 to S29 in FIG. 12) and the processing in steps S58 and S59 have been illustrated and described according to the above specific example.
Hereinafter, the processing in step S60 and the like will be described.

  When the value of the total load L (= 270) is determined as described above, the total power consumption range calculation function unit 14 executes the process of step S60 (steps S41 to S44 in FIG. 22).

  First, as described above, in step S41, the model formula F1, the device model formula F2, the external condition formula F3, and the total load value L (= 27) are obtained. In the process of step S41 after the second time, the determined supply load values of all the devices whose supply loads have been determined so far are acquired.

Then, the “first-order predicate logical expression group relating to the executable region of the total power consumption P and the supply load Lm of each device” Ψ ₆ is generated by the process of step S42. This is for each instrument r of the undecided ((r∈S1), and generates a first-order logic formulas [psi _6r described above with reference to FIG 23.

That is, the system model formula F1, the device model formula F2, the external condition formula F3, and the equation for the total load (L = 270) are combined by a logical product (∧). For each device, the first-order predicate logical expression ψ _6r is generated by assigning a quantifier ∃ to all the variables excluding “a variable representing the supply load of the device and total power consumption P”.

In the case of the above specific example, all devices 1, 2, and 3 are initially targeted, and the first-order predicate logical expression group Ψ ₆ (Ψ ₆ = {ψ ₆₁ , ψ ₆₂ , ψ ₆₃ }) shown in FIG. 56 as an example. ) Will be generated. Here, if the device 1 is representatively shown, the first-order predicate logical expression ψ ₆₁ is as follows as shown in FIG.

ψ ₆₁ : = ∃L∃P1∃P2∃P3∃L2∃L3∃T (L = 270∧F1∧F2∧F3)
In the case of the above specific example, the above (L = 270 ＝ F1∧F2∧F3) is as follows, as shown in FIG.

As described above, by the processing in step S43, [Phi ₆ "equation group represents the feasible region of the offered load of the total power consumption P and the devices" above the (group of the formula φ _{6r (r∈S1))} For example, it is generated as described in FIG. In the case of this specific example, first, using the first-order predicate logical expressions {ψ ₆₁ , ψ ₆₂ , ψ ₆₃ }, respectively, the respective equations (φ ₆₁ , φ ₆₂ , φ ₆₃ ) is generated as shown in FIG.

Here, as a representative example, the device 1 will be described. By executing the above existing limit symbol erasing process on the first-order predicate logical expression {ψ ₆₁ , the “total consumption” shown in FIG. The mathematical expression “φ ₆₁ ” of the executable region of the supply load of the device 1 according to the power P is generated.

  When the output process of step S44 is performed, the load distribution determination function unit 15 displays the total power consumption range display screen V03 on the display unit 21 as described above. Specific examples of the display screen V03, operation examples on the screen, and display content update corresponding thereto have already been described with reference to FIGS. 26 to 28. However, screen examples and the like are further illustrated and described herein. .

  First, FIG. 58 shows an example of the total power consumption range display screen V03 displayed by the process of step S61 based on the process result of the first step S60 (steps S41 to S44 in FIG. 22).

  The screen example shown in FIG. 58 is substantially the same as FIG. 26, except that N graphs (P-Ln graphs) from device 1 to device N are displayed in FIG. In the screen of FIG. 58 corresponding to the specific example, three graphs corresponding to the refrigerators 1, 2, and 3 are displayed. This includes the areas where the total power consumption and the supply load of each device can be executed, including the operation / pause of each device 1, 2 and 3, and are displayed as a graph.

  In addition, the value of the total load L set by the user is reflected in the display content (shaded portion) in FIG. For example, when L = 150 is set, in the example shown in FIG. 54, the device 1 has nothing but “pause”, but the P-Ln graph of the device 1 in this case is different from the example in FIG. , Only the region (hatched line) corresponding to L1 = 0 is displayed.

  The screen V03 shown in FIG. 58 is not further described here, but as described in FIG. 26, in addition to the above graphs, each button group (select button 52, enter button 53, operation stop button 54). ), The slider 51 is displayed.

  Further, from the graph of the refrigerator 1, that is, the graph displaying the executable region of the load supply of the refrigerator 1, for example, there is an executable region (hatched region) for L1 = “0”. It can be seen that the refrigerator 1 may be stopped.

Thus, here, it is assumed that the user determines that the refrigerator 1 is in a rest state with reference to such a graph display.
In this case, as a specific example, first, as shown in FIG. 59, the user operates a selection button 52 corresponding to the refrigerator 1. Thereby, it will be in the state which can input the setting regarding the refrigerator 1. FIG.

  Subsequently, as shown in FIG. 60, the user operates the operation stop button 54 in the button group related to the refrigerator 1 to set the content to the stop state. The operation stop button 54 switches between “operation” and “pause” each time it is clicked. “ON” is displayed on the button when it is “operated”, and “ON” is displayed on the button when it is “pause”. OFF "is displayed. Thus, “pause” is designated in the state shown in FIG. Further, when “OFF” is displayed on the operation stop button 54, the straight line in the graph indicating the value of the supply load of the refrigerator 1 is also moved to the position of “0” as illustrated.

  When the user operates the determination button 53 in this state, “pause” is designated for the refrigerator 1. In addition, when the refrigerator 1 is put into a resting state, the supply load (thermal load) of the refrigerator 1 becomes “0”. In this specific example, the load is a thermal load.

  Note that the user operation is realized by, for example, the processes in steps S62 to S65 described above, and the subsequent determination in step S66 is YES. Therefore, the process returns to step S60, and steps S41 to S44 in FIG. 22 are executed again. .

  In the specific example, the condition that the refrigerator 1 is “pause” is acquired in step S41, and the process of steps S42 and S43 is executed in addition to this condition. Thus, this time, the “total power consumption P and the executable area of the supply load of the refrigerator 2 and the refrigerator 3” when the refrigerator 1 is stopped is recalculated. Specific examples of this recalculation process (second process) are shown in FIGS. 61 and 62.

FIG. 61 shows the processing result of step S42 in the second processing.
Here, if FIG. 61 is compared with FIG. 56 showing the processing result of the first step S42, first-order predicate logical expression ψ ₆₁ related to the device 1 is not generated in the second processing. . This is because, as described above, the generation target is only a device whose supply load is undetermined.

Furthermore, in the various conditions coupled by the logical product (∧), not only the equation relating to the total load (L = 270) but also the equation L1 = 0 relating to the supply load of the refrigerator 1 is added. That is, in the case of FIG. 56 (L = 270∧F1∧F2∧F3), as shown in FIG. 61, (L = 270∧L1 = 0∧F1∧F2∧F3) It has become. Except for these differences, the first order predicate logical expression group Ψ ₆ (Ψ ₆ = {ψ ₆₂ , ψ ₆₃ }) shown in FIG. 61 is generated in substantially the same manner as in FIG. Here, if the device 2 is representatively shown, the first-order predicate logical expression ψ ₆₂ is as follows, as shown in FIG.

ψ ₆₂ : = ∃L∃P1∃P2∃P3∃L1∃L3∃T (L = 270∧L1 = 0∧F1∧F2∧F3)
Subsequently, when the process of step S43 is executed, the result of the second process is as shown in FIG. If FIG. 62 is compared with the first processing shown in FIG. 57, the mathematical formula φ ₆₁ corresponding to the device 1 is not generated. That is, using the first-order predicate logical expressions {ψ ₆₂ , ψ ₆₃ } shown in FIG. 61, the equations (φ ₆₂ , φ ₆₃ ) corresponding to the devices 2 and 3 are as shown in FIG. Will be generated.

Here, if they exhibit a formula phi ₆₂ corresponding to the device 2 as a representative, it will be as follows, as shown in FIG. 62.

In this way, in the second process, the determined supply load, that is, the supply load (= 0) of the device 1 is taken into consideration, and the “executable area of the supply load of each device 2 and 3 according to the total power consumption P” The mathematical expression group “Φ ₆ (Φ ₆ = {φ _62, φ ₆₃ })” is generated.

In step S44, the above processing result is output, and the total power consumption range display screen V03 corresponding to this is generated by the load distribution determination function unit 15.
FIG. 63 shows a specific example of the total power consumption range display screen V03 according to the second processing result.

  The display content of the total power consumption range display screen V03 is updated from the display based on the first processing result shown in FIGS. 58 to 60 to the display based on the second processing result shown in FIG. Become.

In FIG. 63, first, the content of the graph corresponding to the refrigerator 1 is not updated. This, as described above, supply the load L1 of the device 1 is already a determined, I following, formulas phi ₆₁ corresponding to the device 1 is because not regenerated.

On the other hand, the display of each graph corresponding to the refrigerators 2 and 3 is updated to the display contents based on the respective formulas {φ _62, φ ₆₃ } regenerated in the second process. In other words, the executable area (shaded portion) of the supply load of each of the refrigerator 2 and the refrigerator 3 is updated to an executable area when the refrigerator 1 is stopped.

  Then, when the user pauses the refrigerator 1 by referring to the display content of FIG. 63, for example, the power consumption L3 of the refrigerator 3 can be most reduced in the leftmost graph of the graph. It can be seen that the value is set to (L3 = 122).

Thus, here, it is assumed that the user sets the supply load L3 of the refrigerator 3 to “122” this time.
In this example, the user first operates the selection button 52 in the button group for the refrigerator 3 as shown in FIG. As a result, the setting relating to the refrigerator 3 can be input.

  Subsequently, as shown in FIG. 65, the user operates the operation stop button 54 in the button group corresponding to the refrigerator 3 to switch to the “operation” (ON display) state. When “operation” is set, the slider 51-3 for the refrigerator 3 can be moved to adjust the supply load L3 of the refrigerator 3.

  Accordingly, the user arbitrarily operates the slider 51-3 to move the supply load L3 of the refrigerator 3 to the position “122” as shown in FIG. 66, for example. At this time, the position of the straight line on the graph of the refrigerator 3, that is, the straight line indicating the current set value of the supply load L 3 of the refrigerator 3 is linked to the movement of the slider 51-3 as shown in FIG. = It has moved to the position of '122'.

For example, when the user operates the determination button 53 while confirming such a display, the refrigerator 3 is “operating” and the supply load L3 = “122” is set.
From this, it is set that the refrigerator 1 is “pause” (supply load L1 = “0”) and the refrigerator 3 is set to supply load L3 = “122” so far. Then, the process returns to step S60 again, and the third process of step S60 reflecting these setting contents is executed.

In the example shown in FIG. 66, the user can set the supply load value L3 of the refrigerator 3 so that the total power consumption P is reduced by referring to the graph display.
From the above, in the third processing of step S60, “total power consumption P and refrigerator 2 under the condition that the state of the refrigerator 1 is“ pause ”and the supply load L3 of the refrigerator 3 is“ 122 ”. The feasible region of the supply load l2 "is recalculated. Specific examples of this recalculation process (third process) are shown in FIGS. 67 and 68. FIG.

FIG. 67 shows the processing result of step S42 in the third processing.
Here, if FIG. 67 is described in comparison with FIG. 56 showing the processing result of the first step S42, first-order predicate logical expression ψ ₆₁ related to the device 1 and first-order predicate logical expression related to the device 3 will be described. ψ ₆₃ is not generated in the third process. This is because, as described above, the generation target is only a device whose supply load is undetermined.

Furthermore, among the various conditions coupled by logical product (∧), not only the equation for the total load (L = 270) but also the equation L1 = 0 for the supply load of the refrigerator 1 and the supply load of the refrigerator 3 The equation for L3 = 122 is added. That is, in the case of FIG. 56, (L = 270∧F1∧F2∧F3), but in the case of FIG. 67, (L = 270∧L1 = 0∧L3 = 122∧F1∧F2) as illustrated. ∧F3). Except for this difference, the first order predicate logical expression group Ψ ₆ (Ψ ₆ = {ψ ₆₂ }) shown in FIG. 67 is generated in substantially the same manner as in FIG.

The first-order predicate logical expression ψ ₆₂ is as follows, as shown in FIG.
ψ ₆₂ : = ∃L∃P1∃P2∃P3∃L1∃L3∃T (L = 270∧L1 = 0∧L3 = 122∧F1∧F2∧F3)
Subsequently, when the process of step S43 is executed, the result of the third process is as shown in FIG. If FIG. 68 is compared with the first process shown in FIG. 57, the mathematical expression φ ₆₁ corresponding to the device 1 and the mathematical expression φ ₆₃ corresponding to the device 3 are not generated. That is, using the first-order predicate logical expression ψ ₆₂ shown in FIG. 67, a mathematical expression φ ₆₂ (power consumption range logical expression) corresponding to the device 2 is generated as shown in FIG. .

In this manner, the “range of values that the supply load L2 of the refrigerator 2 and the total power consumption P can take” under the conditions in which the supply loads of the refrigerator 1 and the refrigerator 3 are already determined is calculated. It will be.
In step S44, the above processing result is output, and the total power consumption range display screen V03 corresponding to this is generated by the load distribution determination function unit 15.

FIG. 69 shows a specific example of the total power consumption range display screen V03 according to such a third processing result.
The display content of the total power consumption range display screen V03 is updated from the display based on the second processing result shown in FIG. 63 and the like to the display based on the third processing result shown in FIG. 69 and the like.

In FIG. 69, first, the contents of each graph corresponding to the refrigerator 1 and the refrigerator 3 are not updated. This is because, as described above, the supply load L1 of the device 1 and the supply load L3 of the device 3 have already been determined, and thus the mathematical formulas φ ₆₁ and φ ₆₃ corresponding to the devices 1 and 3 are not generated. Because.

On the other hand, the display content of the graph corresponding to the refrigerator 2 will be updated to the display content based on the equation phi ₆₂ which is again and again produced by the third process. That is, the executable region (shaded portion) of the supply load of the refrigerator 2 is updated to the executable region when the refrigerator 1 is stopped and the supply load of the refrigerator 3 is “122”. It is what has been.

  In the example shown in FIG. 69, the executable region (shaded portion) of the refrigerator 2 is the supply load L2 = 148. That is, it can be seen from this display that when the refrigerator 1 is stopped and the supply load of the refrigerator 3 is 122, the refrigerator 2 must supply 148 load. Regarding the executable region (shaded area) of the refrigerator 2, the total power consumption P has a range (approximately 43 to 51) because the outdoor temperature range condition (25 <= T <= 35). This is because it is reflected. <= Means ≦.

Thus, in this example, the user sets the supply load L2 = '148'.
That is, the user first operates the selection button 52 in the button group for the refrigerator 2 as shown in FIG. Thereby, it will be in the state which can input the setting regarding the refrigerator 2. FIG.

  Subsequently, as shown in FIG. 71, the user operates the operation stop button 54 in the button group corresponding to the refrigerator 2 to switch to the “operation” (ON display) state. When “operation” is set, the slider 51-2 for the refrigerator 2 is moved to adjust the supply load L2 of the refrigerator 2.

  Thus, the user arbitrarily operates the slider 51-2 to move the supply load L2 of the refrigerator 2 to the position of “148” as shown in FIG. 72, for example. At this time, the position of the straight line on the graph of the refrigerator 2, that is, the straight line indicating the current set value of the supply load L 2 of the refrigerator 2 is linked to the movement of the slider 51-2 as shown in the figure. = It has moved to the position of “148”.

For example, when the user operates the determination button 53 while confirming such a display, the refrigerator 2 is “operating” and the supply load L2 = “148” is set.
Through the above processing and user operations, supply loads for all devices are set. That is, the refrigerator 1 is set to “pause” (supply load L1 = “0”), the refrigerator 2 is set to supply load L2 = “148”, and the refrigerator 3 is set to supply load L3 = “122”. .

  FIG. 73 shows an example of “total power consumption range information for operation suspension and load distribution” output by the load distribution determination function unit 15 in the process of step S67 according to the specific example described above.

In this example, first, the supply load of each device set and input by the user is output as follows.
{L1, L2, L3} = {0,148,122}
It can be said that this indicates the load distribution of each device with respect to the total load L = 270.

Further, the following total power consumption range is output based on “final formula group representing the last calculated total power consumption and the executable region of the supply load of each device” Φ ₆ shown in FIG.
1007933/10000 <= P <= 1322863/10000
The total power consumption range “1007933/10000 <= P <= 1322863/10000” is obtained when the total load is 270, the refrigerator 1 is stopped, and the supply load L3 of the refrigerator 3 is set to “122”. The outside air temperature is in the range of 25 <= T <= 35, and represents the range in which the total power consumption is minimized. However, what is output here represents the range of the total power consumption according to the outside air temperature range (25 <= T <= 35) according to the load distribution originally determined for all devices. In the case of this example, since the load distribution of the refrigerator 2 is determined to be 148 at the time when the load distribution is determined for the refrigerators 1 and 3, the above-described processing is performed. However, the present invention is not limited to this example.

  The above description and drawings show examples, and the present invention is not limited to these examples. For example, in the above-described example, the outside air temperature is described as an example of the outside air condition that affects the load characteristics of the device. However, the present invention is not limited to this example. For example, other outside air conditions such as humidity and amount of sunlight may be used. Further, for example, there may be a plurality of elements as the outside air conditions such as outside air temperature and humidity.

Finally, FIG. 74 shows a hardware configuration diagram of the load distribution determination support apparatus 10 of the present example.
The load distribution determination support device 10 is realized on, for example, a general general-purpose computer (personal computer, server device). FIG. 74 shows a general configuration example of such a computer, but is not limited to this example.

  74 includes, for example, a CPU (Central Processing Unit) 71, a memory 72, an input unit 73, an output unit 74, a storage unit 75, a recording medium drive unit 76, a network connection unit 77, and the like. Is connected to the common bus 78. The input unit 73 is, for example, a keyboard, a mouse, a touch panel, or the like. The output unit 74 is, for example, a display device (liquid crystal display or the like).

  The storage unit 75 is, for example, a hard disk device or a nonvolatile memory. A predetermined application program is stored in the storage unit 75 in advance. When the CPU 71 executes this application program, for example, the formula group generation function unit 11, the total load limit calculation function unit 12, each device load range calculation function unit 13, the total power consumption range calculation function unit 14, and load distribution Processing of various processing function units such as the determination function unit 15 is realized.

  The application program may be stored in the portable recording medium 79. The CPU 71 reads an application program stored in the portable recording medium 79 via the recording medium driving unit 76. The portable recording medium 79 is, for example, a floppy disk 79a, a CD-ROM 79b, or a memory card (not shown), but is not limited to these examples.

  According to the load distribution determination support apparatus 10 of the present example, the user can change the total power consumption of the system in consideration of the change range of the outside air condition and the operation / pause of each device for any system including a plurality of devices. The load distribution of each device can be determined while grasping the range. This is because the P-Ln graph display is performed based on each of the above mathematical formulas φ (power consumption range logical formula), so that the user can grasp the above.

  As described above, the P-Ln graph is a region where the power consumption range logical expression is established in an orthogonal coordinate system in which the supply load Ln of an arbitrary device n is the horizontal axis and the total power consumption P of the system is the vertical axis. Is generated by plotting. As described above, the first-order predicate logical expression that is the generation source of the power consumption range logical expression includes various conditions including the change range of the outside air condition and the operation / pause of the device. In this way, the conditions for satisfying the power consumption range logical expression can be visualized.

  The input data for displaying the P-Ln graph includes the total load value of the entire system. According to the load distribution determination support device 10 of the present example, it is also possible to support the user to determine and set an appropriate total load value. As described above, the total load that can be supplied by the entire system has a range, and there is a total load that cannot be supplied regardless of how the device is operated. According to the load distribution determination support apparatus 10 of the present example, it is possible to prevent at least such a situation that the user determines and sets such a total load that cannot be supplied.

  Also, as described above, when operating the system, there are cases where it is desired to suspend the device for maintenance or repair. However, in order to supply a specific total load, there are devices that must operate, devices that must be stopped, and devices that can be stopped. It is necessary to decide. Regarding such determination of the total load value, according to the load distribution determination support device 10 of the present example, it is possible to support the user so that an appropriate total load value can be determined.

  Further, when operating the system, it is desirable to perform load distribution that saves cost even when a specific device is suspended. According to the load distribution determination support apparatus 10 of the present example, even when a specific device is suspended, it is possible to support load distribution that is cost-saving.

According to the present invention,
-The invention of the prior application can be applied to facilities that are in operation and out of service. Since the prior application does not consider the suspension, the minimum value of the load is the lower limit of the device during operation of the device. On the other hand, in the present invention, since load distribution can be determined including a pause, the energy saving effect is further enhanced.

-It is possible to assist the user in appropriately determining the range of the total load.
-It is possible to assist the user in appropriately determining the value of the total load. For example, the user looks at a graph display showing the range of values that each supply load (L1, L2,..., LN) can take with respect to the total load L. It can be expected that an appropriate total load value is set.

-When deciding whether to operate / suspend any device, it is possible to decide based on the operation / suspend of other devices.
Such effects as described above can be obtained.

Finally, the meanings of variables and symbols in the equations shown in the above description and drawings will be listed below.
・ F1; System model formula ・ F2; Equipment model formula ・ F3; External condition formula ・ F4; Total load range formula ・ f11; Total power consumption formula ・ f12; Total load formula ・ f21n; Formula: f22n; Formula for power consumption when the device n is in the sleep state: f3i: Formula for the i-th external condition L: Variable representing the total load lMin ': Minimum value of the total load input by the user lMax'; User The maximum number of total loads that can be input • n; number of devices • N; number of devices • i; number of external conditions • I; number of external conditions • ψ ₁₁ ; first-order predicate formula for executable area of total load · Ln; equipment n variables, Pn represents the supply load; equipment variables · P represents the power consumption of n; variable-representing the total power consumption T; variable-phi ₁₁ represents the external condition (outside air temperature in the example); total Load can be executed The variable L of phi _11; Equation · phi ₁₁ 'representing the lower limit of the total load; first-order logic formulas · phi ₁₂ relating the lower limit of the total load; variable · [psi ₁₂ representing the lower limit of the total load; formula · LMin representing the region equation · phi ₁₁ represents the upper limit of the total load ''; first-order logic formulas · phi ₁₃ of the upper limit of the total load; variable · [psi ₁₃ representing the upper limit of the total load; formula · LMax was replaced with variable Min phi ₁₁ of Formula obtained by replacing variable L with variable Max: Ψ ₂ ; first-order predicate logical expression group related to total load and supply load of each apparatus • ψ _2n ; first-order predicate logical expression related to total load and supply load of apparatus n • Φ ₂ ; Formula group of feasible area of total load and supply load of each device • φ _2n ; Formula of feasible region of total load and supply load of device n • Ψ ₃ ; First-order predicate logical expression regarding the range of supply load of each device group · [psi _3n; first floor to the scope of supply load equipment n predicate logic formulas · [Phi ₃ Equation group · phi _3n represent a range of offered load of each device; equipment n; · first-order logic formulas group regarding the lower limit of the supply load of each device [psi _4n; equipment n Equation · [psi ₄ representing a range of offered load of First-order predicate logical expression regarding the lower limit of the supply load ・ LnMin; Variable representing the lower limit of the supply load of the device n ・ Φ ₄ ; Formula group expressing the lower limit of the supply load of each device ・ φ _4n ; of the upper limit of the supply load equipment _n; φ _3n;; variable equation · [psi ₅ Ln is replaced by a variable LnMin; first-order logic formulas group · [psi _5n of the upper limit of the supply load of each device formulas · phi _'3n representing First-order predicate logical expression • LnMax; Variable representing the upper limit of the supply load of the device n • Φ ₅ ; Formula group representing the upper limit of the supply load of each device • φ _5n ; Formula representing the upper limit of the supply load of the device n • φ ′ the variable Ln; _'3n; φ _3n Formula replaced with the number LnMax ・ Lm; Variable representing the supply load of the device m (mεS2) ・ l; Total load value ・ lm: Value of the supply load of the device m (mεS2) ・ S1; Set of device numbers for which the load has not been determined. S2; Set of device numbers for which the operation suspension and supply load have been determined. • Ψ ₆ ; First-order predicate logic regarding the total power consumption and the executable area of the supply load of each device Formula group • ψ _6r ; first-order predicate logical expression regarding total power consumption and supply load of device r • r; device number (rεS1)
Φ ₆ ; Formula group representing the total power consumption and the executable region of the supply load of each device • φ _6r ; Formula of the total power consumption and the executable region of the supply load of the device r n is n = 1 in the specific example , 2,3:

DESCRIPTION OF SYMBOLS 10 Load distribution determination support apparatus 11 Formula group generation | occurrence | production function part 12 Total load limit calculation function part 13 Each apparatus load range calculation function part 14 Total power consumption range calculation function part 15 Load distribution determination function part 16 Input data storage part 17 "Generation data And retained data storage unit "
21 Display unit 22 Keyboard 23 Pointing device 41 Slider 42 Enter button 51 Slider 52 Select button 53 Enter button 54 Operation stop button 70 Computer 71 CPU (Central processing unit)
72 Memory 73 Input unit 74 Output unit 75 Storage unit 76 Recording medium drive unit 77 Network connection unit 78 Common bus 79 Portable storage medium

Claims (18)

A load distribution determination support device for supporting determination of load distribution for each device when controlling operation of a system including a plurality of devices,
The behavior of the system is expressed based on a system model representing the configuration of the system, a device model indicating a relationship between a supply load and power consumption corresponding to an outside air condition for each device, and a change range of the outside air condition. Formula group generating means for generating a first formula group that is a formula group
Based on the arbitrarily set total load value and the first mathematical expression group, a second mathematical expression group indicating an executable region of the supply load including operation / suspension of each device according to total power consumption A total power consumption range calculation means to be generated;
Based on the second formula group, a first screen that displays an executable area of the supply load for each device according to the total power consumption is generated and displayed, and an arbitrary device is displayed on the first screen. First screen control means for setting a supply load value;
A load distribution determination support apparatus characterized by comprising: The total power consumption range calculation means, every time the supply load value is set, in addition to the set total load value and the first formula group, all the supply load values that have been set so far Based on the second formula group,
The first screen control means regenerates and displays the first screen based on the second mathematical formula group each time the second mathematical formula group is regenerated, and on the first screen, The load distribution determination support apparatus according to claim 1, wherein a supply load value of an undetermined device is determined. The total power consumption range calculation means includes:
With respect to a mathematical formula C obtained by combining a mathematical formula A obtained by combining the mathematical formulas constituting the first mathematical formula group by logical product and a mathematical formula B corresponding to the arbitrarily set total load value by logical product, For each device whose supply load has not been determined, generate a first-order predicate logical expression in which existence variables are added to all variables except the variable indicating the supply load of the device and the variable indicating the total power consumption,
3. The load distribution determination support apparatus according to claim 1, wherein the second mathematical expression group is generated by executing a quantifier elimination process for each of the generated first-order predicate logical expressions.   The load distribution determination support apparatus according to claim 1 or 2, wherein the device model includes a mathematical expression representing an operating time of each of the devices and a mathematical expression representing a rest time.   Further comprising total load value setting support means for generating and displaying various screens for supporting determination of the total load value based on the first mathematical formula group, and setting and inputting the total load value; The load distribution determination support apparatus according to claim 1 or 2, characterized by the above. The total load value setting support means includes:
A total load limit calculating means for generating a third mathematical formula group indicating a feasible region of the total load that can be supplied by the entire system based on the first mathematical formula group;
Based on the third mathematical formula group, a second screen that displays an executable area of the total load that can be supplied by the entire system is generated and displayed, and an arbitrary range of the total load is displayed on the second screen. Second screen control means for designating,
The load distribution determination support apparatus according to claim 5, comprising: The total load value setting support means further includes:
Based on the designated total load range and the first mathematical expression group, a fourth mathematical expression group indicating an executable region of the supply load including operation / pause of each device according to the total load is generated. Each device load range calculation means,
Generate and display a third screen that displays a feasible area of the supply load for each device according to the total load based on the fourth mathematical formula group, and an arbitrary total load value on the third screen Third screen control means for setting
The load distribution determination support apparatus according to claim 6, comprising:   The load distribution determination support apparatus according to claim 1 or 2, wherein the device is a heat source device, the system is an air conditioning system, and the load is a heat load. A load distribution determination support device for supporting determination of load distribution for each device when controlling operation of a system including a plurality of devices,
The behavior of the system is expressed based on a system model representing the configuration of the system, a device model indicating a relationship between a supply load and power consumption corresponding to an outside air condition for each device, and a change range of the outside air condition. Formula group generating means for generating a first formula group that is a formula group
A total load limit calculating means for generating a third mathematical formula group indicating a feasible region of the total load that can be supplied by the entire system based on the first mathematical formula group;
Based on the third mathematical formula group, a second screen that displays an executable area of the total load that can be supplied by the entire system is generated and displayed, and an arbitrary range of the total load is displayed on the second screen. Second screen control means for designating,
A load distribution determination support apparatus characterized by comprising: Based on the designated total load range and the first mathematical expression group, a fourth mathematical expression group indicating an executable region of the supply load including operation / pause of each device according to the total load is generated. Each device load range calculation means,
Generate and display a third screen that displays a feasible area of the supply load for each device according to the total load based on the fourth mathematical formula group, and an arbitrary total load value on the third screen Third screen control means for setting
The load distribution determination support apparatus according to claim 9, further comprising: The total load limit calculation means includes:
The total load executable region, which is obtained by adding existence symbols to all the variables except for the variable representing the total load with respect to the formula A formed by combining the formulas constituting the first formula group by logical product. A first-order predicate formula for
10. The load distribution determination support apparatus according to claim 9, wherein a part of the third mathematical expression group is generated by executing a quantifier elimination process for each generated first-order predicate logical expression. .   The load distribution determination support apparatus according to claim 11, wherein the device model includes a mathematical expression representing an operating time of each of the devices and a mathematical expression representing a rest time. Each device load range calculation means,
A variable representing the supply load of the device corresponding to each device with respect to the equation A ′ formed by combining each equation constituting the first equation group and the equation representing the range of the total load by a logical product. And a first-order predicate formula group related to the total load and the supply load of each device, which is created by adding existence symbols to all variables except the variable representing the total load,
11. A part of the fourth mathematical expression group is generated by executing a quantifier elimination process for each first-order predicate logical expression in the generated first-order predicate logical expression group. The load distribution determination support apparatus described.   14. The load distribution determination support apparatus according to claim 13, wherein the device model includes a mathematical expression representing an operating time of each of the devices and a mathematical expression representing a rest time. A computer of a load distribution determination support device that supports determination of load distribution for each device when controlling operation of a system including a plurality of devices,
The behavior of the system is expressed based on a system model representing the configuration of the system, a device model indicating a relationship between a supply load and power consumption corresponding to an outside air condition for each device, and a change range of the outside air condition. Formula group generating means for generating a first formula group that is a formula group
Based on the arbitrarily set total load value and the first mathematical expression group, a second mathematical expression group indicating an executable region of the supply load including operation / suspension of each device according to total power consumption A total power consumption range calculation means to be generated;
Based on the second formula group, a first screen that displays an executable area of the supply load for each device according to the total power consumption is generated and displayed, and an arbitrary device is displayed on the first screen. First screen control means for setting a supply load value;
Program to function as. A computer of a load distribution determination support device that supports determination of load distribution for each device when controlling operation of a system including a plurality of devices,
The behavior of the system is expressed based on a system model representing the configuration of the system, a device model indicating a relationship between a supply load and power consumption corresponding to an outside air condition for each device, and a change range of the outside air condition. Formula group generating means for generating a first formula group that is a formula group
A total load limit calculating means for generating a third mathematical formula group indicating a feasible region of the total load that can be supplied by the entire system based on the first mathematical formula group;
Based on the third mathematical formula group, a second screen that displays an executable area of the total load that can be supplied by the entire system is generated and displayed, and an arbitrary range of the total load is displayed on the second screen. Second screen control means for designating
Program to function as. A load distribution determination support method for supporting determination of load distribution for each device when controlling operation of a system including a plurality of devices,
The behavior of the system is expressed based on a system model representing the configuration of the system, a device model indicating a relationship between a supply load and power consumption corresponding to an outside air condition for each device, and a change range of the outside air condition. A first mathematical group that is a mathematical group to be
Based on the arbitrarily set total load value and the first mathematical expression group, a second mathematical expression group indicating an executable region of the supply load including operation / suspension of each device according to total power consumption Generate
Based on the second formula group, a first screen that displays an executable area of the supply load for each device according to the total power consumption is generated and displayed, and an arbitrary device is displayed on the first screen. A load distribution determination support method, characterized in that a supply load value is set. A load distribution determination support method for supporting determination of load distribution for each device when controlling operation of a system including a plurality of devices,
The behavior of the system is expressed based on a system model representing the configuration of the system, a device model indicating a relationship between a supply load and power consumption corresponding to an outside air condition for each device, and a change range of the outside air condition. A first mathematical group that is a mathematical group to be
Based on the first formula group, a third formula group indicating a feasible region of the total load that can be supplied by the entire system is generated,
Based on the third mathematical formula group, a second screen that displays an executable area of the total load that can be supplied by the entire system is generated and displayed, and an arbitrary range of the total load is displayed on the second screen. A load distribution determination support method, characterized by having