| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2017-01-26 14:30 温水供給システムの実測データに基づくモデリングと制御に関する検討 ○齋藤 司（京大）・薄 良彦（阪府大）・星野 光・引原隆士（京大）  MSS2016-63 SS2016-42 |
|
| 抄録 | （和） | 本報告では, 透析の医療機関で得られた実測データ用いた温水供給システムのモデリング, 及び形式手法を用いた制御器設計について検討する. 透析治療では大量の水を人肌まで昇温する熱が必要となる. この熱確保は透析治療の継続的実施にあたり必須であり, 温水の生成及び供給に関する制御動作を保証するエネルギーマネジメントシステムの設計は重要な技術課題である. 本報告では, 透析の医療機関の実測データを基に温水供給システムの動特性に関するモデリングを行うとともに, 機器の故障及び再稼働などの取り巻く環境変化に対応し重要負荷への温水供給を継続する制御器を線形時相論理式を用いて設計する. さらに, ハード及びソフトウェアを組み合わせた研究室内シミュレータにより設計した制御器の動作を実験的に確認する. |
| （英） | This report performs modeling of a hot-water supply system based on data measured in a medical institution for dialysis treatment and synthesis of its controller using formal method. Because dialysis treatment requires heat to warm a large amount of water to the body temperature, design of an energy management system guaranteeing the correctness of control actions for heat generation and supply is of technical importance. We develop a dynamic model of the hot-water supply system based on the measured data and synthesize a switching controller that dynamically reacts to a change of environment around the system affecting the supply such as failure and restart of equipments, and that archives the continuous supply of hot-water to a critical load. This controller is synthesised by describing specifications of the control actions with linear temporal logic. We experimentally confirm the execution of the synthesized controller with a laboratory simulator that combines hardware and software. | |
| キーワード | （和） | エネルギーマネジメントシステム / モデリング / 線形時相論理 / 温水供給システム / / / / |
| （英） | Energy management system / Modeling / Linear temporal logic / Hot-water supply system / / / / | |
| 文献情報 | 信学技報, vol. 116, no. 425, MSS2016-63, pp. 35-40, 2017年1月. | |
| 資料番号 | MSS2016-63 | |
| 発行日 | 2017-01-19 (MSS, SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | MSS2016-63 SS2016-42 |
|
| 研究会情報 | |
| 研究会 | MSS SS |
| 開催期間 | 2017-01-26 - 2017-01-27 |
| 開催地（和） | 京都工芸繊維大学 60周年記念館 2階大セミナー室 |
| 開催地（英） | Kyoto Institute of Technology |
| テーマ（和） | 一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2017-01-MSS-SS |
| 本文の言語 | 日本語 |
| タイトル（和） | 温水供給システムの実測データに基づくモデリングと制御に関する検討 |
| サブタイトル（和） | |
| タイトル（英） | A Study on Data-based Modeling of Hot-Water Supply System and its Controler Synthesis |
| サブタイトル（英） | |
| キーワード(1)（和/英） | エネルギーマネジメントシステム / Energy management system |
| キーワード(2)（和/英） | モデリング / Modeling |
| キーワード(3)（和/英） | 線形時相論理 / Linear temporal logic |
| キーワード(4)（和/英） | 温水供給システム / Hot-water supply system |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 齋藤 司 / Tsukasa Saito / サイトウ ツカサ |
| 第1著者 所属（和/英） | 京都大学 (略称： 京大) Kyoto University (略称： Kyoto Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 薄 良彦 / Yoshihiko Susuki / ススキ ヨシヒコ |
| 第2著者 所属（和/英） | 大阪府立大学 (略称： 阪府大) Osaka Prefecture University (略称： Osaka Prefecture Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 星野 光 / Hikaru Hoshino / ホシノ ヒカル |
| 第3著者 所属（和/英） | 京都大学 (略称： 京大) Kyoto University (略称： Kyoto Univ.) |
| 第4著者 氏名（和/英/ヨミ） | 引原 隆士 / Takashi Hikihara / ヒキハラ タカシ |
| 第4著者 所属（和/英） | 京都大学 (略称： 京大) Kyoto University (略称： Kyoto Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2017-01-26 14:30:00 |
| 発表時間 | 30分 |
| 申込先研究会 | MSS |
| 資料番号 | MSS2016-63, SS2016-42 |
| 巻番号（vol） | vol.116 |
| 号番号（no） | no.425(MSS), no.426(SS) |
| ページ範囲 | pp.35-40 |
| ページ数 | 6 |
| 発行日 | 2017-01-19 (MSS, SS) |
[研究会発表申込システムのトップページに戻る]