7月20日から25日に米国・ネバダ州・リノで開催中の国際会議ICCES 2015に数理情報工学科から3名の先生方が学生の皆さんとの共同研究の成果を発表するため参加されています．21日には角田先生が"Complicated Fluid Flow Simulations by Particle Methods Using Hyperbolic-type Kernel Functions"というタイトルで粒子法による流体シミュレーション法とその成果について発表されました．会場からは実行環境や性能に関する質問が出た他，他の発表者に対する質疑応答の中では格子法（メッシュを用いる方法）と粒子法（メッシュを用いない方法）の双方がこのセッションでは成果が発表されていて大変興味深いとコメントされた先生がいました．

22日には古市先生と伊東先生がそれぞれ"Efficient Load-balancing Scheme for Multi-agent Simulation System"（マルチエージェントシミュレーションの並列実行に適した動的負荷分散方式とその評価結果），"Investigation of Shape Functions for Meshless Time-Domain Method in Electromagnetic Wave Propagation Simulation"（電磁波伝播解析へのメッシュレスタイムドメイン法の適用と評価結果）に関して発表されました．

23日のプレナリーセッションでは授賞式が行われ，角田先生はこれまでの粒子法に関する研究が評価され，ICCES Distinguished Fellowsの賞を受賞されました．

国際会議The 15th IEEE Workshop on RTL and High Level Testing (WRTLT2014, IEEEの主催で2014年11月19・20日に中国・杭州・Hangzhou Jinxi Hotelで開催）で，数理情報工学専攻の大学院博士前期課程2年の平井淳士さん（細川研究室所属）の論文 "A Simulation Based Low Capture Power Test Generation Method Using Capture Safe Test Vectors "と大学院博士前期課程2年の西間木淳さん（細川研究室所属）の論文"A Scheduling Method for Hierarchical Testability Using Results of Test Environment Generation"が採択され，発表しました．

平井さんの発表内容は，デジタル情報機器に搭載されているシステムLSI（大規模集積回路）の低消費電力テストに関するもので，低消費電力なテストパターン集合からデータマイニングしたテストパターンと故障を検出する決定論的なテストパターンを融合し，低消費電力な状態で故障を検出するテストパターンを合成するアルゴリズムに関するものです．高消費電力な状態でシステムLSIをテストすると，不良品を良品と判定する誤テストを引き起こすことになります．提案したアルゴリズムを用いると従来手法と比較し，最大300倍高速に低消費電力な状態で故障を検出するテストパターンを生成することができました．

西間木さんの発表内容は，システムLSIの上流設計工程で，テストパターンの生成が容易になるようにテスト容易化を考慮した動作合成アルゴリズムに関するものです．動作合成とは，C言語など を用いてハードウェアの動作を記述したものからレジスタ転送レベル回路を生成するソフトウェアです．西間木さんは昨年度も国際会議で発表しており，その時に動作合成の中のバインディングという動作記述の変数や演算をレジスタや演算器に割当てる処理についてテスト容易化を考慮して行うアルゴリズムを提案しました．今年度は，そのバインディングの効率を高めるためのスケジューリングという演算を実行する時刻を決定する処理についてテスト容易化を考慮したアルゴリズムを提案しました．テスト容易化を考慮した回路を合成することに より，テスト品質の評価尺度である故障検出率が大幅に向上したことを示しました．

国際会議The 14th IEEE Workshop on RTL and High Level Testing (WRTLT2013,IEEEの主催で2013年11月21・22日に台湾・宜蘭・Evergreen Hotelで開催）で，数理情報工学専攻の大学院博士前期課程2年の 兒玉雄佑さん（細川研究室所属の論文 "A Controller Augmentation Method to Generate　Easily Testable Functional k-Time Expansion　Models for Data Path Circuits"と大学院博士前期課程1年の西間木淳さん（細川研究室所属）の論文"Functional Unit and　Register Binding Methods for Hierarchical Testability"が採択され，発表しました．]

兒玉さんの発表内容は，デジタル情報機器に搭載されているシステムLSI（大規模集積回路）のテストパターンを生成するための回路モデル生成アルゴリズムに関するものです．システムLSIは製造後にその品質を保証するためにテストを行う必要があります．その際に使用する0と1の値で構成さ れるテストパターンを効率的に生成するために提案した回路モデルが非常に有効であることを示しました．

西間木さんの発表内容はシステムLSIの上 流設計工程で，テストパターンの生成が容易になるようにテスト容易化を考慮した動作合成アルゴリズムに関するものです．動作合成とは，C言語など を用いてハードウェアの動作を記述したものからレジスタ転送レベル回路を生成するソフトウェアです．テスト容易化を考慮した回路を合成することに より，テスト品質の評価尺度である故障検出率が大幅に向上したことを示しました．

米国ワシントンＤＣのホワイトハウスの隣接会場（JW Mariotto）で2013年12月8日から11日に開催された国際会議 Winter Simulation Conference 2013で，大学院の学生倉本君が"FUSE: A MULTI-AGENT SIMULATION ENVIRONMENT"というタイトルでポスター発表を行いました．当国際会議は主として社会現象等を対象としたシミュレーション技術に関する世界最大の会議で，約３９カ国から約８００人の参加者が集まり，約３５０件の発表が３日間に渡って行われました．倉本君は人間の組織行動をコンピュータ上で再現するためのソフトウェア環境FUSEを構築し，これに関する実現方式と応用例を発表しました．

続きを読む: 大学院生が国際会議で発表しました