平成９年度　委託研究ソフトウェアの成果ソフトウェア

(14) 制約処理系を利用した図形描画システム

研究代表者：	田中　英彦　教授
	東京大学・工学系研究科・情報工学専攻

制約処理系を利用した図形描画システム Pegasus

［特徴ある機能］

  本システムは、ユーザの描いたフリーストロークから、
そのストロークが満たすべき幾何学的制約を自動推論し、
整形をおこなうシステムである。従来の描画エディタでは
反転や回転といった編集コマンドを必要としていた図形を、
本システムにおいてはただ意図する図形の概形を手書きで
入力していくだけで描くことが可能となる。また、手書き
入力の曖昧性に対処するために、複数の候補を自動生成し
提示する機能も備えている。
  整形エンジンとして、満たすべき幾何学的関係を連立方
程式として受け取り、複数の解を効率よく計算する制約解
消系をもちいており、その動作をコンソールから確認する
ことができる。
  外部とのアクセスとしては、テキスト形式のファイルへ
の読み出しと保存、および Windows Meta File 形式への
書き出し等をサポートしている。

［必要な環境］

IBM PC/AT 互換機
CPU DX4 75MHz 以上
Winodws 3.1/95/NT
Visual Basic 2.0 Runtime DLL 
(vbrjp200.dll)

［ソースプログラムの分量とファイル構成］

Readme-J		アーカイブの説明（日本語）        
Readme-E		アーカイブの説明（英語）
use-of-software-J  ソフトウェアの利用条件（日本語）        
use-of-software-E  ソフトウェアの利用条件 （英語）


pegasus/		実行ファイルおよび実行環境 

pegasus/Pegasus.exe	図形描画エディタ Pegasus アプリケーション  
pegasus/gigadll.dll	制約解消系エンジン Dynamic Link Library
pegasus/wmf_head.wmf	wmf 形式保存用 ヘッダーファイル (変更不可)
pegasus/manual.htm  	HTML 形式 マニュアル	
pegasus/diagrams/		サンプル画像集 ディレクトリ
pegasus/README.txt	         ドキュメント



source/  ソースファイル

source/README.txt  ドキュメント

source/Pegasus    インタフェース (Pegasus.exe)
source/Pegasus/calls.bas
source/Pegasus/Console.frm
source/Pegasus/Dll.bas
source/Pegasus/File.bas
source/Pegasus/Fileform.frm
source/Pegasus/MainWnd.frm
source/Pegasus/Piemenu.bas
source/Pegasus/Recmenu.bas
source/Pegasus/Wmf.bas
source/Pegasus/Project1.mak
source/Pegasus/Wmf_head.wmf
source/Pegasus/pegasus.ico
source/Pegasus/hook.bmp
source/Pegasus/menu.bmp



source/gigadll/  制約解消系による整形エンジン ソースファイル(Gigadll.dll)
source/gigadll/adjust.cpp
source/gigadll/basicdll.cpp
source/gigadll/candidat.cpp
source/gigadll/console.cpp
source/gigadll/eraser.cpp
source/gigadll/list.cpp
source/gigadll/main.cpp
source/gigadll/meta.cpp
source/gigadll/NewSeg.cpp
source/gigadll/newSolv.cpp
source/gigadll/Nodelist.cpp
source/gigadll/object.cpp
source/gigadll/Objface.cpp
source/gigadll/OvStrike.cpp
source/gigadll/predict.cpp
source/gigadll/rearrang.cpp
source/gigadll/relatio~.cpp
source/gigadll/relation.cpp
source/gigadll/SolvDef.cpp
source/gigadll/SolveDis.cpp
source/gigadll/Solver.cpp
source/gigadll/SolvFace.cpp
source/gigadll/SolvMain.cpp
source/gigadll/stack.cpp
source/gigadll/time.cpp
source/gigadll/vector.cpp
source/gigadll/WebDef.cpp
source/gigadll/Gigadll.def
source/gigadll/Gigadll.lib
source/gigadll/Gigadll.mak

［その他］

実行に際しては 
Microsoft Visual Basic 2.0 Runtime DLL (vbrjp200.dll)
が別途必要になります。

［ＦＴＰ］

README
ソースプログラム、マニュアル [208K]

www-admin@icot.or.jp