{"product_id":"ieej-zt176280","title":"車載蓄電池を活用したビル内電力マネジメントの形式手法に基づく一設計","description":"\u003cp\u003e\u003cstrong\u003eカテゴリ: \u003c\/strong\u003e全国大会\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e論文No: \u003c\/strong\u003e6-280\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eグループ名: \u003c\/strong\u003e【全国大会】平成29年電気学会全国大会論文集\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e発行日: \u003c\/strong\u003e2017\/03\/05\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eタイトル(英語): \u003c\/strong\u003eA formal method-based synthesis of building power management using in-vehicle battery\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名: \u003c\/strong\u003e木村 祥子(大阪府立大学),薄 良彦(大阪府立大学),石亀 篤司(大阪府立大学)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名(英語): \u003c\/strong\u003eShoko Kimura(Osaka Prefecture University),Yoshihiko Susuki(Osaka Prefecture University),Atsushi Ishigame(Osaka Prefecture University)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eキーワード: \u003c\/strong\u003e電気自動車|形式手法|BEMS|線形時相論理\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e要約(日本語): \u003c\/strong\u003e本報告では、電気自動車（EV）を含む分散型電源を活用したビルディング内電力マネジメントを検討する。具体的には、ビル内配電系統のブレーカに相当する電力システムのスイッチを、システムを取り巻く環境の変化に応じてリアクティブに決定する制御ルールを設計する。このルールにより、重要度に応じてレベル分けされた負荷への電力を供給可能にする。本設計に向けて、EVの移動を含むビル内分散型電源並びに配電系統の動作要件を線形時相論理（LTL）で記述し、記述したLTLからオープンソフトウェアを用いてスイッチのオン／オフルールを表すオートマトンを生成する。\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e原稿種別: \u003c\/strong\u003e日本語\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePDFファイルサイズ: \u003c\/strong\u003e733 Kバイト\u003c\/p\u003e","brand":"IEEJ-PDF","offers":[{"title":"PDFダウンロード（一般価格440円\/会員価格220円） \/ A4 \/ 2","offer_id":46400550764783,"sku":"IEEJ-ZT176280-PDF","price":440.0,"currency_code":"JPY","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0718\/9512\/2159\/files\/IEEJ-PDF_f543c447-812d-4e4d-a368-5f13fed71a54.png?v=1744926301","url":"https:\/\/ieej.bookpark.ne.jp\/products\/ieej-zt176280","provider":"電気学会 電子図書館","version":"1.0","type":"link"}