WEKO3
アイテム
実行可能な仕様記述におけるプラント制御システムの環境のモデル化
https://ipsj.ixsq.nii.ac.jp/records/14185
https://ipsj.ixsq.nii.ac.jp/records/14185cbf56b1c-e0d0-4e86-a599-c90ebda65e93
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-JNL3507017.pdf (873.5 kB)
|
Copyright (c) 1994 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Journal(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1994-07-15 | |||||||
| タイトル | ||||||||
| タイトル | 実行可能な仕様記述におけるプラント制御システムの環境のモデル化 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Modeling External Objects of Process Control Systems in Executable Specifications | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 論文 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| その他タイトル | ||||||||
| その他のタイトル | ソフトウェア工学 | |||||||
| 著者所属 | ||||||||
| 東京大学理学部情報科学科 | ||||||||
| 著者所属 | ||||||||
| 電気通信大学大学院情報システム学研究科情報システム設計学専攻 | ||||||||
| 著者所属 | ||||||||
| 電気通信大学大学院情報システム学研究科情報システム設計学専攻 | ||||||||
| 著者所属 | ||||||||
| 電気通信大学大学院情報システム学研究科情報システム設計学専攻 | ||||||||
| 著者所属 | ||||||||
| 電気通信大学大学院情報システム学研究科情報システム設計学専攻 | ||||||||
| 著者所属 | ||||||||
| 電気通信大学大学院情報システム学研究科情報システム設計学専攻 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information Science, Faculty of Science, Universitu of Tokyo | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information Systems Design, Graduate School of Information Systems, University of Electro - Communications | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information Systems Design, Graduate School of Information Systems, University of Electro - Communications | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information Systems Design, Graduate School of Information Systems, University of Electro - Communications | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information Systems Design, Graduate School of Information Systems, University of Electro - Communications | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information Systems Design, Graduate School of Information Systems, University of Electro - Communications | ||||||||
| 著者名 |
小林, 久浩
× 小林, 久浩
|
|||||||
| 著者名(英) |
Hisahir0, Kobayashi
× Hisahir0, Kobayashi
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | プラントの制御システムの構築のための仕様記述に対してのさまざまな研究がなされているが、このようなプラントの制御システムのモデル化を正確に行うためには、それを取り巻く環境のモデル化も重要な要素となる。特に、プラント制御システムの構築においては、その特質から、通常センサから連続的に生成されるような情報や、プラントを構成する設備間を流れるもの（例えば冷却水など）のそデル化が必要不可欠である。本研究では、プラント制御システムのモデル化をするときに特徴的に現れる以上述ぺたような外界の現象を、実行可能なオブジェクト指向仕様記述という枠組のなかで、どのように記述するぺきかを提案するものである、実世界のオブジェクトとの対応をとりつつ、連続・離散系を問わず両系を柔軟にサポートし、かつ多様なコンテキストで適用可能な部品化の概念を用いて再利用性を提供する。 | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116647 | |||||||
| 書誌情報 |
情報処理学会論文誌 巻 35, 号 7, p. 1402-1409, 発行日 1994-07-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7764 | |||||||
