電子情報通信学会技術研究報告

Online edition: ISSN 2432-6380

Volume 122, Number 329

システム数理と応用

開催日 2023-01-10 - 2023-01-11 / 発行日 2023-01-03

[PREV] [NEXT]

[TOP] | [2018] | [2019] | [2020] | [2021] | [2022] | [2023] | [2024] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


目次

MSS2022-44
[パネル討論]システム数理と応用研究会の活動の振り返りと今後の展望 ~ 歴代委員長からのメッセージ ~
○尾崎敦夫(阪工大)・平石邦彦(北陸先端大)・中村祐一(NEC)・山根 智(金沢大)・名嘉村盛和(琉球大)・髙井重昌(阪大)
pp. 1 - 4

MSS2022-45
[招待講演]熱的快適性を考慮したスマートビルディング向けオンラインエネルギーマネジメントに関する実証研究
○渡 大地・谷口一徹(阪大)・Francky Catthoor(IMEC/ルーベン・カトリック大)・Charalampos Marantos(アテネ工科大)・Kostas Siozios(テッサロニキ・アリストテレス大)・Elham Shirazi(トゥウェンテ大)・Dimitrios Soudris(アテネ工科大)・尾上孝雄(阪大)
pp. 5 - 6

MSS2022-46
Erlangにおける最適な監視ツリーの自動生成法の検討
○佐々木勝一・高田喜朗(高知工科大)
pp. 7 - 12

MSS2022-47
An Implementation of Docker Image Generation Tool for User-PC Computing System
○Lynn Htet Aung・Nobuo Funabiki・Hein Htet・Xudong Zhou・Xu Xiang・Minoru Kuribayashi(Okayama Univ.)
pp. 13 - 18

MSS2022-48
換気指示精度向上のための空気調和適正化ガイダンスシステムの拡張
○坂上暢規・濵﨑和志・伊東 翔・永山智也・舩曵信生・栗林 稔(岡山大)
pp. 19 - 24

MSS2022-49
大規模水素プラント向け最適運転計画 ~ ディマンドリスポンス最適化の一検討 ~
○秋葉剛史(東芝エネルギーシステムズ)・田丸慎悟(東芝インフラシステムズ)・山根史之(東芝エネルギーシステムズ)
pp. 25 - 30

MSS2022-50
連接水系群発電機起動停止計画問題の区分線形近似における区分法の実験比較
○豊嶋伊知郎・水谷遼太(東芝エネルギーシステムズ)・竹内智紀・原 亮一・北 裕幸(北大)
pp. 31 - 36

MSS2022-51
集団意思決定モデルを応用した分散型交通事象検知メカニズム
○山本雄大・久世尚美・潮 俊光(阪大)
pp. 37 - 41

MSS2022-52
Prohibited Items Detection in X-ray Security Inspection by Using a Deep Learning Method
○Qingqi Zhang(Yamaguchi Univ.)・Ren Wu(Yamaguchi Junior College)・Mitsuru Nakata・Qi-Wei Ge(Yamaguchi Univ.)
pp. 42 - 47

MSS2022-53
東洋医学の舌診における裂紋舌の自動診断
○安 振宇(山口大)・呉 靱(山口短大)・中田 充・葛 崎偉(山口大)
pp. 48 - 53

MSS2022-54
Comparison of Machine Learning Methods for Decision of Acupoints in Acupuncture and Moxibustion Treatment
○Hang Yang(Yamaguchi Univ.)・Ren Wu(Yamaguchi Junior College)・Mitsuru Nakata・Qi-Wei Ge(Yamaguchi Univ.)
pp. 54 - 59

MSS2022-55
Experiments on the conformance testing of a ROS-based robot arm
○Chen Luwei・Ishii Daisuke(JAIST)
pp. 60 - 65

MSS2022-56
A formal description of a functional language with exception handling, and constrained dependency pairs for the termination proofs
○Takeshi Hamaguchi・Masahiko Sakai(Nagoya Univ.)
pp. 66 - 71

MSS2022-57
SBFLの欠陥限局精度向上を目的としたSoftアサートの調査
○三原公平・柗本真佑・楠本真ニ(阪大)
pp. 72 - 77

MSS2022-58
A Systematic Review of Source Code Coverage Metrics: Preliminary Results
○Masayuki Taniguchi・Shinsuke Matsumoto・Shinji Kusumoto(Osaka Univ.)
pp. 78 - 83

MSS2022-59
拡張STRIMの提案と実データへの適用
○西尾剛大・佐伯徹郎(山口大)・加藤裕一(島根大)
pp. 84 - 89

MSS2022-60
領域リブートによるボットネット対策について
○桂 雄治・山口真悟(山口大)
pp. 90 - 95

MSS2022-61
HSI分類問題における複合SVMの改良
○田村明人・北村拓也(富山高専)
pp. 96 - 100

注: 本技術報告は査読を経ていない技術報告であり,推敲を加えられていずれかの場に発表されることがあります.


IEICE / 電子情報通信学会