- The added line is THIS COLOR.
- The deleted line is THIS COLOR.
* [[HIDE]] [#l7994977]
''HIDE'' (HydLa Integrated Development Environment) は HydLa の統合開発環境として開発されているツールである。
HIDE には、
- ディレクトリ・ファイル操作
- テキストエディタ
- Hyrose の実行
- シミュレーション結果のグラフ化 (JPG、PNG 形式の書き出しも可能)
- アニメーション機能
- JSON 形式の出力結果の読み込みによるシミュレーション結果の再現
などの機能がある。
* スクリーンショット[#l7994977]
&ref(./HIDE.png,60%;
* HIDE 機能紹介[#l7994977]
** ディレクトリ・ファイル操作 [#r2da58d9]
- 画面左側のディレクトリツリーよりファイルの操作が行える
- ファイル名をクリックする事で右側のテキストエディタに HydLa プログラムがロードされる
** テキストエディタ [#r2da58d9]
- 画面中央のテキストエディタにおいて、HydLa プログラムの作成・編集が行える
- 画面中央上部にはテキスト編集のためのボタンがある
- テキストエディタでは HydLa プログラムのためのハイライトがつく
** Hyrose の実行 [#r2da58d9]
- 画面中央下部（テキストエディタの直下）には、Hyrose 実行のための GUI が存在する
- "Simulation" ボタンをクリックする事で、テキストエディタで表示中である HydLa プログラムを Hyrose で実行する
- "Kill" ボタンは Hyrose の実行を強制的に終了させるボタンである
- "time" を選択し数値を入力することで、Hyrose を時刻指定実行させることができ、指定した数値の時刻までシミュレーションが実行される
- "phase" を選択し数値を入力することで、Hyrose をフェーズ指定実行させることができ、指定した数値のフェーズまでシミュレーションが実行される
- "nd" を選択する事で、Hyrose の全解探索機能を有効にする事ができ、シミュレーションの全解探索が行われる
- "Other Options" をクリックする事で、以下に示す画面が現れる
&ref(./Other_Options.png;
-- 各オプションに関しては [[Hyrose]] の使用法の欄を参照してほしい
** シミュレーション結果のグラフ化 [#r2da58d9]
- 画面右側においてシミュレーション結果をグラフにしてものを見る事が出来る
- 画面右側においてシミュレーション結果をグラフにしたものを見る事ができる
*** Plots [#k8c62e97]
- "Plots"をクリックする事で、以下に示す画面が現れる
&ref(Plots.png;
-
#ref(add.png)
をクリックするとグラフに描画する線を追加する事ができる
- "Clear Plots" をクリックすると、描画したグラフを全て消す事ができる
- "Plot" 枠内で、x 軸に対応する変数と y 軸に対応する変数を選択する事でグラフが描画できる
-
#ref(outputOption-16.png)
をクリックすると以下に示す画面が現れ、描画する線について設定する事ができる
*** グラフ描画の設定 [#k8c62e97]
-
#ref(preferences.png)
をクリックすると以下に示す画面が現れる
&ref(Pre.png);
- "Aspect ratio" によって、グラフの縦横比を設定する事ができる
- "AutoAdjust" を選択する事で縦横比を自動で設定できる
- "Drow Point Phases" を選択する事で離散変化が生じた場所を可視化する事ができる
- "Time Interval of Plot" で描画間隔を設定する事ができる
- "Time Interval of Animation" でアニメーションの描画間隔を設定する事ができる
- "Size of Particles" でアニメーション用の円の大きさを設定する事ができる
- "Background Color" で背景色を設定する事ができる
*** アニメーション機能 [#k8c62e97]
-
#ref(play.png)
をクリックする事で円が動きだし、シミュレーションの様子をアニメーションで見る事ができる
-
#ref(play_back.png)
でアニメーションが逆再生する
-
#ref(stop.png)
でアニメーションを停止する
-
#ref(jump_to_head.png)
でアニメーションを冒頭に戻す
-
#ref(jump_to_tail.png)
でアニメーションの最後まで飛ぶ
-
#ref(step_backward.png)
でアニメーションを1ステップずつ戻していく
-
#ref(step_forward.png)
でアニメーションを1ステップずつ進めていく
