| 講演名 | 2021-07-06 counting時相論理を用いたアミューズメントパークでの来場者経路計画 永江 孝太郎(阪大), 潮 俊光(阪大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | counting時相論理を用いてアミューズメントパーク内での混雑を避けた来場者の経路決定法を提案する．混雑は来場者の満足度を下げる要因になる．各アトラクションに対して，収容人数制約を設定することで，特定のアトラクションへの来場者の集中を避ける．この制約をcounting線形時相論理プラスを用いて記述する．さらに，来場者の要求を線形時相論理を用いて記述する．これらの，論理式を不等式制約に変換して，整数線形計画法を用いて，収容人数制約のもとで，来場者の要求をできる限り満たす来場者の経路を求める． |
| 抄録(英) | In this paper, we propose a method for determining the route of visitors in an amusement park that avoids congestion using counting temporal logic. Since crowding is a factor that lowers the satisfaction level of visitors, we describe a capacity constraint for each attraction using linear temporal logic plus in order to relieve its congestion. Moreover, we use linear temporal logic to describe the demands of each visitor. We convert the formulas into a set of linear inequalities. Then, using an integer linear programming, we obtain a visiting route for each visitor that achieves his/her satisfaction as high as possible under the constraints. |
| キーワード(和) | 線形時相論理 / cLTL+ / アミューズメントパーク / 経路計画法 |
| キーワード(英) | LTL / cLTL+ / amusement park / route planning |
| 資料番号 | CAS2021-13,VLD2021-13,SIP2021-23,MSS2021-13 |
| 発行日 | 2021-06-28 (CAS, VLD, SIP, MSS) |
| 研究会情報 | |
| 研究会 | SIP / CAS / VLD / MSS |
|---|---|
| 開催期間 | 2021/7/5(から2日開催) |
| 開催地（和） | オンライン開催 |
| 開催地（英） | Online |
| テーマ（和） | システムと信号処理および一般 |
| テーマ（英） | |
| 委員長氏名（和） | 坂東 幸浩(NTT) / 佐藤 弘樹(ソニーLSIデザイン) / 小林 和淑(京都工繊大) / 尾崎 敦夫(阪工大) |
| 委員長氏名（英） | Yukihiro Bandou(NTT) / Hiroki Sato(Sony LSI Design) / Kazutoshi Kobayashi(Kyoto Inst. of Tech.) / Atsuo Ozaki(Osaka Inst. of Tech.) |
| 副委員長氏名（和） | 田中 聡久(東京農工大) / 仲地 孝之(琉球大学) / 前田 義信(新潟大) / 池田 奈美子(NTT) / 山口 真悟(山口大) |
| 副委員長氏名（英） | Toshihisa Tanaka(Tokyo Univ. Agri.&Tech.) / Takayuki Nakachi(Ryukyu Univ.) / Yoshinobu Maeda(Niigata Univ.) / Minako Ikeda(NTT) / Shingo Yamaguchi(Yamaguchi Univ.) |
| 幹事氏名（和） | 杉本 憲治郎(Xiaomi) / 渡辺 修(拓殖大) / 田中 雄一(東京農工大) / 下田 真二(ソニーLSIデザイン) / 伊藤 尚(富山高専) / 兼本 大輔(大阪大学) / 宮村 信(NEC) / 小林 孝一(北大) / 劉 健全(NEC) |
| 幹事氏名（英） | Kenjiro Sugimoto(Xiaomi) / Osamu Watanabe(Takushoku Univ.) / Yuichi Tanaka(Tokyo Univ. Agri.&Tech.) / Shinji Shimoda(Sony LSI Design) / Nao Ito(NIT, Toyama college) / Daisuke Kanemoto(Osaka Univ.) / Makoto Miyamura(NEC) / Koichi Kobayashi(Hokkaido Univ.) / Jianquan Liui(NEC) |
| 幹事補佐氏名（和） | 吉田 太一(電通大) / 京地 清介(北九州市立大) / 山口 基(テクノプロ) / 中村 洋平(日立) / 佐藤 隆英(山梨大) / 相原 康敏(村田製作所) / / 白井 匡人(島根大) |
| 幹事補佐氏名（英） | Taichi Yoshida(UEC) / Seisuke Kyochi(Univ. of Kitakyushu) / Motoi Yamaguchi(TECHNOPRO) / Yohei Nakamura(Hitachi) / Takahide Sato(Univ. of Yamanashi) / Yasutoshi Aibara(Murata Manufacturing) / / Masato Shirai(Shimane Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Signal Processing / Technical Committee on Circuits and Systems / Technical Committee on VLSI Design Technologies / Technical Committee on Mathematical Systems Science and its Applications |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | counting時相論理を用いたアミューズメントパークでの来場者経路計画 |
| サブタイトル（和） | |
| タイトル（英） | Visitor Route Planning in An Amusement Park Using Counting Temporal Logic |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 線形時相論理 / LTL |
| キーワード(2)（和/英） | cLTL+ / cLTL+ |
| キーワード(3)（和/英） | アミューズメントパーク / amusement park |
| キーワード(4)（和/英） | 経路計画法 / route planning |
| 第 1 著者 氏名（和/英） | 永江 孝太郎 / Kotaro Nagae |
| 第 1 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 第 2 著者 氏名（和/英） | 潮 俊光 / Toshimitsu Ushio |
| 第 2 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 発表年月日 | 2021-07-06 |
| 資料番号 | CAS2021-13,VLD2021-13,SIP2021-23,MSS2021-13 |
| 巻番号（vol） | vol.121 |
| 号番号（no） | CAS-89,VLD-90,SIP-91,MSS-92 |
| ページ範囲 | pp.64-69(CAS), pp.64-69(VLD), pp.64-69(SIP), pp.64-69(MSS), |
| ページ数 | 6 |
| 発行日 | 2021-06-28 (CAS, VLD, SIP, MSS) |