(57)【要約】  資源の需要設備と供給設備とからなる需給系統の解析を支援するエネルギーマネジメント支援装置において、特徴計算部１１は、資源の需要量と消費エネルギーとの関係を表す入力論理式の入力を受け付けると、入力された論理式に基づいて、第一の一階述語論理式を生成するとともに、資源の需要量及び消費エネルギーの関係を表すグラフ上に表すべき所定の特徴の記述を含む出力論理式を生成する。画像化部１３は、特徴計算部１１が出力した出力論理式に基づき、所定の特徴を表したグラフを含む画像５０を生成する。限定記号消去部１２は、特徴計算部１１から第一の一階述語論理式が入力されると、限定記号消去法により第一の一階述語論理式を処理して得られる第一の中間論理式を生成、特徴計算部１１に出力する。特徴計算部１１は、第一の中間論理式に基づいて出力論理式を生成する。
2016051553.tif 000002
【特許請求の範囲】
【請求項１】
資源の需要設備と供給設備とからなる需給系統の解析を支援するエネルギーマネジメント支援装置であって、
前記資源の需要量と前記資源を供給する際に消費するエネルギーとの関係を表す入力論理式の入力を受け付け、前記入力論理式に基づいて、第一の一階述語論理式を生成するとともに、前記資源の需要量及び消費エネルギーの関係を表すグラフ上に表すべき所定の特徴の記述を含む出力論理式を生成する特徴計算部と、
前記特徴計算部が出力した前記出力論理式に基づき、前記所定の特徴を表したグラフを含む画像を生成する画像化部と、
前記特徴計算部から前記第一の一階述語論理式が入力されると、限定記号消去法により前記第一の一階述語論理式を処理して得られる第一の中間論理式を生成し、前記特徴計算部に出力する限定記号消去部と、を備え、
前記特徴計算部は、前記第一の中間論理式に基づいて前記出力論理式を生成すること
を特徴とするエネルギーマネジメント支援装置。
【請求項２】
前記特徴計算部は、さらに前記中間論理式に基づいて第二の一階述語論理式を生成し、前記限定記号消去部に出力し、
前記限定記号消去部は、第二の一階述語論理式に基づいて、第二の中間論理式を生成し、
前記特徴計算部に出力し、
前記特徴計算部は、前記第一と第二の中間論理式に基づいて前記出力論理式を生成する
ことを特徴とする請求項１記載のエネルギーマネジメント支援装置。
【請求項３】
前記特徴計算部は、前記第一の一階述語論理式を複数生成し、前記限定記号消去部に出力し、
前記限定記号消去部は、前記第一の一階述語論理式毎に、前記第一の中間論理式を生成し、
前記特徴計算部に出力し、
前記特徴計算部は、複数の前記第一の中間論理式に基づいて前記出力論理式を生成する
ことを特徴とする請求項１記載のエネルギーマネジメント支援装置。
【請求項４】
前記特徴計算部は、前記入力された論理式における前記消費エネルギーの上限または下限の少なくとも一方から所定の範囲の領域を特定する論理式を、前記出力論理式として生成する
ことを特徴とする請求項１および３のいずれか一項に記載のエネルギーマネジメント支援装置。
【請求項５】
前記特徴計算部は、前記入力された論理式が満たす領域を前記消費エネルギーまたは前記需要量の方向に所定の範囲だけ拡大した論理式を、前記出力論理式として生成する
ことを特徴とする請求項１および２のいずれか一項に記載のエネルギーマネジメント支援装置。
【請求項６】
前記特徴計算部は、前記入力された論理式が満たす領域のうち、前記消費エネルギーを所定値以上削減可能な領域を表す論理式を、前記出力論理式として生成する
ことを特徴とする請求項１記載のエネルギーマネジメント支援装置。
【請求項７】
前記画像化部は、前記入力された論理式及び前記出力論理式のそれぞれについて、前記消費エネルギー及び前記需要量の関係を表すグラフを描画し、前記出力論理式が満たす領域については前記入力された論理式が満たす領域と異なる色とする
ことを特徴とする請求項４に記載のエネルギーマネジメント支援装置。
【請求項８】
前記画像化部は、前記入力された論理式及び前記出力論理式のそれぞれについて、前記消費エネルギー及び前記需要量の関係を表すグラフを描画し、前記出力論理式が満たす領域については前記入力された論理式が満たす領域と異なる色とする
ことを特徴とする請求項６に記載のエネルギーマネジメント支援装置。
【請求項９】
前記特徴計算部は、前記入力された論理式より、削減可能な消費エネルギー量を表す論理式を、前記出力論理式として生成する
ことを特徴とする請求項１〜３のいずれか一項に記載のエネルギーマネジメント支援装置。
【請求項１０】
前記特徴計算部は、前記入力された論理式より、前記消費エネルギー及び前記需要量の最大及び最小を表す式を、前記出力論理式として生成し、
前記画像化部は、前記出力論理式が表す前記消費エネルギー及び前記需要量の最大及び最小に基づき、前記入力された論理式が表す前記消費エネルギーと前記需要量との関係を表したグラフの描画範囲を決定して、当該グラフを含む画像を生成する
ことを特徴とする請求項１および３のいずれか一項に記載のエネルギーマネジメント支援装置。
【請求項１１】
前記画像化部は、前記特徴計算部に入力された一の論理式及び該一の論理式とは異なる他の論理式基づき、前記消費エネルギーと前記需要量との関係を表したグラフをそれぞれ色分けして描画した画像を生成する
ことを特徴とする請求項１記載のエネルギーマネジメント支援装置。
【請求項１２】
資源の需要設備と供給設備とからなる需給系統の解析を支援するエネルギーマネジメント支援処理を情報処理装置に実行させるためのエネルギーマネジメント支援プログラムであって、
前記資源の需要量と前記資源を供給する際に消費するエネルギーとの関係を表す入力論理式の入力を受け付けると、前記入力論理式に基づいて、第一の一階述語論理式を生成するとともに、前記資源の需要量及び消費エネルギーの関係を表すグラフ上に表すべき所定の特徴の記述を含む出力論理式を生成し、
前記第一の一階述語論理式を限定記号消去法により処理することで第一の中間論理式を生成し、
前記第一の中間論理式に基づいて前記出力論理式を生成し、該出力論理式に基づき、前記所定の特徴を表したグラフを含む画像を生成する、
ことを特徴とするエネルギーマネジメント支援プログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、電力、ガス等の資源を供給する資源供給設備と資源を需要してエネルギーを消費する資源需要設備とを有する需給系統について、その解析を支援する技術に関する。
【背景技術】
【０００２】
近年、環境問題や燃料費高等の影響もあり、オフィスビル等を対象としたＢＥＭＳ（Building Energy Management System、ビルエネルギー管理システム）等の空調システムの制御による省エネへの取り組みが注目されている。【０００３】
空調システムでは、冷凍機等の熱源機器を複数用いるのが通常である。ここで、熱源機器の消費電力特性は、機器により異なる場合がある。また、空調システムを構成する熱源機器の消費電力特性は、外気の温度の影響を受けて変化する場合がある。このため、空調システムを運用する際に機器ごとの熱負荷配分を調整することで、省エネを実現することができる。【０００４】
機器ごとの熱負荷配分の調整方法に関しては、従来においては、外気温度の予測を利用して、数理最適化空調システム内の最適な熱負荷配分を決定する手法が開発されてきた。【０００５】
しかし、予測した外気温度において最も省エネとなる熱負荷配分を考慮するだけでなく、例えば、外気温度の変動を考慮した配分や、システム全体の消費電力の最適値を考慮した配分、また、機器の運転限界を回避した配分等を考慮することも、有益と考えられる。【０００６】
ここで、エネルギーマネジメントにおいて、限定記号消去法を用いて、資源の需要量と消費エネルギーとの関係を表す論理式を得てこれを可視化する技術が知られている（例えば、非特許文献１）。【０００７】
上記の空調システムの運用を支援する技術についても知られている（例えば、非特許文献２）。これによれば、消費電力特性が異なる機器で構築した空調システムに対し、限定記号消去法を使用して空調対象空間が要求する熱負荷需要と消費電力との関係を表す論理式を作成する技術が知られている。こうして作成した論理式を使用することで、外気温度の変動範囲に対応した消費電力の変動範囲や、機器ごとに熱負荷を調整した場合のシステム全体の消費電力の変化を表示する機能が実現される。また、ＧＵＩ（Graphical User Interface）操作で運転限界からの余裕と省エネ効果との間でバランスを調整する機能についても実現される。したがって、空調システムのオペレータは、その運用に際して、外気温度の変動やシステム全体の消費電力の最適値を考慮した熱負荷配分や、機器の運転限界を回避した熱負荷配分を実現することが可能となる。
【先行技術文献】
【非特許文献】
【０００８】
【非特許文献１】丹下吉雄、桐生智志、松井哲郎、福山良和、「省エネルギー事前検討のための需給バランスを考慮したエネルギー最適化問題の可視化」、電気学会論文誌Ｃ  Ｖｏｌ．１３４  Ｎｏ．１
【非特許文献２】桐生智志、丹下吉雄、松井哲郎、「数式処理による空調システム運用支援ツール」、平成２６年電気学会全国大会
【発明の概要】
【発明が解決しようとする課題】
【０００９】
上記のとおり、公知のエネルギーマネジメント支援技術を用いることで、ある空調システムに対し、どれだけの省エネを実現できるかが可視化される。更には、資源の需要量と消費エネルギーとの関係を可視化したグラフの中から、空調システムのオペレータ等のユーザにとって必要な情報を抽出して、適切な方法で提示できることが望ましい。【００１０】
本発明は、ユーザにとって必要な情報を抽出して適切な方法で提示することにより、資源を供給する資源供給設備と資源を需要してエネルギーを消費する資源需要設備とを有する需給系統についての解析に資する技術を提供することを目的とする。
【課題を解決するための手段】
【００１１】
本発明の第１の観点は、資源の需要設備と供給設備とからなる需給系統の解析を支援するエネルギーマネジメント支援装置であって、
・前記資源の需要量と前記資源を供給する際に消費するエネルギーとの関係を表す入力論理式の入力を受け付け、前記入力論理式に基づいて、第一の一階述語論理式を生成するとともに、前記資源の需要量及び消費エネルギーの関係を表すグラフ上に表すべき所定の特徴の記述を含む出力論理式を生成する特徴計算部、
・前記特徴計算部が出力した前記出力論理式に基づき、前記所定の特徴を表したグラフを含む画像を生成する画像化部、
・前記特徴計算部から第一の一階述語論理式が入力されると、限定記号消去法により前記第一の一階述語論理式を処理して得られる第一の中間論理式を生成し、該特徴計算部に出力する限定記号消去部、
を備え、前記特徴計算部は、前記第一の中間論理式に基づいて前記出力論理式を生成することを特徴とする。【００１２】
本発明の第２の観点は、資源の需要設備と供給設備とからなる需給系統の解析を支援するエネルギーマネジメント支援処理を情報処理装置に実行させるためのエネルギーマネジメント支援プログラムであって、
・前記資源の需要量と前記資源を供給する際に消費するエネルギーとの関係を表す入力論理式の入力を受け付けると、前記入力論理式に基づいて、第一の一階述語論理式を生成するとともに、前記資源の需要量及び消費エネルギーの関係を表すグラフ上に表すべき所定の特徴の記述を含む出力論理式を生成し、
・第一の一階述語論理式を限定記号消去法により処理することで第一の中間論理式を生成し、
・前記第一の中間論理式に基づいて前記出力論理式を生成し、該出力論理式に基づき、前記所定の特徴を表したグラフを含む画像を生成する
ことを特徴とする。
【発明の効果】
【００１３】
本発明によれば、ユーザにとって必要な情報を抽出して適切な方法で提示することにより、資源を供給する資源供給設備と資源を需要してエネルギーを消費する資源需要設備とを有する需給系統についての解析に資する。
【図面の簡単な説明】
【００１４】
【図１】エネルギーマネジメント支援装置により資源の需要設備と供給設備とから構成される需給系統についての解析を支援する方法の概要を説明する図である。
【図２】エネルギーマネジメント支援装置の構成図である。
【図３】第１の実施形態に係るエネルギーマネジメント支援装置が解析を行う需給系統モデルを例示する図である。
【図４】図３に示す需給系統モデルを構成する冷凍機についての第１の実施形態における消費電力特性及び外気温度の変化範囲の式を例示する図である。
【図５】第１の実施形態における外気温度と冷凍機の消費電力特性との関係を説明する図である。
【図６】設例における熱負荷の需要量と消費電力Ｐとの関係を示した第一の論理式を例示する図である。
【図７】図６の論理式を可視化したグラフを示す図である。
【図８】第１の実施形態において特徴計算部が行う演算処理について説明する図である。
【図９】特徴計算部が図８の論理式ψｍｉｎ１（Ｌ，Ｐ，Ｐ´）に対して更に行う演算処理について説明する図である。
【図１０】限定記号消去部が実施する演算処理について説明する図である。
【図１１】限定記号消去により得られる論理式Ｒｍｉｎ１（Ｌ，Ｐ）が満たす領域を可視化した結果を例示する図である。
【図１２】特徴計算部が論理式Ｒｍｉｎ２（Ｌ，Ｐ）を得るために行う演算処理について説明する図である。
【図１３】特徴計算部が図１２の論理式ψｍｉｎ２（Ｌ，Ｐ，Ｐ´）に対して更に行う演算処理について説明する図である。
【図１４】限定記号消去部が実施する演算処理について説明する図である。
【図１５】限定記号消去により得られる論理式Ｒｍｉｎ２（Ｌ，Ｐ）が満たす領域を可視化した結果を例示する図である。
【図１６】第１の実施形態において特徴計算部及び限定記号消去部の演算により得られた２つの論理式を満たす領域重ね合わせた結果を示す図である。
【図１７】第１の実施形態において特徴計算部が第二の論理式Ｒｍｉｎ（Ｌ，Ｐ）を生成する方法について説明する図である。
【図１８】第二の論理式Ｒｍｉｎ（Ｌ，Ｐ）に基づきグラフ上に表される消費電力の下限の強調表示を例示する図である。
【図１９】第２の実施形態において特徴計算部が行う演算処理について説明する図である。
【図２０】特徴計算部が生成した図１８の論理式ψｍａｘ１（Ｌ，Ｐ，Ｐ´）に対して更に行う演算処理について説明する図である。
【図２１】限定記号消去部が実施する演算処理について説明する図である。
【図２２】限定記号消去により得られる論理式Ｒｍａｘ１（Ｌ，Ｐ）が満たす領域を可視化した結果を例示する図である。
【図２３】特徴計算部がＲｍａｘ２（Ｌ，Ｐ）を得るために行う演算処理について説明する図である。
【図２４】特徴計算部が図２３の論理式ψｍａｘ２（Ｌ，Ｐ，Ｐ´）に対して更に行う演算処理について説明する図である。
【図２５】限定記号消去部が実施する演算処理について説明する図である。
【図２６】限定記号消去により得られる論理式Ｒｍａｘ２（Ｌ，Ｐ）が満たす領域を可視化した結果を例示する図である。
【図２７】第２の実施形態において特徴計算部及び限定記号消去部の演算により得られた２つの論理式を満たす領域を重ね合わせた結果を示す図である。
【図２８】第２の実施形態において特徴計算部が第二の論理式Ｒｍａｘ（Ｌ，Ｐ）を求める方法について説明する図である。
【図２９】第二の論理式Ｒｍａｘ（Ｌ，Ｐ）によりグラフ上に表される消費電力の上限の強調表示を例示する図である。
【図３０】図３に示す需給系統モデルを構成する冷凍機についての第３の実施形態における消費電力特性及び外気温度の変化範囲の式を例示する図である。
【図３１】第３の実施形態における外気温度と冷凍機の消費電力特性との関係を説明する図である。
【図３２】設例における熱負荷の需要量と消費電力との関係を示した論理式を例示する図である。
【図３３】第３の実施形態において特徴計算部が行う演算処理について説明する図である。
【図３４】特徴計算部が図３３の論理式ψｌｉｎｅ１（Ｌ，Ｐ，Ｐ´）に対して更に行う演算処理について説明する図である。
【図３５】限定記号消去部が実施する演算処理について説明する図である。
【図３６】特徴計算部が限定記号消去により得られる論理式Ｒｌｉｎｅ１（Ｌ，Ｐ）に対して更に行う演算処理について説明する図である。
【図３７】特徴計算部が図３６の論理式ψｌｉｎｅ（Ｌ，Ｌ´，Ｐ）に対して更に行う演算処理について説明する図である。
【図３８】第３の実施形態において特徴計算部が図３７の演算で得られた論理式から第二の論理式Ｒｌｉｎｅ（Ｌ，Ｐ）を得る方法について説明する図である。
【図３９】第二の論理式Ｒｌｉｎｅ（Ｌ，Ｐ）を可視化して生成したグラフを例示する図である。
【図４０】第４の実施形態において特徴計算部が行う演算処理について説明する図である。
【図４１】特徴計算部が図４０の論理式ψｒｏｏｍ１（Ｌ，Ｐ，Ｐ´）に対して更に行う演算処理について説明する図である。
【図４２】限定記号消去部が実施する演算処理について説明する図である。
【図４３】第４の実施形態において特徴計算部が図４２の演算で得られた論理式から第二の論理式Ｒｒｏｏｍ（Ｌ，Ｐ）を得る方法について説明する図である。
【図４４】第二の論理式Ｒｒｏｏｍ（Ｌ，Ｐ）を可視化して生成したグラフを例示する図である。
【図４５】第５の実施形態に係るエネルギーマネジメント支援装置が解析を行う需給系統モデルを例示する図である。
【図４６】図４５に示す需給系統モデルを構成する冷凍機についての第５の実施形態における消費電力特性及び外気温度の変化範囲の式を例示する図である。
【図４７】第５の実施形態における外気温度と冷凍機の消費電力特性との関係を説明する図である。
【図４８】設例における熱負荷の需要量と消費電力との関係を示した第一の論理式を例示する図である。
【図４９】図４８の論理式ψｓｙｓ３（Ｌ，Ｐ）を可視化したグラフを示す図である。
【図５０】第５の実施形態において特徴計算部が行う演算処理について説明する図である。
【図５１】特徴計算部が図５０の論理式ψｅｆｆｅｃｔ１（Ｌ，Ｐ，Ｐ´）に対して更に行う演算処理について説明する図である。
【図５２】限定記号消去部が実施する演算処理について説明する図である。
【図５３】特徴計算部が論理式Ｒｅｆｆｅｃｔ２（Ｌ，Ｐ）を得るために行う演算処理について説明する図である。
【図５４】特徴計算部が図５３の論理式ψｅｆｆｅｃｔ２（Ｌ，Ｐ，Ｐ´）に対して更に行う演算処理について説明する図である。
【図５５】限定記号消去部が実施する演算処理について説明する図である。
【図５６】第５の実施形態において特徴計算部が第一の論理式ψｓｙｓ３（Ｌ，Ｐ）の下限値を表す論理式Ｒｅｆｆｅｃｔ３（Ｌ，Ｐ）を生成する方法について説明する図である。
【図５７】特徴計算部が図５６で生成した論理式Ｒｅｆｆｅｃｔ３（Ｌ，Ｐ）を用いて更に行う演算処理について説明する図である。
【図５８】特徴計算部が図５７の論理式ψｅｆｆｅｃｔ（Ｌ，Ｐ，Ｐ´）に対して更に行う演算処理について説明する図である。
【図５９】限定記号消去部が実施する演算処理について説明する図である。
【図６０】第二の論理式Ｒｅｆｆｅｃｔ（Ｌ，Ｐ）によりグラフ上に表示した削減可能な消費電力を例示する図である。
【図６１】第６の実施形態において特徴計算部が熱負荷の需要量の最大値及び最小値を求めるために行う演算処理について説明する図である。
【図６２】限定記号消去部が実施する演算処理について説明する図である。
【図６３】特徴計算部が論理式ＲＬ−ｒａｎｇｅ（Ｌ）を用いて熱負荷の需要量の最小値を求めるために更に行う演算処理について説明する図である。
【図６４】論理式ψＬ−ｍｉｎ（Ｌ，Ｌｍｉｎ）について説明する図である。
【図６５】特徴計算部が図６２の論理式ＲＬ−ｒａｎｇｅ（Ｌ）を用いて熱負荷の需要量の最大値を求めるために行う演算処理について説明する図である。
【図６６】第６の実施形態において特徴計算部が消費電力の最大値及び最小値を求めるために行う演算処理について説明する図である。
【図６７】限定記号消去部が実施する演算処理について説明する図である。
【図６８】特徴計算部が論理式ＲＰ−ｒａｎｇｅ（Ｐ）を用いて消費電力の最小値を求めるために行う演算処理について説明する図である。
【図６９】特徴計算部が図６７の論理式ＲＰ−ｒａｎｇｅ（Ｌ）を用いて消費電力の最大値を求めるために行う演算処理について説明する図である。
【図７０】演算結果を利用して第一の論理式を可視化し生成したグラフを例示する図である。
【図７１】図３に示す需給系統モデルを構成する冷凍機についての第７の実施形態における消費電力特性を例示する図である。
【図７２】第７の実施形態における外気温度と冷凍機の消費電力特性との関係を説明する図である。
【図７３】設例における熱負荷の需要量と消費電力との関係を示した第一の論理式を例示する図である。
【図７４】論理式ψｓｙｓ４（Ｌ，Ｐ）を可視化したグラフを示す図である。
【図７５】第７の実施形態における２つの論理式を可視化したグラフを例示する図である。
【発明を実施するための形態】
【００１５】
以下、本発明の実施の形態について、図面を参照して詳細に説明する。
【００１６】
図１は、本発明に係るエネルギーマネジメント支援装置１により、資源の需要設備と供給設備とから構成される需給系統についての解析を支援する方法の概要を説明する図である。図１に示すように、エネルギーマネジメント支援装置１は、論理式ψｓｙｓの入力を受け付ける。エネルギーマネジメント支援装置１は、入力された論理式ψｓｙｓに基づき、必要に応じて限定記号消去により変数を消去して、需給系統における資源の需要量と消費電力との関係を可視化したグラフＧを含む画像５０を生成する。エネルギーマネジメント支援装置１は、生成した画像５０を図１においては不図示のモニタ等の表示手段に出力させる。
【００１７】
図１のエネルギーマネジメント支援装置１は、例えば空調システムの運用において、熱源機器ごとの消費電力特性及びその外気の温度の影響を考慮した、機器ごとの熱負荷配分を調整するために用いられる。
【００１８】
図２は、本発明に係るエネルギーマネジメント支援装置の構成図である。図２に示すように、本発明に係るエネルギーマネジメント支援装置１は、特徴計算部１１、限定記号消去部１２及び画像化部１３を有する。
【００１９】
特徴計算部１１は、入力された論理式（以下においては、第一の論理式ともいう）ψｓｙｓに基づいて、上記のグラフＧ上に表すべき特徴の記述を含んだ論理式（以下においては、第二の論理式ともいう）Ｒｉｍａｇｅを生成し、出力する。特徴計算部１１は、第二の論理式Ｒｉｍａｇｅの生成に際し、少なくとも一回は、一階述語論理式φ＊＊を限定記号消去部１２に入力する。
【００２０】
限定記号消去部１２は、特徴計算部１１から一階述語論理式φ＊＊が入力されると、限定記号消去法により一階述語論理式を処理して、得られた式Ｒ＊＊を特徴計算部１１に出力する。
【００２１】
特徴計算部１１は、限定記号消去部１２から入力された式Ｒ＊＊を利用して第二の論理式Ｒｉｍａｇｅを生成すると、これを画像化部１３に出力する。
【００２２】
画像化部１３は、第二の論理式Ｒｉｍａｇｅを用いて、グラフＧを含む画像５０を生成し、モニタ等に出力させる。
【００２３】
なお、上記の説明においては、１台の情報処理装置に全ての構成の機能を備える場合を例示するが、これに限定されるものではない。例えば、複数台の情報処理装置に機能を分散させる構成とし、複数台の情報処理装置から構成されるエネルギーマネジメント支援システムにより、上記の処理を実行する構成とすることもできる。
【００２４】
また、図２のエネルギーマネジメント支援装置１を構成する各部の全体または一部については、プログラムで構成されることとしてもよい。エネルギーマネジメント支援装置１の構成がプログラムからなる場合、例えば情報処理装置のメモリ等に上記の方法を実行する制御プログラムを予め記憶させておき、これを図２においては不図示の制御部が読み出して実行することにより、同様の作用・効果を奏する。
【００２５】
このように、本発明に係るエネルギーマネジメント支援装置１によれば、ユーザが画像５０中のグラフＧを参照して、空調システム内の最適な熱負荷配分を決定するとき等に、ユーザにとって必要な情報を抽出して、これをユーザが利用し易い方法で提示する。以下に、どのような情報をどのようにして抽出するか、また、抽出した情報をどのようにグラフＧに表してユーザに提示するか等について、具体的に説明する。
＜第１の実施形態＞
本実施形態に係るエネルギーマネジメント支援装置１の構成及び動作について説明する前に、まず、本実施形態に係るエネルギーマネジメント支援装置１の解析対象について説明する。
【００２６】
図３は、本実施形態に係るエネルギーマネジメント支援装置１が解析を行う需給系統モデルを例示する図である。
【００２７】
図３に示すように、本実施形態における需給系統モデルでは、空調システム内の空調対象空間が需要する熱負荷Ｌ［ｋＷ］を供給するために、熱源機器である冷凍機１〜４を４台備えている。
【００２８】
電源は、４台の冷凍機１〜４に対してＰ［ｋＷ］の電力を供給し、冷凍機１〜４は、それぞれ電源から供給を受けてＰ１〜Ｐ４［ｋＷ］の電力を消費する。４台の冷凍機１〜４は、空調対象空間にそれぞれＬ１〜Ｌ４［ｋＷ］の熱負荷を供給し、空調対象空間の電力需要量は、Ｌ［ｋＷ］である。
【００２９】
図４は、図３に示す需給系統モデルを構成する冷凍機１〜４についての本実施形態における消費電力特性及び外気温度の変化範囲の式を例示する図である。
【００３０】
稼動時における冷凍機１〜４の消費電力特性は、図４の数式群（１−１）に示すとおりである。ここで、冷凍機ｉ（ｉ＝１、２、３、４）の空調対象空間に供給する熱負荷（＝空調対象空間の熱負荷の需要量）Ｌｉ［ｋＷ］、冷凍機ｉの消費電力をＰｉ［ｋＷ］、外気温度をＴ［℃］としており、以下においても同様とする。
【００３１】
【数１】
2016051553.tif 000003
・・・（１−１）    
【００３２】
数式群（１−１）に示すように、各冷凍機１〜４は、それぞれ外気温度に対する感度が異なっている。数式群（１−１）より、冷凍機１〜３は、消費電力Ｐ１〜Ｐ３が外気温度Ｔの関数であり、消費電力Ｐ１〜Ｐ３が外気温度に依存することがわかる。また、冷凍機４は、消費電力Ｐ４は外気温度Ｔの関数ではなく、外気温度に依存しない。
【００３３】
冷凍機１〜４の熱負荷の上下限を表す式は、図４の数式群（１−２）に示すとおりである。
【００３４】
【数２】
2016051553.tif 000004
・・・（１−２）
【００３５】
そして、停止時における冷凍機１〜４の消費電力特性は、図４の数式群（１−３）に示すとおりである。以下の数式群（１−３）は、論理記号である論理積「∧」を用いて冷凍機ｉが空調対象空間に供給する熱負荷（空調対象空間の熱負荷の需要量）Ｌｉが「０［ｋＷ］」である場合、冷凍機ｉの消費電力Ｐｉは「０［ｋＷ］」となることを論理式で表している。
【００３６】
【数３】
2016051553.tif 000005
・・・（１−３）
【００３７】
外気温度Ｔの変化範囲を表す式は、図４に示すとおり、
２５≦Ｔ≦３５…（１−４）
である。
【００３８】
図５は、本実施形態における外気温度Ｔと冷凍機１〜４の消費電力特性との関係を説明する図である。図５（ａ）は、外気温度Ｔが、その下限である２５［℃］であるときの各冷凍機１〜４の消費電力特性を、図５（ｂ）は、外気温度Ｔが、その上限である３５［℃］であるときのそれを示す。
【００３９】
図５に示す例では、外気温度がＴ＝２５℃のときとＴ＝３５のときとでは、冷凍機３及び４の消費電力特性（効率）が逆転している。このように、各冷凍機１〜４の最適な熱負荷配分を決定するには、各機器の消費電力特性のみでなく、外気温度についても考慮することが望ましい。
【００４０】
図６は、上記の設例における熱負荷の需要量Ｌと消費電力Ｐとの関係を示した第一の論理式を例示する図である。論理式ψｓｙｓ（Ｌ，Ｐ）の具体的な内容については、都合上、以下の説明においても図６においても、一部省略して記載しており、以下の説明及び説明において参照する図面についても、同様とする。
【００４１】
なお、記号の「：＝」は式の定義を表すものとする。
【００４２】
【数４】
2016051553.tif 000006
【００４３】
図４に示す数式（群）（１−１）〜（１−４）に基づき一階述語論理式を生成し、限定記号消去により式から限定記号を消去することにより、図６に示す論理式ψｓｙｓ（Ｌ，Ｐ）が求まる。図６の論理式ψｓｙｓ（Ｌ，Ｐ）を求める方法については、公知の技術を用いているので、ここでは説明を省略する。
【００４４】
図７は、図６の論理式ψｓｙｓ（Ｌ，Ｐ）を可視化したグラフを示す図である。図７中の灰色の領域Ａ＿ψｓｙｓ（Ｌ，Ｐ）は、図６の第一の論理式ψｓｙｓ（Ｌ，Ｐ）を満たす領域である。
【００４５】
本実施形態に係るエネルギーマネジメント支援装置１では、図７の第一の論理式ψｓｙｓ（Ｌ，Ｐ）を満たす領域を表したグラフに対し、更に、領域Ａ＿ψｓｙｓ（Ｌ，Ｐ）の下限を強調表示する。まず、エネルギーマネジメント支援装置１において、第一の論理式ψｓｙｓ（Ｌ，Ｐ）に対してどのような演算処理を実施して、消費電力Ｐの下限を強調表示したグラフを生成するかについて、具体的に説明する。
【００４６】
図８は、本実施形態において特徴計算部１１が行う演算処理について説明する図である。
【００４７】
特徴計算部１１は、図６の第一の論理式ψｓｙｓ（Ｌ，Ｐ）の入力を受け付けると、パラメータＰ´を用いて、論理式「Ｐ´＋１．５≦Ｐ」（１−５）を生成する。
【００４８】
特徴計算部１１は、入力された第一の論理式ψｓｙｓ（Ｌ，Ｐ）の消費電力ＰをＰ´で置換し、置換により得られる式と論理式（１−５）とを論理積で結合して、以下の論理式ψｍｉｎ１（Ｌ，Ｐ，Ｐ´）を作成する。論理式（１−５）と置換により得られる論理式ψｓｙｓ（Ｌ，Ｐ´）の論理積により、第一の論理式においてＰの下限値から所定値以上（実施例では１．５［ｋＷ］以上）大きい値をとる領域が特定される。
【００４９】
なお、記号の「＝＝」は同値な式であることを表すものとする。
【００５０】
【数５】
2016051553.tif 000007
【００５１】
図９は、特徴計算部１１が図８の論理式ψｍｉｎ１（Ｌ，Ｐ，Ｐ´）に対して更に行う演算処理について説明する図である。
【００５２】
特徴計算部１１は、図８の論理式ψｍｉｎ１（Ｌ，Ｐ，Ｐ´）のパラメータＰ´に対して存在記号「∃」を付与し（図９の「∃Ｐ´」、（１−６）参照）、以下の一階述語論理式φｍｉｎ１（Ｌ，Ｐ，Ｐ´）（１−５）を生成する。
【００５３】
【数６】
2016051553.tif 000008
【００５４】
図１０は、限定記号消去部１２が実施する演算処理について説明する図である。
【００５５】
限定記号消去部１２は、特徴計算部１１から図９の論理式φｍｉｎ１（Ｌ，Ｐ，Ｐ´）が入力されると、図１０に示すように、論理式φｍｉｎ１（Ｌ，Ｐ，Ｐ´）に対し限定記号消去を実施する。これにより得られる論理式Ｒｍｉｎ１（Ｌ，Ｐ）からは、図９の演算処理において特徴計算部１１が存在記号「∃」を付与したパラメータＰ´が消去されている。
【００５６】
【数７】
2016051553.tif 000009
・・・（１−７）      
【００５７】
図１１は、限定記号消去により得られる論理式Ｒｍｉｎ１（Ｌ，Ｐ）が満たす領域を可視化した結果を例示する図である。
【００５８】
領域Ａ＿Ｒｍｉｎ１（Ｌ，Ｐ）は、第一の論理式ψｓｙｓ（Ｌ，Ｐ）の消費電力Ｐの下限から所定値（実施例では１．５［ｋＷ］）以上大きい値をとる領域がこれに相当する。言い換えると、第一の論理式ψｓｙｓ（Ｌ，Ｐ）を満たす領域のうち、消費電力Ｐの下限から１．５［ｋＷ］に満たない範囲にある領域については、図１１の領域Ａ＿Ｒｍｉｎ１（Ｌ，Ｐ）からは除外されている。
【００５９】
特徴計算部１１は、上記の演算処理とは別に、入力された図６の第一の論理式ψｓｙｓ（Ｌ，Ｐ）に基づき、以下の演算を行う。そして、第一の論理式ψｓｙｓ（Ｌ，Ｐ）における消費電力Ｐの下限値以上をとる領域を表す論理式Ｒｍｉｎ２（Ｌ，Ｐ）を求める。
【００６０】
図１２は、特徴計算部１１が論理式Ｒｍｉｎ２（Ｌ，Ｐ）を得るために行う演算処理について説明する図である。
【００６１】
特徴計算部１１は、図６の第一の論理式ψｓｙｓ（Ｌ，Ｐ）に基づき、パラメータＰ´を用いて、論理式「Ｐ´≦Ｐ」（１−８）を生成する。特徴計算部１１は、図８で説明した演算処理と同様に、生成した論理式と、第一の論理式ψｓｙｓ（Ｌ，Ｐ）のパラメータＰをＰ´で置換した式とを論理積で結合して論理式を生成する。論理式（１−８）と置換により得られる論理式ψｓｙｓ（Ｌ，Ｐ´）の論理積により、第一の論理式においてＰの下限値以上の値をとる領域が特定される。ここで生成する論理式ψｍｉｎ２（Ｌ，Ｐ，Ｐ´）は、以下のとおりである。
【００６２】
【数８】
2016051553.tif 000010
【００６３】
図１３は、特徴計算部１１が図１２の論理式ψｍｉｎ２（Ｌ，Ｐ，Ｐ´）に対して更に行う演算処理について説明する図である。特徴計算部１１は、先の図９で説明した演算と同様の処理を行う。すなわち、特徴計算部１１は、図１２の論理式ψｍｉｎ２（Ｌ，Ｐ，Ｐ´）のパラメータＰ´に対して存在記号「∃」を付与し、以下の一階述語論理式φｍｉｎ２（Ｌ，Ｐ，Ｐ´）を生成する。
【００６４】
【数９】
2016051553.tif 000011
【００６５】
図１４は、限定記号消去部１２が実施する演算処理について説明する図である。
【００６６】
限定記号消去部１２は、特徴計算部１１から図１３の論理式φｍｉｎ２（Ｌ，Ｐ，Ｐ´）が入力されると、先に図１０を参照して説明した場合と同様に、入力された論理式φｍｉｎ２（Ｌ，Ｐ，Ｐ´）に対して限定記号消去を実施する。これにより得られる論理式Ｒｍｉｎ２（Ｌ，Ｐ）からは、図１３の演算処理において特徴計算部１１が存在記号「∃」を付与したパラメータＰ´が消去されている。
【００６７】
【数１０】
2016051553.tif 000012
・・・（１−９）
【００６８】
図１５は、限定記号消去により得られる論理式Ｒｍｉｎ２（Ｌ，Ｐ）が満たす領域を可視化した結果を例示する図である。領域Ａ＿Ｒｍｉｎ２（Ｌ，Ｐ）は、第一の論理式ψｓｙｓ（Ｌ，Ｐ）の下限以上の領域がこれに相当する。
【００６９】
図１６は、特徴計算部１１及び限定記号消去部１２の演算により得られた２つの論理式Ｒｍｉｎ１（Ｌ，Ｐ）を満たす領域Ａ＿Ｒｍｉｎ１（Ｌ，Ｐ）及びＲｍｉｎ２（Ｌ，Ｐ）を満たす領域Ａ＿Ｒｍｉｎ２（Ｌ，Ｐ）を重ね合わせた結果を示す図である。
【００７０】
上述のとおり、図８の論理式（１−５）により、領域Ａ＿Ｒｍｉｎ１（Ｌ，Ｐ）は、領域Ａ＿Ｒｍｉｎ２（Ｌ，Ｐ）よりも１．５［ｋＷ］分だけ消費電力Ｐの下限が大きい。このことを利用して、特徴計算部１１は、グラフにおいて強調したい領域を抽出する。
【００７１】
図１７は、本実施形態において、特徴計算部１１が第二の論理式Ｒｍｉｎ（Ｌ，Ｐ）を生成する方法について説明する図である。
【００７２】
図１７に示すように、特徴計算部１１は、上記の演算処理により求めた２つの式（１−７）と（１−９）、すなわち論理式Ｒｍｉｎ１（Ｌ，Ｐ）とＲｍｉｎ２（Ｌ，Ｐ）とで排他的論理和ＸＯＲをとり、論理式Ｒｍｉｎ（Ｌ，Ｐ）を得る。
【００７３】
【数１１】
2016051553.tif 000013
・・・（１−１０）
【００７４】
式（１−１０）においては、第一の論理式ψｓｙｓ（Ｌ，Ｐ）のＰの下限から１．５［ｋＷ］の領域、すなわち、論理式（１−５）で設定した幅に相当する領域が抽出されている。
【００７５】
特徴計算部１１は、上記の論理式Ｒｍｉｎ（Ｌ，Ｐ）を第二の論理式として、画像化部１３に出力する。画像化部１３は、特徴計算部１１から入力された第二の論理式Ｒｍｉｎ（Ｌ，Ｐ）に基づき、熱負荷の需要量Ｌと消費電力Ｐの関係を表したグラフを生成する。
【００７６】
図１８は、第二の論理式Ｒｍｉｎ（Ｌ，Ｐ）に基づきグラフ上に表される消費電力Ｐの下限の強調表示を例示する図である。
【００７７】
図１８においては、エネルギーマネジメント支援装置１にて求めた第二の論理式Ｒｍｉｎ（Ｌ，Ｐ）と共に、熱負荷の需要量Ｌと消費電力Ｐとの関係を表す第一の論理式ψｓｙｓ（Ｌ，Ｐ）をグラフＧ１に表している。
【００７８】
上記の一連の演算処理により求めた第二の論理式Ｒｍｉｎ（Ｌ，Ｐ）を満たす領域Ａ＿Ｒｍｉｎ（Ｌ，Ｐ）は、第一の論理式の下限から所定の幅（実施例では１．５［ｋＷ］）の分、第一の論理式を満たす領域Ａ＿ψｓｙｓ（Ｌ，Ｐ）とは異なる色で表示されている。ユーザは、図１８のグラフＧ１を含む画像５０が出力されているモニタ等の表示手段を介して、消費電力Ｐの下限を容易に視認することが可能となる。
【００７９】
なお、第一の論理式は、パラメータＬとＰとで表されるものである。このことから、消費電力Ｐの下限を強調表示する方法としては、例えばＬを変化させ、それぞれに対応するＰの最小値を求めていくことにより、グラフ上に下限をプロットして表示する方法も考えられる。しかし、このようなビットマップ形式で画像を生成した場合には、画像５０の解像度によっては、厳密にＰの下限を表現できるとは限らない。すなわち、強調表示したいある座標（Ｌ，Ｐ）は、必ずしも画像５０の画素上には位置しない。この場合は、画素上のＰ方向に近い方の画素を選択してその画素を強調表示することとなり、グラフ上に下限が正確に表すことができない。これに対し、上記の実施形態においては、下限から所定（実施例では１．５［ｋＷ］）の範囲だけ拡大させて強調表示すべき領域を表す数式を求めることにより、かかる事態を回避している。これにより、本実施形態によれば、ユーザの視認性を確保しつつ、正確に消費電力Ｐの下限を強調表示することができる。
【００８０】
更には、グラフのある領域を拡大表示する場合、ビットマップ形式で画像を生成する場合には、画像が粗くなってしまう、という問題がある。これに対し、本実施形態による消費電力Ｐの下限を強調表示する方法によれば、図１８の画像の一部を拡大表示する場合であっても、画質を劣化させることなく、適切に消費電力Ｐの下限の強調表示が可能である。
＜第２の実施形態＞
上記の実施形態においては、入力された第一の論理式に対し、消費電力Ｐの下限を強調表示したグラフＧ１を生成している。これに対し、本実施形態においては、入力された第一の論理式に対し、消費電力Ｐの上限を強調表示したグラフＧ２を生成する。
【００８１】
以下に、本実施形態に係るエネルギーマネジメント支援装置１により第一の論理式における消費電力Ｐの上限を強調表示したグラフＧ２を生成する方法について説明する。
【００８２】
本実施形態においても、エネルギーマネジメント支援装置１が解析対象とする需給系統モデル及びその特性式や外気温度の変化範囲等については、図３〜図５に示すとおりである。また、エネルギーマネジメント支援装置１に入力される第一の論理式ψｓｙｓ（Ｌ，Ｐ）についても図６や図７に示すとおりであるので、ここでは、これらの説明については省略する。
【００８３】
図１９は、本実施形態において特徴計算部１１が行う演算処理について説明する図である。上記の実施形態と同様に、特徴計算部１１は、第一の論理式ψｓｙｓ（Ｌ，Ｐ）の入力を受け付けると、パラメータＰ´を用いて、論理式「Ｐ≦Ｐ´−１．５」（２−１）を生成する。
【００８４】
特徴計算部１１は、生成した論理式（２−１）と第一の論理式ψｓｙｓ（Ｌ，Ｐ）のパラメータＰをＰ´に置換して得られる式とを、論理積で結合する。論理式（２−１）と置換により得られる論理式ψｓｙｓ（Ｌ，Ｐ´）との論理積により、第一の論理式においてＰの上限値から所定値以上（実施例では１．５［ｋＷ］以上）小さい値をとる領域が特定される。
【００８５】
【数１２】
2016051553.tif 000014
【００８６】
図２０は、特徴計算部１１が、生成した図１９の論理式ψｍａｘ１（Ｌ，Ｐ，Ｐ´）に対して更に行う演算処理について説明する図である。特徴計算部１１は、図１９の論理式ψｍａｘ１（Ｌ，Ｐ，Ｐ´）のパラメータＰ´に対して存在記号「∃」を付与し、以下の一階述語論理式φｍａｘ１（Ｌ，Ｐ，Ｐ´）を生成する。
【００８７】
【数１３】
2016051553.tif 000015
【００８８】
図２１は、限定記号消去部１２が実施する演算処理について説明する図である。
【００８９】
限定記号消去部１２は、特徴計算部１１から図２０の論理式φｍａｘ１（Ｌ，Ｐ，Ｐ´）が入力されると、図２１に示すように、論理式φｍａｘ１（Ｌ，Ｐ，Ｐ´）に対して限定記号消去を実施する。これにより得られる論理式Ｒｍａｘ１（Ｌ，Ｐ）からは、図２０の演算処理において特徴計算部１１が存在記号「∃」を付与したパラメータＰ´が消去されている。
【００９０】
【数１４】
2016051553.tif 000016
・・・（２−２）
【００９１】
図２２は、限定記号消去により得られる論理式Ｒｍａｘ１（Ｌ，Ｐ）が満たす領域を可視化した結果を例示する図である。
【００９２】
領域Ａ＿Ｒｍａｘ１（Ｌ，Ｐ）は、第一の論理式ψｓｙｓ（Ｌ，Ｐ）の消費電力Ｐの上限から所定値（実施例では１．５［ｋＷ］）以下の値をとる領域がこれに相当する。言い換えると、第一の領域ψｓｙｓ（Ｌ，Ｐ）を満たす領域のうち、消費電力Ｐの上限から１．５［ｋＷ］に満たない範囲にある領域については、図２２の領域Ａ＿Ｒｍａｘ１（Ｌ，Ｐ）からは除外されている。
【００９３】
特徴計算部１１は、更に、入力された図６の第一の論理式ψｓｙｓ（Ｌ，Ｐ）に基づき、以下の演算を行う。そして、第一の論理式ψｓｙｓ（Ｌ，Ｐ）における消費電力Ｐの上限値以下をとる領域を表す論理式Ｒｍａｘ２（Ｌ，Ｐ）を求める。
【００９４】
図２３は、特徴計算部１１がＲｍａｘ２（Ｌ，Ｐ）を得るために行う演算処理について説明する図である。
【００９５】
特徴計算部１１は、図６の第一の論理式ψｓｙｓ（Ｌ，Ｐ）に基づき、パラメータＰ´を用いて、論理式「Ｐ≦Ｐ´」（２−３）を生成する。
【００９６】
特徴計算部１１は、上記の実施形態と同様に、生成した論理式と、第一の論理式ψｓｙｓ（Ｌ，Ｐ）においてパラメータＰをＰ´で置換した式とを論理積で結合し、論理式を生成する。論理式（２−３）と置換により得られる論理式ψｓｙｓ（Ｌ，Ｐ´）の論理積により、第一の論理式においてＰの上限値以下の値をとる領域が特定される。ここで生成する論理式ψｍａｘ２（Ｌ，Ｐ，Ｐ´）は、以下のとおりである。
【００９７】
【数１５】
2016051553.tif 000017
【００９８】
図２４は、特徴計算部１１が図２３の論理式ψｍａｘ２（Ｌ，Ｐ，Ｐ´）に対して更に行う演算処理について説明する図である。特徴計算部１１は、図２３の論理式ψｍａｘ２（Ｌ，Ｐ，Ｐ´）のパラメータＰ´に対して存在記号「∃」を付与し、以下の一階述語論理式φｍａｘ２（Ｌ，Ｐ，Ｐ´）を生成する。
【００９９】
【数１６】
2016051553.tif 000018
【０１００】
図２５は、限定記号消去部１２が実施する演算処理について説明する図である。
【０１０１】
限定記号消去部１２は、特徴計算部１１から図２４の論理式φｍａｘ２（Ｌ，Ｐ，Ｐ´）が入力されると、上記の実施形態等と同様に、入力された論理式φｍａｘ２（Ｌ，Ｐ，Ｐ´）に対して限定記号消去を実施する。これにより得られる論理式Ｒｍａｘ２（Ｌ，Ｐ）からは、図２４の演算処理において特徴計算部１１が存在記号「∃」を付与したパラメータＰ´が消去されている。
【０１０２】
【数１７】
2016051553.tif 000019
・・・（２−４）
【０１０３】
図２６は、限定記号消去により得られる論理式Ｒｍａｘ２（Ｌ，Ｐ）が満たす領域を可視化した結果を例示する図である。領域Ａ＿Ｒｍａｘ２（Ｌ，Ｐ）は、第一の論理式ψｓｙｓ（Ｌ，Ｐ）の上限以下の領域がこれに相当する。
【０１０４】
図２７は、特徴計算部１１及び限定記号消去部１２の演算により得られた２つの論理式Ｒｍａｘ１（Ｌ，Ｐ）を満たす領域Ａ＿Ｒｍａｘ１（Ｌ，Ｐ）及びＲｍａｘ２（Ｌ，Ｐ）を満たす領域Ａ＿Ｒｍａｘ２（Ｌ，Ｐ）を重ね合わせた結果を示す図である。
【０１０５】
上述のとおり、図１９の論理式（２−１）により、領域Ａ＿Ｒｍａｘ１（Ｌ，Ｐ）は、領域Ａ＿Ｒｍａｘ２（Ｌ，Ｐ）よりも１．５［ｋＷ］分だけ消費電力Ｐの下限が小さい。このことを利用して、特徴計算部１１は、グラフにおいて強調したい領域を抽出する。
【０１０６】
図２８は、本実施形態において、特徴計算部１１が第二の論理式Ｒｍａｘ（Ｌ，Ｐ）を求める方法について説明する図である。
【０１０７】
図２８に示すように、特徴計算部１１は、上記の演算処理により求めた２つの式（２−２）と（２−４）、すなわち論理式Ｒｍａｘ１（Ｌ，Ｐ）とＲｍａｘ２（Ｌ，Ｐ）とで排他的論理和ＸＯＲをとり、論理式Ｒｍａｘ（Ｌ，Ｐ）を得る。
【０１０８】
【数１８】
2016051553.tif 000020
・・・（２−５）
【０１０９】
式（２−５）においては、第一の論理式ψｓｙｓ（Ｌ，Ｐ）の消費電力Ｐの上限から１．５［ｋＷ］の領域、すなわち、論理式（２−１）で設定した幅に相当する領域が抽出されている。
【０１１０】
特徴計算部１１は、上記の論理式Ｒｍａｘ（Ｌ，Ｐ）を第二の論理式として、画像化部１３に出力する。画像化部１３は、特徴計算部１１から入力された第二の論理式Ｒｍａｘ（Ｌ，Ｐ）に基づき、熱負荷の需要量Ｌと消費電力Ｐの関係を表したグラフを生成する。
【０１１１】
図２９は、第二の論理式Ｒｍａｘ（Ｌ，Ｐ）によりグラフ上に表される消費電力Ｐの上限の強調表示を例示する図である。
【０１１２】
図２９においては、エネルギーマネジメント支援装置１にて求めた第二の論理式Ｒｍａｘ（Ｌ，Ｐ）と共に、熱負荷の需要量Ｌと消費電力Ｐとの関係を表す第一の論理式ψｓｙｓ（Ｌ，Ｐ）をグラフＧ２に表している。
【０１１３】
上記の一連の演算処理により求めた第二の論理式Ｒｍａｘ（Ｌ，Ｐ）を満たす領域Ａ＿Ｒｍａｘ（Ｌ，Ｐ）は、第一の論理式の上限から所定の幅（実施例では１．５［ｋＷ］）の分、第一の論理式を満たす領域Ａ＿ψｓｙｓ（Ｌ，Ｐ）とは異なる色で表示されている。ユーザは、図２９のグラフＧ２を含む画像５０が出力されているモニタ等の表示手段を介して、消費電力Ｐの上限を容易に視認することが可能となる。
【０１１４】
本実施形態によっても、上記第１の実施形態と同様の効果を得ることができる。すなわち、数式処理により上限から一定の幅（実施例では１．５［ｋＷ］）を表す数式を求め、これに基づき強調表示を行うことで、ユーザの視認性を確保しつつ、正確に消費電力Ｐの上限を強調表示している。また、拡大表示した場合であっても画質の劣化を防ぐことが可能である。
【０１１５】
なお、上記第１の実施形態や本実施形態による画像の生成方法のように、第二の論理式を求めてグラフＧ２の描画を行うことで、例えば、図７に示すように、第一の論理式のみを可視化した場合には、グラフＧ１上に現れない領域を描画することも可能となる。このことは、例えば図２９の（ａ）の領域と図７の対応する箇所を比較することにより、容易に確認できる。
＜第３の実施形態＞
上記の第１及び第２の実施形態においては、それぞれ第一の論理式のうちの消費電力Ｐの下限及び上限から一定の幅の領域を抽出してその領域を表す第二の論理式を求め、これに基づき下限及び上限を強調表示している。これにより、ユーザは、消費電力の下限や上限であって、第一の論理式を可視化しただけではグラフ上に現れない領域を視覚的に容易に確認することが可能となる。これに対し、本実施形態においては、第一の論理式が満たす領域を可視化する際に、点や線で描かれる領域についてはグラフの軸方向に拡大して強調表示する。
【０１１６】
以下に、本実施形態に係るエネルギーマネジメント支援装置１による第一の論理式に対して各種の演算処理を実施して第二の論理式を生成し、生成した第二の論理式に基づき所望のグラフを含む画像５０を得る方法について、具体的に説明する。
【０１１７】
本実施形態においては、エネルギーマネジメント支援装置１が解析対象とする需給系統モデルは、第１及び第２の実施形態のそれと同様であり、図３に示すとおりである。但し、需給系統モデルを構成する各冷凍機１〜４の特性式等については、上記の実施形態とは異なっている。
【０１１８】
図３０は、図３に示す需給系統モデルを構成する冷凍機１〜４についての本実施形態における消費電力特性及び外気温度の変化範囲の式を例示する図である。
【０１１９】
図３０に示す冷凍機１〜４の稼動時の消費電力特性を表す数式群（３−１）、冷凍機１〜４の熱負荷の上下限を表す数式群（３−２）、停止時の消費電力特性を表す数式群（３−３）は、４台の冷凍機１〜４の全てが、同じ特性式で表される点で図４と異なる。
【０１２０】
【数１９】
2016051553.tif 000021
・・・（３−１）
【０１２１】
【数２０】
2016051553.tif 000022
・・・（３−２）
【０１２２】
【数２１】
2016051553.tif 000023
・・・（３−３）
【０１２３】
外気温度Ｔ［℃］を表す式は、「T=２５」である。
【０１２４】
図３１は、本実施形態における外気温度Ｔと冷凍機１〜４の消費電力特性との関係を説明する図である。図３１（ａ）は、外気温度Ｔがその下限である２５［℃］であるときの各冷凍機１〜４の消費電力特性を示す。
【０１２５】
図３１に示すように、４台の冷凍機の消費電力特性（効率）は、Ｔ＝２５［℃］の場合（図３１（ａ）のｃｈ＿２５＿１〜ｃｈ＿２５＿４）
図３２は、上記の設例における熱負荷の需要量Ｌと消費電力Ｐとの関係を示した論理式を例示する図である。
【０１２６】
【数２２】
2016051553.tif 000024
【０１２７】
図３２に示す論理式ψｓｙｓ２（Ｌ，Ｐ）は、図３０に示す特性式（３−１）乃至（３−３）及び外気温度の式に基づき、図６の論理式と同様に、公知の技術を用いて、一階述語論理式に対し限定記号消去を実施することにより、求めることができる。
【０１２８】
図３３は、本実施形態において特徴計算部１１が行う演算処理について説明する図である。特徴計算部１１は、図３２の第一の論理式ψｓｙｓ２（Ｌ，Ｐ）の入力を受け付けると、パラメータＰ´を用いて、論理式（３−４）を生成する。
【０１２９】
特徴計算部１１は、入力された第一の論理式ψｓｙｓ２（Ｌ，Ｐ）の消費電力ＰをＰ´で置換し、置換により得られる式と論理式（３−４）とを論理積で結合して、以下の論理式ψｌｉｎｅ１（Ｌ，Ｐ，Ｐ´）を作成する。論理式（３−４）と置換により得られる論理式ψｓｙｓ２（Ｌ，Ｐ´）の論理積は、第一の論理式の消費電力方向について、その範囲を所定の大きさ（実施例では、±１．５［ｋＷ］）分だけ拡大している。
【０１３０】
【数２３】
2016051553.tif 000025
【０１３１】
図３４は、特徴計算部１１が図３３の論理式ψｌｉｎｅ１（Ｌ，Ｐ，Ｐ´）に対して更に行う演算処理について説明する図である。特徴計算部１１は、図３３の論理式ψｌｉｎｅ１（Ｌ，Ｐ，Ｐ´）のパラメータＰ´に対して存在記号「∃」を付与して以下の一階述語論理式φｌｉｎｅ１（Ｌ，Ｐ，Ｐ´）を生成する。
【０１３２】
【数２４】
2016051553.tif 000026
【０１３３】
図３５は、限定記号消去部１２が実施する演算処理について説明する図である。
【０１３４】
限定記号消去部１２は、特徴計算部１１から図３４の論理式φｌｉｎｅ１（Ｌ，Ｐ，Ｐ´）が入力されると、当該論理式φｌｉｎｅ１（Ｌ，Ｐ，Ｐ´）に対し限定記号消去を実施する。これにより得られるＲｌｉｎｅ１（Ｌ，Ｐ）からは、図３４の演算処理において特徴計算部１１が存在記号「∃」を付与したパラメータＰ´が消去されている。
【０１３５】
【数２５】
2016051553.tif 000027
・・・（３−５）
【０１３６】
図３６は、特徴計算部１１が、限定記号消去により得られる論理式Ｒｌｉｎｅ１（Ｌ，Ｐ）（３−５）に対して更に行う演算処理について説明する図である。
【０１３７】
特徴計算部１１は、限定記号消去部１２から受け取った図３５の論理式Ｒｌｉｎｅ１（Ｌ，Ｐ）（３−５）に対し、更に、パラメータＬ´を用いて、論理式「Ｌ−４≦Ｌ´Ｌ＋４」（３−６）を生成する。
【０１３８】
特徴計算部１１は、限定記号消去部１２から入力された論理式Ｒｌｉｎｅ１（Ｌ，Ｐ）の熱負荷の需要量ＬをＬ´で置換し、置換により得られる式と論理式（３−５）とを論理積で結合して、以下の論理式ψｌｉｎｅ（Ｌ，Ｌ´，Ｐ）を作成する。論理式（３−６）と置換により得られる論理式Ｒｌｉｎｅ１（Ｌ´，Ｐ）の論理積は、図３５の限定記号消去により得られた論理式Ｒｌｉｎｅ１（Ｌ，Ｐ）の熱負荷の需要量方向について、その範囲を所定の大きさ（実施例では、±４［ｋＷ］）分だけ拡大する。
【０１３９】
【数２６】
2016051553.tif 000028
【０１４０】
図３７は、特徴計算部１１が図３６の論理式ψｌｉｎｅ（Ｌ，Ｌ´，Ｐ）に対して更に行う演算処理について説明する図である。特徴計算部１１は、図３６の論理式ψｌｉｎｅ（Ｌ，Ｌ´，Ｐ）のパラメータＬ´に対して存在記号「∃」を付与して以下の一階述語論理式φｌｉｎｅ（Ｌ，Ｌ´，Ｐ）を生成する。
【０１４１】
【数２７】
2016051553.tif 000029
【０１４２】
図３８は、本実施形態において、特徴計算部１１が図３７の演算で得られた論理式から第二の論理式Ｒｌｉｎｅ（Ｌ，Ｐ）を得る方法について説明する図である。
【０１４３】
特徴計算部１１は、図３７で得られた一階述語論理式φｌｉｎｅ（Ｌ，Ｌ´，Ｐ）を限定記号消去部１２に渡す。限定記号消去部１２は、特徴計算部１１から当該論理式が入力されると、これに対して限定記号消去を実施する。限定記号消去により得られる論理式Ｒｌｉｎｅ（Ｌ，Ｐ）からは、特徴計算部１１にて設定したパラメータＬ´が消去されている。
【０１４４】
【数２８】
2016051553.tif 000030
【０１４５】
特徴計算部１１は、限定記号消去部１２から上記の論理式Ｒｌｉｎｅ（Ｌ，Ｐ）を受け取ると、これを第二の論理式として、画像化部１３に出力する。画像化部１３は、特徴計算部１１から入力された第二の論理式Ｒｌｉｎｅ（Ｌ，Ｐ）に基づき、熱負荷の需要量Ｌと消費電力Ｐの関係を表したグラフを生成する。
【０１４６】
図３９は、第二の論理式Ｒｌｉｎｅ（Ｌ，Ｐ）を可視化して生成したグラフＧ３を例示する図である。図３９に示すように、第二の論理式を満たす領域Ａ＿Ｒｌｉｎｅ（Ｌ，Ｐ）は、上記の処理により、第一の論理式ψｓｙｓ２（Ｌ，Ｐ）と比較すると、縦軸方向及び横軸方向に関し、領域が拡大されている。
【０１４７】
上記のとおり、本実施形態においては、４台の冷凍機１〜４の消費電力特性（効率）が一致している。この場合、図３２の論理式ψｓｙｓ２（Ｌ，Ｐ）をそのまま可視化したとしても、解析に利用しにくい場合もある。例えば論理式ψｓｙｓ２（Ｌ，Ｐ）を満たす領域のように、線状に広がるのみ、あるいは、点状に分布するのみである場合、熱負荷の需要量Ｌと消費電力Ｐの関係を視認しにくい場合がある。しかし、このような場合であっても、図３９に示す例のように、適切にグラフの縦軸、横軸方向に領域を拡大して可視化することにより、ユーザにとっては可視化結果を利用しての解析が行い易くなる、という効果が得られる。例えば図３９においては、（Ｌ，Ｐ）＝（０，０）の点も領域に含まれることがグラフＧ３から判断できる。
【０１４８】
上記においては、縦軸の消費電力Ｐについては±１．５［ｋＷ］分拡大し、横軸の熱負荷の需要量Ｌについては±４［ｋＷ］分拡大をしているが、これに限定されるものではない。上記第１及び第２の実施形態と同様に、画像５０の解像度等に応じて、適切に拡大範囲を設定することができる。適切に設定した拡大範囲で第二の論理式Ｒの縦軸方向や横軸方向への拡大をすることで、第二の論理式Ｒが点や線で表される場合であっても、ユーザの視認性を確保しつつ、正確に消費電力Ｐと熱負荷の需要量Ｌの関係を表したグラフを生成できる。
＜第４の実施形態＞
上記の第１乃至第３の実施形態においては、ユーザにとっては、第一の論理式をそのまま可視化した結果を見た場合には確認しにくい領域を、第一の論理式に基づき生成した第二の論理式を用いて可視化を行うことで、解析に利用し易くしている。これに対し、本実施形態においては、熱負荷の需要量Ｌと消費電力Ｐの関係を表したグラフから、省エネ余地が大きいか否かをユーザが直感的に把握し易くする。
【０１４９】
以下に、本実施形態に係るエネルギーマネジメント支援装置１が、第一の論理式において省エネ余地が所定以上である領域を強調表示したグラフＧ４を生成する方法について説明する。
【０１５０】
本実施形態において、エネルギーマネジメント支援装置１が解析対象とする需給系統モデルは、図３に示すとおりである。そして、その特性式や外気温度の変化範囲等については、図４及び図５に示すとおりである。また、エネルギーマネジメント支援装置１に入力される第一の論理式は、図６に示す論理式ψｓｙｓ（Ｌ，Ｐ）であるので、ここでは説明を省略する。
【０１５１】
図４０は、本実施形態において特徴計算部１１が行う演算処理について説明する図である。特徴計算部１１は、図６に示す第一の論理式ψｓｙｓ（Ｌ，Ｐ）の入力を受け付けると、パラメータＰ´を用いて、論理式（４−１）を生成する。
【０１５２】
特徴計算部１１は、生成した論理式（４−１）と、第一の論理式ψｓｙｓ（Ｌ，Ｐ）と、第一の論理式のうち、パラメータＰをＰ´に置換して得られる式ψｓｙｓ（Ｌ，Ｐ´）とを論理式で結合し、以下の論理式を得る。論理式（４−１）、第一の論理式ψｓｙｓ（Ｌ，Ｐ）及び置換により得られる論理式ψｓｙｓ（Ｌ，Ｐ´）の論理積により、第一の論理式を満たすＰ及びＰ´について、ＰとＰ´との差が所定値（実施例では７５［ｋＷ］）以上である領域が特定される。
【０１５３】
【数２９】
2016051553.tif 000031
【０１５４】
図４１は、特徴計算部１１が、生成した図４０の論理式ψｒｏｏｍ１（Ｌ，Ｐ，Ｐ´）に対して更に行う演算処理について説明する図である。特徴計算部１１は、図４０の論理式ψｒｏｏｍ１（Ｌ，Ｐ，Ｐ´）のパラメータＰ、Ｐ´に対して存在記号「∃」を付与し（図４１の（４−２））、以下の一階述語論理式φｒｏｏｍ１（Ｌ，Ｐ，Ｐ´）を生成する。
【０１５５】
【数３０】
2016051553.tif 000032
【０１５６】
図４２は、限定記号消去部１２が実施する演算処理について説明する図である。
【０１５７】
限定記号消去部１２は、特徴計算部１１から図４２の論理式φｒｏｏｍ１（Ｌ，Ｐ，Ｐ´）が入力されると、図４２に示すように、論理式φｒｏｏｍ１（Ｌ，Ｐ，Ｐ´）に対して限定記号消去を実施する。これにより得られる論理式Ｒｒｏｏｍ１（Ｌ）からは、図４１の演算処理において特徴計算部１１が存在記号「∃」を付与したパラメータＰ、Ｐ´が消去されている。
【０１５８】
【数３１】
2016051553.tif 000033
・・・（４−３）
【０１５９】
図４３は、本実施形態において、特徴計算部１１が図４２の演算で得られた論理式から第二の論理式Ｒｒｏｏｍ（Ｌ，Ｐ）を得る方法について説明する図である。
【０１６０】
特徴計算部１１は、図４２でパラメータＰ、Ｐ´を消去して得られた式（４−３）と第一の論理式ψｓｙｓ（Ｌ，Ｐ）とを論理積で結合し、第二の論理式Ｒｒｏｏｍ（Ｌ，Ｐ）を得る。
【０１６１】
【数３２】
2016051553.tif 000034
【０１６２】
特徴計算部１１は、上記の論理式Ｒｒｏｏｍ（Ｌ，Ｐ）を第二の論理式として、画像化部１３に出力する。画像化部１３は、特徴計算部１１から入力された第二の論理式Ｒｒｏｏｍ（Ｌ，Ｐ）に基づき、熱負荷の需要量Ｌと消費電力Ｐとの関係を表したグラフを生成する。
【０１６３】
図４４は、第二の論理式Ｒｒｏｏｍ（Ｌ，Ｐ）を可視化して生成したグラフＧ４を例示する図である。
【０１６４】
図４４のグラフＧ４においては、第一の論理式の領域の満たす領域Ａ＿ψｓｙｓ（Ｌ，Ｐ）と、このうち第二の論理式が満たす領域Ａ＿Ｒｒｏｏｍ（Ｌ，Ｐ）とを色分けして表示している。ユーザは、一定以上の省エネの余地がある領域（実施例では、７５［ｋＷ］以上の省エネが可能な領域）、すなわち、所定値以上消費電力Ｐを削減可能な領域を直感的に把握することが可能となり、これにより、有効な解析に資する。
＜第５の実施形態＞
上記の第４の実施形態においては、ユーザが直感的に把握し易いように、省エネ余地が一定以上ある領域を抽出して強調表示している。これに対し、本実施形態においては、消費電力をどれだけ削減できるかを、ユーザが直感的に把握し易くしている。
【０１６５】
以下に、本実施形態に係るエネルギーマネジメント支援装置１が、第一の論理式において消費電力の削減余地がどれだけあるかを表示したグラフＧ５を生成する方法について説明する。まず、本実施形態に係るエネルギーマネジメント支援装置１の解析対象について説明する。
【０１６６】
図４５は、本実施形態に係るエネルギーマネジメント支援装置１が解析を行う需給系統モデルを例示する図である。
【０１６７】
図４５に示すように、本実施形態における需給系統モデルでは、空調システム内の空調対象空間に熱負荷を供給する熱源機器として、３台の冷凍機１〜３を備えている。電源は、３台の冷凍機１〜３に対してＰ［ｋＷ］の電力を供給し、３台の冷凍機１〜３は、それぞれ電源から供給を受けてＰ１〜Ｐ３［ｋＷ］の電力を消費する。３台の冷凍機１〜３は、空調対象空間にそれぞれＬ１〜Ｌ３［ｋＷ］の熱負荷を供給し、空調対象空間の電力の需要量は、Ｌ［ｋＷ］である。
【０１６８】
図４６は、図４５に示す需給系統モデルを構成する冷凍機１〜３についての本実施形態における消費電力特性及び外気温度の変化範囲の式を例示する図である。
【０１６９】
冷凍機１〜３それぞれの稼動時における消費電力特性を表す式は、図４６の数式群（５−１）に示すとおりである。
【０１７０】
【数３３】
2016051553.tif 000035
・・・（５−１）
【０１７１】
冷凍機１〜３の熱負荷の上下限の制約を表す式は、図４６の数式群（５−２）に示すとおりである。
【０１７２】
【数３４】
2016051553.tif 000036
・・・（５−２）
【０１７３】
冷凍機１〜３の停止時における消費電力特性を表す式は、図４６の数式群（５−３）に示すとおりである。
【０１７４】
【数３５】
2016051553.tif 000037
・・・（５−３）
【０１７５】
外気温度Ｔの変化範囲を表す式は、図４６に示すとおり、
２５≦Ｔ≦３５…（５−４）
である。
【０１７６】
図４７は、本実施形態における外気温度Ｔと冷凍機１〜３の消費電力特性との関係を説明する図である。図４７（ａ）は、外気温度Ｔが２５［℃］のとき、図２７（ｂ）は、３５［℃］のときの各冷凍機１〜３の消費電力特性を表す。
【０１７７】
設例のように、空調対象空間が複数の冷凍機に対して熱負荷を需要する構成をとる場合や、各冷凍機の消費電力特性が外気温度による場合には、ユーザは、どのように冷凍機１〜３を稼動させることでより省エネ効果が高まるかが、把握しにくいこともある。このため、本実施形態においては、以下の方法により省エネの余地を求め、これを可視化する。
【０１７８】
図４８は、上記の設例における熱負荷の需要量Ｌと消費電力Ｐとの関係を示した第一の論理式を例示する図である。
【０１７９】
【数３６】
2016051553.tif 000038
【０１８０】
図４８に示す論理式ψｓｙｓ３（Ｌ，Ｐ）は、図４６に示す数式群を用いて一階述語論理式を生成し、限定記号消去により式から限定記号を消去することにより求まる。
【０１８１】
図４９は、図４８の論理式ψｓｙｓ３（Ｌ，Ｐ）を可視化したグラフを示す図である。図４９においては色分けされている領域Ａ＿ψｓｙｓ３（Ｌ，Ｐ）が、第一の論理式ψｓｙｓ３（Ｌ，Ｐ）を満たす領域である。
【０１８２】
図４９のグラフでは、消費電力Ｐの削減の余地が大きそうか否かについてはある程度確認できても、実際に消費電力Ｐをどれだけ削減できるかについては、グラフからは把握しにくい。そこで、以下の演算により、消費電力をどれだけ削減できるかを求める。
【０１８３】
図５０は、本実施形態において特徴計算部１１が行う演算処理について説明する図である。
【０１８４】
特徴計算部１１は、図４８の第一の論理式ψｓｙｓ３（Ｌ，Ｐ）の入力を受け付けると、パラメータＰ´を用いて、論理式「Ｐ´＜Ｐ」（５−５）を生成する。
【０１８５】
特徴計算部１１は、入力された第一の論理式ψｓｙｓ３（Ｌ，Ｐ）の消費電力ＰをＰ´で置換し、置換により得られる式と論理式（５−５）とを論理積で結合して、以下の論理式ψｅｆｆｅｃｔ１（Ｌ，Ｐ，Ｐ´）を作成する。論理式（５−５）と置換により得られる論理式ψｓｙｓ３（Ｌ，Ｐ´）により、第一の論理式を満たす領域のうち、パラメータＰがＰ´より大きい領域が特定される。
【０１８６】
【数３７】
2016051553.tif 000039
【０１８７】
図５１は、特徴計算部１１が図５０の論理式ψｅｆｆｅｃｔ１（Ｌ，Ｐ，Ｐ´）に対して更に行う演算処理について説明する図である。
【０１８８】
特徴計算部１１は、図５０の論理式ψｅｆｆｅｃｔ１（Ｌ，Ｐ，Ｐ´）のパラメータＰ´に対して存在記号「∃」を付与し、以下の一階述語論理式φｅｆｆｅｃｔ１（Ｌ，Ｐ，Ｐ´）を生成する。
【０１８９】
【数３８】
2016051553.tif 000040
【０１９０】
図５２は、限定記号消去部１２が実施する演算処理について説明する図である。
【０１９１】
限定記号消去部１２は、特徴計算部１１から図５１の論理式φｅｆｆｅｃｔ１（Ｌ，Ｐ，Ｐ´）が入力されると、図５２に示すように、入力された論理式に対し限定記号消去を実施する。得られる論理式Ｒｅｆｆｅｃｔ１（Ｌ，Ｐ）からは、図５１の演算処理において特徴計算部１１が存在記号「∃」を付与したパラメータＰ´が消去されている。
【０１９２】
【数３９】
2016051553.tif 000041
・・・（５−６）
【０１９３】
上記の図５０〜図５２に示す演算処理により、特徴計算部１１は、消費電力Ｐに関して「図４８の第一の論理式ψｓｙｓ３（Ｌ，Ｐ）よりも大きい値」をとる領域を表す論理式Ｒｅｆｆｅｃｔ１（Ｌ，Ｐ）を得る。同様に、特徴計算部１１は、図４８の第一の論理式ψｓｙｓ３（Ｌ，Ｐ）に基づき、更に以下の演算を行い、消費電力Ｐに関して「第一の論理式ψｓｙｓ３（Ｌ，Ｐ）以上の値」をとる領域を表す論理式Ｒｅｆｆｅｃｔ２（Ｌ，Ｐ）を求める。
【０１９４】
図５３は、特徴計算部１１が論理式Ｒｅｆｆｅｃｔ２（Ｌ，Ｐ）を得るために行う演算処理について説明する図である。
【０１９５】
特徴計算部１１は、図４８の第一の論理式ψｓｙｓ３（Ｌ，Ｐ）に基づき、パラメータＰ´を用いて、論理式「Ｐ≦Ｐ´」（５−７）を生成する。
【０１９６】
特徴計算部１１は、図５０で論理式ψｅｆｆｅｃｔ１（Ｌ，Ｐ，Ｐ´）を作成したときと同様の方法により、論理式ψｅｆｆｅｃｔ２（Ｌ，Ｐ，Ｐ´）を作成する。すなわち、特徴計算部１１は、入力された第一の論理式ψｓｙｓ３（Ｌ，Ｐ）の消費電力ＰをＰ´で置換し、置換により得られる式と論理式（５−７）とを論理積で結合して、以下の論理式ψｅｆｆｅｃｔ２（Ｌ，Ｐ，Ｐ´）を作成する。論理式（５−７）と置換により得られる論理式ψｓｙｓ３（Ｌ，Ｐ´）により、第一の論理式を満たす領域のうち、パラメータＰがＰ´以上である領域が特定される。
【０１９７】
【数４０】
2016051553.tif 000042
【０１９８】
図５４は、特徴計算部１１が図５３の論理式ψｅｆｆｅｃｔ２（Ｌ，Ｐ，Ｐ´）に対して更に行う演算処理について説明する図である。
【０１９９】
特徴計算部１１は、図５１で論理式φｅｆｆｅｃｔ１（Ｌ，Ｐ，Ｐ´）を生成したときと同様の方法により、論理式φｅｆｆｅｃｔ２（Ｌ，Ｐ，Ｐ´）を生成する。すなわち、特徴計算部１１は、生成した図５３の論理式ψｅｆｆｅｃｔ２（Ｌ，Ｐ，Ｐ´）のパラメータＰ´に対して存在記号「∃」を付与し、以下の一階述語論理式φｅｆｆｅｃｔ２（Ｌ，Ｐ，Ｐ´）を生成する。
【０２００】
【数４１】
2016051553.tif 000043
【０２０１】
図５５は、限定記号消去部１２が実施する演算処理について説明する図である。
【０２０２】
限定記号消去部１２は、図５２で実施したと同様の方法により、限定記号消去を行い、論理式Ｒｅｆｆｅｃｔ２（Ｌ，Ｐ）を得る。すなわち、限定記号消去部１２は、特徴計算部１１から図５４の論理式φｅｆｆｅｃｔ２（Ｌ，Ｐ，Ｐ´）が入力されると、入力された論理式に対し限定記号消去を実施する。得られる論理式Ｒｅｆｆｅｃｔ２（Ｌ，Ｐ）からは図５４の演算処理において特徴計算部１１が存在記号「∃」を付与したパラメータＰ´が消去されている。
【０２０３】
【数４２】
2016051553.tif 000044
・・・（５−８）
【０２０４】
上記の方法により得られた２つの論理式Ｒｅｆｆｅｃｔ１（Ｌ，Ｐ）及びＲｅｆｆｅｃｔ２（Ｌ，Ｐ）は、それぞれ第一の論理式ψｓｙｓ３（Ｌ，Ｐ）の消費電力の下限値よりも大きい領域、下限値以上の領域を表している。このことから、上記第１の実施形態において、消費電力の下限から一定の幅の領域を抽出した方法と同様の方法により、第一の論理式ψｓｙｓ３（Ｌ，Ｐ）の下限値を抽出する。
【０２０５】
図５６は、本実施形態において、特徴計算部１１が第一の論理式ψｓｙｓ３（Ｌ，Ｐ）の下限値を表す論理式Ｒｅｆｆｅｃｔ３（Ｌ，Ｐ）を生成する方法について説明する図である。
【０２０６】
図５６に示すように、特徴計算部１１は、上記の演算処理により求めた２つの式（５−６）と（５−８）、すなわち論理式Ｒｅｆｆｅｃｔ１（Ｌ，Ｐ）とＲｅｆｆｅｃｔ２（Ｌ，Ｐ）とで、排他的論理和ＸＯＲをとる。
【０２０７】
【数４３】
2016051553.tif 000045
・・・（５−９）
【０２０８】
式（５−９）においては、排他的論理ＸＯＲにより、第一の論理式ψｓｙｓ３（Ｌ，Ｐ）の下限値が抽出されている。
【０２０９】
図５７は、特徴計算部１１が図５６で生成した論理式Ｒｅｆｆｅｃｔ３（Ｌ，Ｐ）を用いて更に行う演算処理について説明する図である。
【０２１０】
特徴計算部１１は、生成した式（５−９）のパラメータＰをＰ´−Ｐで置換した論理式Ｒｅｆｆｅｃｔ３（Ｌ，Ｐ´−Ｐ）を生成する。そして、置換により生成した論理式Ｒｅｆｆｅｃｔ３（Ｌ，Ｐ´−Ｐ）と第一の論理式ψｓｙｓ３（Ｌ，Ｐ）の消費電力ＰをＰ´で置換し、置換により得られる式ψｓｙｓ３（Ｌ，Ｐ´）とを論理積で結合して、以下の論理式ψｅｆｆｅｃｔ（Ｌ，Ｐ，Ｐ´）を作成する。式（５−９）を置換した式Ｒｅｆｆｅｃｔ３（Ｌ，Ｐ´−Ｐ）と第一の論理式ψｓｙｓ３（Ｌ，Ｐ）の消費電力ＰをＰ´で置換した式ψｓｙｓ３（Ｌ，Ｐ´）との論理積により、第一の論理式ψｓｙｓ３（Ｌ，Ｐ）の消費電力ＰをＰ´で置換した式ψｓｙｓ３（Ｌ，Ｐ´）を満たす領域のうち、Ｐ´の下限からＰを減算しても依然第一の論理式に含まれる領域が特定される。
【０２１１】
【数４４】
2016051553.tif 000046
【０２１２】
図５８は、特徴計算部１１が図５７の論理式ψｅｆｆｅｃｔ（Ｌ，Ｐ，Ｐ´）に対して更に行う演算処理について説明する図である。
【０２１３】
特徴計算部１１は、図５７の論理式ψｅｆｆｅｃｔ（Ｌ，Ｐ，Ｐ´）のパラメータＰ´に対して存在記号「∃」を付与し、以下の一階述語論理式ψｅｆｆｅｃｔ（Ｌ，Ｐ，Ｐ´）を生成する。
【０２１４】
【数４５】
2016051553.tif 000047
【０２１５】
図５９は、限定記号消去部１２が実施する演算処理について説明する図である。
【０２１６】
限定記号消去部１２は、特徴計算部１１から図５８の論理式ψｅｆｆｅｃｔ（Ｌ，Ｐ，Ｐ´）が入力されると、図５９に示すように、論理式φｅｆｆｅｃｔ（Ｌ，Ｐ，Ｐ´）に対し限定記号消去を実施し、論理式Ｒｅｆｆｅｃｔ（Ｌ，Ｐ）を得る。得られる論理式Ｒｅｆｆｅｃｔ（Ｌ，Ｐ）からは、図５８の演算処理において特徴計算部１１が存在記号「∃」を付与したパラメータＰ´が消去されている。
【０２１７】
【数４６】
2016051553.tif 000048
・・・（５−１０）
【０２１８】
限定記号消去により得られる論理式Ｒｅｆｆｅｃｔ（Ｌ，Ｐ）（５−１０）は、第一の論理式ψｓｙｓ３（Ｌ，Ｐ）のＬに対応するＰの削減可能な量、すなわち、Ｐの下限から上限までどれだけあるかを表している。
【０２１９】
特徴計算部１１は、図５９の限定記号消去により得られた論理式Ｒｅｆｆｅｃｔ（Ｌ，Ｐ）を限定記号消去部１２から受け取り、これを第二の論理式として画像化部１３に出力する。画像化部１３は、特徴計算部１１から入力された第二の論理式Ｒｅｆｆｅｃｔ（Ｌ，Ｐ）に基づき、熱負荷の需要量Ｌと削減可能な消費電力Ｐとの関係を表したグラフを生成する。
【０２２０】
図６０は、第二の論理式Ｒｅｆｆｅｃｔ（Ｌ，Ｐ）により、グラフ上に表示した削減可能な消費電力を例示する図である。図６０のグラフＧ５では、横軸に熱負荷の需要量Ｌ［ｋＷ］を、縦軸に削減可能な消費電力量、すなわち省エネ余地Ｐ［ｋＷ］をとる。
【０２２１】
図６０の領域Ａ＿Ｒｅｆｆｅｃｔ（Ｌ，Ｐ）により、ユーザは、図４５の空調対象空間の電力の需要量Ｌをどのように設定すると省エネ余地が大きくなるか、また、ある需要量Ｌに対してはどの程度省エネ余地Ｐがあるか等を把握し易くなる。これにより、有効な解析に資する。
＜第６の実施形態＞
上記の第１〜第５の実施形態においては、エネルギーマネジメント支援装置１に入力される第一の論理式ψ＊＊をそのまま可視化した場合には確認が容易でない領域や、直感的に把握しにくい情報の可視化を行っている。これに対し、本実施形態においては、第一の論理式ψ＊＊を可視化する際に、グラフの縦軸及び横軸の範囲を、それぞれの最大値及び最小値を求めてこれに基づき適切に設定することにより、適切なサイズのグラフを描画する。
【０２２２】
以下に、本実施形態に係るエネルギーマネジメント支援装置１により第一の論理式の消費電力Ｐ及び熱負荷の需要量Ｌの最大値及び最小値を判断し、これに基づき第一の論理式の可視化を行う方法について説明する。
【０２２３】
なお、本実施形態においては、エネルギーマネジメント支援装置１が解析対象とする需給系統モデルは、図３に示すとおりである。需給系統モデルの消費電力特性式や外気温度の変化範囲等についても、図４や図５を参照して説明したとおりである。そして、エネルギーマネジメント支援装置１に入力される第一の論理式ψｓｙｓ（Ｌ，Ｐ）についても図６及び図７に示すとおりであり、先に説明したとおりである。
【０２２４】
まず、グラフにおいては横軸に表される熱負荷の需要量Ｌの最大値及び最小値を求める方法を、図６１〜図６５を参照して説明する。
【０２２５】
図６１は、本実施形態において特徴計算部１１が熱負荷の需要量Ｌの最大値及び最小値を求めるために行う演算処理について説明する図である。
【０２２６】
特徴計算部１１は、まず、図６１に示すように、第一の論理式ψｓｙｓ（Ｌ，Ｐ）の入力を受け付けると、パラメータＰに対して存在記号「∃」を付与し、以下の一階述語論理式φＬ−ｒａｎｇｅ（Ｌ，Ｐ）を生成する。
【０２２７】
【数４７】
2016051553.tif 000049
【０２２８】
図６２は、限定記号消去部１２が実施する演算処理について説明する図である。
【０２２９】
限定記号消去部１２は、特徴計算部１１から図６１の論理式φＬ−ｒａｎｇｅ（Ｌ，Ｐ）が入力されると、入力された論理式に対し限定記号消去を実施する。得られる論理式ＲＬ−ｒａｎｇｅ（Ｌ）（６−１）からは、図６１の演算処理において特徴計算部１１が存在記号「∃」を付与したパラメータＰが消去されている。
【０２３０】
【数４８】
2016051553.tif 000050
・・・（６−１）
【０２３１】
限定記号消去を実施した結果得られる式は、式（６−１）のようにパラメータＬについての１次式であるとは限らず、２次以上の式である場合もある。そこで、特徴計算部１１は、限定記号消去部１２から論理式ＲＬ−ｒａｎｇｅ（Ｌ）を受け取ると、更に、以下の演算処理を実施する。
【０２３２】
図６３は、特徴計算部１１が論理式ＲＬ−ｒａｎｇｅ（Ｌ）を用いて熱負荷の需要量Ｌの最小値を求めるために更に行う演算処理について説明する図である。
【０２３３】
特徴計算部１１は、図６２の論理式ＲＬ−ｒａｎｇｅ（Ｌ）に対し、熱負荷の需要量Ｌの最小値Ｌｍｉｎが満たす条件より、図６３の上段の論理式ψＬ−ｍｉｎ（Ｌ，Ｌｍｉｎ）を生成する。これについて、図６４を参照して更に説明する。
【０２３４】
図６４は、論理式ψＬ−ｍｉｎ（Ｌ，Ｌｍｉｎ）について説明する図である。図６４（ａ）は、図６３の論理式「Ｌ＜Ｌｒａｎｇｅ⇒¬ＲＬ−ｒａｎｇｅ（Ｌ）」（６−２）を説明する図であり、図６４（ｂ）は、図６４の論理式「ＲＬ−ｒａｎｇｅ（Ｌｍｉｎ）」（６−３）を説明する図である。
【０２３５】
まず、図６４（ａ）に示すように、論理式（６−２）は、Ｌが最小値Ｌｍｉｎよりも小さい（Ｌ＜Ｌｍｉｎ）場合、対応するＬは式（６−１）が満たす領域の範囲外である（¬ＲＬ−ｒａｎｇｅ（Ｌ））ことを表す。
【０２３６】
そして、図６４（ｂ）に示すように、論理式（６−３）は、Ｌｍｉｎが式（６−１）を満たすＬの範囲外とならないことを表す
すなわち、図６３の上段の式
【０２３７】
【数４９】
2016051553.tif 000051
【０２３８】
は、熱負荷の需要量Ｌ及びその最小値Ｌｍｉｎが２つの論理式（６−２）及び（６−３）で記述される条件を満たすことを表している。
【０２３９】
図６３の中段に示すように、特徴計算部１１は、生成した論理式ψＬ−ｍｉｎ（Ｌ，Ｌｍｉｎ）に対し、パラメータＬに全称記号「∀」を付与して以下の一階述語論理式φＬ−ｍｉｎ（Ｌ，Ｌｍｉｎ）を生成する。
【０２４０】
【数５０】
2016051553.tif 000052
・・・（６−４）
【０２４１】
限定記号消去部１２は、特徴計算部１１から上記の論理式φＬ−ｍｉｎ（Ｌ，Ｌｍｉｎ）（６−４）が入力されると、図６３の下段に示すように、入力された論理式φＬ−ｍｉｎ（Ｌ，Ｌｍｉｎ）（６−４）に対して限定記号消去を実施する。限定記号消去により、以下の式（６−５）に示すように、熱負荷の需要量Ｌに関し、最小値Ｌｍｉｎ「０」が得られる。
【０２４２】
【数５１】
2016051553.tif 000053
・・・（６−５）
【０２４３】
図６５は、特徴計算部１１が図６２の論理式ＲＬ−ｒａｎｇｅ（Ｌ）を用いて熱負荷の需要量Ｌの最大値を求めるために行う演算処理について説明する図である。
【０２４４】
特徴計算部１１は、図６５の上段の論理式についても、先に図６３及び図６４を参照して説明した論理式ψＬ−ｍｉｎ（Ｌ，Ｌｍｉｎ）についてと同様の考え方に基づいて生成する。
【０２４５】
すなわち、まず、需要量Ｌの最大値Ｌｍａｘとすると、Ｌの値がＬｍａｘよりも大きい（Ｌｍａｘ＜Ｌ）場合は、対応するＬは、論理式ＲＬ−ｒａｎｇｅ（Ｌ）が満たす領域に属しない（¬ＲＬ−ｒａｎｇｅ（Ｌ））。論理式で表すと、図６５上段の論理式（６−６）がこれに該当する。
【０２４６】
また、最大値Ｌｍａｘに対応する値はＬが満たす領域に属する（ＲＬ−ｒａｎｇｅ（Ｌｍａｘ））。論理式で表すと、図６５上段の論理式（６−７）がこれに該当する。
【０２４７】
図６５の上段の論理式ψＬ−ｍａｘ（Ｌ，Ｌｍａｘ）は、熱負荷の需要量Ｌ及びその最大値Ｌｍａｘが２つの論理式（６−６）及び（６−７）で記述される条件を満たすことを表している。
【０２４８】
【数５２】
2016051553.tif 000054
【０２４９】
図６５の中段に示すように、特徴計算部１１は、上記の論理式ψＬ−ｍａｘ（Ｌ，Ｌｍａｘ）に対し、パラメータＬに全称記号「∀」を付与して以下の一階述語論理式φＬ−ｍａｘ（Ｌ，Ｌｍａｘ）を生成する。
【０２５０】
【数５３】
2016051553.tif 000055
・・・（６−８）
【０２５１】
限定記号消去部１２は、特徴計算部１１から上記のφＬ−ｍａｘ（Ｌ，Ｌｍａｘ）（６−８）が入力されると、図６５の下段に示すように、入力された論理式に対して限定記号消去を実施する。限定記号消去により、以下の式（６−９）に示すように、熱負荷の需要量Ｌに関し、最大値Ｌｍａｘ「７２８」が得られる。
【０２５２】
【数５４】
2016051553.tif 000056
・・・（６−９）
【０２５３】
消費電力Ｐの最大値及び最小値を求める場合についても、上記の需要量Ｌの最大値及び最小値を求める場合と同様の考え方に基づき、以下の演算を行う。次に、グラフにおいては縦軸に表される消費電力Ｐの最大値及び最小値を求める方法について、図６６〜図６９を参照して説明する。
【０２５４】
図６６は、本実施形態において特徴計算部１１が消費電力Ｐの最大値及び最小値を求めるために行う演算処理について説明する図である。
【０２５５】
まず、特徴計算部１１は、図６６に示すように、第一の論理式ψｓｙｓ（Ｌ，Ｐ）の入力を受け付けると、パラメータＬに対して存在記号「∃」を付与し、以下の一階述語論理式φＰ−ｒａｎｇｅ（Ｌ，Ｐ）を生成する。
【０２５６】
【数５５】
2016051553.tif 000057
【０２５７】
図６７は、限定記号消去部１２が実施する演算処理について説明する図である。
【０２５８】
限定記号消去部１２は、特徴計算部１１から入力された図６６の論理式φＰ−ｒａｎｇｅ（Ｌ，Ｐ）に対し、限定記号消去を実施する。得られる論理式ＲＰ−ｒａｎｇｅ（Ｐ）（６−１０）からは、図６６の演算処理において特徴計算部１１が存在記号「∃」を付与したパラメータＬが消去されている。
【０２５９】
【数５６】
2016051553.tif 000058
・・・（６−１０）
【０２６０】
上記の論理式（６−１）についてと同様に、限定記号消去を行った結果得られる式は、式（６−１０）のようにパラメータＰについての１次式であるとは限らず、２次以上の式である場合もある。そこで、特徴計算部１１は、限定記号消去部１２から論理式ＲＰ−ｒａｎｇｅ（Ｐ）を受け取ると、更に、以下の演算処理を実施する。
【０２６１】
図６８は、特徴計算部１１が論理式ＲＰ−ｒａｎｇｅ（Ｐ）を用いて消費電力Ｐの最小値を求めるために行う演算処理について説明する図である。
【０２６２】
特徴計算部１１は、図６７の論理式ＲＰ−ｒａｎｇｅ（Ｐ）に対し、消費電力Ｐ及びその最小値Ｐｍｉｎが満たす条件より、図６８の上段の論理式ψＰ−ｍｉｎ（Ｐ，Ｐｍｉｎ）を生成する。
【０２６３】
【数５７】
2016051553.tif 000059
・・・（６−１１）
【０２６４】
上記の式（６−１１）は、上記のψＬ−ｍｉｎ（Ｌ，Ｌｍｉｎ）と同様の考え方に基づき生成される。すなわち、消費電力Ｐの最小値Ｐｍｉｎとすると、Ｐの値がＰｍｉｎよりも小さい（Ｐ＜Ｐｍｉｎ）場合は、対応する値Ｐは、論理式ＲＰ−ｒａｎｇｅ（Ｐ）が満たす領域に属しない（¬ＲＰ−ｒａｎｇｅ（Ｐ））。また、同時に、最小値Ｐｍｉｎに対応する値は、Pが満たす領域に属する（ＲＰ−ｒａｎｇｅ（Ｐｍｉｎ））。論理式（６−１１）は、これら２つの条件に基づき生成される。
【０２６５】
図６８の中段に示すように、特徴計算部１１は、特徴計算部１１は、生成した論理式ψＰ−ｍｉｎ（Ｐ，Ｐｍｉｎ）（６−１１）に対し、パラメータＰに全称記号「∀」を付与して、以下の一階述語論理式φＰ−ｍｉｎ（Ｐ，Ｐｍｉｎ）を生成する。
【０２６６】
【数５８】
2016051553.tif 000060
・・・（６−１２）
【０２６７】
限定記号消去部１２は、特徴計算部１１から上記の論理式φＰ−ｍｉｎ（Ｐ，Ｐｍｉｎ）（６−１２）が入力されると、図６８の下段に示すように、入力された論理式φＰ−ｍｉｎ（Ｐ，Ｐｍｉｎ）（６−１２）に対して限定記号消去を実施する。限定記号消去により、以下の式（６−１３）に示すように、消費電力Ｐに関し、最小値Ｐｍｉｎ「０」が得られる。
【０２６８】
【数５９】
2016051553.tif 000061
・・・（６−１３）
【０２６９】
図６９は、特徴計算部１１が図６７の論理式ＲＰ−ｒａｎｇｅ（Ｌ）を用いて消費電力Ｐの最大値を求めるために行う演算処理について説明する図である。
【０２７０】
特徴計算部１１は、図６７の論理式ＲＰ−ｒａｎｇｅ（Ｐ）に対し、消費電力Ｐ及びその最大値Ｐｍａｘが満たす条件より、図６９の上段の論理式ψＰ−ｍａｘ（Ｐ，Ｐｍａｘ）を生成する。
【０２７１】
【数６０】
2016051553.tif 000062
・・・（６−１４）
【０２７２】
消費電力Ｐの最大値Ｐｍａｘとすると、Ｐの値がＰｍａｘよりも大きい（Ｐ＞Ｐｍａｘ）場合は、対応する値Ｐは、論理式ＲＰ−ｒａｎｇｅ（Ｐ）が満たす領域に属しない（¬ＲＰ−ｒａｎｇｅ（Ｐ））。また、最大値Ｐｍａｘに対応する値ＲＰ−ｒａｎｇｅ（Ｐｍａｘ）は、論理式が満たす領域に属する（ＲＰ−ｒａｎｇｅ（Ｐｍａｘ））。論理式（６−１４）は、これら２つの条件に基づき生成される。
【０２７３】
図６９の中段に示すように、特徴計算部１１は、生成した論理式ψＰ−ｍａｘ（Ｐ，Ｐｍａｘ）（６−１４）に対し、パラメータＰに全称記号「∀」を付与して、以下の一階述語論理式φＰ−ｍａｘ（Ｐ，Ｐｍａｘ）を生成する。
【０２７４】
【数６１】
2016051553.tif 000063
・・・（６−１５）
【０２７５】
限定記号消去部１２は、特徴計算部１１から上記のφＰ−ｍａｘ（Ｐ，Ｐｍａｘ）（６−１５）が入力されると、図６９の下段に示すように、入力された論理式φＰ−ｍａｘ（Ｐ，Ｐｍａｘ）（６−１５）に対して限定記号消去を実施する。限定記号消去により、以下の式（６−１６）に示すように、消費電力Ｐに関し、最大値Ｐｍａｘ「２９０９０９７／１００００」が得られる。
【０２７６】
【数６２】
2016051553.tif 000064
・・・（６−１６）
【０２７７】
上記の演算処理を実施することにより、式（６−５）、（６−９）、（６−１３）、（６−１６）、すなわち、熱負荷の需要量Ｌ及び消費電力Ｐのそれぞれについての最小値及び最大値が求まる。特徴計算部１１は、得られたこれらの値を画像化部１３に第一の論理式ψｓｙｓ（Ｌ，Ｐ）とともに渡す。画像化部１３は、熱負荷の需要量Ｌ及び消費電力Ｐそれぞれについての最大値及び最小値に基づき、グラフの描画範囲を決定し、熱負荷の需要量Ｌと消費電力Ｐとの関係を表すグラフを含む画像５０（図１等参照）を生成する。
【０２７８】
図７０は、図６１〜図６９の演算結果を利用して第一の論理式ψｓｙｓ（Ｌ，Ｐ）を可視化し、生成したグラフＧ６を例示する図である。
【０２７９】
画像化部１３は、熱負荷の需要量の最小値Ｌｍｉｎ＝０、最大値Ｌｍａｘ＝７２８、消費電力の最小値Ｐｍｉｎ＝０、最大値Ｐｍａｘ＝２９０．９０９７に基づき、図７０のグラフＧ６の横軸及び縦軸の描画範囲を決定している。
【０２８０】
仮に、各軸方向の最大値及び最小値を求めずにグラフの描画を行うとすると、例えば、前回にグラフを生成したときの描画範囲をそのまま利用する、あるいは、予め設定しておいた範囲を用いることとなる。これらの方法によっては、論理式ψｓｙｓ（Ｌ，Ｐ）を満たす領域Ａ＿ψｓｙｓ（Ｌ，Ｐ）の描画が、ユーザが確認するのに適切なサイズでなされるとは限らない。例えば、論理式を満たす領域がグラフに納まらないことや、グラフの範囲に対して、描画される領域Ａ＿ψｓｙｓ（Ｌ，Ｐ）のサイズが小さすぎることが起こり得る。本実施形態によれば、適切なサイズで論理式ψｓｙｓ（Ｌ，Ｐ）を満たす領域Ａ＿ψｓｙｓ（Ｌ，Ｐ）が描画される。このため、ユーザにとっては、可視化結果を更に利用し易くなり、効率的な解析に資する。
＜第７の実施形態＞
上記の実施形態においては、エネルギーマネジメント支援装置１に入力されたある第一の論理式、すなわちある需給系統モデルに対して可視化を行う場合におけるユーザの利便性の向上を図っている。これに対し、本実施形態においては、２以上の需給系統モデルに対して可視化を行う場合におけるユーザの利便性の向上を図っている。
【０２８１】
以下に、本実施形態に係るエネルギーマネジメント支援装置１による可視化の方法について説明する。なお、本実施形態においては、エネルギーマネジメント支援装置１が解析を行う需給系統モデルについては、図３に示すとおりである。但し、需給系統モデルを構成する各冷凍機１〜４の特性式等については、上記の実施形態と異なり、図７１に示すとおりであるので、これについて説明する。
【０２８２】
図７１は、図３に示す需給系統モデルを構成する冷凍機１〜４についての本実施形態における消費電力特性を例示する図である。
【０２８３】
稼動時における冷凍機１〜４の消費電力特性は、図７１の数式群（７−１）に示すとおりである。
【０２８４】
【数６３】
2016051553.tif 000065
・・・（７−１）
【０２８５】
冷凍機１〜４の熱負荷の上下限を表す式は、図７１の数式群（７−２）に示すとおりである。
【０２８６】
【数６４】
2016051553.tif 000066
・・・（７−２）
【０２８７】
そして、停止時における冷凍機１〜４の消費電力特性は、図７１の数式群（７−３）に示すとおりである。
【０２８８】
【数６５】
2016051553.tif 000067
・・・（７−３）
【０２８９】
上記数式群（７−１）〜（７−３）のとおり、冷凍機１と４とでは、同じ特性を示している。なお、外気温度Ｔの変化範囲については、上記の実施形態と同様であり、２５≦Ｔ≦３５であるので、図７１においては記載を省略している。
【０２９０】
図７２は、本実施形態における外気温度Ｔと冷凍機１〜４の消費電力特性との関係を説明する図である。図７２（ａ）は、外気温度Ｔがその下限である２５［℃］であるときの各冷凍機１〜４の消費電力特性を、図７２（ｂ）は、外気温度Ｔがその上限である３５［℃］であるときのそれを示す。
【０２９１】
上記のとおり、冷凍機１と４とでは同じ特性を示すため、外気温度Ｔとの関係を示すグラフにおいても、その曲線（図７２（ａ）においてはｃｈ＿２５＿１及びｃｈ＿２５＿４、図７２（ｂ）においてはｃｈ＿３５＿１及びｃｈ＿３５＿４）は一致している。
【０２９２】
図７３は、上記の設例における熱負荷の需要量Ｌと消費電力Ｐとの関係を示した第一の論理式を例示する図である。
【０２９３】
【数６６】
2016051553.tif 000068
【０２９４】
図７４は、上記の論理式ψｓｙｓ４（Ｌ，Ｐ）を可視化したグラフを示す図である。図７４のグラフ上には、エネルギーマネジメント支援装置１に入力された論理式ψｓｙｓ４（Ｌ，Ｐ）が満たす領域Ａ＿ψｓｙｓ４（Ｌ，Ｐ）が表示されている。
【０２９５】
ユーザは、可視化されたグラフを参照して解析を行う際に、ある需給系統モデルについて解析を行うだけでなく、２以上の需給系統モデル間で比較を行って、いずれのモデルが好ましいか等について検討することもある。上記の例では、設例のような４台の冷凍機１〜４のうち、２台の冷凍機１、４の特性が同じである場合と、図４及び図５に示すように、４台の冷凍機１〜４の特性が互いに異なる場合とでは、それぞれが満たす領域も異なる。本実施形態においては、２つの異なる論理式について、それぞれが満たす領域をユーザが確認し易い形態で同時に可視化している。
【０２９６】
図７５は、本実施形態における２つの論理式を可視化したグラフを例示する図である。
【０２９７】
図７５のグラフＧ７においては、図７３の論理式ψｓｙｓ４（Ｌ，Ｐ）に加えて、図６の論理式ψｓｙｓ（Ｌ，Ｐ）を同時に可視化している。それぞれの領域Ａ＿ψｓｙｓ４（Ｌ，Ｐ）、Ａ＿ψｓｙｓ（Ｌ，Ｐ）を色分けして表示し、２つの論理式の間で重複する領域については、濃い色で表示している。
【０２９８】
このように、本実施形態によれば、２以上の需給系統モデルの比較検討を可能としている。これにより、有効な解析に資する。
【０２９９】
なお、上記の実施例では、２つの論理式を可視化する場合を例示しているが、これに限定されるものではない。例えば、３以上の論理式を可視化する構成としてもよい。
【０３００】
また、上記の実施例においては、エネルギーマネジメント支援装置１に入力された互いに異なる（第一の）論理式について、同時に可視化する場合を例示しているが、これに限定されるものではない。例えば上記の実施形態により求めた第二の論理式同士を比較したい場合等にも適用しても、同様の効果が得られる。
【０３０１】
上記においては、エネルギーマネジメント支援装置１が、空調対象空間の熱負荷の需要量Ｌと消費電力Ｐとの関係を表したグラフを画像化する場合について説明している。しかし、本発明は、これに限定されるものではなく、他の各種の需給系統モデルの解析等に利用できる。
【０３０２】
本発明は上述した実施形態そのままに限定されるものではく、実施段階でのその要旨を逸脱しない範囲で構成要素を変形して具体化することができる。また、上記実施形態に開示されている複数の構成要素の適宜な組み合わせにより、種々の発明を形成することができる。例えば、実施形態に示される全構成要素を適宜組み合わせても良い。さらに、異なる実施形態にわたる構成要素を適宜組み合わせてもよい。このような、発明の趣旨を逸脱しない範囲内において種々の変形や応用が可能であることは言うまでもない。
【図１】
2016051553.tif 000069
【図２】
2016051553.tif 000070
【図３】
2016051553.tif 000071
【図４】
2016051553.tif 000072
【図５】
2016051553.tif 000073
【図６】
2016051553.tif 000074
【図７】
2016051553.tif 000075
【図８】
2016051553.tif 000076
【図９】
2016051553.tif 000077
【図１０】
2016051553.tif 000078
【図１１】
2016051553.tif 000079
【図１２】
2016051553.tif 000080
【図１３】
2016051553.tif 000081
【図１４】
2016051553.tif 000082
【図１５】
2016051553.tif 000083
【図１６】
2016051553.tif 000084
【図１７】
2016051553.tif 000085
【図１８】
2016051553.tif 000086
【図１９】
2016051553.tif 000087
【図２０】
2016051553.tif 000088
【図２１】
2016051553.tif 000089
【図２２】
2016051553.tif 000090
【図２３】
2016051553.tif 000091
【図２４】
2016051553.tif 000092
【図２５】
2016051553.tif 000093
【図２６】
2016051553.tif 000094
【図２７】
2016051553.tif 000095
【図２８】
2016051553.tif 000096
【図２９】
2016051553.tif 000097
【図３０】
2016051553.tif 000098
【図３１】
2016051553.tif 000099
【図３２】
2016051553.tif 000100
【図３３】
2016051553.tif 000101
【図３４】
2016051553.tif 000102
【図３５】
2016051553.tif 000103
【図３６】
2016051553.tif 000104
【図３７】
2016051553.tif 000105
【図３８】
2016051553.tif 000106
【図３９】
2016051553.tif 000107
【図４０】
2016051553.tif 000108
【図４１】
2016051553.tif 000109
【図４２】
2016051553.tif 000110
【図４３】
2016051553.tif 000111
【図４４】
2016051553.tif 000112
【図４５】
2016051553.tif 000113
【図４６】
2016051553.tif 000114
【図４７】
2016051553.tif 000115
【図４８】
2016051553.tif 000116
【図４９】
2016051553.tif 000117
【図５０】
2016051553.tif 000118
【図５１】
2016051553.tif 000119
【図５２】
2016051553.tif 000120
【図５３】
2016051553.tif 000121
【図５４】
2016051553.tif 000122
【図５５】
2016051553.tif 000123
【図５６】
2016051553.tif 000124
【図５７】
2016051553.tif 000125
【図５８】
2016051553.tif 000126
【図５９】
2016051553.tif 000127
【図６０】
2016051553.tif 000128
【図６１】
2016051553.tif 000129
【図６２】
2016051553.tif 000130
【図６３】
2016051553.tif 000131
【図６４】
2016051553.tif 000132
【図６５】
2016051553.tif 000133
【図６６】
2016051553.tif 000134
【図６７】
2016051553.tif 000135
【図６８】
2016051553.tif 000136
【図６９】
2016051553.tif 000137
【図７０】
2016051553.tif 000138
【図７１】
2016051553.tif 000139
【図７２】
2016051553.tif 000140
【図７３】
2016051553.tif 000141
【図７４】
2016051553.tif 000142
【図７５】
2016051553.tif 000143
【手続補正書】
【提出日】平成27年1月27日(2015.1.27)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
資源の需要設備と供給設備とからなる需給系統の解析を支援するエネルギーマネジメント支援装置であって、
前記資源の需要量と前記資源を供給する際に消費するエネルギーとの関係を表した数式及び論理記号からなる入力論理式の入力を受け付け、前記入力論理式が内包する所定の特徴を論理式として抽出するための一階述語論理式を生成する特徴計算部と、
前記一階述語論理式が入力されると、限定記号消去法により前記所定の特徴を表した論理式を生成する限定記号消去部と、
前記入力論理式と生成された前記所定の特徴を表した論理式とに基づき、前記入力論理式の前記所定の特徴を強調した前記入力論理式の可視化画像を生成する画像化部と
を備えたことを特徴とするエネルギーマネジメント支援装置。
【請求項２】
（削除）
【請求項３】
（削除）
【請求項４】
前記所定の特徴は、前記入力された論理式における前記消費エネルギーの上限または下限の少なくとも一方であり、前記可視化画像は、前記消費エネルギーの上限または下限を強調した画像である
ことを特徴とする請求項１記載のエネルギーマネジメント支援装置。
【請求項５】
前記所定の特徴は、前記入力された論理式が満たす領域を前記消費エネルギーまたは前記需要量の方向に所定の範囲だけ拡大した領域であり、前記可視化画像は、前記入力された論理式が満たす領域を前記消費エネルギーまたは前記需要量の方向に所定の範囲だけ拡大した領域を強調した画像である
ことを特徴とする請求項１記載のエネルギーマネジメント支援装置。
【請求項６】
前記所定の特徴は、前記入力された論理式における前記消費エネルギーを所定値以上に削減可能な領域であり、前記可視化画像は、前記消費エネルギーを所定値以上に削減可能な領域を強調した画像である
ことを特徴とする請求項１記載のエネルギーマネジメント支援装置。
【請求項７】
前記可視化画像は、前記消費エネルギーの上限または下限を色分けして強調した画像である
ことを特徴とする請求項２記載のエネルギーマネジメント支援装置。
【請求項８】
前記可視化画像は、前記消費エネルギーを所定値以上に削減可能な領域を色分けして強調した画像である
ことを特徴とする請求項４記載のエネルギーマネジメント支援装置。
【請求項９】
前記所定の特徴は、前記入力された論理式における前記消費エネルギーを削減可能な量であり、前記可視化画像は、前記消費エネルギーを削減可能な量を表した画像である
ことを特徴とする請求項１記載のエネルギーマネジメント支援装置。
【請求項１０】
前記所定の特徴は、前記入力された論理式における前記消費エネルギー及び前記需要量の最大及び最小であり、前記可視化画像は、前記消費エネルギー及び前記需要量の最大及び最小から前記可視化画像の横軸及び縦軸の描画範囲を決定した画像である
ことを特徴とする請求項１記載のエネルギーマネジメント支援装置。
【請求項１１】
（削除）
【請求項１２】
資源の需要設備と供給設備とからなる需給系統の解析を支援するエネルギーマネジメント支援処理を情報処理装置に実行させるためのエネルギーマネジメントプログラムであって、
前記資源の需要量と前記資源を供給する際に消費するエネルギーとの関係を表した数式及び論理記号からなる入力論理式の入力を受け付けると、前記入力論理式が内包する所定の特徴を論理式として抽出するための一階述語論理式を生成する特徴計算処理と、
前記一階述語論理式が入力されると、限定記号消去法により前記所定の特徴を表した論理式を生成する限定記号消去処理と、
前記入力論理式と生成された前記所定の特徴を表した論理式とに基づき、前記入力論理式の前記所定の特徴を強調した前記入力論理式の可視化画像を生成する画像化処理と
を実行することを特徴とするエネルギーマネジメント支援プログラム。
【手続補正書】
【提出日】平成28年10月31日(2016.10.31)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
資源の需要設備と供給設備とからなる需給系統の解析を支援するエネルギーマネジメント支援装置であって、
前記資源の需要量と前記資源を供給する際に消費するエネルギーとの関係を表した数式及び論理記号からなる入力論理式の入力を受け付け、前記入力論理式が内包する所定の特徴を論理式として抽出するための一階述語論理式を生成する特徴計算部と、
前記一階述語論理式が入力されると、限定記号消去法により前記所定の特徴を表した論理式を生成する限定記号消去部と、
前記入力論理式と生成された前記所定の特徴を表した論理式とに基づき、前記入力論理式の前記所定の特徴を強調した前記入力論理式の可視化画像を生成する画像化部と
を備えたことを特徴とするエネルギーマネジメント支援装置。
【請求項２】
前記所定の特徴は、前記入力された論理式における前記消費エネルギーの上限または下限の少なくとも一方であり、前記可視化画像は、前記消費エネルギーの上限または下限を強調した画像である
ことを特徴とする請求項１記載のエネルギーマネジメント支援装置。
【請求項３】
前記所定の特徴は、前記入力された論理式が満たす領域を前記消費エネルギーまたは前記需要量の方向に所定の範囲だけ拡大した領域であり、前記可視化画像は、前記入力された論理式が満たす領域を前記消費エネルギーまたは前記需要量の方向に所定の範囲だけ拡大した領域を強調した画像である
ことを特徴とする請求項１記載のエネルギーマネジメント支援装置。
【請求項４】
前記所定の特徴は、前記入力された論理式における前記消費エネルギーを所定値以上に削減可能な領域であり、前記可視化画像は、前記消費エネルギーを所定値以上に削減可能な領域を強調した画像である
ことを特徴とする請求項１記載のエネルギーマネジメント支援装置。
【請求項５】
前記可視化画像は、前記消費エネルギーの上限または下限を色分けして強調した画像である
ことを特徴とする請求項２記載のエネルギーマネジメント支援装置。
【請求項６】
前記可視化画像は、前記消費エネルギーを所定値以上に削減可能な領域を色分けして強調した画像である
ことを特徴とする請求項４記載のエネルギーマネジメント支援装置。
【請求項７】
前記所定の特徴は、前記入力された論理式における前記消費エネルギーを削減可能な量であり、前記可視化画像は、前記消費エネルギーを削減可能な量を表した画像である
ことを特徴とする請求項１記載のエネルギーマネジメント支援装置。
【請求項８】
前記所定の特徴は、前記入力された論理式における前記消費エネルギー及び前記需要量の最大及び最小であり、前記可視化画像は、前記消費エネルギー及び前記需要量の最大及び最小から前記可視化画像の横軸及び縦軸の描画範囲を決定した画像である
ことを特徴とする請求項１記載のエネルギーマネジメント支援装置。
【請求項９】
資源の需要設備と供給設備とからなる需給系統の解析を支援するエネルギーマネジメント支援処理を情報処理装置に実行させるためのエネルギーマネジメントプログラムであって、
前記資源の需要量と前記資源を供給する際に消費するエネルギーとの関係を表した数式及び論理記号からなる入力論理式の入力を受け付けると、前記入力論理式が内包する所定の特徴を論理式として抽出するための一階述語論理式を生成する特徴計算処理と、
前記一階述語論理式が入力されると、限定記号消去法により前記所定の特徴を表した論理式を生成する限定記号消去処理と、
前記入力論理式と生成された前記所定の特徴を表した論理式とに基づき、前記入力論理式の前記所定の特徴を強調した前記入力論理式の可視化画像を生成する画像化処理と
を実行することを特徴とするエネルギーマネジメント支援プログラム。
【国際調査報告】
2016051553.tif 000144
2016051553.tif 000145