機能モデルに基づいた定性推論による不具合同定システム -ロケット打上運用支援システムへの応用-