| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
システム数理と応用研究会 (MSS) (検索条件: 2018年度)
「from:2019-01-15 to:2019-01-15」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS, SS (共催) |
2019-01-15 10:25 |
沖縄 | 沖縄県青年会館 | 電力市場におけるネガワットの不安定性低減と需要家間の不平等解消手法の提案 ○橘 直博・長谷 亮・篠宮紀彦（創価大）  MSS2018-54 SS2018-25 |
自由化が進む電力市場において，需要家が節電した電力であるネガワットが取引されることで，ピーク時の電力消費が抑制され，発電... [more] | MSS2018-54 SS2018-25 pp.1-6 |
| MSS, SS (共催) |
2019-01-15 10:50 |
沖縄 | 沖縄県青年会館 | デマンドレスポンスのための電力消費ダイナミクスのモデル予測制御 ○大橋建太・小林孝一・山下 裕（北大） MSS2018-55 SS2018-26 |
デマンドレスポンスとは，電力需給の状況に応じて需要家側の機器を制御する手法である．本論文では，デマンドレスポンスのための... [more] | MSS2018-55 SS2018-26 pp.7-12 |
| MSS, SS (共催) |
2019-01-15 11:15 |
沖縄 | 沖縄県青年会館 | 事象駆動モデル予測制御に基づくデマンドレスポンスの設計 ○宮崎公大・小林孝一（北大）・東 俊一（名大）・山口順之（東京理科大）・山下 裕（北大） MSS2018-56 SS2018-27 |
エネルギー管理システムの設計において，電力の小売業者として考えられるアグリゲータが重要である．アグリゲータの役割の1つと... [more] | MSS2018-56 SS2018-27 pp.13-18 |
| MSS, SS (共催) |
2019-01-15 12:40 |
沖縄 | 沖縄県青年会館 | 部分観測のもとでの非決定離散事象システムの模倣制御 ○李 京倫・高井重昌（阪大） MSS2018-57 SS2018-28 |
本稿では，非決定オートマトンとしてモデル化された離散事象システムに対して，事象の部分観測のもと での模倣制御問題を考え... [more] |
MSS2018-57 SS2018-28 pp.19-23 |
| MSS, SS (共催) |
2019-01-15 13:05 |
沖縄 | 沖縄県青年会館 | スーパバイザ制御のためのLTL[F]を用いた制御仕様記述の検討 ○榊原愛海・潮 俊光（阪大） MSS2018-58 SS2018-29 |
LTL[$ mathcal{F} $]は線形時相論理を定量的に拡張した論理体系であり，システムの振舞いがどの程度仕様を満... [more] | MSS2018-58 SS2018-29 pp.25-28 |
| MSS, SS (共催) |
2019-01-15 13:30 |
沖縄 | 沖縄県青年会館 | 外乱のある線形離散時間システムに対する自己駆動モデル予測制御器の一設計法 ○田頭史都・潮 俊光（阪大） MSS2018-59 SS2018-30 |
自己駆動制御では，制御入力の更新時に次の制御入力の更新時刻を決定する．そのため，外乱が制御性能に与える影響は重要な問題で... [more] | MSS2018-59 SS2018-30 pp.29-32 |
| MSS, SS (共催) |
2019-01-15 13:55 |
沖縄 | 沖縄県青年会館 | 燃料制約を考慮したグラフ上のマルチエージェントモニタリング ○増田 亮・小林孝一・山下 裕（北大） MSS2018-60 SS2018-31 |
グラフ上におけるマルチエージェントモニタリングとは，各エージェントがまんべんなく監視範囲内の監視点を巡回する軌道を求める... [more] | MSS2018-60 SS2018-31 pp.33-36 |
| MSS, SS (共催) |
2019-01-15 14:30 |
沖縄 | 沖縄県青年会館 | 依存関係を考慮した部分コミット履歴の再構成支援 ○舟木亮介・林 晋平・佐伯元司（東工大） MSS2018-61 SS2018-32 |
コミット履歴の一部を取り出して再構成する上で，再構成に必要な最小限の部分履歴を特定することは，開発者の大きな負担になる．... [more] | MSS2018-61 SS2018-32 pp.37-42 |
| MSS, SS (共催) |
2019-01-15 14:55 |
沖縄 | 沖縄県青年会館 | アプリケーション開発事例を対象としたテスト設計によるプロセス改善への影響調査 ○辻原拓弥・福安直樹・満田成紀・松延拓生・鯵坂恒夫（和歌山大） MSS2018-62 SS2018-33 |
システム開発においてテスト設計を開発初期から行うことで設計工程の品質向上やテスト工程の負担軽減につながると言われる．しか... [more] | MSS2018-62 SS2018-33 pp.43-48 |
| MSS, SS (共催) |
2019-01-15 15:20 |
沖縄 | 沖縄県青年会館 | 計算論的融和の枠組みに向けて ○高井利憲（奈良先端大） MSS2018-63 SS2018-34 |
[more] | MSS2018-63 SS2018-34 pp.49-54 |
| MSS, SS (共催) |
2019-01-15 15:55 |
沖縄 | 沖縄県青年会館 | ［招待講演］機械学習を活用した電力需要予測 ～ 機械学習による数値気象予報の活用可能性 ～ ○進 博正・志賀慶明・柿元 満（東芝） MSS2018-64 SS2018-35 |
高精度な電力需要予測は，電力システムを経済的に運用する上で不可欠な要素である．東芝は，電力システムの脱炭素化，自由化やデ... [more] | MSS2018-64 SS2018-35 pp.55-56 |
| MSS, SS (共催) |
2019-01-15 17:00 |
沖縄 | 沖縄県青年会館 | ［招待講演］インセンティブ配分を用いた電力使用量削減問題に対するゲーム理論的アプローチ ○長谷川祐太・金澤尚史（阪大） MSS2018-65 SS2018-36 |
消費者の電力削減量に応じてインセンティブを与えることにより負荷平準化を図るデマンドレスポンスが注目されている．電力会社と... [more] | MSS2018-65 SS2018-36 pp.57-60 |
| MSS, SS (共催) |
2019-01-16 09:00 |
沖縄 | 沖縄県青年会館 | 重み付きレジスタオートマトンの最小重み実行問題 ○吉村玲勇・関 浩之（名大） MSS2018-66 SS2018-37 |
レジスタオートマトン（RA）とは有限オートマトンにレジスタを加えてデータ値を扱えるようにした計算モデルである．近年，遷移... [more] | MSS2018-66 SS2018-37 pp.61-66 |
| MSS, SS (共催) |
2019-01-16 09:25 |
沖縄 | 沖縄県青年会館 | 論理制約付き書換えにおける構造体および共用体の表現について ○金澤慶明・西田直樹・酒井正彦（名大） MSS2018-67 SS2018-38 |
近年，項書換え系への変換に基づいた手続き型のプログラムの検証について研究が行われており，実行の中間状態を表現する項から制... [more] | MSS2018-67 SS2018-38 pp.67-72 |
| MSS, SS (共催) |
2019-01-16 09:50 |
沖縄 | 沖縄県青年会館 | 項書換えにおけるナローイング計算木のベーシックナローイングへの拡張 ○前田侑也・西田直樹・酒井正彦・小林倫也（名大） MSS2018-68 SS2018-39 |
項書換え系（TRS）のナローイング計算とは，書換えに必要な代入を単一化により求め，その代入を適用して書換えを行う計算であ... [more] | MSS2018-68 SS2018-39 pp.73-78 |
| MSS, SS (共催) |
2019-01-16 10:25 |
沖縄 | 沖縄県青年会館 | SMTソルバを用いた時間ペトリネットの非有界モデル検査 ○井川 直・横川智教（岡山県立大）・近藤真史（川崎医療福祉大）・佐藤洋一郎・有本和民（岡山県立大） MSS2018-69 SS2018-40 |
[more] | MSS2018-69 SS2018-40 pp.79-84 |
| MSS, SS (共催) |
2019-01-16 10:50 |
沖縄 | 沖縄県青年会館 | 最適速度交通流モデルに基づく並列多段工程を有する生産ラインの分配パラメータ設計 ○佐野 徹・小西啓治（阪府大）・伊藤岳大・若山永哉（NEC） MSS2018-70 SS2018-41 |
最近の「製品寿命の低下」「消費者ニーズの多様化」などに伴う需要の変化に対応する生産システムの構 築が望まれている．本報告... [more] | MSS2018-70 SS2018-41 pp.85-90 |
| MSS, SS (共催) |
2019-01-16 11:15 |
沖縄 | 沖縄県青年会館 | グラフのトポロジカルキューレイアウトの簡潔な証明 ○宮内美樹（NTT） MSS2018-71 SS2018-42 |
グラフの細分のキューレイアウトにおける主たる目標の一つは，キュー数が与えられた時に，そのキュー数を持つグラフレイアウトの... [more] | MSS2018-71 SS2018-42 pp.91-96 |
| MSS, SS (共催) |
2019-01-16 12:40 |
沖縄 | 沖縄県青年会館 | 圧縮XML文書に対するXQuery問合せ評価の効率化 ○小椋寿希也（阪大）・石原靖哲（南山大）・藤原 融（阪大） MSS2018-72 SS2018-43 |
[more] | MSS2018-72 SS2018-43 pp.97-102 |
| MSS, SS (共催) |
2019-01-16 13:05 |
沖縄 | 沖縄県青年会館 | データ交換フレームワークにおける問合せ解像度に基づいたデータ公開 ○福嶋啓二（阪大）・石原靖哲（南山大）・藤原 融（阪大） MSS2018-73 SS2018-44 |
医療情報などのビッグデータの普及に伴い，異なるスキーマでデータのやり取りを可能にするデータ交換に関する技術が注目されてい... [more] | MSS2018-73 SS2018-44 pp.103-108 |
[研究会発表申込システムのトップページに戻る]