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: