Study on Human Activity Recognition in the Smart Home Environment システム情報科学府 情報理工学専攻 Smart home is becoming the future trend for providing users an intelligent and user-friendly environment to live and interact with. Based on the smart home environment, it is possible to automatically [...]
Recovery of heavy metals and soluble salts from municipal solid waste incineration fly ash by integrating leaching, precipitating, magnetic solid phase extraction, adsorption, and evaporative crystallization. 工学府 土木工学専攻 An innovative process was proposed in this study to recover the heavy metals and soluble salts from municipal solid waste fly ash. The proposed process integrates leaching, precipitating, magnetic sol [...]
量子プログラムのためのモデル検査手法 システム情報科学府 情報理工学専攻 モデル検査は、古典的計算における形式的検証の重要な手法として発展してきましたが、量子コンピューティングの進展に伴い、従来技術では重ね合わせやもつれなどの量子特有の現象に対応することが困難になっています。 本研究では、量子プログラムに特化したモデリング言語を設計し、確率的かつ非決定的な量子計算の特性に対応可能なスケーラブルなモデル検査技術の開発を目指します。また、量子論理や量子オートマトンの概念を活 [...]
Establishment of a peptide-based natural preventive strategy on dementia 生物資源環境科学府 生命機能科学専攻 Alzheimer’s disease (AD) is a serious problem in super-aging societies such as Japan, China etc. Since no drug and treatment strategy has been developed yet, prevention is the most effective str [...]
動的かつ複雑なシステムにおける自己組織化アルゴリズムのメカニズムの解析と開発 システム情報科学府 情報理工学専攻 ニューラルネットワークアルゴリズムに基づくディープラーニング手法は分類、回帰、生成タスクにおいて優れた性能を発揮する一方で、容易に欺かれやすく、高い堅牢性に欠けるという課題があります。一方、生態系においては、高い堅牢性が一般的に見られます。たとえば、アリは異なる距離の隙間に適応する橋を構築し、ガンの群れは中央のリーダーが不在でも空力効率を高める特定の形状を飛行中に形成します。これら自然界の自己組織 [...]
Visual Cue of Interaction Affects Somatosensory Cortex – by Network Analysis and Information Flow based on EEG システム生命科学府 システム生命科学専攻 This research focused on the phenomenon that human’s somatosensory cortex will be activated when seeing familiar daily objects. Based on previous studies, we tried to verify an inference that so [...]
断層近傍でのパルス状地震動による地すべりのメカニズム解析 工学府 建設システム工学専攻 これまでの地震地すべりの研究では、地震時の地盤加速度によって発生する慣性力が地すべりを誘発する主な原因と考えられてきた。しかし、断層に近い地震では、地すべりの予測にピーク加速度（PGA）を用いることには大きな限界があることがわかった。 そこで本研究では、地震による地すべりのパラメータとして、「PGAの代わりにPLGMの速度パルス特性に着目する」ことを提案する。PLGMに基づく斜面崩壊メカニズムを構 [...]
Test, verify and repair deep learning-based applications システム情報科学府 情報理工学専攻 研究内容は、以下の3つの研究項目に分けられる。 [テスト】DRLモデルの異常な挙動をステートフルかつ定量的に解析して見つけ出す。 [検証】DRLモデルがどの程度、要求・仕様を満たしているかを定量的に確認する手順を提案する。 [修復】テストと定量化された検証に基づき、DRLモデルの性能を向上させるための普遍的なフレームワークを構築する。
