JPS6336358A - Event scheduling system - Google Patents

Event scheduling system

Info

Publication number
JPS6336358A
JPS6336358A JP61180382A JP18038286A JPS6336358A JP S6336358 A JPS6336358 A JP S6336358A JP 61180382 A JP61180382 A JP 61180382A JP 18038286 A JP18038286 A JP 18038286A JP S6336358 A JPS6336358 A JP S6336358A
Authority
JP
Japan
Prior art keywords
event
time
events
child
variable
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
JP61180382A
Other languages
Japanese (ja)
Inventor
Masahiro Tomono
正裕 友納
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.)
NEC Corp
Original Assignee
NEC Corp
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 NEC Corp filed Critical NEC Corp
Priority to JP61180382A priority Critical patent/JPS6336358A/en
Publication of JPS6336358A publication Critical patent/JPS6336358A/en
Pending legal-status Critical Current

Links

Landscapes

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

Abstract

PURPOSE:To attain repetition of an event and to contrive to improve efficiency of work by updating the counter of events every time an event is terminated, and resetting the values of time parameter of an event and time parameter of each sub-event. CONSTITUTION:A time parameter consisting of a starting time variable and a terminating time variable, a counter that records number of times of repetition and a list in which an event to be a constituent element of the event are set to an event. Every time an event is terminated once, the counter is updated, the time parameter of the event and the time parameter of each sub-event are reset. Thereby, an operator can set repetition of an event briefly without providing setting of events and setting of time relation for the number of times of repetition, and efficiency of work and efficiency of utilization of resources such as storing areas etc. are improved.

Description

【発明の詳細な説明】 (産業上の利用分野) 本発明は、計算機上の任意の事象、たとえば、計算機シ
ミュレーションにおける事象や計算機アニメーションに
おける動作のスケジューリング方式に関する。
DETAILED DESCRIPTION OF THE INVENTION (Field of Industrial Application) The present invention relates to a scheduling method for arbitrary events on a computer, such as events in computer simulation and operations in computer animation.

(従来の技術) ここで呼ぷ′事象とは計算機上の任意の事象であるが、
とくに計算機シミュレーションにおいである時刻に発生
する出来事や物体の動作などが考えられる。
(Prior art) Here, the event called is an arbitrary event on a computer,
In particular, in computer simulations, events that occur at a certain time or the behavior of objects are considered.

事象はある時刻(開始時刻)に始まり、ある時刻(終了
時刻)に終了するとし、複数の事象間の時間関係をそれ
らの開始時刻と終了時刻の順次関係により設定していた
。事象がある時刻t1に開始される場合は、諸事象の開
始時刻をtlに設定すればよい。また、事象Aが事象B
の開始より後に開始される場合は、事象Aの開始時刻を
事象Bの開始時刻より後の値に設定すればよい。また、
各事象間の開始時刻または終了時刻の定性的な大小関係
を設定することにより、ある事象の開始時刻を明確に設
定しなくても、他の事象との時間関係からその事象の開
始時刻を決定することも可能であった。
It is assumed that an event starts at a certain time (start time) and ends at a certain time (end time), and the time relationship between multiple events is set by the sequential relationship between their start time and end time. If an event starts at a certain time t1, the start time of each event may be set to tl. Also, event A is event B
If the start time of event A is started later than the start time of event B, the start time of event A may be set to a value later than the start time of event B. Also,
By setting a qualitative magnitude relationship between the start time or end time of each event, the start time of an event can be determined from the time relationship with other events without having to clearly set the start time of the event. It was also possible to do so.

たとえば、事象eventが時刻timeに実行開始に
なることを述語holdを用いて次のように設定し、h
old(event、 time) さらに事象間の時間関係を表す述語を設け、それにより
スケジュールを設定していた。たとえば、事象Aが事象
Bの前に発生することを述語beforeを用いて次の
ように表現した。
For example, use the predicate hold to set the event event to start executing at time time, and set h
old(event, time) Furthermore, a predicate was provided to express the time relationship between events, and a schedule was set using this predicate. For example, the fact that event A occurs before event B is expressed as follows using the predicate before.

before(A、 B) 詳細は、文献溝口他、r時間情報を含んだ行動計画シス
テムの試作」(情報処理学会第32回(昭和61年前期
)全国大会予稿集pp、1559−1560)参照。
before (A, B) For details, see Mizoguchi et al., "Prototype production of an action planning system including r time information" (Information Processing Society of Japan 32nd (first half of 1985) National Conference proceedings pp, 1559-1560).

(発明が解決しようとする問題点) しかし、上記の方法では事象間の時間の順序関係は設定
できたが、ある事象が何度も反復して出現することを簡
潔に設定することができないという問題点があった。た
とえば、ある事象AをN回繰り返す場合を考えると、事
象Aの開始を述語holdによりN回記述する方法、ま
たは事象Aの終了直後に事象Bが開始することを示す述
語をseqとし、5eq(A。
(Problem to be solved by the invention) However, although the above method can set the time order relationship between events, it is not possible to simply set the occurrence of a certain event repeatedly. There was a problem. For example, if we consider a case where a certain event A is repeated N times, we can write the start of event A N times using the predicate hold, or we can use the predicate seq to indicate that event B starts immediately after the end of event A, and write 5eq( A.

A)を繰り返し設定する方法が考えられる。しかし、前
者の方法の場合、−船釣には事象Aの実行開始から終了
までに要する時間を正確に知ることはできないので、明
確な開始時刻を必要とする述語holdでは記述能力に
限界がある。また、両者の方法とも反復回数N回だけ述
語holdまたはseqを繰り返し設定しなければなら
ず、反復回数Nが多い場合、非常に非効率的になってし
まう。また、両者の方法とも、事象Aに関する時間設定
が複数個(NまたはN−1個)あることになり、論理的
に矛盾が生じる。
One possible method is to repeatedly set A). However, in the case of the former method, it is not possible to accurately know the time required from the start to the end of the execution of event A in boat fishing, so there is a limit to the descriptive ability of the predicate hold, which requires a clear start time. . Further, in both methods, the predicate hold or seq must be repeatedly set N times, and if the number N of iterations is large, it becomes very inefficient. Furthermore, in both methods, there are a plurality of time settings (N or N-1) regarding event A, resulting in a logical contradiction.

この矛盾を避けるためには、事象Aと全く同じ種類の事
象をN個用意すればよいがそのために事象の記述が重複
し、また事象を格納するための記憶領域を必要とし、非
常に非効率的である。
In order to avoid this contradiction, it is possible to prepare N events of exactly the same type as event A, but this results in duplicate event descriptions and requires a storage area to store the events, which is extremely inefficient. It is true.

本発明の目的は、以上の問題点を解決するために、事象
に開始時刻変数、終了時刻変数からなる時間パラメータ
、反復関数を記録するカウンタおよび上記事象の構成要
素である子事象を登録するリストを設定し、上記事象が
1回終了するごとに上記事象のカウンタを更新し、上記
事象の時間パラメータおよび上記事象の各子事象の時間
パラメータの値を再設定することにより、事象の反復を
実現できる事象スケジューリング方式を提供することを
目的とする。
SUMMARY OF THE INVENTION In order to solve the above problems, an object of the present invention is to provide an event with a time parameter consisting of a start time variable and an end time variable, a counter that records a repetition function, and a list that registers child events that are components of the event. The repetition of the event is realized by setting the above event, updating the counter of the above event every time the above event ends, and resetting the value of the time parameter of the above event and the time parameter of each child event of the above event. The purpose is to provide an event scheduling method that can

(問題点を解決するための手段) 本発明の事象のスケジューリング方式は、上記事象に開
始時刻変数、終了時刻変数からなる時間パラメータ、反
復回数を記録するカウンタおよび上記事象の構成要素で
ある子事象を登録するリストを設定し、上記事象が1回
終了するごとに上記カウンタを更新し、上記事象の時間
パラメータおよび上記事象の各子事象の時間パラメータ
の値を再設定することを特徴とする。
(Means for Solving the Problems) The event scheduling method of the present invention includes a time parameter consisting of a start time variable and an end time variable, a counter for recording the number of repetitions, and a child event that is a component of the event. The present invention is characterized in that a list for registering is set, the counter is updated each time the event ends, and the value of the time parameter of the event and the time parameter of each child event of the event is reset.

(作用) 本発明においては、事象は、開始時刻変数および終了時
刻変数からなる時間パラメータ、反復回数を記録するカ
ウンタ、該事象の構成要素である余子事象名を連ねたリ
ストおよび注目する時刻において待機中の子事象リスト
、実行中の子事象リストをもっている。該事象の子事象
のスケジュールは該事象から見た相対時刻で記述される
。該事象が実行開始となった時点で、その各子事象のス
ケジュールを絶対時刻に変換し、各子事象の実行判定を
行い、待機中子事象リストに登録されていた子事象のう
ち実行されるべき子事象は待機中子事象リストから実行
中子事象リストに移され、実行される。諸事象が1回終
了するごとに上記カウンタを更新し、上記各子事象をす
べて待機中子事象リストに復帰し、該事象の時間パラメ
ータおよび上記各子事象の時間パラメータを該事象の終
了時刻以後の時刻に再設定し、該事象の実行を再び開始
する。以上の処理を反復回数だけ繰り返す。なお、事象
が階層的に構成されている場合は、上記の処理を各子事
象について再帰的に行えばよい。
(Operation) In the present invention, an event includes a time parameter consisting of a start time variable and an end time variable, a counter that records the number of repetitions, a list containing names of child events that are constituent elements of the event, and a wait time at a time of interest. It has a list of child events inside and a list of child events being executed. The schedule of child events of the event is described in relative time from the event. When the event starts executing, the schedule of each child event is converted to an absolute time, the execution judgment of each child event is made, and the child events registered in the waiting child event list are executed. The exponent child event is moved from the waiting child event list to the executing child event list and executed. Each time an event ends, the above counter is updated, all of the above child events are returned to the waiting child event list, and the time parameters of the event and the time parameters of each of the above child events are updated after the end time of the event. and restart the execution of the event. The above process is repeated for the number of iterations. Note that if the events are hierarchically structured, the above process may be performed recursively for each child event.

(実施例) 以下図面により本発明の一実施例を詳細に説明する。(Example) An embodiment of the present invention will be described in detail below with reference to the drawings.

第2図は事象の発生の時間関係の一例を示す概念図であ
る。時間軸上に各事象の開始時刻、修了時刻が示されて
いる。この図では、事象Aが時刻t1に開始し、時刻t
2に終了する。事象Bは時刻t2に開始し、時刻t3に
終了する。また、事象Aはその子事象Al、 A2. 
A3より構成され、子事象A1は事象Aの開始時刻t1
を基準とした相対時刻tllに開始し、同相対時刻t1
3に終了する。子事象A2. A3も同様である。
FIG. 2 is a conceptual diagram showing an example of the time relationship of occurrence of events. The start time and completion time of each event are shown on the time axis. In this figure, event A starts at time t1 and time t
Ends in 2. Event B starts at time t2 and ends at time t3. Also, event A has its child events Al, A2.
A3, and the child event A1 is the start time t1 of event A.
starts at relative time tll with reference to
Ends in 3. Child event A2. The same applies to A3.

なお、子事象A1とA2は同時刻tllに開始され、子
事象A1とA3は同時刻t13に終了することが示され
ている。ここで、各時刻tl、 t2. t3. tl
l、 t12. t13は値が未定の場合もありうる。
Note that it is shown that child events A1 and A2 start at the same time tll, and child events A1 and A3 end at the same time t13. Here, each time tl, t2. t3. tl
l, t12. The value of t13 may be undetermined.

したがって、たとえば時刻t2を未定とすれば第2図は
事象Aが終了すると同時に事象Bが開始するという定性
的性質を表現していることになる。
Therefore, for example, if time t2 is undetermined, then FIG. 2 expresses the qualitative property that event B starts at the same time as event A ends.

第3図は反復する事象の時間関係の一例を示す概念図で
ある。事象Aは第2図と同一のものとし、N回反復され
るとする。事象Aの1回目の実行は、時刻t1に開始さ
れ、時刻t2に終了する。事象Aの子事象AI、 A2
. A3は時刻t1を基準とした相対時刻t11゜t1
2. t13により開始時刻および終了時刻が定められ
る。事象Aの2回目の実行は時刻t2の直後(離散的な
時刻の場合、時刻t2+1となる)に開始され、時刻t
3に終了する。子事象Al、 A2. A3は時刻t2
を基準とした相対時刻tll、 t12. t13によ
り開始時刻および終了時刻が定められる。tll、 t
12. t13は事象Aがら見た相対時刻であるため、
事象Aの1回目の実行と2回目の実行において同一の値
でよい。実際の子事象の実行の際は、tll、 t12
. t13は事象Aの開始時刻をもとに絶対時刻に変換
される。以下同様にして事象AがN回反復される。第3
図では事象A1つだけの反復であったが、異なる事象が
複数個並列に反復する場合も許される。もちろん、反復
しない事象が並列に存在してもよい。
FIG. 3 is a conceptual diagram showing an example of the time relationship between repeated events. Assume that event A is the same as in FIG. 2 and is repeated N times. The first execution of event A starts at time t1 and ends at time t2. Child event AI of event A, A2
.. A3 is relative time t11°t1 with respect to time t1
2. The start time and end time are determined by t13. The second execution of event A starts immediately after time t2 (in the case of discrete times, it will be time t2+1), and at time t
Ends in 3. Child event Al, A2. A3 is time t2
Relative time tll, t12. The start time and end time are determined by t13. tll, t
12. Since t13 is a relative time seen from event A,
The same value may be used in the first and second execution of event A. When actually executing the child event, tll, t12
.. t13 is converted to an absolute time based on the start time of event A. Thereafter, event A is repeated N times in the same manner. Third
In the figure, only one event A is repeated, but it is also possible for a plurality of different events to be repeated in parallel. Of course, non-repeating events may exist in parallel.

第4図は、事象の内容を表すための説明図である。事象
の内容は、名前、事象の実行内容を表す実行本体、該事
象を子事象として含む親事象の名前、開始時刻変数名、
終了時刻変数名、反復回数カウンタ、終了フラグ、子事
象の名前リスト、実行中の子事象の名前リスト、待機中
の子事象の名前リスト、よりなる。事象の名前は他の事
象と区別できる一意なものであれば何でもよいが、親事
象、さらにその上の親事象のすべての名前を連ねたパス
塩を用いると便利である。実行本体には、該事象が実行
すべき内容が格納される。第4図では、例としてhel
lowという文字を印刷する実行内容が格納されている
。親事象の名前は必ずしも必要ではないが、あれば本方
式の実現上便利である。
FIG. 4 is an explanatory diagram for representing the contents of the event. The contents of the event include the name, the execution body representing the execution content of the event, the name of the parent event that includes the event as a child event, the start time variable name,
It consists of an end time variable name, a repeat count counter, an end flag, a list of names of child events, a list of names of child events being executed, and a list of names of waiting child events. The name of an event can be any unique name that can be distinguished from other events, but it is convenient to use a path salt that includes the names of the parent event and all of the parent events above it. The execution body stores the content to be executed by the event. In Figure 4, as an example, hel
The execution content of printing the character "low" is stored. Although the name of the parent event is not necessarily required, it is convenient for implementing this method.

開始時刻変数名は開始時刻を格納するための記憶領域へ
のポインタで、開始時刻変数の値は使用者が直接与える
か、後述する時間同期機構により決定する。終了時刻変
数名は終了時刻を格納するための記憶領域へのポインタ
である。終了時刻変数の値は開始時刻変数と同様の方法
で決定する。この両度数をまとめて時間パラメータと呼
ぶが、この時間パラメータにより事象のスケジュールが
設定されることになる。ただし、時間パラメータはあら
かじめ値が確定しているとは限らず、他の事象との時間
関係から動的に決定することがある。
The start time variable name is a pointer to a storage area for storing the start time, and the value of the start time variable is either directly given by the user or determined by a time synchronization mechanism described later. The end time variable name is a pointer to a storage area for storing the end time. The value of the end time variable is determined in the same way as the start time variable. These two frequencies are collectively called the time parameter, and the event schedule is set by this time parameter. However, the value of the time parameter is not necessarily determined in advance, and may be dynamically determined based on the time relationship with other events.

その詳細は後述する。反復回数カウンタは事象の反復回
数を記録するためのものである。反復回数のカウントの
仕方は任意であるが、事象の設定時にその反復回数をカ
ウンタに与え、事象の実行が1回終了するごとにカウン
タの値を1つ減算されるようにすると反復回数分終了し
たことがカウンタの値が1になったことで知ることがで
きるので処理が容易になる。反復しない事象については
反復回数カウンタの値はあらかじめ1である。また、無
限回の反復をしたい場合は、反復回数カウンタに無限回
を示すフラグ(たとえば0)を与えればよい。ただし、
終了時刻変数が確定値をもち、その時の時刻が終了時刻
変数の値を過ぎている場合は、反復回数カウンタの値に
かかわらず、その事象は終了する。終了フラグは該事象
が実行中にその目的を果たしたことを示すためのもので
ある。終了フラグは、該事象の金子事象が終了し、がっ
、実行本体の処理が終了したときに該事象自身によって
活性化される。終了フラグが活性化されると該事象は終
了され、その終了時刻変数にそのときの時刻が格納され
る。子事象の名前リストは該事象が構成要素として含む
子事象の名前をすべて並べたものである。実行中の子事
象の名前リストは、注目している時刻においてすでに開
始され、まだ終了していない子事象の名前をすべて並べ
たものである。
The details will be described later. The repetition counter is for recording the number of repetitions of an event. The number of repetitions can be counted in any way, but if you give the number of repetitions to a counter when setting an event, and the value of the counter is decremented by one each time the event is completed, the number of repetitions will be completed. Since it is possible to know what has been done by seeing the value of the counter become 1, processing becomes easier. For events that do not repeat, the value of the repetition counter is 1 in advance. Furthermore, if it is desired to repeat the process an infinite number of times, a flag indicating infinite times (for example, 0) may be given to the repetition counter. however,
If the end time variable has a definite value and the current time is past the value of the end time variable, the event ends regardless of the value of the repetition counter. The completion flag is to indicate that the event has served its purpose during execution. The end flag is activated by the event itself when the gold event of the event ends and the processing of the execution body ends. When the end flag is activated, the event is ended, and the current time is stored in the end time variable. The child event name list is a list of all child event names included as constituent elements of the event. The list of names of child events that are being executed is a list of all the names of child events that have already started at the time of interest and have not yet ended.

事象はその状態から待機事象と実行事象に分類される。Events are classified into standby events and execution events based on their status.

待機事象は着目する時刻Tにおいてまだ発生せず、開始
待ちの状態にあるものをいう。実行事象は時刻Tにおい
てすでに実行中であるものをいう。待機事象は待機事象
リストに、実行事象は実行事象リストに登録されている
。スケジューリングの初期状態(時刻0または任意の基
準時刻)においては、すべての事象は先ず待機事象リス
トに登録されている。
A standby event is one that has not yet occurred at the time T of interest and is in a state of waiting to start. An execution event is one that is already being executed at time T. Waiting events are registered in the waiting event list, and execution events are registered in the execution event list. In the initial state of scheduling (time 0 or any reference time), all events are first registered in the waiting event list.

また、実際に計算機などの装置によって、第2.3図の
ような時間関係にしたがって事象を発生させる場合、時
間軸は離散的となり、ある単位時間ごとに時刻をカウン
トすることになる。
Furthermore, when an event is actually caused by a device such as a computer according to the time relationship shown in FIG. 2.3, the time axis becomes discrete, and time is counted every certain unit time.

第1図は、本発明の一実施例としての事象スケジューリ
ング方式の全体を示すブロック図である。事象の内容を
格納および参照するための事象格納手段1、着目してい
る事象がある時刻において実行されるかまたは終了する
かどうかを判定するための事象実行判定手段2、事象間
の実行時間の同期をとるための時間同期手段3、事象の
反復を制御するための事象反復制御手段4、事象の実行
本体を実行するための事象実行手段5、時刻を与えるた
めのクロック生成手段6が設けられている。事象格納手
段1に事象の内容を入力するための接続線7、事象格納
手段1に格納されている事象の内容を事象実行判定手段
2に伝えるための接続線8、事象実行判定手段2で生成
された事象の実行か待機かの状態遷移情報を事象格納手
段1に伝えるための接続線9、事象実行判定手段2での
時間パラメータ(開始時刻変数と終了時刻変数)の値お
よびそのときの時刻からなる時間同期情報を時間同期手
段3に伝えるための接続線10、時間同期手段3で決定
した時間パラメータ値を事象格納手段1に伝えるための
接続線11、事象実行判定手段2で終了と判定された事
象とその時の時刻を事象反復制御手段4に伝えるための
接続線12、時間同期手段3で他の事象との同期により
終了された事象とその時の時刻を事象反復制御手段4に
伝えるための接続線13、事象反復制御手段4において
時間パラメータの再設定を行うための時間パラメータを
事象同期手段3に伝えるための接続線14、反復すべき
事象の子事象のうち1回分終了されたものを反復のため
に復帰するための情報を事象反復制御手段4から事象格
納手段に伝えるための接続線15、事象実行判定手段2
で判断された事象を実行するかどうかの情報およびその
時の時刻を事象実行手段5に伝えるための接続線16、
事象実行手段5の実行結果を出力するための接続線17
、クロック生成手段5で生成された時刻を事象実行判定
手段2に伝えるため接続線18が設けられている。
FIG. 1 is a block diagram showing the entire event scheduling system as an embodiment of the present invention. Event storage means 1 for storing and referencing the contents of events; event execution determination means 2 for determining whether the event of interest will be executed or finished at a certain time; A time synchronization means 3 for synchronization, an event repetition control means 4 for controlling repetition of an event, an event execution means 5 for executing the main body of the event, and a clock generation means 6 for giving a time are provided. ing. A connection line 7 for inputting the contents of an event into the event storage means 1; a connection line 8 for transmitting the contents of the event stored in the event storage means 1 to the event execution determination means 2; A connection line 9 for transmitting state transition information of execution or standby of the event to the event storage means 1, values of time parameters (start time variable and end time variable) in the event execution determination means 2, and the time at that time. A connection line 10 for transmitting time synchronization information consisting of A connection line 12 for transmitting the event that occurred and the time at that time to the event repetition control means 4, and a connection line 12 for transmitting to the event repetition control means 4 the event that was completed by synchronization with other events in the time synchronization means 3 and the time at that time. A connection line 13 for transmitting a time parameter for resetting the time parameter in the event repetition control means 4 to the event synchronization means 3, a connection line 14 for transmitting a time parameter to the event synchronization means 3, which is a completed child event of an event to be repeated. a connection line 15 for transmitting information for returning for repetition from the event repetition control means 4 to the event storage means; and an event execution determination means 2.
a connection line 16 for transmitting information as to whether or not to execute the event determined by and the time at which the event is executed to the event execution means 5;
Connection line 17 for outputting the execution result of the event execution means 5
, a connection line 18 is provided for transmitting the time generated by the clock generation means 5 to the event execution determination means 2.

第4図で表される事象の内容は、第1図の事象格納手段
1に格納される。格納の際、その事象基とその事象の内
容が格納されている記憶領域の番地の対をまとめて事象
参照用のテーブルを生成する。
The contents of the event shown in FIG. 4 are stored in the event storage means 1 shown in FIG. At the time of storage, a table for event reference is generated by combining the event base and the address of the storage area where the event contents are stored.

第5図は、本発明の一実施例としての事象スケジューリ
ング方式を示すための流れ図であり、第1図の事象実行
判定手段2、時間同期手段3、事象反復制御手段4、事
象実行手段5における処理を示している。ある時刻Tに
おける、ある1つの事象Xのスケジューリング方法を例
として以下に説明する。
FIG. 5 is a flowchart showing an event scheduling system as an embodiment of the present invention. Processing is shown. A method of scheduling a certain event X at a certain time T will be described below as an example.

ステップ101において、事象Xの時間パラメータの値
と時刻Tより、事象Xが時刻Tで実行されるかどうかを
判定する。もし、時刻Tでちょうど事象Xが開始される
場合は、事象Xの開始時刻変数と時刻Tをもとに他の事
象との同期をとる。詳細は後述する。ステップ101で
実行すると判1析された場合、ステップ102により実
行だめのステップ103.104゜105に処理が進め
られる。実行しないと判断された場合、ステップ106
に処理が進められる。ステップ103で事象Xが子事象
をもたなければステップ104により、事象Xの本体が
実行される。事象Xが子事象をもてば、ステップ105
によりその各子事象についてスケジューリングがなされ
る。各子事象のスケジューリングも、第5図の処理と同
様に行う。すなわち、再帰的な処理となる。この際、各
子事象の開始時刻変数および終了時刻変数に事象Xの開
始時刻変数の値を加えることにより、各子事象のスケジ
ュールを絶対時刻に変換する。ここで注意すべきことは
各子事象の時間パラメータの値(事象Xがら児た相対値
)は確定しているとは限らないことである。そのため、
後述する時間関係ネットワークでの値の伝搬によって各
子事象の時間パラメータの値を動的に求めることになる
。最後に、ステップ106において、事象Xが時刻Tで
終了するかどうかを判定する。終了する場合は、事象X
の終了時刻変数と時刻Tをもとに他の事象との同期をと
る。また、終了される事象が反復すべき事象の場合、そ
の反復制御を行う。詳細は後述する。なお、ステップ1
03の各子事象についてのスケジューリングとステップ
104の本体実行の順序は入れ換えてもよい。
In step 101, it is determined from the value of the time parameter of event X and time T whether event X is executed at time T. If event X starts exactly at time T, synchronization with other events is performed based on the start time variable of event X and time T. Details will be described later. If it is determined in step 101 that the process should be executed, the process proceeds to step 102 to proceed to steps 103, 104, and 105, which indicate that the process should not be executed. If it is determined not to execute, step 106
Processing will proceed. If event X does not have any child events in step 103, the main body of event X is executed in step 104. If event X has a child event, step 105
Scheduling is performed for each of its child events. Scheduling of each child event is also performed in the same way as the process shown in FIG. In other words, the process is recursive. At this time, the schedule of each child event is converted into an absolute time by adding the value of the start time variable of event X to the start time variable and end time variable of each child event. What should be noted here is that the value of the time parameter of each child event (the relative value of event X) is not necessarily fixed. Therefore,
The value of the time parameter of each child event is dynamically determined by propagation of the value in a time-related network, which will be described later. Finally, in step 106, it is determined whether event X ends at time T. If it ends, event
Synchronization with other events is performed based on the end time variable and time T. Furthermore, if the event to be terminated is an event that should be repeated, the repetition control is performed. Details will be described later. In addition, step 1
The order of scheduling for each child event in step 03 and the execution of the main body in step 104 may be reversed.

上述の説明は、ある時刻Tにおける、ある1つの事象X
のスケジューリング方法であったが、ある時間[T1.
T2]の間の複数の事象のスケジューリングを行う場合
は、時刻Tを時刻T1から時刻T2まで1単位時間ずつ
進めながら、各時刻Tにおいて各事象について第1図の
処理を繰り返せばよい。ただし、実行事象リストに登録
されている事象については、開始チエツクは行う必要は
ない。
The above explanation is based on a certain event X at a certain time T.
However, if a certain time [T1.
T2], the process shown in FIG. 1 may be repeated for each event at each time T while advancing time T by one unit time from time T1 to time T2. However, there is no need to perform a start check for events registered in the execution event list.

第6図は、第5図の開始チエツクのステップ101を詳
細に説明するための流れ図である。時刻Tで考える。ま
ず、ステップ21において事象Xの開始時刻変数tsの
値がすでに確定されているか未定であるかを調べる。未
定であることを示すためには、tsに未定フラグを与え
ればよい。もし未定であれば、事象Xは時刻Tでは実行
されないとして、事象Xは待機事象リストに登録された
ままとなる。tsが確定されている場合は、ステップ2
2においてtsの値と時刻Tの大小が比較される。ts
の値が時刻Tより大きい場合は、事象Xは時刻Tではま
だ開始されないとして、待機事象リストに登録されたま
まとなる。tsの値が時刻T以下である場合は、実行さ
れるものと解釈される。その際、ステップ23において
tsの値が時刻Tに等しいと判定されると、事象Xは時
刻Tにちょうど開始されるとして、ステップ24でts
と時刻Tに基づいて他の事象との時間の同期かとられる
FIG. 6 is a flowchart for explaining step 101 of the start check in FIG. 5 in detail. Consider time T. First, in step 21, it is checked whether the value of the start time variable ts of event X is already determined or undetermined. To indicate that it is undetermined, an undetermined flag may be given to ts. If it is undetermined, it is assumed that event X will not be executed at time T, and event X will remain registered in the waiting event list. If ts is determined, step 2
2, the value of ts and time T are compared in magnitude. ts
If the value of is greater than time T, it is assumed that event X has not yet started at time T, and remains registered in the waiting event list. If the value of ts is less than or equal to time T, it is interpreted as being executed. At this time, if it is determined in step 23 that the value of ts is equal to time T, it is assumed that the event X starts exactly at time T, and in step 24 ts
Based on the time T, time synchronization with other events is performed.

同期をとる方法は後述される。ステップ22で実行され
ると解釈された事象はステップ25において待機事象リ
ストから実行事象リストに移される。
A method for synchronizing will be described later. Events interpreted in step 22 to be executed are moved in step 25 from the waiting event list to the execution event list.

第7図は、第5図の終了チエツクのステップ106を詳
細に説明するための流れ図である。時刻Tで考える。ま
ず、ステップ301において事象Xの終了時刻変数te
が未定であるか確定であるかを調べる(開始チエツクの
ときと同様にして行う)。teが確定の場合は、ステッ
プ302においてteの値と時刻Tを比較し、teとT
以下である場合は、ステップ305においてteと時刻
Tに基づいて他の事象との時間の同期がとられる。te
が未定であるか、te>Tであれば、ステップ303に
おいて事象Xの終了フラグがオンとなっているかどうか
調べる。終了フラグは、該事象の金子事象が終了しくす
なわち、待機中子事象リスト、実行中子事象リストが空
になり)、かつ、実行木本の処理が終了したときに該事
象自身によってオンに活性化される。終了フラグがオン
でない場合は、事象Xはこの時刻では終了しないとして
、終了チエツクの処理を終える。終了フラグがオンで゛
ある場合は、ステップ304において反復回数カウンタ
t1の値が1であるかどうかを調べる。所定の回数の反
復が終了したか、もともと反復しない事象の場合は反復
回数が1である。反復回数カウンタの値が1の場合は、
事象Xは時刻Tで終了するとして、ステップ305にお
いて事象Xの終了時刻変数teの値をTとし、ステップ
305において他の事象との同期をとるーまた、無限回
の反復を実現したい場合は、たとえば反復回数カウンタ
の値をあらかじめ0に設定しておけばよい。ステップ3
01から304の処理かられかるように、反復回数カウ
ンタの値が1以外の場合でも、終了時刻変数の値によっ
て、事象Xの反復を途中終了させることも可能である。
FIG. 7 is a flowchart illustrating in detail step 106 of the end check in FIG. Consider time T. First, in step 301, the end time variable te of the event
Check whether it is undetermined or determined (this is done in the same way as the start check). If te is determined, the value of te and time T are compared in step 302, and te and T are determined.
If it is below, time synchronization with other events is established based on te and time T in step 305. te
If is undetermined or te>T, it is checked in step 303 whether the end flag of event X is on. The end flag is activated by the event itself when the Kaneko event of the event ends (that is, the waiting child event list and the running child event list become empty) and the processing of the execution tree ends. be converted into If the end flag is not on, it is assumed that event X will not end at this time, and the end check process ends. If the end flag is on, it is checked in step 304 whether the value of the repetition counter t1 is 1. If a predetermined number of repetitions has been completed or the event does not originally repeat, the number of repetitions is 1. If the value of the iteration counter is 1,
Assuming that event X ends at time T, in step 305, set the value of end time variable te of event For example, the value of the repetition counter may be set to 0 in advance. Step 3
As can be seen from the processing from 01 to 304, even if the value of the repetition counter is other than 1, it is possible to prematurely end the repetition of event X depending on the value of the end time variable.

ステップ302またはステップ304で終了と判定され
た場合、事象Xはステップ306において実行事象リス
トおよび待機事象リストから除かれる。反復回数カウン
タの値が1より大きいときは、ステップ308.309
.310において反復のための処理がなされる。まず、
ステップ308において、事象Xの反復回数カウンタの
値が1だけ減算され、事象Xの開始時刻変数tsの値に
その時の時刻Tに1を加えた値が与えられる。次に、ス
テップ309において、事象Xの子事象をすべて待機中
子事象リストに再登録し、初期状態に戻す。事象Xの子
事象(Xiとする)がさらに子事象をもつ場合は、その
子事象X1の子事象を子事象X1の待機中子事象リスト
に復帰する。この廼埋は、事象Xのすべての子孫事象に
ついて同様に行われる。次に、ステップ310に3いて
事象Xのすべての子事象の時間パラメータの再設定を行
う。それには、各子事象の時間パラメータのうち事象X
内の相対時刻で陽に設定されているもの(後述する述語
occurによって設定されたもの)の値を、事象Xの
開始時刻変数tsの値を基準に絶対時刻に変換する。
If it is determined at step 302 or step 304 that the event has ended, event X is removed from the running event list and the waiting event list at step 306. If the value of the iteration counter is greater than 1, step 308.309
.. Processing for iteration is done at 310. first,
In step 308, the value of the repetition counter of event X is decremented by 1, and the value of the start time variable ts of event X is given the value obtained by adding 1 to the current time T. Next, in step 309, all child events of event X are re-registered in the waiting child event list and returned to the initial state. If a child event (say Xi) of event X has further child events, the child events of child event X1 are returned to the waiting core child event list of child event X1. This filling is performed in the same way for all descendant events of event X. Next, in step 310, the time parameters of all child events of event X are reset. To do this, event X out of the time parameters of each child event
The value of the relative time explicitly set (set by the predicate occur, which will be described later) is converted into an absolute time based on the value of the start time variable ts of the event X.

事象Xの子事象X1がさらに子事象をもつ場合は、子事
象X1の開始時刻変数をまず絶対時刻に変換した後で子
事象X1の子事象の時間パラメータを子事象X1の開始
時刻変数を基準にして絶対時刻に変換する。事象Xのす
べての子孫事象について同様の処理を行う。子事象の時
間パラメータをその親事象の開始時刻変数を基基にして
求めるには、後述する時間同期の方法を用いる。以上の
処理により、事象Xのすべての子孫事象が初期状態に復
帰され、反復の次の回のための準備ができたことになる
If child event X1 of event X has further child events, first convert the start time variable of child event Convert to absolute time. Similar processing is performed for all descendant events of event X. To determine the time parameters of a child event based on the start time variable of its parent event, a time synchronization method, which will be described later, is used. Through the above processing, all descendant events of event X are returned to their initial state and are ready for the next iteration.

以上、第5.6.7図に基づいて説明した処理により、
階層構造を成す複数の異なる事象の任意の階層における
時間同期および反復が実現される。
As described above, by the process explained based on Fig. 5.6.7,
Time synchronization and repetition in an arbitrary hierarchy of a plurality of different events forming a hierarchical structure is realized.

次に、事象間の時間関係の設定方法について説明する。Next, a method of setting time relationships between events will be explained.

事象間の時間関係の設定方法の一例を、第8図(a)に
示す。時間関係の設定の際、絶対時刻であるか、ある事
象からの相対時刻であるかを示す設定時間軸を指定する
。親事象の内容の定義のスにその子事象の時間関係を設
定するとき、その設定時間軸が該親事象から見た相対時
刻となるようにすると便利である。第8図(a)では、
第2図で示した事象の時間関係を例にとっている。事象
Aが絶対時刻t1で開始されることを絶対時刻を設定時
間軸として述語occurを用いて表現されている。事
象Aの中で事象A1が相対時刻3(第3図のtl−tl
l=3とする)に開始されることを事象Aの開始時刻を
基準とした時間軸で、述語occurを用いて表現され
ている。事象A1と事象A2の同時に開始することが述
語5tartで、事象A1と事象A3が同時に終了する
ことが述語finishで、事象A2の直後に事象A3
が開始されることが述語seqで表現されている。また
、事象AがN回反復することを述語repを用いて表現
されている。
An example of a method for setting time relationships between events is shown in FIG. 8(a). When setting the time relationship, specify the setting time axis indicating whether it is an absolute time or a relative time from a certain event. When setting the time relationship of a child event in the definition of the content of a parent event, it is convenient to make the setting time axis a relative time viewed from the parent event. In Figure 8(a),
The time relationship of events shown in FIG. 2 is taken as an example. The fact that event A starts at absolute time t1 is expressed using the predicate occur with absolute time as the set time axis. Among events A, event A1 is relative time 3 (tl-tl in Figure 3).
The time axis is based on the start time of event A, and is expressed using the predicate occur. The predicate 5tart means that event A1 and event A2 start at the same time, and the predicate finish means that event A1 and event A3 end at the same time, and event A3 starts immediately after event A2.
The predicate seq expresses that . Furthermore, the fact that event A is repeated N times is expressed using the predicate rep.

以上のようにして設定された時間関係に基づいて、開始
時刻変数および終了時刻変数からなる時間パラメータに
よるネットワークが構成され、そのネットワーク上の時
間パラメータの値の伝搬によって事象間の同期が実現さ
れる。とくに、親事象の開始時刻変数と子事象の開始時
刻変数の時間同期により子事象のスケジュールの相対時
刻がら絶対時刻への変換が実現される。ただし、絶対時
刻で′の述語occur、および、述語repによる時
間関係の設定はネットワークを用いずに実現される。絶
対時刻での述語0ccurによる設定の場合は、設定さ
れるべき事象の開始時刻変数にある値(この例では、t
l)が与えられるだけである。また、述語repによる
設定の場合は、設定されるべき事象の反復回数カウンタ
に反復回数が与えられるだけである。
Based on the time relationships set as above, a network of time parameters consisting of start time variables and end time variables is constructed, and synchronization between events is achieved by propagating the values of the time parameters on the network. . In particular, by time synchronizing the start time variable of the parent event and the start time variable of the child event, conversion of the relative time of the schedule of the child event to the absolute time is realized. However, the setting of the time relationship by the predicate occur and the predicate rep with absolute time is realized without using a network. In the case of setting with the predicate 0ccur at an absolute time, the value in the start time variable of the event to be set (in this example, t
l) is only given. Furthermore, in the case of setting using the predicate rep, the number of repetitions is simply given to the repetition number counter of the event to be set.

事象の反復回数カウンタが0より大きければ、第7図で
述べた手順にしたがって、反復のための処理が行われる
If the event repetition counter is greater than 0, processing for repetition is performed according to the procedure described in FIG.

次に時間関係のネットワークを用いた事象間の同期方法
について説明する。時間関係のネットワークは、時間パ
ラメータを有向枝でつなぎ、有向枝にある計算式を付属
させた形をとる。有向枝の始点側の時間パラメータを活
性変数、有向枝の終点側の時間パラメータを従属変数と
呼ぷ゛ことにする。第8図(b)は、事象の時間関係の
ネットワークの構成方法の一例を示す説明図である。第
8図(b)では、第8図(a)の設定方法に対応するネ
7)ワークの構成方法が示されている(絶対時刻での述
語occurと述語repは除く)。ネットワークは活
性変数名、従属変数名、関係式の3つの組テーブルとし
て構成される。活性変数に値が格納されると、対応する
従属変数に関係式の計算結果が格納される。さらに上記
従属変数が活性変数としても登録されている場合、上記
従属変数を活性変数として同様の処理が行われる。すな
わち、ある変数に値が格納された結果がネットワーク上
を次々と伝搬する。したがって、ある事象が開始または
終了すると、該事象の時間パラメータとネットワーク上
で接続されている他の事象の時間パラメータの値が次々
に求められ、時間の同期がとられることになる。
Next, a method of synchronizing events using a time-related network will be explained. A time-related network has a form in which time parameters are connected by directed edges, and a certain calculation formula is attached to the directed edges. The time parameter on the starting point side of the directed branch will be called the active variable, and the time parameter on the end point side of the directed branch will be called the dependent variable. FIG. 8(b) is an explanatory diagram showing an example of a method for configuring a network of time relationships of events. In FIG. 8(b), a method of configuring network 7) corresponding to the setting method of FIG. 8(a) is shown (excluding the predicate occur and the predicate rep at absolute time). The network is configured as three sets of tables: active variable names, dependent variable names, and relational expressions. When a value is stored in the active variable, the calculation result of the relational expression is stored in the corresponding dependent variable. Further, if the dependent variable is also registered as an active variable, similar processing is performed using the dependent variable as the active variable. That is, the result of a value stored in a certain variable is propagated one after another on the network. Therefore, when a certain event starts or ends, the values of the time parameter of the event and the time parameters of other events connected on the network are determined one after another, and the times are synchronized.

第9図は、事象の時間関係のネットワーク上の値の伝搬
の手順の一例を示す流れ図である。いま、時間パラメー
タtp(開始時刻変数でも終了時刻変数でもよい)を起
点として、ネットワーク上の値の伝搬が行われるとする
。まず、ステップ41でtpを起点にしたネットワーク
上の伝搬経路を求める。伝搬経路を求めるには、第8図
(b)のテーブルをもとに、tpを活性変数として、対
応するすべての従属変数、計算式の対のリスト((tl
、 El)、 (t2. E2)、−(tn、 En)
)を求め、これを探索経路リストとする。ただし、tl
FIG. 9 is a flowchart illustrating an example of a procedure for propagating values on a network of time-related events. Now, suppose that values are propagated on the network starting from a time parameter tp (which may be a start time variable or an end time variable). First, in step 41, a propagation path on the network starting from tp is determined. To find the propagation path, based on the table in FIG.
, El), (t2. E2), -(tn, En)
) and use this as the search route list. However, tl
.

t2.・・・tnは時間パラメータ、El、 E2−E
nは各時間パラメータに対応する関係式である。次にt
l、 t2.・・・tnそれぞれ活性変数として、上記
と同様に対応するすべての従属変数、計算式の対を求め
、すでに求められている探索経路リストにマージする。
t2. ...tn is a time parameter, El, E2-E
n is a relational expression corresponding to each time parameter. Then t
l, t2. . . . For each tn as an active variable, all corresponding pairs of dependent variables and calculation formulas are obtained in the same way as above, and merged into the search route list that has already been obtained.

ただし、すでに探索経路リストにある時間パラメータは
除かれる。以上の操作を次々と繰り返すことにより、伝
搬経路が求められる(これは基本的に横型探索である。
However, time parameters already on the search route list are excluded. By repeating the above operations one after another, the propagation path is found (this is basically a horizontal search).

その探索アルゴリズムは、たとえば、文献自弁・止弁、
人工知能(音波書店、1982年)、第3章に述べられ
ている。)。ステップ41で求められた伝搬リストをも
とに、ステップ42において時間パラメータの値の伝搬
が行われる。値の伝搬は、伝搬リストの時間パラメータ
と関係式の対を順に取り出し、関係式の計算結果を時間
パラメータに格納していけばよい。
For example, the search algorithm is
Artificial Intelligence (Sonic Shoten, 1982), Chapter 3. ). Based on the propagation list obtained in step 41, the values of the time parameters are propagated in step 42. Value propagation can be accomplished by sequentially extracting pairs of time parameters and relational expressions from the propagation list, and storing the calculation results of the relational expressions in the time parameters.

(効果) 以上記述したように、本発明の事象スケジューリング方
式は事象の反復を実現している。したがって、作業者は
従来のように事象の設定や時間関係の設定を反復回数分
用意することなく、容易に簡潔に事象の反復を設定する
ことができ、作業効率および記憶領域などの資源の利用
効率が著しく向上する。
(Effects) As described above, the event scheduling method of the present invention realizes repetition of events. Therefore, workers can easily and concisely set event repetitions without having to prepare event settings and time-related settings for the number of repetitions as in the past, improving work efficiency and utilization of resources such as storage space. Efficiency is significantly improved.

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

第1図は本発明の一実施方式を示すブロック図、第2図
は事象の時間関係を一例を示す概念図、第3図は反復す
る事象の時間関係の一例を示す概念図、第4図は事象の
内容を示すための説明図、第5図は事象スケジューリン
グ方式の全体を示す流れ図、第6図は時刻Tにおけるあ
る事象の開始チエツクの方法の一例を示すための流れ図
、第7図は時刻Tにおけるある事象の終了チエツクの方
法の一例を示すための流れ図、第8図(a)は事象の時
間関係の設定方法の一例を示す説明図、第8図(b)は
事象の時間関係ネットワークの構成方法の一例を示す説
明図、第9図は事象の時間関係ネットワーク上の時間パ
ラメータの値の伝搬の手順の一例を示すための流れ図で
ある。 図において、1は事象格納手段、2は事象実行判定手段
、3は時間同期手段、4は事象反復制御手段、5は事象
実行手段、6はクロック生成手段、7か第1図 第2図 第3図 ↑1↑++ h2t+3t2t2↑11↑12↑13↑
3第4図 第5図 第6図 第7図 第8図(a) (b) 第9図
FIG. 1 is a block diagram showing an implementation method of the present invention, FIG. 2 is a conceptual diagram showing an example of the time relationship of events, FIG. 3 is a conceptual diagram showing an example of the time relationship of repeated events, and FIG. 4 is an explanatory diagram showing the contents of an event, FIG. 5 is a flowchart showing the entire event scheduling method, FIG. 6 is a flowchart showing an example of a method for checking the start of a certain event at time T, and FIG. A flowchart showing an example of a method for checking the end of a certain event at time T, FIG. 8(a) is an explanatory diagram showing an example of a method for setting the time relationship of events, and FIG. 8(b) shows the time relationship of events. FIG. 9 is an explanatory diagram showing an example of a method for configuring a network. FIG. 9 is a flowchart showing an example of a procedure for propagating the value of a time parameter on an event time-related network. In the figure, 1 is an event storage means, 2 is an event execution determination means, 3 is a time synchronization means, 4 is an event repetition control means, 5 is an event execution means, 6 is a clock generation means; Figure 3 ↑1↑++ h2t+3t2t2↑11↑12↑13↑
3 Figure 4 Figure 5 Figure 6 Figure 7 Figure 8 (a) (b) Figure 9

Claims (1)

【特許請求の範囲】[Claims] 事象のスケジューリング方式において、上記事象のうち
反復する事象について、上記反復する事象が反復するた
びに、上記反復する事象の開始時刻、終了時刻および上
記反復する事象の構成要素である子事象の開始時刻、終
了時刻を再設定することを特徴とする事象スケジューリ
ング方式。
In the event scheduling method, for a repeating event among the above-mentioned events, each time the above-mentioned repeating event repeats, the start time and end time of the above-mentioned repeating event, and the start time of a child event that is a component of the above-mentioned repeating event. , an event scheduling method characterized by resetting the end time.
JP61180382A 1986-07-30 1986-07-30 Event scheduling system Pending JPS6336358A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP61180382A JPS6336358A (en) 1986-07-30 1986-07-30 Event scheduling system

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP61180382A JPS6336358A (en) 1986-07-30 1986-07-30 Event scheduling system

Publications (1)

Publication Number Publication Date
JPS6336358A true JPS6336358A (en) 1988-02-17

Family

ID=16082258

Family Applications (1)

Application Number Title Priority Date Filing Date
JP61180382A Pending JPS6336358A (en) 1986-07-30 1986-07-30 Event scheduling system

Country Status (1)

Country Link
JP (1) JPS6336358A (en)

Cited By (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH0224781A (en) * 1988-07-13 1990-01-26 Fuji Xerox Co Ltd Method for editing input chart for simulating image output device
JPH0227481A (en) * 1988-07-15 1990-01-30 Fuji Xerox Co Ltd Communication data generating method for picture output device simulation
JPH03207781A (en) * 1990-01-09 1991-09-11 Showa Highpolymer Co Ltd Pressure sensitive adhesive emulsion for carbonless paper
JPH04227546A (en) * 1990-04-24 1992-08-17 Internatl Business Mach Corp <Ibm> Method for automating process selected in data processing system
CN105184077A (en) * 2015-09-06 2015-12-23 河南师范大学 Excessively-close-range particle-swarm exponential method for optimizing efficiency of resonant electric energy transmitting system

Cited By (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH0224781A (en) * 1988-07-13 1990-01-26 Fuji Xerox Co Ltd Method for editing input chart for simulating image output device
JPH0227481A (en) * 1988-07-15 1990-01-30 Fuji Xerox Co Ltd Communication data generating method for picture output device simulation
JPH03207781A (en) * 1990-01-09 1991-09-11 Showa Highpolymer Co Ltd Pressure sensitive adhesive emulsion for carbonless paper
JPH04227546A (en) * 1990-04-24 1992-08-17 Internatl Business Mach Corp <Ibm> Method for automating process selected in data processing system
CN105184077A (en) * 2015-09-06 2015-12-23 河南师范大学 Excessively-close-range particle-swarm exponential method for optimizing efficiency of resonant electric energy transmitting system
CN105184077B (en) * 2015-09-06 2018-07-31 河南师范大学 Cross short distance low-resonance electric energy transmission system improving efficiency population index method

Similar Documents

Publication Publication Date Title
US6961689B1 (en) Scheduling non-integral simulation time for mixed-signal simulation
US10409937B2 (en) Modelling and simulation method
Ramchandani Analysis of asynchronous concurrent systems by Petri nets
US5490266A (en) Process oriented logic simulation having stability checking
Holzmann Tracing protocols
KR20010043794A (en) Computer implemented scheduling system and process using abstract local search technique
JPH04340158A (en) Simulation method for event
US6202192B1 (en) Distributed static timing analysis
US5491639A (en) Procedure for verifying data-processing systems
CN111124379A (en) Page generation method and device, electronic equipment and storage medium
Reed et al. The timed failures—Stability model for CSP
JPS6336358A (en) Event scheduling system
CN114564904A (en) FPGA full-path rapid time sequence analysis method and device, computer and storage medium
Casanova et al. General purpose schedulers for database systems
CN108536758B (en) Data table reconstruction method, device and system for database mode
Szygenda et al. Time flow mechanisms for use in digital logic simulation
JPS6324444A (en) Event scheduling system
JPS6324443A (en) Event scheduling system
EP1061463A2 (en) Scheduling non-integral simulation time for mixed-signal simulation
JPH04239338A (en) Measuring system for microprogram comprehension rate
Li et al. Serverless Data Pipelines
Mumme et al. An efficient fully symbolic bisimulation algorithm for non-deterministic systems
Rosier et al. On the complexity of deciding fair termination of probabilistic concurrent finite-state programs
Gustavson et al. XSimNet, a Tool in C++ for executing Simulation Nets
Chang et al. Design methods for distributed software systems