Pat
J-GLOBAL ID：200903091924104652
仕様検証支援装置
Inventor：
,
Applicant, Patent owner：
Agent (1)：
吉田 研二 (外2名)
Gazette classification：公開公報
Application number (International application number)：2000012537
Publication number (International publication number)：2001202398
Application date： Jan. 21, 2000
Publication date： Jul. 27, 2001
Summary：
【要約】【課題】 複数種の装備から選択した装備を製品本体に装着して、多様な仕様を実現する製品において、注文された仕様が実際に製造可能かを検証するのに好適な形式のデータを作成する。【解決手段】 本体と装備の装着関係を示す引当と、前記引当相互に生じる制約条件を示す相互制約とは、人が理解しやすいマトリクス状の形式で記憶されている。引当に示される装備の組み合わせの中から、相互制約で成立が否定される組み合わせ(偽データ)を抽出する。この偽データから、「装備a1があれば、装備b1がない」という論理式を得、さらにこの右辺を肯定表現とした「a1があれば、b2が必要(a1→b1)」と書き換える。これを蓄積する。
Claim (excerpt)：
製品の本体と、この本体装着する装備を定めた仕様について、当該仕様が成立するものかの確認の作業を支援する仕様検証支援装置であって、本体と装備の装着関係を示す引当を記憶する引当記憶手段と、前記引当相互に生じる制約条件を示す相互制約を記憶する相互制約記憶手段と、検証対象となる本体に関連する全ての相互制約を取得する手段と、前記取得した相互制約に関連する引当を取得する手段と、前記取得された引当に関連する装備の取り得る全ての組み合わせを作成する手段と、作成された個々の組み合わせに対し、前記取得された相互制約を適用して制約条件に反する組み合わせである偽データを抽出する手段と、前記抽出された偽データに対して、当該偽データを制約条件に反するとしている要素の組を抽出し、偽データを縮退する手段と、前記縮退された偽データの個々において、一つの第1の装備を選び、他の装備については当該他の装備と交換可能な全ての装備である第2の装備に置き換え、前記第1の装備に対しては前記第2の装備のいずれかが必要、とする検証式を作成する手段と、を有する、仕様検証支援装置。
IPC (2)：
FI (3)：
G06F 15/60 612 Z
, G06F 15/21 Z
, G06F 15/60 604 H
5B046AA04
, 5B046CA04
, 5B046GA01
, 5B046JA01
, 5B046KA08
, 5B049BB07
, 5B049CC02
, 5B049CC21
, 5B049DD01
, 5B049DD05
, 5B049EE05
, 5B049FF03
, 5B049FF09
, 5B049GG00
