HydLaWiki
HydLaの使い方
Start:
#contents
**Hyroseの使い方 [#v9f7ef61]
- 「[[Download]]」ページからHyroseをダウンロード後，下の[...
&aname(solver);
**数式処理ソフトウェアの利用方法 [#u966ecef]
- 現在のHyroseでは，求解時に数式処理ソフトウェアとしてMat...
- これらを利用するためには，それぞれ下記の準備を行い，使...
-- [[Mathematica>#mathematica]]
-- [[REDUCE>#uaff7ba0]]
&aname(mathematica);
***Mathematica [#f76a64f7]
- バージョン7以降のインストールが必要．8が推奨
-- Mathematica8でないとエラーの発生する例題も確認されてい...
- Mathematicaのパスが通っていれば使用可能
-- より具体的には，「math」とコマンドを打ってMathematica...
--- 「math」コマンド以外で起動する場合には，「--mathlink...
--- GUI環境なら，起動するMathematicaの実行ファイルを毎回...
***REDUCE [#uaff7ba0]
- 20101007版(それ以降の版には未対応)のインストールが必要
- REDUCEを数式処理ソルバとして使う場合、以下の手順に従う
+ REDUCEのインストール手順
-- windows系OS
--- sourceforgeのサイトからソースコード(reduce-windows64-...
--- (64bit版のREDUCEを実行するにはmingw-w64-gcc-4.6.3-run...
-- linux系OS
--- sourceforgeのサイトからソースコード(reduce-algebra-20...
--- ソケット通信時にsleep関数が原因のボトルネックが存在す...
>
+ wget http://jaist.dl.sourceforge.net/project/reduce-alg...
+ bzip2 -dc reduce-algebra-20101007.tar.bz2 | tar xvf -
+ cd reduce-algebra-20101007/
+ (reduce-algebra-20101007/ディレクトリに &ref(patch.txt)...
+ patch -d csl/cslbase/ < patch.txt
+ ./configure --with-csl --without-gui
+ make
<
--- このmakeによって/cslbuild/[各OSの名前]/csl/reduce に...
+ REDUCEによるHyrose実行手順
-- hydla実行ファイルと同じディレクトリの sr.sh を使って、...
-- [REDUCE_PATH]に生成したreduceのパスを設定すること
-- windows系の場合、cygwinを使って実行する
--- 例としてREDUCEの解凍場所を「C:\reduce-i686-pc-windows...
-- 実行例
> sh sr.sh examples/bouncing_particle.hydla -s r -t 1
<
-- [補足] linux版のREDUCEサーバは非同期通信に対応している...
--- サーバ起動例
> [REDUCE_PATH]/reduce -w -F- &
<
**主要なオプション [#g0fbd912]
| オプション | デフォルト値 | 説明 |
| -h [--help] | | ※1．ヘルプを表示 |
| --version | | ※1．バージョンを表示 |
| -d [--debug] | | デバッグ出力を行う |
| -c [--comprehensive] | | 大局的デバッグ出力を行う |
| --area | "" | 局所的デバッグ出力を行う． |
| --profile | | ※未実装．プロファイリング（性能解析）を行...
| -p [--parallel] | |※未実装．並列実行を行う |
| --dump-parse-tree | |※1．構文木を表示 |
| --dump-module-set-list | | ※1．解候補モジュール集合の集...
| --dump-module-set-list-noinit | | ※未実装．dump-module-...
| --dump-module-set-graph | | ※1．解候補モジュール集合の...
| --dump-module-set-graph-noinit | | ※未実装．dump-module...
| --dump-in-progress | |シミュレーションと並行して各フェ...
| --fail-stop | | ASSERT文に記述された条件が違反したら，...
| -v [ --output-variables ] | "" | 値を出力する変数を指定...
| -m [--method] | s | シミュレーションの方法．sで新数式処...
| &aname(option_solver);-s [--solver] | m | 使用するソル...
| --nd | | 全解探索モードを実行 |
| --in | | ※未実装．インタラクティブ実行モード |
| -f [--output-format] | t | 出力フォーマットの指定．nで...
| --output-interval | 1/10 | ※3．数値出力時，出力を行う時...
| --output-precision | 5 | 数値出力時，出力を行う数値の有...
| --continuity | 3 | デフォルトで有効になる連続性の強さ指...
| -t [--time] n | 1 | ※3.シミュレーション終了時刻 |
| --step n | -1 | シミュレーションステップ数．負数は無限|
| -i [ --interlanguage] | | ※未実装．中間言語の出力 |
| -a [ --approx] | -1 | ※動作保証不可．近似モードの指定 &...
| --mathlink | ※4 | ※動作保証不可．MathLinkの起動時の引数 |
- ※1 出力だけを行い，シミュレーションを開始しない
- ※2 [変数名]_[微分回数]_[変数名]_[微分回数]_…_[変数名]_[...
- ※3 0.1のように小数を指定されると動作保証が行えないので...
- ※4 -linkmode launch -linkname 'math -mathlink'
End:
#contents
**Hyroseの使い方 [#v9f7ef61]
- 「[[Download]]」ページからHyroseをダウンロード後，下の[...
&aname(solver);
**数式処理ソフトウェアの利用方法 [#u966ecef]
- 現在のHyroseでは，求解時に数式処理ソフトウェアとしてMat...
- これらを利用するためには，それぞれ下記の準備を行い，使...
-- [[Mathematica>#mathematica]]
-- [[REDUCE>#uaff7ba0]]
&aname(mathematica);
***Mathematica [#f76a64f7]
- バージョン7以降のインストールが必要．8が推奨
-- Mathematica8でないとエラーの発生する例題も確認されてい...
- Mathematicaのパスが通っていれば使用可能
-- より具体的には，「math」とコマンドを打ってMathematica...
--- 「math」コマンド以外で起動する場合には，「--mathlink...
--- GUI環境なら，起動するMathematicaの実行ファイルを毎回...
***REDUCE [#uaff7ba0]
- 20101007版(それ以降の版には未対応)のインストールが必要
- REDUCEを数式処理ソルバとして使う場合、以下の手順に従う
+ REDUCEのインストール手順
-- windows系OS
--- sourceforgeのサイトからソースコード(reduce-windows64-...
--- (64bit版のREDUCEを実行するにはmingw-w64-gcc-4.6.3-run...
-- linux系OS
--- sourceforgeのサイトからソースコード(reduce-algebra-20...
--- ソケット通信時にsleep関数が原因のボトルネックが存在す...
>
+ wget http://jaist.dl.sourceforge.net/project/reduce-alg...
+ bzip2 -dc reduce-algebra-20101007.tar.bz2 | tar xvf -
+ cd reduce-algebra-20101007/
+ (reduce-algebra-20101007/ディレクトリに &ref(patch.txt)...
+ patch -d csl/cslbase/ < patch.txt
+ ./configure --with-csl --without-gui
+ make
<
--- このmakeによって/cslbuild/[各OSの名前]/csl/reduce に...
+ REDUCEによるHyrose実行手順
-- hydla実行ファイルと同じディレクトリの sr.sh を使って、...
-- [REDUCE_PATH]に生成したreduceのパスを設定すること
-- windows系の場合、cygwinを使って実行する
--- 例としてREDUCEの解凍場所を「C:\reduce-i686-pc-windows...
-- 実行例
> sh sr.sh examples/bouncing_particle.hydla -s r -t 1
<
-- [補足] linux版のREDUCEサーバは非同期通信に対応している...
--- サーバ起動例
> [REDUCE_PATH]/reduce -w -F- &
<
**主要なオプション [#g0fbd912]
| オプション | デフォルト値 | 説明 |
| -h [--help] | | ※1．ヘルプを表示 |
| --version | | ※1．バージョンを表示 |
| -d [--debug] | | デバッグ出力を行う |
| -c [--comprehensive] | | 大局的デバッグ出力を行う |
| --area | "" | 局所的デバッグ出力を行う． |
| --profile | | ※未実装．プロファイリング（性能解析）を行...
| -p [--parallel] | |※未実装．並列実行を行う |
| --dump-parse-tree | |※1．構文木を表示 |
| --dump-module-set-list | | ※1．解候補モジュール集合の集...
| --dump-module-set-list-noinit | | ※未実装．dump-module-...
| --dump-module-set-graph | | ※1．解候補モジュール集合の...
| --dump-module-set-graph-noinit | | ※未実装．dump-module...
| --dump-in-progress | |シミュレーションと並行して各フェ...
| --fail-stop | | ASSERT文に記述された条件が違反したら，...
| -v [ --output-variables ] | "" | 値を出力する変数を指定...
| -m [--method] | s | シミュレーションの方法．sで新数式処...
| &aname(option_solver);-s [--solver] | m | 使用するソル...
| --nd | | 全解探索モードを実行 |
| --in | | ※未実装．インタラクティブ実行モード |
| -f [--output-format] | t | 出力フォーマットの指定．nで...
| --output-interval | 1/10 | ※3．数値出力時，出力を行う時...
| --output-precision | 5 | 数値出力時，出力を行う数値の有...
| --continuity | 3 | デフォルトで有効になる連続性の強さ指...
| -t [--time] n | 1 | ※3.シミュレーション終了時刻 |
| --step n | -1 | シミュレーションステップ数．負数は無限|
| -i [ --interlanguage] | | ※未実装．中間言語の出力 |
| -a [ --approx] | -1 | ※動作保証不可．近似モードの指定 &...
| --mathlink | ※4 | ※動作保証不可．MathLinkの起動時の引数 |
- ※1 出力だけを行い，シミュレーションを開始しない
- ※2 [変数名]_[微分回数]_[変数名]_[微分回数]_…_[変数名]_[...
- ※3 0.1のように小数を指定されると動作保証が行えないので...
- ※4 -linkmode launch -linkname 'math -mathlink'
Page:
