WO2016051553A1 - Energy management assist device and energy management assist program - Google Patents

Abstract

An energy management assist device for assisting the analysis of a supply and demand system comprising a resource demand facility and supply facility, wherein a feature computation unit 11, upon reception of the input of an input logical expression expressing a relationship between a resource demand amount and energy consumption, generates a first first-order predicate logical expression on the basis of the input logical expression, while generating an output logical expression including a description of a predetermined feature to be expressed on a graph expressing the relationship of the resource demand amount and energy consumption. An imaging unit 13, on the basis of the output logical expression output by the feature computation unit 11, generates an image 50 including the graph expressing the predetermined feature. A quantifier elimination unit 12, in response to the input of the first first-order predicate logical expression from the feature computation unit 11, generates and outputs a first intermediate logical expression obtained by processing the first first-order predicate logical expression by quantifier elimination method to the feature computation unit 11. The feature computation unit 11 generates an output logical expression on the basis of the first intermediate logical expression.

Description

Energy management support device and energy management support program

The present invention relates to a technology for supporting analysis of a supply and demand system having resource supply facilities for supplying resources such as power and gas and resource demand facilities for consuming resources and consuming energy.

In recent years, due to environmental problems and high fuel costs, efforts to save energy by controlling an air conditioning system such as a Building Energy Management System (BEMS) for office buildings and the like are attracting attention.

In an air conditioning system, it is usual to use a plurality of heat source devices such as a refrigerator. Here, the power consumption characteristics of the heat source device may differ depending on the device. Moreover, the power consumption characteristic of the heat source apparatus which comprises an air-conditioning system may receive to the influence of the temperature of external air, and may change. 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 the method of adjusting the heat load distribution for each device, conventionally, a method has been developed to determine the optimum heat load distribution in the mathematically optimized air conditioning system by using the prediction of the outside air temperature.

However, in addition to considering the thermal load distribution that will save the most energy at the predicted outside air temperature, for example, the distribution taking into account the fluctuation of the outside air temperature, the distribution taking into consideration the optimum value of the power consumption of the entire system, and the equipment It is also considered beneficial to consider allocations that avoid operating limits.

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

It is also known about the technique which supports operation of said air conditioning system (for example, nonpatent literature 2). According to this, for the air conditioning system constructed with devices having different power consumption characteristics, a technique for creating a logical expression representing the relationship between the heat load demand and the power consumption required by the air conditioning target space using the limited symbol 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 of the power consumption of the entire system when the heat load is adjusted for each device is realized. Ru. In addition, the function of adjusting the balance between the margin from the operation limit and the energy saving effect is also realized by the GUI (Graphical User Interface) operation. Therefore, the operator of the air conditioning system can realize the heat load distribution considering the fluctuation of the outside air temperature and the optimum value of the power consumption of the whole system and the heat load distribution avoiding the operation limit of the equipment in the operation. Become.

As described above, it is possible to visualize how much energy saving can be realized for a certain air conditioning system by using a known energy management support technology. 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 the resource demand amount and the energy consumption and presented in an appropriate manner.

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

According to a first aspect of the present invention, there is provided an energy management support apparatus for supporting analysis of a supply and demand system consisting of resource demand facilities and supply facilities.
Receiving an input logical expression representing a relationship between the demand amount of the resource and the energy consumed when supplying the resource, and generating a first first-order predicate logical expression based on the input logical expression A feature calculation unit for generating an output logical expression including a description of a predetermined feature to be represented on a graph representing the relationship between the demand amount of resources and the 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 logical expression is input from the feature calculation unit, a first intermediate logical expression obtained by processing the first first-order predicate logical expression according to a finite symbol elimination method is generated. A limited symbol elimination unit to be output to the feature calculation unit,
And 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 for supporting analysis of a supply and demand system consisting of demand facilities and supply facilities of resources,
· When an input logical expression representing a relationship between the demand amount of the resource and the energy consumed when supplying the resource is received, a 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 a graph representing the relationship between the demand amount of resources and the energy consumption,
· Generating a first intermediate logic expression by processing the first first-order logic expression by a definite symbol 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 and consuming energy by extracting and presenting information necessary for the user in an appropriate manner Contributing to the analysis of

It is a figure explaining the outline of the method of supporting analysis about the demand-and-supply system comprised from the demand facility and supply facility of resources by energy management support device. It is a block diagram of an energy management support device. It is a figure which illustrates the demand-and-supply system model which the energy management support device concerning a 1st embodiment analyzes. It is a figure which illustrates the formula of the change range of the power consumption characteristic in 1st Embodiment about the refrigerator which comprises the supply-and-demand system model shown in FIG. 3, and 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 first logical expression which showed the relation between the demand of heat load and power consumption P in an example. 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 a 1st embodiment. It is a figure explaining the arithmetic processing which a feature calculation part further performs with respect to logical formula ψ _min1 (L, P, P ') of FIG. It is a figure explaining the arithmetic processing which a limited symbol deletion part implements. It is a figure which illustrates the result of visualizing the field which logical expression _Rmin1 (L, P) obtained by limited 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 formula ψ _min2 (L, P, P ') of FIG. It is a figure explaining the arithmetic processing which a limited symbol deletion part implements. It is a figure which illustrates the result of visualizing the field which logical expression _Rmin2 (L, P) obtained by limited symbol elimination fills. It is a figure which shows the result of area | region superposition | stacking which satisfy | fills two logical expressions obtained by calculation of a feature calculation part and a limited symbol elimination part in 1st Embodiment. It is a figure explaining the method a characteristic calculation part produces _| generates 2nd logical expression _Rmin (L, P) in 1st Embodiment. It is a figure which illustrates highlighting of the lower limit of the power consumption represented on a graph based on 2nd logical expression _Rmin (L, P). It is a figure explaining the arithmetic processing which a feature calculation part performs in a 2nd embodiment. It is a figure explaining the arithmetic processing further performed with respect to logical-expression (chi) _max1 (L, P, P ') of FIG. 18 which the feature calculation part produced | generated. It is a figure explaining the arithmetic processing which a limited symbol deletion part implements. It is a figure which illustrates the result of visualizing the field which logical expression _Rmax1 (L, P) obtained by limited 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 (chi) _max2 (L, P, P ') of FIG. It is a figure explaining the arithmetic processing which a limited symbol deletion part implements. It is a figure which illustrates the result of visualizing the field which logical expression _Rmax2 (L, P) obtained by limited symbol elimination fills. It is a figure which shows the result of having overlap | superposed the area | region which satisfy | fills two logical formulas obtained by calculation of a feature calculation part and a limited symbol elimination part in 2nd Embodiment. It is a figure explaining the method to which a feature calculation part calculates _| requires 2nd logical expression _Rmax (L, P) in 2nd Embodiment. It is a figure which illustrates highlighting of the upper limit of the power consumption represented on a graph by 2nd logical expression _Rmax (L, P). It is a figure which illustrates the expression of the change range of the power consumption characteristic and outside 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 expression which showed the relation between the demand of thermal load and power consumption in an example. It is a figure explaining the arithmetic processing which a feature calculation part performs in a 3rd embodiment. It is a figure explaining the arithmetic processing which a feature calculation part further performs with respect to logical formula ψ _line1 (L, P, P ') of FIG. It is a figure explaining the arithmetic processing which a limited symbol deletion part implements. It is a figure explaining the arithmetic processing which a feature calculation part performs further to logical expression _Rline1 (L, P) obtained by restriction mark elimination. It is a figure explaining the arithmetic processing which a feature calculation part further performs with respect to logical formula ψ _line (L, L ', P) of FIG. FIG. 39 is a diagram for describing a method of obtaining the second logical expression R _line (L, P) from the logical expression obtained by the operation of FIG. 37 by the feature calculation unit in the third embodiment. It is a figure which illustrates the graph produced by visualizing the second logical expression R _line (L, P). It is a figure explaining the arithmetic processing which a feature calculation part performs in a 4th embodiment. It is a figure explaining the arithmetic processing which a feature calculation part further performs with respect to logical formula ψ _room1 (L, P, P ') of FIG. It is a figure explaining the arithmetic processing which a limited symbol deletion part implements. It is a figure explaining the method to which 2nd logical expression _Rroom (L, P) is obtained from the logical expression which the feature calculation part obtained by calculation of FIG. 42 in 4th Embodiment. It is a figure which illustrates the graph produced by visualizing the second logical expression R _room (L, P). It is a figure which illustrates the demand-and-supply system model which the energy management support device concerning a 5th embodiment analyzes. It is a figure which illustrates the expression of the change range of the power consumption characteristic and external temperature in 5th 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 5th Embodiment, and the power consumption characteristic of a refrigerator. It is a figure which illustrates the 1st logical formula which showed the relation between the demand of thermal load and power consumption in an example. It is a figure which shows the graph which visualized logical-formula _sys3 (L, P) of FIG. It is a figure explaining the arithmetic processing which a feature calculation part performs in a 5th embodiment. FIG. 51 is a diagram for describing calculation processing further performed by the feature calculation unit on the logical expression ψ _effect1 (L, P, P ′) in FIG. It is a figure explaining the arithmetic processing which a limited symbol deletion 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). It is a figure explaining the arithmetic processing which a feature calculation part further performs with respect to logical-expression _{effect effect2} (L, P, P ') of FIG. It is a figure explaining the arithmetic processing which a limited symbol deletion 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). It is a figure explaining the arithmetic processing which a feature calculation part further performs using logical expression _Reffect3 (L, P) produced _| generated in FIG. It is a figure explaining the arithmetic processing which a feature calculation part further performs with respect to logical formula _{effect effect} (L, P, P ') of FIG. It is a figure explaining the arithmetic processing which a limited symbol deletion part implements. It is a figure which illustrates the reducible power consumption displayed on the graph by 2nd logical formula _Reffect (L, P). It is a figure explaining the arithmetic processing which a characteristic calculation part performs in order to obtain the maximum value and minimum value of the demand of thermal load in a 6th embodiment. It is a figure explaining the arithmetic processing which a limited symbol deletion part implements. It is a figure explaining the arithmetic processing which a feature calculation part further performs in order to obtain the minimum of the demand of heat load using logical expression R _L-range (L). It is a figure explaining logical expression 論理_L-min (L, _Lmin ). FIG. ₇₃ is a diagram for describing calculation processing performed by the feature calculation unit to obtain the maximum value of the heat load demand amount 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 limited symbol deletion part implements. It is a figure explaining the arithmetic processing which a feature calculation part performs in order to obtain the minimum value of power consumption using logical expression _RP-range (P). FIG. 68 is a diagram for describing calculation processing performed by the feature calculation unit to obtain the 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 external 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 relation between the demand of thermal load and power consumption in an example. It is a figure which shows the graph which visualized logical expression _{sys sys4} (L, P). It is a figure which illustrates the graph which visualized two logical expressions in a 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 demand facilities and supply facilities of resources by the energy management support apparatus 1 according to the present invention. As shown in FIG. 1, the energy management support apparatus 1 receives an input of the logical expression ψ _sys . The energy management support apparatus 1 eliminates the variable by the limited symbol elimination as necessary based on the inputted logical expression _{sys sys} and _{removes the} variable to visualize the relationship between the demand amount of the resource in the supply and demand system and the power consumption as the graph G An image 50 is generated. The energy management support apparatus 1 outputs the generated image 50 to display means such as a monitor (not shown) in FIG.

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

FIG. 2 is a block 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 limited symbol elimination unit 12, and an imaging unit 13.

Feature calculation unit 11, a logical expression input based on (hereinafter, the first referred to as a logical expression) [psi _sys, said logical expression that contains a description of the features to be represented on the graph G (in the following , Second logical formula) R _image is generated and output. When generating the second logical expression R _image , the feature calculation unit 11 inputs the first-order predicate logical expression φ _** to the limiting symbol elimination unit 12 at least once.

When the limiting symbol elimination unit 12 receives the first-order predicate logical expression φ _** from the feature calculation unit 11, the limiting symbol elimination unit 12 processes the first-order predicate logical expression according to the limiting symbol elimination method, and features the obtained expression R _** . It is output to the calculation unit 11.

The feature calculation unit 11 outputs the second logical expression R _image to the imaging unit 13 when the second logical expression R _image is generated using the expression R _** input from the limiting symbol deletion unit 12.

The imaging unit 13 generates the image 50 including the graph G using the second logical expression R _image and causes the monitor or the like to output the image 50.

Although the above description exemplifies the case where one information processing apparatus is provided with the functions of all the configurations, the present invention is not limited to this. For example, the function may be distributed to a plurality of information processing apparatuses, and the above process may be executed by an energy management support system including a plurality of information processing apparatuses.

Further, all or a part of each part constituting the energy management support apparatus 1 of FIG. 2 may be configured by a program. When the configuration of the energy management support apparatus 1 is a program, for example, a control program for executing the above method is stored in advance in a memory of an information processing apparatus or the like, and a control unit not shown in FIG. By performing the operation, the same function / effect can be obtained.

As described above, according to the energy management support device 1 of the present invention, it is necessary for the user to determine the optimum heat load distribution in the air conditioning system with reference to the graph G in the image 50. Information is extracted and presented in a way that is easy for the user to use. In the following, it will be specifically described what information is to be extracted and how to extract the extracted information in a graph G to be presented to the user.
First Embodiment
Before describing the configuration and operation of the energy management support apparatus 1 according to the present embodiment, first, an analysis target of the energy management support apparatus 1 according to the present embodiment will be described.

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

As shown in FIG. 3, in the supply and demand grid system model in the present embodiment, four refrigerators 1 to 4 as heat source equipment are provided to supply the thermal load L [kW] required by the air conditioning target space in the air conditioning system. Have.

Power consumption of power supplies power of P [kW] against four refrigerator 1-4, refrigerator 1-4, _P 1 _~ P 4 respectively from the power supply receives a supply [kW] Do. The four refrigerators 1 to 4 respectively supply heat loads of L ₁ to L ₄ [kW] to the air conditioning target space, and the power demand of the air conditioning target space is L [kW].

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

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 heat load (= the demand amount of the heat load of the air conditioning target space) _Li [kW] to be supplied to the air conditioning target space of the refrigerator i (i = 1, 2, 3, 4), the power consumption of the refrigerator i P _i [kW], the outside air temperature T [° C.], and so on.

... (1-1)

As shown in Formula group (1-1), the respective refrigerators 1 to 4 have different sensitivities to the outside air temperature. From Equation group (1-1), refrigerating machine 1-3 is a function of the power _P 1 ~ _{P 3} is the outside air temperature T, it can be seen that the power consumption _P 1 ~ _{P 3} is dependent on the outside air temperature. Further, the refrigerator 4, the power consumption P ₄ is not a function of the outside air temperature T, and I'm not dependent on the outside air temperature.

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

... (1-2)

The power consumption characteristics of the refrigerators 1 to 4 at the time of stop are as shown in the formula group (1-3) in FIG. The following formula group (1-3), (demand of the heat load of the space to be air-conditioned) refrigerator i is heat load supplied to the space to be air-conditioned using a logical "∧" is a logic symbol L _i is " In the case of 0 [kW], the logical expression indicates that the power consumption P _i of the refrigerator _i is “0 [kW]”.

... (1-3)

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

FIG. 5 is a view for explaining the relationship between the outside air temperature T and the power consumption characteristics of the refrigerators 1 to 4 in the present embodiment. FIG. 5 (a) shows the power consumption characteristics of each of the refrigerators 1 to 4 when the outside air temperature T is 25 [.degree. C.] which is the lower limit, and FIG. 5 (b) shows the upper limit of the outside air temperature T. Indicates that it is 35 [° C.].

In the example shown in FIG. 5, the power consumption characteristics (efficiency) of the refrigerators 3 and 4 are reversed between 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 showing the relationship between the demand L of the heat load and the power consumption P in the above example. The specific contents of the logical formula _{sys sys} (L, P) are described partially for convenience, both in the following description and in FIG. 6, and the drawings referred to in the following description and explanation will be described. The same is true.

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

The logical expression shown in FIG. 6 is generated by generating a first-order predicate logical expression based on the expression (groups) (1-1) to (1-4) shown in FIG. _sys Find _sys (L, P). The method of obtaining the logical formula _{sys sys} (L, P) in FIG. 6 uses a known technique, and thus the description thereof is omitted here.

FIG. 7 is a diagram visualizing the logical expression ψ _sys (L, P) of FIG. Gray area A_pusai _sys in FIG 7 (L, P) is a region satisfying the first logical expression [psi _sys in FIG 6 (L, P).

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

FIG. 8 is a diagram for explaining the calculation process performed by the feature calculation unit 11 in the present embodiment.

When receiving the input of the first logical expression _{sys 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). Generate

The feature calculation unit 11 replaces the power consumption P of the input first logical expression ψ _sys (L, P) with P ′, and the logical expression obtained by the replacement and the logical expression (1-5) Combine to create the following logical expression ψ _min1 (L, P, P ′). By the logical product of the logical expression (1-5) and the logical expression _{sys sys} (L, P ′) obtained by substitution, the lower limit value of P in the first logical expression is a predetermined value or more (1.5 [kW in the embodiment Or more) an area having a large value is identified.

The symbol “==” represents that it is an equivalent expression.

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

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

FIG. 10 is a diagram for explaining the arithmetic processing performed by the limiting symbol eraser 12.

When the restriction symbol elimination unit 12 receives the logical expression φ _min1 (L, P, P ′) of FIG. 9 from the feature calculation unit 11, as shown in FIG. 10, the logical expression φ _min1 (L, P, P Perform restriction symbol elimination for '). From the logical expression R _min1 (L, P) _thus obtained, the _parameter P ′ to which the feature calculation unit 11 has added the presence symbol “∃” in the calculation process of FIG. 9 is deleted.

... (1-7)

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

The area A_R _min1 (L, P) is an area that takes a value larger than a lower limit of the power consumption P of the first logical formula _{sys sys} (L, P) by a predetermined value (1.5 [kW] in the embodiment) or more. It corresponds to In other words, among the areas satisfying the first logical formula _{sys sys} (L, P), the area A_R _{min1 in} FIG. L, P) are excluded.

The feature calculation unit 11 performs the following calculation on the basis of the input first logical expression _{sys sys} (L, P) of FIG. 6 separately from the above-described calculation processing. Then, a logical expression R _min2 (L, P) representing an area taking the power consumption P in the first logical expression _{sys sys} (L, P) or more is obtained.

FIG. 12 is a diagram for explaining calculation 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 sys} (L, P) in FIG. Similar to the operation processing described in FIG. 8, the feature calculation unit 11 performs logical operation on the generated logical expression and an expression in which the parameter P of the first logical expression _{sys sys} (L, P) is replaced with P ′. Combine to generate a logical expression. The logical product of the logical expression (1-8) and the logical expression _{sys sys} (L, P ′) obtained by substitution identifies an area having a value equal to or more than the lower limit value of P in the first logical expression. The logical expression ψ _min2 (L, P, P ′) generated here is as follows.

FIG. 13 is a diagram for explaining the calculation processing that the feature calculation unit 11 further performs on the logical expression ψ _min2 (L, P, P ′) in FIG. The feature calculation unit 11 performs the same processing as the calculation described above with reference to FIG. That is, the feature calculation unit 11, a logical expression [psi _min2 of FIG. 12 (L, P, P') to impart existential quantifier "∃" for the parameter P'of the following first-order logic formulas phi _min2 (L , P, P ').

FIG. 14 is a diagram for explaining the arithmetic processing performed by the limiting symbol eraser 12.

When the logical expression φ _min2 (L, P, P ′) of FIG. 13 is input from the feature calculation unit 11, the limiting symbol elimination unit 12 is input, as in the case described above with reference to FIG. The restriction symbol elimination is performed on the logical expression φ _min2 (L, P, P ′). From the logical expression R _min2 (L, P) obtained thereby, the parameter P ′ to which the feature calculating unit 11 has added the presence symbol “記号” in the calculation processing of FIG. 13 is deleted.

... (1-9)

FIG. 15 is a diagram illustrating a result of visualizing a region which is satisfied by the logical expression R _min2 (L, P) obtained by the restrictive symbol elimination. The region A_R _min2 (L, P) corresponds to the region above the lower limit of the first logical expression _{sys 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 calculation of the feature calculation unit 11 and the limiting symbol 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 lower limit of the power consumption P is 1.5 kW for the area A_R _min1 (L, P) than the area 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 for describing a method of generating the second logical expression R _min (L, P) by the feature calculation unit 11 in the present embodiment.

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

... (1-10)

In the formula (1-10), it corresponds to the range from the lower limit of P of the first logical formula _{sys sys} (L, P) to 1.5 [kW], that is, the width set in the logical formula (1-5) Area is extracted.

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

FIG. 18 is a diagram illustrating the 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 formula R _min (L, P) determined by the energy management support device 1, a first logical formula _{sys sys} representing the relationship between the heat load demand L and the power consumption P. (L, P) is represented in the graph G1.

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

The first logical expression is represented by the parameters L and P. From this, as a method of highlighting the lower limit of power consumption P, for example, a method of plotting and displaying the lower limit on a graph by changing L and finding the minimum value of P corresponding to each is also displayed. Conceivable. However, when an image is generated in such a bitmap format, depending on the resolution of the image 50, the lower limit of P can not necessarily be expressed strictly. That is, a certain coordinate (L, P) to be highlighted is not necessarily located on the pixel of the image 50. In this case, the pixel closer to the P direction on the pixel is selected to highlight the pixel, and the lower limit can not be accurately represented on the graph. On the other hand, in the above embodiment, such a situation is avoided by obtaining an equation representing an area to be highlighted by expanding the range from the lower limit by a predetermined range (1.5 [kW] in the example). There is. Thus, according to the present embodiment, it is possible to highlight the lower limit of the power consumption P accurately while securing the visibility of the user.

Furthermore, when an area in a graph is enlarged and displayed, when the image is generated in a bitmap format, there is a problem that 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, the power consumption can be properly consumed without degrading the image quality even when a part of the image in FIG. Highlighting of the lower limit of P is possible.
Second Embodiment
In the above embodiment, a graph G1 is generated in which the lower limit of the power consumption P is highlighted with respect to the input first logical expression. On the other hand, in the present embodiment, a graph G2 is generated in which the upper limit of the power consumption P is highlighted with respect to the input first logical expression.

Hereinafter, a method of generating the graph G2 in which the upper limit of the power consumption P in the first logical expression is highlighted by the energy management support apparatus 1 according to the present embodiment will be described.

Also in the present embodiment, the supply and demand system model to be analyzed by the energy management support apparatus 1, the characteristic equation thereof, and the change range of the outside air temperature are as shown in FIG. 3 to FIG. Further, since the first logical expression _{sys sys} (L, P) input to the energy management support apparatus 1 is also as shown in FIG. 6 and FIG. 7, the description thereof will be omitted here.

FIG. 19 is a diagram for explaining the calculation process performed by the feature calculation unit 11 in the present embodiment. As in the above embodiment, when the feature calculation unit 11 receives an input of the first logical expression _{sys sys} (L, P), the feature calculation unit 11 uses the parameter P ′ to set the logical expression “P ≦ P′−1.5. "(2-1) is generated.

The feature calculation unit 11 combines the generated logical expression (2-1) with an expression obtained by replacing the parameter P of the first logical expression _{sys sys} (L, P) with P ′ by logical multiplication. By the logical product of the logical expression (2-1) and the logical expression _{sys sys} (L, P ′) obtained by substitution, the upper limit of P in the first logical expression is not less than a predetermined value (1.5 [in the embodiment, The region having a small value is identified.

FIG. 20 is a diagram for explaining calculation processing further performed by the feature calculation unit 11 on the generated logical expression ψ _max1 (L, P, P ′) of FIG. The feature calculation unit 11 adds the 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 ′) are generated.

FIG. 21 is a diagram for explaining the arithmetic processing performed by the limiting symbol eraser 12.

When the limiting symbol elimination unit 12 receives the logical expression φ _max1 (L, P, P ′) of FIG. 20 from the feature calculation unit 11, as shown in FIG. 21, the logical expression φ _max1 (L, P, P Perform restriction symbol elimination on '). From the logical expression R _max1 (L, P) thus obtained, the parameter P ′ to which the feature calculation unit 11 has added the presence symbol “∃” in the calculation process of FIG. 20 is deleted.

... (2-2)

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

In the area A_R _max1 (L, P), an area having a value equal to or less than a predetermined value (1.5 [kW] in the embodiment) from the upper limit of the power consumption P of the first logical formula _{sys sys} (L, P) It corresponds to In other words, among the areas satisfying the first area _{sys sys} (L, P), the area A_R _max1 (L in FIG. , P) are excluded.

The feature calculation unit 11 further performs the following operation based on the input first logical expression ψ _sys (L, P) in FIG. Then, a logical expression R _max2 (L, P) representing a region taking an upper limit value or less of the power consumption P in the first logical expression _{sys sys} (L, P) is obtained.

FIG. 23 is a diagram for explaining calculation 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 sys} (L, P) in FIG.

The feature calculation unit 11 combines the generated logical expression and an expression in which the parameter P is replaced with P ′ in the first logical expression _{sys sys} (L, P), as in the above embodiment, Generate a logical expression. The logical product of the logical expression (2-3) and the logical expression ψsys (L, P ′) obtained by substitution identifies an area having a value equal to or less than the upper limit value of P in the first logical expression. The logical expression ψ _max2 (L, P, P ′) generated here is as follows.

FIG. 24 is a diagram for explaining the calculation processing which the feature calculation unit 11 further performs on the logical expression ψ _max2 (L, P, P ′) of FIG. The feature calculation unit 11 assigns the 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 ′) are generated.

FIG. 25 is a diagram for explaining the arithmetic processing performed by the limiting symbol eraser 12.

Quantifier elimination unit 12, logical expression phi _max2 of Figure 24 from feature calculation block 11 the (L, P, P') is input, similarly to the foregoing embodiment and the like, logical expression entered phi _max2 ( Perform the limited symbol elimination for L, P, P ′). From the logical expression R _max2 (L, P) thus obtained, the parameter P ′ to which the feature calculating unit 11 has added the presence symbol “∃” in the calculation processing of FIG. 24 is deleted.

... (2-4)

FIG. 26 is a diagram illustrating the result of visualizing a region satisfied by the logical expression R _max2 (L, P) obtained by the elimination of the restrictive symbol. The region A_R _max2 (L, P) corresponds to the region below the upper limit of the first logical expression _{sys sys} (L, P).

FIG. 27 shows regions A_R _max1 (L, P) and R _max2 (L, P) that satisfy the two logical expressions R _max1 (L, P) obtained by the calculation of the feature calculation unit 11 and the limited symbol 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 lower limit of the power consumption P is 1.5 kW for the area A_R _max1 (L, P) than the area 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 for describing a method for the feature calculation unit 11 to obtain the second logical expression R _max (L, P) in the present embodiment.

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

... (2-5)

In the formula (2-5), the range from the upper limit of the power consumption P of the first logical formula _{sys sys} (L, P) to 1.5 [kW], that is, the width set by the logical formula (2-1) The region corresponding to is extracted.

The feature calculation unit 11 outputs the above logical expression R _max (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 amount 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 highlighting 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 formula R _max (L, P) determined by the energy management support device 1, a first logical formula _{sys sys} representing the relationship between the heat load demand L and the power consumption P. (L, P) is represented in the graph G2.

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

Also according to this embodiment, the same effect as that of the first embodiment can be obtained. That is, a formula representing a fixed width (1.5 [kW] in the embodiment) from the upper limit is obtained by formula processing, and highlighting is performed based on this, thereby ensuring correct visibility of the user while ensuring user's visibility. The upper limit of P is highlighted. In addition, even when the display is enlarged, it is possible to prevent the deterioration of the image quality.

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

Hereinafter, various operations are performed on the first logical expression by the energy management support apparatus 1 according to the present embodiment to generate a second logical expression, and a desired second logical expression is generated based on the generated second logical expression. A method of obtaining an image 50 including a graph will be specifically described.

In the present embodiment, the supply and demand grid 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, characteristic formulas and the like of the respective refrigerators 1 to 4 constituting the supply and demand grid model are different from those in the above embodiment.

FIG. 30 is a diagram illustrating the expressions of the change range of the power consumption characteristic and the outside air temperature in the present embodiment for the refrigerators 1 to 4 constituting the supply and demand grid model shown in FIG.

Formula group (3-1) showing power consumption characteristics at the time of operation of refrigerators 1 to 4 shown in FIG. 30, formula group (3-2) indicating upper and lower limits of heat load of refrigerators 1 to 4 at stop The mathematical expression group (3-3) representing the power consumption characteristics differs from FIG. 4 in that all four refrigerators 1 to 4 are represented by the same characteristic formula.

... (3-1)

... (3-2)

... (3-3)

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

FIG. 31 is a view for explaining the relationship between the outside air temperature T and the power consumption characteristics of the refrigerators 1 to 4 in the present embodiment. FIG. 31 (a) shows the power consumption characteristic of each of the refrigerators 1 to 4 when the outside air temperature T is 25 ° C., which is the lower limit thereof.

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

The logical formula sys _sys2 (L, P) shown in FIG. 32 is known based on the characteristic formulas (3-1) to (3-3) shown in FIG. 30 and the formula of the outside air temperature as well as the logical formula in FIG. It can be obtained by performing the elimination of the definite symbol for the first-order predicate logical expression using the technique of

FIG. 33 is a diagram for explaining the calculation process performed by the feature calculation unit 11 in the present embodiment. When receiving the input of the first logical expression sys _sys2 (L, P) in FIG. 32, the feature calculation unit 11 generates a 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 the logical expression (3-4) and the expression obtained by the replacement are logical products Combine to create the following formula line _line1 (L, P, P ′). The logical product of the logical expression sys _sys2 (L, P ′) obtained by substitution with the logical expression (3-4) and the power consumption direction of the first logical expression has a predetermined range of magnitude (in the embodiment, It is expanding by ± 1.5 [kW]).

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

FIG. 35 is a diagram for explaining the arithmetic processing performed by the limiting symbol eraser 12.

When the logical expression φ _line1 (L, P, P ′) of FIG. 34 is input from the feature calculation unit 11, the restriction symbol elimination unit 12 applies restriction symbols to the logical expression φ _line1 (L, P, P ′). Implement erase. From R _line1 (L, P) obtained in this manner, the parameter P ′ to which the feature calculation unit 11 adds the presence symbol “∃” in the calculation process of FIG. 34 is deleted.

... (3-5)

FIG. 36 is a diagram for explaining the arithmetic processing further performed by the feature calculation unit 11 on the logical expression R _line1 (L, P) (3-5) obtained by the elimination of the restrictive symbol.

The feature calculation unit 11 further uses the parameter L _{′ with respect to} the logical expression R _line1 (L, P) (3-5) of FIG. 35 received from the limiting symbol erase unit 12 to _generate the logical expression “L−4 ≦ Generate L'L + 4 "(3-6).

The feature calculation unit 11 substitutes the heat load demand amount L of the logical expression R _line1 (L, P) input from the limiting symbol elimination unit 12 with L ′, and obtains an expression and a logical expression (3-5 And) by logical multiplication to create the following logical formula _{line line} (L, L ′, P). The logical product of the logical expression (3-6) and the logical expression R _line1 (L ′, P) obtained by substitution is the heat load of the logical expression R _line1 (L, P) obtained by the limitation symbol elimination of FIG. The range of the demand direction is expanded by a predetermined size (± 4 [kW] in the embodiment).

FIG. 37 is a diagram for explaining the calculation processing which the feature calculation unit 11 further performs on the logical expression _{line line} (L, L ′, P) in FIG. The feature calculation unit 11 adds the existing symbol “∃” to the parameter L ′ of the logical expression _{line line} (L, L ′, P) in FIG. 36 to add the following first-order predicate logical expression φ _line (L, L) ', P) is generated.

FIG. 38 is a diagram for explaining how 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. When the logical expression is input from the feature calculation unit 11, the restriction symbol elimination unit 12 performs restriction symbol elimination 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 the restriction symbol deletion.

When the feature calculation unit 11 receives the above-mentioned logical expression R _line (L, P) from the limiting symbol elimination unit 12, the characteristic calculation unit 11 outputs this 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 amount 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 _{sys sys2} (L, P) by the above-described process, in the vertical axis direction and in the horizontal direction. The area is enlarged in the axial direction.

As described above, in the present embodiment, the power consumption characteristics (efficiency) of the four refrigerators 1 to 4 are the same. In this case, even if the logical expression sys _sys2 (L, P) in FIG. 32 is visualized as it is, it may be difficult to use for analysis. For example, in the case of a linear spread or a point-like distribution as in a region satisfying the logical expression 2 _sys2 (L, P), visually recognize the relationship between the heat load demand amount L and the power consumption P It may be difficult. However, even in such a case, as in the example shown in FIG. 39, by appropriately enlarging and visualizing the region in the vertical axis direction and horizontal axis direction of the graph, it is possible for the user to use the visualization result. The effect is obtained that it is easy to analyze the 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 area.

In the above, the power consumption P on the vertical axis is expanded by ± 1.5 [kW], and the demand amount L of the thermal load on the horizontal axis is expanded by ± 4 [kW], but is limited to this It is not something to be done. Similar to 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 a point or a line by expanding the second logical expression R in the vertical axis direction or the horizontal axis direction in the appropriately set expansion range, the user 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 securing the visibility of the above.
Fourth Embodiment
In the first to third embodiments described above, a second area is generated based on the first logical expression, in which it is difficult for the user to confirm the first logical expression as viewed when the first logical expression is visualized as it is. Visualization is performed using the logical expression of to make it easy to use for analysis. On the other hand, in the present embodiment, the user can intuitively grasp whether the energy saving allowance is large or not from the graph showing the relationship between the demand amount L of the heat load and the power consumption P.

Hereinafter, a method will be described in which the energy management support apparatus 1 according to the present embodiment generates a graph G4 in which an area where the room for energy saving is at least a predetermined level is highlighted in the first logical expression.

In the present embodiment, the supply and demand grid model to be analyzed by the energy management support apparatus 1 is as shown in FIG. The characteristic formula and the change range of the outside air temperature are as shown in FIG. 4 and FIG. Moreover, since the first logical expression input to the energy management support device 1 is the logical expression _{sys sys} (L, P) shown in FIG. 6, the description will be omitted here.

FIG. 40 is a diagram for explaining the calculation process performed by the feature calculation unit 11 in the present embodiment. When receiving the input of the first logical expression _{sys sys} (L, P) shown in FIG. 6, the feature calculation unit 11 generates a logical expression (4-1) using the parameter P ′.

The feature calculation unit 11 is obtained by replacing the parameter P with P ′ in the generated logical expression (4-1), the first logical expression _{sys sys} (L, P), and the first logical expression. Combine the formula _{sys sys} (L, P ′) with a logical formula to obtain the following logical formula. 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 calculation processing further performed by the feature calculation unit 11 on the generated logical expression _{room room1} (L, P, P ′) of FIG. The feature calculation unit 11 adds the existing symbol “∃” to the parameters P and P ′ of the logical expression _{room room1} (L, P, P ′) in FIG. 40 ((4-2) in FIG. 41), First-order predicate formula φ _room1 (L, P, P ′) is generated.

FIG. 42 is a diagram for explaining the arithmetic processing performed by the limiting symbol eraser 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 Perform restriction symbol elimination on '). From the logical expression R _room1 (L) obtained thereby, the parameters P and P ′ to which the feature calculation unit 11 has added the presence symbol “∃” in the calculation processing of FIG. 41 are deleted.

... (4-3)

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

The feature calculation unit 11 logically combines the equation (4-3) obtained by deleting the parameters P and P 'in FIG. 42 with the first logical expression _{sys sys} (L, P) We obtain the formula R _room (L, P) of

The feature calculation unit 11 outputs the above-described logical expression R _room (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 amount 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) satisfied by the area of the first logical expression and the area A_R _room (L, P) satisfied by the second logical expression are displayed in color 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 over 75 [kW] is possible), that is, an area where the power consumption P can be reduced above a predetermined value. Can be used to contribute to effective analysis.
Fifth Embodiment
In the fourth embodiment described above, a region where there is a certain amount or more of the energy saving room is extracted and highlighted so that the user can easily grasp it intuitively. On the other hand, in the present embodiment, the user can easily grasp how much power consumption can be reduced intuitively.

Hereinafter, a method of generating a graph G5 in which the energy management support apparatus 1 according to the present embodiment displays how much room for reduction of power consumption is present in the first logical expression will be described. First, an 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 grid model that the energy management support apparatus 1 according to the present embodiment analyzes.

As shown in FIG. 45, in the supply and demand grid system model in the present embodiment, three refrigerators 1 to 3 are provided as heat source devices for supplying a heat load to the air conditioning target space in the air conditioning system. The power supply supplies power of P [kW] to the three refrigerators 1 to 3, and the three refrigerators 1 to 3 receive power from the power supply and receive P ₁ to P ₃ [kW] respectively. Consume power. The three refrigerators 1 to 3 supply thermal loads of L ₁ to L ₃ [kW] to the air conditioning target space, respectively, and the power demand of the air conditioning target space is L [kW].

FIG. 46 is a diagram illustrating the expressions of the change range of the power consumption characteristic and the outside air temperature in the present embodiment for the refrigerators 1 to 3 constituting the supply and demand grid model shown in FIG.

Formulas representing the power consumption characteristics at the time of operation of each of the refrigerators 1 to 3 are as shown in the formula group (5-1) in FIG.

... (5-1)

Formulas representing the upper and lower limits of the heat loads of the refrigerators 1 to 3 are as shown in the formula group (5-2) in FIG.

... (5-2)

The equations representing the power consumption characteristics at the time of shutdown of the refrigerators 1 to 3 are as shown in the equation group (5-3) in FIG.

... (5-3)

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

FIG. 47 is a view for explaining the relationship between the outside air temperature T and the power consumption characteristics of the refrigerators 1 to 3 in the present embodiment. FIG. 47 (a) shows the power consumption characteristics of each of the refrigerators 1 to 3 when the outside air temperature T is 25 ° C. and FIG. 27 (b) is 35 ° C.

As in the example, when the air conditioning target space has a configuration in which the heat load is required for a plurality of refrigerators, or when the power consumption characteristic of each refrigerator is due to the outside air temperature, the user It may be difficult to grasp whether energy saving effect will increase more by operating 1 to 3. For this reason, in the present embodiment, room for energy saving is determined by the following method to visualize it.

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

The logical expression _{sys sys3} (L, P) shown in FIG. 48 is obtained by generating a first-order predicate logical expression using the group of expressions shown in FIG. 46, and deleting a limiting symbol from the expression by limiting symbol elimination.

FIG. 49 is a diagram visualizing the logical expression _{sys sys3} (L, P) in FIG. Region A_ψ _sys3 (L, P) are color-coded in FIG. 49, the first logical expression ψ _sys3 (L, P) is a region satisfying.

In the graph of FIG. 49, although it can be confirmed to a certain extent whether or not the room for reduction of the power consumption P is large, it is difficult to grasp from the graph how much the power consumption P can actually be reduced. Therefore, how much power consumption can be reduced is determined by the following calculation.

FIG. 50 is a diagram for explaining the calculation process performed by the feature calculation unit 11 in the present embodiment.

When _receiving the input of the first logical expression ψ _sys3 (L, P) in FIG. 48, the feature calculation unit 11 generates a 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 the logical expression obtained by the replacement and the logical expression (5-5) Combine to create the following logical expression _{effect effect1} (L, P, P ′). By the logical expression _{論理 sys3} (L, P ′) obtained by the logical expression (5-5) and substitution, an 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 the calculation processing that the feature calculation unit 11 further performs on the logical expression ψ _effect1 (L, P, P ′) in FIG.

The feature calculation unit 11 adds the existence symbol “∃” to the parameter P ′ of the logical expression _{effect effect1} (L, P, P ′) of FIG. 50, and the following first-order predicate logical expression φ _effect1 (L, P , P ′) are generated.

FIG. 52 is a diagram for explaining the arithmetic processing performed by the limiting symbol eraser 12.

When the logical expression φ _effect1 (L, P, P ′) of FIG. 51 is input from the feature calculation unit 11, the restriction symbol erasing unit 12 erases the restriction symbol with respect to the input logical expression as shown in FIG. Conduct. From the obtained logical expression R _effect1 (L, P), the _parameter P ′ to which the feature calculation unit 11 has added the presence symbol “∃” in the calculation process of FIG. 51 is deleted.

... (5-6)

According to the arithmetic processing shown in FIGS. 50 to 52 described above, the feature calculation unit 11 is a logic representing an area that takes “a value larger than the first logical formula 3 _sys3 (L, P) in FIG. The equation R _effect1 (L, P) is obtained. Similarly, feature calculation unit 11, based on the first logical expression [psi _sys3 in FIG 48 (L, P), further performs the following calculation, "the first logical expression [psi _sys3 (L respect power consumption P, P A logical expression R _effect2 (L, P) representing an area having the above values is obtained.

FIG. 53 is a diagram for explaining calculation 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 _{sys sys3} (L, P) in FIG.

The feature calculation unit 11 _{creates the} logical formula _{effect effect2} (L, P, P ′) by the same method as when creating the logical formula _{effect effect1} (L, P, P ′) in FIG. That is, the feature calculation unit 11 substitutes the power consumption P of the input first logical expression _{sys sys3} (L, P) with P ′, and the expression obtained by the substitution and the logical expression (5-7) are logically _Combining by products, the following logical formula ψ _{effect 2} (L, P, P ′) is created. From the region satisfying the first logical expression, the region having the parameter P of P ′ or more is specified by the logical expression _{sys sys3} (L, P ′) obtained by the logical expression (5-7) and the substitution.

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

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 adds the existence symbol “∃” to the parameter P ′ of the generated logical expression _{effect effect2} (L, P, P ′) of FIG. 53, and the following first-order predicate logical expression φ _{effect 2} Generate (L, P, P ').

FIG. 55 is a diagram for explaining the arithmetic processing performed by the limiting symbol eraser 12.

The limited symbol elimination unit 12 performs limited symbol elimination in the same manner as in FIG. 52 to obtain the logical expression R _effect2 (L, P). That is, when the logical expression φ _effect2 (L, P, P ′) of FIG. 54 is input from the feature calculation unit 11, the restriction symbol erasing unit 12 performs the restriction symbol erasing on the input logical expression. From the obtained logical expression R _effect2 (L, P), the _parameter P ′ to which the feature calculating unit 11 has added the existence symbol “∃” in the calculation processing of FIG. 54 is deleted.

... (5-8)

The two logical expressions R _effect1 (L, P) and R _{effect 2} (L, P) obtained by the above method are respectively larger than the lower limit value of the power consumption of the first logical expression 3 _{sys 3} (L, P) The area represents the area above the lower limit value. From this, in the first embodiment, the lower limit value of the first logical expression _{sys sys3} (L, P) is extracted by the same method as the method of extracting the region of a certain width from the lower limit of power consumption. .

FIG. 56 is a diagram for describing a method for the feature calculation unit 11 to generate a logical expression R _effect3 (L, P) representing the lower limit value of the first logical expression _{sys sys3} (L, P) in the present embodiment. .

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

... (5-9)

In Expression (5-9), the lower limit value of the first logical expression _{sys sys3} (L, P) is extracted by exclusive logic XOR.

FIG. 57 is a diagram for explaining calculation processing 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 equation (5-9) is replaced with P′−P. Then, the power consumption P of the logical expression R _effect3 (L, P′-P) generated by the substitution and the first logical expression _{sys sys3} (L, P) is replaced with P ′, and the expression _{sys sys3} obtained by the substitution By combining L and P ′) with a logical product, the following logical formula _{effect effect} (L, P, P ′) is created. 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 the calculation processing that the feature calculation unit 11 further performs on the logical expression _{effect effect} (L, P, P ′) in FIG.

The feature calculation unit 11 adds the existence symbol “∃” to the parameter P ′ of the logical expression _{effect effect} (L, P, P ′) in FIG. 57, and the following first-order predicate logical expression _{effect effect} (L, P , P ′) are generated.

FIG. 59 is a diagram for explaining the arithmetic processing performed by the limiting symbol eraser 12.

When the restriction symbol elimination unit 12 receives the logical expression _{effect effect} (L, P, P ′) of FIG. 58 from the feature calculation unit 11, as shown in FIG. 59, the restriction symbol elimination unit 12 outputs the logical expression φ _effect (L, P, P The restriction symbol elimination is performed for '' to obtain a 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 has added the presence symbol “∃” in the calculation process of FIG. 58 is deleted.

... (5-10)

The logical expression R _effect (L, P) (5-10) obtained by the elimination of limited symbols is a _reducible amount of P corresponding to L of the first logical expression _{sys sys 3} (L, P), ie, P It represents how much from the lower limit to the upper limit.

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

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

The region A_R _effect (L, P) in FIG. 60 allows the user to increase the room for energy saving by setting how much demand L of the power of the space to be air-conditioned in FIG. Makes it easy to grasp how much energy saving room P is available. This contributes to effective analysis.
Sixth Embodiment
In the first to fifth embodiments described above, when the first logical formula ψ _** input to the energy management support device 1 is visualized as it is, it is difficult to intuitively recognize an area where confirmation is not easy or intuitively. Information visualization is done. On the other hand, in the present embodiment, when visualizing the first logical formula ψ _** , the range of the vertical axis and the horizontal axis of the graph is appropriately determined based on the respective maximum value and minimum value. Draw a graph of the appropriate size by setting it.

Hereinafter, the maximum value and the minimum value of the power consumption P of the first logical expression and the demand amount L of the thermal load are determined by the energy management support device 1 according to the present embodiment, and the first logical expression is visualized based thereon Explain how to do

In addition, in this embodiment, the supply-and-demand system model which the energy management support apparatus 1 makes analysis object is as showing in FIG. The power consumption characteristic formula of the supply and demand grid model, the change range of the outside air temperature, and the like are also as described with reference to FIGS. 4 and 5. Then, the first logical expression _{sys sys} (L, P) input to the energy management support apparatus 1 is also as shown in FIGS. 6 and 7, and is as described above.

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

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

First, as shown in FIG. 61, when the input of the first logical expression _{sys sys} (L, P) is received, the feature calculation unit 11 adds the existing symbol “∃” to the parameter P, and A rank predicate logical expression φ _L-range (L, P) is generated.

FIG. 62 is a diagram for explaining the arithmetic processing performed by the limiting symbol eraser 12.

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

... (6-1)

The equation obtained as a result of performing the elimination of limited symbols is not limited to a linear equation for the parameter L as in the equation (6-1), but may be a quadratic or higher equation. Therefore, when the feature calculation unit 11 receives the logical expression R _L-range (L) from the limiting symbol elimination unit 12, the feature calculation unit 11 further performs the following arithmetic processing.

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

Feature calculation unit 11 with respect to formulas _{R L-range} (L) of FIG. 62, from the condition satisfying the minimum value _{L min} of demand L of the thermal load, the logical expression of the upper part of FIG. 63 ψ _{L-min (L} , L _min ). This will be further described with reference to FIG.

FIG. 64 is a diagram for explaining the logical expression ψ _L-min (L, L _min ). FIG. 64 (a) is a diagram for explaining the logical expression "L <L _range ¬R _L-range (L)" (6-2) of FIG. 63, and FIG. 64 (b) is a logic of FIG. It is a figure explaining Formula "R _L-range (L _min )" (6-3).

First, as shown in FIG. 64 (a), 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 represents that it is out of the range of the range (¬R _L-range (L)).

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

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

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

... (6-4)

When the restriction symbol elimination unit 12 receives the above-mentioned logical expression φ _L-min (L, L _min ) (6-4) from the feature calculation unit 11, as shown in the lower part of FIG. We perform the restriction elimination on the equation φ _L-min (L, L _min ) (6-4). By the limited symbol elimination, as shown in the following equation (6-5), the minimum value L _min “0” can be obtained for the heat load demand amount L.

... (6-5)

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

The feature calculation unit 11 generates the logical expression in the upper part of FIG. 65 based on the same idea as the logical expression ψ _L-min (L, L _min ) described above with reference to FIGS. 63 and 64. 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 Does not belong to (¬R _L-range (L)). When expressed as a logical expression, the logical expression (6-6) at the top of FIG. 65 corresponds to this.

Also, the value corresponding to the maximum value L _max belongs to the region where L satisfies (R _L-range (L _max )). In the logical expression, the logical expression (6-7) at the top of FIG. 65 corresponds to this.

The logical expression ψ _L-max (L, L _max ) in the upper part of FIG. 65 is described by two logical expressions (6-6) and (6-7) of the heat load demand L and its maximum value L _max. To meet the conditions.

As shown in the middle part of FIG. 65, the feature calculation unit 11 adds a universal symbol “∀” to the parameter L with respect to the above logical expression ψ _L−max (L, L _max ), and the following first-order predicate logic Generate the equation φ _{L -max} (L, L _max ).

... (6-8)

When the above-described φ _{L -max} (L, L _max ) (6-8) is input from the feature calculation unit 11 to the limiting symbol elimination unit 12, as shown in the lower part of FIG. In addition, implement the limited symbol elimination. With the elimination of the limiting symbol, the maximum value L _max "728" can be obtained for the heat load demand amount L, as shown in the following equation (6-9).

... (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 concept as the case of obtaining the maximum value and the minimum value of the demand amount L described above. Next, a method of determining 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 explaining 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 input of the first logical expression _{sys sys} (L, P) is received, the feature calculation unit 11 adds the existing symbol “∃” to the parameter L, and A rank predicate logical expression φ _P-range (L, P) is generated.

FIG. 67 is a diagram for explaining the arithmetic processing performed by the limiting symbol eraser 12.

The limited symbol elimination unit 12 performs limited symbol elimination 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 has added the presence symbol “∃” in the calculation process of FIG. 66 is deleted.

... (6-10)

Similar to the above logical expression (6-1), the expression obtained as a result of performing the elimination of the restricted symbol is not limited to the linear expression for the parameter P as in the expression (6-10), and 2 It may be the following equation or more. Therefore, when the feature calculation unit 11 receives the logical expression R _P-range (P) from the limiting symbol elimination unit 12, the feature calculation unit 11 further performs the following arithmetic processing.

FIG. 68 is a diagram for explaining calculation 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).

Feature calculation unit 11 with respect to formulas _{R P-range} (P) in FIG. 67, the power consumption P and from its minimum value _{P min} is satisfied condition, logical expression of the upper part of FIG. 68 [psi _P-min (P, P _min ) is generated.

... (6-11)

The above equation (6-11) is generated based on the same idea as the above ψ _L-min (L, L _min ). That is, assuming that the minimum value P _{min of the} power consumption P, if the value of P is smaller than P _min (P <P _min ), the corresponding value P is in the region where the logical expression R _P-range (P) satisfies It does not belong (¬R _P-range (P)). At the same time, the value corresponding to the minimum value P _min belongs to the region that P satisfies ( _RP-range (P _min )). Formula (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 universal 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 restriction symbol elimination unit 12 receives the above logical expression φ _P-min (P, P _min ) (6-12) from the feature calculation unit 11, as shown in the lower part of FIG. We perform the restriction elimination on the equation φ _P-min (P, P _min ) (6-12). By the limited symbol elimination, as shown in the following equation (6-13), the minimum value P _min "0" can be obtained with respect to the power consumption P.

... (6-13)

FIG. 69 is a diagram for describing calculation 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.

The characteristic calculation unit 11 compares the logical expression R _P-range (P) in FIG. 67 with the logical expression ψ _{P -max} (P, P in the upper part of FIG. 69) under the condition that the power consumption P and its maximum value P _max satisfy. Generate _max ).

... (6-14)

_Assuming that the maximum value P _{max of the} power consumption P, if the value of P is larger than P _max (P> P _max ), the corresponding value P does not belong to the region that the logical expression R _P-range (P) satisfies (¬R _P-range (P)). Also, the value R _P-range (P _max ) corresponding to the maximum value P _max belongs to the region that the logical expression satisfies (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 a universal symbol “∀” to the parameter P with respect 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 restriction symbol elimination unit 12 receives the above-mentioned φ _{P -max} (P, P _max ) (6-15) from the feature calculation unit 11, as shown in the lower part of FIG. Perform the limited symbol elimination for _P-max (P, P _max ) (6-15). With the elimination of the limitation symbol, the maximum value P _max "2909097/10000" can be obtained with respect to the power consumption P, as shown in the following equation (6-16).

... (6-16)

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

FIG. 70 is a diagram illustrating a graph G6 generated by visualizing the first logical expression _{sys sys} (L, P) using the calculation results of FIG. 61 to FIG.

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

Assuming that a graph is drawn without obtaining the maximum value and the minimum value in each axis direction, for example, the drawing range at the time of generating the graph at the previous time is used as it is, or a previously set range is set. It will be used. Some of these methods, formulas ψ _sys (L, P) meets the region A_ψ _sys (L, P) is drawn, not necessarily be made in the appropriate size for the user to confirm. For example, and not fit to the area graph that satisfies a formula, for a range of the graph, the rendered regions A_ψ _{sys (L,} P) can occur that the size is too small. According to the present embodiment, the area A_ψsys (L, P) satisfying the logical expression _{sys sys} (L, P) is drawn at an appropriate size. Therefore, the user can more easily use the visualization result, which contributes to efficient analysis.
Seventh Embodiment
In the above embodiment, the convenience of the user is improved in the case where visualization is performed on a first logical expression input to the energy management support apparatus 1, that is, a supply and demand grid model. On the other hand, in the present embodiment, the user's convenience is improved when visualization is performed on two or more demand-supply system models.

Hereinafter, a method of visualization by the energy management support apparatus 1 according to the present embodiment will be described. In addition, in this embodiment, it is as showing in FIG. 3 about the supply-and-demand system model which the energy management support apparatus 1 analyzes. However, the characteristic formulas and the like of the respective refrigerators 1 to 4 constituting the supply and demand grid model are different from the above embodiment and are as shown in FIG. 71, which will be described.

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

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

... (7-1)

The expressions representing the upper and lower limits of the heat load of the refrigerators 1 to 4 are as shown in the mathematical expression group (7-2) in FIG.

... (7-2)

The power consumption characteristics of the refrigerators 1 to 4 at the time of stop are as shown in the formula group (7-3) in FIG.

... (7-3)

As in the above mathematical expression groups (7-1) to (7-3), the refrigerator 1 and the refrigerator 4 show the same characteristics. The change range of the outside air temperature T is the same as that of the above embodiment, and 25 ≦ T ≦ 35, and therefore, the description is omitted in FIG.

FIG. 72 is a diagram for explaining the relationship between the outside air temperature T and the power consumption characteristics of the refrigerators 1 to 4 in the present embodiment. FIG. 72 (a) shows the power consumption characteristics of each of the refrigerators 1 to 4 when the outside air temperature T is 25 [° C.] which is the lower limit, and FIG. 72 (b) shows the outside air temperature T being the upper limit Indicates that it is 35 [° C].

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

FIG. 73 is a diagram exemplifying a first logical expression showing the relationship between the demand L of the heat load and the power consumption P in the above-mentioned example.

FIG. 74 is a diagram visualizing the above-mentioned logical expression _{論理 sys4} (L, P). On the graph of FIG. 74, a region _{A_ψsys4} (L, P) that the logical expression _{sys sys4} (L, P) input to the energy management support device 1 satisfies is displayed.

When analyzing with reference to the visualized graph, the user not only analyzes a certain demand-supply system model but also compares two or more demand-supply system models, and which model is preferable etc. There is also something to consider. In the above example, of the four refrigerators 1 to 4 as in the example, the characteristics of the two refrigerators 1 and 4 are the same, and as shown in FIG. 4 and FIG. In the case where the characteristics of the refrigerators 1 to 4 are different from one another, the regions which the respective units meet are also different. In the present embodiment, with respect to two different logical expressions, the regions satisfied by each are simultaneously visualized in a form easy for the user to check.

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

In the graph G7 of FIG. 75, in addition to the logical expression _{sys sys4} (L, P) of FIG. 73, the logical expression _{sys sys} (L, P) of FIG. 6 is simultaneously visualized. The respective areas A_ψsys ₄ (L, P) and A_ψ _sys (L, P) are displayed in different colors, and areas overlapping between the two logical expressions are displayed in dark color.

Thus, according to the present embodiment, comparison and examination of two or more supply and demand system models is made possible. This contributes to effective analysis.

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

Further, in the above embodiment, although the case of simultaneously visualizing the (first) mutually different (first) logical expressions input to the energy management support device 1 is illustrated, the present invention is not limited to this. For example, the same effect can be obtained by applying to the case where it is desired to compare the second logical expressions obtained according to the above embodiment.

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

The present invention is not limited to the above-described embodiment as it is, and constituent elements can be modified and embodied without departing from the scope of the invention at the implementation stage. In addition, various inventions can be formed by appropriate combinations of a plurality of components disclosed in the above embodiments. For example, all components shown in the embodiments may be combined as appropriate. Furthermore, components in different embodiments may be combined as appropriate. Needless to say, various modifications and applications are possible without departing from the scope of the invention.

Claims (12)

1. An energy management support device for supporting analysis of a supply and demand system consisting of resource demand facilities and supply facilities,
   An input logical expression representing a relationship between the demand amount of the resource and energy consumed when supplying the resource is received, and a first first-order logical expression is generated based on the input logical expression, A feature calculation unit for generating an output logical expression including a description of a predetermined feature to be represented on a graph representing the relationship between the demand amount of resources and the 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 the first first-order logical expression is input from the feature calculation unit, a first intermediate logical expression obtained by processing the first first-order logical expression according to a limited symbol elimination method is generated. And a limited symbol elimination unit that outputs the feature calculation unit.
   An energy management support apparatus, wherein the feature calculation unit generates the output logical expression based on the first intermediate logical expression.
2. The feature calculation unit further generates a second first-order predicate logical expression based on the intermediate logical expression, and outputs the second first-order predicate logical expression to the limiting symbol elimination unit.
   The limiting symbol elimination unit generates a second intermediate logical expression based on a second first-order logical expression.
   Output to the feature calculator;
   The energy management support device according to claim 1, wherein the feature calculation unit generates the output logical expression based on the first and second intermediate logical expressions.
3. The feature calculation unit generates a plurality of the first first-order predicate logical expressions, and outputs the plurality of first first-order predicate logical expressions to the limited symbol elimination unit.
   The limiting symbol elimination unit generates the first intermediate logical expression for each of the first first-order logical expressions.
   Output to the feature calculator;
   The energy management support device according to claim 1, wherein the feature calculation unit generates the output logical expression based on a plurality of the first intermediate logical expressions.
4. The feature calculation unit generates, as the output logical expression, a logical expression that specifies a region in a predetermined range from at least one of the upper limit and the lower limit of the consumed energy in the input logical expression. The energy management support device according to any one of 1 and 3.
5. The feature calculation unit generates, as the output logical expression, a logical expression in which an area satisfied by the input logical expression is expanded in the direction of the energy consumption or the demand amount by a predetermined range. The energy management support device according to any one of 1 and 2.
6. The feature calculation unit generates, as the output logical expression, a logical expression representing an area in which the energy consumption can be reduced by a predetermined value or more among the regions satisfied by the input logical expression. Energy management support device as described.
7. The imaging unit draws a graph representing the relationship between the energy consumption and the demand for each of the input logical expression and the output logical expression, and the input is performed for the area that the output logical expression satisfies. The energy management support device according to claim 4, wherein the color is different from the region that the logical expression satisfies.
8. The imaging unit draws a graph representing the relationship between the energy consumption and the demand for each of the input logical expression and the output logical expression, and the input is performed for the area that the output logical expression satisfies. The energy management support device according to claim 6, characterized in that the color is different from the region that the logical expression satisfies.
9. The said feature calculation part produces | generates the logical expression showing the energy consumption which can be reduced as said output logical expression from the said input logical expression. It is described in any one of the Claims 1 to 3 characterized by the above-mentioned. Energy management support equipment.
10. The feature calculation unit generates, as the output logical expression, an expression that represents the maximum and minimum of the energy consumption and the demand amount from the input logical expression.
    The imaging unit draws a graph representing the relationship between the energy consumption and the demand amount represented by the input logic equation based on the energy consumption represented by the output logic equation and the maximum and minimum of the demand amount. The energy management support device according to any one of claims 1 and 3, wherein the range is determined and an image including the graph is generated.
11. The imaging unit color-codes a graph representing the relationship between the energy consumption and the demand based on one logical expression input to the feature calculation unit and another logical expression different from the one logical expression. The energy management support device according to claim 1, wherein the image drawn as described above is generated.
12. An energy management support program for causing an information processing apparatus to execute an energy management support process for supporting analysis of a supply and demand system consisting of resource demand facilities and supply facilities.
    When an input logical expression representing a relationship between the demand amount of the resource and the energy consumed when supplying the resource is received, a first first-order logical expression is generated based on the input logical expression. Generating an output logical expression including a description of a predetermined feature to be represented on a graph representing the relationship between the demand amount of resources and the energy consumption;
    A first intermediate logic expression is generated by processing the first first-order logic expression by a limiting symbol elimination method,
    Generating the output logical expression based on the first intermediate logical expression, and generating an image including a graph representing the predetermined feature based on the output logical expression;
    Energy management support program characterized by

Images