|
早稲田大学
鄭 顕志
准教授
産学連携シーズ
Discovery Saga
共同研究先別論文リスト
科研費採択研究課題リスト
協賛企業
ポータル
ヘルプ
研究室研究テーマ
研究室研究テーマ
産学連携シーズ
選択中:産学連携シーズ検索
論文
分野別論文
?
Maybe検索
*スペースを含む検索は引用符( " )で囲んでください。
刊行年+年度で期間、ソート検索(例「刊行年2020」「刊行年-2020」等。詳細は上のヘルプ
参照)
Reset
研究分野大分類
センサーネットワーク
ワイヤレスセンサネットワーク
モバイル
自己適応システム
関連・応用研究フロンティア
研究分野小分類
センサーネットワーク
└ Benchmark dataset
└ Data quality (データ品質)
└ Fault tolerance
└ Sensor data
└ Fault detection
└ Data & system faults
ワイヤレスセンサネットワーク
└ nonfunctional requirements
モバイル
└ LTL invariants
└ Reinforcement learning (強化学習)
└ Reward shaping
└ Runtime monitoring
└ Learning
└ Machine learning (機械学習)
自己適応システム
└ Adaptive methods for CPS
└ Exemplars of CPS
└ Theoretical foundations of CPS
└ Gradient descent
└ Self-adaption (自己適応)
└ Context-awareness
└ Goal-driven self-adaptive systems
└ Quality Constraint
└ Self-adaptive system (自己適応型システム)
└ Space reduction
└ control theory
└ Data analysis (データ解析)
└ Human-centered design
└ Hydroponics
└ Internet of Things (IoT)
└ Plant care
└ 2-player game
└ Requirement degradation
└ AND/OR tree
└ Discrete event system
└ Iterative deepening depth first search
└ Space exploration
関連・応用研究フロンティア(8)
└ Model Checking (モデル検査)(1)
└ Separation of Concerns(1)
└ Artificial intelligence (人工知能)(1)
└ ICT professional education(1)
└ MOOC(1)
└ adaptive systems(1)
└ Cyber Physical Systems(1)
└ Controller synthesis(2)
└ dynamic update(2)
└ Discrete controller synthesis(2)
└ Safety property(2)
└ Requirement Engineering (要求工学)(2)
全8件
鄭研究室
研究カテゴリー
自己適応型システム
2019年
耐久性のあるサイバーフィジカルシステムのモデリングと分析
研究動機
サイバーフィジカルシステム(CPS)は、人々の生活の質を向上させ、コン.....
鄭研究室
研究カテゴリー
自己適応型システム
2017年
ゴール駆動型自己適応システムのソフトゴール近似コンテキスト認識
研究動機
品質制約の柔軟なバージョンを紹介する。.....
鄭研究室
研究カテゴリー
自己適応型システム
2016年
コントローラの動的更新の確実かつ正確な実行
研究動機
リアクティブシステムにおいて、現在のシステムの仕様(環境の仮定、要求、.....
鄭研究室
研究カテゴリー
自己適応型システム
2019年
自己適応システムの安全性確保のための状態マージによる解析空間の縮小
研究動機
安全特性解析に必要な情報を保持したまま、状態をマージする新たな削減手法.....
鄭研究室
研究カテゴリー
自己適応
2020年
システム機能障害下での実行時要求劣化に対する効率的な差分解析アルゴリズム
研究動機
機能障害への適応をよりタイムリーに行うために、解析時間を短縮する効率的.....
鄭研究室
研究カテゴリー
自己適応型システム
2020年
動的更新における環境分割の低コストモデリング方法
研究動機
更新制御装置の設計負荷の大部分を占める更新環境の設計コストを低減する設.....
鄭研究室
研究カテゴリー
離散コントローラ合成
2020年
Df-pnアルゴリズムのオンザフライ・コントローラ合成への適用方法
研究動機
コンピュータで将棋をするときに使われるdf-pnアルゴリズム、特に詰将.....
鄭研究室
研究カテゴリー
IoT
2020年
スマートSE:スマートシステム&サービス革新的専門家教育プログラム
研究動機
産業プロフェッショナル教育のニーズに応えるべく、その目的、カリキュラム.....