WEKO3
アイテム
科学技術シミュレーションプログラム合成支援II : 離散化とプログラム合成
https://ipsj.ixsq.nii.ac.jp/records/124164
https://ipsj.ixsq.nii.ac.jp/records/124164f889f6f4-5884-41c7-b9b4-450396056e3f
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00001338844.pdf (143.4 kB)
|
|
| Item type | National Convention(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 1993-09-27 | |||||
| タイトル | ||||||
| タイトル | 科学技術シミュレーションプログラム合成支援II : 離散化とプログラム合成 | |||||
| タイトル | ||||||
| 言語 | en | |||||
| タイトル | Computer-Assisted Numerical Simulation Code Generation II : Discretization and Code Generation | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者所属 | ||||||
| 長岡技術科学大学工学部電気系 | ||||||
| 著者所属 | ||||||
| 長岡技術科学大学工学部電気系 | ||||||
| 著者所属 | ||||||
| 長岡技術科学大学工学部電気系 | ||||||
| 著者所属 | ||||||
| 長岡技術科学大学工学部電気系 | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Nagaoka University of Technology | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Nagaoka University of Technology | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Nagaoka University of Technology | ||||||
| 著者所属(英) | ||||||
| en | ||||||
| Nagaoka University of Technology | ||||||
| 論文抄録 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 本研究は、科学技術シミュレーションプログラム合成支援における離散化とプログラム合成のところである。離散化は差分法とし、ここでは記号処理によりモデル式となる偏微分方程式を差分方程式に変換する一連の処理について述ぺている。プログラム合成では、離散化された差分方程式や解法を基に、Fortranソースコードを生成することが述べられている。離散化にせよプログラム合成にせよ、どのような偏微分方程式なのか、次元数はいくつなのか、どういった離散化をし、どのような解法でシミュレーションするのかなど、様々なデータが必要になる。これらの必要なデータは、ある定まった書式の入力仕様ファイルに記述され、システムはこの入力仕様データを基に、離散化やプログラム生成を行う。また、必要なデータが入力仕様に記述されていない場合や、システムだけだは選択し厳い場合には、ユーザに入力や選択を促すものとなっている。 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00349328 | |||||
| 書誌情報 |
全国大会講演論文集 巻 第47回, 号 応用, p. 413-414, 発行日 1993-09-27 |
|||||
| 出版者 | ||||||
| 言語 | ja | |||||
| 出版者 | 情報処理学会 | |||||
