並列処理プロセッサTPCOREの 組み込みシステムへの応用 理工学研究科数理情報科学専攻 福永 力,岩波智史,情報システム研究室.

Slides:



Advertisements
Similar presentations
並列プログラミング言語による Dining Philosophers Problem の検証 大井 謙 数理科学コース 4 年 福永研究室 2010 年 3 月 4 日 ( 木 ) 1.
Advertisements

HBSP モデル上での 行列積を求めるアルゴリ ム 情報論理工学 吉岡健太.
OWL-Sを用いたWebアプリケーションの検査と生成
早稲田大学大学院 理工学研究科情報科学専攻 後藤研究室 修士 焦 江霞
産業技術研究センター 佐藤 研,小西 毅 首都大学東京・健康福祉学部 新田 収 首都大学東京・数理情報科学専攻 福永 力
キャッシュ付PRAM上の 並列クィックソートと 並列マージソート
Chapter11-4(前半) 加藤健.
1.コンピュータと情報処理 p.20 第1章第1節 3.ソフトウェア ソフトウェア 基本ソフトウェア
リアルタイムシステムに 上流設計ツールは有効か?
班紹介 描画班一同.
研究集会 「超大規模行列の数理的諸問題とその高速解法」 2007 年 3 月 7 日 完全パイプライン化シフト QR 法による 実対称三重対角行列の 固有値並列計算 宮田 考史  山本 有作  張 紹良   名古屋大学 大学院工学研究科 計算理工学専攻.
『どこでも運用システム』の開発状況 (第二報) iPad版衛星状態監視システム (プロトタイプ) どこでも運用システムと他システムとの接続
筑波大学衛星と教育との関わり 筑波大学 保田敦司 「小型衛星の科学教育利用を考える会」 2015/08/22.
米山研究室紹介 -システム制御工学研究室-
FPGAを用いたMG3用 インターフェース回路の解説
情報科学科 ネットワークシステムコース 西関研究室.
首都大学東京 都市教養学部数理科学コース 関谷博之
NICTにおける e-VLBIのアクティビティ
CSP記述によるモデル設計と ツールによる検証
画像処理ボード上での 高速テンプレートマッチングの 実装と検証
同期的にアドバイスを活性化できる分散動的アスペクト指向システム
スパコンとJLDG HEPの計算環境 HEPnet-J
Ibaraki Univ. Dept of Electrical & Electronic Eng.
専門演習Ⅰ 国際経済学部 国際産業情報学科 2年 石川 愛
宇宙線及びβ線源によるSilicon Microstrip Detectorの 動作検査
MPIによる行列積計算 情報論理工学研究室 渡邉伊織 情報論理工学研究室 渡邉伊織です。
マルチTPcoreによる並列コンピュータ
アトラス日本グループ アトラス日本グループのメンバー アトラス日本グループのアトラス建設に対する貢献 計17機関(2016年現在)
Occam言語による マルチプリエンプティブシステムの 実装と検証
概要 Boxed Economy Simulation Platform(BESP)とその基本構造 BESPの設計・実装におけるポイント!
型付きアセンブリ言語を用いた安全なカーネル拡張
高速剰余算アルゴリズムとそのハードウェア実装についての研究
分散IDSの実行環境の分離 による安全性の向上
LEGO MINDSTORMの車両の PCによる遠隔操縦
NICTにおける e-VLBIのアクティビティ
リモートホストの異常を検知するための GPUとの直接通信機構
OpenGLライブラリを用いた3次元フラクタルの描画
Ibaraki Univ. Dept of Electrical & Electronic Eng.
Internet広域分散協調サーチロボット の研究開発
東京工業大学 情報理工学研究科 数理・計算科学専攻 千葉研究室 栗田 亮
アトラス日本グループ アトラス日本グループのメンバー アトラス日本グループのアトラス建設に対する貢献 計17機関169人(2015年現在)
SiTCP-VME変換モジュールの開発 KEK 物構研:中性子 佐藤節夫.
知能情報システム特論 Introduction
Ibaraki Univ. Dept of Electrical & Electronic Eng.
Intel SGXを用いた仮想マシンの 安全な監視機構
同志社大学工学研究科 知的システムデザイン研究室 修士2年 中尾昌広
情報論理工学 研究室 研究テーマ 並列アルゴリズム.
関数型言語による Timed CSP 検証技法の提案
モデル検査(5) CTLモデル検査アルゴリズム
ARM、IoT、AI 株式会社アプライド・マーケティング 大越 章司
コンピュータアーキテクチャ 第 9 回.
Handel-Cを用いた パックマンの設計
コンピュータアーキテクチャ 第 5 回.
パイプラインとは何か? マイクロプロセッサ(MPU)の高速化手法の一つのこと。
卒業研究 JCSPを用いたプログラム開発  池部理奈.
ユビキタスコンピューティング環境 を構築するための 小型無線ネットワークコンピュータの開発
BSPモデルを用いた 並列計算の有用性の検証
理工学部情報学科 情報論理工学研究室 延山 周平
計算機群における 「動的なインターネット接続性」の共有に関する研究
コンピュータアーキテクチャ 第 9 回.
WindowsグラフィックスとDirectX
XMOSプログラミング入門.
プログラミング基礎a 第9回 Java言語による図形処理入門(1) Javaアプレット入門
事故調査 2002.9.15.
事故調査 2002.9.15.
NHK アイディア対決 ロボットコンテスト スノーファイターのロボット案.
BSPモデルを用いた 最小スパニング木 情報論理工学研究室 02-1-47-134 小林洋亮.
食品オープン勉強会「食品センサーと高付加価値化処理」
並列処理プロセッサへの 実数演算機構の開発
GluonJ を用いたビジネスロジックからのデータベースアクセスの分離
Presentation transcript:

並列処理プロセッサTPCOREの 組み込みシステムへの応用 理工学研究科数理情報科学専攻 福永 力,岩波智史,情報システム研究室

並列処理プロセッサTPCORE 並列処理プロセッサのIPコア (2004年完成,特許公開中) OSの導入なしに並列ソフトウェアシステム の構成が可能 並列処理言語Occamの利用 Inmos社のtransputerと機械語レベルで互換 (but内部アーキテクチャは完全独立) 動作周波数FPGA上で48MHz,ASIC上で150MHz(今年度計画:期待値) 4個の外部インターフェース(リンク)をそなえ複数のTPCOREによるネットワークが構成可能 2009年度首都大学産学公交流会

並列処理のグラフィック描画への応用例 TPCOREネットワークを使ったマンデルブロー集合 (フラクタル図形)の描画 2009年度首都大学産学公交流会 構造 個数 時間(ms) 1 2 4 13 1477 886 494 167 構造 個数 時間(ms) 1 2 4 13 1477 886 494 167

イベント駆動型ネットワークシステム CSP(Communicating Sequential Processes)理論に基づいた並列処理システムの採用 イベントによるプロセスの起動 チャンネルの概念 並列プロセスはチャンネル(イベント伝達)による通信 2プロセス間のデータ共有は チャンネル間通信でのキャッチボール チャンネルによるプロセス間の同期 CSP理論によるシステム検証 モデル検査技法による並列処理システムの設計と検証 Occam言語によるシステム実装で安心・安全システムの完成 2009年度首都大学産学公交流会

組み込みシステム TPCORE並列処理ネットワークによるシステムonチップの実現 イベント駆動型ネットワークによるセンサー制御・監視システムの実装(基本的に並列処理システムとして記述できる産業システム) 自動車:車載エレクトロニクスシステムへの応用 宇宙産業:SpaceWireネットワークとの親密性(スペースシャトル ペイロード,国際宇宙ステーション観測制御) ロボット制御 自動改札システムの並列 ネットワーク導入による高速化 2009年度首都大学産学公交流会