{"product_id":"ieej-ld12024","title":"ATP閉そくシステムの形式化と証明","description":"\u003cp\u003e\u003cstrong\u003eカテゴリ: \u003c\/strong\u003e研究会(論文単位)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e論文No: \u003c\/strong\u003eLD12024\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eグループ名: \u003c\/strong\u003e【D】産業応用部門 リニアドライブ研究会\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e発行日: \u003c\/strong\u003e2012\/07\/19\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eタイトル(英語): \u003c\/strong\u003eFormalizing and Proving Automatic Train Protection and Block System\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名: \u003c\/strong\u003e黒田 智也(日本大学大学院理工学研究科),謝 国(日本大学大学院理工学研究科),望月 寛(日本大学理工学部),高橋 聖(日本大学理工学部),中村 英夫(日本大学理工学部)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名(英語): \u003c\/strong\u003eKuroda Tomoya(Graduate school of Science and Technology,Nihon University),Xie Guo(Graduate school of Science and Technology,Nihon University),Mochiduki Hiroshi(College of Science and Technology,Nihon University),Takahashi Sei(College of Science and Technology,Nihon University),Nakamura Hideo(College of Science and Technology,Nihon University)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eキーワード: \u003c\/strong\u003e列車システム|ＡＴＰ閉そく|形式手法|ＶＤＭ＋＋|Ｂ|Railway System|ATPB|Formal methods|VDM++|B\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e要約(日本語): \u003c\/strong\u003e低コストでの安全性と信頼性の確保等、既存の地方鉄道の効率性改善と再構築は、日本でますます重要な課題となっている。そこで、新たな鉄道システムとして、ATP閉そくシステムが提案されている。このシステムの信頼性向上のため、我々は形式的手法を用いた仕様の形式化と証明による整合性の保証を行った。\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e原稿種別: \u003c\/strong\u003e日本語\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePDFファイルサイズ: \u003c\/strong\u003e4,924 Kバイト\u003c\/p\u003e","brand":"IEEJ-PDF","offers":[{"title":"PDFダウンロード（一般価格330円\/会員価格220円） \/ A4 \/ 4","offer_id":46394010435823,"sku":"IEEJ-LD12024-PDF","price":330.0,"currency_code":"JPY","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0718\/9512\/2159\/files\/IEEJ-PDF_537206f1-f882-483b-b250-eb1ff15ef152.png?v=1744716728","url":"https:\/\/ieej.bookpark.ne.jp\/products\/ieej-ld12024","provider":"電気学会 電子図書館","version":"1.0","type":"link"}