|
早稲田大学
鄭 顕志
准教授
産学連携シーズ
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 (機械学習)
自己適応システム(14)
└ Adaptive methods for CPS(1)
└ Exemplars of CPS(1)
└ Theoretical foundations of CPS(1)
└ Gradient descent(1)
└ Self-adaption (自己適応)(4)
└ Context-awareness(1)
└ Goal-driven self-adaptive systems(1)
└ Quality Constraint(1)
└ Self-adaptive system (自己適応型システム)(11)
└ Space reduction(1)
└ control theory(1)
└ Data analysis (データ解析)(1)
└ Human-centered design(1)
└ Hydroponics(1)
└ Internet of Things (IoT)(2)
└ Plant care(1)
└ 2-player game(1)
└ Requirement degradation(1)
└ AND/OR tree(1)
└ Discrete event system(1)
└ Iterative deepening depth first search(1)
└ Space exploration(1)
関連・応用研究フロンティア
└ Model Checking (モデル検査)
└ Separation of Concerns
└ Artificial intelligence (人工知能)
└ ICT professional education
└ MOOC
└ adaptive systems
└ Cyber Physical Systems
└ Controller synthesis
└ dynamic update
└ Discrete controller synthesis
└ Safety property
└ Requirement Engineering (要求工学)
全14件
鄭研究室
研究カテゴリー
自己適応型システム
2019年
複雑な環境を探索する強化学習エージェントに不変量を適用するための実行時モニタリングフレームワーク
研究動機
強化学習エージェントが「誤った」行動をとることを防ぎ、事前知識を活用し.....
鄭研究室
研究カテゴリー
自己適応型システム
2019年
耐久性のあるサイバーフィジカルシステムのモデリングと分析
研究動機
サイバーフィジカルシステム(CPS)は、人々の生活の質を向上させ、コン.....
鄭研究室
研究カテゴリー
自己適応型システム
2017年
自己適応型システムのための実行時環境モデルの学習
研究動機
確率的勾配降下法と実行時に取得したデータの差分を用いて効率的に環境モデ.....
鄭研究室
研究カテゴリー
自己適応型システム
2017年
ゴール駆動型自己適応システムのソフトゴール近似コンテキスト認識
研究動機
品質制約の柔軟なバージョンを紹介する。.....
鄭研究室
研究カテゴリー
自己適応型システム
2016年
コントローラの動的更新の確実かつ正確な実行
研究動機
リアクティブシステムにおいて、現在のシステムの仕様(環境の仮定、要求、.....
鄭研究室
研究カテゴリー
自己適応型システム
2016年
センサーデータにおける故障検出・分類のためのベンチマークデータセット
研究動機
アプリケーションは正確なセンサデータを期待しており、最近の文献ではセン.....
鄭研究室
研究カテゴリー
自己適応型システム
2019年
自己適応システムの安全性確保のための状態マージによる解析空間の縮小
研究動機
安全特性解析に必要な情報を保持したまま、状態をマージする新たな削減手法.....
鄭研究室
研究カテゴリー
自己適応型システム
2020年
制御と自己適応システムの特性のギャップを埋めるために
研究動機
制御システムでは、安定性のような静的な側面に関わるプロパティと、整定時.....
鄭研究室
研究カテゴリー
自己適応型システム
2017年
ワイヤレスセンサネットワークにおける故障検出のための機械学習アルゴリズムの比較分析
研究動機
WSNにおける電池残量とキャリブレーションによって発生する不具合に焦点.....
鄭研究室
研究カテゴリー
IoT
2021年
人間-水耕栽培共存のための自己適応型水耕栽培ケアシステム
研究動機
水耕栽培の環境を制御するIoTベースの自己適応型水耕栽培ケアシステムを.....
鄭研究室
研究カテゴリー
自己適応
2020年
システム機能障害下での実行時要求劣化に対する効率的な差分解析アルゴリズム
研究動機
機能障害への適応をよりタイムリーに行うために、解析時間を短縮する効率的.....
鄭研究室
研究カテゴリー
自己適応型システム
2020年
動的更新における環境分割の低コストモデリング方法
研究動機
更新制御装置の設計負荷の大部分を占める更新環境の設計コストを低減する設.....
鄭研究室
研究カテゴリー
離散コントローラ合成
2020年
Df-pnアルゴリズムのオンザフライ・コントローラ合成への適用方法
研究動機
コンピュータで将棋をするときに使われるdf-pnアルゴリズム、特に詰将.....
鄭研究室
研究カテゴリー
IoT
2020年
スマートSE:スマートシステム&サービス革新的専門家教育プログラム
研究動機
産業プロフェッショナル教育のニーズに応えるべく、その目的、カリキュラム.....