JPH05307096A - 施設の運転を監視及び制御する装置並びに施設の運転を監視する方法 - Google Patents

Abstract

(57)【要約】 （修正有） 【目的】 原子力発電施設が設計条件内で運転されてい
るかどうかまた非常事態が存在するかどうかを決定する
ために該施設の条件または状態を表す方程式を生成し、
該方程式を実行する方法を提供する。 【構成】 本システムは、リレーショナルデータベース
管理システム１１２を含むＣＰＵ１００と、ディスク記
憶装置１１０と、マウス、キーボード、あるいは人間の
タッチを感知または検知できるタッチディスプレイとい
った入力装置１０４と、プリンタあるいはディスプレイ
の出力装置１０６で構成する。リレーショナルデータベ
ースは、論理的に相互関係のある一連のテーブルを含
み、記憶された複数の方程式を各々のステップが含んで
いる複数のステップから成る。

Description

【発明の詳細な説明】

【０００１】

【関連出願の説明】この発明は、下記のとおりのコンピ
ュータ制御手順（ＣＯＭｐｕｔｅｒｉｚｅｄ ＰＲＯｃ
ｅｄｕｒｅｓ（ＣＯＭＰＲＯ））に関するものであり、
その種々の面が米国特許第４８０３０３９号、第４８１
５０１４号及び第５０６８０８０号、１９８８年６月２
９日出願の米国出願第２１３０５７号、１９９０年２月
９日出願で特許査定された米国出願第４７９００７号、
１９９０年１月２３日出願で放棄された米国出願第４６
８６５６号、１９９１年３月２５日出願で放棄された米
国出願第６７４４８０号、及び１９９１年１０月７日出
願の米国出願第７７２８２６号に記載され、本書の参照
によってすべて合併されている。

【０００２】

【発明の背景】

【発明の属する技術分野】本発明は、一般に、原子力発
電施設の運転を監視する複合コンピュータ制御手順（Ｃ
ＯＭＰＲＯ）を生成および実行する方法に係わり、さら
に特定的には、該施設が設計条件内で運転されているか
どうかまた非常事態が存在するかどうかを決定するため
に該施設の条件または状態を表す方程式を生成し、該方
程式を実行する方法に係わる。

【０００３】

【先行技術の説明】コンピュータ制御手順（ＣＯＭＰＲ
Ｏ）は、たとえば、非常事態運転、正常時運転、異常時
運転、および警報時応答操作を含む、プラント運転手順
の実行を監視および制御するときに施設運転者を助ける
ために使うことを主として意図された、コンピュータ制
御の情報および制御システムである。コンピュータ制御
手順は、施設運転者が容易かつ論理的な仕方で手順を呼
び出してそれに従うことを可能にする。また同時にコン
ピュータ制御手順システムは、プロセスあるいは施設の
全体的な状況を把握できるようにするための並列情報を
施設運転者に提供する。コンピュータ制御手順は、あら
ゆる形式のプラント運転手順に使うことができる。大抵
のプラント運転手順は、コンピュータが容易に多くのパ
ラメータを同時並行的に監視できるので、自動化によく
適している。情報を並列的に提供することによってコン
ピュータ制御手順は、プラント運転者が全体的なプラン
トの応答動作に関して自分たちがどういう位置にいるか
を知る手助けとなる。

【０００４】原子力発電所に関しては正常時あるいは非
常事態いずれの条件の下でも文書化された正規のプラン
ト運転手順が、経験豊かな専門家によって前以って十分
に作成されている。これらの手順は、推奨される処置課
程に沿って施設運転者をガイドすることを意図するだけ
でなく、異常状態を検知しこれらの異常状態を処理する
ために正常時の処置課程の変更を推奨することも意図し
ている。

【０００５】コンピュータ制御手順、つまり複合運転手
順の実行の対話型コンピュータ監視方式は十分に確立さ
れており、たとえば米国特許第４８０３０３９号、第４
８１５０１４号及び第５０６８０８０号といった発行済
み特許となっている。複合運転手順を実行するための基
本システムの設計以後それに続く特許および特許出願
は、該基本システムの改善に集中しており、該基本シス
テムの根本的なソフトウェア構造に注目してはいなかっ
た。

【０００６】基本ソフトウェアの設計は、システムパラ
メータ（バルブ、ポンプ、発電機）と条件とを該ソフト
ウェア内に固定プログラム化していた。たとえば給水バ
ルブは、１００フィート／秒といったある一定の流量条
件を超えたときに動作できる。この条件はたとえば、
“もしバルブへの入力＞１００ならばバルブの条件＝
真”として該システムプログラム内に固定プログラム化
されていた。該ソフトウェアはコンパイルされた後に意
志決定ステップを明示的に含む実行可能なソースコード
となった。

【０００７】しかしながら、もし一つのパラメータを変
更しなければならなくなった場合には、そのシステムの
ソースコードも変更しなくてはならなくなり、こうして
システム全体に関するソースコードも再コンパイルが必
要となるであろう。この型式のコンピュータ制御手順シ
ステムの実現に必要となる編集、テスト、検証、あよび
正当性確認のために、この再コンパイルは高価なものと
なった。さらにシステム設計者は場合によっては、なん
千ステップものコンピュータプログラムを書いたり保守
したりするという骨の折れる仕事をしなければならなか
ったのである。

【０００８】

【発明の要約】本発明の一つの目的は、施設の運転を監
視するための方程式を運転時に作成しまた実行すること
である。

【０００９】本発明の他の目的は、システムのソースコ
ードを再コンパイルすることなしに条件を変更すること
である。

【００１０】また、本発明の目的は、リレーショナルデ
ータベースを使って該方程式の構成要素とこれらの方程
式間の論理関係とを記憶することであり、またこれらの
関係を使って方程式を生成することである。

【００１１】本発明のさらなる目的は、施設の物理的特
性と条件とを示すリレーショナルデータベースから合成
方程式と特異方程式と（composite and singular equat
ions）を生成することである。

【００１２】本発明のもう一つの目的は、該施設の全運
転状況を示す並列情報を同時並行的に監視しながら、一
つの手順を通してその手順の各ステップを監視し、また
順序付けることである。

【００１３】また、本発明の目的は、（１ステップまた
は１片の並列情報に関する）どのような条件違反を解決
するときにも施設運転者の手引きをすることである。

【００１４】上記の目的は、記述子、論理状態および設
定点を含む手順情報を記憶するためにリレーショナルデ
ータベースおよびその管理システムを利用する方法によ
って達成できる。これらの記述子、状態、および設定点
は、センサのデータがどのように評価されるかを表す特
異方程式と合成方程式を形成するように一緒に連結され
る。一旦これらの方程式が生成されると、これらの方程
式は個々に解剖されコンパイルされて、実行可能な表現
を形成する。コンパイルされた入口条件方程式は、施設
の条件違反が発生しているかどうかを決定するために、
評価され監視される。一旦違反が発生すると、施設運転
者に表示される予め決められた一速の処置課程または一
つの手順がコンピュータ制御手順によって推奨される。
システムは絶えず方程式を監視し評価して、施設運転者
がプロンプトに応答したときにだけ、次の手順／ステッ
プに進むであろう。

【００１５】これら手順情報方程式の構成要素は、プロ
グラム中にコードとして常駐しているのではなくて、シ
ステムプログラムへの入力として働く。こうして、ソフ
トウェアのコードに対する変更を必要とせずに、これら
の方程式に対して変更を行うことができる。方程式の構
成要素を含めて変更を受けやすいすべての手順情報をソ
フトウェアコードから隔離することにより、手順情報や
設定値の変更時のソースコードの変更の必要性が取り除
かれるであろう。

【００１６】本システムに対するこれらの利点は明らか
である。本発明は、手順的知識と設定点とをリレーショ
ナルデータベース内に記憶することによって、システム
の全体的な複雑さを低減できる。リレーショナルデータ
ベース内に記憶された手順情報を変更することをソース
コードの変更よりはるかに容易であるから、本発明はシ
ステムの保守を容易にする。本発明はまた、ユーザイン
タフェースのカスタマイズを容易にし、かつデータベー
ス内の文字列はどんな言語で入力してもよいからアプリ
ケーションを外国語用にすることを可能にする。

【００１７】他の目的と共に、続いて明白となるであろ
うこれらの利点は、本発明の一部を成す付属図面を参照
しながら以下にさらに十分に記載され請求される構成の
運転の詳細部分に存在しており、またこれらの付属図面
では一貫して等しい数字は等しい部分を指している。

【００１８】

【好ましい実施例の説明】本システムのハードウェアお
よびソフトウェアモジュールの概要を図１に示す。ソフ
トウェアモジュールは、ＣＰＵ１００として示されるよ
うに、商業的に利用可能なサンマイクロシステムズ（Su
n Micro Systems）社のワークステーション（Ｓｕｎ−
３またはＳｕｎ−４ワークステーション）上に好適に実
現される。ユーザ入力１０２は、マウス、キーボード、
あるいは人間のタッチを感知または検知できるタッチデ
ィスプレイといった入力装置１０４によってＣＰＵ１０
０に入力される。ＣＰＵ１００は、プリンタあるいはデ
ィスプレイといった出力装置１０６に出力する。ＣＰＵ
１００のオペレーティングシステムに望ましいのはサン
・オーエス（ＳＵＮ ＯＳ：登録商標）１０８（バージ
ョン３．０．３）である。ＣＰＵ１００は、リレーショ
ナルデータベース管理システム１１２を用いてディスク
記憶装置１１０上のリレーショナルデータベース内に手
順情報を記憶する。

【００１９】リレーショナルデータベースは関連する情
報の集まりである。本発明に従うリレーショナルデータ
ベースは論理的に相互関係のある一連のテーブルを含
む。該リレーショナルデータベースに記憶された複数の
方程式を各々のステップが含んでいる複数のステップか
ら成る複数の手順の中の一つの手順の例を図２（Ａ）に
示す。図２（Ｂ）は、一連のテーブルとして該リレーシ
ョナルデータベース内に記憶されている図２（Ａ）の手
順ＥＯのステップ１を示す。

【００２０】図２（Ａ）において、手順ＥＯのステップ
１は蒸気発生器チューブが破断しているかどうかを検証
するために評価される。手順ＥＯステップ１のサブステ
ップａは最初に、ポンプＡが動作しているかどうかを見
るためにポンプＡ動作インジケータを調べる。次に手順
ＥＯステップ１のサブステップｂは、該蒸気発生器の加
圧器レベルを示す加圧器センサを調べて加圧器レベルが
５０％より大きいかどうかを決定する。最後に、蒸気発
生器圧力が１０００ｐｓｉａより小さいかどうかを見る
ために、該蒸気発生器圧力センサが読み取られる。手順
ＥＯのステップ１は、もしａ）ポンプＡが動作してい
て、ｂ）加圧器レベルが５０％より大であって、かつ
ｃ）蒸気発生器圧力が１０００ｐｓｉａより小であれ
ば、蒸気発生器チューブが破断しているであろうという
ことを示す。すなわちすべての方程式が真である場合に
だけ、該チューブが破断したことになろう。それからま
たコンピュータ制御手順は出力装置１０６に表示される
ステップを施設運転者に提供し、そしてその運転者は蒸
気発生器チューブの破断を矯正するためにポンプＡの動
作を停止するといったステップを実行できる。

【００２１】図２（Ｂ）は、ＥＯというような手順番号
（PROCEDURE#）とステップ番号（STEP#）とサブステッ
プ番号（SUBSTEP#）と（ＤＳＳ）エンティティキー（DS
S ENTITIES KEY）とＯＲ＿Ｆｌａｇとを記憶しているス
テップテーブル（STEPS TABLE）の内容の一部を示す。
手順はステップを含み、またステップはサブステップを
含む。サブステップもサブサブステップを含むことがで
きるが、この例には示していない。

【００２２】図２（Ｂ）に例示したステップテーブルの
ＤＳＳエンティティキーはＤＳＳエンティティテーブル
内のエントリを指す。ＤＳＳエンティティテーブルは、
記述子番号と正状態と負状態と設定点とから成る。記述
子番号は記述子テーブル内のエントリを指す。記述テー
ブルは、記述子名と該記述子に関するコンピュータ変数
名と単位テーブルを指す単位番号とから成る。該ＤＳＳ
エンティティテーブルの正状態番号と負状態番号とはそ
れぞれ、正状態テーブル内のエントリと負状態テーブル
内のエントリを指す。該ＤＳＳエンティティテーブル内
の設定点の縦列（column）は番号から成る。

【００２３】正状態テーブルは、正状態番号と正状態と
状態方程式とから成る。正状態番号はＤＳＳエンティテ
ィテーブル内の正状態番号によって指示され、正状態テ
ーブルの横行（row）を識別する。正状態は“より大き
い”あるいは“より小さい”というように表現される論
理状態の正状態の記述であって、表示目的にのみ使われ
る。状態方程式は、たとえば、［コンピュータ変数名］
＜［設定点］といった方程式の各構成要素を定義するこ
とによって評価されるべき方程式の形を識別する。

【００２４】負状態テーブルは負状態番号と負状態とか
ら成る。負状態番号はＤＳＳエンティティテーブル内の
負状態番号によって指示される。負状態は、“より大で
ない”あるいは“より小でない”というように表現され
る論理状態の負状態の記述であって、表示目的にのみ使
われる。

【００２５】単位テーブルは単位番号と単位名とから成
る。単位番号は記述子テーブル内の単位番号によって指
示される。単位名はたとえばｐｓｉａというような記述
子の単位であって表示目的にのみ使われる。

【００２６】ステップテーブルによれば、手順ＥＯステ
ップ１は三つのサブステップａ、ｂおよびｃのみを含
む。これらのサブステップのおのおのは、このほかのテ
ーブル内に記憶されている内容に従って形成される一つ
の方程式である。形成されたこれらの方程式のおのおの
は、図２（Ａ）に示すようにそれぞれ手順ＥＯ、ステッ
プ１、サブステップａ、ｂ、ｃの条件を表す。ＤＳＳエ
ンティティキーは、これらの方程式を形成するための、
図２（Ｂ）に示されるテーブルのおのおのの間の関係を
記述するＤＳＳエンティティテーブルを指す。

【００２７】商業的に利用可能なソフトウェアシステム
であるイングレス（ＩＮＧＲＥＳ：商標名）あるいはオ
ウリカル（ＯＲＩＣＬＥ）といったリレーショナルデー
ターベース管理システム１１２は、図２（Ｂ）に示され
るテーブル内に記憶された情報の管理に手助けとなる。
イングレスは、１）ユーザからデータと命令を受け入れ
る、２）該データベースから情報を検索する、３）デー
タベースを更新する、４）データをフォーマット化して
ユーザに出力するといった四つの機能を自動的に提供す
る。これらの機能が使用可能であることにより、データ
ベース操作に必要とされるコーディングの労力が削減さ
れる。イングレスとユニックス（ＵＮＩＸ：商標名）と
Ｃ言語（Ｃ Language）に通じたこの技術に通常の熟練
度を有する人であれば、たとえば図２（Ｂ）に示すよう
なデータベースをアクセスし、ロードし、そして保守す
るためのこういう機能を使うのに適切なソフトウェアを
用意することができる。

【００２８】イングレスは、入口条件、ステップ、サブ
ステップ、記述子、状態、および設定点といった一つの
手順を生成するために必要なすべてのデータを記憶し、
検索するのに役立つ。施設の専門家はイングレス機能を
使って、前記のテーブル内の手順情報を記憶し、また図
２（Ａ）に示すようなテーブル間の関連した結合あるい
は関係を指定する。イングレスはまた、データベースの
現内容を見ること、特定のデータを探索すること、その
データに変更を行うこと、古いデータを削除すること、
新しいデータを追加することといった他の機能も用意し
ている。データベースの内容のハードコピー報告書を作
成するために、イングレスでは種々の報告書作成オプシ
ョンが利用可能である。

【００２９】データを検索、追加、変更、および削除す
る能力を自動的に提供することに加えてイングレスはデ
ータの保全性を保証している。データの一貫性は更新動
作の間中、自動的に保護されており、またソフトウェア
やハードウェアの障害の場合にデータベースがその元の
状態に完全に複元できるようにすべてのデータベース活
動の進行中のジャーナルは保存されている。イングレス
による妥当性検査もまたデータベースの保全性を保護す
る。すべての更新は、正当なエントリを保証するために
システム設計の専門家によって設定された一式の制約条
件に関してチェックできる。

【００３０】図１に示すように本発明は、１）リレーシ
ョナルデータベースの保守１１４（保守１１４）、２）
手順の作成と保守１１６（作成１１６）、３）手順の処
理１１８（処理１１８）という三つの主要なソフトウェ
アモジュールを持っている。これら三つのソフトウェア
モジュールは、データベース内に記憶されているものを
実行可能なソフトウェア方程式に変換することによっ
て、手順を生成し、それらの手順を実行するときに施設
運転者の役に立つ。これら三つのソフトウェアモジュー
ルのおのおのは組み込まれている構造化照会言語（ＳＱ
Ｌ：Structured(Standard) Query Language）を用いて
Ｃ言語で書かれていることが望ましい。

【００３１】これら三つのソフトウェアモジュールはお
のおの独立に実行可能なプログラムである。保守１１４
と作成１１６は、システムソフトウェアの実際の実行の
前にこれらのモジュールが実行しているということを意
味するオフラインで実行することが望ましい。処理１１
８は、原子力発電施設の実際の監視動作が始まるときに
オンラインで実行される。処理１１８は、リレーショナ
ルデータベース内に記憶されているデータから方程式を
定式化してコンパイルするためとこれらの方程式を運転
中に実行するためにレックス（Ｌｅｘ）１２２およびワ
イエイシーシー（ｙａｃｃ）１２４といった商業的に利
用可能なユニックスのユーティリティを利用する。Ｌｅ
ｘ１２２とｙａｃｃ１２４は、システムソースコードの
コンパイル時に方程式をコンパイルするときよりもむし
ろ運転中に方程式をコンパイルするときに役に立つ。Ｌ
ｅｘ１２２は語彙分析部の生成システムであり、またｙ
ａｃｃ１２４はコンパイラ書込みシステムである。本技
術に通常の熟練度を有する人であれば、これらのユーテ
ィリティを使って文字列を解剖し、コンパイルする方法
を理解できる。

【００３２】これらソフトウェアモジュールはまた、オ
フラインでのデータの入出力のためには商業的に利用可
能なウィンドウ４ジーエル（Ｗｉｎｄｏｗｓ４ＧＬ）、
また手順の処理モジュール１１８の実行のためにはオー
プン・ウィンドウ（ＯｐｅｎＷｉｎｄｏｗｓ）といった
ウィンドウシステム１２６を利用する。Ｗｉｎｄｏｗｓ
４ＧＬは、イングレス・リレーショナルデータベースと
通信するために作成１１６使用時に施設専門家を手助け
する。Ｗｉｎｄｏｗ４ＧＬはＳｕｎＯＳ１０８と通信し
て、リレーショナルデータベースにデータを入力した
り、そこからデータを検索したりするためのユーザイン
タフェース書式を施設専門家が作成するのを可能にす
る。Ｗｉｎｄｏｗｓ４ＧＬは、一つのアプリケーション
の中で任意の数のウィンドウを生成して会話的に書式や
メニューを設計したりテストしたりまた会話的にウィン
ドウの中にフィールド、ボタン、ビットマップ、その他
のビジュアルな要素を置いたりすることをプログラマに
可能とするビジュアルなエディタ、その他の機能を提供
することによって、プログラマのウィンドウ管理を容易
にする。保守１１４は、ユニックス・スクリプトを使っ
てデータベースを更新する。

【００３３】ソフトウェアモジュールの保守１１４は、
ディスク記憶装置１１０上に記憶されているデータベー
スの保全性とそのデータベースが最新のものであること
とを保証するためにジャーナル作成やチェッポイント検
査といった、データベースやディスク記憶装置１１０に
対する日常の保守作業を実行するときにデータベース管
理者を支援するユーティリティである。保守１１６はリ
レーショナルデータベース内のエントリを検証すること
はないが、データベースそれ自身が最新のものであって
アクセス権のない人によっては変更されないということ
を保証している。もしデータベースが正しく保守されな
ければ、複合運転手順の実行もまた間違ったものとなる
であろう。したがって、データベースの正確さは、シス
テムの正しい実行の最重要部分である。本技術に通常の
熟練度を有する人であれば、イングレス・コマンドを使
いながら前記のそしてユニックス・スクリプトによって
利用可能なデータベース保守機能を利用して保守１１４
の作業を実行することができる。

【００３４】ソフトウェアモジュールの作成１１６は、
処理１１８で手順情報が実行できるようにその手順情報
をリレーショナルデータベースにロードするための機能
である。入力すべき手順情報としては図２（Ｂ）に示す
ようにたとえば、ステップ番号、サブステップ番号、記
述子名、コンピュータ変数名、設定点、単位などがあ
る。施設専門家はウィンドウシステム１２６によって表
示される一連の書式を使う。これらの書式は類似の情報
が同じ書式の部分になるように手順情報を構成するであ
ろう。本技術に通常の熟練度を有する人であれば、前述
のように商業的に利用可能な、そしてイングレスによっ
て実行可能あるいは利用可能な機能を使って手順情報を
データベース内にロードすることができる。

【００３５】ソフトウェアモジュールの処理１１８は、
コンピュータ制御手順システムのオンライン処理機能を
表す。処理１１８は原子力発電施設を監視するための複
合運転手順方程式を生成し、実行することを含んでい
る。図３のブロック図は実行可能なソフトウェア方程式
を生成するための処理１１８のソフトウェアモジュール
を示す。データ構造作成部２００はリレーショナルデー
タベース管理システム１１２経由でディスク記憶装置１
１０上にあるリレーショナルデータベースから手順情報
２０２を生成する。

【００３６】データ構造作成部２００は本質上、ディス
ク記憶装置１１０上に記憶されているデータベースの内
容をローカルメモリにコピーする。データベースの内容
をローカルメモリにコピーする理由は、ディスク記憶装
置１１０上に記憶されているデータベースをトラバース
するのに要する時間を削減するためである。もしこのイ
ングレス・リレーショナルデータベースがもっと速いオ
ンラインアクセス性能を持っていれば、データ構造作成
部２００は必要ないであろう。Ｃデータ構造は容易にト
ラバースされるからシステムは遅くならないであろう。
したがって、ローカルメモリは使うことによって定義さ
れ、またリレーショナルデータベースからのデータは、
手順情報を記憶するためのメモリを用意しながらテーブ
ル型の構造を実現しかつこれらテーブル間の相互関係を
保持するたとえば“Ｓｔｒｕｃｔ”およびポインタまた
は“ｃｈａｒ＊Ｐｏｉｎｔｅｒ”といったＣ言語データ
構造の中に記憶される。すなわちリレーショナルデータ
ベース記憶に用いられる図２（Ｂ）のテーブル配置は、
このローカルメモリ内に保持される。

【００３７】データベーステーブルとこれらテーブル間
の相互関係といった結合情報とは、構造化照会言語とイ
ングレスとが備えているたとえばセレクト（ＳＥＬＥＣ
Ｔ）といったコマンドを用いてディスク記憶装置１１０
から読み取られる。リレーショナルデータベース内に記
憶されているテーブルとこれらテーブル間の関係とは、
各アプリケーションに従って施設専門家によって予め定
義される。これらのテーブルはＣデータ構造構成体を利
用することによってローカルメモリ内に読み込まれる。
たとえば施設専門家は、縦列のおのおのを作成してラベ
ル付けを行い、適当なデータを各横行、縦列に挿入する
ことによって、図２（Ｂ）に示すステップテーブルとい
った一つのテーブルを作成し、定義するであろう。本技
術に通常の熟練度を有する人であれば、ステップテーブ
ルを吟味し、またこの情報を保持するために対応するＣ
言語データ構造を作成することができる。

【００３８】該リレーショナルデータベース内に記憶さ
れているすべてのテーブルについて、この同じプロセス
が繰り返される。それからディスク記憶装置１１０内に
記憶されているテーブルの内容はたとえば構造化照会言
語コマンドＳＥＬＥＣＴを用いて読み取られ、対応する
Ｃデータ構造内に記憶される。したがって本技術に通常
の熟練度を有する人であれば、ディスク記憶装置１１０
上に記憶されているデータベースからのデータをローカ
ルメモリ内にコピーするためにイングレスと構造化照会
言語とが備えている機能を用いてＣデータ構造とＣ／Ｕ
ＮＩＸソフトウェアとを定義することができる。エント
リの存在しないテーブル内の場所ではどこでも、処理１
１８モジュールが実行を始めるとき最初にゼロまたはＣ
言語の“ｎｕｌｌ”が入力されるかあるいは省略指定さ
れるであろう。

【００３９】データ構造作成部２００がデータべースの
内容をローカルメモリ内に記憶した後、方程式作成部２
０４は図４に図示されたフローチャートに示すように方
程式、つまり数学的な式のおのおのを作成する。図４に
示すような方程式作成部２０４は、以前にはシステムソ
フトウェア内に固定プログラム化されていた方程式のお
のおのを作成する。

【００４０】合成方程式と特異方程式（composite equa
tions and singular equations）という２種類の方程式
がある。一つの合成方程式は複数の特異方程式から成
る。手順ＥＯ、ステップ１に関する図２（Ａ）に示す条
件のおのおの（サブステップａ、ｂ、およびｃ）につい
て、一つの記述子と一つの論理状態とそして必要ならば
一つ以上の設定点とを一緒に連結することにより、一つ
の対応する特異方程式が作られる。

【００４１】一つの記述子は、リレーショナルデータベ
ースに記憶されている、原子力発電所の多くのバルブ、
ポンプ、発電機、引外し遮断器、あるいは類似の物理機
能の中の一つを表す。たとえば図２（Ａ）に示す条件、
手順ＥＯ、ステップ１、サブステップａに関する記述子
は“ポンプＡ”である。同様に手順ＥＯ、ステップ１、
サブステップｂおよびｃという条件に関する記述子はそ
れぞれ“加圧器レベル”と“蒸気発生器（Ｓ．Ｇ）圧
力”である。これらの記述子は記述子名の下に記述子テ
ーブルＣデータ構造内に記憶される。該記述子テーブル
Ｃデータ構造は、ＤＳＳエンティティテーブルＣデータ
構造内に記憶されている記述番号によって指示され、ま
たこのＣデータ構造はステップテーブルＣデータ構造の
ＤＳＳエンティティキーによって指示される。該記述子
テーブルＣデータ構造内に記憶されているコンピュータ
変数名は、施設のセンサが走査されたときに得られるセ
ンサ値に関する一意な識別子を表す。

【００４２】方程式のおのおのに関する論理状態は、記
述子が設定点の値とどのような関係になっているかを表
す。論理状態はたとえば、＜、＞、＝、ＡＮＤおよびＮ
ＯＲなどをとることができる。図２（Ａ）に示す手順Ｅ
Ｏ、ステップ１、サブステップｂに関する論理状態は
“より大きい”である。手順ＥＯ、ステップ１、サブス
テップａに関する論理状態は、ポンプは動作中か動作し
ていないかのどちらかであるから真か偽のどちらかであ
って、これは単にポンプＡのｏｎ／ｏｆｆスイッチセン
サを調べるだけで決定される。

【００４３】図２（Ｂ）に示す正状態テーブルデータ構
造は方程式のおのおのについて一つの状態方程式を記憶
する。該状態方程式は、どんな構成要素が比較されてい
るかということと、たとえば“＜”というような構成要
素間の論理比較を実行するために使われる論理演算子と
を定義することによって方程式の形を定義する。図２
（Ｂ）に示すように手順ＥＯ、ステップ１、サブステッ
プｂの論理状態（状態方程式）の例は、“＜”という論
理状態の手順ＥＯ、ステップ１、サブステップｃとは対
照的に“＞”である。

【００４４】ＤＳＳエンティティテーブルの設定点の値
は対応する記述子が真または偽のどちらかとなるある条
件を表す一つの数である。図２（Ａ）に示すように手順
ＥＯ、ステップ１、サブステップｂおよびｃに関する設
定点の値は設定点の下にそれぞれ５０および１０００と
してＤＳＳエンティティテーブルＣデータ構造内に記憶
される。

【００４５】方程式作成部２０４は、あるステップおよ
びサブステップに関連した方程式の出現ごとにＣデータ
構造を探索することから始まる。たとえば図２（Ｂ）に
示すステップテーブルというようなあるＣデータ構造
“Ｓｔｒｕｃｔ”テーブルを一つのポインタが指す。手
順番号とステップ番号とに関するＣデータ構造が読み取
られ、変数として記憶される。

【００４６】合成方程式のラベルは、方程式作成部２０
４によって生成される（ステップ３０２）。たとえば第
１の手順番号はステップテーブルＣデータ構造から読み
取られる。該手順番号は直後に“：”を伴った合成方程
式文字列の中に記憶される。ステップ番号はステップテ
ーブルデータ構造から読み取られ、一つの文字列に変換
され、そして該合成方程式文字列内の“ＥＯ：”の後に
記憶される。該合成方程式文字列内のステップ番号の後
に“：＝”が挿入されて“ＥＯ：１：ａ：＝”となる。
ここでＥＯ：１：ａは該方程式の結果を記憶するラベル
である。

【００４７】その次の手順番号とステップ番号とがＣデ
ータ構造から読み取られ（ステップ３０４）、変数の手
順番号とステップ番号とに比較される（ステップ３０
６）。もし該手順番号またはステップ番号のどちらかが
異なっているならば、これは該合成方程式の終わりを示
していることになろう。それから該合成方程式はファイ
ル（図にはない）内に記憶される（ステップ３０８）。
すべての特異方程式と合成方程式を含むこのファイル
は、パーサ（構文解析部）とコンパイラに送られる。該
合成文字列はＣ言語の“ｎｕｌｌ”にセットされる（ス
テップ３１０）。もし該手順番号とステップ番号とがＣ
言語の構成体によって示されるようなステップテーブル
Ｃデータ構造の終わりを指すならば（ステップ３１
２）、該方程式作成部は中止となる。そうでなければ該
方程式作成部はその次の合成方程式のラベルを作成する
（ステップ３０２）。

【００４８】もしその次の手順番号とステップ番号が同
じであれば、該合成方程式の論理演算子は読み取られて
合成文字列内に記憶される（ステップ３１６）。たとえ
ば手順ＥＯ、ステップ１、サブステップａに関してステ
ップテーブルＣデータ構造内に記憶されたＯＲ＿Ｆｌａ
ｇエントリが読み取られる。もしその結果がＣ言語の
“ｎｕｌｌ”であれば、該合成方程式文字列の終わりに
なにも付加されない。もし結果が真であれば、該合成方
程式文字列の終わりに文字記号“１”（ＯＲ論理演算）
が付加される。もし結果が偽であれば、該合成方程式文
字列の終わりに文字記号“＆”（ＡＮＤ論理演算）が付
加される。この例ではＯＲ＿Ｆｌａｇはｎｕｌｌであ
る。このときには該合成文字列の終わりになにも付加さ
れない。

【００４９】次に、一つの特異方程式に関して一つのラ
ベルが生成される（ステップ３１８）。たとえば手順Ｅ
Ｏ、ステップ１、サブステップａを表す方程式を示すポ
インタはステップテーブルＣデータ構造内のエントリを
指すであろう。該Ｃデータ構造から手順番号文字列“Ｅ
Ｏ”を読み取ることによって特異方程式のラベルが生成
され（ステップ３１８）、そしてそれは変数文字列内に
記憶される。“ＥＯ”もまた該合成方程式文字列の終わ
りに付加される。それから該変数文字列と合成方程式文
字列のその次の利用可能なスペースに“：”が入れられ
る。ステップテーブルデータ構造からステップ番号が読
み取られ、文字に変換され、次に変数文字列と合成文字
列との中のその次の位置に記憶される。該変数文字列お
よび合成方程式文字列内のその次の位置に、もう一つの
“：”が挿入される。それからステップテーブルデータ
構造からサブステップ番号が読み取られ、変数文字列お
よび合成方程式文字列内に記憶される。該変数方程式文
字列内のサブステップ番号の後に“：＝”が記憶され
る。すべての方程式は、手順番号とステップ番号とそし
てもし合成方程式でなければサブステップ番号とから成
るラベルで始まる。このラベルは該方程式の結果を記憶
するためにパーサとコンパイラによって使われ
る。“：”は文字として表現されたこれらの番号のおの
おのを分離するものである。

【００５０】一つの記述子と一つの論理演算子と一つ以
上の設定点とが一緒に連結されて一つの特異方程式を形
成する（ステップ３２０）。たとえばＤＳＳエンティテ
ィキーのポインタと値とに基いてＤＳＳエンティティテ
ーブルＣデータ構造から一つの正状態番号が読み取られ
る。ＤＳＳエンティティテーブルＣデータ構造内の該正
状態番号は正状態テーブル内に記憶されている該正状態
番号の値を指すポインタである。該正状態番号のポイン
タと値とに基いて、状態方程式が一つの文字列内に読み
込まれる。もし該状態方程式の文字列が［コンピュータ
変数名］を含むならば、記述子テーブルＣデータ構造か
ら該コンピュータ変数名が読み取られて［コンピュータ
変数名］に代入される。もし該状態方程式が［設定点］
を含むならば、ＤＳＳエンティティテーブルＣデータ構
造から該設定点が読み取られて［設定点］に代入され
る。それから該状態方程式の文字列は変数文字列内に記
憶される。したがってこの連結された文字列方程式は、
１個の記述子と論理演算子と設定点とを含む。

【００５１】この例では、ＤＳＳエンティティテーブル
内の一つのＤＳＳエンティティキー値を指すポインタで
あるＤＳＳエンティティキーを読み取ることによってコ
ンピュータ変数名が読み取られる。このポインタは、Ｄ
ＳＳエンティティテーブル内のエントリの最初の組を指
す。ＤＳＳエンティティキーのポインタと値とに基い
て、ＤＳＳエンティティテーブルＣデータ構造内に記憶
されている記述子番号が読み取られる。ＤＳＳエンティ
ティテーブルデータ構造内の記述子番号は、記述子テー
ブルＣデータ構造内に記憶されている記述子番号の値を
指すポインタである。記述子番号のポインタと値とに基
いて、記述子テーブルＣデータ構造内に記憶されている
コンピュータ変数名が読み取られて状態方程式の文字列
内に代入される。

【００５２】この例では設定点の値は、ＤＳＳエンティ
ティキーのポインタと値とに基いて、ＤＳＳエンティテ
ィテーブルＣデータ構造から読み取られる。手順ＥＯ、
ステップ１、サブステップａおよびｂに関する設定点の
値は、それぞれ５０および１０００である。これらの値
は、文字列に変換されて状態方程式の文字列に代入され
る。

【００５３】一旦、状態方程式の文字列が変数文字列内
に記憶されると、その結果は手順ＥＯ、ステップ１、サ
ブステップａについての一つの方程式になる。それから
変数文字列内の連結された方程式は一つのファイル（図
示してない）に記憶される（ステップ３２０）。このフ
ァイルは、一たびすべての方程式が生成されたときにコ
ンパイラとパーサ（parser）に送られる。コンパイラ、
パーサ、ｙａｃｃ、およびＬｅｘによって実行される機
能については、このアプリケーションの中で後述する。

【００５４】変数文字列がファイルに記憶された（ステ
ップ３２０）後に、その次の手順番号とステップ番号が
読み取られてその前の手順番号とステップ番号とに比較
される（ステップ３０４）。もし比較の結果が真であれ
ば、該手順／ステップに関する特異方程式のすべては生
成されているのである。したがってそれから該合成方程
式はファイル内に記憶されて（ステップ３０８）、“ｎ
ｕｌｌ”にセットされる（ステップ３１０）。

【００５５】手順ＥＯ、ステップ１、サブステップｂお
よびｃを表す方程式はサブステップａに関して上述した
と同じ仕方で生成される。事実上、各入口条件、手順／
ステップ、および並列情報に関するすべての特異方程式
と合成方程式は前記と同じ方法によって生成される。手
順ＥＯ、ステップ１に関してその結果得られた特異方程
式と合成方程式を図５に示す。

【００５６】これらの特異方程式のおのおのの結果は真
か偽のどちらかとなろう。この結果は原子力発電施設が
正しく運転されているかどうかを決定するのに役立つ。
図５に示す合成方程式の評価は図２（Ａ）に述べた手順
に関して蒸気発生器チューブが破断しているかどうかを
表す。もしその評価の結果が真であれば、これは、ポン
プを止めるとか圧力レベルを下げるとかというようにそ
の蒸気発生器の破断を矯正するために実行すべき手順を
指示する警告メッセージまたは違反メッセージを知らせ
ることができる。

【００５７】方程式作成部２０４によって各方程式が作
成された後に、コンパイラ２０６は該特異方程式と合成
方程式の文字列すべてを含むファイルを方程式作成部２
０４から読み取り始める。強力なユニックスユーティリ
ティのＬｅｘ１２２およびｙａｃｃ１２４と一緒にパー
サ２０８はスタック２１０とテーブル２１４および２１
６とをコンパイルする。パーサ２０８は方程式作成部２
０４によって文字列として生成されている方程式を解析
する。パーサ２０８は単純な式と複雑な式の両方を取り
扱うことができる。本技術に通常の熟練度を有する人で
あれば、商業的に利用可能なユニックスユーティリティ
であるＬｅｘとｙａｃｃを使って文字列を解析してコン
パイルすることができる。

【００５８】ユニックスユーティリティＬｅｘ１２２は
パーサ２０８によって認識された“トークン（token
s）”を定義するために使われる。これらのトークンに
は種々の型式の許容しうる変数、演算子（すなわち、
＝、＋、−、＊、／、＜、＞、など）、関数、および組
込み定数がある。このほかのユニックスユーティリティ
ｙａｃｃ１２４は入力ストリームに関するあるいはユー
ザ定義の方程式に関するルールと構造とを定義するため
の一般的ツールを備えている。Ｌｅｘ１２２は、ユーザ
定義の方程式２０２からトークンを選択して入力構造ル
ールに従ってこれらの方程式を編成するためにｙａｃｃ
１２４によって使われる下位レベルのルーチンである。
こうしてｙａｃｃ１２４がシステム定義の方程式内でこ
れらのルールを認識すると、コンパイラ２０６はＬｅｘ
１２２およびｙａｃｃ１２４をベースとした関数を呼び
出して、プログラムスタック２１０と入口点テーブル２
１４と記号テーブル２１６とを生成する。

【００５９】コンパイラは、おのおのの方程式について
演算を行うためにパーサ２０８とＬｅｘ１２２とｙａｃ
ｃ１２４とを引き続き使用する。方程式作成部２０４に
よって生成された文字列方程式は予め決められた内容を
持っているのではなく、原子力発電所のシステム設計者
によって決められるということに注目すべきである。コ
ンパイラは予め決められた論理によって導かれた順序に
従う。この論理はシステムの柔軟性のキーとなるもので
ある。

【００６０】コンパイラは、通常の演算を用いて記号テ
ーブル２１６とプログラムスタック２１０と入口点テー
ブル２１４とを作成する。図５の特異方程式と合成方程
式とに関するプログラムスタック２１０を図６に示す。
見られるように一つの方程式の最初のエントリはその結
果が記憶される場所のラベルである。次は論理演算子で
あって残りの二つのエントリはオペランドである。合成
方程式に関しても類似の配置が存在する。ここでは図６
に示すようにすべての論理演算子が最初に与えられ、続
いてオペランドが来る。

【００６１】上に述べたようにプログラムスタック２１
０はここでは擬似命令と呼ばれる実行可能な命令とオペ
ランド名とを含む。これらの擬似命令には、（ｉ）なに
かのライブラリ関数だけでなく、演算子からなる一式の
プリミティブを実行する要求または演算子と、（ｉｉ）
他のユーザ定義のプログラムセグメントを実行する要求
と、（ｉｉｉ）記号テーブルからコンテキストスタック
２１２上にアドレスまたは値をプッシュする要求とがあ
る。

【００６２】入口点テーブル２１４はコンパイルの終わ
りにプログラムスタックを指すポインタを含む。これら
の入口点ポインタは並列情報方程式、入口条件方程式、
および手順／ステップ方程式を指す。記号テーブル２１
６は一時的変数と定数と組込み関数とを指すポインタを
含む。図１および図７に示す処理手順１１８はコンテキ
ストスタック２１２と入口点テーブル２１４と記号テー
ブル２１６とに従って、プログラムスタック２１０上に
記憶されている方程式を実行して評価する。

【００６３】図７はソフトウェアモジュールの処理１１
８によって実行されるオンライン処理のフローチャート
である。データ構造作成部２００はステップ４００をア
クセスし、ディスク記憶装置１１０上に記憶されている
リレーショナルデータベースをローカルメモリ（ステッ
プ４０２）にコピーする。方程式作成部２０４は、図３
および図４に示した方法によって論理方程式のすべてを
生成する（ステップ４０４）。

【００６４】入口条件特異方程式および入口条件合成方
程式のおのおのが真であるか偽であるかを決定すること
によって最初に入口条件方程式が評価される（ステップ
４０６）。これらの方程式の評価と実行は入口点テーブ
ル２１４とプログラムスタック２１０とコンテキスト
（データ）スタック２１２と記号テーブル２１６とを用
いて実行される。実行は入口条件方程式に関する開始点
を指す入口点テーブル２１４から始める。これらの方程
式はたとえば、従来の逆ポーランド記法型（reverse po
lish notation type）のスタック実行法を用いて評価あ
るいは実行される。たとえば図５に示す特異方程式Ｅ
Ｏ：１：ａ、ＥＯ：１：ｂおよびＥＯ：１：ｃと合成方
程式とを実行するために、図６に示すプログラムスタッ
クが使われる。この実行の期間中、実行のための変数の
実際の値を取得するためおよびその結果を記憶するため
に、変数名から該変数の記憶場所への相互参照となる記
号テーブル２１６が使われる。検索された変数と中間結
果を記憶するためにデータスタック２１２が使われる。

【００６５】この時点では施設の違反（ステップ４１
０）が発生しているかどうかを決定するために入口条件
方程式だけが評価される。もし違反が発生していなけれ
ば、入口条件方程式の評価（ステップ４０６）と評価結
果の監視（ステップ４０８）は、誤動作を知らせるべき
条件違反が原子力発電施設に発生するまで続行される。
システム設計の専門家はある違反を知らせるためにどん
な入口条件方程式が必要とされるかを決定する。これら
の方程式はシステム設計の専門家によって前以て開発さ
れるものであって、原子力発電施設、石炭火力発電施設
あるいは化学処理施設といったどんな施設が監視されて
いるかによる。

【００６６】いくつかの手順の一つに関するすべての入
口条件方程式によって指示されるように一度ある違反が
発生すると（ステップ４１０）、その手順のヘッダに基
いて手順番号とステップ番号がセットされる（ステップ
４１２）。それから該手順が取得されて、運転者に表示
される。たとえば図８に示すようにもし方程式ａ、ｂ、
およびｃのすべてが真であれば、方程式ａ、ｂ、および
ｃはプログラムスタック２１０上の手順ヘッダＥＯステ
ップ１に従うから手順ＥＯ、ステップ１が実行されるで
あろう。たとえば手順ＥＯ、ステップ１はポンプＡを停
止させることを要求するかもしれない。もしそうであれ
ば、運転者にポンプＡの停止を命じるメッセージがディ
スプレイ画面によってプラント運転者に送られ、表示さ
れる。同様にもし手順Ｅ１に従う並列情報方程式のすべ
てが真であると評価されれば、手順Ｅ１が実行されるで
あろう。

【００６７】一度手順番号とステップ番号がセットされ
ると（ステップ４１２）、その手順に関連する方程式の
すべてが評価される（ステップ４１４）。この評価手順
は入口条件方程式の評価に関して前に述べたことと同じ
である。どの手順のどのステップが現在実行中であるか
を示すために現手順番号と現ステップ番号が決定される
（ステップ４１６）。この決定はローカルメモリ内に記
憶されている現手順番号と現ステップ番号を参照するこ
とによって行われる。

【００６８】この手順ステップに関する方程式のすべて
が評価されたけれども（ステップ４１４）、このステッ
プに関連する方程式だけが監視される（ステップ４１
８）。監視作業は、該メッセージの原因となった条件が
消えるまで、あるいは運転者がそのメッセージを無効に
するまで絶えず方程式を吟味することと関連メッセージ
を作成することとを含む。これらのステップに関連する
方程式が評価（実行）されたけれども、これらのステッ
プのこのほかの結果についてはなにも監視されない。

【００６９】該手順の処置ステップは、図８に示すよう
にディスプレイ装置５００の画面の現ステップボックス
５０２の所に表示される（ステップ４１８）。現ステッ
プボックス５０２に表示されるテキストは施設運転者に
よる期待される処置あるいは応答である。各ステップは
実行すべきタスクを記述したハイレベル文を含む。もし
このハイレベルタスク（ステップ）が複数の処置を必要
とするならば、サブタスク（サブステップ）が指定され
る。各タスクまたはサブタスクに続いて、期待される応
答または結果が与えられる。処置のステップは施設運転
者がまっすぐにリストの下方に進むことができるように
書かれている。この表示はすべての予期される条件と、
その手順の明示された目的を遂行するために必要とされ
る検査または施設運転者が行うべき処置課程とを含む。

【００７０】施設運転者が取るべき推奨される処置課程
を示すプロンプト（prompt）が表示される（ステップ４
１８）。プロンプトはユーザプロンプト５０４の場所に
図８に示すように表示される。このプロンプトは運転者
がこれに応答するまで（ステップ４２４）、引き続いて
表示されるであろう。

【００７１】処置ステップとプロンプトを表示する（ス
テップ４１８）に加えて、期待される応答が得られたか
どうかを決定するためにステップが検査される。もし期
待される応答が得られなければ、違反が存在するのであ
って、出力装置１０６は図８に示す現ステップボックス
５０２の中に異常事態命令を表示する（ステップ４２
２）。このディスプレイはまた施設運転者によって選択
された推奨される応答が取得されなかったかどうかを現
ステップボックス５０２の中に表示する。現ステップボ
ックス５０２の中に表示されるほとんどすべての処置ス
テップはなんらかの異常事態処置文を含む。もし異常事
態処置文が用意されていなければ、システムは図８に示
す将来ステップ５０６に表示される次のステップまたは
サブステップに進み、そして現手順方程式が再び評価さ
れる（ステップ４１４）。

【００７２】システムが次のステップまたは手順に進む
前にユーザ応答が要求される。施設運転者が応答するこ
とのできる（ステップ４１８）または（ステップ４２
２）を実行することをそのステップに推奨するプロンプ
トが図８に示すユーザプロンプト５０４の所に表示され
る。一旦、この施設運転者が応答すると（ステップ４２
４）、この応答は運転者がその推奨されている処置課程
を続行したいのかどうかを決定するためにチェックされ
る。もしその施設運転者が指示された処置課程、たとえ
ばプロンプト（ステップ４１８）または（ステップ４２
２）によって表示されるようなその手順の次の関連ステ
ップまたは手順の一部を続行したいのであれば、表示さ
れた手順番号とステップ番号は指示された値にセットさ
れる（ステップ４１２）。もし、施設運転者が現手順の
監視作業の中止（ステップ４２８）を選択するならば、
プログラムは入口条件の評価と監視（ステップ４０６）
に戻る。

【００７３】すべての並列情報方程式は現手順ステップ
方程式の評価と監視と共に同時並行的に評価される（ス
テップ４３０）。入口条件方程式の評価に関して前に述
べたようにもう一度評価が行われる。並列情報にはたと
えば、注記と注意と折込みページとそして開始されたけ
れども現在アクティブな手順ステップを出るときに完了
されなかったパラメータや構成要素状態の変化とがあ
る。並列情報にはまた、たとえば蒸気発生器レベルをあ
る一定値に維持することといった単一の手順ステップよ
り多くのことについて監視する必要のある大域的パラメ
ータあるいは連続的に制御されるパラメータもある。並
列情報方程式はリレーショナルデータベース内に記憶さ
れており、また図２（Ａ）および（Ｂ）に示す手順／ス
テップ方程式と似た方法で生成される。

【００７４】手順番号とステップ番号は、実行される並
列情報が現在実行中のステップと関連付けられるように
上述と似た方法で決定されるであろう（ステップ４３
２）。ある並列情報は大域的であって、常に評価される
であろう。もし完了された手順ステップ（またはサブス
テップ）、注記、または注意が連続的に制御すべきパラ
メータを含むならば（ステップ４３２）、システムは関
連する方程式のどれかが偽と評価されるまでそのパラメ
ータを監視するであろう（ステップ４３４）。

【００７５】条件違反が発生しているかどうか（ステッ
プ４３６）を決定するために、並列情報方程式の評価結
果が監視される（ステップ４３４）。もし並列情報にお
けるある手順に関する関連方程式のすべてが真であるな
らば、その手順について違反が発生している。もし並列
情報に違反が発生したならば（ステップ４３６）、図８
に示す並列情報５０６の所に運転者に対して警報メッセ
ージが発行され、そして運転者が取るべき推奨される処
置課程を与えるプロンプトがユーザプロンプト５０４の
所に表示される（ステップ４３８）。このプロンプトが
図８に示すユーザプロンプト５０４の所に表示された後
（ステップ４３８）、該違反にもかかわらず並列情報方
程式の評価は続行されるであろう。

【００７６】施設運転者はこのコンピュータ制御手順シ
ステムの運転を完全に制御できるであろう。このシステ
ムは施設運転者による応答がなければいかなる理由でも
次のステップまたは手順に進むことはないであろう。手
順／ステップのループと並列情報のループは同時並行的
に実行している。実行すべき矯正的な手順とステップを
指示するプロンプトが表示される（ステップ４１８、４
２２および４４０）。システムは施設運転者の応答を待
つであろう。しかしながら、手順／ステップのループと
並列情報ループは並行して実行を続けるであろう。図８
に示すユーザプロンプト５０４の所に表示されたプロン
プトに施設運転者が応答した（ステップ４２４、４２
６）後でだけ、システムは次のステップまたは手順に進
むであろう。もし運転者がこの手順を中止するならば、
手順および並列情報の監視は停止され（ステップ４２
８）、そしてシステムはシステム違反についての入口条
件方程式の評価と監視に戻る（ステップ４０６）。

【００７７】本発明の多くの特徴と利点は本明細書から
明らかである。こうして本発明の精神と範囲の内に入る
本発明のすべてのこういった特徴と利点をカバーするこ
とは、記載の請求の範囲が意図するところである。さら
に、本技術に熟練した人々に対して必然的に変更と変化
が起こるであろうから、本発明は説明され記述されてい
るこの厳密な構造と運転とに限定されるものではない。
したがって、本発明の範囲に入るすべての適当な変更お
よびこれと同等のものは本発明に再分類されよう。さら
に、本発明は原子力発電所を監視するという文脈で説明
されているが、他の形式の発電所あるいは複合運転施設
のアプリケーションにも即座に適用可能であるというこ
とは十分に理解し得る所である。

【図面の簡単な説明】

【図１】図１は、本発明によるシステムを示すブロック
図である。

【図２】図２（Ａ）は、本コンピュータ制御手順システ
ム内に実現された多くの手順ステップの一つを示し、同
図（Ｂ）は、一連のテーブルとしてリレーショナルデー
タベース内に記憶された一つの手順ステップを示す図で
ある。。

【図３】図３は、方程式の生成と実行を示すブロック図
である。

【図４】図４は、方程式生成部の動作を示すフローチャ
ートである。

【図５】図５は、複数の連結された特異方程式と１個の
連結された合成方程式との文字列の例を示す図である。

【図６】図６は、プログラムスタックを示す図である。

【図７】図７は、複合運転手順の生成と実行を示すフロ
ーチャートである。

【図８】図８は、情報が表示画面上のどこに表示される
かを示す図である。

【符号の説明】

１００ ＣＰＵ １０４ 入力装置 １０６ 出力装置 １１０ ディスク記憶装置 １１２ リレーショナルデータベース管理システム １１４ リレーショナルデータベースの保守 １１６ 手順の作成と保守 １１８ 手順の処理 １２６ ウィンドウシステム

───────────────────────────────────────────────────── フロントページの続き (72)発明者 フランシーヌ・エス・ピトケーン アメリカ合衆国、ペンシルベニア州、ピッ ツバーグ、イングルウッド・ドライブ 325 (72)発明者 ロジャー・アンドリュー・マンディ アメリカ合衆国、ペンシルベニア州、ノー ス・ハンチンドン、タラ・ドライブ 1995

Claims (2)

【特許請求の範囲】
1. 【請求項１】 施設の運転を監視及び制御する装置であ
   って、パラメータから方程式を生成するための手段と、
   前記方程式を実行して前記施設の運転時に条件違反が存
   在するかどうかを決定するための手段とを備えた施設の
   運転を監視及び制御する装置。
2. 【請求項２】 発電所である施設の運転を監視する方法
   であって、 （ａ） リレーショナルデータベースに記憶されている
   パラメータから、入口条件方程式、手順ステップ方程
   式、及び並列情報方程式を生成するステップと、 （ｂ） 前記入口条件方程式を評価して、初期条件違反
   が発生したかどうかを決定するステップと、 （ｃ） 前記入口条件方程式を監視して、前記初期条件
   違反を補正する複数の手順の中の一つの手順を自動的に
   決定するステップと、 （ｄ） 前記初期条件違反が発生するまでステップ
   （ｂ）及び（ｃ）を繰り返すステップと、 （ｅ） 実行すべき手順のステップの中の一つのステッ
   プを決定して、前記初期条件違反を補正するステップ
   と、 （ｆ） 前記手順のすべてのステップのすべての方程式
   を評価するステップと、 （ｇ） 前記ステップに対応する前記手順ステップ方程
   式の結果を監視するステップと、 （ｈ） 手順ステップ違反が発生したかどうかを決定す
   るステップと、 （ｉ） もし前記手順ステップ違反が発生したならば手
   順ステップメッセージを出力するステップと、 （ｊ） ステップ（ｅ）〜（ｉ）を実行すると同時に前
   記並列情報方程式のすべてを評価するステップと、 （ｋ） 前記ステップと関連する並列情報方程式及び前
   記並列情報方程式を監視するステップと、 （ｌ） ステップ（ｋ）における監視の結果から、前記
   施設の並列情報違反が発生しているかどうかを決定する
   ステップと、 （ｍ） もし前記並列情報違反が発生しているならば並
   列情報違反メッセージを出力するステップと を含む施設の運転を監視する方法。