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 [...]
デジタルドライバーを用いたパワーモジュールの高機能化に向けた集積設計 総合理工学府 総合理工学専攻 パワーモジュールが電力変換（AC/DC変換）を担い、電力の有効利用に大きな役割をしている。デジタルドライバーで過電流や高温などの故障を検知し、パワー半導体デバイスを速やかに保護することが可能となった。また、デジタルドライバーがパワー半導体デバイス動作に適応して最適なゲート電圧波形でデバイスを駆動し、効率を向上できる。将来的な電力ネットワークに対応するため、高機能なパワーモジュールが必要である。した [...]
食品機能・品質・健康に関わるキーペプチド探索のための包括的ペプチドオミクス技術 生物資源環境科学府 生命機能科学専攻 De novoペプチドシーケンシングは、配列データベースに依存せず、タンデム質量分析（MS/MS）スペクトルを用いてアミノ酸配列を直接決定する分析手法です。この戦略は、非標的型ペプチドオミクスにより新規ペプチドおよびその代謝産物を同定する上で、広範な応用の可能性を有しています。これまでの研究では、ペプチドのN末端誘導化が明確なフラグメントイオンの生成を促進し、配列予測の精度向上に寄与することが示さ [...]
