制約系の動的視覚化を利用した制約系デバック支援システムの設計と構築

利用约束系统动态可视化设计和构建约束调试支持系统

• 批准号: 11780198
• 负责人: 高橋 伸
• 金额: $ 1.34万
• 依托单位: Tokyo Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1999
• 资助国家: 日本
• 起止时间: 1999 至 2000
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-11780198/
• 关键词: 制約; 視覚化; アニメーション; 制約解消系; TRIP; ばねモデル; グラフレイアウト

1.昨年度の成果を踏まえTRIP2a/3Dシステムにおける視覚化の過程で生成されるVSR(Visual Structure Representation)に含まれる制約を2つの方法で視覚化し、それを生成する視覚化ルールをデバッグするための環境を整えた。1つは、制約系を3次元のグラフ構造として表現するもので、各制約及び制約されるオブジェクトをノードとし、制約ノードからそれが制約するオブジェクトノードヘエッジを張ったものである。もう一つの方法は、対象のオブジェクト群にかけられた制約系の自由度をアニメーションとして表現するものである。具体的には、対象の各オブジェクトをx/y/z方向に順番に全体の制約を保ちつつ移動させようとする。もし、その方向に自由度があれば、そのオブジェクトはその方向へ動くアニメーションによりその自由度を表現する。逆に、その方向に自由度がなければ、動きたくても動けないという戯画的なアニメーションを表示することにより自由度がないことを示すようにした。また、アニメーションだけでなく、ユーザが実際に対象を動かそうとすることで、制約系の振舞を調べることができるようにした。2.作成したツールをいくつかの視覚化のルールによって生成されたVSRに対して適用し、テストした。その結果、グラフ構造を用いた視覚化を用いることによって、制約系の規則的な構造が把握しやすくなり、制約の過多/過小などのバグが非規則的な部分として発見しやすくなった。また、動的な視覚化により制約系のどの部分に自由度があるか、つまり制約が足りないかが分かりやすくなった。

Tread 1. Yesterday's annual の results を ま え TRIP2a / 3 d シ ス テ ム に お け る の Visual 覚 process で generated さ れ る VSR (Visual Structure Representation) contains に ま れ る restrict を 2 つ の way で apparent 覚 し, そ れ を generated す る apparent 覚 change ル ー ル を デ バ ッ グ す る た め の environment を whole え た. 1 つ は, restricting を 3 dimensional の グ ラ フ tectonic と し て performance す る も の で and all checks and び restrict さ れ る オ ブ ジ ェ ク ト を ノ ー ド と し and restricting ノ ー ド か ら そ れ が restrict す る オ ブ ジ ェ ク ト ノ ー ド ヘ エ ッ ジ を zhang っ た も の で あ る. A つ も う の way は, like の seaborne オ ブ ジ ェ ク ト group に か け ら れ た restriction is の dof を ア ニ メ ー シ ョ ン と し て performance す る も の で あ る. The specific に に, the object of each <s:1> ブジェ トを トを トを トを in the x/y/z direction に sequence に all <s:1> constraints を ensure the ち and させようとする movement させようとする. も し, そ に の direction freedom が あ れ ば, そ の オ ブ ジ ェ ク ト は そ の direction へ dynamic く ア ニ メ ー シ ョ ン に よ り そ の freedom を performance す る. Inverse に, そ に の direction freedom が な け れ ば, dynamic き た く て も dynamic け な い と い う drama painted な ア ニ メ ー シ ョ ン を said す る こ と に よ り freedom が な い こ と を shown す よ う に し た. ま た, ア ニ メ ー シ ョ ン だ け で な く, ユ ー ザ が be interstate に like を seaborne dynamic か そ う と す る こ と で, restricting の vibration dance を べ る こ と が で き る よ う に し た. 2. Make し た ツ ー ル を い く つ か の visual 覚 change の ル ー ル に よ っ て generated さ れ た VSR に し seaborne て し, テ ス ト し た. を そ の results, グ ラ フ structure with い た visual 覚 change を with い る こ と に よ っ て な structure, restricting の rules が grasp し や す く な り and restricting の too much/too little な ど の バ グ が な part of irregular と し て 発 see し や す く な っ た. ま た, moving な 覚 change に よ り restriction is の ど の part に freedom が あ る か, つ ま り restrict が foot り な い か が points か り や す く な っ た.

项目成果

Jun Yabe,Shin Takahashi,Etsuya Shibayama: "Automatic animation of discussions in USENET"Proceedings of the Working Conference on Advanced Visual Interfaces. 84-91 (2000)

Jun Yabe、Shin Takahashi、Etsuya Shibayama：“USENET 中讨论的自动动画”高级视觉接口工作会议记录。

Shin Takahashi: "Visualizing Constraints in Visualization Rules"CP2000 Post-Conference Workshop on Analysis and Visualization of Constraint Programs and Solvers. 33-42 (2000)

Shin Takahashi：“可视化规则中的可视化约束”CP2000 约束程序和求解器的分析和可视化会后研讨会。