FPGAを用いた2次元液体運動シミュレーションの高速化(リコンフィギャラブル応用)
スポンサーリンク
概要
- 論文の詳細を見る
映像制作や,災害シミュレーションの分野などでは,水の運動のシミュレーションを行う.これらのシミュレーションでは,複雑な流体の支配方程式を評価するため,求解の際に多くの時間を消費する.本研究では,FPGAを利用した計算機としてPROGRAPEシステムを用い,2次元での水の運動を高速にシミュレーションする方法を提案する.この手法として,大きな変形を伴う流体の運動を解析できるSmoothed Particle Hydrodynamics (SPH)法を用いた.ソフトウェアのSPH法によるシミュレーションでは,運動方程式の評価が計算時間の大部分を占めていたため,この部分を回路化することにより高速化をはかっている.さらに回路化に伴い,計算に必要最低限な演算精度を評価した.これらの評価により,PROGRAPEシステム上で,水の運動のシミュレーションがソフトウェアより高速に実行できることを確認した.
- 社団法人電子情報通信学会の論文
- 2008-09-18
著者
-
濱田 剛
長崎大学工学部
-
佐藤 杏奈
会津大学大学院コンピュータ理工学研究科
-
奥山 祐市
会津大学大学院コンピュータ理工学研究科
-
北道 淳司
会津大学大学院コンピュータ理工学研究科
-
黒田 研一
会津大学大学院コンピュータ理工学研究科
-
奥山 祐市
会津大学コンピュータ理工学部
-
北道 淳司
会津大学コンピュータ理工学部
-
北道 淳司
大阪大学大学院基礎工学研究科
-
北道 淳司
会津大学大学コンピュータ理工学研究科
-
濱田 剛
長崎大学先端計算研究センター
関連論文
- GPUを用いた位相限定相関法の高速化(ITS画像処理,映像メディア及び一般)
- GPUを用いた位相限定相関法の高速化(高速グラフィックス,ITS画像処理,映像メディア及び一般)
- GPUを用いたサブペタペタフロップス高性能計算機システム(高精細度画像の処理・表示および一般)
- LDA文書モデルによる画像からの多重トピック抽出のGPUを用いた高速化(高精細度画像の処理・表示および一般)
- GPUを用いたサブペタペタフロップス高性能計算機システム(高精細度画像処理・表示及び一般)
- LDA文書モデルによる画像からの多重トピック抽出のGPUを用いた高速化(高精細度画像処理・表示及び一般)
- LDAのためのcollapsed変分ベイズ推定のGPUによる高速化(セッション2b:Document Management)
- Knoppix for CUDA : CD-ROM起動可能なGPGPUトレーニング環境
- D-3-4 UMLを用いた組込みOS:TOPPERS/JSPのモデリング(D-3. ソフトウェアサイエンス,一般セッション)
- リコンフィギャラブルシステムにおけるマルチスレッドプログラミングモデルを用いたメモリアクセス最適化手法の一検討(高信頼化技術・設計技術)
- FPGAによる電源電圧制御回路の実装及び制御精度の評価(応用1)
- リコンフィギャラブルマシンにおけるDMA転送とデータ配置の自動最適化手法の検討(設計技術,リコンフィギャラブルシステムとその応用論文)
- 災害医療支援ネットワークのための軽傷者用負傷者端末(システム設計,物理設計及び一般)
- 5 アクセラレータによる粒子法シミュレーションの加速(アクセラレータ,再び-スパコン化の切り札-)
- PCAにおける圧力の概念を用いた回路増殖法の評価 (リコンフィギャラブルシステム)
- FPGAを用いたストリーム処理に基づくステレオ画像の特徴点抽出法の検討(応用2)
- FPGAを用いた2次元液体運動シミュレーションの高速化(リコンフィギャラブル応用)
- PROGRAPE-4ボードとPGRによる2次元Kolmogorov-Smirnovテスト(アプリケーション高速化,リコンフィギャラブルシステム,一般)
- PGRのためのPCI-Expressモジュールの実装と評価(高速化技法, デザインガイア-VLSI設計の新しい大地を考える研究会-)
- SystemCを用いた動的再構成可能プロセッサのモデル開発(システム設計及び一般)
- SystemCを用いた動的再構成可能プロセッサのモデル開発(Cベース設計事例,システム設計及び一般)
- D-18-4 バタフライネットワークの部分再構成デバイスへの実装(D-18.リコンフィギャラブルシステム,一般講演)
- 最小p-準クリーク被覆問題に対するハードウェアアルゴリズム(デザインガアイ2006-VLSI設計の新しい大地を考える研究会)
- 最小p-準クリーク被覆問題に対するハードウェアアルゴリズム(システム設計・開発,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- A-1-24 PCA上の領域の有効利用を目的とした処理ユニットの設計と実装(A-1.回路とシステム,基礎・境界)
- 動的再構成可能デバイスPCA-2への逆誤差伝搬法の実装(リコンフィギャラブル応用II, リコンフィギャラブルシステム, 一般)
- 動的再構成デバイスPCA上での自己複製型アプリケーション設計容易化手法の提案と実装(ハードウェアアルゴリズム, FRGAとその応用及び一般)
- PCAにおける部分再構成機能を利用したウェーブレット変換回路の設計(アプリケーションI)(リコンフィギャラブルシステムにおける設計技術及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- SystemCを用いた動的再構成可能アーキテクチャPCAのためのシミュレーション法の提案(システム設計及び一般)
- SystemCを用いた動的再構成可能アーキテクチャPCAのためのシミュレーション法の提案(システム設計および一般)
- N次元高速アダマール変換アルゴリズムの提案と動的再構成可能デバイスへの実装(FPGAとその応用及び一般)
- A-3-20 Plastic Cell Architecture におけるレイアウト情報管理用支援ツールの設計
- 整数制約論理のための二分決定グラフの拡張データ構造とそれに対するアルゴリズムの提案
- GPUを用いた位相限定相関法の高速化(高速グラフィックス,ITS画像処理,映像メディア及び一般)
- 最小p-準クリーク被覆問題に対するハードウェアアルゴリズム(システム設計・開発,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 動的再構成デバイスPCA上での自己複製型アプリケーション設計容易化手法の提案と実装(ハードウェアアルゴリズム, FRGAとその応用及び一般)
- 動的再構成デバイスPCA上での自己複製型アプリケーション設計容易化手法の提案と実装(ハードウェアアルゴリズム, FRGAとその応用及び一般)
- N次元高速アダマール変換アルゴリズムの提案と動的再構成可能デバイスへの実装(FPGAとその応用及び一般)
- N次元高速アダマール変換アルゴリズムの提案と動的再構成可能デバイスへの実装(FPGAとその応用及び一般)
- 複数の制御部を持つ同期式順序回路の一設計検証法
- 複数モジュールにより構成される回路仕様に対する効率的な形式的検証法
- 複数モジュールにより構成される回路仕様に対する効率的な形式的検証法
- ニューロ・GAによるデータ転送路最適化問題解法の提案
- 代数的手法を用いた複数の制御部を持つ同期式順序回路に対する設計および検証支援系の開発
- 代数的手法によるPCIバスコントローラの設計検証
- シストリックアレーによる回路設計の正しさの一証明法
- 代数的手法を用いた同期式順序回路の設計支援機能の統合
- ASLプログラム開発システムにおける検証の自動化について
- 順序機械型プログラムの階層的設計法と在庫管理プログラムの開発例
- Smith-WatermanアルゴリズムにおけるGPUを用いた実装方法の一提案(高性能コンピュータシステム,デザインガイア2009-VLSI設計の新しい大地-)
- PCAにおける圧力の概念を用いた回路増殖法の評価(回路構築手法・光再構成デバイス,デザインガイア2009 VLSI設計の新しい大地)
- あるクラスのOut-of-Order型パイプラインCPUの設計の正しさの十分条件とその形式的検証 (電子システムの設計技術と設計自動化)
- 複数の制御部を持つ同期式順序回路に対する不変式の形式的検証法 (機能論理設計, アーキテクチャ設計支援と一般)
- AT-1-6 大規模GPUクラスタによる並列計算(AT-1. 高並列プロセッサによる高性能メディア信号処理,チュートリアルセッション,ソサイエティ企画)
- マルチアクセラレータ型動的再構成プロセッサの実装 (リコンフィギャラブルシステム)
- 安定結婚問題を対象とした離散型ニューラルネットワーク解法の性能評価
- システム設計レベルにおける回路の性質検証のための整数データを処理可能なCTLモデル検査法の提案と実装
- 代数的手法を用いたハードウェアの仕様記述とその詳細化について(計算アルゴリズムと計算量の基礎理論)
- マルチアクセラレータ型動的再構成プロセッサの実装 (コンピュータシステム)
- マルチアクセラレータ型動的再構成プロセッサの実装 (VLSI設計技術)
- 静的マルチキャストルーティング問題に対する最適パス選択解法の提案
- FPGA配線問題に対する貪欲法とニューラルネットワークを併用した3段階アルゴリズムの提案
- 3-7-2 東北支部学生会から : 会津大学におけるStudent Branch活動報告(学生会からのメッセージ,学会活動から,エレクトロニクス,情報通信,情報・システム系学生へのメッセージ)
- 階層型CDFGによる非同期コントローラの合成(システムLSIの設計技術と設計自動化)
- Plastic Cell Architecture(PCA)における通信仮想化のためのフレームワーク
- Plastic Cell Architecture (PCA)における通信仮想化のためのフレームワーク
- 観測不可能な非決定動作を含む並行DFSM群としてモデル化される通信プロトコルの適合性試験法(マルチメディアコミュニケーションシステム)
- 代数的言語ASLによる回路設計支援システムにおけるSFL記述への詳細化とその変更及びそれらの正しさの検証
- 貪欲法とGAを併用したデータ転送路資源最適化問題解法の提案
- DS-1-2 チャネル割当て問題に対するニューラルネットワークアルゴリズムの改良手法(DS-1.計算理論における学生の研究パワー:COMP学生シンポジウム,シンポジウムセッション)
- プログラムの処理速度調整に基づいたデータセンタ向け省電力タスクスケジューリング法
- 高位設計における形式的検証のための整数上の制約論理式の真偽判定プログラムに対する改良手法
- 高位設計における形式的検証のための整数上の制約論理式の真偽判定プログラムに対する改良手法
- 高位設計における形式的検証のための整数上の制約論理式の真偽判定プログラムに対する改良手法
- プレスブルカー文真偽判定アルゴリズムのためのBDDの応用とそれを用いた回路検証 (電子システムの設計技術と設計自動化)
- マルチコンテキストFPGAのためのコンテキスト分割アルゴリズムの実例による評価
- マルチコンテキストFPGAのためのコンテキスト分割アルゴリズムの実例による評価
- マルチコンテキストFPGAのためのコンテキスト分割アルゴリズムの実例による評価
- SMIL風シナリオ群からのQoSを考慮したプロトコル合成
- SMIL風シナリオ群からのQoSを考慮したプロトコル合成
- 代数的言語で記述した抽象的順序機械型プログラムの設計検証の自動化
- 整数上の論理式の恒真性判定アルゴリズムを用いた組合せ論理回路の実現の正しさの証明
- LOTOS風言語で書かれた同期式順序回路の要求仕様記述と回路自動合成
- 代数的手法を用いた同期式順序回路の段階的設計法
- 並列実行される動作におけるデータ代入の衝突の判定
- 整数上の線形制約の処理と応用 (制約論理プログラミング)
- 代数的手法を用いた順序回路設計支援システムにおける検証支援機能と検証手順
- 代数的手法を用いた回路設計支援システムにおける状態図簡約機能とその評価
- マルチアクセラレータ型動的再構成プロセッサの実装(FPGAアクセラレーター,FPGA応用及び一般)
- マルチアクセラレータ型動的再構成プロセッサの実装(FPGAアクセラレーター,FPGA応用及び一般)
- マルチアクセラレータ型動的再構成プロセッサの実装(FPGAアクセラレーター,FPGA応用及び一般)
- FPGA配線問題に対する貪欲法とニューラルネットワークを併用した3段階アルゴリズムの提案
- 移植が容易なPCI Expressインターフェイスフレームワークの設計と実装(FPGA応用)
- FPGA上で動作可能なマルチプロセッサRTOSの提案
- FPGA上で動作可能なマルチプロセッサRTOSの提案
- ターボブースト・ハイパースレッディングを考慮したマルチコアプロセッサ向けタスクスケジューリング
- A-3-13 電力消費の評価のためのARMプロセッサの実装(A-3.VLSI設計技術,一般セッション)
- FPGA上で動作可能なマルチプロセッサRTOSの提案(ソフトウェア/ハードウェア協調設計,組込み技術とネットワークに関するワークショップETNET2012)
- FPGA上で動作可能なマルチプロセッサRTOSの提案(ソフトウェア/ハードウェア協調設計,組込み技術とネットワークに関するワークショップETNET2012)
- デマンド・アドレッサブル・センサネットワーク : 要求駆動型広域センシングを目指して(特別招待講演,ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)