WEKO3
アイテム
数値シミュレーションプログラム生成支援に関する研究 -差分法プログラム生成支援-
https://ipsj.ixsq.nii.ac.jp/records/29887
https://ipsj.ixsq.nii.ac.jp/records/298871479a5fc-ba45-41c1-a8b8-6b88f2cb5dbc
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 1994 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | SIG Technical Reports(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 1994-10-27 | |||||||
タイトル | ||||||||
タイトル | 数値シミュレーションプログラム生成支援に関する研究 -差分法プログラム生成支援- | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | Problem - Solving Environment for Partial - Differential Equations, Based on Finite Difference Method | |||||||
言語 | ||||||||
言語 | jpn | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
資源タイプ | technical report | |||||||
著者所属 | ||||||||
長岡技術科学大学 | ||||||||
著者所属 | ||||||||
長岡技術科学大学 | ||||||||
著者所属 | ||||||||
長岡技術科学大学 | ||||||||
著者所属 | ||||||||
長岡技術科学大学 | ||||||||
著者所属 | ||||||||
長岡技術科学大学 | ||||||||
著者所属 | ||||||||
長岡技術科学大学 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Nagaoka University of Technology | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Nagaoka University of Technology | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Nagaoka University of Technology | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Nagaoka University of Technology | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Nagaoka University of Technology | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Nagaoka University of Technology | ||||||||
著者名 |
Choompol, Boonmee
× Choompol, Boonmee
|
|||||||
著者名(英) |
Choompol, Boonmee
× Choompol, Boonmee
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 大規模の数値シミュレーションプログラムの作成は一般的に膨大な労力と時間を必要としている。その労力と時間を削減するために様々な支援システムが研究・開発されてきた。しかしそれらのシステムは、数値シミュレーションの知識を持ち正確さを求める技術者や他のユーザにとっても幾つかの解決すべき問題がある。ユーザとの不十分なインタラクション、生成されたソースコードの検証・修正が行えないなどが挙げられる。これらの問題を解決し技術者が求める実用的な支援環境の実現の可能性を探る。 | |||||||
論文抄録(英) | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | Great efforts and a long work are required in order to produce a large-scale numeical simulation source code. So far several studies have been performed to ease the hard work; Recently problem-solving environments(PSE) have been intensively studied in vaious fields. However the PSE systems developed may have the following problems which should be studied and solved; An insufficient interaction between the system and a use, and a lack of the verification method for the correctness of the results obtained by the system. In this paper we present a study on our PSE which solves the problems. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AN10463942 | |||||||
書誌情報 |
情報処理学会研究報告ハイパフォーマンスコンピューティング(HPC) 巻 1994, 号 92(1994-HPC-053), p. 1-8, 発行日 1994-10-27 |
|||||||
Notice | ||||||||
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
出版者 | ||||||||
言語 | ja | |||||||
出版者 | 情報処理学会 |