Energy analysis apparatus and recording medium

Patent metadata

Field	Value
Publication number	US-2016161926-A1
Application number	US-201615043498-A
Country	US
Kind code	A1
Filing date	Feb 12, 2016
Priority date	Jan 30, 2014
Publication date	Jun 9, 2016
Grant date	—

Abstract

An energy analysis apparatus that analyzes behaviors of a plant. The apparatus includes a processor coupled with a memory device and configured to execute instructions to provide (1) a plant information input unit for accepting inputs of device information indicating device models configuring the plant, and connection information indicating connection between the device models, (2) a plant analysis condition input unit for accepting an input of a plant analysis condition, and (3) a first-order predicate logical expression generation unit for generating a first-order predicate logical expression on the basis of the device information, the connection information and the plant analysis condition.

First claim

What is claimed is:

1 . An energy analysis apparatus that analyzes behaviors of a plant, the apparatus comprising:
a processor coupled with a memory device and configured to execute instructions to provide
a plant information input unit for accepting inputs of
device information indicating device models configuring the plant, and
connection information indicating connection between the device models;

a plant analysis condition input unit for accepting an input of a plant analysis condition; and
a first-order predicate logical expression generation unit for generating a first-order predicate logical expression on the basis of the device information, the connection information and the plant analysis condition.

2 . The energy analysis apparatus according to claim 1 , wherein the processor is configured to execute the instructions to further provide:
a quantifier elimination unit for generating an output logical expression having no quantifiers by applying a quantifier elimination algorithm to the first-order predicate logical expression; and a visualization unit for generating an image from the output logical expression.

3 . The energy analysis apparatus according to claim 2 , wherein
the plant analysis condition input unit accepts an input of an evaluation axis for evaluating the plant as the plant analysis condition.

4 . The energy analysis apparatus according to claim 2 , wherein
the plant analysis condition input unit accepts inputs of two axes as evaluation axes for evaluating the plant, and the visualization unit generates a two-dimensional graph image corresponding to the two axes.

5 . The energy analysis apparatus according to claim 2 , wherein
the plant analysis condition input unit accepts an input of a running or a stopping state of a device that configures the plant, or a used or unused state as the plant analysis condition.

6 . The energy analysis apparatus according to claim 2 , wherein
the plant analysis condition input unit accepts, as the plant analysis condition, an input of a particular variable among information input via the plant information input unit, and an input of a value to be substituted for the particular variable.

7 . The energy analysis apparatus according to claim 2 , wherein when two or more plant analysis conditions are designated,
the quantifier elimination unit generates two or more output logical expressions that respectively correspond to the designated two or more plant analysis conditions, and the visualization unit generates the image from the two or more output logical expressions.

8 . The energy analysis apparatus according to claim 2 , wherein when two or more plant analysis conditions are designated,
the quantifier elimination unit generates two or more output logical expressions that respectively correspond to the designated two or more plant analysis conditions, and the visualization unit generates a plurality of individual images from the two or more output logical expressions.

9 . The energy analysis apparatus according to claim 2 , wherein when a specified trigger caused by a time setting, an external signal or a user operation is applied,
the plant analysis condition input unit sets a new plant analysis condition on the basis of information collected from the plant, the first-order predicate logical expression generation unit recalculates the first-order predicate logical expression in accordance with the newly set analysis condition, the quantifier elimination unit recalculates the output logical expression for the first-order predicate logical expression generated with the recalculation, and the visualization unit updates the generated image.

10 . The energy analysis apparatus according to claim 2 , wherein the processor is configured to execute the instructions to further provide a plant configuration display unit for displaying a device configuration of the plant, wherein
the plant information input unit accepts the device information and the connection information via the device configuration of the plant displayed on the plant configuration display unit, and stores the accepted device information and connection information in a storage unit.

11 . The energy analysis apparatus according to claim 1 , wherein
the plant analysis condition input unit accepts an input of quantifier information associated with a type of a quantifier to be assigned, for each variable included in the device information.

12 . The energy analysis apparatus according to claim 11 , wherein the processor is configured to execute the instructions to further provide a storage unit for storing the device information, the connection information and the quantifier information, which are inputs via the plant information input unit and the plant analysis condition input unit, wherein
the plant information input unit accepts an addition or a deletion of the device information and the connection information to or from the storage unit, or a change in the information already stored in the storage unit.

13 . The energy analysis apparatus according to claim 11 , wherein
the plant information input unit accepts, as an input thereof, a mathematical expression in a form of an equation, an inequality or a logical expression, which represents the device information.

14 . The energy analysis apparatus according to claim 13 , wherein
the plant information input unit further accepts a running/stopping state indicating any of a continuously running state, a continuously stopping state, and a switchable state between the continuously running state and the continuously stopping state, a conditional expression of the continuously running state and a conditional expression of the continuously stopping state, and the first-order predicate logical expression generation unit generates the first-order predicate logical expression by using a conditional expression according to the set running/stopping state.

15 . The energy analysis apparatus according to claim 14 , wherein the processor is configured to execute the instructions to further provide a quantifier elimination unit for generating an equivalent logical expression having no quantifiers by processing the generated first-predicate logical expression resulting from applying a quantifier elimination algorithm, wherein
the plant analysis information input unit accepts, as part of the quantifier information, an input of an elimination priority indicating a priority level for eliminating a quantifier for each variable, the first-order predicate logical expression generation unit generates a first-order predicate logical expression, to which a quantifier and a variable to be eliminated are assigned, in accordance with the elimination priority, and the quantifier elimination unit obtains a logical expression by eliminating a quantifier assigned in accordance with the elimination priority by applying a quantifier algorithm to a first-order predicate logical expression provided from the first-order predicate logical expression generation unit, and outputs, to the first-order predicate logical expression generation unit, a logical expression obtained by a computation until no more quantifiers are included in the first-order predicate logical expression provided from the first-order predicate logical expression generation unit.

16 . The energy analysis apparatus according to claim 12 , wherein the processor is configured to execute the instructions to further provide a plant configuration display unit for visually displaying a device configuration of the plant, wherein
the pla

Assignees

• Fuji Electric Co Ltd

Inventors

• Tange Yoshio
• Kiryu Satoshi

Classifications

• G05B13/048 Primary

  using a predictor · CPC title