JPH0452863A - Plan formation system - Google Patents
Plan formation systemInfo
- Publication number
- JPH0452863A JPH0452863A JP2156916A JP15691690A JPH0452863A JP H0452863 A JPH0452863 A JP H0452863A JP 2156916 A JP2156916 A JP 2156916A JP 15691690 A JP15691690 A JP 15691690A JP H0452863 A JPH0452863 A JP H0452863A
- Authority
- JP
- Japan
- Prior art keywords
- plan
- task
- memory
- satisfied
- condition
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 230000015572 biosynthetic process Effects 0.000 title 1
- 238000012795 verification Methods 0.000 claims description 21
- 238000004088 simulation Methods 0.000 abstract description 13
- 238000012937 correction Methods 0.000 abstract description 8
- 238000007689 inspection Methods 0.000 abstract 1
- 238000000034 method Methods 0.000 description 16
- 238000004458 analytical method Methods 0.000 description 10
- 238000012986 modification Methods 0.000 description 8
- 230000004048 modification Effects 0.000 description 8
- 238000011017 operating method Methods 0.000 description 6
- 238000010586 diagram Methods 0.000 description 3
- 230000000694 effects Effects 0.000 description 3
- 238000013461 design Methods 0.000 description 1
- 238000009472 formulation Methods 0.000 description 1
- 239000000203 mixture Substances 0.000 description 1
- 238000011160 research Methods 0.000 description 1
Classifications
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
- Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
- Y02P90/02—Total factory control, e.g. smart factories, flexible manufacturing systems [FMS] or integrated manufacturing systems [IMS]
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
- Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
- Y02P90/30—Computing systems specially adapted for manufacturing
Landscapes
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
- General Factory Administration (AREA)
Abstract
Description
【発明の詳細な説明】
〔産業上の利用分野〕
この発明は、例えば電力系統の接続操作手順などの計画
を作成する計画作成方式に関するものである。DETAILED DESCRIPTION OF THE INVENTION [Industrial Application Field] The present invention relates to a planning method for creating a plan for, for example, a power system connection operation procedure.
第３図は例えば「オペレーションズリサーチ」（財団法
人日本規格協会１９８０年６月発行）９．１５に示され
た従来の計画作成方式を示す説明図である。図において
、２１は与えられた問題をモデル化するステップ、２２
はモデルに所定の解析法を適用するステップ、２３は得
られた解を示している。FIG. 3 is an explanatory diagram illustrating the conventional planning method shown in, for example, "Operations Research" (Japanese Standards Association, published June 1980), 9.15. In the figure, 21 is the step of modeling the given problem; 22
23 indicates a step of applying a predetermined analysis method to the model, and 23 indicates the obtained solution.
次に動作について説明する。与えられた問題をモデル化
するステップ２１は、与えられた問題を、次ステツプ２
２で適用される解析法が処理できるような形式にモデル
化する。次に、モデルに所定の解析法を適用するステッ
プ２２は、前のステップ２１の出力を入力して数理計画
法などの解析法を用いて解、つまシ計画を出力する。Next, the operation will be explained. Step 21 of modeling the given problem
Model it in a format that can be processed by the analysis method applied in step 2. Next, in step 22 of applying a predetermined analysis method to the model, the output of the previous step 21 is input, and a solution, a design, is output using an analysis method such as mathematical programming.
従来の計画作成方式は以上のように構成されているので
、問題に適用可能な解析法が存在しない場合には解を出
力することができず、また、解析法が存在する場合であ
っても、解析法が処理できるモデルと与えられた問題と
の差異が大きいときには、出力された解は問題とは適合
しないものとなってしまうという課題があった。Conventional planning methods are structured as described above, so if there is no analytical method applicable to the problem, a solution cannot be output, and even if an analytical method exists, , when there is a large difference between the model that can be processed by the analysis method and the given problem, the problem is that the output solution does not fit the problem.
この発明は上記のような課題を解消するためになされた
もので、解析法の存在の有無にかかわらずあらゆる計画
問題に適用でき、与えられた問題に即した計画を作成で
きる計画作成方式を得ることを目的とする。This invention was made to solve the above-mentioned problems, and provides a planning method that can be applied to all planning problems regardless of the presence or absence of analytical methods, and can create a plan that suits the given problem. The purpose is to
この発明に係る計画作成方式は、与えられた仕様にもと
づいて暫定的な計画案を作成する暫定案作成手段と、こ
の暫定案作成手段によって作成された計画案または修正
手段から入力した計画案が、与えられた制約条件を満足
するか否かを検証し、制約条件を満足したら計画案を最
終的な計画として出力する検証手段と、計画案が制約条
件を満足しない場合に、制約条件を満足させる方向に計
画案を修正し、修正された計画案を検証手段に与える修
正手段とを備えたものである。The plan creation method according to the present invention includes a provisional plan creation means for creating a provisional plan based on given specifications, and a plan created by the provisional plan creation means or a plan input from the modification means. , a verification means that verifies whether or not given constraints are satisfied, and outputs the plan as a final plan if the constraints are satisfied, and a verification means that outputs the plan as a final plan if the constraints are satisfied, and a method that satisfies the constraints when the plan does not satisfy the constraints. and a modification means for modifying the draft plan in the direction of the verification and providing the revised draft plan to the verification means.
この発明における検証手段および修正手段は、計画案の
検証と修正とを、与えられた制約条件を満足するまで繰
９返し、いかなる問題が入力された場合であっても、そ
の問題に即した計画を出力する。The verification means and the modification means in this invention repeatedly verify and modify the plan until the given constraints are satisfied, and no matter what problem is input, the verification and modification means can create a plan that suits the problem. Output.
以下、この発明の一実施例を図について説明する。第１
図において、１は電力系統における目的とする接続状態
等の仕様および接続操作完了後の各地点の電流、電圧等
の制約条件が入力される入力装置、２は与えられた仕様
にもとづいて操作手順の暫定案（暫定的な計画案）を作
成する暫定案作成タスク（暫定案作成手段）、３は暫定
案のシミュレータ１ンを行うシミュレータ１ンタスク、
４はシミニレ−ジョン結果の検証を行う検証タスク（検
証手段）、５は暫定案について必要な修正を行う修正タ
スク（修正手段）、６は各タスクその他の管理を行うモ
ニタ、７はメモリ、８は電力系統情報等か格納されたデ
ータベース、９＃′ｉ作成され九計画を出力する出力装
置である。また、１０は計画作成ソフトウェアである。An embodiment of the present invention will be described below with reference to the drawings. 1st
In the figure, 1 is an input device into which specifications such as the intended connection state in the power system and constraints such as current and voltage at each point after the connection operation is completed are input, and 2 is an input device that inputs the operating procedure based on the given specifications. A provisional plan creation task (tentative plan creation means) that creates a provisional plan (tentative plan); 3 is a simulator 1 task that performs a simulator 1 of the provisional plan;
4 is a verification task (verification means) that verifies the simulation results; 5 is a correction task (correction means) that makes necessary corrections to the tentative draft; 6 is a monitor that manages each task and other matters; 7 is memory; 9#'i is a database that stores power system information, etc., and is an output device that outputs the nine plans created. Further, 10 is planning software.
次に動作について第２図の７ｅｒ−チャートを参照して
説明する。まず、入力装置１に入力された仕様、例えば
目標とする電力系統の接続状態とその接続状態に対応し
た制約条件、例えば電力系統の各地点における電流、電
圧等とはメモリ７に格納される（ステップ５ＴＩＩ）。Next, the operation will be explained with reference to the 7er chart in FIG. First, the specifications input into the input device 1, such as the target power system connection state and the constraints corresponding to the connection state, such as current and voltage at each point in the power system, are stored in the memory 7 ( Step 5TII).
次に、暫定案作成タスク２は、データベース８に格納さ
れている知識とメモリ７内の仕様とから解の暫定案を作
成する（ステップ５Ｔ１２）。ここで、データベース８
に格納されている知識とは、電力系統の操作手順に関す
る過去の事例であシ、暫定案作成タスク２は、その事例
の中から与えられた仕様に類似した事例をそのまま採用
するなどして、与えられた仕様の全部または一部を満足
する暫定案を一次案として作成する。または、数理計画
法などの解析法を用いて暫定案を作成するようにしても
よい。Next, the tentative plan creation task 2 creates a tentative solution plan from the knowledge stored in the database 8 and the specifications in the memory 7 (step 5T12). Here, database 8
The knowledge stored in is past examples related to power system operation procedures, and provisional draft creation task 2 uses cases similar to the given specifications from those examples as is. Create a preliminary plan that satisfies all or part of the given specifications as a primary plan. Alternatively, a tentative plan may be created using an analysis method such as mathematical programming.
暫定案が作成されると、制御はシミュレータ１ンタスク
３に移行する。シミエレーシ１ンタスク３は、まず、暫
定案に適合した状況をメモリＴに設定する。そして、こ
の状況下で暫定案による操作手順を計算機上でシミュレ
ーシッンする（ステップ５Ｔ１３）。そして、シミュレ
ーシ運ンの結果をメモリＴに設定する。次に、検証タス
ク４は、シミュレーション結果と制約条件とを比較して
、シミュレーション結果が制約条件を満足しているか否
かを検証する（ステップ５Ｔ１４）。ここで、制約条件
を満足している場合には、暫定案を最終的な解とする。Once the tentative plan is created, control is transferred to simulator 1 task 3. The simulation task 3 first sets in the memory T a situation that matches the provisional plan. Then, under this situation, the operating procedure according to the tentative plan is simulated on a computer (step 5T13). Then, the result of the simulation run is set in the memory T. Next, verification task 4 compares the simulation result with the constraint condition to verify whether the simulation result satisfies the constraint condition (step 5T14). Here, if the constraint conditions are satisfied, the tentative solution is set as the final solution.
つまり、与えられた仕様に対する電力系統の操作手順が
作成される（ステップ５Ｔ１６）。必要ならば、作成さ
れた解は出力装置９から出力される。That is, an operation procedure for the power system is created according to the given specifications (step 5T16). If necessary, the created solution is outputted from the output device 9.
制約条件を満足していない場合には、修正タスク５は暫
定案を修正する（ステップ５Ｔ１５）。修正の方針とし
てデータベース８内の知識を利用できる。つまり、制約
条件のうちのある条件が満たされていないときには、操
作手順におけるある部分の順序を逆にしたシ新たな手順
を追加したシすればよいことが、過去の経験にもとづい
て定まっているので、その内容がデータベース８に格納
されている。そして、修正タスク５は、その内容を参照
して暫定案を修正する。If the constraint conditions are not satisfied, modification task 5 modifies the tentative plan (step 5T15). Knowledge in the database 8 can be used as a correction policy. In other words, it has been determined based on past experience that if a certain constraint condition is not met, it is sufficient to reverse the order of a certain part of the operating procedure or add a new procedure. Therefore, its contents are stored in the database 8. Then, the modification task 5 modifies the tentative draft by referring to the contents.
修正された暫定案が作成されると、モニタ６は再びシミ
ーレージ７ノタスク３に制御を移す。そして、修正され
た暫定案に対してシミユレーシヨンが行われる。このよ
うにして、最終的に制約条件を満足する電力系統の操作
手順が作成される。Once the revised provisional plan is created, the monitor 6 transfers control to the shimmy range task 3 again. A simulation is then performed on the revised tentative plan. In this way, an operating procedure for the power system that finally satisfies the constraint conditions is created.
ここで、暫定案作成タスク２、シミュレーションタスク
３、検証タスク４および修正タスク５は、経験者が操作
手順を作成する過程を分析して、その分析結果によシ最
適のタスク構成として定められたものである。Here, provisional draft creation task 2, simulation task 3, verification task 4, and modification task 5 are determined by an experienced person analyzing the process of creating operating procedures, and based on the analysis results, the optimal task configuration is determined. It is something.
なお、上記実施例ではシミーレーションを実行し死後に
検証を行う場合について説明したが、検証が容易に行え
るような場合には、シミーレーションを省略してもよい
。そして、検証を人手によって行うようにしてもよい。In the above embodiment, a case has been described in which simulation is performed and verification is performed after death, but if verification can be easily performed, simulation may be omitted. Then, the verification may be performed manually.
この場合には、シミュレーションタスク３および検証タ
スク４は不用であるが、最終的な解の出力要求および修
正要求を入力装置１等から入力することになる。In this case, the simulation task 3 and the verification task 4 are not necessary, but the final solution output request and modification request are input from the input device 1 or the like.
また、上記実施例では制約条件を検証の際にのみ用いる
場合について説明したが、暫定案を作成する際にも用い
るようにしてもよい。Further, in the above embodiment, a case has been described in which the constraint conditions are used only during verification, but they may also be used when creating a tentative plan.
なお、上記実施例では醒力系軟の操作手順を作成する場
合について説明したが、本発明による方式はあらゆる計
画の立案に適用することが可能である。Note that although the above embodiment describes the case of creating an operating procedure for a power-based system, the method according to the present invention can be applied to the formulation of any kind of plan.
以上のように、この発明によれば計画作成方式を、暫定
的な計画案を作成した後に制約条件を満たすか否か検証
し、制約条件を満たさない場合には満たすようになるま
で計画案の修正および検証を繰シ返すように構成したの
で、あらゆる計画問題について計画を作成でき、しかも
、常にその問題に適合した計画となるものが得られる効
果がある。As described above, according to the present invention, the plan creation method verifies whether or not the constraint conditions are satisfied after creating a tentative plan plan, and if the constraint conditions are not satisfied, the plan draft is revised until the constraint conditions are satisfied. Since it is configured to repeat correction and verification, it is possible to create a plan for any planning problem, and moreover, it has the effect of always obtaining a plan that is suitable for the problem.
第１図はこの発明の一実施例による計画作成方式を示す
ブロック図、第２図はこの発明の一実施例による計画作
成方式の動作を示すフローチャート、第３図は従来の計
画作成方式を示す説明図。
１は入力装置、２は暫定案作成タスク（暫定案作成手段
）、３はシミュレーションタスク、４は検証タスク（検
証手段）、５は修正タスク（修正手段）、６はモニタ、
７はメモリ、８はデータベース、９は出力装置。
なお、図中、同一符号は同一 または相当部分を示す。
特許出願人 三菱電機株式会社FIG. 1 is a block diagram showing a planning method according to an embodiment of the present invention, FIG. 2 is a flowchart showing the operation of the planning method according to an embodiment of the invention, and FIG. 3 shows a conventional planning method. Explanatory diagram. 1 is an input device, 2 is a provisional plan creation task (temporary plan creation means), 3 is a simulation task, 4 is a verification task (verification means), 5 is a correction task (correction means), 6 is a monitor,
7 is a memory, 8 is a database, and 9 is an output device. In addition, the same symbols in the figures indicate the same or equivalent parts. Patent applicant Mitsubishi Electric Corporation
Claims (1)
この計画案を出力する暫定案作成手段と、入力された計
画案が、与えられた制約条件を満足するか否かを検証し
、前記制約条件を満足する場合に前記入力された計画案
を計画として出力する検証手段と、前記入力された計画
案が前記制約条件を満足しない場合に、前記入力された
計画案を、前記制約条件を満足させる方向に修正し、修
正された計画案を前記検証手段に与える修正手段とを備
えた計画作成方式。provisional plan creation means for creating a provisional plan based on given specifications and outputting this plan; verifying whether the input plan satisfies given constraints; a verification means for outputting the input plan as a plan when the constraint condition is satisfied; and a verification means for outputting the input plan plan as a plan when the input plan does not satisfy the constraint condition; and a modifying means for modifying the draft plan in a direction that satisfies the above-described plan and providing the modified plan to the verification means.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2156916A JPH0452863A (en) | 1990-06-15 | 1990-06-15 | Plan formation system |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2156916A JPH0452863A (en) | 1990-06-15 | 1990-06-15 | Plan formation system |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH0452863A true JPH0452863A (en) | 1992-02-20 |
Family
ID=15638182
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2156916A Pending JPH0452863A (en) | 1990-06-15 | 1990-06-15 | Plan formation system |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH0452863A (en) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2008117029A (en) * | 2006-11-01 | 2008-05-22 | Hitachi Information Systems Ltd | Method for checking out invalid procedure during creation of operational work procedure, method for generating command for preventing occurrence of failure, automatic execution command generation system, and program therefor |
-
1990
- 1990-06-15 JP JP2156916A patent/JPH0452863A/en active Pending
Cited By (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2008117029A (en) * | 2006-11-01 | 2008-05-22 | Hitachi Information Systems Ltd | Method for checking out invalid procedure during creation of operational work procedure, method for generating command for preventing occurrence of failure, automatic execution command generation system, and program therefor |
| JP4592022B2 (en) * | 2006-11-01 | 2010-12-01 | 株式会社日立情報システムズ | Automatic execution command generation system, method and program |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US6292707B1 (en) | Integrated design and manufacturing system | |
| Abdelaziz et al. | Adaptive Software Development for developing safety critical software | |
| Homer | Best practices in system dynamics modeling, revisited: a practitioner's view | |
| JPS63278145A (en) | Parameter correspondence check system | |
| Ko | Lean building design model | |
| US6510357B1 (en) | Automated welding program for full body-in-white finite element assembly | |
| JPH0452863A (en) | Plan formation system | |
| Krammer et al. | Method library framework for safety standard compliant process tailoring | |
| Chowdhury et al. | Principles for systematic development of an assurance case template from ISO 26262 | |
| Tietz et al. | Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like? | |
| Hoffmann | 5.3. 3 SysML‐Based Systems Engineering Using a Model‐Driven Development Approach | |
| Koch et al. | Simulation-based verification for parallelization of model-based applications | |
| DeWalt et al. | Technology independent assurance method | |
| Sakai | New human-centered production system-Building an integrated human management system | |
| Johansson et al. | Simulation ready CAD-models as a means for knowledge transfer between technology development and product development | |
| Micouin et al. | Property model methodology: a first assessment in the avionics domain | |
| Kaštelan et al. | Modernized courses in automotive software engineering | |
| Regan et al. | The Development and Validation of a Roadmap for Traceability | |
| JP5076785B2 (en) | Plant operation planning device and program thereof | |
| Rosique et al. | Algorithms validation | |
| JPS6289137A (en) | Program dialog system | |
| Wardziński et al. | Development of the System Assurance Reference Model for Generating Modular Assurance Cases | |
| Hayes | Case study of model-based validation & verification of an agricultural crop engaging control system | |
| Champatiray et al. | Optimal Assembly Sequence Planning with Single-Stage Multiple-Component Feasibility: Industry 4.0 Perspective | |
| JP2811182B2 (en) | Power system knowledge base verification device |