断層近傍でのパルス状地震動による地すべりのメカニズム解析 工学府 建設システム工学専攻 これまでの地震地すべりの研究では、地震時の地盤加速度によって発生する慣性力が地すべりを誘発する主な原因と考えられてきた。しかし、断層に近い地震では、地すべりの予測にピーク加速度（PGA）を用いることには大きな限界があることがわかった。 そこで本研究では、地震による地すべりのパラメータとして、「PGAの代わりにPLGMの速度パルス特性に着目する」ことを提案する。PLGMに基づく斜面崩壊メカニズムを構 [...]
Test, verify and repair deep learning-based applications システム情報科学府 情報理工学専攻 研究内容は、以下の3つの研究項目に分けられる。 [テスト】DRLモデルの異常な挙動をステートフルかつ定量的に解析して見つけ出す。 [検証】DRLモデルがどの程度、要求・仕様を満たしているかを定量的に確認する手順を提案する。 [修復】テストと定量化された検証に基づき、DRLモデルの性能を向上させるための普遍的なフレームワークを構築する。
Developing Ultra-Efficient and Accurate NOLMO-ELG-ML Quantum Simulator for Large-Scale Biological Systems 総合理工学府 総合理工学専攻 Elongation (ELG) method is a type of linear scaling electronic structure calculation method. From small initial clusters, it can simulate the synthesis of macromolecules on a computer and calculate th [...]
運動イメージを介した操作における運動主体感の機序解明 人間環境学府 行動システム専攻 運動主体感(以下，主体感)は，「運動している感覚，そして運動を通じて自身が外界の対象を制御している感覚」を指す。近年開発が進んでいるBrain-Machine Interface(BMI)では，ヒトの身体運動を介さずに，運動イメージを通じて外界の対象を制御することが可能になりつつある。しかしながら，この新たなインタラクション形態における認知的側面の理解は，いまだ十分に進んでいない。そこで本研究では [...]
NUMERICAL SIMULATION FOR BALLAST TANK DRAINAGE EFFICIENCY EVALUATION IN OUTFITTING DESIGN (艤装設計におけるバラストタンク浚水効率評価のための数値シミュレーションに関する研究) 工学府 都市環境システム工学専攻 This study is utilizing hydraulics experimental and computational fluid dynamics (CFD) methods to verify the flow phenomenon in ballast water during the drainage process and to discuss the drainage ef [...]
トランスフォーマー形式検証の精度向上 システム情報科学府 情報理工学専攻 Transformerの検証は、安全性が重要視されるアプリケーションへの広範な導入に伴い、ますます重要になっている。本プログラムにおける主要な課題は、特にクエリとキーのドット積演算に関する注意メカニズムの緩和にある。近年の研究では、この問題に対処するためにドット積の上限と下限を導出し、形式的なロバスト性保証を可能にしている。しかし、これらの境界は多くの場合緩く、最適とは言えず、検証の有効性を制限し [...]
Constrained Learning with Information Delay システム情報科学府 情報理工学専攻 In constrained contextual bandits, the time and budget constraints complicate the exploration and exploitation, and it is assumed that feedback can be seen immediately. However, delayed feedback of in [...]
ケモレジセンサを用いた人工嗅覚システムの開発 システム情報科学府 電気電子工学専攻 This study used an odor sensing system with chemosensitive resistors to identify the gases generated from overheated cables to prevent fire. For the odor sensing system, a 16-channel array was used to [...]
