首页期刊导航|電子情報通信学会技術研究報告
期刊信息/Journal information
電子情報通信学会技術研究報告
电子情报通信学会
電子情報通信学会技術研究報告

电子情报通信学会

0913-5685

電子情報通信学会技術研究報告/Journal 電子情報通信学会技術研究報告
正式出版
收录年代

    オパシティを保証するプランニングのためのシールド設計

    金島昂輝潮俊光
    6页
    查看更多>>摘要:オパシティはhyperLTLを用いて表現されるhyperpropertyの一つである.トレース上の秘密と観測を考え,異なる秘密を持つが,観測が同じであるトレースが複数存在する場合はオパシティが満たされる.また,シールドはsafetyな仕様を強制するために提案された手法である.シールドはシステムの出力の監視と修正を行う.本報告では,プランニング問題を対象として,2種類のオパシティを保証するシールドを構成するアルゴリズムを提案する.シールドの仕様自体をhyperLTLで記述し,QBF問題として扱う.それをSMTソルバーを用いて解くことでシールドの出力が計算される.2種類のオパシティに対して,シミュレーションを行い,シールドの出力を確認した.

    交通事故データに対する形式概念分析による事故予測システムの構築の検討

    小谷祥悟浅沼佑汰中村正樹榊原一紀...
    6页
    查看更多>>摘要:本研究の目的は,過去の交通事故から将来の交通事故を予防するため,形式概念分析により交通事故データを分析することである.形式概念分析は,自然現象や社会現象から得られるデータの中で成り立つ含意関係や関連からデータを整理し,分析や考察の支援を目的とした手法である.交通事故データを形式概念分析に適用するためには,事故データをニ値情報にした表が必要がある,そのため,事故内容や事故要因となりうる外部データ,事故の説明文といった情報を二値化する.そして,二値情報にしたデータを形式概念分析に適用し,そこから得られたルールに対し統計分析することで,交通事故要因を解明する手法を検討する.

    統計的モデル検査を用いたエレベータ制御則の設計検証の検討

    北原祐希中村正樹榊原一紀
    6页
    查看更多>>摘要:エレベータシステムを設計する際,乗客発生の確率分布を考慮することで効率的な制御則を得ることが期待できる.UPPAAL SMCは時間制約および確率的遷移を扱うことができる確率時間オートマトンに基づく統計的モデル検査ツールである.UPPAAL SMCはシナリオベースのシミュレーションによって確率的事象を含んだモデルに対して統計的解析をすることが可能である.本研究では時間制約および確率的遷移を扱える統計的モデル検査ッ一ルUPPAAL SMCを用いてエレベータ制御則の設計検証の検討をする.

    リザバーコンピューテイングを用いたマルチエージェント環境の深層決定論的方策勾配法

    吉村光太郎白坂将鈴木秀幸
    4页
    查看更多>>摘要:強化学習はロボットの歩行制御や自動車の自動運転技術などに用いられている.強化学習を大規模なデータセンターの冷却システムのような学習対象となるエージェントが複数存在する分野に応用するには,MADDPGなどのマルチエージェント強化学習(MARL)手法の研究が重要である.MARLはエージェント数が増えるにつれて計算量が爆発的に増加するという課題や,エージェント間の相互作用が複雑になり訓練時の学習が不安定になる課題が存在する.本研究ではDNNにリザバーコンピューティングの代表的なモデルであるEcho State Network(ESN)を用いて,学習性能を向上させることを目的とする.協力型タスクに応用した結果,従来の多層パーセプトロンを用いた場合と比べ学習が効率よく進むことがわかった.

    リザバーコンピューティングを用いた視覚情報処理モデルの構築に向けた階層的ネットワークの解析

    新川拓海加藤秀行
    6页
    查看更多>>摘要:近年,リザバーコンピューティングはリカレントニューラルネットワークの中でも学習が極めて高速であることから,時系列データのリアルタイム学習をはじめとする様々な工学的応用が期待されている.これに対し,本研究では,このリザバーコンピューティングを用いて脳機能,特に視覚情報処理のモデル構築を試みる.本報告では,その第一段階として,階層構造を有するリザバーコンピューティングを構築し,視覚情報処理機能の基礎的評価を行った.

    リザバー計算による粒子の軌道予測

    大澤智興野添志文
    4页
    查看更多>>摘要:リザバー計算は、一般的に時系列データ処理に使用されているが、リザバー計算の代表的なモデルであるエコーステートネットワークを用いて、二次元平面上を移動するモデル粒子が示す軌道の予測に用いた.このモデル粒子は、自らの過去の履歴に依存して移動方向を確率的に決定する非マルコフ性を有する.リザーバーに入力する時系列データは、粒子の平面上の位置だけでなく、粒子周辺の履歴(足跡)情報も使用し、2よりも多くの入力次元を用いた.学習する軌道データが長くなると予測誤差は減少したが、履歴情報の量(入力次元)に応じて変化した。多量の履歴情報(入力次元)は、予測誤差の減少に効果のある場合と無い場合があった.

    ポケモンへの深層強化学習によるゲームバランス調整法の適用検討

    岡村涼平尾崎敦夫
    4页
    查看更多>>摘要:深層強化学習を用いて,ポケモンのような対戦ゲームにおいて,多くの人々がより楽しめるようなゲームバランスを調整する手法について提案する.従来の手法では,対戦型ゲームが持つ戦略性や奥深さを考慮しないという問題があった.提案手法では,ゲーム理論を用いて,手数を快適な値に調整できることを期待している.

    雲画像を利用した畳み込みLSTMに基づく気象予測手法の検討

    竹花治紀尾崎敦夫
    6页
    查看更多>>摘要:近年,局地豪雨などによる水害災害が増加しており,局地的で急激に変化する天候を予測する研究がスーパーコンピュータやフェーズドアレイレーダを用いて盛んにおこなわれている.しかし,地方自治体等の多くの組織に防災システムを展開するためには低コストかつ様々な環境で運用できるシステムが求められる.本研究ではwebカメラで撮影した雲画像をもとに,畳み込みLSTMとCNNを用いて気象を予測する手法を提案し,その結果について述べる.評価では,大阪府枚方市上空の上空を撮影した雲画像を用いて快晴·晴れ·曇りの予測を15分後まで行い,0.68~0.84の範囲で予測できることが確認できた.

    スマート農業における物理センサと人間センサからの知識抽出: プランター栽培データによる予備実験: プランター栽培データによる予備実験

    遠矢健太井上杜太郎内平直志
    2页
    查看更多>>摘要:農業の知識継承の有望なアプローチの1つとして農業IoT(Internet of Things)の活用が挙げられる.しかしIoTの物理センサでは,農業者の作業記録が十分なにできない.そこで,物理センサだけでなく,農業者の作業内容や作業中の気づきをその場で音声や画像により記録する(人間センサと呼ぶ)アプローチが有効である.本研究では,農業の知識継承のための物理センサと人間センサによる知識抽出の予備実験として,プランター栽培において,音声つぶやきシステムによる人間センサデータ(作業内容·気づき)と物理センサデータ(温度,湿度,照度,土壌温度,土壌水分率)の収集,分析を行い,その有効性を検討した.

    プロバスケットボール·B.LEAGUEにおけるインパクトメトリクスの提案

    杉江幸治小中英嗣
    6页
    查看更多>>摘要:バスケットボールではそれぞれの選手が関与したプレイの回数(得点,シュート数など)が記録されることが多く,プロレベルではプレイ単位(得点やボール保持の変更)まで記録·公開されている場合もある.しかし,総得点などの単純な回数の合計のような統計(スタッツ)は試合の状況(コート上の選手,対戦相手,得点差,残り時間なビ)を考慮しておらず,各選手の勝利に対する貢献を適切に定量化できていない可能性がある.選手の勝敗に対する貢献を単一の指標で表そうとするものをインパクトメトリクスと呼ぶ.インパクトメトリクスの一つとして「チームをいかに勝ちに近づけたか」を定量化するものが提案されている.しかし,インパクトメトリクス研究の大半はNBA(北米プロバスケットボールリーグ)に対して行われている.NBAは国際ルールと異なるルールを採用しているため,これを他リーグに適用することはできない.また,著者の調査の範囲内では,日本のプロリーグ(B.LEAGUE)に対するインパクトメトリクスの提案は学術的には公表されていない.そこで,本研究ではBリーグ,特にB1リーグで活動している選手たちを対象にリアルタイム勝敗確率を用いたインパクトメトリクスの提案および算出を目的とする.