JP6065167B2 - Energy management support device and energy management support program - Google Patents

Description

  The present invention relates to a technology for supporting analysis of a supply and demand system having a resource supply facility that supplies resources such as electric power and gas and a resource demand facility that consumes resources and consumes energy.

  In recent years, due to environmental problems and fuel costs, attention has been focused on energy saving measures by controlling air conditioning systems such as BEMS (Building Energy Management System) for office buildings.

  In an air conditioning system, it is usual to use a plurality of heat source devices such as refrigerators. Here, the power consumption characteristics of the heat source device may differ depending on the device. In addition, the power consumption characteristics of the heat source devices constituting the air conditioning system may change under the influence of the temperature of the outside air. For this reason, energy saving can be realized by adjusting the heat load distribution for each device when operating the air conditioning system.

  With regard to a method for adjusting the thermal load distribution for each device, conventionally, a method has been developed for determining the optimal thermal load distribution in the mathematically optimized air conditioning system by using the prediction of the outside air temperature.

  However, not only the heat load distribution that is the most energy-saving at the predicted outside air temperature, but also the distribution considering the fluctuation of the outside air temperature, the distribution considering the optimum value of the power consumption of the entire system, It is also beneficial to consider distributions that avoid operating limits.

  Here, in energy management, a technique for obtaining a logical expression representing the relationship between the amount of demand for resources and energy consumption using a quantifier elimination method and visualizing this is known (for example, Non-Patent Document 1). .

  A technique for supporting the operation of the air conditioning system is also known (for example, Non-Patent Document 2). According to this, for air conditioning systems constructed with equipment with different power consumption characteristics, a technology that creates a logical expression that expresses the relationship between the heat load demand and power consumption required by the air-conditioning target space using the quantifier elimination method It has been known. By using the logical expression created in this way, the function to display the fluctuation range of the power consumption corresponding to the fluctuation range of the outside air temperature and the change in the power consumption of the entire system when adjusting the thermal load for each device is realized. The Further, a function of adjusting the balance between the margin from the operation limit and the energy saving effect by GUI (Graphical User Interface) operation is also realized. Therefore, air conditioning system operators can realize thermal load distribution that takes into account the fluctuations in outside air temperature and the optimal power consumption of the entire system, and thermal load distribution that avoids the operating limits of equipment. Become.

Yoshio Tange, Satoshi Kiryu, Tetsuro Matsui, Yoshikazu Fukuyama, “Visualization of energy optimization problem considering supply-demand balance for energy conservation prior study”, IEEJ Transactions C Vol. 134 No. 1 Satoshi Kiryu, Yoshio Tange, Tetsuro Matsui, “Air-conditioning system operation support tool by mathematical expression processing”, 2014 Annual Conference of the Institute of Electrical Engineers of Japan

  As described above, by using a known energy management support technology, it is visualized how much energy can be saved for an air conditioning system. Furthermore, it is desirable that information necessary for a user such as an air conditioning system operator can be extracted from a graph visualizing the relationship between resource demand and energy consumption and presented in an appropriate manner.

  The present invention analyzes a supply and demand system having a resource supply facility that supplies resources and a resource demand facility that demands resources and consumes energy by extracting necessary information for the user and presenting the information in an appropriate manner. The purpose is to provide technology that contributes to

A first aspect of the present invention is an energy management support device that supports analysis of a supply and demand system composed of resource demand equipment and supply equipment,
Receiving an input logical expression representing a relationship between a demand amount of the resource and energy consumed when the resource is supplied, and generating a first first-order predicate logical expression based on the input logical expression A feature calculation unit that generates an output logical expression including a description of a predetermined feature to be represented on a graph representing a relationship between the demand amount of the resource and energy consumption;
An imaging unit that generates an image including a graph representing the predetermined feature based on the output logical expression output by the feature calculation unit;
When a first first-order predicate logical expression is input from the feature calculation unit, a first intermediate logical expression obtained by processing the first first-order predicate logical expression by a quantifier elimination method is generated, A quantifier elimination unit to output to the feature calculation unit;
The feature calculation unit generates the output logical expression based on the first intermediate logical expression.

A second aspect of the present invention is an energy management support program for causing an information processing apparatus to execute an energy management support process that supports analysis of a supply and demand system composed of a resource demand facility and a supply facility,
When receiving an input logical expression representing the relationship between the demand amount of the resource and the energy consumed when supplying the resource, the first first-order predicate logical expression is generated based on the input logical expression. And generating an output logical expression including a description of a predetermined feature to be represented on the graph representing the relationship between the demand amount of the resource and the energy consumption,
-The first intermediate logical expression is generated by processing the first first-order predicate logical expression by the quantifier elimination method,
The output logical expression is generated based on the first intermediate logical expression, and an image including a graph representing the predetermined feature is generated based on the output logical expression.

  According to the present invention, a supply and demand system having a resource supply facility for supplying resources and a resource demand facility for consuming resources by demanding resources by extracting information necessary for the user and presenting the information in an appropriate manner. Contribute to the analysis of

It is a figure explaining the outline | summary of the method of assisting the analysis about the supply-and-demand system comprised from the resource demand equipment and supply equipment by an energy management assistance apparatus. It is a block diagram of an energy management support apparatus. It is a figure which illustrates the supply-and-demand system model which the energy management assistance apparatus which concerns on 1st Embodiment analyzes. It is a figure which illustrates the formula of the power consumption characteristic in 1st Embodiment about the refrigerator which comprises the supply-and-demand system model shown in FIG. 3, and the change range of external temperature. It is a figure explaining the relationship between the external temperature in 1st Embodiment, and the power consumption characteristic of a refrigerator. It is a figure which illustrates the 1st logical formula which showed the relationship between the demand amount of the thermal load in the example, and the power consumption P. It is a figure which shows the graph which visualized the logical expression of FIG. It is a figure explaining the arithmetic processing which a feature calculation part performs in 1st Embodiment. It is a figure explaining the arithmetic processing which a feature calculation part further performs with respect to logical expression (psi) _min1 (L, P, P ') of FIG. It is a figure explaining the arithmetic processing which a quantifier elimination part implements. It is a figure which illustrates the result of having visualized the field _| area which logical formula _Rmin1 (L, P) obtained by limit symbol elimination fills. It is a figure explaining the arithmetic processing which a feature calculation part performs in order to obtain logical expression _Rmin2 (L, P). It is a figure explaining the arithmetic processing which a feature calculation part further performs with respect to logical expression (psi) _min2 (L, P, P ') of FIG. It is a figure explaining the arithmetic processing which a quantifier elimination part implements. It is a figure which illustrates the result of having visualized the field _| area which logical expression _Rmin2 (L, P) obtained by limit symbol elimination fills. It is a figure which shows the result of superimposing the area | region which satisfy | fills two logical expressions obtained by the calculation of the feature calculation part and the limit symbol elimination part in 1st Embodiment. It is a figure explaining the method in which the feature calculation part produces _| generates 2nd logical expression _Rmin (L, P) in 1st Embodiment. It is a figure which illustrates the emphasis display of the lower limit of the power consumption represented on a graph based on 2nd logic formula _Rmin (L, P). It is a figure explaining the arithmetic processing which a feature calculation part performs in 2nd Embodiment. It is a figure explaining the arithmetic processing further performed with respect to logical expression (psi) _max1 (L, P, P ') of FIG. 18 which the feature calculation part produced | generated. It is a figure explaining the arithmetic processing which a quantifier elimination part implements. It is a figure which illustrates the result of having visualized the field _| area which logical expression _Rmax1 (L, P) obtained by limit symbol elimination fills. It is a figure explaining the arithmetic processing which a feature calculation part performs in order to obtain _Rmax2 (L, P). It is a figure explaining the arithmetic processing which a feature calculation part further performs with respect to logical expression (psi) _max2 (L, P, P ') of FIG. It is a figure explaining the arithmetic processing which a quantifier elimination part implements. It is a figure which illustrates the result of having visualized the field _| area which logical expression _Rmax2 (L, P) obtained by limit symbol elimination fills. It is a figure which shows the result of having overlap | superposed the area | region which satisfy | fills two logical expressions obtained by the calculation of the feature calculation part and the quantifier elimination part in 2nd Embodiment. It is a figure explaining the method in which the feature calculation part calculates _| requires 2nd logic formula _Rmax (L, P) in 2nd Embodiment. It is a figure which illustrates the emphasis display of the upper limit of the power consumption represented on a graph by 2nd logic formula _Rmax (L, P). It is a figure which illustrates the type | formula of the change range of the power consumption characteristic and external temperature in 3rd Embodiment about the refrigerator which comprises the supply-and-demand system model shown in FIG. It is a figure explaining the relationship between the external temperature in 3rd Embodiment, and the power consumption characteristic of a refrigerator. It is a figure which illustrates the logical formula which showed the relationship between the demand amount of the thermal load in an example, and power consumption. It is a figure explaining the arithmetic processing which a feature calculation part performs in 3rd Embodiment. It is a figure explaining the arithmetic processing which a feature calculation part further performs with respect to logical expression (psi) _line1 (L, P, P ') of FIG. It is a figure explaining the arithmetic processing which a quantifier elimination part implements. It is a figure explaining the arithmetic processing which a feature calculation part further performs with respect to logical formula _Rline1 (L, P) obtained by limit symbol elimination. It is a figure explaining the arithmetic processing which a feature calculation part further performs with respect to the logical expression (psi) _line (L, L ', P) of FIG. FIG. 38 is a diagram for describing a method by which a feature calculation unit obtains a second logical expression R _line (L, P) from a logical expression obtained by the operation of FIG. 37 in the third embodiment. It is a figure which illustrates the graph produced | generated by visualizing 2nd logical formula _Rline (L, P). It is a figure explaining the arithmetic processing which a feature calculation part performs in 4th Embodiment. It is a figure explaining the arithmetic processing which a feature calculation part further performs with respect to the logical expression (psi) _room1 (L, P, P ') of FIG. It is a figure explaining the arithmetic processing which a quantifier elimination part implements. FIG. ₄₃ is a diagram for describing a method by which a feature calculation unit obtains a second logical expression R _room (L, P) from the logical expression obtained by the operation of FIG. 42 in the fourth embodiment. It is a figure which illustrates the graph produced | generated by visualizing 2nd logical formula _Rroom (L, P). It is a figure which illustrates the supply-and-demand system model which the energy management assistance apparatus which concerns on 5th Embodiment analyzes. It is a figure which illustrates the formula of the power consumption characteristic in 5th Embodiment about the refrigerator which comprises the supply-and-demand system model shown in FIG. 45, and the change range of external temperature. It is a figure explaining the relationship between the external temperature in 5th Embodiment, and the power consumption characteristic of a refrigerator. It is a figure which illustrates the 1st logical formula which showed the relationship between the demand amount of the thermal load in an example, and power consumption. It is a figure which shows the graph which visualized the logic formula ( _psi ) _sys3 (L, P) of FIG. It is a figure explaining the arithmetic processing which a feature calculation part performs in 5th Embodiment. It is a figure explaining the arithmetic processing which a feature calculation part further performs with respect to the logical expression (psi) _effect1 (L, P, P ') of FIG. It is a figure explaining the arithmetic processing which a quantifier elimination part implements. It is a figure explaining the arithmetic processing which a feature calculation part performs in order to obtain logical expression _Reffect2 (L, P). FIG. 54 is a diagram for describing calculation processing further performed by the feature calculation unit on the logical expression ψ _effect2 (L, P, P ′) of FIG. 53. It is a figure explaining the arithmetic processing which a quantifier elimination part implements. Feature calculating section in the fifth embodiment is a diagram illustrating a method of generating a formula _{R effect3} (L, P) representing the lower limit of the first logical expression ψ _sys3 (L, P). FIG. 57 is a diagram for describing calculation processing further performed by the feature calculation unit using the logical expression R _effect3 (L, P) generated in FIG. 56. FIG. 58 is a diagram illustrating a calculation process further performed by the feature calculation unit on the logical expression ψ _effect (L, P, P ′) of FIG. 57. It is a figure explaining the arithmetic processing which a quantifier elimination part implements. It is a figure which illustrates the power consumption which can be reduced displayed on the graph by 2nd logical formula _Reffect (L, P). It is a figure explaining the arithmetic processing which a feature calculation part performs in order to obtain | require the maximum value and minimum value of the demand amount of a thermal load in 6th Embodiment. It is a figure explaining the arithmetic processing which a quantifier elimination part implements. It is a figure explaining the arithmetic processing which a feature calculation part performs further in order to obtain | require the minimum value of the demand amount of a thermal load using logical expression _RL-range (L). It is a figure explaining logical expression ( _psi ) _L-min (L, _Lmin ). FIG. 63 is a diagram for describing arithmetic processing performed by the feature calculation unit to obtain the maximum value of the demand amount of the heat load using the logical expression R _L-range (L) in FIG. 62. It is a figure explaining the arithmetic processing which a feature calculation part performs in order to obtain | require the maximum value and minimum value of power consumption in 6th Embodiment. It is a figure explaining the arithmetic processing which a quantifier elimination part implements. It is a figure explaining the arithmetic processing which a feature calculation part performs in order to obtain | require the minimum value of power consumption using logical formula _RP-range (P). FIG. 68 is a diagram illustrating an arithmetic process performed by a feature calculation unit to obtain a maximum value of power consumption using the logical expression R _P-range (L) in FIG. 67. It is a figure which illustrates the graph which visualized and produced | generated the 1st logical formula using the calculation result. It is a figure which illustrates the power consumption characteristic in 7th Embodiment about the refrigerator which comprises the supply-and-demand system model shown in FIG. It is a figure explaining the relationship between the outside temperature in 7th Embodiment, and the power consumption characteristic of a refrigerator. It is a figure which illustrates the 1st logical formula which showed the relationship between the demand amount of the thermal load in an example, and power consumption. It is a figure which shows the graph which visualized logical expression ( _psi ) _sys4 (L, P). It is a figure which illustrates the graph which visualized two logical expressions in 7th Embodiment.

  Hereinafter, embodiments of the present invention will be described in detail with reference to the drawings.

FIG. 1 is a diagram for explaining an outline of a method for supporting analysis of a supply and demand system composed of resource demand facilities and supply facilities by the energy management support device 1 according to the present invention. As shown in FIG. 1, the energy management support apparatus 1 accepts an input of a logical expression ψ _sys . The energy management support apparatus 1 erases the variable by erasing the quantifier symbol as necessary based on the input logical expression ψ _sys , and visualizes the graph G that visualizes the relationship between the resource demand and the power consumption in the supply and demand system. A containing image 50 is generated. The energy management support apparatus 1 outputs the generated image 50 to a display unit such as a monitor (not shown in FIG. 1).

  The energy management support device 1 in FIG. 1 is used to adjust the heat load distribution for each device in consideration of the power consumption characteristics for each heat source device and the influence of the temperature of the outside air, for example, in the operation of the air conditioning system.

  FIG. 2 is a configuration diagram of an energy management support apparatus according to the present invention. As shown in FIG. 2, the energy management support apparatus 1 according to the present invention includes a feature calculation unit 11, a quantifier elimination unit 12, and an imaging unit 13.

The feature calculation unit 11 is based on the input logical expression (hereinafter, also referred to as a first logical expression) ψ _sys , and includes a logical expression (in the following, including the description of the feature to be represented on the graph G). _Rimage ) (also called the second logical expression) is generated and output. The feature calculation unit 11 inputs the first-order predicate logical expression φ _** to the quantifier elimination unit 12 at least once when generating the second logical expression R _image .

When the first-order predicate logical expression φ _** is input from the feature calculation unit 11, the quantifier elimination unit 12 processes the first-order predicate logical expression by the quantifier elimination method, and features the obtained expression R _** . Output to the calculator 11.

The feature calculation unit 11 generates the second logical expression R _image using the expression R _** input from the quantifier elimination unit 12 and outputs the second logical expression R _image to the imaging unit 13.

The imaging unit 13 generates an image 50 including the graph G using the second logical expression R _image and outputs the generated image 50 to a monitor or the like.

  In the above description, a case in which the functions of all the configurations are provided in one information processing apparatus is illustrated, but the present invention is not limited to this. For example, it is also possible to adopt a configuration in which functions are distributed to a plurality of information processing devices, and the above-described processing is executed by an energy management support system including a plurality of information processing devices.

  Moreover, it is good also as comprising by a program about the whole or one part of each part which comprises the energy management assistance apparatus 1 of FIG. When the configuration of the energy management support apparatus 1 includes a program, for example, a control program for executing the above method is stored in advance in a memory or the like of the information processing apparatus, and this is read by a control unit (not shown in FIG. 2). By performing this, the same actions and effects can be achieved.

As described above, according to the energy management support device 1 according to the present invention, the user needs to refer to the graph G in the image 50 to determine the optimum heat load distribution in the air conditioning system. Information is extracted and presented in a way that is easy for the user to use. Hereinafter, what kind of information is extracted and how it is extracted, how the extracted information is represented on the graph G and presented to the user will be described in detail.
<First Embodiment>
Before describing the configuration and operation of the energy management support apparatus 1 according to the present embodiment, first, the analysis target of the energy management support apparatus 1 according to the present embodiment will be described.

  FIG. 3 is a diagram illustrating a supply and demand system model that is analyzed by the energy management support apparatus 1 according to the present embodiment.

  As shown in FIG. 3, in the supply and demand system model in the present embodiment, four refrigerators 1 to 4 that are heat source devices are provided in order to supply the heat load L [kW] required by the air-conditioning target space in the air conditioning system. I have.

Power supply provides power for P [kW] against four refrigerator 1-4, refrigerator 1-4 consumes _P 1 _~P 4 [kW] from each power source supplied To do. The four refrigerators 1 to 4 supply heat loads of L _{1 to} L ₄ [kW] to the air-conditioning target space, respectively, and the power demand of the air-conditioning target space is L [kW].

  FIG. 4 is a diagram illustrating an example of the expression of the power consumption characteristic and the outside air temperature change range in the present embodiment for the refrigerators 1 to 4 constituting the supply and demand system model shown in FIG. 3.

The power consumption characteristics of the refrigerators 1 to 4 during operation are as shown in the formula group (1-1) in FIG. Here, the thermal load supplied to the air-conditioning target space of the refrigerator i (i = 1, 2, 3, 4) (= demand amount of the thermal load of the air-conditioning target space) L _i [kW], power consumption of the refrigerator i Is P _i [kW], the outside air temperature is T [° C.], and the same applies to the following.

・・・（１−１）

... (1-1)

As shown in the mathematical formula group (1-1), the refrigerators 1 to 4 have different sensitivities to the outside air temperature. From Equation group (1-1), the refrigerator 1 to 3 is a function of the power _P 1 to P ₃ is the outside air temperature T, it can be seen that the power consumption _P 1 to P ₃ depends on the outside air temperature. In the refrigerator 4, the power consumption P ₄ is not a function of the outside air temperature T and does not depend on the outside air temperature.

  The formulas representing the upper and lower limits of the thermal load of the refrigerators 1 to 4 are as shown in the formula group (1-2) in FIG.

・・・（１−２）

... (1-2)

And the power consumption characteristic of the refrigerators 1-4 at the time of a stop is as showing to the numerical formula group (1-3) of FIG. In the following mathematical formula group (1-3), the heat load (the demand amount of the heat load in the air-conditioning target space) L _i supplied to the air-conditioning target space by the refrigerator i using the logical product “∧” as a logical symbol is “ In the case of “0 [kW]”, a logical expression indicates that the power consumption Pi of the refrigerator _i is “0 [kW]”.

・・・（１−３）

... (1-3)

As shown in FIG. 4, the equation representing the change range of the outside air temperature T is
25 ≦ T ≦ 35 (1-4)
It is.

  FIG. 5 is a diagram illustrating the relationship between the outside air temperature T and the power consumption characteristics of the refrigerators 1 to 4 in the present embodiment. FIG. 5A shows the power consumption characteristics of the refrigerators 1 to 4 when the outside air temperature T is 25 [° C.] which is the lower limit, and FIG. That is when it is 35 [° C.].

  In the example shown in FIG. 5, the power consumption characteristics (efficiency) of the refrigerators 3 and 4 are reversed when the outside air temperature is T = 25 ° C. and when T = 35. Thus, in order to determine the optimal heat load distribution of each of the refrigerators 1 to 4, it is desirable to consider not only the power consumption characteristics of each device but also the outside air temperature.

FIG. 6 is a diagram illustrating a first logical expression illustrating the relationship between the demand L of the thermal load and the power consumption P in the above example. For the sake of convenience, the specific contents of the logical expression ψ _sys (L, P) are partly omitted in the following description and FIG. 6, and the drawings referred to in the following description and description will be omitted. The same shall apply.

  The symbol “: =” represents the definition of the formula.

A first-order predicate logical expression is generated based on the mathematical expressions (groups) (1-1) to (1-4) shown in FIG. 4, and the quantifier is deleted from the expression by erasing the quantifier. ψ _sys (L, P) is obtained. The method for obtaining the logical expression ψ _sys (L, P) in FIG. 6 uses a known technique, and thus the description thereof is omitted here.

FIG. 7 is a diagram showing a graph in which the logical expression ψ _sys (L, P) in FIG. 6 is visualized. A gray region A_ψ _sys (L, P) in FIG. 7 is a region satisfying the first logical expression ψ _sys (L, P) in FIG.

In the energy management support apparatus 1 according to the present embodiment, the lower limit of the region A_ψ _sys (L, P) is further set for the graph representing the region satisfying the first logical expression ψ _sys (L, P) in FIG. Highlight. First, in the energy management support apparatus 1, what kind of arithmetic processing is performed on the first logical expression ψ _sys (L, P) to generate a graph in which the lower limit of the power consumption P is highlighted. This will be specifically described.

  FIG. 8 is a diagram illustrating the arithmetic processing performed by the feature calculation unit 11 in the present embodiment.

Upon receiving the input of the first logical expression ψ _sys (L, P) in FIG. 6, the feature calculation unit 11 uses the parameter P ′ to generate the logical expression “P ′ + 1.5 ≦ P” (1-5). Is generated.

The feature calculation unit 11 replaces the power consumption P of the input first logical expression ψ _sys (L, P) with P ′, and logically combines the expression obtained by the replacement with the logical expression (1-5). In combination, the following logical expression ψ _min1 (L, P, P ′) is created. By the logical product of the logical expression (1-5) and the logical expression ψ _sys (L, P ′) obtained by the substitution, the lower limit value of P in the first logical expression is equal to or greater than a predetermined value (1.5 kW in the embodiment). ] Or more) A region having a large value is specified.

  Note that the symbol “==” represents an equivalent expression.

FIG. 9 is a diagram for explaining arithmetic processing that the feature calculation unit 11 further performs on the logical expression ψ _min1 (L, P, P ′) in FIG. 8.

The feature calculation unit 11 assigns an existence symbol “∃” to the parameter P ′ of the logical expression ψ _min1 (L, P, P ′) in FIG. 8 (“∃P ′”, (1-6 in FIG. 9). )), The following first-order predicate logical expression φ _min1 (L, P, P ′) (1-5) is generated.

  FIG. 10 is a diagram for explaining the arithmetic processing performed by the limit symbol erasing unit 12.

When the logical expression φ _min1 (L, P, P ′) of FIG. 9 is input from the feature calculation unit 11 to the limit symbol erasing unit 12, as shown in FIG. 10, the logical expression φ _min1 (L, P, P) )). From the logical expression R _min1 (L, P) obtained in this way, the _parameter P ′ to which the feature calculation unit 11 added the existence symbol “∃” in the arithmetic processing of FIG. 9 is deleted.

・・・（１−７）

... (1-7)

FIG. 11 is a diagram illustrating a result of visualizing a region satisfied by the logical expression R _min1 (L, P) obtained by erasing the _quantifier .

The region A_R _min1 (L, P) is a region having a value larger than a lower limit of the power consumption P of the first logical expression ψ _sys (L, P) by a predetermined value (1.5 [kW] in the embodiment). It corresponds to. In other words, among regions that satisfy the first logical expression ψ _sys (L, P), regions that are less than 1.5 [kW] from the lower limit of the power consumption P, region A_R _min1 ( L, P) are excluded.

The feature calculation unit 11 performs the following calculation based on the input first logical expression ψ _sys (L, P) in FIG. 6 separately from the above calculation process. Then, a logical expression R _min2 (L, P) representing a region that takes a value equal to or higher than the lower limit value of the power consumption P in the first logical expression ψ _sys (L, P) is obtained.

FIG. 12 is a diagram for explaining arithmetic processing performed by the feature calculation unit 11 to obtain the logical expression R _min2 (L, P).

The feature calculation unit 11 generates a logical expression “P ′ ≦ P” (1-8) using the parameter P ′ based on the first logical expression ψ _sys (L, P) of FIG. 6. Similar to the arithmetic processing described with reference to FIG. 8, the feature calculation unit 11 performs a logical product of the generated logical expression and the expression obtained by replacing the parameter P of the first logical expression ψ _sys (L, P) with P ′. Combine to generate a logical expression. A region having a value equal to or higher than the lower limit value of P in the first logical expression is specified by the logical product of the logical expression (1-8) and the logical expression ψ _sys (L, P ′) obtained by the replacement. The logical expression ψ _min2 (L, P, P ′) generated here is as follows.

FIG. 13 is a diagram for explaining arithmetic processing that the feature calculation unit 11 further performs on the logical expression ψ _min2 (L, P, P ′) in FIG. 12. The feature calculation unit 11 performs the same processing as the calculation described with reference to FIG. That is, the feature calculation unit 11 assigns an existence symbol “∃” to the parameter P ′ of the logical expression ψ _min2 (L, P, P ′) in FIG. 12, and the following first-order predicate logical expression φ _min2 (L , P, P ′).

  FIG. 14 is a diagram for explaining the arithmetic processing performed by the limit symbol erasing unit 12.

When the logical expression φ _min2 (L, P, P ′) of FIG. 13 is input from the feature calculation unit 11, the limit symbol erasing unit 12 is input in the same manner as described above with reference to FIG. 10. The quantifier erasure is performed on the logical expression φ _min2 (L, P, P ′). From the logical expression R _min2 (L, P) obtained as a result, the parameter P ′ to which the feature calculation unit 11 has added the existence symbol “∃” in the arithmetic processing of FIG. 13 is deleted.

・・・（１−９）

... (1-9)

FIG. 15 is a diagram illustrating a result of visualizing a region that is satisfied by the logical expression R _min2 (L, P) obtained by erasing the _quantifier . The region A_R _min2 (L, P) corresponds to a region equal to or greater than the lower limit of the first logical expression ψ _sys (L, P).

FIG. 16 shows regions A_R _min1 (L, P) and R _min2 (L, P) that satisfy the two logical expressions R _min1 (L, P) obtained by the operations of the feature calculation unit 11 and the _quantifier elimination unit 12. fill region _{A_R} min2 (L, P) is a diagram showing a result of superimposed.

As described above, according to the logical expression (1-5) in FIG. 8, the region A_R _min1 (L, P) has a lower limit of the power consumption P by 1.5 [kW] than the region A_R _min2 (L, P). large. Using this, the feature calculation unit 11 extracts a region to be emphasized in the graph.

FIG. 17 is a diagram illustrating a method in which the feature calculation unit 11 generates the second logical expression R _min (L, P) in the present embodiment.

As shown in FIG. 17, the feature calculation unit 11 uses the two expressions (1-7) and (1-9) obtained by the above arithmetic processing, that is, the logical expressions R _min1 (L, P) and R _min2 (L , P) and exclusive OR XOR to obtain a logical expression R _min (L, P).

・・・（１−１０）

... (1-10)

In the formula (1-10), it corresponds to the region set to 1.5 [kW] from the lower limit of P of the first logical formula ψ _sys (L, P), that is, the width set in the logical formula (1-5). The area to be extracted has been extracted.

The feature calculation unit 11 outputs the logical expression R _min (L, P) as the second logical expression to the imaging unit 13. The imaging unit 13 generates a graph representing the relationship between the heat load demand L and the power consumption P based on the second logical expression R _min (L, P) input from the feature calculation unit 11.

FIG. 18 is a diagram illustrating highlighting of the lower limit of the power consumption P represented on the graph based on the second logical expression R _min (L, P).

In FIG. 18, together with the second logical expression R _min (L, P) obtained by the energy management support apparatus 1, the first logical expression ψ _sys representing the relationship between the demand L of the thermal load and the power consumption P. (L, P) is shown in graph G1.

The region A_R _min (L, P) satisfying the second logical expression R _min (L, P) obtained by the series of arithmetic processing described above is a predetermined width (1. 5 [kW]), the area A_ψ _sys (L, P) that satisfies the first logical expression is displayed in a different color. The user can easily visually recognize the lower limit of the power consumption P through display means such as a monitor from which the image 50 including the graph G1 in FIG. 18 is output.

  The first logical expression is expressed by parameters L and P. For this reason, as a method of highlighting the lower limit of the power consumption P, for example, a method of plotting and displaying the lower limit on a graph by changing L and obtaining the minimum value of P corresponding to each is also available. Conceivable. However, when an image is generated in such a bitmap format, the lower limit of P cannot be expressed strictly depending on the resolution of the image 50. That is, certain coordinates (L, P) to be highlighted are not necessarily located on the pixels of the image 50. In this case, the pixel closer to the P direction on the pixel is selected and highlighted, and the lower limit cannot be accurately represented on the graph. On the other hand, in the above embodiment, such a situation can be avoided by obtaining a mathematical expression representing an area to be highlighted by enlarging the lower limit by a predetermined range (1.5 [kW] in the embodiment). Yes. Thereby, according to the present embodiment, the lower limit of the power consumption P can be accurately highlighted while ensuring the visibility of the user.

Furthermore, there is a problem that when an area with a graph is enlarged and displayed, when an image is generated in a bitmap format, the image becomes rough. On the other hand, according to the method of highlighting the lower limit of the power consumption P according to the present embodiment, even when a part of the image of FIG. The lower limit of P can be highlighted.
<Second Embodiment>
In the above embodiment, the graph G1 in which the lower limit of the power consumption P is highlighted is generated for the input first logical expression. On the other hand, in the present embodiment, a graph G2 in which the upper limit of the power consumption P is highlighted with respect to the input first logical expression is generated.

  Below, the method to produce | generate the graph G2 which highlighted the upper limit of the power consumption P in a 1st logical formula by the energy management assistance apparatus 1 which concerns on this embodiment is demonstrated.

Also in this embodiment, about the supply-and-demand system model which the energy management assistance apparatus 1 analyzes, its characteristic formula, the change range of external temperature, etc. are as showing in FIGS. Further, the first logical expression ψ _sys (L, P) input to the energy management support apparatus 1 is also as shown in FIG. 6 and FIG. 7, and therefore, description thereof is omitted here.

FIG. 19 is a diagram illustrating the arithmetic processing performed by the feature calculation unit 11 in the present embodiment. Similar to the above embodiment, when the feature calculation unit 11 receives an input of the first logical expression ψ _sys (L, P), the logical expression “P ≦ P′−1.5” using the parameter P ′. "(2-1)" is generated.

The feature calculation unit 11 combines the generated logical expression (2-1) and the expression obtained by replacing the parameter P of the first logical expression ψ _sys (L, P) with P ′ by AND. Due to the logical product of the logical expression (2-1) and the logical expression ψ _sys (L, P ′) obtained by the replacement, the upper limit value of P in the first logical expression is equal to or greater than a predetermined value (1.5 [ kW] or more) A region having a small value is specified.

FIG. 20 is a diagram for explaining a calculation process that the feature calculation unit 11 further performs on the generated logical expression ψ _max1 (L, P, P ′) in FIG. 19. The feature calculation unit 11 assigns an existence symbol “∃” to the parameter P ′ of the logical expression ψ _max1 (L, P, P ′) in FIG. 19, and the following first-order predicate logical expression φ _max1 (L, P , P ′).

  FIG. 21 is a diagram for explaining the arithmetic processing performed by the limit symbol erasing unit 12.

Quantifier elimination unit 12, logical expression phi _max1 of Figure 20 from feature calculation block 11 the (L, P, P') is input, as shown in FIG. 21, the logical expression φ _max1 (L, P, P限定) is executed to delete the quantifier. From the logical expression R _max1 (L, P) obtained as a result, the parameter P ′ to which the feature calculation unit 11 has added the presence symbol “∃” in the arithmetic processing of FIG. 20 is deleted.

・・・（２−２）

... (2-2)

FIG. 22 is a diagram illustrating a result of visualizing a region satisfied by the logical expression R _max1 (L, P) obtained by erasing the _quantifier .

The region A_R _max1 (L, P) is a region that takes a value less than a predetermined value (1.5 [kW] in the embodiment) from the upper limit of the power consumption P of the first logical expression ψ _sys (L, P). It corresponds to. In other words, among the regions that satisfy the first region ψ _sys (L, P), the region that is in the range that is less than 1.5 [kW] from the upper limit of the power consumption P is the region A_R _max1 (L , P).

The feature calculation unit 11 further performs the following calculation based on the input first logical expression ψ _sys (L, P) in FIG. 6. Then, a logical expression R _max2 (L, P) that represents a region that is equal to or lower than the upper limit value of the power consumption P in the first logical expression ψ _sys (L, P) is obtained.

FIG. 23 is a diagram illustrating the arithmetic processing performed by the feature calculation unit 11 to obtain R _max2 (L, P).

The feature calculation unit 11 generates a logical expression “P ≦ P ′” (2-3) using the parameter P ′ based on the first logical expression ψ _sys (L, P) in FIG. 6.

Similar to the above embodiment, the feature calculation unit 11 combines the generated logical expression and the expression obtained by replacing the parameter P with P ′ in the first logical expression ψ _sys (L, P) by logical product. Generate a logical expression. A region having a value equal to or less than the upper limit value of P in the first logical expression is specified by the logical product of the logical expression (2-3) and the logical expression ψsys (L, P ′) obtained by the replacement. The logical expression ψ _max2 (L, P, P ′) generated here is as follows.

FIG. 24 is a diagram for explaining arithmetic processing that the feature calculation unit 11 further performs on the logical expression ψ _max2 (L, P, P ′) in FIG. 23. The feature calculation unit 11 gives an existence symbol “∃” to the parameter P ′ of the logical expression ψ _max2 (L, P, P ′) in FIG. 23, and the following first-order predicate logical expression φ _max2 (L, P , P ′).

  FIG. 25 is a diagram for explaining the arithmetic processing performed by the limit symbol erasing unit 12.

When the logical symbol φ _max2 (L, P, P ′) of FIG. 24 is input from the feature calculator 11 to the limit symbol erasing unit 12, the input logical equation φ _max2 ( L, P, and P ′) are subjected to quantifier elimination. From the logical expression R _max2 (L, P) obtained in this way, the parameter P ′ to which the feature calculation unit 11 added the existence symbol “∃” in the arithmetic processing of FIG. 24 is deleted.

・・・（２−４）

... (2-4)

FIG. 26 is a diagram illustrating a result of visualizing a region satisfied by the logical expression R _max2 (L, P) obtained by erasing the _quantifier . The region A_R _max2 (L, P) corresponds to a region equal to or lower than the upper limit of the first logical expression ψ _sys (L, P).

FIG. 27 shows regions A_R _max1 (L, P) and R _max2 (L, P) satisfying two logical expressions R _max1 (L, P) obtained by the operations of the feature calculation unit 11 and the quantifier elimination unit 12. fill region _{A_R} max2 (L, P) is a diagram showing a result of superimposed.

As described above, according to the logical expression (2-1) in FIG. 19, the region A_R _max1 (L, P) has a lower limit of the power consumption P by 1.5 [kW] than the region A_R _max2 (L, P). small. Using this, the feature calculation unit 11 extracts a region to be emphasized in the graph.

FIG. 28 is a diagram illustrating a method in which the feature calculation unit 11 obtains the second logical expression R _max (L, P) in the present embodiment.

As shown in FIG. 28, the feature calculation unit 11 has two expressions (2-2) and (2-4) obtained by the above arithmetic processing, that is, logical expressions R _max1 (L, P) and R _max2 (L , P) and exclusive OR XOR to obtain the logical expression R _max (L, P).

・・・（２−５）

... (2-5)

In the expression (2-5), an area of 1.5 [kW] from the upper limit of the power consumption P of the first logical expression ψ _sys (L, P), that is, the width set in the logical expression (2-1) A region corresponding to is extracted.

The feature calculation unit 11 outputs the logical expression R _max (L, P) to the imaging unit 13 as the second logical expression. The imaging unit 13 generates a graph representing the relationship between the heat load demand L and the power consumption P based on the second logical expression R _max (L, P) input from the feature calculation unit 11.

FIG. 29 is a diagram illustrating the highlighted display of the upper limit of the power consumption P represented on the graph by the second logical expression R _max (L, P).

In FIG. 29, together with the second logical expression R _max (L, P) obtained by the energy management support apparatus 1, the first logical expression ψ _sys representing the relationship between the demand L of the thermal load and the power consumption P. (L, P) is shown in graph G2.

The region A_R _max (L, P) that satisfies the second logical expression R _max (L, P) obtained by the series of arithmetic processing described above is a predetermined width (1. 5 [kW]), the area A_ψ _sys (L, P) that satisfies the first logical expression is displayed in a different color. The user can easily visually recognize the upper limit of the power consumption P via display means such as a monitor from which the image 50 including the graph G2 in FIG. 29 is output.

  Also according to the present embodiment, the same effects as those of the first embodiment can be obtained. In other words, a mathematical expression that represents a certain width (1.5 [kW] in the embodiment) from the upper limit is obtained by mathematical expression processing, and highlighting is performed based on the mathematical expression, thereby ensuring accurate power consumption while ensuring user visibility. The upper limit of P is highlighted. In addition, it is possible to prevent deterioration in image quality even when the image is enlarged.

As shown in FIG. 7, for example, as shown in FIG. 7, the first logical expression is obtained and the graph G2 is drawn as in the image generation method according to the first embodiment or the present embodiment. When only the logical expression is visualized, it is possible to draw a region that does not appear on the graph G1. This can be easily confirmed, for example, by comparing the region in FIG. 29A with the corresponding portion in FIG.
<Third Embodiment>
In the first and second embodiments described above, an area having a certain width is extracted from the lower limit and the upper limit of the power consumption P in the first logical expression, and the second logical expression representing the area is obtained. Based on this, the lower and upper limits are highlighted. As a result, the user can easily visually confirm a region that is the lower limit or upper limit of the power consumption and does not appear on the graph simply by visualizing the first logical expression. On the other hand, in this embodiment, when visualizing a region that is satisfied by the first logical expression, a region drawn by dots or lines is highlighted and displayed in the axial direction of the graph.

  Below, various arithmetic processes are implemented with respect to the 1st logic formula by the energy management assistance apparatus 1 which concerns on this embodiment, a 2nd logic formula is produced | generated, and desired based on the produced | generated 2nd logic formula A method for obtaining the image 50 including the graph will be specifically described.

  In the present embodiment, the supply and demand system model to be analyzed by the energy management support apparatus 1 is the same as that of the first and second embodiments, as shown in FIG. However, the characteristic formulas and the like of the refrigerators 1 to 4 constituting the supply and demand system model are different from those in the above embodiment.

  FIG. 30 is a diagram exemplifying formulas of power consumption characteristics and outside air temperature change ranges in the present embodiment for the refrigerators 1 to 4 constituting the supply and demand system model shown in FIG. 3.

  Formula group (3-1) representing power consumption characteristics during operation of refrigerators 1 to 4 shown in FIG. 30, Formula group (3-2) representing upper and lower limits of the thermal load of refrigerators 1 to 4, and when stopped The mathematical formula group (3-3) representing the power consumption characteristics is different from FIG. 4 in that all of the four refrigerators 1 to 4 are represented by the same characteristic formula.

・・・（３−１）

... (3-1)

・・・（３−２）

... (3-2)

・・・（３−３）

... (3-3)

  The expression representing the outside air temperature T [° C.] is “T = 25”.

  FIG. 31 is a diagram illustrating the relationship between the outside air temperature T and the power consumption characteristics of the refrigerators 1 to 4 in the present embodiment. FIG. 31A shows the power consumption characteristics of the refrigerators 1 to 4 when the outside air temperature T is 25 [° C.] which is the lower limit.

As shown in FIG. 31, the power consumption characteristics (efficiency) of the four refrigerators are T = 25 [° C.] (ch_25_1 to ch_25_4 in FIG. 31 (a)).
FIG. 32 is a diagram illustrating a logical expression showing the relationship between the demand L of the thermal load and the power consumption P in the above example.

The logical expression ψ _sys2 (L, P) shown in FIG. 32 is publicly known in the same manner as the logical expression of FIG. 6 based on the characteristic expressions (3-1) to (3-3) and the outdoor air temperature expression shown in FIG. Using the technique, the quantifier elimination is performed on the first-order predicate logical expression.

FIG. 33 is a diagram for explaining the arithmetic processing performed by the feature calculation unit 11 in the present embodiment. When the feature calculation unit 11 receives the input of the first logical expression ψ _sys2 (L, P) in FIG. 32, the feature calculation unit 11 generates the logical expression (3-4) using the parameter P ′.

The feature calculation unit 11 replaces the power consumption P of the input first logical expression ψ _sys2 (L, P) with P ′, and performs logical AND between the expression obtained by the replacement and the logical expression (3-4). In combination, the following logical expression ψ _line1 (L, P, P ′) is created. The logical product of the logical expression (3-4) and the logical expression ψ _sys2 (L, P ′) obtained by the replacement has a predetermined size (in the embodiment, in the power consumption direction of the first logical expression). ± 1.5 [kW]).

FIG. 34 is a diagram for explaining the arithmetic processing that the feature calculation unit 11 further performs on the logical expression ψ _line1 (L, P, P ′) in FIG. 33. The feature calculation unit 11 assigns an existence symbol “∃” to the parameter P _′ of the logical expression ψ _line1 (L, P, P ′) in FIG. 33 and provides the following first-order predicate logical expression φ _line1 (L, P , P ′).

  FIG. 35 is a diagram for explaining the arithmetic processing performed by the limit symbol erasing unit 12.

When the logical expression φ _line1 (L, P, P ′) of FIG. 34 is input from the feature calculation unit 11 to the limit symbol erasing unit 12, the limit symbol is deleted with respect to the logical expression φ _line1 (L, P, P ′). Perform erasure. From R _line1 (L, P) obtained as a result, the parameter P ′ to which the feature calculation unit 11 has added the presence symbol “∃” in the arithmetic processing of FIG. 34 is deleted.

・・・（３−５）

... (3-5)

FIG. 36 is a diagram for explaining arithmetic processing that the feature calculation unit 11 further performs on the logical expression R _line1 (L, P) (3-5) obtained by erasing the _quantifier .

The feature calculation unit 11 further uses the parameter L _{′ for} the logical expression R _line1 (L, P) (3-5) of FIG. L′ L + 4 ”(3-6) is generated.

The feature calculation unit 11 replaces the demand L of the thermal load of the logical expression R _line1 (L, P) input from the quantifier elimination unit 12 with L ′, and the expression and logical expression (3-5) obtained by the replacement And the following logical expression ψ _line (L, L ′, P). The logical product of the logical expression (3-6) and the logical expression R _line1 (L ′, P) obtained by the substitution is the thermal load of the logical expression R _line1 (L, P) obtained by erasing the _quantifier in FIG. About the demand direction, the range is expanded by a predetermined size (in the embodiment, ± 4 [kW]).

FIG. 37 is a diagram for explaining arithmetic processing that the feature calculation unit 11 further performs on the logical expression ψ _line (L, L ′, P) in FIG. 36. The feature calculation unit 11 assigns an existence symbol “∃” to the parameter L ′ of the logical expression ψ _line (L, L ′, P) in FIG. 36 and provides the following first-order predicate logical expression φ _line (L, L ', P).

FIG. 38 is a diagram illustrating a method in which the feature calculation unit 11 obtains the second logical expression R _line (L, P) from the logical expression obtained by the operation of FIG. 37 in the present embodiment.

The feature calculation unit 11 passes the first-order predicate logical expression φ _line (L, L ′, P) obtained in FIG. 37 to the quantifier elimination unit 12. When the logical expression is input from the feature calculation unit 11, the limit symbol deletion unit 12 performs limit symbol deletion on the logical expression. The parameter L ′ set by the feature calculation unit 11 is deleted from the logical expression R _line (L, P) obtained by deleting the limit symbol.

When the feature calculation unit 11 receives the logical expression R _line (L, P) from the quantifier elimination unit 12, the feature calculation unit 11 outputs the logical expression R _line (L, P) to the imaging unit 13 as a second logical expression. The imaging unit 13 generates a graph representing the relationship between the heat load demand L and the power consumption P based on the second logical expression R _line (L, P) input from the feature calculation unit 11.

FIG. 39 is a diagram illustrating a graph G3 generated by visualizing the second logical expression R _line (L, P). As shown in FIG. 39, the region A_R _line (L, P) satisfying the second logical expression is compared with the first logical expression ψ _sys2 (L, P) by the above processing, and the vertical axis direction and the horizontal direction are compared. The region is enlarged with respect to the axial direction.

As described above, in this embodiment, the power consumption characteristics (efficiency) of the four refrigerators 1 to 4 are the same. In this case, even if the logical expression ψ _sys2 (L, P) in FIG. 32 is visualized as it is, it may be difficult to use for analysis. For example, in the case where the line only spreads linearly or is distributed only in a dot-like manner as in a region satisfying the logical expression ψ _sys2 (L, P), the relationship between the heat load demand L and the power consumption P is visually confirmed. It may be difficult. However, even in such a case, as shown in the example shown in FIG. 39, by appropriately expanding the area in the vertical and horizontal axis directions for visualization, the visualization result can be used for the user. This makes it easy to perform the analysis. For example, in FIG. 39, it can be determined from the graph G3 that the point of (L, P) = (0, 0) is also included in the region.

In the above, the power consumption P on the vertical axis is increased by ± 1.5 [kW], and the demand L of the heat load on the horizontal axis is increased by ± 4 [kW], but this is limited to this. Is not to be done. As in the first and second embodiments, the enlargement range can be appropriately set according to the resolution of the image 50 and the like. Even if the second logical expression R is represented by dots or lines by expanding the second logical expression R in the vertical axis direction or the horizontal axis direction within an appropriately set expansion range, It is possible to generate a graph that accurately represents the relationship between the power consumption P and the demand amount L of the heat load while ensuring the visibility of.
<Fourth Embodiment>
In the first to third embodiments, the second region is generated based on the first logical expression, which is difficult for the user to confirm when viewing the result of visualizing the first logical expression as it is. Visualization using this logical expression makes it easy to use for analysis. On the other hand, in this embodiment, it is easy for the user to intuitively grasp whether or not there is a large room for energy saving from a graph representing the relationship between the demand amount L of the heat load and the power consumption P.

  Below, the energy management assistance apparatus 1 which concerns on this embodiment demonstrates the method to produce | generate the graph G4 which highlighted the area | region where the room for energy saving is more than predetermined in the 1st logic formula.

In the present embodiment, the supply and demand system model to be analyzed by the energy management support apparatus 1 is as shown in FIG. The characteristic formula, the change range of the outside air temperature, and the like are as shown in FIGS. The first logical expression input to the energy management support apparatus 1 is a logical expression ψ _sys (L, P) shown in FIG.

FIG. 40 is a diagram illustrating the arithmetic processing performed by the feature calculation unit 11 in the present embodiment. When the feature calculator 11 receives an input of the first logical expression ψ _sys (L, P) shown in FIG. 6, the characteristic calculator 11 generates a logical expression (4-1) using the parameter P ′.

The feature calculation unit 11 is obtained by replacing the parameter P among the generated logical expression (4-1), the first logical expression ψ _sys (L, P), and the first logical expression with P ′. The expression ψ _sys (L, P ′) is combined with a logical expression to obtain the following logical expression. Formulas (4-1), the first logical expression [psi _sys (L, P) and the logical product of the resulting substitution formulas [psi _sys (L, P'), P and P satisfy the first logical expression For ′, an area in which the difference between P and P ′ is equal to or greater than a predetermined value (75 [kW] in the embodiment) is specified.

FIG. 41 is a diagram for explaining arithmetic processing that the feature calculation unit 11 further performs on the generated logical expression ψ _room1 (L, P, P ′) in FIG. 40. The feature calculation unit 11 assigns an existence symbol “∃” to the parameters P and P ′ of the logical expression ψ _room1 (L, P, P ′) in FIG. 40 ((4-2) in FIG. 41), and the following 1st order predicate logical expression φ _room1 (L, P, P ′) is generated.

  FIG. 42 is a diagram for explaining the arithmetic processing performed by the limit symbol erasing unit 12.

Quantifier elimination unit 12, logical expression phi _room1 in Figure 42 from the feature calculating unit 11 when (L, P, P') is input, as shown in FIG. 42, the logical expression φ _room1 (L, P, P限定) is executed to delete the quantifier. From the logical expression R _room1 (L) obtained as a result, the parameters P and P ′ to which the feature calculation unit 11 has added the presence symbol “∃” in the arithmetic processing of FIG. 41 are deleted.

・・・（４−３）

... (4-3)

FIG. 43 is a diagram illustrating a method in which the feature calculation unit 11 obtains the second logical expression R _room (L, P) from the logical expression obtained by the operation of FIG. 42 in the present embodiment.

The feature calculation unit 11 combines the expression (4-3) obtained by erasing the parameters P and P ′ in FIG. 42 and the first logical expression ψ _sys (L, P) by logical AND, The logical expression R _room (L, P) is obtained.

The feature calculation unit 11 outputs the logical expression R _room (L, P) to the imaging unit 13 as the second logical expression. The imaging unit 13 generates a graph representing the relationship between the heat load demand L and the power consumption P based on the second logical expression R _room (L, P) input from the feature calculation unit 11.

FIG. 44 is a diagram illustrating a graph G4 generated by visualizing the second logical expression R _room (L, P).

In the graph G4 of FIG. 44, the area A_ψ _sys (L, P) that is satisfied by the area of the first logical expression and the area A_R _room (L, P) that is satisfied by the second logical expression are displayed in different colors. doing. The user intuitively grasps an area where there is room for energy saving above a certain level (in the embodiment, an area where energy saving of 75 [kW] or more is possible), that is, an area where the power consumption P can be reduced by a predetermined value or more. This contributes to effective analysis.
<Fifth Embodiment>
In the fourth embodiment described above, a region having a certain amount of room for energy saving is extracted and highlighted so that the user can easily grasp it intuitively. On the other hand, in this embodiment, it is easy for the user to intuitively understand how much power consumption can be reduced.

  Below, the energy management assistance apparatus 1 which concerns on this embodiment demonstrates the method of producing | generating the graph G5 which displayed how much the power consumption reduction room is in a 1st logic type | formula. First, the analysis target of the energy management support apparatus 1 according to the present embodiment will be described.

  FIG. 45 is a diagram illustrating a supply and demand system model that is analyzed by the energy management support apparatus 1 according to the present embodiment.

As shown in FIG. 45, the supply and demand system model in the present embodiment includes three refrigerators 1 to 3 as heat source devices that supply a heat load to the air conditioning target space in the air conditioning system. Power supply provides power for P [kW] against three refrigerators 1-3, three refrigerators 1-3, _P 1 _{to P} 3 of the [kW] by receiving the supply from the power source, respectively Consume power. The three refrigerators _{1 to 3} supply a heat load of L _{1 to} L ₃ [kW] to the air-conditioning target space, respectively, and the demand amount of electric power in the air-conditioning target space is L [kW].

  FIG. 46 is a diagram exemplifying formulas of power consumption characteristics and outside air temperature change ranges in the present embodiment for the refrigerators 1 to 3 constituting the supply and demand system model shown in FIG. 45.

  The formulas representing the power consumption characteristics during operation of the refrigerators 1 to 3 are as shown in the formula group (5-1) in FIG.

・・・（５−１）

... (5-1)

  The formulas representing the upper and lower limits of the thermal load of the refrigerators 1 to 3 are as shown in the formula group (5-2) in FIG.

・・・（５−２）

... (5-2)

  The formula representing the power consumption characteristics when the refrigerators 1 to 3 are stopped is as shown in the formula group (5-3) in FIG.

・・・（５−３）

... (5-3)

As shown in FIG. 46, the equation representing the change range of the outside air temperature T is
25 ≦ T ≦ 35 (5-4)
It is.

  FIG. 47 is a diagram illustrating the relationship between the outside air temperature T and the power consumption characteristics of the refrigerators 1 to 3 in the present embodiment. 47A shows the power consumption characteristics of the refrigerators 1 to 3 when the outside air temperature T is 25 [° C.] and FIG. 27B shows the power consumption of each of the refrigerators 1 to 3 when it is 35 [° C.].

  When the air-conditioning target space is configured to demand heat load for a plurality of refrigerators as in the example, or when the power consumption characteristic of each refrigerator depends on the outside air temperature, the user It may be difficult to grasp whether the energy saving effect is further increased by operating 1-3. For this reason, in this embodiment, the room for energy saving is calculated | required with the following method and this is visualized.

  FIG. 48 is a diagram illustrating a first logical expression illustrating the relationship between the demand L of the thermal load and the power consumption P in the above example.

The logical expression ψ _sys3 (L, P) shown in FIG. 48 is obtained by generating a first-order predicate logical expression using the mathematical expression group shown in FIG. 46 and _{erasing the quantifier from the} expression by _quantifier elimination.

FIG. 49 is a diagram showing a graph visualizing the logical expression ψ _sys3 (L, P) of FIG. 48. In FIG. 49, the color-coded region A_ψ _sys3 (L, P) is a region satisfying the first logical expression ψ _sys3 (L, P).

  In the graph of FIG. 49, it can be difficult to grasp from the graph how much power consumption P can actually be reduced, even though it can be confirmed to some extent whether there is a large room for reducing power consumption P. Therefore, how much power consumption can be reduced is calculated by the following calculation.

  FIG. 50 is a diagram illustrating the arithmetic processing performed by the feature calculation unit 11 in the present embodiment.

When the feature calculation unit 11 receives the input of the first logical expression ψ _sys3 (L, P) in FIG. 48, the feature calculation unit 11 generates the logical expression “P ′ <P” (5-5) using the parameter P ′. .

The feature calculation unit 11 replaces the power consumption P of the input first logical expression ψ _sys3 (L, P) with P ′, and performs logical AND between the expression obtained by the replacement and the logical expression (5-5). In combination, the following logical expression ψ _effect1 (L, P, P ′) is created. From the logical expression (5-5) and the logical expression ψ _sys3 (L, P ′) obtained by the replacement, the area where the parameter P is larger than P ′ is specified among the areas satisfying the first logical expression.

FIG. 51 is a diagram for explaining arithmetic processing that the feature calculation unit 11 further performs on the logical expression ψ _effect1 (L, P, P ′) of FIG. 50.

The feature calculation unit 11 assigns an existence symbol “∃” to the parameter P ′ of the logical expression ψ _effect1 (L, P, P ′) in FIG. 50, and the following first-order predicate logical expression φ _effect1 (L, P , P ′).

  FIG. 52 is a diagram for explaining the arithmetic processing performed by the limit symbol erasing unit 12.

When the logical expression φ _effect1 (L, P, P ′) in FIG. 51 is input from the feature calculation unit 11 as shown in FIG. 52, the limit symbol erasing unit 12 deletes the limited symbol from the input logical expression. To implement. From the obtained logical expression R _effect1 (L, P), the _parameter P ′ to which the feature calculation unit 11 added the existence symbol “∃” in the arithmetic processing of FIG. 51 is deleted.

・・・（５−６）

... (5-6)

50 to 52 described above, the feature calculation unit 11 performs a logic representing a region that takes “a value larger than the first logical expression ψ _sys3 (L, P) in FIG. 48” with respect to the power consumption P. The expression R _effect1 (L, P) is obtained. Similarly, the feature calculation unit 11 further performs the following calculation based on the first logical expression ψ _sys3 (L, P) of FIG. 48, and the power consumption P is _{expressed as} “first logical expression ψ _sys3 (L, P)”. ) A logical expression R _effect2 (L, P) representing a region having the above value is obtained.

FIG. 53 is a diagram for explaining arithmetic processing performed by the feature calculation unit 11 to obtain the logical expression R _effect2 (L, P).

The feature calculation unit 11 generates a logical expression “P ≦ P ′” (5-7) using the parameter P ′ based on the first logical expression ψ _sys3 (L, P) of FIG.

The feature calculation unit 11 _{creates the} logical expression ψ _effect2 (L, P, P ′) by the same method as when the logical expression ψ _effect1 (L, P, P ′) is created in FIG. 50. That is, the feature calculation unit 11 replaces the power consumption P of the input first logical expression ψ _sys3 (L, P) with P ′, and logically calculates the expression obtained by the replacement and the logical expression (5-7). The following logical expression ψ _effect2 (L, P, P ′) is created by combining the products. Of the areas satisfying the first logical expression, areas where the parameter P is P ′ or more are specified by the logical expression (5-7) and the logical expression ψ _sys3 (L, P ′) obtained by the replacement.

FIG. 54 is a diagram for explaining arithmetic processing that the feature calculation unit 11 further performs on the logical expression ψ _effect2 (L, P, P ′) in FIG. 53.

Feature calculation unit 11, a logical expression _phi Effect1 in FIG 51 (L, P, P') in the same manner as when generated, and generates a logical expression _{φ effect2 (L, P, P'} ). That is, the feature calculation unit 11 assigns an existence symbol “∃” to the parameter P ′ of the generated logical expression ψ _effect2 (L, P, P ′) of FIG. 53, and the following first-order predicate logical expression φ _effect2 (L, P, P ′) is generated.

  FIG. 55 is a diagram for explaining the arithmetic processing performed by the limit symbol erasing unit 12.

The limit symbol erasing unit 12 performs limit symbol erasure by the same method as that shown in FIG. 52 to obtain the logical expression R _effect2 (L, P). That is, when the logical expression φ _effect2 (L, P, P ′) in FIG. 54 is input from the feature calculation unit 11, the quantifier erasing unit 12 performs erasure of the limited symbol on the input logical expression. From the obtained logical expression R _effect2 (L, P), the _parameter P ′ to which the feature calculation unit 11 assigns the existence symbol “∃” is deleted in the arithmetic processing of FIG.

・・・（５−８）

... (5-8)

The two logical expressions R _effect1 (L, P) and R _effect2 (L, P) obtained by the above method are larger than the lower limit values of the power consumption of the first logical expression ψ _sys3 (L, P), respectively. The area represents the area above the lower limit. From this, in the first embodiment, the lower limit value of the first logical expression ψ _sys3 (L, P) is extracted by the same method as the method of extracting the constant width region from the lower limit of the power consumption. .

FIG. 56 is a diagram illustrating a method in which the feature calculation unit 11 generates a logical expression R _effect3 (L, P) representing the lower limit value of the first logical expression ψ _sys3 (L, P) in the present embodiment. .

As shown in FIG. 56, the feature calculation unit 11 uses the two expressions (5-6) and (5-8) obtained by the above arithmetic processing, that is, the logical expressions R _effect1 (L, P) and R _effect2 (L , P) and XOR the exclusive OR.

・・・（５−９）

... (5-9)

In Expression (5-9), the lower limit value of the first logical expression ψ _sys3 (L, P) is extracted by exclusive logical XOR.

FIG. 57 is a diagram for explaining a calculation process further performed by the feature calculation unit 11 using the logical expression R _effect3 (L, P) generated in FIG.

The feature calculation unit 11 generates a logical expression R _effect3 (L, P′-P) in which the parameter P of the generated expression (5-9) is replaced with P′-P. Then, the logical expression R _effect3 (L, P′−P) generated by the replacement and the power consumption P of the first logical expression ψ _sys3 (L, P) are replaced by P ′, and the expression ψ _sys3 ( L, P ′) are combined with a logical product to create the following logical expression ψ _effect (L, P, P ′). Wherein _{R effect3 (L, P'-P} ) obtained by substituting equation (5-9) and the first logical expression [psi _sys3 (L, P) formula was replaced with P'power consumption P of [psi _sys3 (L, P the logical product of the '), the first logical expression [psi _sys3 (L, P) wherein [psi _sys3 (L a power consumption P was replaced by P'of, P') of the region that satisfies, from the lower limit of P' Even if P is subtracted, the area still included in the first logical expression is specified.

FIG. 58 is a diagram for explaining arithmetic processing that the feature calculation unit 11 further performs on the logical expression ψ _effect (L, P, P ′) of FIG.

The feature calculation unit 11 assigns an existence symbol “∃” to the parameter P ′ of the logical expression ψ _effect (L, P, P ′) in FIG. 57, and the following first-order predicate logical expression ψ _effect (L, P , P ′).

  FIG. 59 is a diagram for explaining the arithmetic processing performed by the limit symbol erasing unit 12.

When the logical symbol ψ _effect (L, P, P ′) of FIG. 58 is input from the feature calculation unit 11 to the limit symbol erasing unit 12, as shown in FIG. 59, the logical equation φ _effect (L, P, P) The quantifier elimination is performed on ') to obtain the logical expression R _effect (L, P). From the obtained logical expression R _effect (L, P), the parameter P ′ to which the feature calculation unit 11 added the existence symbol “∃” in the arithmetic processing of FIG. 58 is deleted.

・・・（５−１０）

... (5-10)

The logical expression R _effect (L, P) (5-10) obtained by _{quantifier elimination is a reducible} amount of P corresponding to L of the first logical expression ψ _sys3 (L, P), that is, P It shows how much there is from the lower limit to the upper limit.

The feature calculation unit 11 receives the logical expression R _effect (L, P) obtained by erasing the quantifier in FIG. 59 from the quantifier erasure unit 12, and outputs this to the imaging unit 13 as a second logical expression. Based on the second logical expression R _effect (L, P) input from the feature calculation unit 11, the imaging unit 13 displays a graph representing the relationship between the demand L of the thermal load and the power consumption P that can be reduced. Generate.

FIG. 60 is a diagram illustrating the reducible power consumption displayed on the graph by the second logical expression R _effect (L, P). In the graph G5 in FIG. 60, the horizontal load represents the heat load demand L [kW], and the vertical axis represents the power consumption that can be reduced, that is, the energy saving room P [kW].

The area A_R _effect (L, P) in FIG. 60 allows the user to set the power demand L of the air-conditioning target space in FIG. It becomes easy to grasp how much room P for energy saving exists. This contributes to effective analysis.
<Sixth Embodiment>
In the above first to fifth embodiments, when the first logical expression ψ _** input to the energy management support apparatus 1 is visualized as it is, it is difficult to confirm the region, or it is difficult to grasp intuitively. Visualize information. On the other hand, in the present embodiment, when visualizing the first logical expression ψ _** , the range of the vertical axis and the horizontal axis of the graph is determined appropriately based on the respective maximum and minimum values. By setting, draw a graph of appropriate size.

  Below, the energy management support device 1 according to the present embodiment determines the maximum value and the minimum value of the power consumption P and the heat load demand L of the first logical expression, and the visualization of the first logical expression based on this The method of performing will be described.

In the present embodiment, the supply and demand system model to be analyzed by the energy management support apparatus 1 is as shown in FIG. The power consumption characteristic formula of the supply and demand system model, the change range of the outside air temperature, and the like are also as described with reference to FIGS. The first logical expression ψ _sys (L, P) input to the energy management support device 1 is also as shown in FIGS. 6 and 7 and is as described above.

  First, a method for obtaining the maximum value and the minimum value of the demand L of the heat load represented on the horizontal axis in the graph will be described with reference to FIGS.

  FIG. 61 is a diagram for explaining arithmetic processing performed by the feature calculation unit 11 in order to obtain the maximum value and the minimum value of the demand amount L of the heat load in the present embodiment.

First, as shown in FIG. 61, the feature calculation unit 11 receives an input of the first logical expression ψ _sys (L, P), and assigns an existence symbol “∃” to the parameter P. Generate a predicate logical expression φ _L-range (L, P).

  FIG. 62 is a diagram for explaining the arithmetic processing performed by the limit symbol erasing unit 12.

When the logical expression φ _L-range (L, P) in FIG. 61 is input from the feature calculation unit 11, the limited symbol erasing unit 12 performs erasure of the limited symbol on the input logical expression. From the obtained logical expression R _L-range (L) (6-1), the parameter P to which the feature calculation unit 11 added the existence symbol “∃” in the arithmetic processing of FIG. 61 is deleted.

・・・（６−１）

... (6-1)

The expression obtained as a result of executing the quantifier elimination is not necessarily a linear expression for the parameter L as shown in Expression (6-1), and may be a quadratic expression or more. Therefore, when the feature calculation unit 11 receives the logical expression R _L-range (L) from the _quantifier elimination unit 12, the feature calculation unit 11 further performs the following arithmetic processing.

FIG. 63 is a diagram illustrating a calculation process that the feature calculation unit 11 further performs to obtain the minimum value of the demand L of the heat load using the logical expression R _L-range (L).

The feature calculation unit 11 determines the logical expression ψ _L-min (L in the upper part of FIG. 63 from the condition that the minimum value L _min of the demand L of the thermal load satisfies the logical expression R _L-range (L) in FIG. , L _min ). This will be further described with reference to FIG.

FIG. 64 is a diagram illustrating the logical expression ψ _L-min (L, L _min ). FIG. 64A is a diagram for explaining the logical expression “L <L _range → ¬R _L-range (L)” (6-2) in FIG. 63, and FIG. It is a figure explaining a formula "R _L-range ( _Lmin )" (6-3).

First, as shown in FIG. 64A, in the logical expression (6-2), when L is smaller than the minimum value L _min (L <L _min ), the corresponding L is satisfied by the expression (6-1). It is outside the range of the region (¬R _L-range (L)).

Then, as shown in FIG. 64B, the logical expression (6-3) represents that L _min does not fall outside the range of L satisfying the expression (6-1). That is, the upper expression in FIG.

Represents that the demand L of the heat load and its minimum value L _min satisfy the conditions described by the two logical expressions (6-2) and (6-3).

As shown in the middle part of FIG. 63, the feature calculation unit 11 assigns the generic symbol “∀” to the parameter L to the generated logical expression ψ _L-min (L, L _min ), and performs the following first-order predicate logic: The expression φ _L-min (L, L _min ) is generated.

・・・（６−４）

... (6-4)

When the above-described logical expression φ _L-min (L, L _min ) (6-4) is input from the feature calculation unit 11, the limit symbol erasing unit 12 receives the input logic as shown in the lower part of FIG. The quantifier elimination is performed on the expression φ _L-min (L, L _min ) (6-4). As shown in the following formula (6-5), the minimum value L _min “0” is obtained for the demand L of the heat load by deleting the limit symbol.

・・・（６−５）

... (6-5)

FIG. 65 is a diagram for explaining arithmetic processing performed by the feature calculation unit 11 to obtain the maximum value of the demand amount L of the heat load using the logical expression R _L-range (L) of FIG.

The feature calculation unit 11 also generates the upper logical expression of FIG. 65 based on the same concept as the logical expression ψ _L-min (L, L _min ) described above with reference to FIGS. 63 and 64. To do.

That is, first, when the maximum value _{L max} of the demand L, the value of L is greater than _{L max (L max} <L) when the corresponding L is a logical expression _{R L-range} (L) satisfies region (¬R _L-range (L)). In terms of a logical expression, the logical expression (6-6) in the upper part of FIG. 65 corresponds to this.

Further, the value corresponding to the maximum value L _max belongs to the region that L satisfies (R _L-range (L _max )). In terms of a logical expression, the logical expression (6-7) in the upper part of FIG. 65 corresponds to this.

In the upper logical expression ψ _L-max (L, L _max ) of FIG. 65, the heat load demand L and its maximum value L _max are described by two logical expressions (6-6) and (6-7). It represents that the condition is satisfied.

As shown in the middle part of FIG. 65, the feature calculation unit 11 assigns the generic symbol “∀” to the parameter L to the logical expression ψ _L-max (L, L _max ), and The expression φ _L-max (L, L _max ) is generated.

・・・（６−８）

... (6-8)

When the above-described φ _L-max (L, L _max ) (6-8) is input from the feature calculation unit 11, the limit symbol erasing unit 12 converts the input logical expression into the input logical expression as shown in the lower part of FIG. The quantifier is erased for this. As shown in the following formula (6-9), the maximum value L _max “728” is obtained for the demand L of the heat load by deleting the limit symbol.

・・・（６−９）

... (6-9)

  Also in the case of obtaining the maximum value and the minimum value of the power consumption P, the following calculation is performed based on the same idea as the case of obtaining the maximum value and the minimum value of the demand amount L. Next, a method for obtaining the maximum value and the minimum value of the power consumption P represented on the vertical axis in the graph will be described with reference to FIGS. 66 to 69.

  FIG. 66 is a diagram for describing calculation processing performed by the feature calculation unit 11 to obtain the maximum value and the minimum value of the power consumption P in the present embodiment.

First, as shown in FIG. 66, when the feature calculation unit 11 receives an input of the first logical expression ψ _sys (L, P), the feature calculation unit 11 assigns an existence symbol “∃” to the parameter L, and A hierarchical predicate logical expression φ _P-range (L, P) is generated.

  FIG. 67 is a diagram for explaining the arithmetic processing performed by the limit symbol erasing unit 12.

The limit symbol erasing unit 12 performs limit symbol erasure on the logical expression φ _P-range (L, P) of FIG. 66 input from the feature calculation unit 11. From the obtained logical expression R _P-range (P) (6-10), the parameter L to which the feature calculation unit 11 added the existence symbol “∃” in the arithmetic processing of FIG. 66 is deleted.

・・・（６−１０）

... (6-10)

Similarly to the above logical expression (6-1), the expression obtained as a result of performing the quantifier elimination is not necessarily a linear expression for the parameter P as in the expression (6-10). In some cases, the following formula is used. Therefore, when the feature calculation unit 11 receives the logical expression R _P-range (P) from the _quantifier elimination unit 12, the feature calculation unit 11 further performs the following arithmetic processing.

FIG. 68 is a diagram illustrating the arithmetic processing performed by the feature calculation unit 11 to obtain the minimum value of the power consumption P using the logical expression R _P-range (P).

The feature calculation unit 11 determines the logical expression ψ _P-min (P, P in the upper stage of FIG. 68 from the condition that the power consumption P and its minimum value P _min satisfy the logical expression R _P-range (P) in FIG. _min ).

・・・（６−１１）

... (6-11)

The above equation (6-11) is generated based on the same idea as the above-mentioned ψ _L-min (L, L _min ). That is, when the minimum value P _{min of the} power consumption P is assumed, if the value of P is smaller than P _min (P <P _min ), the corresponding value P is in the region that the logical expression R _P-range (P) satisfies. Does not belong (¬R _P-range (P)). At the same time, the value corresponding to the minimum value P _min belongs to the region satisfied by P (R _P-range (P _min )). The logical expression (6-11) is generated based on these two conditions.

As shown in the middle part of FIG. 68, the feature calculation unit 11 uses the generic symbol “∀” for the parameter P with respect to the generated logical expression ψ _P-min (P, P _min ) (6-11). To generate the following first-order predicate logical expression φ _P-min (P, P _min ).

・・・（６−１２）

... (6-12)

When the above-described logical expression φ _P-min (P, P _min ) (6-12) is input from the feature calculation unit 11, the limit symbol erasing unit 12 receives the input logic as shown in the lower part of FIG. The quantifier elimination is performed on the expression φ _P-min (P, P _min ) (6-12). By deleting the limit symbol, the minimum value P _min “0” is obtained for the power consumption P as shown in the following formula (6-13).

・・・（６−１３）

... (6-13)

FIG. 69 is a diagram for explaining the arithmetic processing performed by the feature calculation unit 11 to obtain the maximum value of the power consumption P using the logical expression R _P-range (L) in FIG. 67.

The feature calculation unit 11 determines the logical expression ψ _P-max (P, P) in the upper stage of FIG. 69 from the condition that the power consumption P and the maximum value P _max satisfy the logical expression R _P-range (P) of FIG. _max ).

・・・（６−１４）

... (6-14)

When the maximum value P _{max of the} power consumption P is assumed, if the value of P is larger than P _max (P> P _max ), the corresponding value P does not belong to the region satisfied by the logical expression R _P-range (P). (¬R _P-range (P)). In addition, the value R _P-range (P _max ) corresponding to the maximum value P _max belongs to the region satisfied by the logical expression (R _P-range (P _max )). The logical expression (6-14) is generated based on these two conditions.

As shown in the middle part of FIG. 69, the feature calculation unit 11 assigns the generic symbol “∀” to the parameter P to the generated logical expression ψ _P-max (P, P _max ) (6-14), The following first order predicate logical expression φ _P-max (P, P _max ) is generated.

・・・（６−１５）

... (6-15)

When the above-mentioned φ _P-max (P, P _max ) (6-15) is input from the feature calculation unit 11, the limit symbol erasing unit 12 receives the input logical expression φ as shown in the lower part of FIG. _The quantifier is erased for _P-max (P, P _max ) (6-15). As shown in the following formula (6-16), the maximum value P _max “2909097/10000” is obtained with respect to the power consumption P by erasing the limit symbol.

・・・（６−１６）

... (6-16)

By performing the above arithmetic processing, the equations (6-5), (6-9), (6-13), and (6-16), that is, the demand amount L and the power consumption P of the thermal load, respectively. The minimum and maximum values are obtained. The feature calculation unit 11 passes the obtained values to the imaging unit 13 together with the first logical expression ψ _sys (L, P). The imaging unit 13 determines the drawing range of the graph based on the maximum value and the minimum value for the heat load demand L and the power consumption P, respectively, and represents the relationship between the heat load demand L and the power consumption P. An image 50 including a graph (see FIG. 1 and the like) is generated.

FIG. 70 is a diagram illustrating a graph G6 generated by visualizing the first logical expression ψ _sys (L, P) using the calculation results of FIGS. 61 to 69.

70 is based on the minimum value L _min = 0, the maximum value L _max = 728, the minimum value P _min = 0 of power consumption, and the maximum value P _max = 290.0997 of the demand amount of heat load. The drawing range of the horizontal axis and the vertical axis of the graph G6 is determined.

If the graph is drawn without obtaining the maximum value and the minimum value in each axis direction, for example, the drawing range when the graph was generated last time is used as it is, or a preset range is used. Will be used. Depending on these methods, the drawing of the region A_ψ _sys (L, P) satisfying the logical expression ψ _sys (L, P) is not necessarily performed in a size appropriate for the user to confirm. For example, a region satisfying the logical expression may not fit in the graph, or the drawn region A_ψ _sys (L, P) may be too small relative to the graph range. According to the present embodiment, the region A_ψ _sys (L, P) satisfying the logical expression ψ _sys (L, P) with an appropriate size is drawn. For this reason, it becomes easier for the user to use the visualization result, which contributes to efficient analysis.
<Seventh Embodiment>
In said embodiment, the improvement of the convenience of the user in the case of visualizing with respect to a certain 1st logical formula input into the energy management assistance apparatus 1, ie, a certain supply-and-demand system model, is aimed at. On the other hand, in this embodiment, the user's convenience is improved when visualization is performed on two or more supply and demand system models.

  Below, the visualization method by the energy management support apparatus 1 which concerns on this embodiment is demonstrated. In addition, in this embodiment, about the supply-and-demand system model which the energy management assistance apparatus 1 analyzes is as showing in FIG. However, the characteristic formulas and the like of the refrigerators 1 to 4 constituting the supply and demand system model are as shown in FIG. 71 unlike the above embodiment, and will be described.

  71 is a diagram illustrating power consumption characteristics in the present embodiment for the refrigerators 1 to 4 constituting the supply and demand system model shown in FIG. 3.

  The power consumption characteristics of the refrigerators 1 to 4 during operation are as shown in the formula group (7-1) in FIG.

・・・（７−１）

... (7-1)

  The formulas representing the upper and lower limits of the thermal load of the refrigerators 1 to 4 are as shown in the formula group (7-2) in FIG.

・・・（７−２）

... (7-2)

  And the power consumption characteristic of the refrigerators 1-4 at the time of a stop is as showing to the numerical formula group (7-3) of FIG.

・・・（７−３）

... (7-3)

As in the mathematical formula groups (7-1) to (7-3), the refrigerators 1 and 4 have the same characteristics. Note that the change range of the outside air temperature T is the same as that in the above embodiment, and is 25 ≦ T ≦ 35. Therefore, the description is omitted in FIG. 71.

  FIG. 72 is a diagram illustrating the relationship between the outside air temperature T and the power consumption characteristics of the refrigerators 1 to 4 in the present embodiment. 72A shows the power consumption characteristics of the refrigerators 1 to 4 when the outside air temperature T is 25 [° C.] which is the lower limit, and FIG. 72B shows the outside air temperature T being the upper limit. This is shown when the temperature is 35 [° C.].

  As described above, since the refrigerators 1 and 4 show the same characteristics, even in the graph showing the relationship with the outside air temperature T, the curve (in FIG. 72A, ch_25_1 and ch_25_4, in FIG. 72B) ch_35_1 and ch_35_4) match.

  FIG. 73 is a diagram illustrating a first logical expression illustrating the relationship between the demand L of the thermal load and the power consumption P in the above example.

FIG. 74 is a diagram showing a graph visualizing the above logical expression ψ _sys4 (L, P). On the graph of FIG. 74, a region A_ψ _sys4 (L, P) that is satisfied by the logical expression ψ _sys4 (L, P) input to the energy management support device 1 is displayed.

  When analyzing by referring to the visualized graph, the user not only analyzes a certain supply and demand system model, but also compares two or more supply and demand system models to determine which model is preferred. May be considered. In the above example, when the characteristics of the two refrigerators 1 and 4 among the four refrigerators 1 to 4 as in the example are the same, as shown in FIGS. 4 and 5, When the characteristics of the refrigerators 1 to 4 are different from each other, the regions that are filled with the refrigerators are different. In the present embodiment, two different logical expressions are simultaneously visualized in a form in which the user can easily confirm the area that each satisfies.

  FIG. 75 is a diagram illustrating a graph visualizing two logical expressions in the present embodiment.

In the graph G7 in FIG. 75, the logical expression ψ _sys (L, P) in FIG. 6 is simultaneously visualized in addition to the logical expression ψ _sys4 (L, P) in FIG. The respective areas A_ψ _sys4 (L, P) and A_ψ _sys (L, P) are displayed in different colors, and the areas overlapping between the two logical expressions are displayed in a dark color.

  Thus, according to the present embodiment, it is possible to compare two or more supply-demand system models. This contributes to effective analysis.

  In the above embodiment, the case where two logical expressions are visualized is illustrated, but the present invention is not limited to this. For example, three or more logical expressions may be visualized.

  In the above-described embodiment, a case where different (first) logical expressions input to the energy management support apparatus 1 are visualized at the same time is illustrated, but the present invention is not limited to this. For example, the same effect can be obtained when the present invention is applied to a case where the second logical expressions obtained by the above embodiment are to be compared.

  In the above, the case where the energy management assistance apparatus 1 images the graph showing the relationship between the heat load demand amount L of the air-conditioning target space and the power consumption P is described. However, the present invention is not limited to this, and can be used for analysis of other various supply and demand system models.

  The present invention is not limited to the above-described embodiment as it is, and can be embodied by modifying the constituent elements without departing from the scope of the invention in the implementation stage. Moreover, various inventions can be formed by appropriately combining a plurality of constituent elements disclosed in the embodiment. For example, all the constituent elements shown in the embodiments may be appropriately combined. Furthermore, constituent elements over different embodiments may be appropriately combined. It goes without saying that various modifications and applications are possible without departing from the spirit of the invention.

Claims (9)

An energy management support device that supports analysis of a supply and demand system consisting of resource demand equipment and supply equipment,
An input logical expression including a mathematical expression and a logical symbol representing a relationship between the demand amount of the resource and energy consumed when the resource is supplied is received, and a predetermined characteristic included in the input logical expression is defined as a logical expression. A feature calculator that generates a first-order predicate formula for extraction;
When the first order predicate logical expression is input, a quantifier elimination unit that generates a logical expression representing the predetermined characteristic by a quantifier elimination method;
An imaging unit configured to generate a visualized image of the input logical expression that emphasizes the predetermined characteristic of the input logical expression based on the input logical expression and the generated logical expression representing the predetermined characteristic; An energy management support device characterized by that. The predetermined characteristic is at least one of an upper limit or a lower limit of the energy consumption in the input logical expression, and the visualized image is an image in which the upper limit or the lower limit of the energy consumption is emphasized. Item 1. An energy management support device according to item 1. The predetermined feature is a region obtained by expanding a region satisfied by the input logical formula by a predetermined range in the direction of the energy consumption or the demand amount, and the visualized image is a region satisfied by the input logical formula The energy management support apparatus according to claim 1, wherein the image is an image in which a region expanded by a predetermined range in the direction of the consumed energy or the demand amount is emphasized. The predetermined feature is a region where the consumed energy in the inputted logical expression can be reduced to a predetermined value or more, and the visualized image is an image in which a region where the consumed energy can be reduced to a predetermined value or more is emphasized. The energy management support apparatus according to claim 1, wherein: The energy management support device according to claim 2 , wherein the visualized image is an image in which an upper limit or a lower limit of the energy consumption is color-coded and emphasized. The energy management support device according to claim 4 , wherein the visualized image is an image in which an area where the energy consumption can be reduced to a predetermined value or more is color-coded and emphasized. The predetermined characteristic is an amount capable of reducing the energy consumption in the input logical expression, and the visualized image is an image representing an amount capable of reducing the energy consumption. The energy management support apparatus according to 1. The predetermined feature is the maximum and minimum of the energy consumption and the demand amount in the input logical expression, and the visualized image is a horizontal axis of the visualized image from the maximum and minimum of the energy consumption and the demand amount. The energy management support apparatus according to claim 1, wherein the image is an image in which a drawing range of the vertical axis is determined. An energy management program for causing an information processing device to execute an energy management support process that supports analysis of a supply and demand system composed of resource demand equipment and supply equipment,
When an input logical expression consisting of a mathematical expression and a logical symbol representing the relationship between the demand amount of the resource and the energy consumed when the resource is supplied is received, a predetermined characteristic included in the input logical expression is expressed as a logical expression. A feature calculation process for generating a first-order predicate formula for extraction as
When the first-order predicate logical expression is input, a quantifier elimination process for generating a logical expression representing the predetermined characteristic by a quantifier elimination method;
An imaging process for generating a visualized image of the input logical expression that emphasizes the predetermined characteristic of the input logical expression based on the input logical expression and the generated logical expression representing the predetermined characteristic. An energy management support program characterized by this.

Images