(57)【要約】【課題】互いに関係性を有する複数の物性パラメータ対について、原因側物性パラメータと結果側物性パラメータとを対にして記憶する物性関係性データベースを使った物性探索においてユーザーの探索作業を支援する機能を提供する。【解決手段】物性関係性データベースと、関係性判定部と、入力部と、表示部とを備える探索支援システムであって、以下のように構成される。物性関係性データベースは、原因側物性パラメータの増減に対する結果側物性パラメータの増減の程度を表す関係性関数をさらに記憶する。入力部を介して、原因側物性パラメータの一つが始点とされ、その増減方向が指定されたとき、関係性判定部は、指定された始点から所定の範囲内にある物性パラメータについて、その増減特性を物性関係性データベースに記憶されている関係性関数に基づいて特定し、表示部に表示させる。【選択図】図１
2020021303.tif 000002
【特許請求の範囲】
【請求項１】
物性関係性データベースと、関係性判定部と、入力部と、表示部とを備える探索支援システムであって、
前記物性関係性データベースは、互いに関係性を有する複数の物性パラメータ対について、原因側物性パラメータと、結果側物性パラメータと、前記原因側物性パラメータの増減に対する前記結果側物性パラメータの増減の程度を表す関係性関数とを対応付けて記憶し、
前記関係性判定部は、前記複数の物性パラメータ対のうちの原因側物性パラメータの一つが前記入力部を介して始点とされ、合わせてその増減方向が指定されたとき、前記始点として指定された原因側物性パラメータと直接または他の物性パラメータを経由しての関係性が前記物性関係性データベースに規定されており前記始点から所定の範囲内にある物性パラメータについて、前記始点として指定された原因側物性パラメータが指定された前記増減方向に変化したときの増減特性を、前記物性関係性データベースに記憶されている前記関係性関数に基づいて特定し、特定された増減特性に応じて前記表示部に表示させる、
探索支援システム。
【請求項２】
請求項１において、前記探索支援システムは、表示グラフ生成部をさらに有し、
前記表示グラフ生成部は、前記物性パラメータ対に含まれる複数の物性パラメータをノードとし対応するノード間をエッジとし、前記始点に対応するノードと前記始点から所定の範囲内にある物性パラメータに対応するノードとを含むグラフを生成可能であり、
前記表示部は、前記始点に対応するノードを第１の表示状態で表示し、前記始点から所定の範囲内にある物性パラメータに対応するノードを当該物性パラメータの増減特性に応じた表示状態で表示する、
探索支援システム。
【請求項３】
請求項２において、
前記関係性判定部は、前記始点から所定の範囲内にある物性パラメータについて特定された増減特性を、その増減の方向と程度に基づいて、予め規定された複数の区分の中から該当する区分を特定し、
前記表示部は、当該物性パラメータに対応するノードを、特定された区分に応じた表示状態で表示する、
探索支援システム。
【請求項４】
請求項３において、予め規定された前記複数の区分は、原因側物性パラメータの物性値が増加したときの結果側物性パラメータの物性値の増減が、指数的に増加する場合、べき乗で増加する場合、線形で増加する場合、線形よりも緩やかに増加する場合、線形よりも緩やかに減少する場合、線形で減少する場合、べき乗で減少する場合、指数的に減少する場合、一意に特定できない場合である、
探索支援システム。
【請求項５】
請求項２、請求項３または請求項４において、
前記表示部は、前記始点から所定の範囲内にある物性パラメータそれぞれについて、特定された増減特性の増減方向が増加または減少のうちいずれか指定される一方である物性パラメータに対応するノードを当該増減特性に応じた表示状態で表示し、それ以外の物性パラメータに対応するノードを前記所定範囲の外にある物性パラメータに対応するノードと同様の表示状態で表示する、
探索支援システム。
【請求項６】
請求項２、請求項３または請求項４において、
前記物性関係性データベースは、前記グラフを構成するノードとエッジのうちの少なくとも一部に付与される属性情報をさらに記憶し、
前記表示部は、前記始点から前記所定範囲内にある物性パラメータそれぞれについて、特定された前記増減特性に加えて、前記始点から当該物性パラメータに対応するノードに至る経路上のノードとエッジに付与された属性情報に基づいて、当該ノードの表示状態を決定する、
探索支援システム。
【請求項７】
請求項１から請求項６のいずれか１項において、
前記物性関係性データベースは、前記関係性関数について、前記結果側物性パラメータの物性値を求めるための、前記原因側物性パラメータの物性値を引数とする関数として記憶し、
前記関係性判定部によって、前記始点から所定の範囲内にある物性パラメータについて特定される、前記始点として指定された原因側物性パラメータが指定された前記増減方向に変化したときの増減特性は、
当該物性パラメータが、前記物性関係性データベースにおいて前記始点と対をなすとき、その対について規定された関係性関数の変化として特定され、
当該物性パラメータが、前記物性関係性データベースにおいて前記始点から他の物性パラメータを経由して規定されるとき、前記始点から当該物性パラメータに至る経路で規定されている複数の物性パラメータ対についてそれぞれ規定された関係性関数を累積的に合成した関数の変化として特定される、
探索支援システム。
【請求項８】
請求項１から請求項７のいずれか１項に記載される、前記関係性判定部と、前記入力部と、前記表示部とを含むユーザーインターフェースと、前記物性関係性データベースと、さらにグラフ生成部と、グラフ探索部とを備える探索システムであって、
前記グラフ生成部は、前記物性関係性データベースに基づいて、物性関係性グラフを生成し、
前記物性関係性グラフは、前記物性関係性データベースに記憶される前記複数の物性パラメータ対を構成する複数の物性パラメータのそれぞれに対応する複数のノードと、互いに関係性を有する複数の物性パラメータ対のそれぞれに対応する一対のノード間を接続する複数のエッジとによって構成され、
前記入力部を介して探索条件として始点と終点とを指定した経路探索が指示されたとき、
前記グラフ探索部は、前記物性関係性グラフを対象とする経路探索を行い、当該始点から当該終点に至る経路を抽出し、その結果を前記表示部に出力する、
探索システム。
【請求項９】
入力部と出力部とを備え、記憶装置にアクセス可能な計算機を使った探索支援方法であって、
前記記憶装置には、互いに関係性を有する複数の物性パラメータ対について、原因側物性パラメータと、結果側物性パラメータと、前記原因側物性パラメータの増減に対する前記結果側物性パラメータの増減の程度を表す関係性関数とを対応付けて記憶する物性関係性データベースが保持され、
前記探索支援方法は、前記入力部を介して始点として指定された、前記複数の物性パラメータ対のうちの原因側物性パラメータの一つと、合わせて指定されたその増減方向を入力する、始点情報入力工程と、
前記始点として指定された原因側物性パラメータと直接または他の物性パラメータを経由しての関係性が前記物性関係性データベースに規定されており、前記始点から所定の範囲内にある物性パラメータについて、前記始点として指定された原因側物性パラメータが指定された前記増減方向に変化したときの増減特性を、前記物性関係性データベースに記憶されている前記関係性関数に基づいて特定する、関係性判定工程と、
特定された前記増減特性に応じて前記表示部に表示させる、表示工程と、を含む、
探索支援方法。
【請求項１０】
請求項９において、前記探索支援方法は、表示グラフ生成工程をさらに有し、
前記表示グラフ生成工程は、前記物性パラメータ対に含まれる複数の物性パラメータをノードとし対応するノード間をエッジとし、前記始点に対応するノードと前記始点から所定の範囲内にある物性パラメータに対応するノードとを含むグラフを生成し、
前記表示工程は、前記始点に対応するノードを第１の表示状態で表示し、前記始点から所定の範囲内にある物性パラメータに対応するノードを当該物性パラメータの増減特性に応じた表示状態で前記表示部に表示させる、
探索支援方法。
【請求項１１】
請求項１０において、
前記関係性判定工程は、前記始点から所定の範囲内にある物性パラメータについて特定された増減特性を、その増減の方向と程度に基づいて、予め規定された複数の区分の中から該当する区分を特定し、
前記表示工程は、当該物性パラメータに対応するノードを、特定された区分に応じた表示状態で前記表示部に表示させる、
探索支援方法。
【請求項１２】
請求項１１において、予め規定された前記複数の区分は、原因側物性パラメータの物性値が増加したときの結果側物性パラメータの物性値の増減が、指数的に増加する場合、べき乗で増加する場合、線形で増加する場合、線形よりも緩やかに増加する場合、線形よりも緩やかに減少する場合、線形で減少する場合、べき乗で減少する場合、指数的に減少する場合、一意に特定できない場合である、
探索支援方法。
【請求項１３】
請求項１０、請求項１１または請求項１２において、
前記表示工程は、前記始点から所定の範囲内にある物性パラメータそれぞれについて、特定された増減特性の増減方向が増加または減少のうちいずれか指定される一方である物性パラメータに対応するノードを当該増減特性に応じた表示状態で表示し、それ以外の物性パラメータに対応するノードを前記所定範囲の外にある物性パラメータに対応するノードと同様の表示状態で前記表示部に表示させる、
探索支援方法。
【請求項１４】
請求項１０、請求項１１または請求項１２において、
前記物性関係性データベースは、前記グラフを構成するノードとエッジのうちの少なくとも一部に付与される、属性情報をさらに記憶し、
前記表示工程は、前記始点から前記所定範囲内にある物性パラメータそれぞれについて、特定された前記増減特性に加えて、前記始点から当該物性パラメータに対応するノードに至る経路上のノードとエッジに付与された属性情報に基づいて、当該ノードの表示状態を決定する、
探索支援方法。
【請求項１５】
請求項１０から請求項１４のいずれか１項において、
前記物性関係性データベースは、前記関係性関数について、前記結果側物性パラメータの物性値を求めるための、前記原因側物性パラメータの物性値を引数とする関数として記憶し、
前記関係性判定工程において、前記始点から所定の範囲内にある物性パラメータについて特定される、前記始点として指定された原因側物性パラメータが指定された前記増減方向に変化したときの増減特性は、
当該物性パラメータが、前記物性関係性データベースにおいて前記始点と対をなすとき、その対について規定された関係性関数の変化として特定され、
当該物性パラメータが、前記物性関係性データベースにおいて前記始点から他の物性パラメータを経由して規定されるとき、前記始点から当該物性パラメータに至る経路で規定されている複数の物性パラメータ対についてそれぞれ規定された関係性関数を累積的に合成した関数の変化として特定される、
探索支援方法。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、データベースを使った物性の関係性の探索を支援する探索支援システム、探索システム及び探索支援方法に関し、特に物性パラメータ間の関係性を表すグラフを対象とする経路探索に好適に利用できるものである。
【背景技術】
【０００２】
材料研究における予測や設計の目標は、目的の特性を持つ材料を特定することである。このために旧来から多用されてきた手法は、条件−特性チャートから目的の特性を持つ材料の特定を目指す手法である。これは複数の条件のうち特定の１つの条件のみを変化させたときの特性の変化を観測してチャートを作成し、そのチャートを補間または外挿することによって、目的の特性を持つ条件を求め、それに合致する材料を特定する方法である。ここでいう「チャート」とは、折れ線グラフ等を表す「グラフ」と同義であるが、後述する、ノードとエッジから成る「グラフ」と区別する目的で別の語を用いる。
【０００３】
このとき、複数の条件のうち特定の１つの条件のみを変化させたときの特性の変化は、自ら実験を行って入手することが多い。多数の文献を調査しても上記特定の条件以外の条件がすべて同じであるデータを大量に入手することは困難だからである。
【０００４】
特許文献１には、所望の特性を有する新規材料の構成物質情報を、客観的に探索することが可能な探索システムが開示されている。
【０００５】
同文献に開示される探索システムは、複数（多数）の物質についてそれぞれ複数の物性パラメータ情報を有するデータベースを備える。例えば、ｎ個の物質についてｍ個の物性パラメータを有するときには、データベースはｎ行ｍ列のテーブル形式で表現される。このとき、個々の物質によっては実データが得られる物性パラメータだけではなく、実データが与えられていない物性パラメータがあってもよい。即ち、上記ｎ行ｍ列のテーブルには空欄があってもよい。
【０００６】
検索対象の物性パラメータを１つの軸とし、他の物性パラメータの一部をその他の軸として、２次元または３次元以上の空間を作成して、上記データベース内の各物質をマッピングする。このとき、実データのない物性パラメータについては、多変量解析、所定の論理式に基づく計算、または、第１原理計算などを使って予測した仮想データによって補う。実データと仮想データをマッピングして得られた探索マップにおいて、予め規定したルールに基づいて所望の特性を有する物質を特定するとされる。
【０００７】
特許文献１に記載される技術では、仮想データを予測するために、複数の物性パラメータ相互の関係性を利用することとなる。物性パラメータの関係性とは、異なる物性パラメータ間に存在する科学的根拠に基づいた関係性、即ち、理論的に説明され定式化された関係性であり、例えば、上記の所定の論理式に基づく計算や第１原理計算もこれに含まれる。これに加えて、経験的に得られた関係性も存在する。理論的な説明が未だなされておらず、また、定式化もされていない段階であっても、実験データから明確な相関が認められることによって、関係性の存在が知られている物性パラメータが存在する。さらに、多数の技術分野を横断的に見ることによって、関係性が知られている物性パラメータの組合せをさらに増やすことができる。
【０００８】
このように、多数の技術分野を横断的に見た場合には、物性パラメータの数が非常に多くなるため、関係性の有無に依らない任意の組合せは膨大な数に上ってしまう。取り扱う物性パラメータの数をＫ個とすれば、そのうちの任意の２個の組合せはＫ！×（Ｋ−１）！／２である。したがって、特許文献１に記載されるような従来の探索システムに利用することができる関係性は、物性パラメータの組合せのうち、あくまでも既に知られた組合せに限定されることとなる。これを関係性の存在が知られていない組合せに拡張するためには、そもそも任意の組合せが上述のように膨大であるところから、有望な組合せを選ぶためにはユーザー自身の知識や経験に依るところが大きい。しかしながら、多くの技術分野を横断的に見た場合には、その全般に渡る広範な知識と経験を備えることを、ユーザーに期待するのは非現実的である。
【０００９】
そこで、本願の発明者は、複数の物性パラメータの任意の組合せのうち、既に知られている関係性に基づいて、有意な関係性を有する物性パラメータの未知の組合せを探索することができる、探索システム及び探索方法を発明し、特許文献２の内容で国際出願した。
【００１０】
特許文献２には、複数の物性パラメータの任意の組合せのうち、既に知られている関係性に基づいて、有意な関係性を有する、物性パラメータの未知の組合せを探索することができる、探索システム及び探索方法が開示されている。この探索システムは、データベースとグラフ生成部とグラフ探索部とを備え、以下のように構成される。データベースは、互いに関係性を有する物性パラメータの複数の対を記憶し、グラフ生成部は、データベースに記憶された複数の物性パラメータをノードとし、関係性を有すると記憶された物性パラメータ対に対応するノード間をエッジとする、グラフを生成する。グラフ探索部は、与えられる探索条件に基づいて、グラフ生成部から生成されたグラフに対する経路探索を行い、探索結果を出力する。
【先行技術文献】
【特許文献】
【００１１】
【特許文献１】特開２００７−１８４４４号公報
【特許文献２】国際公開第ＷＯ２０１７／２２１４４４号
【発明の概要】
【発明が解決しようとする課題】
【００１２】
特許文献１及び２について本発明者が検討した結果、以下のような新たな課題があることがわかった。
【００１３】
特許文献１に記載される技術では、仮想データを予測するために、複数の物性パラメータ相互の関係性を利用するが、その関係性は既に知られている関係性に限られることとなる。
【００１４】
これに対し本願の発明者は、多数の技術分野を横断的に見た場合には、物性パラメータの数が非常に多くなるため、関係性の有無に依らない任意の組合せの中から、未知の、しかし有意な関係性を抽出することが可能であることを見出し、その解決方法として特許文献２に記載される探索システムを提案した。
【００１５】
特許文献２に示される探索システム及び探索方法によれば、相互に関係性の低い分野を含むあらゆる分野を横断的に探索することができ、もって有意な関係性を有する物性パラメータの未知の組合せを抽出することができる。
【００１６】
このような探索を行うユーザーにとっては、抽出された経路に基づいて、有意な関係性を有する２つの物性パラメータのうちの一方を制御して、他方を目的の物性値に調整するような、最適材料の選択や製造工程の最適化を行うことが最終的な目的であることが少なくない。
【００１７】
本願の発明者は、このような探索を行うユーザーにとっては、探索そのものや探索結果の評価など以外にも、探索に先立って探索条件を決める作業が重い負担であることに気づいた。物性探索においては、多くの物性が複雑に絡み合うので、経路探索を行うとしても始点、終点を選ぶ際に候補となる物性パラメータをある程度絞り込むためにすら別途の作業負担を強いられるためである。
【００１８】
本発明の目的は、物性パラメータ間の関係性の探索に先立って、探索条件を絞り込むための参考情報を、ユーザーに提供することができる探索支援システムを実現することである。
【００１９】
このような課題を解決するための手段を以下に説明するが、その他の課題と新規な特徴は、本明細書の記述及び添付図面から明らかになるであろう。
【課題を解決するための手段】
【００２０】
本発明の一実施の形態によれば、下記の通りである。
【００２１】
すなわち、物性関係性データベースと、関係性判定部と、入力部と、表示部とを備える探索支援システムであって、以下のように構成される。
【００２２】
前記物性関係性データベースは、互いに関係性を有する複数の物性パラメータ対について、原因側物性パラメータと、結果側物性パラメータと、前記原因側物性パラメータの増減に対する前記結果側物性パラメータの増減の程度を表す関係性関数とを対応付けて記憶する。
【００２３】
前記入力部を介して、前記複数の物性パラメータ対のうちの原因側物性パラメータの一つが始点とされ、合わせてその増減方向が指定されたとき、前記関係性判定部は、以下のように動作するように構成される。
【００２４】
前記始点として指定された原因側物性パラメータと直接または他の物性パラメータを経由しての関係性が前記物性関係性データベースに規定されており前記始点から所定の範囲内にある物性パラメータを抽出する。前記始点とされた原因側物性パラメータが指定された増減方向に変化したときの、抽出された物性パラメータの増減特性を、前記物性関係性データベースに記憶されている前記関係性関数に基づいて特定し、特定された増減特性に応じて前記表示部に表示させる。
【発明の効果】
【００２５】
本発明の前記一実施の形態によって得られる効果を簡単に説明すれば下記のとおりである。
【００２６】
すなわち、物性パラメータ間の関係性の探索に先立って、その関係性についての参考情報がユーザーに提供されるので、効率的に探索条件を絞り込むことができるなど、ユーザーの探索作業が支援される。
【図面の簡単な説明】
【００２７】
【図１】図１は、実施形態１に係る探索支援システムの構成例を示すブロック図である。
【図２】図２は、物性関係性データベース１の構成例を示す説明図である。
【図３】図３は、増減特性の区分の例を示す説明図である。
【図４】図４は、指定された始点から所定の範囲内にある物性パラメータの増減特性を表示した例を示す説明図である。
【図５】図５は、指定された始点から所定の範囲内にある物性パラメータの増減特性を表示した別の例を示す説明図である。
【図６】図６は、実施形態２に係る探索支援方法の構成例を示すフローチャートである。
【図７】図７は、図６に示すフローチャートにおけるサブルーチンの構成例を示すフローチャートである。
【図８】図８は、属性情報を含む、物性関係性データベース１の構成例を示す説明図である。
【図９】図９は、ノードに属性情報を付与するためのデータが追加された、物性関係性データベース１の構成例を示す説明図である。
【図１０】図１０は、優先度を考慮した場合の表示例である。
【図１１】図１１は、関係性関数として正確な数式を記述した、物性関係性データベース１の構成例を示す説明図である。
【図１２】図１２は、実施形態５に係る探索システムの構成例を示すブロック図である。
【発明を実施するための形態】
【００２８】
１．実施の形態の概要
先ず、本願において開示される代表的な実施の形態について概要を説明する。代表的な実施の形態についての概要説明で括弧を付して参照する図面中の参照符号はそれが付された構成要素の概念に含まれるものを例示するに過ぎない。
【００２９】
〔１〕＜始点を指定すると周辺ノードの増減を可視化する探索支援システム＞
本願において開示される代表的な実施の形態に係る探索支援システム（１０）は、物性関係性データベース（１）と、関係性判定部（４）と、入力部（２）と、表示部（３）とを備え、以下のように構成される（図１）。
【００３０】
前記物性関係性データベースは、互いに関係性を有する複数の物性パラメータ対について、原因側物性パラメータと、結果側物性パラメータと、前記原因側物性パラメータの増減に対する前記結果側物性パラメータの増減の程度を表す関係性関数とを対応付けて記憶する（図２）。
【００３１】
前記入力部を介して、前記複数の物性パラメータ対のうちの原因側物性パラメータの一つが始点とされ、合わせてその増減方向が指定されたとき、前記関係性判定部は、以下のように動作する。
【００３２】
前記始点として指定された原因側物性パラメータと直接または他の物性パラメータを経由しての関係性が前記物性関係性データベースに規定されており前記始点から所定の範囲内にある物性パラメータを特定する。前記始点として指定された原因側物性パラメータが指定された前記増減方向に変化したときの、抽出した前記物性パラメータそれぞれの増減特性を、前記物性関係性データベースに記憶されている前記関係性関数に基づいて特定し、特定された増減特性に応じて前記表示部に表示させる（図４、図５）。
【００３３】
これにより、物性パラメータ間の関係性の探索に先立って、その関係性についての参考情報がユーザーに提供されるので、効率的に探索条件を絞り込むことができるなど、ユーザーの探索作業が支援される。
【００３４】
〔２〕＜グラフによる可視化＞
〔１〕項において、前記探索支援システムは、表示グラフ生成部（５）をさらに有し、以下のように構成される。
【００３５】
前記表示グラフ生成部は、前記物性パラメータ対に含まれる複数の物性パラメータをノードとし対応するノード間をエッジとし、前記始点に対応するノードと前記始点から所定の範囲内にある物性パラメータに対応するノードとを含む表示グラフを生成する。表示グラフは、増減特性の判定対象となるノードをすべて含み、さらにその周囲のノードを含むことが望ましい。
【００３６】
前記表示部は、前記始点に対応するノードを第１の表示状態で表示し、前記始点から所定の範囲内にある物性パラメータに対応するノードを当該物性パラメータの増減特性に応じた表示状態で表示する。
【００３７】
これにより、関連性のある一連の物性パラメータとその相関の方向などの増減特性が可視化されるので、より効率的に探索条件を絞り込むことができるなど、ユーザーの探索作業が支援される。
【００３８】
〔３〕＜区分に応じた表示＞
〔２〕項において、前記関係性判定部は、前記始点から所定の範囲内にある物性パラメータについて特定された増減特性を、その増減の方向と程度に基づいて、予め規定された複数の区分の中から該当する区分を特定し（図３）、前記表示部は、当該物性パラメータに対応するノードを、特定された区分に応じた表示状態で表示する（図４、図５）。
【００３９】
これにより、関連性のある一連の物性パラメータとその相関の方向などの増減特性がより見やすい状態で可視化されるので、ユーザーによる探索作業の効率がさらに向上される。
【００４０】
〔４〕＜区分の具体例＞
〔３〕項における予め規定された前記複数の区分は、原因側物性パラメータの物性値が増加したときの結果側物性パラメータの物性値の増減の程度に基づいて規定される、例えば以下の９通りである（図３）。
（１）指数的に増加
（２）べき乗（例えば２乗、３乗など）で増加
（３）線形で増加
（４）線形よりも緩やかに増加
（５）線形よりも緩やかに減少
（６）線形で減少
（７）べき乗（例えば２乗、３乗など）で減少
（８）指数的に減少
（９）一意に特定不能
【００４１】
これにより、関連性のある一連の物性パラメータとその相関の方向などの増減特性がさらに見やすい状態で可視化される。
【００４２】
〔５〕＜正または負の相関を持つノードに限定して表示＞
〔２〕項、〔３〕項または〔４〕項において、前記表示部は、前記始点から所定の範囲内にある物性パラメータそれぞれについて、特定された増減特性の増減方向が増加または減少のうちいずれか指定される一方である物性パラメータに対応するノードを、当該増減特性に応じた表示状態で表示し、それ以外の物性パラメータに対応するノードを前記所定範囲の外にある物性パラメータに対応するノードと同様の表示状態で表示する（図５）。
【００４３】
これにより、ユーザーは、自身の関心がある正または負の相関を持つ物性パラメータに対応するノードに絞って強調表示させることができ、経路探索の効率をさらに向上することができる。
【００４４】
〔６〕＜優先度の高いノードに絞った強調表示＞
〔２〕項、〔３〕項または〔４〕項において、前記物性関係性データベースは、前記表示グラフを構成するノードとエッジのうちの少なくとも一部に付与される属性情報をさらに記憶する（図８、図９）。
【００４５】
前記表示部は、前記始点から前記所定範囲内にある物性パラメータそれぞれについて、特定された前記増減特性に加えて、前記始点から当該物性パラメータに対応するノードに至る経路上のノードとエッジに付与された属性情報に基づいて、当該ノードの表示状態を決定する（図１０）。
【００４６】
これにより、ユーザーは、自身にとってより優先度の高い経路に対応する物性パラメータノードに絞って強調表示させることができ、経路探索の効率をさらに向上することができる。
【００４７】
〔７〕＜関係性関数の累積的合成＞
〔１〕項から〔６〕項のいずれか１項において、前記物性関係性データベースは、前記関係性関数について、前記結果側物性パラメータの物性値を求めるための、前記原因側物性パラメータの物性値を引数とする関数として記憶し（図１１）、前記探索支援システムは以下のように構成される。
【００４８】
前記関係性判定部によって、前記始点から所定の範囲内にある物性パラメータについて特定される、前記始点として指定された原因側物性パラメータが指定された前記増減方向に変化したときの増減特性は、当該物性パラメータが、前記物性関係性データベースにおいて前記始点と対をなすとき、その対について規定された関係性関数の変化として特定される。また、当該物性パラメータが、前記物性関係性データベースにおいて前記始点から他の物性パラメータを経由して規定されるとき、前記始点から当該物性パラメータに至る経路で規定されている複数の物性パラメータ対についてそれぞれ規定された関係性関数を累積的に合成した関数の変化として特定される。
【００４９】
これにより、始点として指定された原因側物性パラメータの増減に対する、関係性を有する各物性パラメータの増減特性を、経由する物性パラメータが多くても正確に特定することができる。経由する物性パラメータ対の関係性を忠実にトレーするからである。
【００５０】
〔８〕＜探索システム＞
本願において開示される代表的な実施の形態に係る探索システム（１１）は、〔１〕項から〔７〕項のいずれか１項に記載される、前記関係性判定部と、前記入力部と、前記表示部とを含むユーザーインターフェース（９）と、前記物性関係性データベースと、さらにグラフ生成部（６）と、グラフ探索部（８）とを備え、以下のように構成される（図１２）。
【００５１】
前記グラフ生成部は、前記物性関係性データベースに基づいて、物性関係性グラフ（７）を生成する。
【００５２】
前記物性関係性グラフは、前記物性関係性データベースに記憶される前記複数の物性パラメータ対を構成する複数の物性パラメータのそれぞれに対応する複数のノードと、互いに関係性を有する複数の物性パラメータ対のそれぞれに対応する一対のノード間を接続する複数のエッジとによって構成される。
【００５３】
前記入力部を介して探索条件として始点と終点とを指定した経路探索が指示されたとき、前記グラフ探索部は、前記物性関係性グラフを対象とする経路探索を行い、当該始点から当該終点に至る経路を抽出し、その結果を前記表示部に出力する。
【００５４】
これにより、〔１〕〜〔７〕に記載される探索支援システムが搭載され、ユーザーの探索作業に対する支援機能が強化された探索システムが提供される。この探索システムでは、物性パラメータ間の関係性の探索に先立って、その関係性についての参考情報がユーザーに提供されるので、効率的に探索条件を絞り込むことができる。
【００５５】
〔９〕＜始点を指定すると周辺ノードの増減を可視化する探索支援方法＞
本願において開示される代表的な実施の形態に係る探索支援方法は、入力部と出力部とを備え記憶装置にアクセス可能な計算機を使った探索支援方法であって、以下のように構成される。
【００５６】
前記記憶装置には、互いに関係性を有する複数の物性パラメータ対について、原因側物性パラメータと、結果側物性パラメータと、前記原因側物性パラメータの増減に対する前記結果側物性パラメータの増減の程度を表す関係性関数とを対応付けて記憶する物性関係性データベース（図２）が保持されている。
【００５７】
前記探索支援方法は、始点情報入力工程（Ｓ１）と、関係性判定工程（Ｓ１０、Ｓ１４）と、表示工程（Ｓ１０、Ｓ１５）とを含む（図６，７）。
【００５８】
前記始点情報入力工程（Ｓ１）では、前記入力部を介して始点として指定された、前記複数の物性パラメータ対のうちの原因側物性パラメータの一つと、合わせて指定されたその増減方向が入力される。
【００５９】
前記関係性判定工程（Ｓ１０）では、前記始点として指定された原因側物性パラメータと直接または他の物性パラメータを経由しての関係性が前記物性関係性データベースに規定されており、前記始点から所定の範囲内にある物性パラメータを抽出する。前記始点として指定された原因側物性パラメータが指定された前記増減方向に変化したときの、抽出した前記物性パラメータそれぞれの増減特性を、前記物性関係性データベースに記憶されている前記関係性関数に基づいて特定する。
【００６０】
前記表示工程（Ｓ１０）では、特定された前記増減特性に応じて前記表示部に表示させる。
【００６１】
なお、カッコ内に示した工程Ｓ１０は、一実施態様においては、関係性判定工程と表示工程の両方を含む。指定された始点から所定の範囲内にある物性パラメータは、多くの場合複数となり、１個ずつ順次増減特性を求め、その結果を表示させた後に、次の物性パラメータについての処理に移行する形態である。そのため、関係性判定工程と表示工程とは交互に実行されることとなる。関係性判定工程と表示工程は、この例のように混在させても良いし、明確に分離して実装しても良い。
【００６２】
これにより、物性パラメータ間の関係性の探索に先立って、その関係性についての参考情報がユーザーに提供されるので、効率的に探索条件を絞り込むことができるなど、ユーザーの探索作業が支援される。
【００６３】
〔１０〕＜グラフによる可視化＞
〔９〕項において、前記探索支援方法は、表示グラフ生成工程（Ｓ２）をさらに有する。
【００６４】
前記表示グラフ生成工程は、前記物性パラメータ対に含まれる複数の物性パラメータをノードとし対応するノード間をエッジとし、前記始点に対応するノードと前記始点から所定の範囲内にある物性パラメータに対応するノードとを含む表示グラフを生成する。表示グラフは、増減特性の判定対象となるノードをすべて含み、さらにその周囲のノードを含むことが望ましい。
【００６５】
前記表示工程は、前記始点に対応するノードを第１の表示状態で表示し、前記始点から所定の範囲内にある物性パラメータに対応するノードを当該物性パラメータの増減特性に応じた表示状態で前記表示部に表示させる。
【００６６】
これにより、関連性のある一連の物性パラメータとその相関の方向などの増減特性が可視化されるので、より効率的に探索条件を絞り込むことができるなど、ユーザーの探索作業が支援される。
【００６７】
〔１１〕＜区分に応じた表示＞
〔１０〕項において、前記関係性判定工程は、前記始点から所定の範囲内にある物性パラメータについて特定された増減特性を、その増減の方向と程度に基づいて、予め規定された複数の区分（図３）の中から該当する区分を特定する。前記表示工程は、当該物性パラメータに対応するノードを、特定された区分に応じた表示状態で前記表示部に表示させる（Ｓ１５）。
【００６８】
これにより、関連性のある一連の物性パラメータとその相関の方向などの増減特性がより見やすい状態で可視化されるので、ユーザーによる探索作業の効率がさらに向上される。
【００６９】
〔１２〕＜区分の具体例＞
〔１１〕項における予め規定された前記複数の区分は、原因側物性パラメータの物性値が増加したときの結果側物性パラメータの物性値の増減の程度に基づいて規定される、例えば以下の９通りである（図３）。
（１）指数的に増加
（２）べき乗（例えば２乗、３乗など）で増加
（３）線形で増加
（４）線形よりも緩やかに増加
（５）線形よりも緩やかに減少
（６）線形で減少
（７）べき乗（例えば２乗、３乗など）で減少
（８）指数的に減少
（９）一意に特定不能
【００７０】
これにより、関連性のある一連の物性パラメータとその相関の方向などの増減特性がさらに見やすい状態で可視化される。
【００７１】
〔１３〕＜正または負の相関を持つノードに限定して表示＞
〔１０〕項、〔１１〕項または〔１２〕項において、前記表示工程は、前記始点から所定の範囲内にある物性パラメータそれぞれについて、特定された増減特性の増減方向が増加または減少のうちいずれか指定される一方である物性パラメータに対応するノードを当該増減特性に応じた表示状態で表示し、それ以外の物性パラメータに対応するノードを前記所定範囲の外にある物性パラメータに対応するノードと同様の表示状態で前記表示部に表示させる（図５）。
【００７２】
これにより、ユーザーは、自身の関心がある正または負の相関を持つ物性パラメータに対応するノードに絞って強調表示させることができ、経路探索の効率をさらに向上することができる。
【００７３】
〔１４〕＜優先度の高いノードに絞った強調表示＞
〔１０〕項、〔１１〕項または〔１２〕項において、前記物性関係性データベースは、前記表示グラフを構成するノードとエッジのうちの少なくとも一部に付与される、属性情報をさらに記憶する（図８、図９）。
【００７４】
前記表示工程は、前記始点から前記所定範囲内にある物性パラメータそれぞれについて、特定された前記増減特性に加えて、前記始点から当該物性パラメータに対応するノードに至る経路上のノードとエッジに付与された属性情報に基づいて、当該ノードの表示状態を決定する（図１０）。
【００７５】
これにより、ユーザーは、自身にとってより優先度の高い経路に対応する物性パラメータノードに絞って強調表示させることができ、経路探索の効率をさらに向上することができる。
【００７６】
〔１５〕＜関係性関数の累積的合成＞
〔９〕項から〔１４〕項のいずれか１項において、前記物性関係性データベースは、前記関係性関数について、前記結果側物性パラメータの物性値を求めるための、前記原因側物性パラメータの物性値を引数とする関数として記憶する（図１１）。
【００７７】
前記関係性判定工程において、前記始点から所定の範囲内にある物性パラメータについて特定される、前記始点として指定された原因側物性パラメータが指定された前記増減方向に変化したときの増減特性は、当該物性パラメータが、前記物性関係性データベースにおいて前記始点と対をなすとき、その対について規定された関係性関数の変化として特定される。当該物性パラメータが、前記物性関係性データベースにおいて前記始点から他の物性パラメータを経由して規定されるとき、前記始点から当該物性パラメータに至る経路で規定されている複数の物性パラメータ対についてそれぞれ規定された関係性関数を累積的に合成した関数の変化として特定される。
【００７８】
これにより、始点として指定された原因側物性パラメータの増減に対する、関係性を有する各物性パラメータの増減特性を、経由する物性パラメータが多くても正確に特定することができる。経由する物性パラメータ対の関係性を忠実にトレーするからである。
【００７９】
〔実施形態１〕
図１は、実施形態１に係る探索支援システムの構成例を示すブロック図である。
【００８０】
本実施形態１に係る探索支援システム１０は、物性関係性データベース１と、関係性判定部４と、入力部２と、表示部３とを備える。
【００８１】
物性関係性データベース１は、互いに関係性を有する複数の物性パラメータ対について、原因側物性パラメータと、結果側物性パラメータと、原因側物性パラメータの増減に対する前記結果側物性パラメータの増減の程度を表す関係性関数とを対応付けて記憶する。どのような物性パラメータの対が互いに関係性を有するかは、理論的に確立され教科書等に記載されて広く知られているような関係性が好ましいが、理論的に十分に説明されるには至ってはいなくても、経験的に知られている関係性が含まれても良い。また、物性関係性データベース１に記憶する物性パラメータ対の関係性は、できる限り多くの分野から収集されるとよい。
【００８２】
物性関係性データベース１に記憶されている複数の物性パラメータ対のうちの原因側物性パラメータの一つが、入力部２を介して始点として指定され、合わせてその増減方向が指定されたとき、関係性判定部４は、以下のように動作する。
【００８３】
関係性判定部４は、始点として指定された原因側物性パラメータと直接または他の物性パラメータを経由しての関係性が、物性関係性データベース１に規定されており、その始点から所定の範囲内にある物性パラメータを特定する。関係性判定部４は、その物性パラメータそれぞれの増減特性を、物性関係性データベース１に記憶されている関係性関数に基づいて判定し、表示部３を介して表示させる。
【００８４】
これにより、物性パラメータ間の関係性の探索に先立って、その関係性についての参考情報がユーザーに提供されるので、効率的に探索条件を絞り込むことができるなど、ユーザーの探索作業が支援される。
【００８５】
＜グラフによる可視化＞
探索支援システム１０は、表示グラフ生成部５をさらに有するとより好適である。
【００８６】
表示グラフ生成部５は、物性関係性データベース１に記憶されている物性パラメータ対に含まれる複数の物性パラメータをノードとし対応するノード間をエッジとし、指定された始点に対応するノードとその始点から所定の範囲内にある物性パラメータに対応するノードとを含む、表示用グラフを生成する。表示用グラフは、増減特性の判定対象となるノードをすべて含み、さらにその周囲のノードを含むことが望ましい。増減特性の判定対象であるノードのさらに周辺のノード（物性）をユーザーに見せることによって、ユーザーに探索範囲を変更する必要性などの判断材料を提供することができる。
【００８７】
表示部３は、前期表示用グラフにおいて、始点に対応するノードを第１の表示状態で表示し、前記始点から所定の範囲内にある物性パラメータに対応するノードを当該物性パラメータの増減特性に応じた表示状態で表示する。始点に対応するノードを示す「第１の表示状態」とは、ユーザーが始点として指定したことを明示するための表示であり、始点から所定の範囲内にある物性パラメータに対応するノード、あるいはその他のノードと区別するための強調表示を意味し、例えば、拡大表示、強調色表示、点滅表示などである。
【００８８】
これにより、関連性のある一連の物性パラメータとその相関の方向などの増減特性が可視化されるので、より効率的に探索条件を絞り込むことができるなど、ユーザーの探索作業が支援される。
【００８９】
図２は、物性関係性データベース１の構成例を示す説明図である。
【００９０】
図２では物性パラメータ名として、ノード名そのものを表示してあるが、ノード名には実際の物性パラメータ名が対応付けられている。原因側のノードＡに対応する物性パラメータが増加したときの関係性関数が、ノードＣ，Ｄ，Ｇ，Ｋ，Ｎに対応する各結果側物性パラメータについて、それぞれ、３乗で減少、指数的に減少、３乗で増加、線形よりも緩やかに増加、線形で減少であることが記憶されている。以下は同様であるので説明を省略する。
【００９１】
図２には例示していないが、関係性関数としては、指数や比例定数など、関数を定量的に規定するための定量的な値が付加的に記憶されていてもよい。また、物性関係性データベース１には、関係性がその関数で表現される条件を記憶する項目（列）がさらに含まれていても良い。
【００９２】
物性関係性データベース１において、関係性関数はいくつかの類型に区分し、符号化して記憶するように構成することもできる。符号化して記憶することにより、物性関係性データベース１の物理的なデータ容量を抑えることが出来る。
【００９３】
また、関係性関数としては、教科書等に記述されている関係式そのものを、計算機で読み取ることができる記述言語で表記したものを採用してもよい。実施形態３で詳述する。
【００９４】
＜区分に応じた表示＞
関係性判定部４は、特定された増減特性を、その増減の方向と程度に基づいて、予め規定された複数の区分の中から該当する区分を特定するように構成するとより好適である。
【００９５】
図３は、増減特性の区分の例を示す説明図である。
【００９６】
図３に示した例では、関係性関数について、原因側物性パラメータの物性値が増加したときの結果側物性パラメータの物性値の増減の方向と程度に基づいて、以下の９通りに区分している。
（１）指数的に増加
（２）べき乗（例えば２乗、３乗など）で増加
（３）線形で増加
（４）線形よりも緩やかに増加
（５）線形よりも緩やかに減少
（６）線形で減少
（７）べき乗（例えば２乗、３乗など）で減少
（８）指数的に減少
（９）一意に特定不能
【００９７】
表示部３は、当該物性パラメータに対応するノードを、特定された区分に応じた表示状態で表示する。
【００９８】
これにより、関連性のある一連の物性パラメータとその相関の方向などの増減特性がより見やすい状態で可視化されるので、ユーザーによる探索作業の効率がさらに向上される。
【００９９】
図４は、指定された始点から所定の範囲内にある物性パラメータの増減特性を表示した例を示す説明図である。
【０１００】
始点として指定された物性パラメータ（ノードＡ）を始点として所定の範囲内にある物性パラメータ（ノードＣ，Ｄ，Ｅ，Ｆ，Ｇ，Ｋ，Ｌ，Ｍ，Ｎ）の増減特性が、図３に示したように区分され、それぞれに色が割り当てられている。図４は、色を割り当てる代わりに線種を割り当てて、物性パラメータの増減の方向と程度を表したものである。一重線の円は線形よりも緩やかな変化、二重線は線形の変化、細線と太線の二重線はべき乗（２乗、３乗など）の変化、三重線は指数的な変化をそれぞれ表し、それと組み合わせて実線は増加方向、破線は減少方向の変化を表す。表示部３がカラー表示可能であれば、図３に示す例のように、色によって区分を表現するのが好適である。
【０１０１】
図４に例示した部分グラフは、指定ノードＡに対応する物性パラメータが増加したときの、ノードＡを始点として経路長２ノード以内にある終点候補ノード（Ｃ，Ｄ，Ｅ，Ｆ，Ｇ，Ｋ，Ｌ，Ｍ，Ｎ）それぞれに対応する物性パラメータの増減の方向と程度を、図３に示す８通りに区分して表示されている。
【０１０２】
終点候補ノードＣは細線と太線の二重の破線で表示されており、対応する物性パラメータが、指定ノードＡに対応する物性パラメータが増えたときにべき乗で減少することがわかる。終点候補ノードＤとＥは三重の破線で表示されており、対応する物性パラメータが、指定ノードＡに対応する物性パラメータが増えたときに指数的に減少することがわかる。以下、終点候補ノードＦ，Ｇ，Ｋ，Ｌ，Ｍ，Ｎは、それぞれ、一重破線、細線と太線の二重実線、一重実線、二重実線、三重実線、二重破線で表示されており、対応する各物性パラメータが、指定ノードＡに対応する物性パラメータが増えたときに、それぞれ、線形よりも緩やかに減少、べき乗で増加、線形よりも緩やかに増加、線形で増加、べき乗で増加、線形で減少することがわかる。他のノードＢについては、物性関係性グラフ３を有向グラフ、指定ノードＡを始点としたときに、ノードＢに至る経路が抽出されていない。もう１つのノードＨについては、物性関係性グラフ３を有向グラフ、指定ノードＡを始点としたときの経路は存在するが、経路長が３ノードであるので、抽出対象外とされたものである。
【０１０３】
図３に示した例には、「（９）一意に特定不能」が含まれている。一般に、物性パラメータ間の関係性が数式で表現され、始点と終点以外の物性パラメータの値は変化しないものとした場合、始点となる物性パラメータの物性値が決まれば、終点となる物性パラメータの物性値は、一意に決定される。しかし、相関関係に物性値に依存して相関関係が変わるものがあり、本実施形態のようにパラメータの値（物性値）が具体的に与えらない場合に一意に決定することができず、「一意に特定不能」となる場合がある。
【０１０４】
また、関係性判定部４に適用される、増減特性を求めるアルゴリズムによっては、「一意に特定不能」となる場合がある。本願発明の目的が、物性パラメータ間の関係性の探索に先立って、探索条件を絞り込むための参考情報を、ユーザーに提供することであることから、表示する増減特性に正確さを追求するよりも、表示の迅速さが優先される場合があり得る。そのため、関係性判定部４の処理を簡略化することにより、迅速に表示できること、または表示範囲を広げることを優先するために、表示される増減特性の正確さを犠牲にすることができる。
【０１０５】
例えば、関係性関数を図２に示すように、図３の増減特性の区分と同程度の区分で表し、始点から終点までの各経路で関係性関数を累積的に作用させる場合に、「一意に特定不能」となる場合がある。原因側Fと結果側Aの関係が、A=B+D、D=E-2F、B=C2、C=G/Fで規定されているとすると、始点Fが増加した時のノードAの増減特性は、[F-C-B-A]の経路と、[F-D-A]の経路の２通りで計算できることになる。[F-C-B-A]の経路では、Fを増加させると、CはFに反比例（減少）、BはFの二乗に逆比例で減少、よってAの増減特性は「Fの二乗に逆比例に近い形で減少」と求められる。一方、[F-D-A]の経路では、Fを増加させると、DはFに比例して減少、AはGに線形に近い形で減少、よってAの増減特性は「Fに線形に近い形で減少」と求められる。そのため、Fが増加したときのAの増減特性は「一意に特定不能」となる。
【０１０６】
増減特性を特定する際に、上の例のような不一致が発生した場合、以下のような方法で対処することができる。
（ａ）関係性関数の正確な式を改めて求めて、一意に特定する。
（ｂ）寄与する物性パラメータの物性値を考慮して、一意に特定する。
（ｃ）優先度を定めて、優先度の高い経路の結果を採用する。
（ｄ）増減の程度がより弱い方を優先的に採用する。
上の例では、どちらも「減少」であるから、より緩やかな「線形よりも緩やかに減少」とする。
（ｅ）「一意に特定不能」である旨を表示し、そのノード以降のノードへの伝播は止める。
【０１０７】
上述したように、表示の迅速性と表示する増減特性の正確性のバランスを考慮して、上のような対処方法を採用することができる。
【０１０８】
＜正または負の相関を持つノードに限定して表示＞
図５は、始点が指定されたときの始点から所定の範囲内にある物性パラメータの増減特性を表示した別の例を示す説明図である。
【０１０９】
図４には、始点に対応する物性パラメータが増加したときに、それに応じて変化する物性パラメータに対応するノードは、増減の変化の方向に関わらず強調表示する例であるが、ユーザーの関心があるのは、増加方向か減少方向かの一方であることが多い。
【０１１０】
そこで、探索支援システム１０には、増加方向か減少方向かいずれか一方の変化方向の物性パラメータに絞って、対応するノードを強調表示することができる機能を持たせるのが好適である。すなわち、表示部３は、始点から所定の範囲内にある物性パラメータに対応するノードそれぞれについて、対応する増減方向が増加または減少のうち、いずれか指定される一方であるノードの表示を強調表示に変更し、他方のノードの表示は、それ以外のノードと同様に表示する。
【０１１１】
図５に例示した部分グラフは、始点として指定されたノードＡに対応する物性パラメータが増加したときの、ノードＡを始点として経路長２ノード以内にあるノードＣ，Ｄ，Ｅ，Ｆ，Ｇ，Ｋ，Ｌ，Ｍ，Ｎのうち、対応する物性パラメータの増減の方向が増加方向であるノードＧ，Ｋ，Ｌ，Ｍについて、その増加の程度を強調し、減少方向であるノードＣ，Ｄ，Ｅ，Ｆについては、ノードＢ，Ｈや他の無相関のノードと同様の表示としている。
【０１１２】
これにより、ユーザーが探索条件を入力する際にユーザーは、自身の関心がある側の正または負の相関を持つ物性パラメータに対応するノードに絞って強調表示させることができ、経路探索の効率をさらに向上することができる。
【０１１３】
〔実施形態２〕
実施形態１で説明した探索支援システムは、電子計算機上で動作するソフトウェアとして実装することができる。その動作は、探索支援方法の発明の一実施形態である。
【０１１４】
即ち、本実施形態２の探索支援方法は、入力部と出力部とを備え記憶装置にアクセス可能な計算機（不図示）を使った探索支援方法であって、以下のように構成される。
【０１１５】
図６と図７は、実施形態２に係る探索支援方法の構成例を示すフローチャートである。
【０１１６】
記憶装置には、互いに関係性を有する複数の物性パラメータ対について、原因側物性パラメータと、結果側物性パラメータと、原因側物性パラメータの増減に対する結果側物性パラメータの増減の程度を表す関係性関数とを対応付けて記憶する物性関係性データベース１（例えば、図２）が保持されている。
【０１１７】
探索支援方法は、始点情報入力工程（Ｓ１）と、関係性判定工程（Ｓ１０）と、表示工程（Ｓ１０）とを含む。カッコ内に示した工程Ｓ１０は、関係性判定工程（Ｓ１４）と表示工程（Ｓ１５）の両方を含む実施形態である。指定された始点から所定の範囲内にある物性パラメータは、多くの場合複数となり、１個ずつ順次増減特性を求め、その結果を表示させた後に、次の物性パラメータについての処理に移行するので関係性判定工程（Ｓ１４）と表示工程（Ｓ１５）とを交互に実行する形態となっている。関係性判定工程と表示工程は、明確に分離して実装しても良いが、本実施形態では、両方がサブルーチンＳ１０に含まれる。
【０１１８】
始点情報入力工程（Ｓ１）では、物性関係性データベース１に記憶される複数の物性パラメータ対のうちの、原因側物性パラメータの１つX0が、入力部を介して始点として指定され、合わせて指定された増減方向が入力される。
【０１１９】
図７は、サブルーチンＳ１０の構成例を示すフローチャートである。
【０１２０】
サブルーチンＳ１０は、自身の中でＳ２０として再帰的に呼び出される。
【０１２１】
サブルーチンＳ１０では、まず、始点に関する情報が入力される（Ｓ１１）。サブルーチンＳ１０が最初に呼び出された時には、上述した図６のとおり、入力部を介して入力された原因側物性パラメータX0とその増減方向が入力される（Ｓ１１）。
【０１２２】
始点として指定された原因側物性パラメータX0が指定された増減方向に変化したときに、それに伴って変化する増減特性を求めるべき対象の物性パラメータY[0, j]を特定する（Ｓ１２）。対象の物性パラメータは、始点として指定された原因側物性パラメータX0と直接または他の物性パラメータを経由しての関係性が物性関係性データベース１に規定されており、その始点X0から所定の範囲内にある物性パラメータである。所定の範囲は、例えば、物性パラメータをノードとし関係性を有する物性パラメータ間をエッジで接続したグラフの上での経路長によって規定することができる。
【０１２３】
抽出された物性パラメータY[0, j]のうち、当初の始点X0から所定の範囲内にあるものについては、以降の工程に進むが、所定範囲外であればサブルーチンを終了して元の処理に復帰する（Ｓ１３，Ｓ１７）。
【０１２４】
当初の始点X0から所定の範囲内にある対象の物性パラメータについて、始点として指定された原因側物性パラメータが指定された方向に変化したときの増減特性を、物性関係性データベース１に記憶されている関係性関数に基づいて特定する（Ｓ１４）。
【０１２５】
表示工程では、特定された増減特性に応じて前記表示部に表示させる（Ｓ１５）。
【０１２６】
さらに、物性パラメータY[0, j]を新たな始点、その増減特性を新たな増減特性として、同じサブルーチンを再帰的に呼び出す（Ｓ２０）。
【０１２７】
再帰呼び出しから復帰したときには、次の物性パラメータY[0, j+1]についての処理（Ｓ１３）に進む。
【０１２８】
呼び出されたサブルーチン（Ｓ２０）内では、再帰呼び出しであるから当然に、図７に示したサブルーチンと同じ処理が行われる。即ち、物性パラメータY[i-1, j]を新たな始点Xiとしたときに、次の結果側物性パラメータY[i, j]を抽出され（Ｓ１２）、当初の始点X0から所定の範囲内にあるものについて（Ｓ１３）、増減特性の特定（Ｓ１４）とその表示（Ｓ１５）が行われる。
【０１２９】
当初の始点X0から所定の範囲内にある対象の物性パラメータすべてについて、増減特性の特定と表示が終わるまで、再帰呼び出しが繰り返される。
【０１３０】
これにより、物性パラメータ間の関係性の探索に先立って、その関係性についての参考情報がユーザーに提供されるので、効率的に探索条件を絞り込むことができるなど、ユーザーの探索作業が支援される。
【０１３１】
本実施形態では、再帰呼び出しによるソフトウェアを使った例を示したが、一実装形態に過ぎず、他の形態でも実装可能である。
【０１３２】
〔実施形態３〕
実施形態１と２では、指定された始点から所定の範囲内にある物性パラメータについて、特に取捨選択することなく平等に、その増減特性を表示する実施形態について説明した。しかし、「正または負の相関を持つノードに限定して表示」で説明したように、ユーザーの関心がより高い、結果側物性パラメータや始点からそれに至る経路がある場合が少なくない。その場合、物性パラメータ間の関係性をマッピングしたグラフのノードとエッジのうちの少なくとも一部に属性情報を付与しておき、その属性情報に基づいて、ユーザーの関心がより高い、結果側物性パラメータや始点からそれに至る経路について優先的に、増減特性を表示するように構成することができる。
【０１３３】
図８は、属性情報を含む、物性関係性データベース１の構成例を示す説明図である。
【０１３４】
図８では図２と同様に、物性パラメータ名としてノード名そのものを表示してあり、原因側物性パラメータが増加したときの、対応する各結果側物性パラメータの関係性関数が、それぞれ記憶されている。
【０１３５】
図８ではさらに、それぞれの関係性の信頼度が付与されている。信頼度は、その物性パラメータ対の関係性が、理論的に確立された関係性か、経験的に知られているに過ぎず、理論的裏付けがなされていない関係性か、などに基づいて規定することができる。物性パラメータ間の関係性をマッピングしたグラフにおいては、エッジの属性として扱うことができる。
【０１３６】
信頼度が高い程、小さい値を割り当てておくことによって、始点から結果側物性パラメータまでの経路に沿って、信頼度の和を求めた時に、値が小さいほど高信頼度の経路であることになる。本実施形態の一例では、信頼度の高い経路上にある物性パラメータの増減特性を、より優先して強調表示することができる。
【０１３７】
図９は、ノードに属性情報を付与するためのデータが追加された、物性関係性データベース１の構成例を示す説明図である。
【０１３８】
図８は各エントリー（各行）がエッジに対応するので、ノードに付与する属性情報を記述するには適さない。そこで、図９に示すような、各エントリーがノードに対応するデータベースが追加される。
【０１３９】
図９では図８、図２と同様に、物性パラメータ名としてノード名そのものを表示してあり、グラフにマッピングされた時のエッジ数が出エッジの数と入エッジに分けて記憶され、当該物性値の測定可能性、データベースデータ量、及び物性値がそれぞれ記憶されている。測定可能性は、物性値の測定の容易さを表す指標である。データベースデータ量はデータベース内に蓄積されているデータの量である。物性値は、具体的な物性値そのものである。
【０１４０】
図８に示したエッジに付与する属性情報、及び図９に示したノードに付与する属性情報の種類や数は一例に過ぎず、任意に変更することができる。また、エッジのみまたはノードのみに属性情報を付与しても、両方に付与しても良い。
【０１４１】
複数の属性情報が付与された場合には、それらを重み付け加算して経路のスコアを算出し、優先度を決めることができる。重み付けを調整することにより、重視すべき属性情報、軽視または無視して良い属性情報を選択的に変更することができる。
【０１４２】
図１０は、優先度を考慮した場合の表示例である。ノードAを始点として、２ノード以内の物性パラメータについて、増減特性を表示する。このとき、ノードKを経由してノードEに至る経路と、ノードNを経由してノードFに至る経路が、所定のスコアを超える優先度を持つと算出されたとする。これらの経路は、例えばエッジが太線によって強調表示され、合わせて、ノードK，E，N，Fの増減特性が図３の区分に則って表示されている。
【０１４３】
これにより、ユーザーは、自身にとってより優先度の高い経路に対応する物性パラメータノードに絞って強調表示させることができ、経路探索の効率をさらに向上することができる。
【０１４４】
優先度を算出する目的からは外れるが、各ノードに当該ノードに対応する物性が属する分野を属性情報として付与してもよい。ノードに対応する物性が属する分野としては、例えば、原子的、電子的、力学的、電気的、光学的、構造的、磁気的、熱力学的などである。
【０１４５】
入力部２において、ユーザーに始点とする物性パラメータの入力を促すときに、分野から階層的に順次絞り込むような入力支援機能をさらに備えることにより、ユーザーの意図する物性パラメータを迅速に指定することができる環境を、ユーザーに提供することができる。
【０１４６】
また、図４，５，１０などの表示において、ノードごとにその属する分野が判別できるように表示することができる。
【０１４７】
〔実施形態４〕
図２と図８では、関係性関数として簡略化し区分した関係性を採用した例を示したが、正確な数式を採用することもできる。
【０１４８】
数式は、原因側物性パラメータの物性値を引数とし、結果側物性パラメータの物性値を求める関数とすることができ、計算機によって読み取り可能な言語で記述する。例えば、content mathMLによって記述することができる。
【０１４９】
図１１は、関係性関数として正確な数式を記述した、物性関係性データベース１の構成例を示す説明図である。
【０１５０】
格子熱伝導率と電子熱伝導率から熱伝導率を求める式（式１）とゼーベック係数、電気伝導率、熱伝導率から熱電材料の性能係数を求める式（式２）に基づいて、物性関係性データベース１を構成した例である。式１と式２をそれぞれそのままcontent mathMLによって記述した、math ML-1とmath ML-2が関係性関数として入力されている。
【０１５１】
関係性判定部４によって、始点から所定の範囲内にある物性パラメータの増減特性は、上記の関係性関数を使って特定される。例えば、始点を格子熱伝導率とし、それが増加したときの、熱伝導率の増減特性は、式１を使って算出するのとまったく同等の正確性で特定される。さらに熱電材料の性能係数の増減特性は、式１を使って算出された熱伝導率の増減特性を使い、さらに式２を使って算出される。これは、式１と式２の合成関数を使って関係性関数を規定したのと等価となる。即ち、熱電材料の性能係数を求める式２における熱伝導率に式１を代入した合成関数によって、格子熱伝導率が増加したときの、熱電材料の性能係数の増減特性が正確に特定される。
【０１５２】
このように、物性パラメータが、物性関係性データベース１において、始点から他の物性パラメータを経由して規定されるとき、始点から当該物性パラメータに至る経路で規定されている複数の物性パラメータ対についてそれぞれ規定された関係性関数を累積的に合成した関数の変化として特定される。
【０１５３】
これにより、始点として指定された原因側物性パラメータの増減に対する、関係性を有する各物性パラメータの増減特性を、経由する物性パラメータが多くても正確に特定することができる。経由する物性パラメータ対の関係性を忠実にトレーするからである。
【０１５４】
〔実施形態５〕
以上説明した各実施形態に係る探索支援システムは、物性の関係性を探索する探索システムの一部として実装することができる。
【０１５５】
図１２は、実施形態５に係る探索システムの構成例を示すブロック図である。
【０１５６】
図１に示した探索支援システムの関係性判定部４と、入力部２と、表示部３とを含むユーザーインターフェース９と、物性関係性データベース１と、さらにグラフ生成部６と、グラフ探索部８とを備える。ユーザーインターフェース９には、表示グラフ生成部５をさらに含んでもよい。
【０１５７】
グラフ生成部６は、物性関係性データベース１に基づいて、物性関係性グラフ７を生成する。
【０１５８】
物性関係性グラフ７は、物性関係性データベース１に記憶される複数の物性パラメータ対を構成する複数の物性パラメータのそれぞれに対応する複数のノードと、互いに関係性を有する複数の物性パラメータ対のそれぞれに対応する一対のノード間を接続する複数のエッジとによって構成される。
【０１５９】
入力部２を介して探索条件として始点と終点とを指定した経路探索が指示されたとき、グラフ探索部６は、物性関係性グラフ７を対象とする経路探索を行い、当該始点から当該終点に至る経路を抽出し、その結果を表示部３に出力する。
【０１６０】
これにより、実施形態１から４に記載される探索支援システムが搭載され、ユーザーの探索作業に対する支援機能が強化された探索システムが提供される。この探索システムでは、物性パラメータ間の関係性の探索に先立って、その関係性についての参考情報がユーザーに提供されるので、効率的に探索条件を絞り込むことができる。
【０１６１】
以上本発明者によってなされた発明を実施形態に基づいて具体的に説明したが、本発明はそれに限定されるものではなく、その要旨を逸脱しない範囲において種々変更可能であることは言うまでもない。
【符号の説明】
【０１６２】
１  物性関係性データベース
２  入力部
３  表示部
４  関係性判定部
５  表示グラフ生成部
６  グラフ生成部
７  物性関係性グラフ
８  グラフ探索部
９  ユーザーインターフェース
１０  探索支援システム
１１  探索システム
【図１】
2020021303.tif 000003
【図２】
2020021303.tif 000004
【図３】
2020021303.tif 000005
【図４】
2020021303.tif 000006
【図５】
2020021303.tif 000007
【図６】
2020021303.tif 000008
【図７】
2020021303.tif 000009
【図８】
2020021303.tif 000010
【図９】
2020021303.tif 000011
【図１０】
2020021303.tif 000012
【図１１】
2020021303.tif 000013
【図１２】
2020021303.tif 000014