摘要 |
Provided is an energy analysis device which receives as input device models configuring a plant and information representing a connection among the device models of the plant, and analyzes the behavior of the plant. In the energy analysis device, a plant information input unit (1) accepts input of device information representing device models, and connection information representing a connection among the device models. An analysis condition input unit (2') accepts input of analysis condition information. On the basis of the device information, the connection information, and the analysis condition information, a first-order predicate logical expression generating unit (4) generates a first-order predicate logical expression. |