研究会 |
発表日時 |
開催地 |
タイトル・著者 |
抄録 |
資料番号 |
MSS, SS (共催) |
2023-01-10 11:00 |
大阪 |
大阪市立生涯学習センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
[パネル討論]システム数理と応用研究会の活動の振り返りと今後の展望 ~ 歴代委員長からのメッセージ ~ ○尾崎敦夫(阪工大)・平石邦彦(北陸先端大)・中村祐一(NEC)・山根 智(金沢大)・名嘉村盛和(琉球大)・髙井重昌(阪大) MSS2022-44 SS2022-29 |
システム数理と応用研究会 (MSS:Mathematical Systems Science and its Appli... [more] |
MSS2022-44 SS2022-29 pp.1-4 |
MSS, SS (共催) |
2023-01-10 13:30 |
大阪 |
大阪市立生涯学習センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
[招待講演]熱的快適性を考慮したスマートビルディング向けオンラインエネルギーマネジメントに関する実証研究 ○渡 大地・谷口一徹(阪大)・Francky Catthoor(IMEC/ルーベン・カトリック大)・Charalampos Marantos(アテネ工科大)・Kostas Siozios(テッサロニキ・アリストテレス大)・Elham Shirazi(トゥウェンテ大)・Dimitrios Soudris(アテネ工科大)・尾上孝雄(阪大) MSS2022-45 SS2022-30 |
近年,電気代削減や CO2 排出量の削減に向けて,建物におけるエネルギー利用の一元管理及び最適化を 行うエネルギーマネジ... [more] |
MSS2022-45 SS2022-30 pp.5-6 |
MSS, SS (共催) |
2023-01-10 14:30 |
大阪 |
大阪市立生涯学習センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
Erlangにおける最適な監視ツリーの自動生成法の検討 ○佐々木勝一・高田喜朗(高知工科大) MSS2022-46 SS2022-31 |
Erlangとは並行指向の関数型プログラミング言語であり,OSスレッドより軽い軽量プロセスを標準で備えている.Erlan... [more] |
MSS2022-46 SS2022-31 pp.7-12 |
MSS, SS (共催) |
2023-01-10 14:55 |
大阪 |
大阪市立生涯学習センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
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.) MSS2022-47 SS2022-32 |
As a low-cost, scalable, and high-performance computing plat... [more] |
MSS2022-47 SS2022-32 pp.13-18 |
MSS, SS (共催) |
2023-01-10 15:20 |
大阪 |
大阪市立生涯学習センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
換気指示精度向上のための空気調和適正化ガイダンスシステムの拡張 ○坂上暢規・濵﨑和志・伊東 翔・永山智也・舩曵信生・栗林 稔(岡山大) MSS2022-48 SS2022-33 |
本研究グループでは, 空気調和適正化ガイダンスシステム AC-Guideの研究を進めている. AC-Guide では, ... [more] |
MSS2022-48 SS2022-33 pp.19-24 |
MSS, SS (共催) |
2023-01-10 16:00 |
大阪 |
大阪市立生涯学習センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
大規模水素プラント向け最適運転計画 ~ ディマンドリスポンス最適化の一検討 ~ ○秋葉剛史(東芝エネルギーシステムズ)・田丸慎悟(東芝インフラシステムズ)・山根史之(東芝エネルギーシステムズ) MSS2022-49 SS2022-34 |
大規模水素プラントFH2R設備全体を管理する水素エネルギー運用システムにおける運転計画機能について,対象とするDRが「水... [more] |
MSS2022-49 SS2022-34 pp.25-30 |
MSS, SS (共催) |
2023-01-10 16:25 |
大阪 |
大阪市立生涯学習センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
連接水系群発電機起動停止計画問題の区分線形近似における区分法の実験比較 ○豊嶋伊知郎・水谷遼太(東芝エネルギーシステムズ)・竹内智紀・原 亮一・北 裕幸(北大) MSS2022-50 SS2022-35 |
水力発電は従来より日本における主要電源であるが,近年ではカーボンニュートラルの点からも注目されている.水力発電は特有の非... [more] |
MSS2022-50 SS2022-35 pp.31-36 |
MSS, SS (共催) |
2023-01-10 16:50 |
大阪 |
大阪市立生涯学習センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
集団意思決定モデルを応用した分散型交通事象検知メカニズム ○山本雄大・久世尚美・潮 俊光(阪大) MSS2022-51 SS2022-36 |
現代社会では交通事故や渋滞の発生が問題となっている.それに伴い,交通情報等の事象に関する情報の提供が主要な道路を中心に行... [more] |
MSS2022-51 SS2022-36 pp.37-41 |
MSS, SS (共催) |
2023-01-11 10:00 |
大阪 |
大阪市立生涯学習センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
深層学習手法を用いたX線保安検査における禁止事項検出 ○張 慶琪(山口大)・呉 靭(山口短大)・中田 充・葛 崎偉(山口大) MSS2022-52 SS2022-37 |
空港や会場などでは,荷物に禁制品が入っていないかどうかを調べるために,X線スキャナーを使った保安検査機がよく使われる.X... [more] |
MSS2022-52 SS2022-37 pp.42-47 |
MSS, SS (共催) |
2023-01-11 10:25 |
大阪 |
大阪市立生涯学習センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
東洋医学の舌診における裂紋舌の自動診断 ○安 振宇(山口大)・呉 靱(山口短大)・中田 充・葛 崎偉(山口大) MSS2022-53 SS2022-38 |
裂紋舌は舌質 (舌の肉部分) の表面が割れている状態にある舌である.本研究は,東洋医学に基づき,人工知能技術を用いた舌表... [more] |
MSS2022-53 SS2022-38 pp.48-53 |
MSS, SS (共催) |
2023-01-11 10:50 |
大阪 |
大阪市立生涯学習センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
機械学習による鍼灸治療の経穴判定法の比較 ○楊 航(山口大)・呉 靭(山口短大)・中田 充・葛 崎偉(山口大) MSS2022-54 SS2022-39 |
数千年の発展を経て,東洋医学の鍼灸治療に関する多くの臨床経験が文字の形で記録されてきた.一方,機械学習に代表される人工知... [more] |
MSS2022-54 SS2022-39 pp.54-59 |
MSS, SS (共催) |
2023-01-11 11:15 |
大阪 |
大阪市立生涯学習センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
ROSベースロボットアームの適合性テストに関する実験 ○陳 路威・石井大輔(北陸先端大) MSS2022-55 SS2022-40 |
[more] |
MSS2022-55 SS2022-40 pp.60-65 |
MSS, SS (共催) |
2023-01-11 13:30 |
大阪 |
大阪市立生涯学習センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
例外を含む関数型言語の形式的記述と停止性証明のための制約付き依存対 ○濱口 毅・酒井正彦(名大) MSS2022-56 SS2022-41 |
本発表では例外処理を持つ関数型プログラムの停止性証明手法を提案する.まず先行評価に基づくプログラムの詳細な評価順序の形式... [more] |
MSS2022-56 SS2022-41 pp.66-71 |
MSS, SS (共催) |
2023-01-11 13:55 |
大阪 |
大阪市立生涯学習センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
SBFLの欠陥限局精度向上を目的としたSoftアサートの調査 ○三原公平・柗本真佑・楠本真ニ(阪大) MSS2022-57 SS2022-42 |
ソースコード中の欠陥を全自動で特定する方法として,Spectrum-Based Fault Localization(S... [more] |
MSS2022-57 SS2022-42 pp.72-77 |
MSS, SS (共催) |
2023-01-11 14:20 |
大阪 |
大阪市立生涯学習センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
A Systematic Review of Source Code Coverage Metrics: Preliminary Results ○Masayuki Taniguchi・Shinsuke Matsumoto・Shinji Kusumoto(Osaka Univ.) MSS2022-58 SS2022-43 |
Software testing plays an essential role in software quality... [more] |
MSS2022-58 SS2022-43 pp.78-83 |
MSS, SS (共催) |
2023-01-11 15:00 |
大阪 |
大阪市立生涯学習センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
拡張STRIMの提案と実データへの適用 ○西尾剛大・佐伯徹郎(山口大)・加藤裕一(島根大) MSS2022-59 SS2022-44 |
著者らは,ラフ集合領域で決定表と呼ばれるデータ集合に潜む因果関係を if-then ルールで推定するSTRIMを提案し,... [more] |
MSS2022-59 SS2022-44 pp.84-89 |
MSS, SS (共催) |
2023-01-11 15:25 |
大阪 |
大阪市立生涯学習センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
領域リブートによるボットネット対策について ○桂 雄治・山口真悟(山口大) MSS2022-60 SS2022-45 |
本稿ではIoTボットネットを駆除するために,デバイス単位ではなく,領域単位でリブートする方法を提案する.デバイスのリブー... [more] |
MSS2022-60 SS2022-45 pp.90-95 |
MSS, SS (共催) |
2023-01-11 15:50 |
大阪 |
大阪市立生涯学習センター (ハイブリッド開催,主:現地開催,副:オンライン開催) |
HSI分類問題における複合SVMの改良 ○田村明人・北村拓也(富山高専) MSS2022-61 SS2022-46 |
本報告書では,ハイパースペクトル画像分類問題における複合サポートベクトルマシンの改良手法を提案する.提案手法では,3次元... [more] |
MSS2022-61 SS2022-46 pp.96-100 |