【手続補正書】
【提出日】令和1年10月4日(2019.10.4)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
プロセスプラントのプロセス制御システム内の原因結果マトリックス（ＣＥＭ）を定義するコンピュータ実装の方法であって、前記方法が、
一組の原因及び一組の結果を有する原因結果マトリックス（ＣＥＭ）にアクセスすることであって、前記一組の原因の各々が、前記プロセスプラント内の条件を表し、前記一組の結果の各々が、前記プロセスプラント内で行われるべき結果を表し、前記一組の原因及び前記一組の結果のうちの少なくともいくつかが、原因−結果の対として関連され、それによって、対応する１以上の条件の発生に応答して対応する結果を起動させる、アクセスすることと、
前記一組の結果の各々について、
前記一組の結果のうちの１つの結果に対応する、前記原因−結果の対の対応する一組に従って、前記一組の原因のサブセットを識別することと、
一次元マトリックスとして前記一組の原因の前記サブセットを定義することと、
前記一次元マトリックスの数値表現を自動的に算出することと、
一組の数値表現に従って、前記プロセス制御システムの一組の機能ブロックを構成することと、を含む、コンピュータ実装の方法。
【請求項２】
前記一次元マトリックスの前記数値表現を自動的に算出することが、
前記一次元マトリックスの１６進表現を自動的に算出することを含む、請求項１に記載のコンピュータ実装の方法。
【請求項３】
前記一組の数値表現に従って前記プロセス制御システムの前記一組の機能ブロックを構成することが、
前記一組の機能ブロックの各機能ブロックについて、対応する数値表現をその入力として前記機能ブロックを構成することを含む、請求項１または２に記載のコンピュータ実装の方法。
【請求項４】
前記一次元マトリックスとして前記一組の原因の前記サブセットを定義することが、
前記一次元マトリックスの各値について、前記一組の原因の前記サブセットの対応する原因をブールデータ型として表すことを含む、請求項１から３のいずれか１項に記載のコンピュータ実装の方法。
【請求項５】
前記一組の結果の各々について、
可能な交差値の範囲を補償することと、
前記原因−結果の対の対応する一組と関連付けられた一組のパラメータを識別することと、
前記一組のパラメータを前記一次元マトリックスの前記数値表現と関連付けることと、をさらに含む、請求項１から４のいずれか１項に記載のコンピュータ実装の方法。
【請求項６】
前記一組の数値表現の各々について、
リバースエンジニアリングして、元々のＣＥＭ構成を検証することと、
前記一組の数値表現に基づいて、構成したままの原因結果マトリックス（ＣＥＭ）を発生させることであって、前記構成したままのＣＥＭが、構成したままの原因−結果の対を含む、発生させることと、
前記構成したままのＣＥＭと、前記ＣＥＭとを比較することと、をさらに含む、請求項１から５のいずれか１項に記載のコンピュータ実装の方法。
【請求項７】
前記構成したままのＣＥＭと、前記ＣＥＭとを比較することが、
前記構成したままのＣＥＭの前記構成したままの原因−結果の対と、前記ＣＥＭの前記原因−結果の対とを比較することを含む、請求項６に記載のコンピュータ実装の方法。
【請求項８】
プロセスプラントのプロセス制御システム内の原因結果マトリックス（ＣＥＭ）を定義するためのシステムであって、
（ｉ）一組のコンピュータ実行可能命令、及び（ｉｉ）一組の原因及び一組の結果を有する原因結果マトリックス（ＣＥＭ）を記憶するように構成されたメモリであって、前記一組の原因の各々が、前記プロセスプラント内の条件を表し、前記一組の結果の各々が、前記プロセスプラント内で行われるべき結果を表し、前記一組の原因及び前記一組の結果のうちの少なくともいくつかが、原因−結果の対として関連され、それによって、対応する１以上の条件の発生に応答して対応する結果を起動させる、メモリと、
前記メモリとインターフェースされたプロセッサであって、前記一組のコンピュータ実行可能命令を実行して、前記プロセッサに、
前記メモリから前記ＣＥＭにアクセスさせ、
前記一組の結果の各々について、
前記一組の結果のうちの１つの結果に対応する、前記原因−結果の対の対応する一組に従って、前記一組の原因のサブセットを識別させ、
一次元マトリックスとして前記一組の原因の前記サブセットを定義させ、
前記一次元マトリックスの数値表現を自動的に算出させ、
一組の数値表現に従って、前記プロセス制御システムの一組の機能ブロックを構成させるように構成される、プロセッサと、を備える、システム。
【請求項９】
前記一次元マトリックスの数値表現を自動的に算出するために、前記プロセッサが、
前記一次元マトリックスの１６進表現を自動的に算出するように構成される、請求項８に記載のシステム。
【請求項１０】
前記一組の数値表現に従って前記プロセス制御システムの前記一組の機能ブロックを構成するために、前記プロセッサが、
前記一組の機能ブロックの各機能ブロックについて、対応する数値表現をその入力として前記機能ブロックを構成するように構成される、請求項８または９に記載のシステム。
【請求項１１】
前記一次元マトリックスとして前記一組の原因の前記サブセットを定義するために、前記プロセッサが、
前記一次元マトリックスの各値について、前記一組の原因の前記サブセットの前記対応する原因をブールデータ型として表すように構成される、請求項８から１０のいずれか１項に記載のシステム。
【請求項１２】
命令を記憶する非一時的コンピュータ可読媒体であって、該命令が、機械の１つ以上のプロセッサによって実行されたときに、前記機械に、
一組の原因及び一組の結果を有する原因結果マトリックス（ＣＥＭ）にアクセスさせ、前記一組の原因の各々が、プロセスプラント内の条件を表し、前記一組の結果の各々が、前記プロセスプラント内で行われるべき結果を表し、前記一組の原因及び前記一組の結果のうちの少なくともいくつかが、原因−結果の対として関連され、それによって、対応する１以上の条件の発生に応答して対応する結果を起動させ、
前記一組の結果の各々について、
前記一組の結果のうちの１つの結果に対応する、前記原因−結果の対の対応する一組に従って、前記一組の原因のサブセットを識別させ、
一次元マトリックスとして前記一組の原因の前記サブセットを定義させ、
前記一次元マトリックスの数値表現を自動的に算出させ、
一組の数値表現に従って前記プロセスプラントのプロセス制御システムの一組の機能ブロックを構成させる、非一時的コンピュータ可読媒体。
【請求項１３】
前記一組の数値表現に従って前記プロセス制御システムの前記一組の機能ブロックを構成することが、前記機械に、
前記一組の機能ブロックの各機能ブロックについて、対応する数値表現をその入力として前記機能ブロックを構成させる、請求項１２に記載の非一時的コンピュータ可読媒体。
【請求項１４】
プロセスプラントのプロセス制御システム内の原因結果マトリックス（ＣＥＭ）を定義するコンピュータ実装の方法であって、前記方法が、
一組の原因及び一組の結果を有する原因結果マトリックス（ＣＥＭ）にアクセスすることであって、前記一組の原因の各々が、前記プロセスプラント内の条件を表し、前記一組の結果の各々が、前記プロセスプラント内で行われるべき結果を表し、前記一組の原因及び前記一組の結果のうちの少なくともいくつかが、原因−結果の対として関連され、それによって、対応する１以上の条件の発生に応答して対応する結果を起動させる、アクセスすることと、
前記一組の結果の各々について、
前記一組の結果のうちの１つの結果を表す１以上の数値表現を自動的に算出することであって、前記１以上の数値表現は前記１つの結果に対応する１以上の原因−結果の対の少なくとも一部に基づく、算出することと、
前記プロセス制御システムの一組の機能ブロックの各機能ブロックについて、
対応する１以上の数値表現をその入力として前記機能ブロックを構成することと、
を含む、コンピュータ実装の方法。
【請求項１５】
前記１以上の数値表現を算出することは、１以上の２進文字列として前記１つの結果を表すことを含む、請求項１４に記載のコンピュータ実装の方法。
【請求項１６】
前記１以上の数値表現を算出することは、各々の結果の１以上の２進文字列を１６進数に変換することを含む、請求項１４または１５に記載のコンピュータ実装の方法。
【請求項１７】
一組の規則に基づいて前記ＣＥＭを再配設することであって、前記ＣＥＭを再配設することは、前記ＣＥＭの（ｉ）１以上の行または（ｉｉ）１以上の列の少なくともいずれか１つを再配設することを含む、再配設することと、
前記一組の結果のうちの各々の結果を表す１以上の数値表現を自動的に再算出すること
と、をさらに含む、請求項１４から１６のいずれか１項に記載のコンピュータ実装の方法。
【請求項１８】
前記１以上の数値表現に従って前記プロセス制御システムの前記一組の機能ブロックを構成することをさらに含む、請求項１７に記載のコンピュータ実装の方法。