(57)【要約】【課題】部品間の相対的な位置関係の演算を簡素化することができる。【解決手段】検証支援装置１００は、物体を表す設計情報に基づいて、物体ｏｂｊのうち、相対的な位置関係に関する設計ルールＲが適用される形状に該当する複数の部品のうちの少なくとも一つの部品の頂点数を減少させた複数の部品を示す部品情報を生成する。ツメの形状が直方体に変形される。検証支援装置１００は、生成した部品情報に基づいて、複数の部品の相対的な位置関係を示す情報を算出する。検証支援装置１００は、算出した相対的な位置関係を示す情報が、設計ルールＲに基づき定められた条件を満たすか否かを判定する。【選択図】図１
2014063406.tif 000002
【特許請求の範囲】
【請求項１】
コンピュータに、
物体を表す設計情報に基づいて、前記物体のうち、相対的な位置関係に関する設計ルールが適用される形状に該当する複数の部品のうちの少なくとも一つの部品の頂点数を減少させた前記複数の部品を示す部品情報を生成し、
生成した前記部品情報に基づいて、前記複数の部品の相対的な位置関係を示す情報を算出し、
算出した前記相対的な位置関係を示す情報が、前記設計ルールに基づき定められた条件を満たすか否かを判定し、
判定結果を出力する、
処理を実行させることを特徴とする検証支援プログラム。
【請求項２】
前記コンピュータに、
前記複数の部品の各々について、前記部品の頂点数と、前記形状に応じた閾値と、の比較に基づいて、頂点数を減少させるか否かを決定する処理を実行させ、
前記部品情報を生成する処理は、
頂点数を減少させると決定した前記部品の頂点数を減少させた前記複数の部品を示す部品情報を生成することを特徴とする請求項１に記載の検証支援プログラム。
【請求項３】
前記部品情報を生成する処理は、
前記複数の部品のうちの少なくとも一つの部品が前記一つの部品を囲む直方体のうち最小の直方体に変形された前記複数の部品を示す部品情報を生成することを特徴とする請求項１または２に記載の検証支援プログラム。
【請求項４】
前記部品情報を生成する処理は、
前記複数の部品のうちの少なくとも一つの部品が前記一つの部品を囲む球体のうち最小の球体に変形された前記複数の部品を示す部品情報を生成することを特徴とする請求項１または２に記載の検証支援プログラム。
【請求項５】
コンピュータが、
物体を表す設計情報に基づいて、前記物体のうち、相対的な位置関係に関する設計ルールが適用される形状に該当する複数の部品のうちの少なくとも一つの部品の頂点数を減少させた前記複数の部品を示す部品情報を生成し、
生成した前記部品情報に基づいて、前記複数の部品の相対的な位置関係を示す情報を算出し、
算出した前記相対的な位置関係を示す情報が、前記設計ルールに基づき定められた条件を満たすか否かを判定し、
判定結果を出力する、
処理を実行することを特徴とする検証支援方法。
【請求項６】
物体を表す設計情報に基づいて、前記物体のうち、相対的な位置関係に関する設計ルールが適用される形状に該当する複数の部品のうちの少なくとも一つの部品の頂点数を減少させた前記複数の部品を示す部品情報を生成する生成部と、
前記生成部によって生成された前記部品情報に基づいて、前記複数の部品の相対的な位置関係を示す情報を算出する算出部と、
前記算出部によって算出された前記相対的な位置関係を示す情報が、前記設計ルールに基づき定められた条件を満たすか否かを判定する判定部と、
前記判定部による判定結果を出力する出力部と、
を有することを特徴とする検証支援装置。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、検証支援プログラム、検証支援方法、および検証支援装置に関する。
【背景技術】
【０００２】
従来、物体の設計にＣＡＤ（Ｃｏｍｐｕｔｅｒ  Ａｉｄｅｄ  Ｄｅｓｉｇｎ）が利用される技術が知られている。たとえば、ＣＡＤデータから、入力形状との一致する箇所が特定される技術が知られている（たとえば、下記特許文献１参照。）。
【０００３】
たとえば、部品間のクリアランスに関するチェックにおいて、部品間のクリアランス量によって部品上の各部分に余裕度が表示される技術が知られている（たとえば、下記特許文献２参照）。また、寸法や材質などの類似する部品がデータベースから検索され、検索された部品がＣＡＤを利用して表示される技術が知られている（たとえば、下記特許文献３参照）。
【先行技術文献】
【特許文献】
【０００４】
【特許文献１】特開２０１０−２１１４３４号公報
【特許文献２】特開２００７−４８００４号公報
【特許文献３】特開２００５−４９９２３号公報
【発明の概要】
【発明が解決しようとする課題】
【０００５】
しかしながら、従来技術では、設計された物体のうちの、部品間の相対的な位置関係に関する設計ルールによる検証を要する箇所を特定する際に、部品の形状が複雑であると部品間の相対的な位置関係を算出することが困難である。
【０００６】
１つの側面では、本発明は、部品間の相対的な位置関係の演算を簡素化することができる検証支援プログラム、検証支援方法、および検証支援装置を提供することを目的とする。
【課題を解決するための手段】
【０００７】
本発明の一側面によれば、物体を表す設計情報に基づいて、前記物体のうち、相対的な位置関係に関する設計ルールが適用される形状に該当する複数の部品のうちの少なくとも一つの部品の頂点数を減少させた前記複数の部品を示す部品情報を生成し、生成した前記部品情報に基づいて、前記複数の部品の相対的な位置関係を示す情報を算出し、算出した前記相対的な位置関係を示す情報が、前記設計ルールに基づき定められた条件を満たすか否かを判定し、判定結果を出力する検証支援プログラム、検証支援方法、および検証支援装置が提案される。
【発明の効果】
【０００８】
本発明の一態様によれば、部品間の相対的な位置関係の演算を簡素化することができる。
【図面の簡単な説明】
【０００９】
【図１】図１は、検証支援装置による一動作例を示す説明図である。
【図２】図２は、実施の形態にかかる検証支援装置のハードウェア構成例を示すブロック図である。
【図３】図３は、設計情報例を示す説明図である。
【図４】図４は、設計ルールの一例を示す説明図である。
【図５】図５は、重ね合わせ形状と表示用寸法例を示す説明図である。
【図６】図６は、ＤＲＣ判別条件対応テーブルの一例を示す説明図である。
【図７】図７は、条件式テーブルの一例を示す説明図である。
【図８】図８は、形状パターンテーブルの一例を示す説明図である。
【図９】図９は、変形条件対応テーブルの一例を示す説明図である。
【図１０】図１０は、検証支援装置の機能的構成を示すブロック図である。
【図１１】図１１は、部品例を示す説明図である。
【図１２】図１２は、組み合わせごとの変形例を示す説明図である。
【図１３】図１３は、条件判定のパラメータの算出例を示す説明図である。
【図１４】図１４は、強調表示例を示す説明図である。
【図１５】図１５は、重複表示例を示す説明図である。
【図１６】図１６は、検証支援装置による検証支援処理手順の一例を示すフローチャート（その１）である。
【図１７】図１７は、検証支援装置による検証支援処理手順の一例を示すフローチャート（その２）である。
【図１８】図１８は、検証支援装置による検証支援処理手順の一例を示すフローチャート（その３）である。
【発明を実施するための形態】
【００１０】
以下に添付図面を参照して、本発明にかかる検証支援プログラム、検証支援方法、および検証支援装置の実施の形態を詳細に説明する。
【００１１】
図１は、検証支援装置による一動作例を示す説明図である。検証支援装置１００は、設計された物体ｏｂｊから、部品間の相対的な位置関係に関する設計ルールＲによる検証を要する箇所を絞り込むコンピュータである。物体ｏｂｊは、たとえば、図１に示すようにＰＣ（Ｐｅｒｓｏｎａｌ  Ｃｏｍｐｕｔｅｒ）であってもよいし、サーバ、携帯情報端末、自動車、家電製品などの機械製品やビルなどの建物であってもよいし、半導体集積回路などの回路パターンであってもよい。図１では、設計ルールＲの一例として、「ケースのツメのクリアランスが０．１〜０．２［ｍｍ］」になっていることを挙げている。
【００１２】
検証支援装置１００は、物体ｏｂｊを表す設計情報に基づいて、物体ｏｂｊのうちの、位置関係に関する設計ルールＲが適用される形状に該当する複数の部品のうちの少なくとも一つの部品の頂点数を減少させた複数の部品を示す部品情報を生成する。設計情報は、たとえば、物体ｏｂｊの形状や各頂点座標を表し、いずれの部品で構成されているかを特定するデータである。部品情報とは、たとえば、部品の頂点座標や部品を構成する面などを特定するデータである。さらに、部品情報は、板、ツメなどの具体的な形状を特定可能なデータを有している。後述する詳細な説明では、物体ｏｂｊを表す設計情報から、板、ツメなどの具体的な形状が検証支援装置１００によって検索される。設計情報内に記述された頂点情報、面、形状などの情報に基づいて物体ｏｂｊがＣＡＤツールによってコンピュータ上で描画される。
【００１３】
たとえば、図１の上側では、部品ｂ１と部品ｂ２とのそれぞれを囲う直方体のうち最小の直方体である部品ａ１と部品ａ２とを示す設計情報が生成される。たとえば、図１の下側では、部品ｂ３と部品ｂ４とのそれぞれを囲う直方体のうち最小の直方体である部品ａ３と部品ａ４とを示す設計情報が生成される。また、たとえば、円形形状であるにも関わらず頂点数が多ければ、球体に変形されてもよく、形状に応じていずれの形状に変形させるかが予め決定されていてもよい。
【００１４】
検証支援装置１００は、生成した部品情報に基づいて、部品間の相対的な位置関係を示す情報を算出する。部品間の相対的な位置関係を示す情報とは、たとえば、重心間の距離、頂点間の距離、外形の重なり度合いなどが挙げられる。図１の例では、重心間の距離を挙げているが、これに限らず、頂点間の距離や外形の重なり度合いなど各設計ルールＲに基づいて決定される。
【００１５】
検証支援装置１００は、算出した相対的な位置関係を示す情報が設計ルールＲに基づき定められた条件を満たすか否かを判定する。条件については、設計ルールＲよりも基準が緩い条件であってもよいし、設計ルールＲと同等の条件であってもよい。条件については、利用者によって予め定められていることとし、予め検証支援装置１００がアクセス可能なＲＯＭ（Ｒｅａｄ  Ｏｎｌｙ  Ｍｅｍｏｒｙ）、磁気ディスク、光ディスク、不揮発メモリなどの記憶装置に格納されていることとする。
【００１６】
たとえば、検証支援装置１００は、算出した相対的な位置関係を示す情報が条件を満たしている場合、図１の上側のように、部品ｂ１と部品ｂ２の組み合わせについて、設計ルールＲによる検証を要する箇所であると判定する。また、たとえば、検証支援装置１００は、算出した相対的な位置関係を示す情報が条件を満たしていない場合、図１の下側のように、部品ｂ３と部品ｂ４の組み合わせについて、設計ルールＲによって検証されなくてよい箇所であると判定する。
【００１７】
検証支援装置１００は、判定結果を出力する。出力形式としては、検証支援装置１００がアクセス可能なディスプレイへの表示や検証支援装置１００がアクセス可能なＲＡＭ、磁気ディスク、光ディスクなどの記憶装置への格納が挙げられる。ディスプレイへの表示では、条件を満たす場合に複数の部品を強調表示させてもよいし、予め用意された形状を重ねて表示させてもよいし、寸法を重ねて表示させてもよい。
【００１８】
たとえば、ツメに該当する部品であっても、部品によって頂点数が異なる。そのため、頂点数が多い部品の形状は複雑である可能性がある。たとえば、部品の重心間の距離、または部品間の頂点のうち最も近い頂点同士の距離などによって部品間の相対的な位置関係が検証される場合、頂点数が多いと、演算が複雑な場合や演算量が多くなる場合がある。図１に示す検証支援装置１００によれば、頂点数が減少するため、頂点数が減少することにより部品間の相対的な位置関係に関する計算が簡素化される。これにより、物体ｏｂｊの中から、設計ルールＲによる検証を要する箇所を絞り込むことができる。
【００１９】
（検証支援装置１００のハードウェア構成例）
図２は、実施の形態にかかる検証支援装置のハードウェア構成例を示すブロック図である。図２において、検証支援装置１００は、ＣＰＵ（Ｃｅｎｔｒａｌ  Ｐｒｏｃｅｓｓｉｎｇ  Ｕｎｉｔ）２０１と、ＲＯＭ２０２と、ＲＡＭ（Ｒａｎｄｏｍ  Ａｃｃｅｓｓ  Ｍｅｍｏｒｙ）２０３と、ディスクドライブ２０４と、ディスク２０５と、ディスプレイ２０８と、Ｉ／Ｆ（Ｉｎｔｅｒｆａｃｅ）２０９と、キーボード２１０と、マウス２１１と、を有する。また、各部はバス２００によってそれぞれ接続されている。
【００２０】
ここで、ＣＰＵ２０１は、検証支援装置１００の全体の制御を司る。ＲＯＭ２０２は、ブートプログラムなどのプログラムを記憶している。ＲＡＭ２０３は、ＣＰＵ２０１のワークエリアとして使用される。ディスクドライブ２０４は、ＣＰＵ２０１の制御にしたがってディスク２０５に対するデータのリード／ライトを制御する。ディスク２０５は、ディスクドライブ２０４の制御で書き込まれたデータを記憶する。
【００２１】
ディスクドライブ２０４は、ＣＰＵ２０１の制御にしたがってディスク２０５に対するデータのリード／ライトを制御する。ディスク２０５は、ディスクドライブ２０４の制御で書き込まれたデータを記憶したり、ディスク２０５に記憶されたデータをコンピュータに読み取らせたりする。ディスク２０５としては、たとえば、磁気ディスクや光ディスクが挙げられる。
【００２２】
ディスプレイ２０８は、カーソル、アイコンあるいはツールボックスをはじめ、文書、画像、機能情報などのデータを表示する。ディスプレイ２０８は、たとえば、ＣＲＴ、ＴＦＴ液晶ディスプレイ、プラズマディスプレイなどを採用することができる。
【００２３】
Ｉ／Ｆ２０９は、通信回線を通じてＬＡＮ（Ｌｏｃａｌ  Ａｒｅａ  Ｎｅｔｗｏｒｋ）、ＷＡＮ（Ｗｉｄｅ  Ａｒｅａ  Ｎｅｔｗｏｒｋ）、インターネットなどのネットワークＮＥＴに接続され、ネットワークＮＥＴを介して他の装置に接続される。そして、Ｉ／Ｆ２０９は、ネットワークＮＥＴと内部のインターフェースを司り、外部装置からのデータの入出力を制御する。Ｉ／Ｆ２０９には、たとえば、モデムやＬＡＮアダプタなどを採用することができる。
【００２４】
キーボード２１０は、文字、数字、各種指示などの入力のためのキーを有し、データの入力を行う。また、タッチパネル式の入力パッドやテンキーなどであってもよい。マウス２１１は、カーソルの移動や範囲選択、あるいはウィンドウの移動やサイズの変更などを行う。ポインティングデバイスとして同様に機能を有するものであれば、トラックボールやジョイスティックなどであってもよい。
【００２５】
（設計情報）
図３は、設計情報例を示す説明図である。設計情報３００は、具体的には、たとえば、物体ｏｂｊを構成する複数の部品の形状を表す各頂点の位置情報を有するＣＡＤデータである。上述したように、物体ｏｂｊは、たとえば、ＰＣ、サーバ、携帯情報端末、自動車、家電製品などの機械製品やビルなどの建物であってもよいし、たとえば、半導体集積回路などの回路パターンであってもよい。ここでは、設計情報３００は、３次元情報であってもよいし、２次元情報であってもよい。
【００２６】
設計情報３００が３次元情報であれば、設計情報３００には、Ｘ軸とＹ軸とＺ軸とからなる３次元の直交座標系が定義されている。たとえば、設計情報３００は、ディスク２０５などの記憶装置に記憶されている。部品情報は、設計情報３００の一部の形状情報であって、設計情報３００で定義された直行座標系の原点からの頂点の座標や面の情報などによって構成される。面の情報では、たとえば、各頂点がどのような順序で接続されているかが示されている。
【００２７】
（設計ルールＲ）
図４は、設計ルールの一例を示す説明図である。たとえば、設計ルールＲは、ＤＲＣ（Ｄｅｓｉｇｎ  Ｒｕｌｅ  Ｃｈｅｃｋ）  Ｎｏ（Ｎｕｍｂｅｒ）と詳細ルールとを併せて記憶される。図４の例では、ＤＲＣ  Ｎｏが「ＤＲＣ０００２」であり、詳細ルールには、「ケースのツメのクリアランスが０．１〜０．２［ｍｍ］」になっていることが定義されている。
【００２８】
（重ね合わせ形状と表示用寸法）
図５は、重ね合わせ形状と表示用寸法例を示す説明図である。本実施の形態において特定される検証を要する箇所に、設計ルールＲに関する形状と設計ルールＲに関する寸法を表示させるために、重ね合わせ形状５０１と表示用寸法５０２を、ディスク２０５などの記憶装置に記憶させておく。
【００２９】
（ＤＲＣ判別条件対応テーブル）
図６は、ＤＲＣ判別条件対応テーブルの一例を示す説明図である。ＤＲＣ判別条件対応テーブル６００は、ＤＲＣ  Ｎｏ、条件Ｎｏ、検索対象形状のフィールドを有する。ＤＲＣ  Ｎｏは、各設計ルールＲを識別する番号である。条件Ｎｏは、各条件を識別する番号である。検索対象は、設計情報３００から、設計ルールＲが適用される形状の名称を示す。検索対象形状は、各設計ルールＲに応じて複数登録される。各フィールドに情報が設定されることにより、レコード（たとえば、６０１−１）が記憶される。ＤＲＣ判別条件対応テーブル６００は、たとえば、ディスク２０５などによって実現される。
【００３０】
（条件式テーブル）
図７は、条件式テーブルの一例を示す説明図である。条件式テーブル７００は、各条件式を示している。条件式テーブル７００は、条件Ｎｏ、条件式、変形条件Ｎｏのフィールドを有する。条件Ｎｏは、各条件を識別する番号である。たとえば、条件式テーブル７００のレコードは、条件Ｎｏによって、ＤＲＣ判別条件対応テーブル６００内のレコードと関連付けられている。条件式は、設計ルールＲを満たすか否かを判定するための条件である。変形条件Ｎｏは、部品の形状にいずれの変形を施すかを示す条件を識別する番号である。
【００３１】
各フィールドに情報が設定されることにより、レコード（たとえば、７０１−１、７０１−２）が記憶される。条件式テーブル７００は、ディスク２０５などによって実現される。
【００３２】
レコード７０１−１の詳細例を説明する。条件Ｎｏが「Ｃ０００１」であり、ＤＲＣ判別条件対応テーブル６００内のレコード６０１−１と関連付けられている。したがって、レコード７０１−１の条件式は、ツメとケースの位置関係についての設計ルールＲに基づいて定められている。条件式は、３つの条件の論理積である。１つ目の条件は、「重心Ａ１と重心Ａ２との距離のＸ成分＜各々を包括する直方体のＸ成分×１０［％］」である。包括する直方体とは、部品を囲う直方体の中で最小の直方体を示す。２つ目の条件は、「重心Ａ１と重心Ａ２との距離のＹ成分＜包括する直方体のＹ成分×５［％］」である。３つ目の条件は、「重心Ａ１と重心Ａ２との距離のＺ成分＜包括する直方体のＺ成分×７［％］」である。
【００３３】
レコード７０１−２の詳細例を説明する。条件Ｎｏが「Ｃ０００２」であり、ＤＲＣ判別条件対応テーブル６００内のレコード６０１−２と関連付けられている。したがって、レコード７０１−２の条件式は、ツメとツメのクリアランスについての設計ルールＲに基づいて定められている。条件式は、３つの条件の論理積である。１つ目の条件は、「重心（Ａ１）のＸ成分−Ａ１のＸ外形＜重心（Ａ２）のＸ成分＜重心（Ａ１）のＸ成分＋Ａ１のＸ外形×２」である。２つ目の条件は、「Ａ１とＡ２との頂点間の距離のＹ成分のうちの最短の距離＜＝Ａ１形状のＹ外形」である。３つ目の条件は、「重心（Ａ１）のＺ成分−Ａ１形状のＺ外形＜重心（Ａ２）のＺ成分＜重心（Ａ１）のＺ成分＋Ａ１形状のＺ外形」である。ツメとツメのクリアランスについての条件式に、外形が用いられているのはツメとツメの重なり度合いが確認されるためである。
【００３４】
（形状パターンテーブル）
図８は、形状パターンテーブルの一例を示す説明図である。形状パターンテーブル８００は、名称、形状パターンのフィールドを有する。名称は、設計ルールＲが適用される各形状を示す名称である。形状パターンは、当該名称が示す形状のパターンである。各フィールドに情報が設定されることにより、レコード（たとえば、８０１−１〜８０１−４）が記憶される。形状パターンテーブル８００は、ディスク２０５などによって実現される。
【００３５】
（変形条件対応テーブル）
図９は、変形条件対応テーブルの一例を示す説明図である。変形条件対応テーブル９００は、変形条件Ｎｏ、閾値、変形後の形状のフィールドを有する。各フィールドに情報が設定されることにより、レコード（たとえば、９０１−１〜９０１−９）が記憶される。変形条件対応テーブル９００は、ディスク２０５などによって実現される。
【００３６】
変形条件Ｎｏは、いずれの形状に変形するか、または変形を行わないかが決定されるための条件を示す識別情報である。各部品が、閾値のフィールドに登録された条件を満たしていると、変形後の形状のフィールドに登録された形状に変形されるように部品情報が生成される。変形後の形状は各部品の形状に応じて決定される。たとえば、板の場合に頂点数が多ければ、直方体に変形し、頂点数が少なければ、変形しない。たとえば、変形条件対応テーブル９００は、変形条件Ｎｏによって条件式テーブル７００に関連付けられることにより、設計ルールＲが適用される形状と変形後の形状とが関連付けられる。
【００３７】
（検証支援装置１００の機能的構成例）
図１０は、検証支援装置の機能的構成を示すブロック図である。検証支援装置１００は、受付部１００１と、条件抽出部１００２と、部品検索部１００３と、取得部１００４と、決定部１００５と、生成部１００６と、算出部１００７と、判定部１００８と、表示作成部１００９と、出力部１０１０と、を有する。
【００３８】
受付部１００１は、設計情報３００と、設計ルールＲのＤＲＣ  Ｎｏと、の入力を受け付ける。具体的には、検証を行う作業者が入力手段を用いて検証支援装置１００へ設計情報３００と設計ルールＲのＤＲＣ  Ｎｏを入力する。入力手段としては、マウス２１１やキーボード２１０などが挙げられる。たとえば、ＤＲＣ  Ｎｏとして「ＤＲＣ０００２」が入力されることとする。ここでは、設計ルールＲには予め重ね合わせ形状５０１と表示用寸法５０２が関連付けられていることとする。
【００３９】
条件抽出部１００２は、受付部１００１によって受け付けられたＤＲＣ  Ｎｏに基づいてＤＲＣ判別条件対応テーブル６００から検索対象形状を取得する。たとえば、条件抽出部１００２は、ＤＲＣ  Ｎｏ「ＤＲＣ０００２」が一致する条件Ｎｏ「Ｃ０００２」と検索対象形状Ａ１「ツメ」と検索対象形状Ａ２「ツメ」とを取得する。
【００４０】
条件抽出部１００２は、条件式テーブル７００から条件Ｎｏに一致する条件式と変形条件Ｎｏを取得する。たとえば、条件抽出部１００２は、条件式テーブル７００から条件Ｎｏ「Ｃ０００２」に一致する条件式と変形条件Ｎｏ「Ｍ０００３」，「Ｍ０００４」を取得する。
【００４１】
条件抽出部１００２は、形状パターンテーブル８００から、取得した検索対象種類の名称と同一名称である形状パターンを取得する。たとえば、条件抽出部１００２は、形状パターンテーブル８００から形状の名称が「ツメ」に一致する形状パターン１、形状パターン２を取得する。
【００４２】
部品検索部１００３は、条件抽出部１００２によって取得された形状パターンに一致する形状である部品を示す部品情報を受付部１００１によって受け付けられた設計情報３００から検索する。
【００４３】
図１１は、部品例を示す説明図である。たとえば、部品検索部１００３は、従来技術（たとえば、特開２０１１−１５０６６７号公報）を利用することにより、条件抽出部１００２によって取得された形状パターン１，２に基づいて設計ルールが適用される形状に一致する部品を示す部品情報を設計情報３００から検索する。図１１に示すように、ここでは、部品Ｂ１〜Ｂ４が検索される。検索結果は、たとえば、ディスク２０５などの記憶装置に記憶されてもよい。
【００４４】
取得部１００４は、設計情報３００から、相対的な位置関係に関する設計ルールＲが適用される形状に該当する複数の部品を示す部品情報を取得する。ここでは、取得部１００４は、部品検索部１００３によって検索された２以上の部品情報を取得する。
【００４５】
生成部１００６は、物体ｏｂｊを表す設計情報３００に基づいて、物体ｏｂｊのうち、設計ルールＲが適用される形状に該当する複数の部品のうちの少なくとも一つの部品の頂点数を減少させた複数の部品を示す部品情報を生成する。具体的には、生成部１００６は、取得した部品情報に基づいて、複数の部品のうちの少なくとも一つの部品の頂点数を減少させた複数の部品を示す部品情報を生成する。
【００４６】
また、決定部１００５は、複数の部品の各々について、部品情報が示す部品の頂点数と、設計ルールＲが適用される形状に応じた閾値と、の比較に基づいて、頂点数を減少させるか否かを決定する。生成部１００６は、決定部１００５によって頂点数を減少させると決定された部品の頂点数を減少させた複数の部品を示す部品情報を生成する。
【００４７】
また、決定部１００５は、複数の部品の各々について、部品情報が示す部品の頂点数と、設計ルールＲが適用される形状に応じた閾値と、の比較に基づいて、頂点数を減少させる形状の中でいずれの形状に変形させるかを決定してもよい。生成部１００６は、決定部１００５によって決定された形状に変形された複数の部品を示す部品情報を生成する。
【００４８】
具体的には、たとえば、決定部１００５は、条件抽出部１００２によって受け付けられた変形条件Ｎｏ「Ｍ０００３」，「Ｍ０００４」に基づいて、変形条件対応テーブル９００の変形条件Ｎｏに一致する閾値と変形後の形状を取得する。ここで取得される閾値と変形後の形状は、「頂点数＜２０、形状変形なし」と「頂点数＞１９、直方体」である。より具体的には、たとえば、決定部１００５は、頂点数が２０未満の場合に、形状変形をしないと決定し、頂点数が２０以上の場合、部品を囲う直方体の中で最小の直方体に変形すると決定する。ここでは、部品Ｂ１〜Ｂ４のすべてについて形状を変形させると決定されたこととして、詳細例を説明する。
【００４９】
図１２は、組み合わせごとの変形例を示す説明図である。具体的には、たとえば、生成部１００６は、決定部１００５によって変形すると判定された部品について、直方体に変形する。図１２の例では、部品Ｂ１が直方体に変形されて部品Ｃ１となり、部品Ｂ２が直方体に変形されて部品Ｃ２となり、部品Ｂ４が直方体に変形されて部品Ｃ４となる。
【００５０】
図１３は、条件判定のパラメータの算出例を示す説明図である。たとえば、算出部１００７は、部品Ｃ１と部品Ｃ２の各頂点に基づいて、各部品Ｃ１，Ｃ２の情報を導出する。部品Ｃ１と部品Ｃ２とは直方体であるため、頂点数はそれぞれ８つである。ここでは、算出部１００７は、各直方体のＸ外形ｆｘ１，２、Ｙ外形ｆｙ１，２、Ｚ外形ｆｚ１，２、重心点座標ｇ１，２を導出する。Ｘ外形ｆｘ１，２とは、Ｘ軸方向における長さである。Ｙ外形ｆｙ１，２とは、Ｙ軸方向における長さである。Ｚ外形ｆｚ１，２とは、Ｚ軸方向における長さである。
【００５１】
つぎに、判定部１００８は、算出部１００７によって算出された相対的な位置関係を示す情報が、設計ルールＲに基づいて定められた条件を満たすか否かを判定する。たとえば、判定部１００８は、算出部１００７によって算出された各情報を、取得された条件式に代入することによって、条件を満たすか否かを判定する。図１３の例では、判定部１００８は、部品Ｃ１を検索対象形状Ａ１、部品Ｃ２を検索対象形状Ａ２として、条件式に代入する。
【００５２】
出力部１０１０は、判定部１００８による判定結果を出力する。出力形式としては、たとえば、ディスプレイ２０８への表示、Ｉ／Ｆ２０９による外部装置への送信がある。また、ＲＡＭ２０３、ディスク２０５などの記憶装置に記憶することとしてもよい。または、判定部１００８によって相対的な位置関係を示す情報が条件を満たしていると判定された場合、出力部１０１０は、判定結果を出力してもよい。
【００５３】
図１４は、強調表示例を示す説明図である。表示作成部１００９は、判定部１００８によって相対的な位置関係を示す情報が条件を満たしていると判定された組み合わせについて強調表示をさせる情報を作成する。強調表示を行うか否かについては、たとえば、受付部１００１によって利用者からの指示を受け付けてもよい。出力部１０１０は、表示作成部１００９によって作成された情報に基づいてディスプレイ２０８へ設計情報３００が示す物体ｏｂｊを表示する。
【００５４】
これにより、検証者は、ディスプレイ２０８で強調表示された箇所について、設計ルールＲに基づく検証を行えばよいため、検証者のスキルに応じて検証に漏れが生じることを防止する。
【００５５】
図１５は、重複表示例を示す説明図である。表示作成部１００９は、重ね合わせ形状５０１を、検証を要する部品の組み合わせのサイズに変更して、当該組み合わせに重ねて表示させる情報を作成する。重ね合わせ形状５０１を重ねるか否かについては、たとえば、受付部１００１によって利用者からの指示を受け付けてもよい。
【００５６】
また、表示作成部１００９は、検証を要する部品の組み合わせに併せて表示用寸法５０２を表示させる情報を作成する。表示用寸法５０２を表示させるか否かについては、たとえば、受付部１００１によって利用者からの指示を受け付けてもよい。
【００５７】
（検証支援処理手順）
図１６〜図１８は、検証支援装置による検証支援処理手順の一例を示すフローチャートである。検証支援装置１００は、設計情報３００の入力を受け付け（ステップＳ１６０１）、ＤＲＣ判別条件対応テーブル６００から、設計ルールＲに対応する条件Ｎｏと設計ルールＲが適用される形状である検索対象形状とを、設計ルールＲを示すＤＲＣ  Ｎｏに基づき取得する（ステップＳ１６０２）。上述例では、ＤＲＣ  Ｎｏが「ＤＲＣ０００２」であり、条件Ｎｏ「Ｃ０００２」と検索対象形状Ａ１「ツメ」と検索対象形状Ａ２「ツメ」とが取得される。
【００５８】
検証支援装置１００は、条件式テーブル７００から、取得した条件Ｎｏに基づき条件式、変形条件Ｎｏを取得し（ステップＳ１６０３）、形状パターンテーブル８００から、取得した検索対象形状に基づき形状パターンを取得する（ステップＳ１６０４）。上述例では、条件式テーブル７００からレコード７０１−１が取得されることにより、変形条件Ｎｏ「Ｍ０００３」，「Ｍ０００４」が取得される。
【００５９】
検証支援装置１００は、取得した形状パターンによって設計情報３００から部品情報を取得し（ステップＳ１６０５）、変形条件対応テーブル９００から、取得した変形条件Ｎｏに基づいて閾値および変形後の形状を取得する（ステップＳ１６０６）。上述例では、変形後の形状は直方体である。検証支援装置１００は、特定した部品情報が示す部品ごとに部品の頂点数と、取得した閾値と、を比較し（ステップＳ１６０７）、部品情報が示す部品ごとに比較結果に基づき変形の実施または変形後の形状を決定する（ステップＳ１６０８）。上述例では、部品Ｂ１〜Ｂ４のすべてが直方体に変形されると決定される。
【００６０】
検証支援装置１００は、いずれかの部品の形状を変形するか否かを判断する（ステップＳ１６０９）。いずれかの部品の形状も変形されない場合（ステップＳ１６０９：Ｎｏ）、ステップＳ１６１１へ移行する。いずれかの部品の形状が変形される場合（ステップＳ１６０９：Ｙｅｓ）、検証支援装置１００は、決定した変形後の形状に部品がなる部品情報を生成し（ステップＳ１６１０）、判定の組み合わせを決定する（ステップＳ１６１１）。上述例では、部品Ｂ１〜Ｂ４のそれぞれを、各部品を囲う直方体のうち最小の直方体に変形された部品Ｃ１〜Ｃ４を示す部品情報が生成される。
【００６１】
検証支援装置１００は、未判定の組み合わせがあるか否かを判定し（ステップＳ１７０１）、未判定の組み合わせがある場合（ステップＳ１７０１：Ｙｅｓ）、未判定の組み合わせから１つの組み合わせを選択する（ステップＳ１７０２）。これにより、すべての組み合わせについて漏れることなく、設計ルールＲによる検証を要するか否かが判定される。検証支援装置１００は、選択した組み合わせから、計測点を導出し（ステップＳ１７０３）、条件式へ導出した計測点を与える（ステップＳ１７０４）。計測点は、たとえば、重心、外形や頂点などが挙げられる。
【００６２】
検証支援装置１００は、条件式を満たすか否かを判断し（ステップＳ１７０５）、条件式を満たす場合（ステップＳ１７０５：Ｙｅｓ）、検証支援装置１００は、選択した組み合わせを検証箇所として出力し（ステップＳ１７０６）、ステップＳ１７０１へ戻る。検証箇所とは、検証を要する箇所である。条件式を満たさない場合（ステップＳ１７０５：Ｎｏ）、ステップＳ１７０１へ戻る。
【００６３】
未判定の組み合わせがない場合（ステップＳ１７０１：Ｎｏ）、検証支援装置１００は、検証箇所として検出された組み合わせについて、強調表示を行うか否かを判断する（ステップＳ１８０１）。強調表示が行われる場合（ステップＳ１８０１：Ｙｅｓ）、検証支援装置１００は、重ね合わせ形状５０１を表示するか否かを判断する（ステップＳ１８０２）。重ね合わせ形状５０１を表示させる場合（ステップＳ１８０２：Ｙｅｓ）、検証支援装置１００は、重ね合わせ形状５０１を拡大・縮小して、検証箇所である組み合わせに重ね合わせる表示内容を作成する（ステップＳ１８０３）。
【００６４】
検証支援装置１００は、表示用寸法５０２を表示するか否かを判断し（ステップＳ１８０４）、表示用寸法５０２が表示される場合（ステップＳ１８０４：Ｙｅｓ）、表示用寸法５０２を表示内容に追加し（ステップＳ１８０５）、ステップＳ１８０６へ移行する。重ね合わせ形状５０１を表示させない場合（ステップＳ１８０２：Ｎｏ）、検証支援装置１００は、検証箇所である組み合わせを強調させる表示内容を作成し（ステップＳ１８０７）、ステップＳ１８０６へ移行する。表示用寸法５０２が表示されない場合（ステップＳ１８０４：Ｎｏ）、ステップＳ１８０７、またはステップＳ１８０５のつぎに、検証支援装置１００は、作成した表示内容を表示し（ステップＳ１８０６）、一連の処理を終了する。強調表示が行われない場合（ステップＳ１８０１：Ｎｏ）、一連の処理を終了する。
【００６５】
以上説明したように、検証支援装置は、部品間の相対的な位置関係に関する設計ルールが適用される形状に該当する部品群のうち頂点数の多い部品の頂点数を減らして相対的な位置関係を算出する。これにより、部品間の相対的な位置関係の計算が簡素化され、検証を要する箇所を単純な計算によって絞り込むことができる。
【００６６】
従来では、たとえば、検証者が、設計ルールに記載されている項目に基づいて、項目に該当する類似形状を目視で探して確認する。または、たとえば、設計ルールと検証を要する箇所とを予め設計ルールが適用される形状に関連付けておき、検証が行われると、検証結果や検証箇所を表示する。または、たとえば、設計ルールに予め設計ルールが適用される形状を登録させておき、検証の対象となる設計情報から形状検索によって検証を要する箇所が検索される。検証を要する箇所を探すのに時間がかかる。検証者のスキルに依存して漏れが生じる可能性がある。また、形状検索を行うことができても、検証を要する箇所であるとは限らない。たとえば、「ツメ」の形状同士の重なり度合いを検証する設計ルールであっても、形状検索によって検索された２つの「ツメ」の形状が離れている場合、検証を必要としない。
【００６７】
本実施の形態にかかる検証支援装置によれば、検証を要する箇所を絞り込むことができるため、検証者のスキルに応じて検証に漏れが生じることを防止する。また、検証支援装置によれば、設計ルールが適用される形状の部品の組み合わせから、検証を要する組み合わせと検証を要しない組み合わせとが区別される。これにより、物体のうちの検証を要する箇所を絞り込むことができ、設計ルールによる検証が効率的に行われる。
【００６８】
また、検証支援装置は、部品の頂点数と形状に応じた閾値との比較により、頂点数を減少させる変形を行うか否かを決定する。たとえば、頂点数が多い部品について形状を変形させることにより、部品間の相対的な位置関係を示す情報の計算が簡素化される場合に形状を変形することができる。
【００６９】
また、検証支援装置が、複数の部品のうちの少なくとも一つの部品が、当該部品を囲う球形のうち最小の球形に変形される。または、検証支援装置が、複数の部品のうちの少なくとも一つの部品が、当該部品を囲う立方体のうち最小の立方体に変形される。これにより、部品間の相対的な位置関係を示す情報の計算が簡素化される。
【００７０】
なお、本実施の形態で説明した検証支援方法は、予め用意されたプログラムをパーソナル・コンピュータやワークステーションなどのコンピュータで実行することにより実現することができる。本検証支援プログラムは、ＲＯＭ、ディスク（たとえば、磁気ディスクや光ディスク）やフラッシュメモリなどのコンピュータで読み取り可能な記録媒体に記録され、コンピュータによって記録媒体から読み出されることによって実行される。また本検証支援プログラムは、インターネットなどのネットワークを介して配布してもよい。
【００７１】
上述した実施の形態に関し、さらに以下の付記を開示する。
【００７２】
（付記１）コンピュータに、
物体を表す設計情報に基づいて、前記物体のうち、相対的な位置関係に関する設計ルールが適用される形状に該当する複数の部品のうちの少なくとも一つの部品の頂点数を減少させた前記複数の部品を示す部品情報を生成し、
生成した前記部品情報に基づいて、前記複数の部品の相対的な位置関係を示す情報を算出し、
算出した前記相対的な位置関係を示す情報が、前記設計ルールに基づき定められた条件を満たすか否かを判定し、
判定結果を出力する、
処理を実行させることを特徴とする検証支援プログラム。
【００７３】
（付記２）前記コンピュータに、
前記複数の部品の各々について、前記部品の頂点数と、前記形状に応じた閾値と、の比較に基づいて、頂点数を減少させるか否かを決定する処理を実行させ、
前記部品情報を生成する処理は、
頂点数を減少させると決定した前記部品の頂点数を減少させた前記複数の部品を示す部品情報を生成することを特徴とする付記１に記載の検証支援プログラム。
【００７４】
（付記３）前記部品情報を生成する処理は、
前記複数の部品のうちの少なくとも一つの部品が前記一つの部品を囲む直方体のうち最小の直方体に変形された前記複数の部品を示す部品情報を生成することを特徴とする付記１または２に記載の検証支援プログラム。
【００７５】
（付記４）前記部品情報を生成する処理は、
前記複数の部品のうちの少なくとも一つの部品が前記一つの部品を囲む球体のうち最小の球体に変形された前記複数の部品を示す部品情報を生成することを特徴とする付記１または２に記載の検証支援プログラム。
【００７６】
（付記５）前記判定結果を出力する処理は、
前記相対的な位置関係を示す情報が前記条件を満たすと判定された場合、前記複数の部品を強調表示することを特徴とする付記１〜４のいずれか一つに記載の検証支援プログラム。
【００７７】
（付記６）コンピュータが、
物体を表す設計情報に基づいて、前記物体のうち、相対的な位置関係に関する設計ルールが適用される形状に該当する複数の部品のうちの少なくとも一つの部品の頂点数を減少させた前記複数の部品を示す部品情報を生成し、
生成した前記部品情報に基づいて、前記複数の部品の相対的な位置関係を示す情報を算出し、
算出した前記相対的な位置関係を示す情報が、前記設計ルールに基づき定められた条件を満たすか否かを判定し、
判定結果を出力する、
処理を実行することを特徴とする検証支援方法。
【００７８】
（付記７）物体を表す設計情報に基づいて、前記物体のうち、相対的な位置関係に関する設計ルールが適用される形状に該当する複数の部品のうちの少なくとも一つの部品の頂点数を減少させた前記複数の部品を示す部品情報を生成する生成部と、
前記生成部によって生成された前記部品情報に基づいて、前記複数の部品の相対的な位置関係を示す情報を算出する算出部と、
前記算出部によって算出された前記相対的な位置関係を示す情報が、前記設計ルールに基づき定められた条件を満たすか否かを判定する判定部と、
前記判定部による判定結果を出力する出力部と、
を有することを特徴とする検証支援装置。
【００７９】
（付記８）物体を表す設計情報に基づいて、前記物体のうち、相対的な位置関係に関する設計ルールが適用される形状に該当する複数の部品のうちの少なくとも一つの部品の頂点数を減少させた前記複数の部品を示す部品情報を生成し、
生成した前記部品情報に基づいて、前記複数の部品の相対的な位置関係を示す情報を算出し、
算出した前記相対的な位置関係を示す情報が、前記設計ルールに基づき定められた条件を満たすか否かを判定し、
判定結果を出力する、
処理をコンピュータに実行させる検証支援プログラムを記録したことを特徴とする記録媒体。
【符号の説明】
【００８０】
１００  検証支援装置
２０１  ＣＰＵ
２０８  ディスプレイ
３００  設計情報
６００  ＤＲＣ判別条件対応テーブル
７００  条件式テーブル
９００  変形条件対応テーブル
１００６  生成部
１００７  算出部
１００８  判定部
１０１０  出力部
ｏｂｊ  物体
ａ１〜ａ４，ｂ１〜ｂ４，Ｂ１〜Ｂ４，Ｃ１〜Ｃ４  部品
Ｒ  設計ルール
【図１】
2014063406.tif 000003
【図２】
2014063406.tif 000004
【図３】
2014063406.tif 000005
【図４】
2014063406.tif 000006
【図５】
2014063406.tif 000007
【図６】
2014063406.tif 000008
【図７】
2014063406.tif 000009
【図８】
2014063406.tif 000010
【図９】
2014063406.tif 000011
【図１０】
2014063406.tif 000012
【図１１】
2014063406.tif 000013
【図１２】
2014063406.tif 000014
【図１３】
2014063406.tif 000015
【図１４】
2014063406.tif 000016
【図１５】
2014063406.tif 000017
【図１６】
2014063406.tif 000018
【図１７】
2014063406.tif 000019
【図１８】
2014063406.tif 000020