CN114897303A - A Formal Modeling Method for Multi-process Route Production Tasks - Google Patents

Abstract

The invention discloses a multi-process route production task formalized modeling method, belongs to the field of production task modeling, and aims to solve the problem that a one-way method cannot effectively express a production task multi-process route. The invention selects vectors or sets according to the relation among the processes to organize the processes, then utilizes the sub-vectors or the sub-sets to group the processes in the parent vectors or the parent sets layer by layer, and finally expresses multiple process routes as nesting between the sub-vectors or the sub-sets and the parent vectors or the parent sets and process vectors or process sets formed by connection between the sub-vectors and the sub-sets. The following requirements are always satisfied in the grouping process: 1) a child vector or set is a proper subset of its parent vector or set, 2) all vectors or sets do not have the same elements, and 3) there is no adjacency between children of the same parent vector or between a child vector and a process. The process vector or set can effectively express the process relation, and can be analyzed into a plurality of process sequences corresponding to a plurality of process routes.

Description

Translated fromChinese

一种多工艺路线生产任务形式化建模方法A Formal Modeling Method for Multi-Process Route Production Tasks

技术领域technical field

本发明属于生产任务建模领域，具体涉及一种多工艺路线生产任务形式化建模方法。The invention belongs to the field of production task modeling, in particular to a formal modeling method for multi-process route production tasks.

背景技术Background technique

在制造领域，要完成一个生产任务通常需要处理多个工序。这些工序按照加工先后顺序进行排列，即形成一条工艺路线。In the field of manufacturing, it is often necessary to process multiple operations to complete a production task. These processes are arranged in the order of processing, that is, a process route is formed.

采用单向量方法可以表达一条工艺路线，其中每个工序作为向量中的一个元素，而向量中的元素具有唯一的、确定的先后顺序。比如一个机械零件的加工工艺路线可以表示为：车外圆→铣端面→钻孔→喷丸，而一瓶饮料的灌装工艺路线可以表示为：饮料加注→加盖→贴标→检测。然而，在实际生产中，有些工序间没有严格的先后顺序要求，比如一个矩形平板需要在四个转角处各钻一个安装孔，那么以任意的顺序加工这些安装孔，对该矩形平板的质量都无影响。还有一些复杂的生产任务，可能存在部分工序间有严格的先后顺序要求，而另一些工序间没有严格顺序要求的情况。这些情况都表明，某些生产任务允许多条加工工艺路线。一种工艺流程路线的展示方法(CN201711412347.7)提供一种直观的、删减灵活、层次感强且能展示加工过程全结构的工艺流程路线的展示方法，其采用根据项目表-制品表-模具表-工件表-工序表-工步表的结构和主外键关系进行组装，采用集合嵌套的方式进行嵌套；将工艺流程分别按照工艺结构图和加工流程图两种方式进行展示。然而，基于单向量表示方法，只能将生产任务允许的所有工艺路线一一列出，形成一组向量。这种处理方法不能有效表达工序间的关系，并且在生产阶段，也难以基于该方法动态选择加工工艺路线。A single-vector method can be used to express a process route, in which each process is used as an element in the vector, and the elements in the vector have a unique and definite sequence. For example, the processing route of a mechanical part can be expressed as: turning outer circle → end face milling → drilling → shot blasting, and the filling process route of a bottle of beverage can be expressed as: beverage filling → capping → labeling → detection. However, in actual production, there is no strict sequence requirement between some processes. For example, a rectangular plate needs to be drilled with one mounting hole at each of the four corners. If these mounting holes are processed in any order, the quality of the rectangular plate will be the same. no effect. There are also some complex production tasks, and there may be cases where some processes have strict sequence requirements, while other processes do not have strict sequence requirements. These situations indicate that certain production tasks allow multiple processing routes. A method for displaying a technological process route (CN201711412347.7) provides a display method for a technological process route that is intuitive, flexible in deletion, strong sense of hierarchy and can display the entire structure of the processing process. The structure of the mold table-workpiece table-process table-workstep table and the primary and foreign key relationships are assembled, and the nesting method is adopted for nesting; the process flow is displayed in two ways: the process structure diagram and the processing flow chart. However, based on the single vector representation method, all the process routes allowed by the production task can only be listed one by one to form a set of vectors. This processing method cannot effectively express the relationship between the processes, and in the production stage, it is difficult to dynamically select the processing route based on this method.

发明内容SUMMARY OF THE INVENTION

为了克服现有技术存在的缺陷与不足，本发明提供一种多工艺路线生产任务形式化建模方法，基于向量与集合将工序进行层层分组，构造相互嵌套与连接的工序向量或工序集合，以有效描述工序间的关系，并且同时表达生产任务的多条工艺路线。In order to overcome the defects and deficiencies existing in the prior art, the present invention provides a formal modeling method for multi-process route production tasks, which groups processes layer by layer based on vectors and sets, and constructs process vectors or process sets that are nested and connected to each other. , to effectively describe the relationship between processes, and express multiple process routes of production tasks at the same time.

本发明至少通过如下技术方案之一实现。The present invention is realized by at least one of the following technical solutions.

一种多工艺路线生产任务形式化建模方法，包括下述步骤：A formal modeling method for multi-process route production tasks, comprising the following steps:

步骤1、根据工序间关系选择向量或集合组织工序用于表达工艺路线；Step 1. According to the relationship between the processes, select a vector or a set to organize the processes to express the process route;

步骤2、对向量或集合的工序进行分组，形成子向量或子集合；Step 2. Group the processes of the vector or set to form a sub-vector or sub-set;

步骤3、将子向量或子集合与父向量或父集合进行嵌套，以及将子向量、子集合进行连接，形成工序向量或工序集合；Step 3. Nest the sub-vector or sub-set with the parent vector or parent-set, and connect the sub-vector and the sub-set to form a process vector or process set;

步骤4、根据形成的工序向量或工序集合，分析工序关系；Step 4. According to the formed process vector or process set, analyze the process relationship;

步骤5、将工序向量或工序集合解析为多个工序序列，多个工序序列对应多条工艺路线。Step 5: Parse the process vector or process set into multiple process sequences, and multiple process sequences correspond to multiple process routes.

进一步地，所述向量包括一个或多个元素，元素为工序、子向量、子集合中的一种或多种，并且元素间具有唯一的先后顺序关系。Further, the vector includes one or more elements, the elements are one or more of a process, a sub-vector, and a sub-set, and the elements have a unique sequence relationship.

进一步地，所述集合包括一个或多个元素，元素为工序、子向量、子集合中的一种或多种，并且元素间具任意的先后顺序关系。Further, the set includes one or more elements, and the elements are one or more of a process, a sub-vector, and a sub-set, and the elements have an arbitrary sequence relationship.

进一步地，分组过程中必须满足以下所有必要条件：Further, all the following necessary conditions must be met during the grouping process:

1)子向量或子集合是其父向量或父集合的真子集；1) A sub-vector or sub-set is a proper subset of its parent vector or parent-set;

2)所有向量或集合没有相同元素；2) All vectors or sets do not have the same elements;

3)同一父向量的子向量之间或子向量与工序间不相邻。3) Sub-vectors of the same parent vector or sub-vectors and processes are not adjacent.

进一步地，分组过程中同时满足以下充分条件即可停止：Further, the grouping process can be stopped if the following sufficient conditions are met at the same time:

1)工序向量或工序集合所含的工艺路线均符合生产要求；1) The process routes contained in the process vector or process set meet the production requirements;

2)满足设计目标。2) Meet the design goals.

进一步地，所述嵌套是指用一个向量或集合将另一个向量或集合的部分工序组织起来，形成一个子向量或子集合。Further, the nesting refers to using one vector or set to organize some processes of another vector or set to form a sub-vector or sub-set.

进一步地，所述连接是指在已有子向量或子集合的父向量或父集合中，生成一个新的子向量或子集合，新生成的子向量或子集合与原有的子向量或子集合之间是先后关系或并列关系。Further, the connection refers to generating a new sub-vector or sub-collection in the parent vector or parent-collection of the existing sub-vector or sub-collection, and the newly generated sub-vector or sub-collection is connected with the original sub-vector or sub-collection. There is a sequential or parallel relationship between sets.

进一步地，一个生产任务中只有一个工序向量或者只有一个工序集合，序向量和工序集合不能同时存在。Further, there is only one process vector or only one process set in a production task, and the sequence vector and process set cannot exist at the same time.

进一步地，所述工序关系包括先后关系、并列关系、层级关系三种，并且位于同一个向量中的工序具有先后关系，位于同一个集合中的工序具有并列关系，分别位于具有父子关系的向量或集合中的工序具有层级关系。Further, the process relationship includes three types: sequential relationship, parallel relationship, and hierarchical relationship, and the processes located in the same vector have a sequential relationship, and the processes located in the same set have a parallel relationship, which are located in a vector or a parent-child relationship respectively. The operations in the collection have a hierarchical relationship.

进一步地，所述工序向量是指最外层向量，最外层向量是没有父向量或父集合的向量，其它的向量与集合均嵌套在最外层向量内；Further, the process vector refers to the outermost vector, the outermost vector is a vector without a parent vector or a parent set, and other vectors and sets are all nested in the outermost vector;

所述工序集合是指最外层集合，最外层集合是没有父集合或父向量的集合，其它的集合与向量均嵌套在最外层集合内；The process set refers to the outermost set, the outermost set is a set without a parent set or a parent vector, and other sets and vectors are nested in the outermost set;

工艺路线的数量计算方式为各个集合元素个数的阶乘的积。The number of routings is calculated as the product of the factorial of the number of elements in each collection.

本发明与现有技术相比，具有如下有益效果：Compared with the prior art, the present invention has the following beneficial effects:

(1)本发明形成的工序向量或工序集合能够以一个包含子向量与子集合的向量或集合同时表达多个工艺路线；(1) The process vector or process set formed by the present invention can simultaneously express multiple process routes with a vector or set containing sub-vectors and sub-sets;

(2)本发明形成的工序向量或工序集合能够直观反映工序间的先后关系、并列关系、层级关系；(2) The process vector or process set formed by the present invention can directly reflect the sequential relationship, parallel relationship and hierarchical relationship between the processes;

(3)本发明形成的工序向量或工序集合支持生产过程中动态选择工艺路线，而不必在生产阶段开始前选择工艺路线；(3) The process vector or process set formed by the present invention supports the dynamic selection of the process route in the production process, and it is not necessary to select the process route before the start of the production stage;

(4)本发明所述一种多工艺路线生产任务形式化建模方法是一种设计工具，工艺路线设计者可根据自身需要灵活使用。即使是同一个生产任务，不同的设计者由于具有不同的偏好，使用该方法设计的工序向量或工序集合也可以不同，意味着不同的设计者选择了同一组工艺路线的不同子集。(4) The formal modeling method for multi-process route production tasks described in the present invention is a design tool, which can be used flexibly by process route designers according to their own needs. Even for the same production task, different designers have different preferences, and the process vectors or process sets designed using this method can be different, which means that different designers choose different subsets of the same set of process routes.

附图说明Description of drawings

图1为本发明所述一种多工艺路线生产任务形式化建模方法的实施流程图；Fig. 1 is the implementation flow chart of a kind of multi-process route production task formal modeling method according to the present invention;

图2为本发明一个带有四个安装孔和一个凸台的零件图；Fig. 2 is a part diagram with four mounting holes and a boss of the present invention;

图3为本发明一个带有五级凸台的零件图。Figure 3 is a diagram of a part with a five-stage boss according to the present invention.

具体实施方式Detailed ways

为了使本发明的目的、技术方案及优点更加清楚明白，以下结合附图及实施例，对本发明进行进一步详细说明。应当理解，此处所描述的具体实施例仅仅用以解释本发明，并不用于限定本发明。In order to make the objectives, technical solutions and advantages of the present invention clearer, the present invention will be further described in detail below with reference to the accompanying drawings and embodiments. It should be understood that the specific embodiments described herein are only used to explain the present invention, but not to limit the present invention.

一种多工艺路线生产任务形式化建模方法，包括以下步骤：A formal modeling method for multi-process route production tasks, comprising the following steps:

步骤1、给定一个生产任务及其生产工序，根据工序间关系选择向量或集合组织工序，表达工艺路线；Step 1. Given a production task and its production process, select a vector or set to organize the process according to the relationship between the processes, and express the process route;

如果所有工序之间具有任意的先后顺序关系，则用集合表示该生产任务，否则用向量表示该生产任务；If there is an arbitrary sequence relationship between all processes, the production task is represented by a set, otherwise the production task is represented by a vector;

所述向量包含一个或多个元素，元素为是工序、子向量、子集合的一种、两种或三种，并且元素间具有唯一的先后顺序关系；The vector contains one or more elements, and the elements are one, two or three of a process, a sub-vector, and a sub-set, and the elements have a unique sequence relationship;

所述集合包含一个或多个元素，元素为是工序、子向量、子集合的一种、两种或三种，并且元素间具任意的先后顺序关系；The set contains one or more elements, and the elements are one, two or three kinds of processes, sub-vectors, and sub-sets, and the elements have an arbitrary sequence relationship;

所述工序是指一项或一组不可中断的生产活动，即只有在当前工序完成后，才能开始执行下一个工序；Said process refers to an uninterrupted production activity or a group of production activities, that is, the execution of the next process can only be started after the current process is completed;

所述工艺路线是指一组服务于同一个生产任务的、有先后顺序关系的工序组合。The process route refers to a group of process combinations that serve the same production task and have a sequential relationship.

步骤2、利用子向量或子集合对上一步骤形成的父向量或父集合中的工序进行分组；Step 2. Use the sub-vector or sub-set to group the processes in the parent vector or parent set formed in the previous step;

所述一个子向量是另一个向量或集合的一个元素，相对应的，拥有一个或多个其它向量或集合作为其元素的向量称为父向量；The one sub-vector is an element of another vector or set, and correspondingly, a vector having one or more other vectors or sets as its elements is called a parent vector;

所述子集合是另一个集合或向量的一个元素，相对应的，拥有一个或多个其它集合或向量作为其元素的集合称为父集合；The sub-set is an element of another set or vector, correspondingly, a set with one or more other sets or vectors as its elements is called a parent set;

分组过程中必须满足以下所有必要条件：All of the following prerequisites must be met during the grouping process:

1)子向量或子集合是其父向量或父集合的真子集；1) A sub-vector or sub-set is a proper subset of its parent vector or parent-set;

2)所有向量或集合没有相同元素；2) All vectors or sets do not have the same elements;

3)同一父向量的子向量之间或子向量与工序间不相邻；3) Sub-vectors of the same parent vector or sub-vectors and processes are not adjacent;

分组过程中同时满足以下充分条件即可停止：The grouping process can be stopped when the following sufficient conditions are met at the same time:

1)工序向量或工序集合所含的工艺路线均符合生产要求；1) The process routes contained in the process vector or process set meet the production requirements;

2)满足设计目标；2) meet the design goals;

所述工序向量是指最外层向量，最外层向量是没有父向量或父集合的向量，其它的向量与集合均嵌套在最外层向量内；The process vector refers to the outermost vector, the outermost vector is a vector without a parent vector or a parent set, and other vectors and sets are nested in the outermost vector;

所述工序集合是指最外层集合，最外层集合是没有父集合或父向量的集合，其它的集合与向量均嵌套在最外层集合内；The process set refers to the outermost set, the outermost set is a set without a parent set or a parent vector, and other sets and vectors are nested in the outermost set;

一个生产任务要么有且只有一个工序向量，要么有且只有一个工序集合，二者不可能同时存在；A production task has either one and only one process vector, or one and only one process set, both of which cannot exist at the same time;

所述满足设计目标是指，工艺路线的确定是一种设计考量，设计者只需要表达其认为合理的一组工艺路线即可。Meeting the design objective means that the determination of the process route is a design consideration, and the designer only needs to express a set of process routes that he considers reasonable.

步骤3、将子向量或子集合与父向量或父集合进行嵌套，以及将子向量、子集合进行连接，形成工序向量或工序集合；Step 3. Nest the sub-vector or sub-set with the parent vector or parent-set, and connect the sub-vector and the sub-set to form a process vector or process set;

所述嵌套操作是指用一个向量或集合将另一个向量或集合的部分工序组织起来，形成一个子向量或子集合；The nesting operation refers to using one vector or set to organize part of the process of another vector or set to form a sub-vector or sub-set;

所述连接操作是指在已有子向量或子集合的父向量或父集合中，生成一个新的子向量或子集合，新生成的子向量或子集合与原有的子向量或子集合之间是先后关系或并列关系。The connection operation refers to generating a new sub-vector or sub-set in the parent vector or parent set of the existing sub-vector or sub-set, and the newly generated sub-vector or sub-set is the same as the original sub-vector or sub-set. There is a sequential relationship or a parallel relationship.

步骤4、根据步骤3形成的工序向量或工序集合，分析工序关系；Step 4, according to the process vector or process set formed in step 3, analyze the process relationship;

所述工序关系包括先后关系、并列关系、层级关系三种，并且位于同一个向量中的工序具有先后关系，位于同一个集合中的工序具有并列关系，分别位于具有父子关系的向量或集合中的工序具有层级关系。The process relationship includes three types: sequential relationship, parallel relationship, and hierarchical relationship, and the processes located in the same vector have a sequential relationship, and the processes located in the same set have a parallel relationship, which are located in a vector or set with a parent-child relationship. Processes have a hierarchical relationship.

步骤5、根据工序关系，将工序向量或工序集合解析为多个工序序列，多个工序序列对应多条工艺路线。Step 5. According to the process relationship, the process vector or process set is parsed into multiple process sequences, and the multiple process sequences correspond to multiple process routes.

重复以上步骤，直至满足结束条件。Repeat the above steps until the end condition is met.

实施例1Example 1

本实施例中，生产任务S₁包含5个工序，分别是Op₁、Op₂、Op₃、Op₄、Op₅，生产任务S₁允许以任意顺序执行这5个工序，所以生产任务S₁必须用工序集合表达其所允许的多个工艺路线，如下式所示：In this embodiment, the production task S1 includes five processes, namely Op₁ , Op₂ , Op₃ , Op₄ , and Op₅ , and the production task S₁ is allowed to execute these_five processes in any order, so the production task S₁ The multiple routings it allows must be expressed in an operation set as follows:

S₁＝{Op₁,Op₂,Op₃,Op₄,Op₅}S₁ ={Op₁ ,Op₂ ,Op₃ ,Op₄ ,Op₅ }

因此，这五个工序是并列关系。在图2所示的工件中，四个圆形安装孔和一个中央凸台的加工就是具有并列关系的5个工序。本实施例中工艺路线的数量(用NoP表示)为NoP(S₁)＝5！＝120。如图1所示，在本实施例中，执行步骤5后，发现无法或不必要对工序进行进一步分组，且所得结果满足所有充分条件与必要条件，可以结束。Therefore, these five processes are in a parallel relationship. In the workpiece shown in Figure 2, the processing of four circular mounting holes and a central boss is five processes in a parallel relationship. The number of process routes (denoted by NoP) in this example is NoP(S₁ )=5! = 120. As shown in FIG. 1 , in this embodiment, after step 5 is performed, it is found that it is impossible or unnecessary to further group the processes, and the obtained result satisfies all sufficient and necessary conditions, and the process can be terminated.

实施例2Example 2

本实施例中，生产任务S₂只允许以唯一的顺序执行这5个工序，所以生产任务S₂必须用工序向量表达其所允许的单个工艺路线，如下式所示：In this embodiment, the production task S2 is only allowed to execute these₅ processes in a unique order, so the production task S2 must express the single process route allowed by the process vector, as shown in the following_formula :

S₂＝[Op₁,Op₂,Op₃,Op₄,Op₅]S₂ =[Op₁ ,Op₂ ,Op₃ ,Op₄ ,Op₅ ]

因此，这五个工序是先后关系。在图3所示的工件中，必须首先加工1级凸台，然后加工2级凸台，接着加工3级凸台和4级凸台，最后加工5级凸台，所以必须按照这个先后顺序执行五个工序。在本实施例中工艺路线NoP(S₂)＝1，工艺路线为：Op₁→Op₂→Op₃→Op₄→Op₅。如图1所示，在本实施例中，执行步骤5后，发现无法或不必要对工序进行进一步分组，且所得结果满足所有充分条件与必要条件，可以结束。Therefore, these five processes are in a sequential relationship. In the workpiece shown in Figure 3, the 1st-level boss must be machined first, then the 2nd-level boss, then the 3rd-level boss and the 4th-level boss, and finally the 5th-level boss, so it must be executed in this order. five processes. In this embodiment, the process route NoP(S₂ )=1, and the process route is: Op₁ →Op₂ →Op₃ →Op₄ →Op₅ . As shown in FIG. 1 , in this embodiment, after step 5 is performed, it is found that it is impossible or unnecessary to further group the processes, and the obtained result satisfies all sufficient and necessary conditions, and the process can be terminated.

实施例3Example 3

本实施例中，生产任务S₃的工序集合如下式所示：In this embodiment, the process set_of the production task S3 is shown in the following formula:

S₃＝{Op₁,{Op₂,Op₃},[Op₄,Op₅]}S₃ ={Op₁ ,{Op₂ ,Op₃ },[Op₄ ,Op₅ ]}

该工序集合拥有三个元素：工序Op₁，子集合{Op₂,Op₃}，以及子向量[Op₄,Op₅]，这三个元素互相连接，并嵌套进入工序集合中，所以它们可以按任意顺序排列，并且子集合{Op₂,Op₃}中的两个工序也可以按任意顺序排列。工序Op₁与其它工序间是层级关系，因为Op₁位于工序集合中，而其它工序位于工序集合的子集合或子向量中；工序Op₂与Op₃是并列关系，工序Op₄与Op₅先后关系。本实施例中，工序集合有三个元素，贡献3！条工艺路线；子集合{Op₂,Op₃}有两个元素，贡献2！条工艺路线；所以NoP(S₃)＝3！×2！＝12。如图1所示，在本实施例中，执行步骤2时，发现可以对步骤1的结果进行进一步分组，即用子集合对工序Op₂与Op₃进行分组，用子向量对工序Op₄与Op₅进行分组；执行步骤5后，发现无法对工序进行进一步分组，且所得结果满足所有充分条件与必要条件，可以结束。The operation set has three elements: operation Op₁ , sub-set {Op₂ ,Op₃ }, and sub-vector [Op₄ ,Op₅ ], these three elements are connected to each other and nested into the operation set, so they can be arranged in any order, and the two operations in the subset {Op₂ ,Op₃ } can also be arranged in any order. There is a hierarchical relationship between the process Op₁ and other processes, because Op₁ is located in the process set, and other processes are located in the subset or sub-vector of the process set; the process Op₂ and Op₃ are in a parallel relationship, and the process Op₄ and Op₅ are successively relation. In this embodiment, the process set has three elements, and the contribution is 3! route; the subcollection {Op₂ ,Op₃ } has two elements, contributing 2! route; so NoP(S₃ )=3! ×2! = 12. As shown in FIG. 1 , in this embodiment, when step 2 is performed, it is found that the results of step 1 can be further grouped, that is, operations Op₂ and Op 3 are grouped by a subset, and operations Op₄ and Op₃ are grouped by a sub-vector. Op₅ performs grouping; after step 5 is performed, it is found that the process cannot be further grouped, and the obtained result satisfies all sufficient conditions and necessary conditions, and the process can be ended.

实施例4Example 4

本实施例中，生产任务S₄的工序向量如下式所示：In this embodiment, the process vector of the production task S4 is shown in the following_formula :

S₄＝[Op₁,{Op₂,Op₃},[Op₄,Op₅]]S₄ =[Op₁ ,{Op₂ ,Op₃ },[Op₄ ,Op₅ ]]

该工序向量拥有三个元素：工序Op₁，子集合{Op₂,Op₃}，以及子向量[Op₄,Op₅]，这三个元素互相连接，并嵌套进入工序向量中，所以它们只能按Op₁→{Op₂,Op₃}→[Op₄,Op₅]这一顺序进行加工，但是子集合{Op₂,Op₃}中的两个工序可以按任意顺序排列。工序间的关系与实施例3相同。本实施例中，子集合{Op₄,Op₅}有两个元素，贡献2！条工艺路线；所以NoP(S₄)＝2！＝2，即1)Op₁→Op₂→Op₃→Op₄→Op₅，与2)Op₁→Op₃→Op₂→Op₄→Op₅。如图1所示，在本实施例中，执行步骤2时，发现可以对步骤1的结果进行进一步分组，即用子集合对工序Op₂与Op₃进行分组，用子向量对工序Op₄与Op₅进行分组；执行步骤5后，发现无法对工序进行进一步分组，且所得结果满足所有充分条件与必要条件，可以结束。The operation vector has three elements: operation Op₁ , the sub-set {Op₂ ,Op₃ }, and the sub-vector [Op₄ ,Op₅ ], these three elements are connected to each other and nested into the operation vector, so they It can only be processed in the order of Op₁ →{Op₂ ,Op₃ }→[Op₄ ,Op₅ ], but the two operations in the subset {Op₂ ,Op₃ } can be arranged in any order. The relationship between the steps is the same as in Example 3. In this embodiment, the sub-set {Op₄ , Op₅ } has two elements, contributing 2! route; so NoP(S₄ )=2! =2, ie 1) Op₁ →Op₂ →Op₃ →Op₄ →Op₅ , and 2) Op₁ →Op₃ →Op₂ →Op₄ →Op₅ . As shown in FIG. 1 , in this embodiment, when step 2 is performed, it is found that the results of step 1 can be further grouped, that is, operations Op₂ and Op 3 are grouped by a subset, and operations Op₄ and Op₃ are grouped by a sub-vector. Op₅ performs grouping; after step 5 is performed, it is found that the process cannot be further grouped, and the obtained result satisfies all sufficient conditions and necessary conditions, and the process can be ended.

实施例5Example 5

本实施例中，生产任务S₅的工序集合如下式所示：In this embodiment, the process set of the production task S5 is shown in the following_formula :

S₅＝{[Op₁,{Op₂,Op₃}],[Op₄,Op₅]}S₅ ={[Op₁ ,{Op₂ ,Op₃ }],[Op₄ ,Op₅ ]}

该工序集合由两级嵌套形成，即工序集合有两个子向量：[Op₁,{Op₂,Op₃}]与[Op₄,Op₅]，而子向量[Op₁,{Op₂,Op₃}]又包含一个子集合{Op₂,Op₃}。所以，向量[Op₁,{Op₂,Op₃}]既是工序集合{[Op₁,{Op₂,Op₃}],[Op₄,Op₅]}的子向量，也是集合{Op₂,Op₃}的父向量。工序Op₁与工序Op₂、Op₃是层级关系，工序Op₂与Op₃是并列关系，工序Op₄与Op₅先后关系。本实施例中，工序集合有两个元素，贡献2！条工艺路线；集合{Op₂,Op₃}有两个元素，贡献2！条工艺路线；所以NoP(S₅)＝2！×2！＝4，即1)Op₁→Op₂→Op₃→Op₄→Op₅，2)Op₁→Op₃→Op₂→Op₄→Op₅，3)Op₄→Op₅→Op₁→Op₂→Op₃与4)Op₄→Op₅→Op₁→Op₃→Op₂。The process set is formed by two levels of nesting, that is, the process set has two sub-vectors: [Op₁ ,{Op₂ ,Op₃ }] and [Op₄ ,Op₅ ], and the sub-vectors [Op₁ ,{Op₂ , Op₃ }] in turn contains a subset {Op₂ ,Op₃ }. Therefore, the vector [Op₁ ,{Op₂ ,Op₃ }] is not only a sub-vector of the process set {[Op₁ ,{Op₂ ,Op₃ }],[Op₄ ,Op₅ ]}, but also the set {Op₂ , The parent vector of Op₃ }. The process Op₁ is in a hierarchical relationship with the processes Op₂ and Op₃ , the processes Op₂ and Op₃ are in a parallel relationship, and the processes Op₄ and Op₅ are in a sequential relationship. In this embodiment, the process set has two elements, contributing 2! route; the set {Op₂ ,Op₃ } has two elements, contributing 2! process routes; so NoP(S₅ )=2! ×2! =4, that is, 1) Op₁ →Op₂ →Op₃ →Op₄ →Op₅ , 2)Op₁ →Op₃ →Op₂ →Op₄ →Op₅ , 3)Op₄ →Op₅ →Op₁ →Op₂ →Op₃ and 4) Op₄ →Op₅ →Op₁ →Op₃ →Op₂ .

如图1所示，在本实施例中，执行步骤2时，发现可以对步骤1的结果进行进一步分组，即用子向量对工序Op₁、Op₂与Op₃进行分组，用子向量对工序Op₄与Op₅进行分组；执行步骤5后，发现可以对子向量[Op₁,Op₂,Op₃]进行进一步分组，即用子集合对工序Op₂与Op₃进行分组，且所得结果满足所有充分条件与必要条件，可以结束。As shown in FIG. 1 , in this embodiment, when step 2 is performed, it is found that the results of step 1 can be further grouped, that is, sub-vectors are used to group operations Op₁ , Op₂ and Op₃ , and sub-vectors are used to group operations Op₄ and Op₅ are grouped; after step 5 is performed, it is found that the sub-vectors [Op₁ , Op₂ , Op₃ ] can be further grouped, that is, the operations Op₂ and Op₃ are grouped by subsets, and the obtained results satisfy All sufficient and necessary conditions can end.

实施例6Example 6

本实施例中，生产任务S₆的工序向量如下式所示：In this embodiment, the process vector of the production task_S6 is shown in the following formula:

S₆＝[{Op₁,{Op₂,Op₃}},[Op₄,Op₅]]S₆ =[{Op₁ ,{Op₂ ,Op₃ }},[Op₄ ,Op₅ ]]

该工序向量由两级嵌套形成，即工序向量有一个子集合{Op₁,{Op₂,Op₃}}与一个子向量[Op₄,Op₅]，而子集合{Op₁,{Op₂,Op₃}}又包含一个子集合{Op₂,Op₃}。所以，集合{Op₁,{Op₂,Op₃}}既是工序向量[{Op₁,{Op₂,Op₃}},[Op₄,Op₅]]的子集合，也是集合{Op₂,Op₃}的父集合。工序间的关系与实施例5相同。本实施例中，集合{Op₁,{Op₂,Op₃}}有二个元素，贡献2！条工艺路线；集合{Op₂,Op₃}有两个元素，贡献2！条工艺路线；所以NoP(S₆)＝2！×2！＝4，即1)Op₁→Op₂→Op₃→Op₄→Op₅，2)Op₁→Op₃→Op₂→Op₄→Op₅，3)Op₂→Op₃→Op₁→Op₄→Op₅与4)Op₃→Op₂→Op₁→Op₄→Op₅。The operation vector is formed by two levels of nesting, that is, the operation vector has a sub-set {Op₁ ,{Op₂ ,Op₃ }} and a sub-vector [Op₄ ,Op₅ ], and the sub-set {Op₁ ,{Op 5 ]₂ ,Op₃ }} in turn contains a subset {Op₂ ,Op₃ }. Therefore, the set {Op₁ ,{Op₂ ,Op₃ }} is not only a subset of the process vectors [{Op₁ ,{Op₂ ,Op₃ }},[Op₄ ,Op₅ ]], but also the set {Op₂ , The parent collection of Op₃ }. The relationship between the steps is the same as in Example 5. In this embodiment, the set {Op₁ , {Op₂ ,Op₃ }} has two elements, contributing 2! route; the set {Op₂ ,Op₃ } has two elements, contributing 2! route; so NoP(S₆ )=2! ×2! =4, that is, 1) Op₁ →Op₂ →Op₃ →Op₄ →Op₅ , 2)Op₁ →Op₃ →Op₂ →Op₄ →Op₅ , 3)Op₂ →Op₃ →Op₁ →Op₄ →Op₅ and 4) Op₃ →Op₂ →Op₁ →Op₄ →Op₅ .

如图1所示，在本实施例中，执行步骤2时，发现可以对步骤1的结果进行进一步分组，即用子集合对工序Op₁、Op₂与Op₃进行分组，用子向量对工序Op₄与Op₅进行分组；执行步骤5后，发现可以对子集合{Op₁,Op₂,Op₃}进行进一步分组，即用子集合对工序Op₂与Op₃进行分组，且所得结果满足所有充分条件与必要条件，可以结束。As shown in FIG. 1 , in this embodiment, when step 2 is performed, it is found that the results of step 1 can be further grouped, that is, the operations Op₁ , Op₂ and Op₃ are grouped by sub-sets, and the operations are grouped by sub-vectors. Op₄ and Op₅ are grouped; after step 5 is performed, it is found that the subset {Op₁ , Op₂ , Op₃ } can be further grouped, that is, the operations Op₂ and Op₃ are grouped by the subset, and the obtained result satisfies All sufficient and necessary conditions can end.

上述实施例为本发明较佳的实施方式，但本发明的实施方式并不受上述实施例的限制，其他的任何未背离本发明的精神实质与原理下所作的改变、修饰、替代、组合、简化，均应为等效的置换方式，都包含在本发明的保护范围之内。The above-mentioned embodiments are preferred embodiments of the present invention, but the embodiments of the present invention are not limited by the above-mentioned embodiments, and any other changes, modifications, substitutions, combinations, The simplification should be equivalent replacement manners, which are all included in the protection scope of the present invention.

Claims (10)

1. A formalized modeling method for a production task of multiple process routes is characterized by comprising the following steps:

step 1, selecting a vector or set organization procedure for expressing a process route according to the relation between procedures;

step 2, grouping the procedures of the vectors or the sets to form sub-vectors or sub-sets;

step 3, nesting the sub-vector or the sub-set with the parent vector or the parent set, and connecting the sub-vector and the sub-set to form a process vector or a process set;

step 4, analyzing the process relation according to the formed process vector or process set;

and 5, analyzing the process vectors or the process sets into a plurality of process sequences, wherein the plurality of process sequences correspond to a plurality of process routes.

2. The method as claimed in claim 1, wherein the vector comprises one or more elements, the elements are one or more of a process, a sub-vector, a subset, and the elements have unique precedence relationship.

3. The method as claimed in claim 1, wherein the set includes one or more elements, the elements are one or more of processes, sub-vectors, and sub-sets, and the elements have any sequence relationship.

4. The method as claimed in claim 1, wherein all the following requirements must be satisfied during the grouping process:

1) a child vector or child set is a proper subset of its parent vector or parent set;

2) all vectors or sets do not have the same elements;

3) there is no adjacency between the sub-vectors of the same parent vector or between a sub-vector and a process.

5. The formal modeling method for the production tasks of multiple process routes according to claim 1 is characterized in that the grouping process can be stopped when the following sufficient conditions are satisfied:

1) the process vector or the process route contained in the process set all meet the production requirement;

2) meeting the design objective.

6. The method as claimed in claim 1, wherein the nesting is a vector or set used to organize a part of the process of another vector or set to form a sub-vector or sub-set.

7. The method as claimed in claim 1, wherein the connection means that a new sub-vector or sub-set is generated from a parent vector or parent set of an existing sub-vector or sub-set, and the new sub-vector or sub-set is in a sequential or parallel relationship with an original sub-vector or sub-set.

8. The method of claim 1, wherein there is only one process vector or only one process set in a production job.

9. The method according to claim 1, wherein the process relationships include three types, namely, a precedence relationship, a parallel relationship and a hierarchical relationship, and the processes located in the same vector have precedence relationships, the processes located in the same set have parallel relationships, and the processes located in the vector having a parent-child relationship or the processes located in the set have hierarchical relationships.

10. The method as claimed in any one of claims 1 to 9, wherein the process vector is an outermost vector, the outermost vector is a vector without a parent vector or a parent set, and other vectors and sets are nested in the outermost vector;

the process set is an outermost set, the outermost set is a set without a parent set or a parent vector, and other sets and vectors are all nested in the outermost set;

the number of process routes is calculated as the product of the factorials of the number of elements of each set.

Images