Japanese, English

Anvics

Presented by Takuto YANAGIDA.
Updated: January 12, 2012.

はじめに

Anvics(analysis and visualization of constraint satisfaction problems)は,ファジイ制約充足問題(FCSP)のソルバの挙動を,研究者や初学者,専門家が観察するために開発されたツールです.わかりやすいアニメーションによって,ソルバの挙動に対する理解を手助けするという特徴があります.また,このツールはJavaで書かれており,このページからダウンロードしてお使いのPCで自由に試用することができます.

バージョン:0.6(2009年10月27日)
動作環境:Java 6以降の実行環境
配布条件:NYSL Version 0.9982 (C. Copyrighted to YANAGIDA, Takuto.)

実行方法

  1. 最新のJave実行環境をインストールし,
  2. anvics.jarをダウンロードして,
  3. ファイルをダブル・クリックして実行します.

簡単な使い方

  1. 初めに,新しい問題を作ります.メニュー「File」→「New」をクリックすると,ダイアログ・ボックスが表示され,以下の問題を幾つかのパラメータに基づいて作成することができます:
  2. 次に,生成した問題を解かせます.メニュー「Solve」→「Solve」をクリックすると,以下のソルバのいずれかを生成した問題に適用することができます: