省エネルギー事前検討のための需給バランスを考慮したエネルギー最適化問題の可視化
スポンサーリンク
概要
- 論文の詳細を見る
Various energy management systems (EMSs) have been developed nowadays to achieve optimal supply and demand balance for energy saving. It is important to clarify the effectiveness and the cost merit for customers to accelerate to introduce EMSs. In this paper, we show a novel approach to visualize energy optimization problems in order to verify the effectiveness of EMSs. Our approach utilizes the customers' plant information such as specifications of facilities to generate mathematical models. The first order logic and quantifier elimination methods are utilized in order to analyze the mathematical models. Some examples are also shown to verify our approach.