JPH02304626A - データ処理装置 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 （技術分野） 本発明は各々が条件と関連応答の形をしている一組の規
則（ｒｕｌｅ）をその中に蓄積しているデータ処理装置
に関連し、各規則の条件部分が特定の挙動（ｂｅｈａｖ
ｉｏｕｒ）の存在（ｐｒｅｓｅｎｃｅ）を要求し、かつ
装置が関連応答を発生することにより満足される上記の
任意の条件に応答する手段を具えている。

（背景技術） この一般的な種類の既知の装置はアール・ディー・ヒル
（Ｒ，Ｄ、旧１１）の論文、「人間と計算機の相互作用
の並列性、通信および同期の支持−サッサフラスＵＩＭ
Ｓ　（Ｓｕｐｐｏｒｔｉｎｇ　Ｃｏｎｃｕｒｒｅｎｃｙ
、　Ｃｏｍｍｕｎｉｃａｔｉｏｎ　ａｎｄ　Ｓｙｎｃｈ
ｒｏｎｉｓｍ　ｉｎ　Ｈｕｍａｎ−Ｃｏｍｐｕｔｅｒ　
Ｉｎｔｅｒ−ａｃｔｉｏｎ　−Ｔｈｅ　５ａｓｓａｆｒ
ａｓ　ＵＩＭＳ　）　Ｊ　、ニーシーエム・トランズア
クション・オン・グラヒックス（ＡＣＭ　Ｔｒａｎｓａ
ｃｔｉｏｎｓ　ｏｎ　Ｇｒａｐｈｉｃｓ）　、第５巻、
第３号、１９８６年７月、頁１７９−２１０に開示され
ている。

ユーザー−インターフェース管理システム（ＵＩＭＳ：
　ｕｓｅｒ−ｉｎｔｅｒｆａｃｅ　ｍａｎａｇｅｍｅｎ
ｔ　ｓｙｓｔｅｍ）の形を取るこの既知の装置において
、各規則は例えばコードのキーインあるいはいくつかの
状態が入力される場合に取るべき作用のようないくつか
の外部イベントの応答を規定する。各規則の条件部分は
フラグのリストを伴うイベントの名前あるいは単にフラ
グのリストのいずれかである。この作用は立てる（ｒａ
ｉｓｅ）べきフラグ、送るべきイベントおよび割り猶で
である。装置の処理部分へのすべての入力は入りイベン
トの待ち行列（ｑｕｅｕｅ　ｏｆ　ｉｎ−ｃｏｍｉｎｇ
　ｅｖｅｎｔ　）　　（それは規則の発動［ｆｉｒｉｎ
ｇ］によりシステム内に発生されるかあるいは外部的に
入力されよう）を通過する。条件のすべてのフラグが立
てられかつ（たとえあるにせよ）イベントが待ち行列の
先頭にある場合に規則が発動され、すなわち関連する関
連する応答が発生される。

処理は以下の２つのステップを繰り返すことにより既知
の装置で進行する。すなわち （１）条件部分がフラグのリストのみからなるそれらの
規則のみをの考察する。

（ａ）フラグの現行値（ｃｕｒｒｅｎｔ　ｖａｌｕｅ）
を与えて発動できるすべての規則を識別しかろマークす
る、 （ｂ）マークされたすべての規則を発動する。

（２）一度行う別のすべての規則を考察する。

（ａ）入力待ち行列の先頭におけるフラグとトークンの
現行値を与えて発動できるすべての規則を識別しかつマ
ークする。

（ｂ）マークされたすべての規則を発動する。

（ｃ）入力待ち行列の先頭でトークンを削除する。

一度に１つ以上の規則がマークされることは明らかであ
り、このようにして単一イベントは１つ以上の規則を発
動するようにする。

既知の装置において、一度規則がマークされると、たと
え発動の時点で規則がもはやマークされると考えられる
べきでないように装置の状態が変化してもそれは必ず発
動される。さらに、もしステップｌと２のみの実際の処
理速度が無視されても、装置の状態が展開する速度は外
部的に入力されたイベントのタイミングによってのみ影
響できる。本発明の目的はこれらの欠点を軽減すること
である。

（発明の開示） 本発明の１つの態様によると、冒頭の記事で規定された
ような装置は、各規則の条件部分が特定の有限時間の特
定の挙動あるいは挙動の組の連続的存在を要求すること
を特徴としている。

各規則の条件部分が特定の有限時間の特定の挙動あるい
は挙動の組の連続的存在を要求するようにして、上述の
既知のシステムの制限が改善できることはよく理解され
ている。

別の態様によると、本発明は装置内に蓄積された一組の
規則に含まれている一組の挙動の展開をシミュレートす
るデータ処理装置を備え、各規則はシミュレーション内
の特定の有限時間の特定の挙動あるいは挙動の組の連続
的存在および挙動の変化を必然的に伴う各規則の応答部
分を要求する各規則の条件部分を持つ条件と関連応答の
形を取り、上記の装置は、記録が示す挙動が存在するよ
うな挙動、およびそのような各存在が始まるシミュレー
ション内の時間に基づいて、挙動の次の変化が規則の発
動により有効となるシミュレーション内の時間を決定す
るようにシミュレーションの各ステージで規則の組を規
定し、かつ後の時間および連続する挙動の関連変化を出
力するために上記の挙動がシミュレーションのステージ
からステージにわたって存在する記録を維持する手段を
具えている。そのような各存在が始まるシミュレーショ
ン内の上記の時間が例えば記録の関連項目（ｒｅｌｅｖ
ａｎｔ　ｉｔｅｍ）と共にそのようなリストとして蓄積
されよう。しかし代案として、規則の条件部分が満足さ
れるようになる、すなわちこの条件゛部分で規定された
挙動が存在するようになる度毎に、関連する規則の（シ
ミュレーション内の）発動の結果としての時間はそれ自
身蓄積されよう。

別の態様によると、本発明はシステム内に蓄積された一
組の規則に含まれている一組の挙動の展開をシミュレー
トするデータ処理システムを備え、上記のシステムは規
則の組の各部分を処理し、かつそこに蓄積されたその部
分を有する複数のデータ処理装置を具え、各規則はシミ
ュレーション内の特定の有限時間に対する特定の挙動あ
るいは挙動の組の連続的存在および挙動の変化を必然的
に伴う各規則の応答部分を要求する各規則の条件部分を
持つ条件と関連応答の形を取り、各装置は、記録が示す
ものが存在するような挙動、およびそのような各存在が
始まるシミュレーション内の時間に基づいて、挙動の次
の変化がもしこれがシステムの任意の装置で発動すべき
次の規則であるなら組の各部分の規則の発動により有効
となるシミュレーション内の時間を決定するようにシミ
ュレーションの各ステージで規則の組のその部分を規定
し、そしてもし上記の時間がシミュレーションの関連す
るステージにおけるシステムのすべての装置により決定
された最初のものであるならこの時間とシステムからお
よびシステムの別の装置への双方の挙動の関連変化を出
力するために上記の挙動がシミュレーションのステージ
からステージにわたって存在する記録を維持する手段を
具えている。

上に規定されたシミュレーションは実時間シミュレーシ
ョンである必要は無いが、しかしこれらの変化を規定す
るデータと共に、例えば挙動の変化がシミュレートされ
るプロセスで起こる連続時間の直接連続出力からなるこ
とは明らかであろう。

添付図面を参照して本発明の実施例を実例によって説明
する。

（実施例） 第１図において、データ処理システムは計算機ｌと外部
イベント検出器２および実時間クロック３を具えている
。クロック３の出力は計算機ｌの入力ポート４に接続さ
れ、そして検出器２の出力５は計算機ｌの入力６に接続
されている。イベント検出器２はさらに一組の信号入力
ライン７．８等とリセット信号人力１１を備えている。

信号入力ライン７．８等はまた計算機ｌの入力ポート１
２の各ビット入力に接続されている。計算機ｌは出力ポ
ート１３を備え、その各ビット出力は各信号出力ライン
１４．１５等に接続されている。例えばポート１３の別
のビットである計算機ｌの別のビット出力１６は検出器
２のリセット信号人力１１に接続されている。□ 検出器２は任意の入力ライン７．８等の論理レベルが変
化する度毎にその出力５に信号を発生するよう構成され
ている。入力１１に印加されたリセット信号は論理「Ｏ
」にリセットされるこの論理「ｌ」となる。検出器２は
例えばオアゲートとセットリセット・フリップフロップ
を具え、そして各人力ライン７．８に対して、正ならび
に負の縁部でトリガーされる一安定フリップフロップは
関連するライン７．８等の１つに接続されたその入力と
、オアゲートを介してセットリセット・フリップフロッ
プのセット入力に接続されたその出力を有し、セットリ
セット・フリップフロップのリセット入力ならびに出力
はそれぞれ人力１１と出力５に接続されている。計算機
ｌは正規の態様では中央処理ユニット１７と、プログラ
ムメモリ１８と、別のメモリ１９を具えている。別のメ
モリ１９は特に蓄積フィールド２０および蓄積フィール
ド２１と、ポインター２２と、レジスタ２３を含んでい
る。蓄積フィールド２０はＮ個のエントリー２４゜、　
２’Ｌ、　、、、２４Ｎ−鳳を有する表の形をしており
、その各々はポインター２２の各位置に対応し、そして
蓄積フィールド２１は同様にＭ個のエントリー２５゜、
　２５＋、　、、、２５Ｍ−ｔを有する表の形をしてい
る。Ｎ個のエントリー２４の各々は前述の規則の各々１
つを含み、かつ５個のフィールド２６．２７．２８．２
９および３０をそれぞれ有している。フィールド２６の
データは「用意された（ａｒｍｅｄ）　Ｊ関連する規則
に対して存在すべき挙動Ｂ、を規定し、フィールド２７
のデータは実際に「発動」すべき関連する規則ｉに対し
て挙動Ｂ１が連続的に存在すべき時間１＋これは非常に
小さいであろう）を規定し、フィールド２８のデータは
関連する規則ｉが実際に「発動」される場合に要求され
た応答Ｒ１を規定し、フィールド２９のデータは関連す
る規則ｉに関係するフラグＦ＋を構成し、そしてフィー
ルド３０のデータはもしフラグＦｌが立てられるなら関
連する規則ｉが発動されるべき実時間ＴＩを規定する。

Ｍ個のエントリー２５の各々はＮ個のエントリー２４の
フィールド２６で規定された挙動Ｂ＋の各々１つに対応
するか、あるいはもしその挙動が複合（ｃｏｍｐｏｓｉ
ｔｅ）であるなら挙動Ｂｔの各成分に対応している。エ
ントリー２５の各々はそれぞれ３つのフィールド３１．
３２および９０を有している。フィールド３１のデータ
は関連する挙動あるいは挙動成分を規定し、フィールド
３２のデータは関連する挙動あるいは挙動成分が存在す
るか存在しないかどうかを示すフラグを構成し、そして
フィールド９０のデータはもし関連するフィールド３２
が立てられるなら関連する挙動あるいは挙動成分がスタ
ートする時間を示す。フィールド２６で規定された各挙
動および挙動成分に対応するエントリー２５が存在する
。レジスタ２３は以下に明らかになるように現在存在す
る挙動に基づいて次に発動すべきことを確かめる規則あ
るいはそれらの複数の規則を含む表２０のエントリー２
４のフィールド２８の内容で動作中負荷される。レジス
タ２３のフィールド３３はこれらの内容、すなわち要求
される応答を規定するデータを含み、フィールド３４は
これらの応答が有効となる実時間を規定し、そしてフィ
ールド３５はどの規則からフィールド３３の内容が導か
れるかを示すデータを含んでいる。

第１図の計算機ｌは第２図に示されるフローチャートの
形を取る循環主プログラムを実行するようプログラムさ
れており、ここでそのブロックの１つは第３図に示され
たフローチャートの形を取っている。実時間クロック３
の各増分と次のものとの間の間隔は十分大きく選ばれ、
主プログラムをまわる１サイクルは常にそのような１間
隔内に適応することができる。

第２図のフローチャートの種々のステップは以下の意味
を有している。

３６−スタート ３７−初期化 ９１−クロック３は新たに増分されたか？３８−クロッ
ク３により示された実時間はレジスタ２３のフィールド
３４の内容によって規定された時間Ｔに等しいか？ ３９−フィールド３３の内容により規定された応答を実
行し、レジスタ２３のフィールド３５の内容によって規
定された表２０のエントリー２４のフィールド２９のフ
ラグＦをリセットする。応答の性能により創成された挙
動に対応する表２１の任意のエントリー２５のフィール
ド３２のフラグを立て、かつ実時間クロック３からの実
時間を表２１の関連するエントリー２５のフィールド９
０の中に読み取る。応答の性能により除去された挙動に
対応する表２１の任意のエントリー２５のフィールド３
２でフラグを下げる（ｌｏｗｅｒ）。

４〇−検出器２は信号を入力６に印加するか？４１−人
カライン７．８等の上の論理レベルを決めるために入力
ポート１２を読み、かつこれらを関連する入力ラインに
対応するエントリー２５のフィールド３２で（所望なら
）フラグを調整することにより表２１にそれらを記録す
る。フィールド３２のフラグがこのようにして新たに立
てられた任意のエントリー２５に対して、実時間クロッ
ク３から対応エントリーのフィールド９０の中に現行の
リセット時間を読み取る。

出力１６にリセット信号を発生することにより検出器２
をリセットする。

４２−第３図のルーチンと同じ。

第３図のフローチャートの種々のステップは以下の意味
を有している。

４３−スタート ４５−ポインター２２により指示された表２０のエント
リー２４に対して、フィールド２６で規定された挙動が
存在するか、すなわち表２１の関連するエントリーある
いはエントリー２５のフィールド３２のフラグの状態に
よって存在すると示された挙動があるか？ ４６−ステップ４５で規定されたエントリー２４に対し
て、立てられたフィールド２９のフラグＦがあるか？ ４７−ステップ４６で規定されたフラグＥを下げる。

４８−４６と同じである。

４９−ステップ４５で規定されたエントリー２４に対し
て、（ａ）フィールド２９でフラグＦを立て、かつ（ｂ
）フィールド２７で蓄積された時間と、フィールド２６
で規定された挙動に対応する表２１のエントリー２５の
フィールド９０で蓄積された最後の時間との和を計算し
、かつフィールド３０に結果を蓄積する。

５０−ポインター２２を増分する。

５１−ポインター２２の内容はＮであるか？５２−ポイ
ンター２２を零にリセットする。対応フィールド２９の
フラグが立てられるすべてのそれらのエントリー２４の
フィールド３０の内容を検査し、かつどれが最も早い時
間であるかを示す。これ　（もしその条件部分で現実さ
れた挙動が存在を続けるなら関連する規則が発動すべき
実時間）をレジスタ２３のフィールド３４に負荷し、対
応するエントリー２４のフィールドの内容をレジスタ２
３のフィールド３３に負荷し、かつ対応するエントリー
を識別するデータをレジスタ２３のフィールド３５に負
荷する。

５３−終了 明らかに、発動された規則（内部あるいは外部の挙動に
潜在する変化を生じさせる）によりおよび／またはライ
ン７．８等の１つの入力信号で起こる変化（外部挙動の
変化に対応する）により第１図の表２１の内容の任意の
アップデートに引き続いて第３図のルーチンは常に実行
される。このようにして第３図のルーチンは表２１にリ
ストされた（外部あるいは内部の）挙動の変化の度毎に
少なくとも実行され、そしてその効果は表２１により示
されたように現在存在する挙動の新しい組に基づいて、
表２０のエントリー２４に蓄積されたどの規則（もしあ
るなら）が発動すべき次のものであるかを確認すること
であり、かつこれが起こる実時間と共に要求された応答
の詳細をレジスタ２３に負荷する。実時間クロック３の
各増分に基づき、第２図の循環主プログラムはレジスタ
２３のフィールド３４で規定された時間を実時間と比較
し、かつ、もし実時間が特定の時間に到達すべきなら、
フィールド３３で規定された応答を遂行させ、すなわち
関連する挙動を発動させ、その後で第３図のルーチンは
再び一度呼び出され、従って挙動に基づいて発動すべき
現在存在する次の規則（もしあるなら）が決定でき、か
つ関連するデータはレジスタ２３に蓄積される（現在存
在するデータを置き換えて）。

もちろん表２０のエントリー２４．のフィールド２７に
蓄積された時間ｔｌは実時間クロック３の各増分と次の
ものとの間で経過する時間の整数倍でなければならない
。あり得るそのような最小時間ｊ　ｓｏｌｍは上記の時
間経過に等しく、そして、もしそのような時間が所与の
エントリー２４で要求されるなら、これが関連するフィ
ールド２７に蓄積されることを厳密には必要としない。

システムはｔｗ、、をステップ４９で規定された最後の
時間に加算することにより所与のフィールド２７の情報
の不足に対応するよう配列できる。そのような場合、ｔ
　ａｉｍは実際に欠落値（ｄｅｆａｕｌｔ　ｖａｌｕｅ
）である。

上に説明されたように、表２０の各エントリー２４は第
３図のルーチンが（ポインター２２を使用して）実行さ
れる度毎に評価される。第３図のルーチンが最後に実行
されたという理由で評価が厳密に必要なただ一つのエン
トリーとしてフィールド２６吊の挙動が変化したもので
あること（たとえあるにせよ）は本質的ではない。その
ような選択は処理の実質的な低減を生じることができ、
かつ例えば確認すべきすべてのエントリー２４を通る第
１走査とそれらのフィールド２４で新たに変化した挙動
を有する記録により第３図のルーチンが実行される度毎
に達成され、次にこれらのエントリーに対応するポイン
ター２２の値を与えるだけである。代案として、（示さ
れていない）表は表２１中の各エントリー２５に対応し
て維持され、この表はフィールド２６の関連するエント
リー２５に対応する挙動を有するすべてのエントリー２
４のリストを含んでいる。

挙動が変化する度毎に関連する表はどのエントリー２４
が評価されるべきか（その値はポインター２２に与えら
れている）を示すために使用できる。

第１図から第３図を参照して説明された種類のデータ処
理装置は非常に広い適用が可能なものであることが評価
されよう。たとえ装置全体の展開が大多数の挙動に潜在
的に依存している適用でその利点が最大になるにしても
、例示の目的ではむしろ単に可能な適用が説明されよう
。この適用はスタートボタンの作動に応答する洗濯機の
制御であり、これは（ａ）温水を洗濯槽に注水し、（ｂ
）５分間洗濯物をゆっくりと掻き回し、（ｃ）５０秒間
洗濯槽を排水し、（ｄ）冷水を洗濯槽に注水し、（ｅ）
洗濯槽を排水しかつ５０秒間洗濯物を高速回転する。プ
ログラムを終了し、そして排水ポンプがｌＯ秒間動作し
た後でもし機械の洗濯槽がなお満水であるならポンプ故
障指示器を作動する用意がなされており、それによりも
し洗濯物が詰め込まれてポンプが燃える危険性を最小に
する。

この制御を備えるために、イベント検出器２は機械のス
タートボタンと洗濯槽の水位検出器にそれぞれ接続され
た２つの入力ライン７．８を備えなければならず、そし
て出カポ−）１３は温水弁、冷水弁、洗濯モーターの緩
走行、洗濯モーターの高速走行、洗濯槽の排水ポンプお
よび機械のポンプ故障指示器にそれぞれ接続された６つ
の出力ライン１４．１５等を備えなければならない。表
２１の対応データによりリストされた関連する挙動は以
下のようになっている。

準備完了（ｒｅａｄｙ） スタートボタン押下（ｓｔａｒｔ　ｂｕｔｔｏｎ　ｐｒ
ｅｓｓｅｄ）第１注水（ｆｉｒｓｔ　ｆｉｌｌｉｎｇ）
満水（ｆｕｌｌ　ｏｆ　ｗａｔｅｒ） 温水弁の開放（ｈｏｔ　ｖａｌｖｅ　ｏｐｅｎ）洗濯（
ｗａｓｈｉｎｇ） モーター緩走行（ｍｏｔｏｒ　ｓｌｏｗ　ｒｕｎｎｉｎ
ｇ）排水ポンプオン（ｄｒａｉｎ　ｐｕｍｐ　ｏｎ）第
２注水（ｓｅｃｏｎｄ　ｆｉｌｌｉｎｇ）冷水弁の開放
（ｃｏｌｄ　ｖａｌｖｅ　ｏｐｅｎ）回転（ｓｐｉｎ） モーター高速走行（ｍｏｔｏｒ　ｆａｓｔ　ｒｕｎｎｉ
ｎｇ）ポンプ故障指示器オン（ｐｕｍｐ　ｆａｕｌｔ　
１ｎｄｉｃａｔｏｒｏｎ） そして表２０のデータによってリストされた規則は以下
のようなものであろう。

フィールド２６フイールド２７フイールド２８中の挙動
　　中の継続期間中の挙動 ■、準備完了と　　ｊ　、１ｍ　　　　非（準備完了）
とスタート　　　　　　　　　第１注水 ボタン押下 ２、第１注水と　　ｔ　ｙ＋１＋　　　　温水弁開成典
（満水） ３、第１注水と　　ｔ□１．　　　非（温水弁開放）と 満水　　　　　　　　　　非（第１注水）と洗濯と モーター緩走行 ４、洗濯と　　　　３００　　　　　非（モーターモー
ター　　　　　　　　緩走行）と 緩走行　　　　　　　　　排水ポンプオン５、洗濯と　
　　　５０　　　　　非（排水ポンプ排水ポンプ　　　
　　　　　オン）と オン　　　　　　　　　　非（洗濯）と第２注水 ６、第２注水と　　ｊ　ｅｌｍ　　　　冷水弁開放弁（
満水） ７、第２注水と　　ｊ　ｍｉｍ　　　　非（冷水弁開放
）と満水　　　　　　　　　　非（第２注水）と回転と モーター 高速走行と 排水ポンプオン ８、回転　　　　　５０　　　　　非（モーター高速走
行）と 非（排水ポンプ オン）と 非（回転）と 準備完了 ９、排水ポンプ　　ｌＯ非（排水ポンプオン）と 満水　　　　　　　　　　非（モーター高速走行）と 非（洗濯）と 非（回転）と ポンプ故障 指示器オン ここで表現「非（−−）　［ｎｏ（−一）］　Ｊは括弧
で規定された挙動の不在を意味している。上にリストさ
れた第１図の表２０と２１の内容の考察は、もし挙動「
準備完了」が第２図の初期化ステップ３７に存在してい
るようにフラグされるなら（他の挙動は不在としてフラ
グされる）動作の所要のシーケンスが遂行されることを
表すであろう。挙動［スタートボタン押下」と「満水」
は表２１の関連するフラグの状態に加えて入力ライン７
．８の関連する１つのラインの特定論理レベルに対応し
、挙動「温水弁開放Ｊと「モーター高速走行」および「
ポンプ故障指示器オン」は表２１の関連するフラグの状
態に加えて出力ライン１４．１５等の関連する１つのラ
イン上にシステムにより発生された特定信号に対応して
いる。これとは逆に、挙動「準備完了」、「第１注水」
、「洗濯」、「第２注水」および「回転」は表２１の関
連するフラグの状態にのみ対応している。たとえそれら
の存在が機械によって遂行される特定のプロセスを示し
ていても、それらは純粋に内部挙動である。関連する規
則のこれらの最後の挙動の使用は実際には創成ならびに
削除され、あるいは機械動作の展開の特定の段階で活性
化ならびに非活性化される関連する規則の残りの部分に
より構成された規則となることが注意されよう。このよ
うにして、例えば内部挙動「洗濯」の存在は実際には次
の規則の創成あるいは活性化となる。

モーター緩走行　３００　　非（モーター緩走行）と排
水ポンプオン および 排水ポンプオン　５０　　非（排水ポンプオン）と非（
洗濯）と 第２注水 そして内部挙動「洗濯」が存在を止める場合には、これ
らの規則は実効的に削除されるかあるいは非活性化され
る。このようにしてこれらの規則は実効的に枠組（ｓｈ
ｅｍａ）　　ｒ洗濯」を構成する。

本発明による装置は所望なら展開（ｅｖｏ　ｌｕ　ｔ　
１ｏｎ）で実際に起こるよりもむしろ実世界の挙動の展
開をシミュレートするためのみに使用されよう。このよ
うに例えば第１−３図を参照して説明されたシステムは
上に規定された洗濯機動作を単にシミュレートするため
に使用されよう。このことを達成するために、検出器２
への入力ライン７．８の変化に対応する挙動の内部変化
を創成するよう表２０のリストに規則を追加することの
みが必要である（もちろんこの変化は単なるシミ、ニレ
−ジョンでは起こらず、実際に検出器２はこれらの環境
では省略されよう）。これは以下のように規則を追加す
ることにより実行できる。

フィールド２６フイールド２７フイールド２８中の挙動
　　中の継続期間中の挙動 ｌＯ１準備完了　　　　　ｌ　　　　スタートボタン押
下 １１、スタート　　　　ｔ、五、　　非（スタートボタ
ン押下　　　　　　　　ボタン押下）１２、温水弁開放
　　　５０　　　　満水１３、冷水弁開放　　　５０　
　　　満水１４、排水ポンプ　　　　５　　　非（満水
）オン あるいは、ポンプ故障指示器の活性化がまたシミュレー
トされるために、−規則１０−１３のみが追加されよう
。このようにして「スタートボタン押下」内部挙動は「
準備完了」内部挙動が生起した後１秒間一時的に創成さ
れ、「満水」内部挙動は温水あるいは冷水弁開放が連続
的に存在した後５０秒間創成され、そしてもし規則１４
が追加されるなら、「非（満水）」内部挙動は「排水ポ
ンプオン」挙動が連続的に存在した後５秒間創成される
。実際のデバイスの動作のシミュレーションはこのよう
にしてその設計や故障の診断やそれらの使用効果の予測
の改善を助けることができる。

上に説明されたシミュレーションは実時間のシミュレー
ションである。ある状態では、その代わりに、挙動の関
連する変化と共に挙動の変化が起こる時間が単に表示さ
れ、印刷され、あるいは直接連続して出力されることが
好ましい。そのような場合に、第１図の実時間クロック
３は省略でき、第１図の装置は表示デバイスか印刷機か
（示されていない）それと同様なものを備え、そしてメ
モ１月８中のプログラムは例えば第２図のステップ３８
−４１と９１が動作の単一の組により置換されるような
態様で修正される。

表示、印刷機あるいは他のものはレジスタ２３のフィー
ルド３４で規定された時間とフィールド３３で規定され
た応答により創成あるいは除去された任意の挙動を出力
する。レジスタ２３のフィールド３５の内容により規定
された表２０のエントリー２４のフィールド２９でフラ
グＦをリセットする。応答により創成された挙動に対応
する表２１の任意のエントリー２５のフィールド３２で
フラグを立て、かつレジスタ２３のフィールド３４に蓄
積された時間を表２１の関連するエントリー２５のフィ
ールド９０に読み取る。

応答により除去された挙動に対応する表２１の任意のエ
ントリー２５のフィールド３２のフラグを下げる。

この明細書で使用された述語「挙動」は通常毎日使用し
ている場合よりももっと広い意味に解釈すべきであるこ
とに注意すべきであり、すなわち静的な無生命の対象も
「挙動」を示すことができ、全くそれらの単なる存在そ
れ自身は挙動の一形式を構成している。この述語はその
色やその重さやその形状やその空間占有等のようなその
物理的性質に加えて、例えば単なる椅子の存在を説明す
るためにも使用されよう。さらに、挙動それ自身は１つ
あるいはそれ以上の上述の規則を具え、所望の程度まで
の規則の集団化（ｎｅｓｔｉｎｇ）を可能にしている。

このように本発明によるシステムは実世界の任意の連続
状態の展開をシミュレートするために使用できよう。

もし第１−３図を参照して説明された装置の表２０に含
まれる１つあるいはそれ以上の規則のフィールド２６に
蓄積された挙動が例えば別の装置の表２０のフィールド
２８に蓄積された別のそのような装置の挙動を構成する
なら、例えば第１の装置の関連する入力ライン７．８を
別の装置の関連する出力ライン１４．１５に接続するこ
とにより別の装置の挙動が第１の装置の挙動に影響でき
ることが評価されよう。もし同じことが双方の装置を考
慮して真なら、相互作用がそれらの間で起こり得る。２
つの装置は例えば各々の関連する入力ライン７゜８を他
のものの関連する出力ライン１４．１５に接続すること
によりお互いに効率的に通信するようにでき、たとえ他
の点でそれらがお互いに全く異なっており、特に全く異
なった機能を実行してもそうである。２つ以上のそのよ
うな装置が環境内に存在していてもこれは明らかに適用
される。このようにもし通常の挙動標識（ｂｅｈａｖｉ
ｏｕｒａｌ　５１ｇｎ５）によりお互いに通信するよう
このようなやり方で備えられた複数のそのような装置が
環境内に存在するなら、それらの挙動上の規定の部分が
それらの標識の受信と送信ならびにそれらの受信に際し
て適当な作用の初期化を許容するのみであるという条件
の下で、その主たる役割が全く異なっている別の装置が
追加できる。原理的にはこれらの新しい装置が導入され
るのに何の変化も必要でない。

もし第１−３図を参照して説明された装置の表２０が非
常に多数の規則を含むなら、フィールド２１に蓄積され
た挙動に変化がある度毎に要求される処理はかなりのも
のであり、かつこれは挙動の変化が望ましくないほど長
い装置の全反応時間となり得る。もしそうならば、これ
らの装置の各々が例えば中央ノードを介してお互いに双
方向通信チャネルを備えるなら説明された種類の複数の
装置の間で処理が分担（ｓｈａｒｅ）されよう。さもな
ければ単一の表２０に蓄積された規則の組は複数の部分
に分割され、その各々は複数の各装置の対応する表に蓄
積され、関連する規則はその装置の表２１に蓄積される
。種々の装置が協働態様で動作しなければならないため
に、各々はライン７．８等の１つおよび内部的に蓄積さ
れた規則１つの発動により発生された規則の各変化を介
してそこに入力された挙動の各変化の表示を例えば第２
図ならびに第３図それぞれの各ステップ３９と４４の部
分として別の各装置に伝達するよう配列できる。これら
の表示は例えば他の各装置の入力ライン７．８等の各々
１つの信号の形を取るように配列され、従ってすべての
装置は挙動の変化が起こる度毎に適当な態様で応答する
。事実、このようにして動作し相互通信する複数の装置
は、もし各々の入力ライン７．８等が別の対応するライ
ンと並列に接続されるなら、全故障許容（ｆａｕｌｔ−
ｔｏｌｅｒａｎｔ　ｗｈｏｌｅ）を構成する。というの
は、もし所与の装置が失敗すると、その蓄積規則と挙動
が残りの装置の間に自動的に分配されるように配７りで
きるからである（処理速度の損失は生じるが完全な破壊
は回避する）。もし事実各装置が規則と挙動の完全な組
をそこに蓄積するなら、このプロセスは支援でき、関連
部分を除いて故障無し動作の間不活性にされる。

上に説明された態様で複数の装置の間で処理を分担する
ことは、これまで説明したように実世界の挙動の評価を
実時間で単にシミュレートすることを要求される場合に
明らかに達成できる。挙動の変化が起こる時間が単に表
示されるかあるいはさもなければ挙動の関連する変化と
共に直接連続して出力される代案の形のシミュレーショ
ンに対して、この分担はなお達成できるが、しかしその
ような場合に挙動の変化が起こる度毎に各装置により行
われる予測を検査する必要があろう。各装置は規則と挙
動の全部の組のそれ自身の部分に基づいて予測を行い、
そして次に出力すべき規則と挙動の最も早いものである
ことが明らかである。

このようにしてこのタイプのシミュレーションが実行さ
れる場合、各装置は挙動の次の変化のそれ自身の予測時
間を挙動の変化が起こる度毎に中央ノードに通信するよ
う配列でき、そこで中央ノードはこれらの予測時間のど
れが最も早いかを決定し、かつ中央ノードから受信され
た時間以外のものとして挙動の次の変化の時間を予測す
る任意の装置による関連出力を不活性化するようすべて
の装置に戻す通信を行う。この不活性化は第２図のステ
ップ３８−４１と９１を置き換える前述の単一の組の動
作の現行のプログラムサイクルの削除、および上記の最
も早い時間と挙動の関連する変化に従って関連表２１を
アップデートすることによるその置き換え（それは不活
性化されない装置から不活性化された装置に通信されな
ければならない）からなっている。

要求された機能が内部的に蓄積されたプログラムにより
有効になる本発明の一実施例が説明されているとはいえ
、そのような制御は必ずしもそうでないことが評価され
よう。代案としてこの規則は結線論理形の装置に蓄積さ
れ、かつ満足される関連する条件への応答はまたハード
ウェアーのみにより発生できよう。もしそうなら、装置
は第４図のブロック線図により示された形を取るであろ
う。

第４図において、本発明によるデータ処理装置は一組の
論理回路６０．、６０２．　、　、　、　、６ＯＮを具
え、その各々は前述の規則の各ペアーに対応し、ここで
満足された各ベアーの１つの規則の条件部分は満足され
た関連ペアーの別の規則の条件部分への応答の否定形で
ある。各薗路６０は接続マトリクス６１．２つのアンド
ゲート６２と６３、カウンター６４、デコーダー７３、
関連ペアーの１つの規則に対応するインバーター７０、
接続マトリクス６５．２つのアンドゲート６６と６７、
カウンター６８、デコーダー７４、関連ペアーめ別の規
則に対応するインバーター７１、およびセットリセット
・フリップフロップ６９を具えている。アンドゲート６
３と６７はそれぞれ２つの入力を有し、その１つは共通
りロックパルス発生器７２から給電されている。アンド
ゲート６３の別の入力はアンドゲート６２の出力から給
電され、そしてアンドゲート６７の別の入力はアンドゲ
ート６６の出力から給電されている。カウンター６４と
６８のクロック人力ＣＬはアンドゲート６３と６７の出
力からそれぞれ給電され、そしてそのリセット人力Ｒは
インバーター７０と７１を介してアンドゲート６２と６
６の出力からそれぞれ給電されている。カウンター６４
の出力りはデコーダー７３に梧電され、カウンター６８
の出力りはデコーダー７４に給電されている。デコーダ
ー７３と７４の出カフ５と７６はフリップフロップ６９
のセット入力（Ｓ）とリセット入力（Ｒ）にそれぞれ接
続され、フリップフロップ６９のＱ出カフ８１は接続マ
トリクス７７の各入力ラインに接続されている。デコー
ダー７３と７４は対応するカウンター６４と６５のカウ
ントがそれぞれ所定の非零値に達する場合に出カフ５と
７６それぞれに信号を発生するよう構成され、この値は
関連する規則を「用意」するよう要求された挙動の組が
規則を実際に発動するために存在しなければならない時
間に対応している。接続マトリクス７７は第１および第
２多重出カフ９と８０をそれぞれ有し、出力８０は別の
多重人力８２を有する接続マトリクス８１に接続されて
いる。

出カフ９と入力８２は外部世界への装置の接続を構成し
、入力８２はもし装置が単にシミュレーションに使用さ
れるなら省略できる。接続マトリクス８１の多重出力８
３は接続マトリクス６１と６５に接続されている。この
出力８３の各ライン上の信号（入力８２から導かれるか
あるいは接続マトリクス７７を介して各信号７８から内
部的に導かれる）は種々の規則を「用意」するために要
求された各挙動が存在するか不在であるかどうかを示す
。アンドゲート６２は関連する規則を「用意」するため
に存在しなければならない各挙動に対応する入力（それ
はもし適当なら反転される）を有し、この入力はマトリ
クス６１の出力８３の関連ラインに接続される。このよ
うにして、これらの挙動がすべて存在する場合に、アン
ドゲート６３は不能にされ、クロックパルス発生器７２
がカウンター６４を増分することを許容する。

もしこの状態が十分な時間連続するならば、デコーダー
７３は出カフ８＋上で論理「ｌ」となるフリップフロッ
プ６９をセットする（もしそれが既にセットされていな
いなら）出力信号を発生する。しかし、もし挙動の必要
な組がそれが起こる前に存在を止めるなら、アンドゲー
ト６３は再び一度不能にされかつカウンター６４はイン
バーター７０を介して零にリセットされる。要素６６、
６７、６８．７１．７４は同様に動作するが、しかしこ
の場合にはこれは接続マトリクス６５を介して出力８３
から導かれた挙動の存在に対応している。しかし、デコ
ーダー７４からの出力信号はフリップフロップ６９のリ
セットとなり（もしそれが既にリセットされないなら）
、従って出カフ８１の論理「０」となる。カウンター６
４と６８はそれらがその最大カウントに達する場合にス
トップし、たとえ関連する挙動が関連デコーダーから所
要の出力信号を生じた後で実質的な時間だけ存在を続け
ても、関連する挙動が存在する度毎に１つの出力信号の
みが発生されることを保証することは明らかであろう。

回路６０□、、、、、　６０）１は回路６０１と同様に
動作する。

この開示から種々の変形が当業者にとって明らかであろ
う。そのような変形はそれ自身既知である他の特徴を含
み、それはここで既に説明された特徴の代わりにあるい
はそれに追加して使用されよう。たとえクレームがこの
出願で特徴の特定な組み合わせに公式化されていても、
本出願の開示の範囲はその明示的あるいは暗黙的あるい
は一般化のいずれにせよここで開示された新奇な特徴あ
るいはその任意の新奇な組み合わせを含むことを理解す
べきであり、それは任意のクレームで現在クレームされ
たものと同じ発明に関係しているかどうか、そしてそれ
が本発明と同じ技術的問題の任意のものあるいはそのす
べてを軽減するかどうかにかかわらずそうである。本出
願人は新しいクレームが本出願の実行あるいはそれから
導かれた任意の別の出願の実行の間にそのような特徴お
よび／またはそのような特徴の組み合わせに公式化でき
ることを注意する。

【図面の簡単な説明】

第１図は第１の実施例のブロック線図であり、第２図と
第３図は第１図の実施例により実行されるプログラムの
形を示すフローチャートであり、第４図は第２の実施例
のブロック線図である。 ｌ・・・計算機 ２・・・外部イベント検出器 ３・・・実時間クロック ４・・・入力ポート ５・・・出力 ６・・・入力 フ、８・・・信号入力ライン １１・・・リセット信号入力 １２・・・入力ポート １３・・・出力ポート １４、１５・・・信号出力ライン １６・・・ビット出力 １７・・・中央処理ユニット １８・・・プログラムメモリ １９・・・メモリ ２０、２１・・・蓄積フィールドあるいは表２２・・・
ポインター ２３・・・レジスター ２４、２５・・・エントリー ２６〜３５．９０・・・フィールド ３６〜５３．９１・・・プログラムステップ６０・・・
論理回路 ６１、６５・・・接続マトリクス ６２、６３．６６、６７・・・アンドゲート６４、６８
・・・カウンター ６９・・・セットリセット・フリップフロップ７０、７
１・・・インバーター ７２・・・クロックパルス発生器 ７３、７４・・・デコーダー ７５、７６・・・出力 フ７、８１・・・接続マトリクス ７８・・・Ｑ出力 フ９、８０．８３・・・多重出力 ８２・・・多重入力

Claims (1)

1. 【特許請求の範囲】 １、各々が条件と関連応答の形をしている一組の規則を
   その中に蓄積しているデータ処理装置であって、各規則
   の条件部分が特定の挙動の存在を要求し、かつ装置が関
   連応答を発生することにより満足される上記の任意の条
   件に応答する手段を具えるものにおいて、 各規則の条件部分が特定の有限時間の特定の挙動あるい
   は挙動の組の連続的存在を要求することを特徴とする装
   置。 ２、該装置は上記の挙動あるいは挙動の組が現在存在し
   ている記録を維持する手段を含み、かつ 満足されている上記の任意の条件に応答する手段は、関
   連する特定の挙動あるいは挙動の組が現在存在すること
   を示す記録およびこの存在が始まる時間に基づいて関連
   応答を発生するよう配列されること、 を特徴とする請求項１に記載の装置。 ３、上記の各存在が始まる時間のリストを記録と共に維
   持する手段を含む請求項２に記載の装置。 ４、少なくとも上記の挙動が始まるかあるいは終わる度
   毎に規則の組を参照し、かつたとえあるにせよ上記の条
   件のいずれが現在存在する挙動に基づいて次に満足され
   るかを決定する手段を含む請求項１から３のいずれか１
   つに記載の装置。 ５、少なくとも１つの規則の応答部分は既に存在してい
   ないなら特定の挙動の発生を具え、その存在は少なくと
   も１つの規則の条件部分により要求される請求項１から
   ４のいずれか１つに記載の装置。 ６、装置内に蓄積された一組の規則に含まれている一組
   の挙動の展開をシミュレートするデータ処理装置であっ
   て、各規則はシミュレーション内の特定の有限時間の特
   定の挙動あるいは挙動の組の連続的存在および挙動の変
   化を必然的に伴う各規則の応答部分を要求する各規則の
   条件部分を持つ条件と関連応答の形を取り、上記の装置
   は、記録が示す挙動が存在するような挙動、およびその
   ような各存在が始まるシミュレーション内の時間に基づ
   いて、挙動の次の変化が規則の発動により有効となるシ
   ミュレーション内の時間を決定するようにシミュレーシ
   ョンの各ステージで規則の組を規定し、かつ後の時間お
   よび連続する挙動の関連変化を出力するために上記の挙
   動がシミュレーションのステージからステージにわたっ
   て存在する記録を維持する手段を具えるデータ処理装置
   。 ７、システム内に蓄積された一組の規則に含まれている
   一組の挙動の展開をシミュレートするデータ処理システ
   ムであって、上記のシステムは規則の組の各部分を処理
   し、かつそこに蓄積されたその部分を有する複数のデー
   タ処理装置を具え、各規則はシミュレーション内の特定
   の有限時間に対する特定の挙動あるいは挙動の組の連続
   的存在および挙動の変化を必然的に伴う各規則の応答部
   分を要求する各規則の条件部分を持つ条件と関連応答の
   形を取り、各装置は、記録が示す挙動が存在するような
   挙動、およびそのような各存在が始まるシミュレーショ
   ン内の時間に基づいて、挙動の次の変化がもしこれがシ
   ステムの任意の装置で発動すべき次の規則であるなら組
   の各部分の規則の発動により有効となるシミュレーショ
   ン内の時間を決定するようにシミュレーションの各ステ
   ージで規則の組のその部分を規定し、そしてもし上記の
   時間がシミュレーションの関連するステージにおけるシ
   ステムのすべての装置により決定された最初のものであ
   るなら、この時間とシステムからおよびシステムの別の
   装置への双方の挙動の関連変化を出力するために上記の
   挙動がシミュレーションのステージからステージにわた
   って存在する記録を維持する手段を具えるデータ処理シ
   ステム。