JPH0449466A - Plan restriction canceling system - Google Patents

Plan restriction canceling system

Info

Publication number
JPH0449466A
JPH0449466A JP2158737A JP15873790A JPH0449466A JP H0449466 A JPH0449466 A JP H0449466A JP 2158737 A JP2158737 A JP 2158737A JP 15873790 A JP15873790 A JP 15873790A JP H0449466 A JPH0449466 A JP H0449466A
Authority
JP
Japan
Prior art keywords
task
time
memory
execution
order
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
Application number
JP2158737A
Other languages
Japanese (ja)
Inventor
Toshihiko Araya
利彦 新家
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.)
Mitsubishi Heavy Industries Ltd
Original Assignee
Mitsubishi Heavy Industries 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 Mitsubishi Heavy Industries Ltd filed Critical Mitsubishi Heavy Industries Ltd
Priority to JP2158737A priority Critical patent/JPH0449466A/en
Publication of JPH0449466A publication Critical patent/JPH0449466A/en
Pending legal-status Critical Current

Links

Classifications

    • 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
    • Y02TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02PCLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
    • Y02P90/00Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
    • Y02P90/02Total factory control, e.g. smart factories, flexible manufacturing systems [FMS] or integrated manufacturing systems [IMS]
    • 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
    • Y02TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02PCLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
    • Y02P90/00Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
    • Y02P90/30Computing systems specially adapted for manufacturing

Landscapes

  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • General Factory Administration (AREA)

Abstract

PURPOSE:To select a preferable answer in the allowable width of an executable time band by providing the plan restriction canceling system with a restriction canceling engine for finding out a time band generating no contradiction in the set of time bands for generating the task start of a task stored in a task proposing memory and the set of time bands for generating task end based upon the task execution order. CONSTITUTION:The restriction canceling engine 4 refers a task attribute memory 1 and a task order memory 3 and finds out a time band generating no contradiction in the set of time bands generating the task start of a task stored in the task proposing memory 2 and the set of time bands generating task end based upon the task execution order. The above processing is repeated until the start time band and the end time band are respectively stabilized. Consequently, the start enabled time band and the end enabled time band of the memory 2 become answers not to contradict restricting conditions. Thus, a preferable answer can be selected in the allowable width of the executable time band.

Description

【発明の詳細な説明】 〈産業上の利用分野〉 本発明は、各種産業の計画立案における、タスク実行時
刻の決定に係る計画制約解消システムに関するものであ
る。
DETAILED DESCRIPTION OF THE INVENTION <Industrial Application Field> The present invention relates to a system for resolving planning constraints related to determining task execution times in planning for various industries.

〈従来の技術〉 従来、計画上、実行すべきタスクをいつ実行するべきか
を決定するためには、タスクの優先度を設定して優先度
の高いタスクから実行し、それが完了しだい次の優先度
のタスクを実行するとして、それまでのタスクの実行時
間の積算値を次に投入するタスクの実行開始時刻とする
前向き計画や、あるいは最後に行うべきタスクの実行時
刻を規定し、最後のタスクからはしめて、後ろのタスク
の開始時刻から前のタスクの所要時間の値を引き、前の
タスクの開始時刻とする後ろ向き計画などが知られてい
る。また、両者を統合した81画の方法として、いわゆ
るPER7手法が広く知られている。とのPER7手法
におけるタスクの実行時刻の法定は、本質的には前記前
向き計画と後ろ向き計画の結果を同時に求めることによ
り、そのタスクの実行可能な時間帯を求めるものである
<Conventional technology> Conventionally, in planning, in order to decide when to execute a task, the priority of the task is set, the task with the highest priority is executed, and as soon as the task is completed, the next task is executed. Assuming that a priority task is to be executed, forward-looking planning can be used to set the cumulative value of the execution time of the task up to that point as the execution start time of the next task, or specify the execution time of the task that should be executed last, and Backward planning is known, in which a task is stopped and the required time of the previous task is subtracted from the start time of the subsequent task to determine the start time of the previous task. Furthermore, the so-called PER7 method is widely known as an 81-screen method that integrates both. The determination of the execution time of a task in the PER7 method essentially determines the executable time period of the task by simultaneously determining the results of the forward planning and backward planning.

〈発明が解決しようとする課題〉 ところが、前記前向き計画や後ろ向き計画について、産
業上の応用を考える時、従来の枠組みは以下の点で問題
がある。
<Problems to be Solved by the Invention> However, when considering industrial applications of the forward planning and backward planning, the conventional framework has the following problems.

(1)  タスクには実行が出来ない時間帯があるが、
従来手法では実行不可能な時間帯をスキップするための
方法がない。
(1) There are times when tasks cannot be executed.
Conventional methods do not have a method for skipping time periods that are not practicable.

(2)前向き、後ろ向き計画単独では、タスクを実行す
べき時間が確定してしまうが、各種の最適化を考える時
、実行可能な時間帯を求め、その許容幅の中で好ましい
解を選択したい。この場合、PERTはこの条件をある
程度満足しているが、前述のスキップするための方法は
満たしていない。
(2) With forward and backward planning alone, the time at which a task should be executed is fixed, but when considering various optimizations, it is necessary to find a feasible time period and select a preferable solution within that allowable range. . In this case, PERT satisfies this condition to some extent, but does not satisfy the above-mentioned method for skipping.

本発明は上述の問題に鑑み、タスク実行不可能時間を考
慮すると共にしかも実行可能な時間帯の許容幅にて好ま
しい解を選択する計画制約解消システムの提供を目的と
する。
In view of the above-mentioned problems, the present invention aims to provide a planning constraint resolving system that takes into account the unexecutable time of a task and selects a preferable solution within an allowable range of executable time slots.

く課題を解決するための手段〉 前記問題点を解決するため、 (1)複数の、実行すべきタスクのそれぞれについて (a)  タスクの所要時間の最大許容値(b)  タ
スクの所要時間の最小許容値を記憶するタスク属性メモ
リと、 前記タスクの夫々について (c)タスクの実行が可能な時間帯の初期値集合 (d)  タスクの開始が起こりうる時間帯の集合 (e)  タスクの終了が起こりうる時間帯の集合 を記憶するタスク予定メモリと、 タスクの実行順序に条件がある場合、それぞれの条件に
ついて (f)  先行すべきタスク (gl  後続すべきタスク を記憶するタスク順序メモリと、 前記タスク属性メモリと前記タスク順序メモリを参照し
、前記タスク予定メモリのタスク開始が起こりうる時間
帯の集合と、タスク終了が起こりうる時間帯の集合が、
前記タスク実行順序に照らして矛盾が発生しない時間帯
を求める制約解消エンジンとを備える。また、 (2)求められた前記タスク予定メモリの開始が起こり
うる時間帯と終了が起こりうる時間帯の中で、開始時間
または終了時間を確定し、前記タスク予定メモリの内容
を更新する実行時刻確定手段を設け、この実行時刻確定
手段により開始時間と終了時間が確定した時には、前記
制約解消エンジンは、前記タスク予定メモリのタスク開
始が起こりうる時間帯の集合と、タスク終了が起こりう
る時間帯の集合が、前記タスク実行順序に照らして矛盾
が発生しないようにさらに絞り込み、以後前記実行時刻
確定手段による時刻確定と、前記制約解消エンジンによ
る制約解消を継続する。
In order to solve the above problems, (1) For each of the multiple tasks to be executed, (a) the maximum allowable time required for the task, (b) the minimum allowable time required for the task, A task attribute memory that stores allowable values, and for each of the tasks (c) an initial value set of time periods in which the task can be executed, (d) a set of time periods in which the task can start, and (e) a set of time periods in which the task can be completed. a task schedule memory that stores a set of possible time slots; a task order memory that stores (f) tasks that should precede (gl) tasks that should follow for each condition when there are conditions on the execution order of tasks; With reference to the task attribute memory and the task order memory, a set of time slots in the task schedule memory where a task can occur and a set of time slots where a task can occur are determined.
and a constraint resolution engine that determines a time period in which no contradiction occurs in light of the task execution order. (2) An execution time at which the start time or end time is determined and the contents of the task schedule memory are updated within the time period in which the task schedule memory is likely to start and end. A determining means is provided, and when the execution time determining means determines the start time and end time, the constraint resolution engine collects a set of time periods in the task schedule memory in which the task can start and a time period in which the task can end. The set is further narrowed down so that no contradiction occurs in light of the task execution order, and thereafter the execution time determination means continues to determine the time and the constraint resolution engine continues to resolve the constraint.

〈原理と作用〉 第1図に第1の発明にかかる制約解消システムの構成図
を示し、各部の作用を説明する。
<Principle and operation> FIG. 1 shows a block diagram of the constraint resolving system according to the first invention, and the operation of each part will be explained.

なお、複数の図において、同一の構成要素については番
号を統一し、説明を省略する。第1図において、1はタ
スク属性メモリ、2はタスク予定メモリ、3はタスク順
序メモリ、4は制約解消エンジンである。
In addition, in a plurality of figures, the numbers are unified for the same component, and the explanation is omitted. In FIG. 1, 1 is a task attribute memory, 2 is a task schedule memory, 3 is a task order memory, and 4 is a constraint resolution engine.

タスク属性メモリ1は、実施すべきタスクの夫夫につい
て、 (a)  タスクの所要時間の最大許容値(b)  タ
スクの所要時間の最小許容値の情報を記憶する。
The task attribute memory 1 stores information about (a) the maximum allowable time required for the task, and (b) the minimum allowable value for the required time for the task, for the husband and wife of the task to be performed.

タスク予定メモリ2は実施すべきタスクの夫夫に一つい
て、 FC+  タスクの実行か可能な時間帯の初期値集合 (di  タスクの開始が起こりうる時間帯の集合 (e+  タスクの終了が起こりうろ時間帯の集合 を記憶する。
One task schedule memory 2 is provided for each task to be executed. FC+ An initial value set of time slots in which task execution is possible (di) A set of time slots in which task start can occur (e+ Time in which task completion is likely to occur) Memorize the set of obi.

ここで、タスク予定メモリ2に用いる時間帯の概念につ
いて説明する。ここで時間帯とは、伺らかの事象が東で
あるような、連続した時間の集合とする。したがって、
時間帯は、その開始時刻と、終了時刻とによって代表さ
せることが可能である。また、時間帯の集合とは、複数
の時間帯の集まりである。時間帯の間には必ず何らかの
、事象が成立しないような時間の集合がある。また、時
間帯の集合を数式で表すために、次のような表現を行う
Here, the concept of time slots used in the task schedule memory 2 will be explained. Here, a time zone is defined as a set of consecutive times such that a particular event occurs in the east. therefore,
A time period can be represented by its start time and end time. Further, a set of time periods is a collection of a plurality of time periods. Between time periods, there is always a set of times in which no event occurs. Also, in order to express a set of time zones in a mathematical formula, the following expression is used.

時間帯(開始時刻tl、終了時刻t2の場合)(tlt
2)           ・(1)時間帯の集合(t
llt12)で表される時間帯と、(t 21 t 2
2)で表される時間帯の和集合 (tll  t12)  U  (t21 122) 
   ・(2)次に、時間帯の集合の間の演算を定義す
る。
Time zone (start time tl, end time t2) (tlt
2) ・(1) Set of time periods (t
llt12) and (t 21 t 2
2) Union of time zones (tll t12) U (t21 122)
-(2) Next, define operations between a set of time zones.

事象Aが成立する時間帯の集合をP(5)と書く。The set of time periods in which event A occurs is written as P(5).

事象Aと事象Bが同時に成立するような時間帯集合を求
める演算を次式(3)のように書く。
The operation for finding a set of time periods in which event A and event B occur simultaneously is written as shown in the following equation (3).

P(AかッB)= p(4n P(Bl      −
(3)事象Aが成立する時間帯の集合の中で、時刻tを
含むものを求める演算を次式(4)のように書く。
P(AkB) = p(4n P(Bl −
(3) Write the operation to find the time period that includes time t among the set of time periods in which event A occurs as shown in the following equation (4).

Roseg (A 、  t )          
  −14)再び、第1図において、タスク順序メモリ
3は、タスクの実行順序に条件があるとき、夫々の条件
について先行すべきタスクと、後続すべきタスクを記憶
する。任意の2タスク間に適当な長さの待ち時間を許容
する場合には、待ち時間に相当する部分を、待ちタスク
として各メモリに登録することにする。こうすると、先
行タスクの終了時刻は、必ず後続タスクの開始時刻であ
ると考えられる。
Roseg (A, t)
-14) Again, in FIG. 1, when there is a condition in the execution order of tasks, the task order memory 3 stores the task that should precede and the task that should follow for each condition. If an appropriate length of waiting time is allowed between any two tasks, a portion corresponding to the waiting time is registered in each memory as a waiting task. In this way, it is considered that the end time of the preceding task is always the start time of the succeeding task.

制約解消エンジン4は、前記タスク属性メモリと前記タ
スク順序メモリを参照し、前記タスク予定メモリのタス
ク開始が起こりうる時間帯の集合と、タスク終了が起こ
りうる時間帯の集合が、前記タスク実行順序に照らし−
C矛盾が発生しない時間帯を求める。制約解消エンジン
4の作用は次の(11(21(31のようになる。
The constraint resolution engine 4 refers to the task attribute memory and the task order memory, and determines the set of time slots in the task schedule memory where a task can occur and the set of time slots where a task can occur in the task execution order. In light of
C Find a time period in which no contradiction occurs. The action of the constraint resolution engine 4 is as follows (11(21(31).

(1)すべてのタスクに関して、以下の方法でタスクの
開始が起こりうる時間帯の集合とタスクの終了が起こり
うる時間帯の集合を初期化する。
(1) For all tasks, initialize a set of time periods in which a task can start and a set of time periods in which a task can occur in the following manner.

例えば、タスクAの実行が可能な時間帯の初期値集合を
E(5)とし、次式(5)のように表わす。
For example, let E(5) be the initial value set of time slots in which task A can be executed, and express it as shown in the following equation (5).

E(八)−(rell T[!12)U (Te21 
Te22)u (Te31 Te32)−Ll (re
Nal TeNa2)ここで、Teは集合E囚における
タスクAの開始終了時間を表わす。
E(8)-(rell T[!12)U (Te21
Te22)u (Te31 Te32)-Ll (re
Nal TeNa2) Here, Te represents the start and end time of task A in set E prisoners.

タスクAの開始が起こりうる時間帯の集合をS叱 タスクAの終了が起こりうる時間帯の集合をF(A)、 タスクAの最大所要時間X(5)タスクAの最小所要時
間n (Al とそれぞれ書く事にずろ。
The set of time periods in which the start of task A can occur is S. The set of time periods in which the end of task A can occur is F(A), the maximum required time of task A x (5) the minimum required time of task A n (Al I decided to write each of them.

S(人)σ)ネL工σ■σ!=u  ((reil T
e12−n(人))nRoseg(reil)  −(
6)ここで和a合Uはすべての1について求める。
S (person) σ)neL 工σ■σ! =u ((rail T
e12-n(person))nRoseg(reil)-(
6) Here, the sum a and U is calculated for all 1's.

F(人)σm直=LJ  ((’reil+n(人) 
 Tei2)nRoseg(reil)−(7)ここで
和集合しはすべての1について求める。
F (person) σm direct = LJ (('reil+n (person)
Tei2)nRoseg(reil)-(7) Here, the union is found for all 1's.

式(6)や式(7)の演算において、(tl t2)に
おいて、tl)t2となった場合はその時間帯を空集合
として取り扱う。いう:」、でもなく空集合との積集合
n(よ空集合である。
In the calculations of equations (6) and (7), if (tl t2) becomes tl)t2, that time period is treated as an empty set. Say:'', but the intersection set n with the empty set (is an empty set).

式(6)の意味は例えば、10時から12時までの間に
タスクAが実行可能であるとして、この間に最小10分
かがるタスクが開始できる時間帯は1o時丁度から12
時10分前までであることを表す。
The meaning of equation (6) is, for example, assuming that task A can be executed between 10 o'clock and 12 o'clock, the time period during which a task that takes at least 10 minutes can be started is from exactly 1 o'clock to 12 o'clock.
10 minutes before the scheduled time.

式(7)の意味は例えば、10時がら12時までの間に
タスクAが実行可能であるとして、この間に最小10分
かがるタスクが終了しうる時間帯は早くとも10時1o
分から遅(とも12時までであることを表す。
The meaning of equation (7) is, for example, assuming that task A can be executed between 10 o'clock and 12 o'clock, a task that takes at least 10 minutes during this period can be completed at the earliest at 10 o'clock 1 o'clock.
Minute to late (both indicate until 12:00).

(2)  すべてのタスク順序メモリに登録された制約
条件に関して、次の演算を施す。ことて先行すべきタス
クがpて、後続すべきタスクがSであるとする。
(2) Perform the following calculations regarding the constraints registered in all task order memories. Assume that the task to be preceded is p, and the task to be followed is S.

(2−i)前述のタスク順序メモリにて先行タスクの終
了と後続タスクの開始との一致について述へたように、
タスク■〕の終了時刻とタスクSの開始時刻(よ一致す
る必要があるので、先行タスクの終了時間帯の集合F(
p)と後続タスクの開始時間帯の集合5(slを次のよ
うに修正する。
(2-i) As mentioned above regarding the coincidence of the end of the preceding task and the start of the succeeding task in the task order memory,
Since the end time of task ■] and the start time of task S must match, the set F(
p) and the set 5 (sl) of the start time periods of subsequent tasks are modified as follows.

F(p)−F(pin 5(sl       −(8
1(8)で修正されt、二F fp)についてS (s
l = F (pi         ・・(9)(8
1i91式の意味は、先行タスクpが終了しうろ時間帯
と後続タスクSが開始しうる時間帯の共通部分が、F 
(p)とS (slの一致できる時間帯である事を示す
F(p)-F(pin 5(sl-(8
S (s
l = F (pi...(9)(8
The meaning of the 1i91 formula is that the common part of the time period when the preceding task p finishes and the time period when the succeeding task S can start is F.
(p) and S (sl) indicate a time period in which they can match.

(2−ii)  (2−i)で述べた処理を行うと、F
(p) 。
(2-ii) After performing the processing described in (2-i), F
(p).

S (s)は以前より幅が少ないか、あるいは以前と変
わらないかのどちらかである。
S (s) is either less wide than before or the same as before.

以前よりも幅が少なくなった場合には、次の処理を行う
If the width is smaller than before, perform the following process.

A F B S  (Adjust Finish B
y 5tart)処理後続タスクSについて、S is
)を構成する任意の時間帯(t s 1 t s 2)
について、次式(10)を計算する。
A F B S (Adjust Finish B
y 5tart) Regarding the processing successor task S, S is
) (t s 1 t s 2)
The following equation (10) is calculated for .

(tsl+n(s)  ts2+x(s))口Rose
g (E (s) 、 tsl)   (101これら
ずへての和集合と、これまで のF (slとの積を新たにF (s)の値とする。
(tsl+n(s) ts2+x(s)) MouthRose
g (E (s), tsl) (101 The product of the union of all these and the previous F (sl) is set as a new value of F (s).

この(10)式の意味は、例えば次のようになる。The meaning of this equation (10) is, for example, as follows.

そわまての推論で、後続タスクトの 開始しうる時間帯が10時から11時 50分であり、Sの終了しうる時間帯 が10時10分から12時までであ−。With quick reasoning, the subsequent task Possible start time is 10am to 11am It is 50 minutes and is the time period in which S can end. It was from 10:10 to 12:00.

たとする。またSの最短実行可能時間 が10分、最大実行許容時間が50分 てあったとする。(2−i )の処理で、Sの開始しう
る時間帯が11時から11 時30分までに限定されたとする。す ると、タスクの実行には最小でも10 分かかるので、タスクの終了時刻と(ッて、それコ゛て
のように、10時10分から11時10分を含)してい
るのは不合理である。また、タスクの実行は最 大50分許容できるとされているが、 タスクの開始しうる時間帯の終端11 時30分に50分を加えた12時20 分まで終了時刻を延長することばてき ない。なぜなら、それまでの推論結果 では終了しうる時間帯は11時50分 までに制限されていたからである。終 了しうる時間帯は依然として11時50分までである。
Suppose that Also assume that the shortest executable time of S is 10 minutes and the maximum allowable execution time is 50 minutes. Assume that in the process (2-i), the time slot in which S can start is limited to 11:00 to 11:30. Then, since the task takes at least 10 minutes to execute, it is unreasonable to specify the end time of the task (as in, it includes 10:10 to 11:10). . Also, although it is said that a task can be executed for a maximum of 50 minutes, there is no way to extend the end time until 12:20, which is 50 minutes added to 11:30 at the end of the time period in which the task can start. This is because, according to the inference results up to that point, the time period that could be completed was limited to 11:50. The time slot that can end is still until 11:50.

(10)式において、8088g(E(sl、 t s
 1)を求めて、それとの積集合をとることに、Yす、
このような間違いを防止している。
In equation (10), 8088g(E(sl, t s
1) and take the intersection set with it, Ys,
This prevents mistakes like this.

A、5BF(人djust 5tart By Fin
ish)処理AFBSとは反対に、こんどは先行タ スクpについて考える。先行タスクpについて、F (
piを構成する任意の時間帯(t f 1 t f 2
)について、次式(11)を計算する。
A, 5BF (person just 5tart By Fin
ish) Processing In contrast to AFBS, we will now consider the preceding task p. For the predecessor task p, F (
Any time period (t f 1 t f 2
), the following equation (11) is calculated.

(tfl−x(s) tf2−n(s)) nRose
g(E(p)、 tfl)  −(11)これらずへて
の和集合とそれまでのS (p)の積を新たにS (p
)の値とする(11)式の意味は、例えば次のようにな
る。
(tfl-x(s) tf2-n(s)) nRose
g(E(p), tfl) − (11) The product of the union of all these and the previous S (p) is newly written as S (p
), the meaning of equation (11) is as follows, for example.

それまての推論て、pの開始しうる時 間帯が10時から11時50分てあり、pの終了しうる
時間帯が1o時10分から12時までであったとする。
As an inference, let us assume that the possible start time for p is from 10:00 to 11:50, and the possible time for p to end is from 1:10 to 12:00.

またpの最短実行可能時間が10分、最大実行許容時間
が50分てあったとする。(2−ilの処理で、pの終
了しうる時間帯が10時30分から11時までに限定さ
れたとする。すると、タスクの実行には最小でも10分
かかるので、タスクの開始時刻として、それまでのよう
に、10時50分から12時を含んでいるのは不合理で
ある。また、タスクの実行は最大50分許容できるとさ
れているが、タスクの終了しうる時間帯の先頭10時3
0分から50分を引いた9時40分まで開始時刻を遡る
ことばてきない。なぜなら、それまでの推論結果では開
始しうる時間帯は10時からに制限されていたからであ
る。開始しうる時間帯は依然として1o時がらである。
Also assume that the shortest executable time for p is 10 minutes and the maximum allowable execution time is 50 minutes. (Suppose that in the process of 2-il, the time period in which p can finish is limited to between 10:30 and 11:00. Then, since it takes at least 10 minutes to execute the task, set that as the start time of the task. It is unreasonable to include the time period from 10:50 to 12:00 as shown above.Also, it is said that a task can be executed for a maximum of 50 minutes, but if the time period includes the time period from 10:50 to 12:00 as shown in 3
There is no way to go back in time to 9:40, which is 0 minutes minus 50 minutes. This is because, according to the inference results up to that point, the time slot that could be started was limited to 10 o'clock. The possible start time is still 1 o'clock.

(11)式において、Roseg(E(pi、 t s
 1)を求めて、それとの積集合をとることにより、こ
のような間違いを防止している。
In equation (11), Roseg(E(pi, t s
This kind of mistake is prevented by finding 1) and taking the product set with it.

f31  (21の処理をすべての条件について行い、
しかも(2−ii:の処理において、開始時間帯、終了
時間帯が変わらなくなるまで何度も処理を繰り返す。
f31 (Perform step 21 for all conditions,
Moreover, in the process of (2-ii), the process is repeated many times until the start time zone and end time zone do not change.

前記(11(21(3)の処理をへたあと、前記タスク
予定メモリの、開始しうる時間帯と、終了しうる時間帯
は制約条件に矛盾しない答えになっている。
After the process of (11(21(3)) is completed, the time period in which the task can start and the time period in which it can end in the task schedule memory are answers that do not contradict the constraint conditions.

第2図では第2の発明にかかる、計画制約解消システム
の構成図を示し、各部の作用を説明する。なお、第1の
発明と共通ずる構成要素についてはその説明を省略する
。第2図において、5は実行時刻確定手段であり、実行
時刻確定手段5は第1の発明により求められた、タスク
予定メモリ2の、タスクが開始しうる時間帯とタスクが
終了しうる時間帯の中から、特定のタスクの開始時刻あ
るいは終了時刻を確定して前記タスク予定メモリ2を書
替える。実行時刻確定手段5により、特定のタスクの開
始時刻あろい(コ終了時刻が笈史されt二とき、制約解
消エンジン4は書替えられたタスク予定メモリ2の内容
から前記制約解消エンジンの作用(2) +31を実行
する。こオ′目こよって、タスク予定メモリ2の中の各
タスクの開始しうる時間帯と、終了しうる時間帯はさら
に狭められる。以後、実行時刻確定手段5による時刻の
確定と、制約解消エンジン4による制約解消を繰り返す
ことにより、割画の解の絞り込みを行ってゆく。最終的
にはすべてのタスクについて実行時刻を決定することが
可能である。
FIG. 2 shows a configuration diagram of a planning constraint resolving system according to the second invention, and the operation of each part will be explained. It should be noted that explanations of constituent elements common to the first invention will be omitted. In FIG. 2, reference numeral 5 denotes an execution time determining means, and the execution time determining means 5 is a time zone in which a task can start and a time zone in which a task can end, which are determined in the task schedule memory 2 according to the first invention. The start time or end time of a specific task is determined from among these and the task schedule memory 2 is rewritten. When the start time (or end time) of a specific task is determined by the execution time determining means 5, the constraint resolving engine 4 determines the action of the constraint resolving engine (2) from the rewritten contents of the task schedule memory 2. ) +31.Thus, the time slot in which each task in the task schedule memory 2 can start and the time slot in which it can finish is further narrowed.After that, the execution time determination means 5 determines the time. By repeating the determination and the constraint resolution by the constraint resolution engine 4, the solutions for the split screen are narrowed down.In the end, it is possible to determine the execution times for all tasks.

く実 施 例〉 ことては、工場における生産計画を例にとって、本発明
の詳細な説明する。工程のし、イアウドは第3図に示ず
」、うに、第一工程6と、第一工程6によって生産され
た中間製品をストックするストック棚7における待機と
第−工程6により生産された中間製品をさらに加工する
第二工程8があるとする。
EXAMPLES The present invention will be described in detail by taking a production plan in a factory as an example. The stage of the process is not shown in FIG. It is assumed that there is a second process 8 in which the product is further processed.

この場合、本実施例において、タスクとしては、第一工
程、ストック棚、第二工程の3つを考える。それぞれの
タスクに関するタスク属性メモリ1の内容、すなわち各
タスクの実行許容時間の最大値と最小値は第4図に示す
通り第一工程で1時間、ストック棚にて0時間・2時間
、第二工程で1時間とする。
In this case, in this embodiment, three tasks are considered: the first process, the stock shelf, and the second process. As shown in FIG. 4, the contents of the task attribute memory 1 for each task, that is, the maximum and minimum allowable execution times for each task, are 1 hour for the first process, 0 hours and 2 hours for the stock shelf, and 2 hours for the second process. The process will take 1 hour.

各タスクを実行できる時間帯については第5図に示す通
りとする。第5図に示した通り、加工工程は昼休み時間
中の12時から13時まで実行できない。また、ストッ
ク棚7は午@i410時までふさがっている。タスク順
序メモリの内容は、第6図に示す通りであり、条件番号
Jで先行タスクは第一工程、後続タスクはス1−ツク棚
、条件番号2で先行タスクはス1〜ツク棚、後続タスク
は第二工程である。
The time periods in which each task can be executed are as shown in FIG. As shown in FIG. 5, the processing process cannot be performed from 12:00 to 13:00 during the lunch break. Also, stock shelf 7 is occupied until 410 p.m. The contents of the task order memory are as shown in Fig. 6. Under condition number J, the preceding task is the first step, the succeeding task is on the first step, and under condition number 2, the preceding task is on the first step, the second step. The task is the second step.

第7図は第1の発明にかかる、制約解消システムの実施
例である。システムは例えば計算機により実現し、タス
ク属性メモリ1、タスク予定メモリ2、タスク順序メモ
リ3は例えば半導体メモリにより構成する。制約解消エ
ンジン4は例えばマイクロコンピュータにより実現し、
各種メモリとの間を例えばバス9て結合して、参照、変
更を可能にする。
FIG. 7 is an embodiment of the constraint resolving system according to the first invention. The system is realized by, for example, a computer, and the task attribute memory 1, task schedule memory 2, and task order memory 3 are configured by, for example, semiconductor memory. The constraint resolution engine 4 is realized by, for example, a microcomputer,
For example, it is connected to various memories by a bus 9 to enable reference and modification.

前述の如くタスク属性メモリ1、タスク予定メモリ2、
タスク順序メモリ3が初期化されている時、制約解消エ
ンジン4(ま次のように動作する。
As mentioned above, task attribute memory 1, task schedule memory 2,
When the task order memory 3 is initialized, the constraint resolution engine 4 (operates as follows).

まず、式(6) f71に示すタスク開始及び終了の初
期化の処理をすべてのタスク(こついて行う。
First, the task start and end initialization process shown in equation (6) f71 is performed for all tasks.

この結果のタスク予定メモリ2の内容を第8図に示す。The resulting contents of the task schedule memory 2 are shown in FIG.

次に第6図における条件番号]の条件すなわち先行・後
続タスクが第一工程・ス1−ツク棚である条件を適用す
るため、第一工程の終了可能時間帯と、ストック棚の開
始可能時間帯に対して、(8)(9)式の先行タスクの
終了と後続タスクの開始との一致処理を行った結果が第
9図である。
Next, in order to apply the condition [condition number in Figure 6], that is, the condition that the preceding and succeeding tasks are the first process and the stock shelf, the time period when the first process can be completed and the time when the stock shelf can start is applied. FIG. 9 shows the result of matching the end of the preceding task and the start of the succeeding task using equations (8) and (9) for the band.

次に第9図の結果について、第一工程の開始可能時間帯
と、ストック棚の終了可能時間帯に対して、後続・先行
タスクの誤り防止(10)(11)式を夫々適用した結
果が第10図である。
Next, regarding the results shown in Figure 9, the results are obtained by applying Equations (10) and (11) for preventing errors in subsequent and preceding tasks to the time period in which the first process can start and the time period in which stock shelves can be completed. FIG. 10.

次に第6図における条件番号2の条件すなわら、先行・
後続タスクがストック棚・第二工程である条件を適用す
るため、ストック棚の終了可能時間帯と、第二工程の開
始可能時間帯に関し、第10図の結果に対して先行タス
クの終了と後続タスクの開始との一致の処理すなわち(
8) (91式の処理を行った結果が第11図である。
Next, condition number 2 in Fig. 6, that is, the preceding
In order to apply the condition that the subsequent task is the stock shelf/second process, regarding the time period in which the stock shelf can be completed and the time period in which the second process can be started, the completion of the preceding task and the subsequent Handling the coincidence with the start of the task, i.e. (
8) (Figure 11 shows the result of processing Equation 91.

次に第11図の結果についてストック棚の開始可能時間
帯と第二工程の終了可能時間帯シこ対して後続、先行タ
スクの誤り防止+l[ll FIl1式を適用した結果
が第12図である。
Next, Figure 12 shows the result of applying the error prevention +l[ll FIl1 formula for subsequent and preceding tasks to the results shown in Figure 11 to the time range in which the stock shelf can be started and the time range in which the second process can be completed. .

次に、ストック棚の開始可能時間帯が変化(〕でいるの
で、第6図の条件番号1の条件を再び適用する。第一工
程の終了可能時間帯と、ストック棚の開始可能時間帯に
ついて上記−致の式である(81 f91式を適用した
結果が第13図である。
Next, since the time zone in which the stock shelf can be started has changed ( ), condition number 1 in Figure 6 is applied again. Regarding the time zone in which the first process can be completed and the time zone in which the stock shelf can be started. The result of applying the equation (81 f91), which is the equation above, is shown in FIG.

最後に、第12図の結果について上記誤り防止の式であ
る(In) fIl1式を適用した結果が第14図であ
る。
Finally, FIG. 14 shows the result of applying the error prevention formula (In) fIl1 to the result of FIG. 12.

とれて、与えておいた制約条件に矛盾しない、各タスク
の開始、終了時間帯が求まった。
The start and end times for each task were determined, and were consistent with the given constraints.

次に、第15図は、第2の発明の実施例であり、第7図
の実施例に実行時間確定手段5を付加したものになって
いる。第15図において、実行時間確定手段5は例えば
端末機からの入力により実現する。ここでは、実行時間
確定手段5によって第一工程の開始時刻を最も可能な早
い時間に確定したとする。その結果を第16図に示す。
Next, FIG. 15 shows an embodiment of the second invention, in which an execution time determining means 5 is added to the embodiment of FIG. In FIG. 15, the execution time determining means 5 is realized by inputting from a terminal, for example. Here, it is assumed that the execution time determining means 5 determines the start time of the first step to be the earliest possible time. The results are shown in FIG.

以下、制約解消エンジン4が、新たに変更された第16
図の結果をもとに、制約解消を行う。第17図りよ第1
6図の結果に対して、後続タスクの誤り防止(10)式
を適用して、第一工程の終了時刻を確定したものである
。第18図は第17図の結果に対して、第6図における
制約条件番号1の制約を適用すべく、先行タスクの終了
と後続タスクの開始との一致処理すなわぢ(8) (9
1式を適用してストック棚の開始可能時間を確定した。
Below, the constraint resolution engine 4 is the newly changed 16th
Constraints are resolved based on the results shown in the figure. 17th diagram 1st
The end time of the first step is determined by applying the error prevention formula (10) for subsequent tasks to the results shown in FIG. In order to apply the constraint number 1 in FIG. 6 to the results in FIG. 17, FIG.
Applying Equation 1, we determined the possible start time for stock shelves.

第19図は第18図の結果に、誤り防止(10)式を適
用してストック棚の終了可能時刻を限定したものである
。第20図は第19図の結果に対して、第6図の制約条
件番号2の制約を適用すべく、先行タスクの終了と後続
タスクの開始との一致の処理(81F91式を適用した
ものである。これにより第二工程の開始可能時間帯が制
限される。第21図は第20図の結果に、後続タスクの
誤り防止(10)式を適用して、終了可能時刻を限定し
t二ものである。
FIG. 19 shows the result of FIG. 18 applied to the error prevention formula (10) to limit the time when the stock shelf can be finished. Figure 20 shows the process of matching the end of the preceding task with the start of the succeeding task (using formula 81F91) in order to apply the constraint number 2 in Figure 6 to the results in Figure 19. This limits the time range in which the second process can start. Figure 21 shows that the error prevention formula (10) for subsequent tasks is applied to the results in Figure 20 to limit the time that can be completed. It is something.

これて、制約解消は終了したが、まだ第二工程の実行時
間が確定していない。そこで、再度実行時間確定手段5
を使用して第二工程の終了時刻を限定した結果が第22
図である。
The constraint resolution has now been completed, but the execution time for the second step has not yet been determined. Therefore, the execution time determination means 5
The result of limiting the end time of the second process using
It is a diagram.

ここでは第二工程をなるべく遅く終了するように指定し
た。第23図は第22図の結果に先行タスクの誤す防止
(11)式を適用して第二工程の開始時刻を確定したも
のである。第24図は第23図の結果に、第6図におけ
る制約番号2の条件を適用すべく、一致処理(81(9
1式を適用したものである。これてずへてのタスクの実
行時刻が確定した。
Here, we specified that the second step should be completed as late as possible. FIG. 23 shows the start time of the second process determined by applying the preceding task error prevention formula (11) to the results of FIG. 22. FIG. 24 shows the matching process (81(9) in order to apply the condition of constraint number 2 in FIG.
This is an application of Equation 1. The execution time for this task has been determined.

〈発明の効果〉 本発明によれば、タスクの実行不能期間が存在する場合
でも、開始、終了可能な時間帯がすべて求められ実行不
能時間を考慮するのみならず実行可能な時間帯での許容
幅にて好ましい解を選択できる。また、第2の発明によ
れば、求められた実行可能区間の中から、望ましい時間
帯を選び出し、その条件下での実行可能区間をずへて求
めることが可能であり、この操作の繰り返しによって、
望ましい計画を立案することが可能になり、利便性をさ
らに有効なものとしている。
<Effects of the Invention> According to the present invention, even if there is an unexecutable period for a task, all possible start and finish times are determined, and not only the unexecutable time is taken into consideration, but also the permissible time period for execution is calculated. A preferred solution can be selected based on the width. Further, according to the second invention, it is possible to select a desirable time period from among the determined feasible intervals and to determine the feasible interval under that condition, and by repeating this operation. ,
It becomes possible to formulate a desired plan, making convenience even more effective.

【図面の簡単な説明】[Brief explanation of the drawing]

第1図は第1のシステムの構成図、 第2図は第2のシステムの構成図、 第3図(よ工程のレイアウト図、 第4図はタスク属性メモリの内容の説明図、第5図はタ
スク予定メモリの初期値の説明図、第6図はタスク順序
メモリの内容の説明図、第7図は実施例におけるシステ
ムの構成図、第8.9.10.11.12.13.14
図は第7図の実施例におけるタスク予定メモリの内容の
説明図、 第15図は他の実施例におけるシステム構成図、 第1J 17.18.19.20.21.22゜23.
24図は第15図の実施例におけるタスク予定メモリの
内容の説明図である。 図  中、 ]はタスク属性メモリ 2はタスク予定メモリ 3はタスク順序メモリ 4ば制約解消エンジン 5は実行時間確定手段 6は第一工程 7はストック棚 8ば第二工程 9はバスである。 特  許  出  願  人 三菱重工業株式会社 代     理     人
Figure 1 is a configuration diagram of the first system, Figure 2 is a configuration diagram of the second system, Figure 3 is a layout diagram of the process, Figure 4 is an explanatory diagram of the contents of the task attribute memory, and Figure 5 is an illustration of the contents of the task attribute memory. 6 is an explanatory diagram of the initial value of the task schedule memory, FIG. 6 is an explanatory diagram of the contents of the task order memory, FIG. 7 is a diagram of the system configuration in the embodiment, and 8.9.10.11.12.13.14
The figure is an explanatory diagram of the contents of the task schedule memory in the embodiment shown in FIG. 7, and FIG. 15 is a system configuration diagram in another embodiment.
FIG. 24 is an explanatory diagram of the contents of the task schedule memory in the embodiment of FIG. 15. In the figure, ] indicates the task attribute memory 2, the task schedule memory 3, the task order memory 4, the constraint resolution engine 5, the execution time determining means 6, the first process 7, the stock shelf 8, and the second process 9 a bus. Patent applicant Mitsubishi Heavy Industries, Ltd. Agent

Claims (2)

【特許請求の範囲】[Claims] (1)各種計画の立案時において、 複数の、実行すべきタスクのそれぞれについて (a)タスクの所要時間の最大許容値 (b)タスクの所要時間の最小許容値 を記憶するタスク属性メモリと、 前記タスクの夫々にっいて (c)タスクの実行が可能な時間帯の初期値集合 (d)タスクの開始が起こりうる時間帯の集合 (e)タスクの終了が起こりうる時間帯の集合 を記憶するタスク予定メモリと、 タスクの実行順序に条件がある場合、それぞれの条件に
ついて (f)先行すべきタスク (g)後続すべきタスク を記憶するタスク順序メモリと、 前記タスク属性メモリと前記タスク順序メモリを参照し
、前記タスク予定メモリのタスク開始が起こりうる時間
帯の集合と、タスク終了が起こりうる時間帯の集合が、
タスク実行順序に照らして矛盾が発生しない時間帯を求
める制約解消エンジンと、 からなる計画制約解消システム。
(1) When formulating various plans, for each of a plurality of tasks to be executed, a task attribute memory stores (a) a maximum allowable value of the required time of the task, and (b) a minimum allowable value of the required time of the task; For each of the tasks, (c) an initial value set of time slots in which the task can be executed, (d) a set of time slots in which the task can occur, and (e) a set of time slots in which the task can occur, is stored. a task schedule memory for storing (f) a task to be preceded and (g) a task to be followed for each condition when there is a condition in the execution order of the tasks; the task attribute memory and the task order; With reference to the memory, a set of time periods in the task schedule memory where a task can occur and a set of time periods where a task can occur are determined.
A planning constraint resolution system consisting of a constraint resolution engine that finds a time period in which no conflicts occur in the order of task execution;
(2)請求項(1)において、求められた前記タスク予
定メモリの開始が起こりうる時間帯とタスク終了が起こ
りうる時間帯の中で、開始時間または終了時間を確定し
、前記タスク予定メモリの内容を更新する実行時刻確定
手段を設け、この実行時刻確定手段により開始時間と終
了時間が確定した時には、前記制約解消エンジンは、前
記タスク属性メモリと前記タスク順序メモリを参照しな
がら前記タスク予定メモリのタスク開始が起こりうる時
間帯の集合と、タスク終了が起こりうる時間帯の集合が
、前記タスク実行順序に照らして矛盾が発生しない時間
帯をさらに絞り込み、以後前記実行時刻確定手段による
時刻確定と、前記制約解消エンジンによる制約解消を継
続することを特徴とする計画制約解消システム。
(2) In claim (1), a start time or an end time is determined within a time period in which the determined task schedule memory can start and a task can end; An execution time determining means for updating the contents is provided, and when the execution time determining means determines the start time and end time, the constraint resolution engine updates the task schedule memory while referring to the task attribute memory and the task order memory. The set of time slots in which the task can start and the set of time slots in which the task can end are further narrowed down to time slots in which no contradiction occurs in light of the task execution order, and the time is determined by the execution time determining means thereafter. , a planning constraint resolving system characterized in that the constraint resolving engine continues constraint resolving.
JP2158737A 1990-06-19 1990-06-19 Plan restriction canceling system Pending JPH0449466A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2158737A JPH0449466A (en) 1990-06-19 1990-06-19 Plan restriction canceling system

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2158737A JPH0449466A (en) 1990-06-19 1990-06-19 Plan restriction canceling system

Publications (1)

Publication Number Publication Date
JPH0449466A true JPH0449466A (en) 1992-02-18

Family

ID=15678236

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2158737A Pending JPH0449466A (en) 1990-06-19 1990-06-19 Plan restriction canceling system

Country Status (1)

Country Link
JP (1) JPH0449466A (en)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH0850551A (en) * 1993-12-17 1996-02-20 Texas Instr Inc <Ti> Real-time application task scheduling and processing system
JP2007203380A (en) * 2006-01-30 2007-08-16 Kawasaki Heavy Ind Ltd Instruction support device for robot
JP2013152648A (en) * 2012-01-25 2013-08-08 Mitsubishi Heavy Ind Ltd Plan creation device, plan creation method, and plan creation program

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH0850551A (en) * 1993-12-17 1996-02-20 Texas Instr Inc <Ti> Real-time application task scheduling and processing system
JP2007203380A (en) * 2006-01-30 2007-08-16 Kawasaki Heavy Ind Ltd Instruction support device for robot
JP2013152648A (en) * 2012-01-25 2013-08-08 Mitsubishi Heavy Ind Ltd Plan creation device, plan creation method, and plan creation program

Similar Documents

Publication Publication Date Title
US4896269A (en) Job shop scheduling and production method and apparatus
EP0454610A2 (en) Method and device for concurrency control of shared data updates and queries
JPH0449466A (en) Plan restriction canceling system
CN113869902A (en) Block chain transaction execution method and device
JPS63237165A (en) Method and device for work schedule plan supporting
Grau et al. Completion times in multipurpose batch plants with set-up, transfer and clean-up times
JP3114149B2 (en) Schedule automatic creation processing method
JP2002073142A (en) Production schedule generating device and recording medium with recorded production schedule generating program of production schedule generating device
JPH09244706A (en) Method and device for plan correction
JP2921991B2 (en) Unmanned operation scheduling system
JPH06282446A (en) Job schedule generating method
JP2017199092A (en) Production planning program, production planning device, and production planning method
US5287509A (en) Multitasking system for in-procedure loops
JP2953223B2 (en) Scheduling planning equipment
JPH11353391A (en) Order acceptance answering device
JPH04139545A (en) Data base updating processing system
JPH05334313A (en) Day&#39;s program calculation system using offset
JP2510774B2 (en) Production planning method
JP2731079B2 (en) Schedule creation device
JPH03218556A (en) Multitaskization system for intra-procedure loop
JPH0519808A (en) Production control system of iron and steel industry
JPH0431935A (en) File area control system
JPH0195360A (en) Work plan supporting device
JPH036535B2 (en)
JPH04279968A (en) Expert system