JPH04195338A - ファジィ推論方式 - Google Patents
ファジィ推論方式Info
- Publication number
- JPH04195338A JPH04195338A JP2322722A JP32272290A JPH04195338A JP H04195338 A JPH04195338 A JP H04195338A JP 2322722 A JP2322722 A JP 2322722A JP 32272290 A JP32272290 A JP 32272290A JP H04195338 A JPH04195338 A JP H04195338A
- Authority
- JP
- Japan
- Prior art keywords
- fuzzy
- information
- inference
- fuzzy inference
- frame
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 238000004519 manufacturing process Methods 0.000 claims abstract description 13
- 238000000034 method Methods 0.000 claims description 9
- 230000010354 integration Effects 0.000 abstract 1
- 238000004364 calculation method Methods 0.000 description 5
- 238000010586 diagram Methods 0.000 description 5
- 230000000694 effects Effects 0.000 description 2
- 238000005516 engineering process Methods 0.000 description 2
- 239000000470 constituent Substances 0.000 description 1
- 238000010276 construction Methods 0.000 description 1
- 230000007774 longterm Effects 0.000 description 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N5/00—Computing arrangements using knowledge-based models
- G06N5/04—Inference or reasoning models
- G06N5/048—Fuzzy inferencing
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N7/00—Computing arrangements based on specific mathematical models
- G06N7/02—Computing arrangements based on specific mathematical models using fuzzy logic
- G06N7/04—Physical realisation
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y10—TECHNICAL SUBJECTS COVERED BY FORMER USPC
- Y10S—TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y10S706/00—Data processing: artificial intelligence
- Y10S706/90—Fuzzy logic
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明は、金融業界を始めとするビジネス分野、及び機
械制御に係わる制御分野におけるファジィ推論方式に関
する。
械制御に係わる制御分野におけるファジィ推論方式に関
する。
従来、ファジィ推論のルールやメンバシップ関数等の情
報定義は、株式会社日立製作所発行のＦ日立クリエイテ
ィブワークステーション２０５０ ＥＳ／ＫＥＲＮＥ
Ｌ／Ｗ解説」のページ１９１−・ １９７に記載のよう
に一体の情報として扱われていた。そのため、金融シス
テムのようにテンポラリにメンバシップ関数の形状の変
化するようなシステムを構築するのは労を要した。また
、これらの情報が一体型になっているため、制御分野に
代表されるメンバシップ関数を用いて適合度だけを獲得
するようなシステムの構築は不可能であった。
報定義は、株式会社日立製作所発行のＦ日立クリエイテ
ィブワークステーション２０５０ ＥＳ／ＫＥＲＮＥ
Ｌ／Ｗ解説」のページ１９１−・ １９７に記載のよう
に一体の情報として扱われていた。そのため、金融シス
テムのようにテンポラリにメンバシップ関数の形状の変
化するようなシステムを構築するのは労を要した。また
、これらの情報が一体型になっているため、制御分野に
代表されるメンバシップ関数を用いて適合度だけを獲得
するようなシステムの構築は不可能であった。
上記従来技術では、ファジィ推論システム構築ツールに
おいてファジィルールとメンバシップ関数は一つの原始
知識上に対応付けて静的に定義する方式であった。この
ため、推論を行う際に状況が変わり作成したシステムで
対応できなくなる場合や、複数の状況下で対応できない
という問題があった。このような場合、システムの再作
成を行うか複数のシステムを作成する必要があり、各種
の状況に対処することが困難であった。また、プロダク
ションルールからメンバシップ関数を用いて適合度だけ
を求めて推論する形態の推論システムを構築することが
できなかった。
おいてファジィルールとメンバシップ関数は一つの原始
知識上に対応付けて静的に定義する方式であった。この
ため、推論を行う際に状況が変わり作成したシステムで
対応できなくなる場合や、複数の状況下で対応できない
という問題があった。このような場合、システムの再作
成を行うか複数のシステムを作成する必要があり、各種
の状況に対処することが困難であった。また、プロダク
ションルールからメンバシップ関数を用いて適合度だけ
を求めて推論する形態の推論システムを構築することが
できなかった。
本発明の第一の目的は状況に応じたファジィ推論システ
ムの構築を可能とすることであり、第二の目的１ま、プ
ロダクションルール プ関数を統合したプロダクション推論システムの構築を
可能とすることである。
ムの構築を可能とすることであり、第二の目的１ま、プ
ロダクションルール プ関数を統合したプロダクション推論システムの構築を
可能とすることである。
上記目的を達成する手段は、ファジィルール情報とメン
バシップ関数情報を分離して管理し、推論実行時に動的
に結合する方式である。
バシップ関数情報を分離して管理し、推論実行時に動的
に結合する方式である。
ファジィルール情報は、「もし〜ならばＪ （ＩＰ
− Ｔ Ｈ Ｅ Ｎルールンという形式で知識を表現す
るルールの集合であり、ファジィルール群と呼ぶ。
− Ｔ Ｈ Ｅ Ｎルールンという形式で知識を表現す
るルールの集合であり、ファジィルール群と呼ぶ。
メンバシップ関数情報は、曖昧性を表現するメンバシッ
プ関数の集合であり、これをファジィセットと呼ぶ。第
一の目的を達成するために、一つのファジィルール群に
対して状況の種類に応した複数のファジィセットを用意
しておき、推論実行時に動的に使用するファジィセット
を変更できることが特徴である。第二の目的を達成する
ために、プロダクションルールから使用するファジィセ
ットを条件フレー１１に指定してファジィ推論を行い、
得られた適合度を参照できることが特徴である。
プ関数の集合であり、これをファジィセットと呼ぶ。第
一の目的を達成するために、一つのファジィルール群に
対して状況の種類に応した複数のファジィセットを用意
しておき、推論実行時に動的に使用するファジィセット
を変更できることが特徴である。第二の目的を達成する
ために、プロダクションルールから使用するファジィセ
ットを条件フレー１１に指定してファジィ推論を行い、
得られた適合度を参照できることが特徴である。
一つのルール群は，一つ以上のルールから構成され、各
ルールには一つ以上の条件部命題と一つの結論部命題を
持つ。一つのファジィセットは。
ルールには一つ以上の条件部命題と一つの結論部命題を
持つ。一つのファジィセットは。
一つ以上の命題で定義し、各命題に対応させてメンバシ
ップ関数を定義する形態で構成されている。
ップ関数を定義する形態で構成されている。
一つのファジィ推論システムは、一つ以上のルール群と
一つ以上のファジィセラ１−で構成することができ、プ
ロダクションシステムから呼び出される。そこで、予め
想定できる状況の種類に応じたファジィセットや，プロ
ダクションルールから利用するためのファジィセットを
各々定義しておき推論実行時、目的に応してそれを使い
分ける。
一つ以上のファジィセラ１−で構成することができ、プ
ロダクションシステムから呼び出される。そこで、予め
想定できる状況の種類に応じたファジィセットや，プロ
ダクションルールから利用するためのファジィセットを
各々定義しておき推論実行時、目的に応してそれを使い
分ける。
以下，本発明の一実施例について図面を用いて説明する
。
。
第１図のファジィ推論初期化部１１は、条件フレーム１
２に指定されている対象ファジィルール群と対象ファジ
ィセットの格納場所を求め、それらを格納するファイル
１３とファイル１４からそれぞれファジィルール群情報
とファジィセット情報を読み出し，ファジィ推論統合情
報１５を作成する。
２に指定されている対象ファジィルール群と対象ファジ
ィセットの格納場所を求め、それらを格納するファイル
１３とファイル１４からそれぞれファジィルール群情報
とファジィセット情報を読み出し，ファジィ推論統合情
報１５を作成する。
ファジィ推論実行部１６は，条件フレーム１２にある事
実情報とファジィ推論統合情報１５に基づいてファジィ
推論を行い、その結果を結論フレーム１７に出力する。
実情報とファジィ推論統合情報１５に基づいてファジィ
推論を行い、その結果を結論フレーム１７に出力する。
また、ファジィセラ１〜情報のみをプロダクションルー
ルと統合して推論する場合、ファジィ推論初期化部１１
は、条件フレーム１２に指定されている対象ファジィセ
ラ１−を求め，ファイル１４からファジィセット情報を
読み出す。
ルと統合して推論する場合、ファジィ推論初期化部１１
は、条件フレーム１２に指定されている対象ファジィセ
ラ１−を求め，ファイル１４からファジィセット情報を
読み出す。
ファジィ推論実行部１６は、条件フレーム１２にある事
実情報と読み出したファジィセント情報を元に，メンバ
シップ関数の計算処理を行、い、その結果を結論フレー
ム１７に出力する。
実情報と読み出したファジィセント情報を元に，メンバ
シップ関数の計算処理を行、い、その結果を結論フレー
ム１７に出力する。
第２図は、ファジィ推論初期化部１１の入力データとな
るファイル１３上のファジィルール群情報の一例であり
、ファジィルール群情報はファジィルール群を構成する
ルール名２１と、ルールの条件部計算式２２と，ルール
の結論部計算式２３から構成される。さらに、条件部計
算式２２と結論部計算式２３は，命題番号２４と演算子
から構成され、命題番号２４は主語２５と述語２６から
構成される。
るファイル１３上のファジィルール群情報の一例であり
、ファジィルール群情報はファジィルール群を構成する
ルール名２１と、ルールの条件部計算式２２と，ルール
の結論部計算式２３から構成される。さらに、条件部計
算式２２と結論部計算式２３は，命題番号２４と演算子
から構成され、命題番号２４は主語２５と述語２６から
構成される。
尚、このファジィルール群情報は、ファジィル−ル群２
７に対して、ファジィ推論を行いやすい形式に変換した
ものである。
７に対して、ファジィ推論を行いやすい形式に変換した
ものである。
第３図は、ファジィ推論初期化部１１の久方データとな
るファイル１４上のファジィセット情報の一例であり、
ファジィセット情報は命題番号３１と、命題の構成要素
である主語３２と述語３３と、メンバシップ関数を形成
する定義域３４と関数タイプ３５と関数のパラメータ３
６から構成される。
るファイル１４上のファジィセット情報の一例であり、
ファジィセット情報は命題番号３１と、命題の構成要素
である主語３２と述語３３と、メンバシップ関数を形成
する定義域３４と関数タイプ３５と関数のパラメータ３
６から構成される。
尚、このファジィセット情報は、メンバシップ関数３７
の集合から成るファジィセットに対して、ファジィ推論
を行いやすい形式に変換したものである。
の集合から成るファジィセットに対して、ファジィ推論
を行いやすい形式に変換したものである。
第４図は、ファジィ推論統合情報１５の一例であり、命
題番号３１をキーとして第２図のファジィルール群情報
に第３図のファジィセット情報を加え合わせたものであ
る。
題番号３１をキーとして第２図のファジィルール群情報
に第３図のファジィセット情報を加え合わせたものであ
る。
ファジィ推論実行部１６は、条件フレーム１２に示され
る事実情報（条件部計算式２２で使用されている命題番
号３１に含まれる主語３２の事実値）と第４図のテーブ
ルを元にファジィ推論を行い、結果フレームに推論結果
を出力する。
る事実情報（条件部計算式２２で使用されている命題番
号３１に含まれる主語３２の事実値）と第４図のテーブ
ルを元にファジィ推論を行い、結果フレームに推論結果
を出力する。
ファジィセラ１〜情報のみをプロダクションルールと統
合して推論する場合は、ファジィ推論実行部１６はプロ
ダクションシステム中のファジィ推論を行う部分であり
、条件フレーム１２に示される事実情報（条件部計算式
２２で使用されている命題番号３１に含まれる主語３２
の事実値）と第３図のテーブルを元にメンバシップ関数
の計算処理を行い、結果フレームに推論結果を出力する
。
合して推論する場合は、ファジィ推論実行部１６はプロ
ダクションシステム中のファジィ推論を行う部分であり
、条件フレーム１２に示される事実情報（条件部計算式
２２で使用されている命題番号３１に含まれる主語３２
の事実値）と第３図のテーブルを元にメンバシップ関数
の計算処理を行い、結果フレームに推論結果を出力する
。
第５図は、ファジィＪｆＬ論初期化部１１のフローチャ
ートである。ステップ５Ｊでは１条件フレーム１２を読
み出し対象ファジィルール群を示す情報と対°象ファジ
ィセットを示す情報と事実情報を得る。ステップ５２で
は、ステップ５１で得たファジィルール群を示す情報か
らファジィルール群を格納するファイル１３を求め、フ
ァイル１３からファジィルール群情報をすへて読み出し
、第２図に示すテーブルを作成する。ステップ５３では
、ステップ５１で得たファジィセットを示す情報からフ
ァジィセットを格納するファイル４を求め、ファイル１
４から主語、述語、定義域、関数タイプ、パラメータを
読み出す。５４では、読み出した主語と述語を持つ命題
をステップ５２で作成したテーブルから検索し、定義域
、関数タイプ、パラメータを加え合わす。ステップ５５
では、他にファジィセット情報がないかを判定し、ファ
ジィセット情報があればステップ５３がらの処理を繰す
返ス。ファジィセット情報がなければ、ファジィ推論初
期化処理を終了する。
ートである。ステップ５Ｊでは１条件フレーム１２を読
み出し対象ファジィルール群を示す情報と対°象ファジ
ィセットを示す情報と事実情報を得る。ステップ５２で
は、ステップ５１で得たファジィルール群を示す情報か
らファジィルール群を格納するファイル１３を求め、フ
ァイル１３からファジィルール群情報をすへて読み出し
、第２図に示すテーブルを作成する。ステップ５３では
、ステップ５１で得たファジィセットを示す情報からフ
ァジィセットを格納するファイル４を求め、ファイル１
４から主語、述語、定義域、関数タイプ、パラメータを
読み出す。５４では、読み出した主語と述語を持つ命題
をステップ５２で作成したテーブルから検索し、定義域
、関数タイプ、パラメータを加え合わす。ステップ５５
では、他にファジィセット情報がないかを判定し、ファ
ジィセット情報があればステップ５３がらの処理を繰す
返ス。ファジィセット情報がなければ、ファジィ推論初
期化処理を終了する。
なお上記実施例は、主記憶装置を有する演算処理装置、
外部記憶装置および入出力装置を備えた計算機システム
で実行可能である。条件フレーム１２、ファイル１３．
ファイル１４．ファジィ推論統合情報１５および結論フ
レーム１７を主記憶装置または外部記憶装置上に格納す
ることができる・またファジィ推論初期化部１１および
ファジィ推論実行部１６は主記憶装置に格納されたプロ
グラムによって実行できる。対象ファジィルールと対象
ファジィセットの指定はたとえばキーボー１’と表示装
置とを備えた入出力装置から行い、条件フレーム１２を
作成することができる。
外部記憶装置および入出力装置を備えた計算機システム
で実行可能である。条件フレーム１２、ファイル１３．
ファイル１４．ファジィ推論統合情報１５および結論フ
レーム１７を主記憶装置または外部記憶装置上に格納す
ることができる・またファジィ推論初期化部１１および
ファジィ推論実行部１６は主記憶装置に格納されたプロ
グラムによって実行できる。対象ファジィルールと対象
ファジィセットの指定はたとえばキーボー１’と表示装
置とを備えた入出力装置から行い、条件フレーム１２を
作成することができる。
本発明によれば、状況に応したファジィ推論システムの
枯葉ができ、またメンバシップ関数をプロダクションル
ールと統合した推論システムの構築ができる。
枯葉ができ、またメンバシップ関数をプロダクションル
ールと統合した推論システムの構築ができる。
第１図はシステムの概略を示す構成図、第２図はファジ
ィルール群情報の例を示す図、第３図はファジィゼット
情報の例を示す図、第４図はファジィルール群情報にフ
ァジィセラ１〜情報を加え合わせたものの例を示す図、
第５図はファジィ推論初期化部１］の処理の流れを示す
フローチャートである。 １１・・ファジィ推論初期化部、 １２・・・条件フレーム、 １３．１４・・ファイ
ル、１５・・ファジィ推論統合情報。 躬 １ 国 ／３ 第 ２ 国 第 ３図 躬 ４０
ィルール群情報の例を示す図、第３図はファジィゼット
情報の例を示す図、第４図はファジィルール群情報にフ
ァジィセラ１〜情報を加え合わせたものの例を示す図、
第５図はファジィ推論初期化部１］の処理の流れを示す
フローチャートである。 １１・・ファジィ推論初期化部、 １２・・・条件フレーム、 １３．１４・・ファイ
ル、１５・・ファジィ推論統合情報。 躬 １ 国 ／３ 第 ２ 国 第 ３図 躬 ４０
Claims (3)
- １．推論実行時にフアジィルール情報とメンバシップ関
数情報を動的に結合し推論することを特徴とするフアジ
ィ推論方式。 - ２．ファジィルール情報が格納されているフアイルと、
メンバシップ関数情報が格納されているフアイルと、特
定の前記フアジィルール情報および前記メンバシップ関
数情報の指定に基づいて両者の情報を組み合わせる手段
と、組合せられた前記フアジィルール情報と前記メンバ
シップ関数情報とに基づいて推論を行う手段とを有する
ことを特徴とするファジィ推論方式。 - ３．複数のメンバシップ関数情報が格納されているフア
イルと、プロダクションルールを有しフアジィ推論を実
行する手段とを有し、前記実行手段は前記ファイル中の
特定のメンバシップ関数を呼び出し前記プロダクション
ルールと組み合せて推論を行うことを特徴とするフアジ
ィ推論方式。
Priority Applications (3)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2322722A JPH04195338A (ja) | 1990-11-28 | 1990-11-28 | ファジィ推論方式 |
| US07/796,310 US5805773A (en) | 1990-11-28 | 1991-11-22 | Fuzzy reasoning method and system |
| EP91310966A EP0488694B1 (en) | 1990-11-28 | 1991-11-27 | Fuzzy reasoning method and system |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2322722A JPH04195338A (ja) | 1990-11-28 | 1990-11-28 | ファジィ推論方式 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH04195338A true JPH04195338A (ja) | 1992-07-15 |
Family
ID=18146895
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2322722A Pending JPH04195338A (ja) | 1990-11-28 | 1990-11-28 | ファジィ推論方式 |
Country Status (3)
| Country | Link |
|---|---|
| US (1) | US5805773A (ja) |
| EP (1) | EP0488694B1 (ja) |
| JP (1) | JPH04195338A (ja) |
Families Citing this family (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6094646A (en) * | 1997-08-18 | 2000-07-25 | Siemens Aktiengesellschaft | Method and apparatus for computerized design of fuzzy logic rules from training data vectors of a training dataset |
| AU2002353389A1 (en) * | 2002-12-20 | 2004-07-14 | Nokia Corporation | Method and device for organizing user provided information with meta-information |
| WO2012046024A1 (en) * | 2010-10-07 | 2012-04-12 | Bae Systems Plc | Image processing |
| US8798320B2 (en) * | 2010-10-07 | 2014-08-05 | Bae Systems Plc | Image processing |
| CN111414010B (zh) * | 2020-04-14 | 2023-05-23 | 中国人民解放军32180部队 | 编队内无人机防撞优先级设计方法 |
| CN111832731B (zh) * | 2020-07-09 | 2022-08-05 | 西安交通大学 | 一种多指标监测的油液不确定状态表征及故障诊断的方法 |
| CN111832730B (zh) * | 2020-07-09 | 2022-07-26 | 西安交通大学 | 一种油液不确定状态的信度表征与状态识别的方法 |
Family Cites Families (11)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| KR910008882B1 (ko) * | 1982-04-27 | 1991-10-24 | 가부시기가이샤 히다찌세이사꾸쇼 | 정위치 정차방법 및 장치 |
| EP0241286B2 (en) * | 1986-04-11 | 1994-11-09 | Mitsubishi Denki Kabushiki Kaisha | An auto-tuning controller |
| JP2681930B2 (ja) * | 1987-06-27 | 1997-11-26 | 株式会社デンソー | サーボ制御装置 |
| JPH0676181B2 (ja) * | 1988-02-01 | 1994-09-28 | フジテック株式会社 | エレベータの群管理制御方法及び装置 |
| JPH0774961B2 (ja) * | 1988-04-07 | 1995-08-09 | 株式会社日立製作所 | オートチユーニングｐｉｄ調節計 |
| US5175795A (en) * | 1988-07-29 | 1992-12-29 | Hitachi, Ltd. | Hybridized frame inference and fuzzy reasoning system and method |
| JPH02104929A (ja) * | 1988-10-14 | 1990-04-17 | Hitachi Ltd | 電子制御燃料噴射装置 |
| EP0375155B1 (en) * | 1988-11-18 | 1994-06-15 | Honda Giken Kogyo Kabushiki Kaisha | Vehicle automatic transmission control system |
| JPH02140804A (ja) * | 1988-11-21 | 1990-05-30 | Maikomu Kk | プログラマブルロジック回路 |
| US5084754A (en) * | 1989-09-20 | 1992-01-28 | Sony Corporation | Method and apparatus for effecting fuzzy control of an imaging device |
| JP2815991B2 (ja) * | 1990-07-30 | 1998-10-27 | 三洋電機株式会社 | 吸収式冷凍機の制御装置 |
-
1990
- 1990-11-28 JP JP2322722A patent/JPH04195338A/ja active Pending
-
1991
- 1991-11-22 US US07/796,310 patent/US5805773A/en not_active Expired - Fee Related
- 1991-11-27 EP EP91310966A patent/EP0488694B1/en not_active Expired - Lifetime
Also Published As
| Publication number | Publication date |
|---|---|
| EP0488694B1 (en) | 2000-08-23 |
| US5805773A (en) | 1998-09-08 |
| EP0488694A2 (en) | 1992-06-03 |
| EP0488694A3 (en) | 1993-02-24 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Ban et al. | Trapezoidal approximation and aggregation | |
| US9069557B2 (en) | Business intelligence document | |
| US20110131253A1 (en) | System and Method of Schema Matching | |
| US20050062741A1 (en) | Methods, systems and computer program products for filtering content displayed in a tree map visualization | |
| Jefferson et al. | Implementing logical connectives in constraint programming | |
| US20160224604A1 (en) | Association index linking child and parent tables | |
| JPH04195338A (ja) | ファジィ推論方式 | |
| JPS62208167A (ja) | ベクトル処理装置 | |
| JPH0764766A (ja) | 並列計算機における最大・最小値演算方法 | |
| Kozawa et al. | The carving-width of generalized hypercubes | |
| AbouEisha et al. | Multi-stage Optimization of Element Partition Trees | |
| Pliuškevičius | Effective Replaceability of the Omega—Rule for Restricted Sequents of the First–Order Linear Temporal Logic | |
| Sakawa et al. | An interactive fuzzy satisficing method for multiobjective integer programming problems through genetic algorithms | |
| CN116308603A (zh) | 用于确定目标产品的方法、装置、存储介质及处理器 | |
| JPH07262174A (ja) | 算術式データ処理装置 | |
| JPS59178539A (ja) | デ−タ演算装置の制御方法 | |
| JPH02278338A (ja) | 表形式の逆方向推論方式 | |
| JPH05334465A (ja) | 演算器・記憶装置・データ転送装置必要数計数装置 | |
| JPS6229816B2 (ja) | ||
| JP2735255B2 (ja) | ハツシング処理方法 | |
| Chou et al. | On the vertex separation of unicyclic graphs | |
| JPH04332080A (ja) | 表計算方法 | |
| Khan | Applications of top trees on Planar Graphs | |
| JPH02273836A (ja) | ルール生成装置 | |
| Goldberg | An Adequate Left-Associated Binary Numeral System in the λ-Calculus |