| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2021-07-06 11:40 counting時相論理を用いたアミューズメントパークでの来場者経路計画 ○永江孝太郎・潮 俊光（阪大）  CAS2021-13 VLD2021-13 SIP2021-23 MSS2021-13 |
|
| 抄録 | （和） | 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 / / / / | |
| 文献情報 | 信学技報, vol. 121, no. 92, MSS2021-13, pp. 64-69, 2021年7月. | |
| 資料番号 | MSS2021-13 | |
| 発行日 | 2021-06-28 (CAS, VLD, SIP, MSS) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | CAS2021-13 VLD2021-13 SIP2021-23 MSS2021-13 |
|
| 研究会情報 | |
| 研究会 | SIP CAS VLD MSS |
| 開催期間 | 2021-07-05 - 2021-07-06 |
| 開催地（和） | オンライン開催 |
| 開催地（英） | Online |
| テーマ（和） | システムと信号処理および一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2021-07-SIP-CAS-VLD-MSS |
| 本文の言語 | 日本語 |
| タイトル（和） | counting時相論理を用いたアミューズメントパークでの来場者経路計画 |
| サブタイトル（和） | |
| タイトル（英） | Visitor Route Planning in An Amusement Park Using Counting Temporal Logic |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 線形時相論理 / LTL |
| キーワード(2)（和/英） | cLTL+ / cLTL+ |
| キーワード(3)（和/英） | アミューズメントパーク / amusement park |
| キーワード(4)（和/英） | 経路計画法 / route planning |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 永江 孝太郎 / Kotaro Nagae / ナガエ コウタロウ |
| 第1著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： Osaka Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 潮 俊光 / Toshimitsu Ushio / ウシオ トシミツ |
| 第2著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： Osaka Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2021-07-06 11:40:00 |
| 発表時間 | 25分 |
| 申込先研究会 | MSS |
| 資料番号 | CAS2021-13, VLD2021-13, SIP2021-23, MSS2021-13 |
| 巻番号（vol） | vol.121 |
| 号番号（no） | no.89(CAS), no.90(VLD), no.91(SIP), no.92(MSS) |
| ページ範囲 | pp.64-69 |
| ページ数 | 6 |
| 発行日 | 2021-06-28 (CAS, VLD, SIP, MSS) |
[研究会発表申込システムのトップページに戻る]