JPH0789283B2 - 数式処理制御システム - Google Patents

数式処理制御システム

Info

Publication number
JPH0789283B2
JPH0789283B2 JP59230185A JP23018584A JPH0789283B2 JP H0789283 B2 JPH0789283 B2 JP H0789283B2 JP 59230185 A JP59230185 A JP 59230185A JP 23018584 A JP23018584 A JP 23018584A JP H0789283 B2 JPH0789283 B2 JP H0789283B2
Authority
JP
Japan
Prior art keywords
mathematical
program
mathematical expression
mathematical model
control system
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.)
Expired - Lifetime
Application number
JP59230185A
Other languages
English (en)
Other versions
JPS61110203A (ja
Inventor
真也 谷藤
泰男 諸岡
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Hitachi Ltd
Original Assignee
Hitachi Ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Hitachi Ltd filed Critical Hitachi Ltd
Priority to JP59230185A priority Critical patent/JPH0789283B2/ja
Priority to US06/793,773 priority patent/US4740886A/en
Priority to CN85108971A priority patent/CN1011267B/zh
Priority to KR1019850008138A priority patent/KR920003499B1/ko
Publication of JPS61110203A publication Critical patent/JPS61110203A/ja
Publication of JPH0789283B2 publication Critical patent/JPH0789283B2/ja
Anticipated expiration legal-status Critical
Expired - Lifetime legal-status Critical Current

Links

Classifications

    • GPHYSICS
    • G06COMPUTING OR CALCULATING; COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • GPHYSICS
    • G05CONTROLLING; REGULATING
    • G05BCONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B13/00Adaptive control systems, i.e. systems automatically adjusting themselves to have a performance which is optimum according to some preassigned criterion
    • G05B13/02Adaptive control systems, i.e. systems automatically adjusting themselves to have a performance which is optimum according to some preassigned criterion electric
    • G05B13/0265Adaptive control systems, i.e. systems automatically adjusting themselves to have a performance which is optimum according to some preassigned criterion electric the criterion being a learning criterion
    • G05B13/028Adaptive control systems, i.e. systems automatically adjusting themselves to have a performance which is optimum according to some preassigned criterion electric the criterion being a learning criterion using expert systems only
    • YGENERAL 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
    • Y10TECHNICAL SUBJECTS COVERED BY FORMER USPC
    • Y10STECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y10S706/00Data processing: artificial intelligence
    • Y10S706/902Application using ai with detail of the ai system
    • Y10S706/903Control
    • Y10S706/906Process plant
    • YGENERAL 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
    • Y10TECHNICAL SUBJECTS COVERED BY FORMER USPC
    • Y10STECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y10S706/00Data processing: artificial intelligence
    • Y10S706/902Application using ai with detail of the ai system
    • Y10S706/919Designing, planning, programming, CAD, CASE
    • Y10S706/922Computer program preparation

Landscapes

  • Engineering & Computer Science (AREA)
  • Artificial Intelligence (AREA)
  • Software Systems (AREA)
  • General Physics & Mathematics (AREA)
  • Physics & Mathematics (AREA)
  • Computer Vision & Pattern Recognition (AREA)
  • Medical Informatics (AREA)
  • Evolutionary Computation (AREA)
  • Health & Medical Sciences (AREA)
  • Automation & Control Theory (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Feedback Control In General (AREA)

Description

【発明の詳細な説明】 〔発明の利用分野〕 本発明は数式処理による制御に係り、特に使用条件を満
足する数式を選択しプログラムに変換制御をおこなう数
式処理制御システムを提供することにある。
〔発明の背景〕
計算機制御システムや情報処理システムでは、対象の数
式モデルをプログラムとして表現し、対象の将来像を予
測したり、直接計測できない状態量を推定する方法が一
般的に用いられている。
これらの数式にも使用上の条件があつて、どのような場
合でも使えるということはない。このたの、何組かの数
式を用意し、条件によつて使い分けるということもめず
らしくない。一方、当初考えていないような条件がみつ
かつたり、適用範囲を広げたりする場合には、新たに数
式モデルの見直しをおこなつてプログラムの修正,追加
を行なうことになる。しかしながらこの過程で様々な間
違いが入いりこみ、システムトラブルが発生することが
多い。この間違いを防ぐために細心の注意と多大の労力
が払われるが、人手に頼る現状のやり方では完全を期す
ことは困難である。
例えば加熱炉燃焼制御では、与えられたいくつかの制御
目標を同時に満足するような制御を実現する必要があ
る。例えば、抽出時の鋼片温度を目標範囲におさめるこ
と、燃料消費量を最小にすること、炉温の変化速度を一
定値以下にすること等様々の制御目標がある。一方これ
らの目標は必らずしも固定したものでない。
加熱炉の炉内現象は完全にはわかつていないため、制御
目標が経験的に決められていることが多い。したがつて
操業経験を積むにしたがい、よりよい制御目標が見つか
り修正する必要が生じてくる。また操業方針が変更にな
つたり、当初計画に含まれていない種類の鋼材を加熱す
るような場合にも、制御目標の修正,追加が必要にな
る。これに伴つてプログラムの修正,追加をおこなうこ
とになるが、これには次のような問題がともなう。
(i)修正,追加プログラムにひそむバグによるシステ
ムトラブル。
(ii)修正,追加に多大の労力を必要とする。
そこでこれらの問題点をもう少し明確にするために、従
来システムにおいて制御目標がどのような形で用いられ
ていたかを分析してみる。
第2図は圧延用鋼片を加熱する多帯式加熱炉の燃焼制御
システムである(実開昭58-210121)第2図において10
は加熱炉、11は鋼片、20は燃焼制御システム、30a,30b,
30cは比例積分型調節器、21は炉内鋼片の移動スケジユ
ールを予測するスケジユール予測部、22は炉内鋼片の最
適昇温曲線の予測計算部、23は鋼片内部の温度を炉温計
算値から計算する推定部、24は炉温の設定値を決定する
演算部を表わしている。
予測計算部22は複数の制御目標を満足する鋼片昇温曲線
を計算する。次の(1)〜(5)式は代表的な制御目標
を数式で記述したものである。
OUT ……(2) Δθ≦ΔθOUT≦Δθ ……(3) 0≦v(i)≦vU(i) (i=1〜n) ……(4) TL(i)≦T(i)≦TU(i) (i=1〜n) ……(5) ここでnは現時刻から抽出までの予定時間(これは移動
スケジユール予測部21で計算される)をn分割すること
を表わし、iはその第i番目の時間ゾーンを、Δτ
第i時刻ゾーンの時間長を意味する。従つてT(i),v
(i)は第i時間ゾーンにおける炉温、および計算対象
鋼片の加熱に要する燃料流量を表わしている。また
OUT,ΔθOUTは抽出時の鋼片温度の平均値および灼熱度
(鋼片表面と内部の温度差)を表わしている。また添字
LとUのついた項はそれぞれの式の下限値と上限値を表
わしている。(1)式は現在から抽出までの加熱に要す
る燃料を最小化する評価関数、(2),(3)式は鋼片
抽出温度に関する制約式、(4),(5)式は設備能力
からくる燃料流量と炉温の制約式を表わしている。
燃焼制御システムの目的は(1)〜(5)の数式を同時
に満足する解を求めることにあるが、そのために引例で
は様々の工夫をおこなつている。例えば、(1)〜
(5)式のv(i),OUTと炉温T(i)を導びつけ
る炉内現象モデル式の誘導、そのモデル式をベースにし
て(1)〜(5)式を線形化するアリゴリズムの導出,
線形化された(1)〜(5)式の解を求める線形計画法
アルゴリズムの採用等がある。最終的にそれらのアルゴ
リズムは適当なプログラム言語を用いて表現され、実用
に供されることになる。すなわち、ある数式(もしくは
数式群)が与えられたとき、それを計算機で実行可能な
形にするまでには、数式間の関係を記述するモデルを導
出するステツプ、数式を計算機で解くためのアルゴリズ
ムを決定するステツプ、そのモデルやアルゴリズムをプ
ログラムに変換するというステツプ等を踏む必要があ
る。従つて新しい数式が追加になつたり、修正になると
アルゴリズムの修正,プログラムの修正が必要になる。
またそれ以前に作つたアルゴリズムやプログラムとの整
合性も充分考慮されねばならない。
これらのアルゴリズムの検討、プログラム修正方式の決
定、プログラムの作成といつた作業はシステムエンジニ
アとかプログラマとよばれる人間がおこなうことになる
が、数式からプログラムに変換する各ステツプのミスを
完全に防ぐことは非常に難しい。
なお、(1)〜(5)式はある典形的な制御目標を表わ
したものであつて、常に(1)〜(5)式を使えば良い
というものではない。例えば鋼片の材質が異なれば
(1)〜(5)の代りに別の制御目標が用いられること
があるし、同じ材質のものでも抽出時間の長さや鋼片の
充法等によつて(1)〜(5)式の中のある式を使わな
かつたり、別のものでおきかえるといつたことが必要に
なる。炉の操業条件に応じてどの数式をどのように組合
わせて使うか(数式使用条件)は、操業経験に負うとこ
ろが大きい。このため操業経験が深まるとともに数式の
使い方も変化することもしばしば発生する。従来のよう
に数式をプログラムとして書いている場合には、その変
化に合せてプログラムの変更が必要になり、やはり大き
な問題を生ずる。
〔発明の目的〕
本発明の目的は、かかる従来方式の欠点に鑑みユーザが
数式を入力すると、その数式に対応するプログラムを自
動的に生成し、作成済みの実行プログラムと自動的にリ
ンクする機能をもつた数式処理システムを提供すること
にある。
〔発明の概要〕
本発明は数式もしくは数式と数式使用条件の組をプログ
ラムとは独立したデータとして入力して記憶する。記憶
した数式の構文解析をおこなつてそれに基づいて演算プ
ログラムを生成し、この生成したプログラムを実行して
情報処理システムにその結果を返す。このような機能を
備えることにより情報処理システムに任意の数式に対応
するプログラムを埋め込んだのと同等の効果を与える。
尚、本発明の数式処理制御システムは、所定の制御対象
に対する制御目標を満足する制御量を決定して、制御対
象にその結果を、数式モデル処理に基づいて出力制御す
るものであって、制御目標を表わす数式モデルと数式モ
デルの使用条件を複数個の組として入力して記憶する記
憶手段と、制御対象の運転条件データと使用条件とを比
較して、これらが合致する使用条件における数式モデル
を制御目標として選択する選択手段と、選択された数式
モデルから、実行可能プログラムを生成するプログラム
生成手段と、実行可能プログラムを実行する実行手段
と、実行手段の出力に基づき、前記制御量を決定するこ
とを特徴とするものである。
〔発明の実施例〕
本発明の具体的実施例を第1図,第3図〜第10図を用い
て加熱炉制御の場合について説明する。第1図において
100は制御部、200は数式処理部、101は移動スケジユー
ル予測部、103は鋼片温度予測部、102は予測計算部、10
4は操作量予測部を表わす。ここで101,103および104
は、第2図の21,23および24と同一の機能と構成をもつ
ものでその詳細説明は省略する。一方制御目標に直接関
係している予測計算102は第2図の22と異なり、数式処
理部200とのインタラクシヨンを介して最適な鋼片昇温
曲線の決定する。
すなわち、予測計算部102は先ず数式処理部200に対し、
炉操業データから、どのような制御目標を使うべきかを
問い合せる。数式処理部200では数式使用条件を炉操業
データを比較し数式を選択する。さらに数式処理部200
ではこの選択された数式を実行可能なプログラムに自動
変換し、予測計算部102に返す。予測計算部102はこのプ
ログラムを受け取つて実行し、その結果に基づいて昇温
曲線を決定する。
次に予測計算部102と数式処理部200の詳細を第3図を用
いて説明する。実線はプログラムフローを、点線はデー
タフローを示す。第3図において102は第2図の予測計
算部に対応し、102-A〜102-Jはその処理のステツプを表
わしている。また300は後述するインタープリタを表わ
し、200は第2図の200に対応する数式処理部を表わす。
また201はユーザとの対話形式により数式を入力するマ
ンマシン処理部、202は数式選択部、203は選択された数
式を実行可能なプログラムに自動変換するプログラム生
成部を表わす。
またF1〜F9はデータフアイルを表わしている。F1は数式
選択に必要な炉内状況データ(鋼種,板厚,在炉時間
等)を数式処理部にわたすためのインターフエースフア
イル、F2〜F4は数式処理部200から予測計算部102へ渡す
実行可能プログラムの入つたフアイル、F5,F6はマンマ
シン部201を介して取り込んだ数式および数式使用条件
を格納するフアイル、F7〜F9は予測計算部で用いるワー
クフアイルである。
予測計算部102の102-Aでは昇温予定曲線の対象となつて
いる鋼片(対象材と呼ぶ)の鋼種,板厚,抽出までの時
間(在炉時間),炉温分布といつた炉内状況を表わすデ
ータをフアイルF1に格納する。次に102-Bで数式処理部2
00を起動する。数式処理部200の処理はあとで詳しく説
明するが、炉内状況データに基づいて数式(評価関数や
制約式)を選択する。さらにそれらの数式を計算可能な
プログラム(ここでは中間コードと呼ぶ)に変換して、
この結果をインターフエースフアイルF2,F3,F4に格納す
る。
予測計算部102の102-C〜102-Hは(1)〜(5)式で代
表される数式から線形計画プログラムで使用するデータ
を生成するステツプであり、102-Iが線形計画プログラ
ムを実行するステツプ、102-Jは線形計画法による計算
結果が求まる最適炉温分布{T(1),T(2),……,T
(n)}OPTを求め、その炉温分布で鋼片を加熱した場
合の鋼片昇温曲線を計算するステツプである。この中で
制御目標を表わす数式に直接関係するのは、102-E,102-
Gおよび102-Hであり、ここで実行すべきプログラムは数
式処理部200から渡されたインターフエースフアイルF2,
F3,F4に中間コードとして格納されている(詳細は後
述)、102-E,102-G,102-Hではこれらの中間コードを実
行するために、インタープリター300を起動するだけで
あり、特定の制御目標に対応する数式の処理手続きは10
2-E,102-G,102-Hには一切かかれていない。従つて102-a
〜102-Jの各手続きは特定の制御目標に依存しない標準
的プログラムである。
なお以下では数式処理部200によつて制御目標として
(1),(2),(4),(5)式が選択されたものと
して説明を進める。また、説明が必要以上に複雑になる
のを避けるため(2),(4),(5)式の上下限値は
定数で、時間分割数nと時間長Δτの値も決つている
ものとする。
予測計算部102の処理の内容をもう少し詳しく説明す
る。予測計算部の102-Cでは適当な炉温分布(基準炉温
分布){T(1),T(2),……,T(n)}を決定し、
102-Dの部分で炉内現象モデルを用いて鋼片の内部温度
分布と燃料流量をシミユレーシヨンで決定する。炉内現
象モデルとしては熱伝導方程式、燃料流量式を用いれば
良い。この炉内現象モデルで計算される諸量は炉内の状
況を推定するための基本的な物理量であり、どのような
制御目標を用いるかとは直接関係ない。102-Dは、この
炉内現象を計算するプログラムそのものを表わしてい
る。
ここでは計算で求まる鋼片の内部温度分布を第4図に示
したようにθ(1),……θ(5)で表わし、各時間ゾ
ーンの燃料流量の計算値をv(1),v(2),……,v
(n)で表わす。それらの計算結果はプロセスデータ格
納テーブルF7の所定の格納場所に格納される。
制御目標の中には炉内現象モデルで直接計算していない
ような物理量(例えば(2)式のOUT)が用いられて
いることがある。その値を決定するには、それらの物理
量を炉内現象モデルで計算した基本的物理量と結びつけ
る関係式が必要である。OUTの場合には、次のような
関係式が(2)式の定義と一緒におこなわれているもの
とする(マンマシン処理部201の所で説明する)。
この関係式に対応するプログラムは数式処理200によつ
て自動生成されたインターフエースフアイルF2に格納さ
れている。一方このプログラムの実行に用いられるデー
タは、102-Dの所で説明したようにプロセスデータ格納
テーブルF7に格納されている。ステツプ102-Eからイン
タープリタ300を起動すると、インタープリタはフアイ
ルF2から中間コードと取り出し実行する。この計算によ
OUTの値が決まり、ワークテーブルF8の所定の格納
場所に格納される。
以上の102-C〜102-Eの計算は異つたいくつかの炉温分布
に関して繰返しおこなわれる。すなわち、先ず線形中心
となる炉温分布{T0(1),……,T0(n)}に関し102-C〜102
-Eの計算をおこなつてOUTやv(i)を決定する(こ
れをOUT,0 v0(i)と表わすことにする)。次に第j時
刻ゾーンの炉温だけをT0(j)+ΔT(ΔTは定数)とし
て、同様の計算を繰返す(j=1〜n)。その結果をこ
こではOUT,j,vj(i)とする。結果はいずれもワークテ
ーブルF-8に格納される。
これらの結果から各時間ゾーンの炉温変化が各物理量に
及ぼす影響の大きさを次式によつて計算できる。
数式処理部200は(1)〜(5)式の中からOUTやv
(i)のような物理量に関し、それらの線形係数を計算
するプログラム(7),(8)式に対応)を自動的に生
成し、インターフエースフアイルF3に格納しておく。従
つて第3図の102-Gからインタープリタ300を起動する
と、そのプログラムをインタープリタ300が実行する。
これにより線形係数α,γi,jの値が求まる。
ところで、制御目標の中に現われる物理量OUTと,v
(i)は以上より次のように表わされる。
ここでxiは第i時間ゾーンの炉温微少変化量を表わして
おり、本実施例では、このxiを独立変数とみなしてい
る。(9),(10)式を(1),(2),(4),
(5)式に代入して整理すると次のようになる。
J=C0+cx→最小 ……(11) bL≦H・x≦bU …(12) ここで、 (13)〜(16)式の各要素の値が決まれば線形計画法の
標準プログラムにより(11),(12)を満す解が求めら
れる。(13)〜(16)式には各要素の計算式が与えられ
ているが、これらの計算式は制御目標としてどの数式が
選ばれるかによつて異つたものになる。数式処理部200
では、数式は選択されたあと、その数式からC0,c,bL,
bU,Hの各要素を計算するプログラムを生成し、フアイル
F4に格納しておく。第3図の102-Hからインタープリタ
を起動し、フアイル4Pのプログラムを実行すると、線形
計画プログラムで必要なデータが生成される(詳細は数
式処理200で述べる)。
この計算に引き続き線形計画法計算プログラムを102-I
で起動することにより評価関数(11)式を最小にする炉
温の微小変化の最適値{x1,OPT,x2,OPT,……,xn,OPT
が求まる。このとき最適炉温分布{T(1),T(2),
……,T(n)}OPTは{T0(1)+x1,OPT,T0(2)+x2,OPT,
…,T0(n)+xn,OPT}で与えられる。第3図の102-Jではこ
の最適炉温で加熱した場合の鋼片温度変化を熱伝導方程
式により求め、それを最適な鋼片昇温曲線とする。
次に数式処理部200の機能と構成を説明する。第3図の
マンマシン処理部201はユーザが数式の使用条件および
数式を入力するのをサポートし、その入力データをフア
イルF5,F6に格納する。第5図(a)にフアイルF5中の
数式使用条件、同(b)にフアイルF6中の数式の定義式
の例を示す。また第5図(c)は数式中に表われる物理
量を炉内現象モデルで計算される基本物理量に結びつけ
る式でフアイルF5に格納されている。第5図(a)に示
したように数式使用条件は「IF〜THEN…」の形で入力す
る。「〜」はある数式を使用する上で成り立つべき条件
を表わしており(前提部と呼ぶ)、それが成立するとき
に用いられる数式の種類と名前が「…」に示されている
「…」を結論部と呼ぶ)。例えばルール1は「鋼片の種
類(Kind)が低炭素鋼(low Carbor)であれば、制約式
(Condition)として抽出温度平均値制約avEqを使え」
ということを意味している。第5図(b)の第1式はav
Eqの定義式(これが(2)式に対応)を表わしており、
この中に登場するtheta Outの定義式(これが(6)式
に対応)が第5図(b)の下方に示されている。これら
の数式使用条件や数式,物理量の定義式はフアイルF5,F
6に文字例として記憶されている。従つて新しい数式の
追加や修正は、これらの文字列フアイルの編集を意味す
る。結局マンマシン処理部201はこれらの文字列フアイ
ルの編集を対話的におこなうのをサポートする。
第3図の数式選択部202は、予測計算部からインターフ
エースフアイルF1を渡されたとき、このフアイルの中に
あるデータ(鋼材の種類,板厚,在炉時間等)とフアイ
ルF5中の数式使用条件を比較し、どの数式を使うべきか
を決定する。例えば鋼種(Kind)として低炭素鋼(Low
Carbon)というデータがインターフエースフアイルの中
にあれば、フアイルF5中のルール1により式avEqを使う
べきことが決定される。同様にしてインターフエースフ
アイルF1中の全てのデータをフアイルF5中の全ルールに
適用し、昇温曲線の計算に必要な全ての数式を選び出
す。
この数式選択部202の動作はフアイルF1中の数式使用条
件の内容に関係なく、一定の処理をおこなう。すなわち
フアイルF5中の条件を1つとり出し、フアイル1の
中のデータの中に、とり出した条件の前提部と一致する
ものがあるかどうか調べ、一致すれば、その結論部を
図示していないフアイルF10に格納し、不一致であれ
ば別の条件に対し〜を行なう。この処理は使用条件
が全てチエツクされるまで続く。この説明からもわかる
ように数式選択部は条件が成立するかどうかの判定(す
なわち推論)の処理フローの制御を担当している。使用
条件の内容は全てフアイルF5の中にあり、数式選択部か
らみると処理の対象となるデータにしかすぎない。
従つて数式の使用条件もしくはそれに関連した数式が変
更になつても数式選択部202の処理手続き(すなわちプ
ログラム)を変更する必要はない。
次に中間コード生成部203の処理を第6図を用いて説明
する。中間コード生成部203の役割は、フアイルF10中の
選択済の数式(文字列として表わされている)を実行可
能なプログラムに変換することにある。ここで実行可能
プログラムは、演算の種類を表わすコードと、各演算に
用いられるデータ(もしくはデータ格納番地)の組から
なる。第7図に代表的演算コードを示す。
第6図の処理フローに従い、以下では次の例を用いて中
間コード生成部の処理を説明する。
選択された数式 1120=<thetaOut=<1150 …(18) 数式中の物理量の定義式 thetaOut=(TH(1)+2FH(2)+2TH(3)+2TH
(4)+TH(5))/8 …(19) ステツプ1(203-a) 選択された数式群の中から1つずつ数式をとり出し、数
式を構成要素に分解し、各要素が演算,変数,定数のい
ずれに該当しているかを調べる。この手法自体は構文解
析として知られており、その手法自体は本特許の本質と
は直接関係ないので省略する。式(18)を203-aで処理
した結果を第8図(a)に示す。ここで、数式を構成す
る要素を示しており*はその要素が変数であることを示
す。第8図(a)のような表現がリスト表現と呼ばれる
ことがある。
ステツプ2(203-b) 次に第8図(a)のような数式の中に炉内現象モデルで
直接計算しているもの以外の変数(以下では未定義変数
と呼ぶ)があるかどうか調べる。もし未定義変数が含ま
れていれば、それの定義式をフアイルF6からとり出して
くる。第8図(a)の場合には変数thetaOutが含まれて
いるので、フアイルF6から(19)式をとり出してきて、
ステツプ1と同様にこの定義式を演算順序を考慮したリ
ストに変換する(第8図(b))。
ステツプ3(203-c) 第8図(b)のリストを実行可能プログラムに変換す
る。この変換はカツコ(…)のレベルが深い方から浅い
方に向つて計算が実行されるようにプログラム化され
る。第8図(c)は(19)式の実行可能プログラムを示
す。第8図(c)の各行の第1要素は演算コードを、第
2,第3の要素は引数、第4要素は演算結果の格納場所を
示している。また定数以外の要素は全てデータとアクセ
スする記憶場所を示している。第8図(b)中のTH1,TH
2,……,TH5は、第9図に示した変数変換テーブルに基づ
いて、鋼片内部温度の計算値が実際に格納されるPD
(4),PD(5),……,PD(8)に変換されている。第
8図(c)中の%WT(10)は、thetaOutの計算値を格納
する記憶場所を示すものでフアイルF8に確保される。第
3図102-Eの所で述べたようにthetaOutの値は(n+
1)回計算されるので、記憶場所の大きさは(n+1)
ケとられる。“%WT(10)”におけるWT(10)はその先
頭のアドレス、%は複数個記憶場所が存在することを示
す。第8図(d)にthetaOutすなわちOUTの格納場所
のとりかたを示す。
ステツプ4(203-d) ステツプ3で決められた各変数の格納場所に関するデー
タを用いれば線形係数の計算プログラムは容易に作り出
せる。例えば第1時間ゾーンの線形係数αは番地WT
(11)に格納されたthetaOutから番地WT(10)中のthet
aOutを引いてΔTで割ることによつて求まる。従つてそ
のプログラムは第8図(e)のように表わされる。この
プログラムでWT(18)は第9図のalfで指定されたa1
格納場所を示している。
ステツプ5(203-e) ステツプ5では制御目標を表わす数式の線形式に関す
る。計算プログラムを導く。(18)の場合、次のような
処理をおこなうプログラムを生成する。
線形近似式の下限値は 〔1120−線形中心におけるthetaOut〕 ‖ (第8図(d)のWT(10)に格納されている) 線形近似式の上限値は 〔1150−線形中心におけるthetaOut〕 第1線形係数=α(第8図(e)のWT(18)) 第2線形係数=α(第8図(e)のWT(18+1)) 第n線形係数=α(第8図(e)のWT(18+n−
1)) このような処理は選択された全数式に関しておこなわれ
る。(18)式が第2番目に処理される数式の場合、上記
の処理を行なうプログラムは第8図(f)のように表わ
される。ここでBL(2),BU(2),H(2,I)(I=1〜
n)は第2番目の線形式の下限値,上限値,線形係数値
を格納する場所で、線形計画法の標準プログラムの引数
となるものである。従つて第8図(f)のプログラムを
実行すれば、その計算結果が線形計画法の標準プログラ
ムに渡されることになる。
第8図(c),(e),(f)のプログラムを中間コー
ドと呼び、それぞれフアイルF2,F3,F4に格納して予測計
算部102に渡す。
最後にインタープリター300の機能について説明する。
インタープリター300は中間コードの格納されたフアイ
ルを渡されると、このフアイルの先頭から順にデータを
取り出し、解釈実行する。第10図にインタープリターの
構成を示す。第10図において、310はコード判定部、32
1,322,……は演算実行部、301はテンポラルデータフア
イルを表わす。コード判定部は、中間コード格納フアイ
ル(F2,F3もしくはF4)から先頭のデータを引き出し、
演算コードの種別を判定する。次に演算コードの種別で
決まる引数の個数分だけ中間コード格納フアイルからデ
ータをとり出す。第8図(b)からわかるように演算コ
ードの後のデータは、その演算に使うデータの格納番地
を示している場合と、定数を示している場合とがある。
コード判定部は、データが番地をさしている場合にはフ
アイル(F7,F8orF9)の該当番地から演算に使う値を取
り出す。これらの値を引数として、各演算コードに対応
する演算実行部の1つを呼び出す。各演算実行部は、演
算コードの種類分だけ用意されている。これらの演算実
行部はコンパイル済のプログラムであり、引数に対し指
定された演算をおこない、その結果を返す。演算結果を
格納する場所も中間コードとして指定されている(第8
図(c),(e),(f))ので、コード判定部310
は、結果を指定の番地に格納することができる。
インタープリター300は、このようにして、中間コード
格納フアイルからデータをとり出しながら実行を続け、
最終的に線形計画プログラムで必要とするデータを決定
する。
本実施例によれば、加熱炉燃焼制御に用いる制御目標
を、人手によるプログラム修正なしに追加,修正するこ
とができるので、燃焼制御の機能の拡張,変更が簡単に
実現できる。
本実施例では、制御目標を表わす数式をプログラムに自
動変換するようにしており、その変換を数式選択時にお
こなうものとして説明したが、これはマンマシン処理部
で制御目標を入力する際に自動変換しておいても良い。
こうすれば数式選択毎に毎回変換する必要がなくなり、
予測計算部にすぐにプログラムを渡すことができる。こ
れにより処理速度を大幅に改善できる。
また実施例では数式を中間コードに変換し、インタープ
リタで実行する方式を述べたが、本システムを実行する
計算機のマシン語に直接変換することもできる。この場
合には異つた機種に移殖する際に変換プログラムを作り
直さなければならないというデメリツトはあるが、処理
速度はやはり大幅に改善される。
また第2図の実施例では制御目標を表わす数式を数式処
理部でプログラムに変換する例を述べたが、あらかじめ
使用する数式が全てわかつていて、その使用条件だけが
変更になる可能性がある場合も考えられる。この場合に
は、数式を全てプログラムモジユールとして制御部に用
意しておき、どの数式を使用すべきかを判定したり、数
式の中で用いるデータを条件によつて判定するための推
論部を第3図の数式処理部200のかわりに用いれば良
い。第3図の数式処理と同様に推論部では制御目標の使
用条件を記憶するフアイルが設けられており、ユーザと
の対話によりその使用条件の追加が、変更ができる。推
論部は、第3図の数式処理と同様に制御部から送られた
データに基づいてどの使用条件が成立するかを判断する
が、成立した使用条件に対応するプログラムを生成する
かわりに、制御系に内蔵したどのプログラムモジユール
を起動するかを決定し、その結果を制御系に知らせる。
この方式では数式のプログラムを自動的に生成すること
はできないが、従来のシステムに比べ制御目標の使い方
を容易に変更できるというメリツトがある。
〔発明の効果〕
本発明によれば、複数の制御目標を同時に満足する制御
において、直接人手によつてプログラムの変更をおこな
うことなく制御目標の追加,変更ができる。このためシ
ステムの機能の拡張,変更が容易になる。
【図面の簡単な説明】
第1図は本発明の実施例、第2図は従来の加熱炉燃焼制
御の例、第3図は予測計算部と数式処理部の詳細説明、
第4図は鋼片内部温度の説明図、第5図は制御目標を表
わす数式使用条件と数式の具体例、第6図は中間コード
生成部の処理フロー、第7図は演算コード、第8図はプ
ログラム生成の過程を説明するための図、第9図は変数
変換テーブル、第10図はインタープリターの構成。 100……制御部、101……移動スケジユール予測部、101
……予測計算部、103……鋼片温度予測部、104……操作
量予測部、200……数式処理部。

Claims (4)

    【特許請求の範囲】
  1. 【請求項1】所定の制御対象に対する制御目標を満足す
    る制御量を決定して、前記制御対象にその結果を、数式
    モデル処理に基づいて出力制御する数式処理制御システ
    ムにおいて、 前記制御目標を表わす数式モデルと前記数式モデルの使
    用条件を複数個の組として入力して記憶する記憶手段
    と、 前記制御対象の運転条件データと前記使用条件とを比較
    して、これらが合致する使用条件における数式モデルを
    前記制御目標として選択する選択手段と、 前記選択された数式モデルから、実行可能プログラムを
    生成するプログラム生成手段と、 前記実行可能プログラムを実行する実行手段と、 前記実行手段の出力に基づき、前記制御量を決定するこ
    とを特徴とする数式処理制御システム。
  2. 【請求項2】特許請求の範囲第1項記載の数式処理制御
    システムにおいて、前記選択手段は、 前記制御対象の運転条件データと前記記憶手段に記憶し
    た前記数式モデルの使用条件とを比較し、 該運転条件データと前記数式モデルの使用条件が一致す
    ると判断された場合には、該数式モデルの使用条件と組
    をなす前記数式モデルをファイルに登録し、 該運転条件データと前記数式モデルの使用条件が不一致
    と判断された場合には、前記数式モデルの使用条件とは
    異なった前記記憶手段に格納されている前記数式モデル
    の使用条件と前記運転条件データとの比較を行い、前記
    記憶手段に格納された前記数式モデルの使用条件が該運
    転条件データと一致すると判断されるまで比較を行うこ
    とを特徴とする数式処理制御システム。
  3. 【請求項3】特許請求の範囲第1項記載の数式処理制御
    システムにおいて、 前記プログラム生成手段は、前記選択された数式モデル
    を、演算子、変数、及び定数を要素とするリストに分解
    し、前記変数に記憶場所を割当て、前記演算子の優先順
    位に基づく処理手順を決定し、その引数となる変数と定
    数との組を前記処理手順にしたがって配列し、これの手
    順に基づいてプログラムを生成することを特徴とする数
    式処理制御システム。
  4. 【請求項4】特許請求の範囲第1項記載の数式処理制御
    システムにおいて、 前記プログラム生成手段によって生成された実行可能プ
    ログラムを解釈実行するインタープリタを設けたことを
    特徴とする数式処理制御システム。
JP59230185A 1984-11-02 1984-11-02 数式処理制御システム Expired - Lifetime JPH0789283B2 (ja)

Priority Applications (4)

Application Number Priority Date Filing Date Title
JP59230185A JPH0789283B2 (ja) 1984-11-02 1984-11-02 数式処理制御システム
US06/793,773 US4740886A (en) 1984-11-02 1985-11-01 Computer control system utilizing knowledge processing
CN85108971A CN1011267B (zh) 1984-11-02 1985-11-01 利用智能处理的计算机控制系统
KR1019850008138A KR920003499B1 (ko) 1984-11-02 1985-11-01 지식처리를 응용한 계산기 제어 시스템

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP59230185A JPH0789283B2 (ja) 1984-11-02 1984-11-02 数式処理制御システム

Publications (2)

Publication Number Publication Date
JPS61110203A JPS61110203A (ja) 1986-05-28
JPH0789283B2 true JPH0789283B2 (ja) 1995-09-27

Family

ID=16903925

Family Applications (1)

Application Number Title Priority Date Filing Date
JP59230185A Expired - Lifetime JPH0789283B2 (ja) 1984-11-02 1984-11-02 数式処理制御システム

Country Status (4)

Country Link
US (1) US4740886A (ja)
JP (1) JPH0789283B2 (ja)
KR (1) KR920003499B1 (ja)
CN (1) CN1011267B (ja)

Families Citing this family (47)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS62270712A (ja) * 1986-05-20 1987-11-25 Nippon Kokan Kk <Nkk> 高炉状況検出方法
US4910691A (en) * 1987-09-30 1990-03-20 E.I. Du Pont De Nemours & Co. Process control system with multiple module sequence options
US4907167A (en) * 1987-09-30 1990-03-06 E. I. Du Pont De Nemours And Company Process control system with action logging
US5218557A (en) * 1987-10-08 1993-06-08 Digital Equipment Corporation Expert system for assisting in the design of a complex system
US4989166A (en) * 1988-07-12 1991-01-29 Hitachi, Ltd. Method for synthesizing analysis model and flow analysis system
US5260883A (en) * 1988-07-21 1993-11-09 Daniel Flow Products, Inc. Interactive data entry system and method for the design, engineering and manufacture of meter tubes
US5121496A (en) * 1988-07-25 1992-06-09 Westinghouse Electric Corp. Method for creating, maintaining and using an expert system by recursively modifying calibration file and merging with standard file
KR920011084B1 (ko) * 1988-08-04 1992-12-26 미쓰비시전기 주식회사 엘리베이터 시험장치
JPH0245831A (ja) * 1988-08-08 1990-02-15 Ricoh Co Ltd 知識推諭処理装置
JPH07100262B2 (ja) * 1988-10-07 1995-11-01 三菱電機株式会社 放電加工終了判定方法及びその装置
US5058043A (en) * 1989-04-05 1991-10-15 E. I. Du Pont De Nemours & Co. (Inc.) Batch process control using expert systems
US4975865A (en) * 1989-05-31 1990-12-04 Mitech Corporation Method and apparatus for real-time control
JP2779208B2 (ja) 1989-06-12 1998-07-23 津田駒工業株式会社 織機回転数の制御方法および装置
EP0417993B1 (en) * 1989-09-12 1997-06-04 Hitachi, Ltd. Method and apparatus for computer controlled nonlinear optimization
JPH03127122A (ja) * 1989-10-12 1991-05-30 Fujitsu Ltd データ処理装置における演算処理方式
US5159685A (en) * 1989-12-06 1992-10-27 Racal Data Communications Inc. Expert system for communications network
US5126933A (en) * 1990-02-07 1992-06-30 White Iii Charles A Self-learning memory unit for process controller and self-updating function generator
US5140537A (en) * 1990-05-21 1992-08-18 Hewlett-Packard Company Modeling a factory with human operators and validating the model
CZ293613B6 (cs) * 1992-01-17 2004-06-16 Westinghouse Electric Corporation Způsob monitorování chodu zařízení pomocí CPU
US5428525A (en) * 1992-07-01 1995-06-27 Cappelaere; Patrice G. Computer system and method for signal control prioritizing and scheduling
JPH0772767A (ja) * 1993-06-15 1995-03-17 Xerox Corp 対話型ユーザ支援システム
US7133845B1 (en) * 1995-02-13 2006-11-07 Intertrust Technologies Corp. System and methods for secure transaction management and electronic rights protection
CN1312549C (zh) * 1995-02-13 2007-04-25 英特特拉斯特技术公司 用于安全交易管理和电子权利保护的系统和方法
US6948070B1 (en) * 1995-02-13 2005-09-20 Intertrust Technologies Corporation Systems and methods for secure transaction management and electronic rights protection
US7095854B1 (en) * 1995-02-13 2006-08-22 Intertrust Technologies Corp. Systems and methods for secure transaction management and electronic rights protection
ATE230855T1 (de) * 1996-03-12 2003-01-15 Tyco Electronics Corp Elektrische heizsysteme
US5930798A (en) * 1996-08-15 1999-07-27 Predicate Logic, Inc. Universal data measurement, analysis and control system
US6112126A (en) * 1997-02-21 2000-08-29 Baker Hughes Incorporated Adaptive object-oriented optimization software system
US6230062B1 (en) 1999-01-08 2001-05-08 Voyan Technology Adaptation to unmeasured variables
US6278898B1 (en) * 1999-04-07 2001-08-21 Voyan Technology Model error bounds for identification of stochastic models for control design
US7483868B2 (en) * 2002-04-19 2009-01-27 Computer Associates Think, Inc. Automatic neural-net model generation and maintenance
JP2006511850A (ja) * 2002-04-19 2006-04-06 コンピュータ アソシエイツ シンク,インコーポレイテッド データマイニングのためのニューラルネットワークの使用
US7444310B2 (en) * 2002-04-19 2008-10-28 Computer Associates Think, Inc. Automatic model maintenance through local nets
US7777743B2 (en) * 2002-04-19 2010-08-17 Computer Associates Think, Inc. Viewing multi-dimensional data through hierarchical visualization
GB0209543D0 (en) * 2002-04-26 2002-06-05 Rolls Royce Plc The automation and optimisation of the design of a component
US7313279B2 (en) * 2003-07-08 2007-12-25 Computer Associates Think, Inc. Hierarchical determination of feature relevancy
US7092922B2 (en) * 2003-05-23 2006-08-15 Computer Associates Think, Inc. Adaptive learning enhancement to automated model maintenance
US8589869B2 (en) 2006-09-07 2013-11-19 Wolfram Alpha Llc Methods and systems for determining a formula
US8788524B1 (en) 2009-05-15 2014-07-22 Wolfram Alpha Llc Method and system for responding to queries in an imprecise syntax
US8601015B1 (en) 2009-05-15 2013-12-03 Wolfram Alpha Llc Dynamic example generation for queries
US8484015B1 (en) 2010-05-14 2013-07-09 Wolfram Alpha Llc Entity pages
US8812298B1 (en) 2010-07-28 2014-08-19 Wolfram Alpha Llc Macro replacement of natural language input
US9058029B2 (en) * 2011-03-31 2015-06-16 Brad Radl System and method for creating a graphical control programming environment
US9069814B2 (en) 2011-07-27 2015-06-30 Wolfram Alpha Llc Method and system for using natural language to generate widgets
US9734252B2 (en) 2011-09-08 2017-08-15 Wolfram Alpha Llc Method and system for analyzing data using a query answering system
US9851950B2 (en) 2011-11-15 2017-12-26 Wolfram Alpha Llc Programming in a precise syntax using natural language
US9405424B2 (en) 2012-08-29 2016-08-02 Wolfram Alpha, Llc Method and system for distributing and displaying graphical items

Family Cites Families (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
ZA801538B (en) * 1979-03-19 1981-04-29 United Kingdom Government Method and apparatus for estimating slant visibility in fog
JPS58105373A (ja) * 1980-01-12 1983-06-23 メゾガツダサジ・エス・エレルミスゼリパリ・スゼルヴエゾ・ヴアララ−ト 電子装置
GB2079492B (en) * 1980-06-25 1984-06-06 Yokogawa Electric Works Ltd Programmable controller
US4472770A (en) * 1981-06-22 1984-09-18 Li Chou H Self-optimizing method and machine
JPS5833709A (ja) * 1981-08-24 1983-02-28 Nippon Steel Corp 数式制御モデルのオンライン変更方法
US4459259A (en) * 1982-06-29 1984-07-10 The United States Of America As Represented By The United States Department Of Energy Digital computer operation of a nuclear reactor
JPH0736123B2 (ja) * 1983-05-09 1995-04-19 株式会社日立製作所 設備群制御方法
DE3390539C2 (de) * 1983-10-14 1990-03-08 Ford Werke Ag Verfahren zum Betreiben eines adaptiv gesteuerten technischen Prozesses

Also Published As

Publication number Publication date
CN1011267B (zh) 1991-01-16
KR860004354A (ko) 1986-06-20
JPS61110203A (ja) 1986-05-28
CN85108971A (zh) 1986-11-05
KR920003499B1 (ko) 1992-05-01
US4740886A (en) 1988-04-26

Similar Documents

Publication Publication Date Title
JPH0789283B2 (ja) 数式処理制御システム
Lou et al. Shear wall layout optimization strategy for high-rise buildings based on conceptual design and data-driven tabu search
KR102139358B1 (ko) 머신러닝 기반 플랫폼을 이용한 공정제어방법, 그를 수행하기 위한 컴퓨터 프로그램 매체 및 공정제어장치
JP4117920B2 (ja) 炉心装荷配置を決定する方法
US20110224966A1 (en) System and method for evaluating nuclear reactor fueling plan
Allanach et al. The inclusion of two-loop SUSYQCD corrections to gluino and squark pole masses in the minimal and next-to-minimal supersymmetric standard model: SOFTSUSY3. 7
US7444312B2 (en) Method and arrangement for designing a technical system
CN118195032B (zh) 一种具备主动学习能力的大模型自动进化系统及方法
CN118569162B (zh) 一种使用gpu加速集成电路测试的方法
JPH10123284A (ja) 原子炉炉心用制御ブレード配置を決定する装置
CN113223634A (zh) 基于二维自注意力增强gru模型高炉铁水硅含量预测方法
Rossi et al. Multi‐scenario robust online optimization and control of fed‐batch systems via dynamic model‐based scenario selection
JP2023076513A5 (ja)
JP2020064479A (ja) 探索装置
CN118798357A (zh) 一种智能工业大模型连铸数据处理方法
CN119626418A (zh) 利用多模态大模型辅助材料合成的方法、系统及存储介质
Liao et al. An intelligent optimization method of reload core loading pattern and its application
CN104503225A (zh) 控制系统中点定位方法
JP3229413B2 (ja) プロセス制御システムおよびその運転条件作成方法
CN116469056A (zh) 基于图像处理的智慧工厂隐患预测方法及系统
Lund et al. A general and flexible method of problem definition in structural optimization systems
Filip et al. Optimal decisions for complex systems—Software packages
Scemama et al. On the out-of-distribution coverage of combining split conformal prediction and bayesian deep learning
Cao Bounding Reachable Sets for Global Dynamic Optimization
Santucho et al. How to select the optimized time step and mesh size for FEM thermal transients simulations of PWR vessels and nozzles by means of artificial neural networks