電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ)
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 2017-01-26 14:30
温水供給システムの実測データに基づくモデリングと制御に関する検討
齋藤 司京大)・薄 良彦阪府大)・星野 光引原隆士京大
技報オンラインサービス実施中
抄録 (和) 本報告では, 透析の医療機関で得られた実測データ用いた温水供給システムのモデリング, 及び形式手法を用いた制御器設計について検討する. 透析治療では大量の水を人肌まで昇温する熱が必要となる. この熱確保は透析治療の継続的実施にあたり必須であり, 温水の生成及び供給に関する制御動作を保証するエネルギーマネジメントシステムの設計は重要な技術課題である. 本報告では, 透析の医療機関の実測データを基に温水供給システムの動特性に関するモデリングを行うとともに, 機器の故障及び再稼働などの取り巻く環境変化に対応し重要負荷への温水供給を継続する制御器を線形時相論理式を用いて設計する. さらに, ハード及びソフトウェアを組み合わせた研究室内シミュレータにより設計した制御器の動作を実験的に確認する. 
(英) 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

研究会情報
研究会 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.)
第5著者 氏名(和/英/ヨミ) / /
第5著者 所属(和/英) (略称: )
(略称: )
第6著者 氏名(和/英/ヨミ) / /
第6著者 所属(和/英) (略称: )
(略称: )
第7著者 氏名(和/英/ヨミ) / /
第7著者 所属(和/英) (略称: )
(略称: )
第8著者 氏名(和/英/ヨミ) / /
第8著者 所属(和/英) (略称: )
(略称: )
第9著者 氏名(和/英/ヨミ) / /
第9著者 所属(和/英) (略称: )
(略称: )
第10著者 氏名(和/英/ヨミ) / /
第10著者 所属(和/英) (略称: )
(略称: )
第11著者 氏名(和/英/ヨミ) / /
第11著者 所属(和/英) (略称: )
(略称: )
第12著者 氏名(和/英/ヨミ) / /
第12著者 所属(和/英) (略称: )
(略称: )
第13著者 氏名(和/英/ヨミ) / /
第13著者 所属(和/英) (略称: )
(略称: )
第14著者 氏名(和/英/ヨミ) / /
第14著者 所属(和/英) (略称: )
(略称: )
第15著者 氏名(和/英/ヨミ) / /
第15著者 所属(和/英) (略称: )
(略称: )
第16著者 氏名(和/英/ヨミ) / /
第16著者 所属(和/英) (略称: )
(略称: )
第17著者 氏名(和/英/ヨミ) / /
第17著者 所属(和/英) (略称: )
(略称: )
第18著者 氏名(和/英/ヨミ) / /
第18著者 所属(和/英) (略称: )
(略称: )
第19著者 氏名(和/英/ヨミ) / /
第19著者 所属(和/英) (略称: )
(略称: )
第20著者 氏名(和/英/ヨミ) / /
第20著者 所属(和/英) (略称: )
(略称: )
講演者
発表日時 2017-01-26 14:30:00 
発表時間 30 
申込先研究会 MSS 
資料番号 IEICE-MSS2016-63,IEICE-SS2016-42 
巻番号(vol) IEICE-116 
号番号(no) no.425(MSS), no.426(SS) 
ページ範囲 pp.35-40 
ページ数 IEICE-6 
発行日 IEICE-MSS-2017-01-19,IEICE-SS-2017-01-19 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会