オブジェクト指向に基づく一貫相似性モデリング過程の実現とその検証方法の提案 : 科学技術計算/解析/設計/シミュレーション等の応用ドメインの専門家ユーザが使えるオブジェクト指向技術(セッション2)

オブジェクト指向に基づく一貫相似性モデリング過程の実現とその検証方法の提案 : 科学技術計算/解析/設計/シミュレーション等の応用ドメインの専門家ユーザが使えるオブジェクト指向技術(セッション2)

Material type: 文書・図像類

Author: 畠山, 正行ほか

Publisher: 情報処理学会

Publication date: 2006-12-21

Material Format: Digital

Capacity, size, etc.: -

NDC: -

View All

Notes on use

Note (General)：: application/pdfテクニカルレポート対象世界の忠実な再現シミュレーションを実現するには,対象世界との高い相似性を保障するプログラムの開発法が必須である.そのため両世界の間の複数のモデリング段階に一貫して同じオブジェクト指向(以降OOと略)を採用し,一貫相似性の新規な定義とその形式的検証方...

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

Ibaraki University Academic Repository
Digital
You can check the holdings of institutions and databases with which 学術機関リポジトリデータベース（IRDB）（機関リポジトリ） is linked at the site of 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）.
Ibaraki University Academic Repository

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 文書・図像類
Title: オブジェクト指向に基づく一貫相似性モデリング過程の実現とその検証方法の提案 : 科学技術計算/解析/設計/シミュレーション等の応用ドメインの専門家ユーザが使えるオブジェクト指向技術(セッション2)
Author/Editor: 畠山, 正行
HATAKEYAMA, Masayuki
Author Heading: 畠山, 正行
HATAKEYAMA, Masayuki
Publication, Distribution, etc.: 情報処理学会
Publication Date: 2006-12-21
Publication Date (W3CDTF): 2006-12-21
Alternative Title: A Proposal of Object-oriented, Integrally Consistent and Similar Modeling Processes and its Verification Scheme
オブジェクトシコウニモトヅクイッカンソウジセイモデリングカテイノジツゲントソノケンショウホウホウノテイアン
Periodical title: 情報処理学会研究報告. MPS, 数理モデル化と問題解決研究報告
No. or year of volume/issue: 2006 135
Volume: 2006
Issue: 135
Pages: 45-48
Text Language Code: jpn
Target Audience: 一般
Note (General): application/pdf
テクニカルレポート
対象世界の忠実な再現シミュレーションを実現するには,対象世界との高い相似性を保障するプログラムの開発法が必須である.そのため両世界の間の複数のモデリング段階に一貫して同じオブジェクト指向(以降OOと略)を採用し,一貫相似性の新規な定義とその形式的検証方法,OOで一貫して使えるオブジェクトモデルを新規に導入し,OO一貫相似性モデリング過程の実現の枠組みを設計・提案した.その上で想定ユーザである科学技術・工学分野の専門家(ドメインユーザ,DU)のために具体的なモデリング方法や検証方法を提案した.この方法に対する実用規模の具体例(水の大気循環)の分析・設計・実装を比較評価の結果,一貫相似性の検証方法が有効に働き,一貫相似性の高いモデリングが実現できたことを確認した.今後この方法を実施するDUのモデリング作業の支援環境の開発や実用化に向けた研究を行う予定である.
To realize the world reemerging simulation with "high similarity", we have proposed an Integrally Consistent and Similar Processes throughout from the real world up to the implemented simulation world. To realize this purpose, the Object-oriented (hereafter, OO) paradigm has been adopted and also an OO modeling reference model has been constituted. To verify the similarity between the real world and the simulation world, the concept "the similarity among the correspondent elements" has been proposed and its formal verification scheme has been developed. The results are as follows; (1) The simulation method with high similarity has been established throughout the OO modeling processes. (2) The verification scheme has been verified using some typical example of the atmospheric great circulations of water. Finally, we have concluded the validity and the usefulness of our proposed OO modeling processes for the simulation users.
Format (IMT): application/pdf
Source: 20100375.pdf
https://rose-ibadai.repo.nii.ac.jp/record/10524/files/20100375.pdf
Access Restrictions: 限定公開
Rights (production): 情報処理学会
本文データは学協会の許諾に基づきCiNiiから複製したものである
Is Version Of (URI): http://ci.nii.ac.jp/naid/110006165018/
URI
http://ci.nii.ac.jp/naid/110006165018/
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 茨城大学 : 茨城大学学術情報リポジトリ