CN105959401A - 一种基于超网络的制造服务供需匹配与动态调度方法 - Google Patents
一种基于超网络的制造服务供需匹配与动态调度方法 Download PDFInfo
- Publication number
- CN105959401A CN105959401A CN201610443297.8A CN201610443297A CN105959401A CN 105959401 A CN105959401 A CN 105959401A CN 201610443297 A CN201610443297 A CN 201610443297A CN 105959401 A CN105959401 A CN 105959401A
- Authority
- CN
- China
- Prior art keywords
- service
- task
- manufacturing
- super
- node
- 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.)
- Granted
Links
Classifications
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L67/00—Network arrangements or protocols for supporting network services or applications
- H04L67/50—Network services
- H04L67/51—Discovery or management thereof, e.g. service location protocol [SLP] or web services
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/10—Geometric CAD
- G06F30/18—Network design, e.g. design based on topological or interconnect aspects of utility systems, piping, heating ventilation air conditioning [HVAC] or cabling
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/36—Circuit design at the analogue level
- G06F30/367—Design verification, e.g. using simulation, simulation program with integrated circuit emphasis [SPICE], direct methods or relaxation methods
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Geometry (AREA)
- Evolutionary Computation (AREA)
- General Engineering & Computer Science (AREA)
- Computer Networks & Wireless Communication (AREA)
- Microelectronics & Electronic Packaging (AREA)
- Computational Mathematics (AREA)
- Mathematical Analysis (AREA)
- Mathematical Optimization (AREA)
- Pure & Applied Mathematics (AREA)
- Signal Processing (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
本发明涉及一种基于超网络的制造服务供需匹配与动态调度方法,包括以下步骤:A.构建制造服务供需匹配超网络模型;B.在任务被实际执行之前,进行初始时刻的制造服务预调度;C.将制造服务动态调度的时间按单位时间单元进行等距连续划分,从t=1时间单元起,每隔单位时间单元定期生成动态环境并执行超网络的动态更新;D.若超网络发生变化则执行动态调度判断,否则进入下一时间单元或者判断若满足终止条件则结束;E.若当前调度方案被破坏则执行动态再调度,生成新的调度方案。本发明能够有效反映面向服务的制造系统中的动态环境,并能保证制造服务动态调度的有效性以及参与企业较高的协作可靠性。
Description
技术领域
本发明属于面向服务的制造(Service-oriented Manufacturing,SoM)系统中制造服务与制造任务供需匹配与优化配置技术领域,具体涉及一种基于超网络的制造服务供需匹配与动态调度方法。
背景技术
在SoM系统中,各类制造资源和制造能力通过一定的感知与接入、虚拟化、服务化等处理后,以制造服务的形式存在,并可以通过网络被聚合、检索、调用,为社会化的用户提供面向全生命周期的各类应用。同时,产品全生命周期过程中涉及到的所有与生产相关或与产品相关的任务以及其他服务需求,以制造任务的形式存在,这些制造任务需要调用不同的生产相关或产品相关的制造服务来完成。
SoM系统中的供需匹配即是制造任务与制造服务之间的映射。这种映射关系除了体现一般供需数量的匹配之外,更包括在供需对象功能匹配基础上进行的制造服务按需优选、组合、调度等一系列流程操作。同时,SoM系统中的供需匹配体现了制造执行过程中具有的持续性,因此其匹配同时包括静态预调度和动态再调度的双重决策。
目前研究制造资源/服务的供需匹配与调度的方法有:基于模板的方法、基于流程驱动的方法、基于人工智能和规划的方法、基于供应链的方法、基于图论的方法等。然而,这些研究大部分主要针对某时刻的供需匹配问题进行研究并给出方案,而针对资源服务和任务需求同时不确定或者动态变化情况下的供需动态匹配,当前研究不足。同时由于制造的社会化,使得供需规模不断扩大,简化的数学模型已无法满足实际需求。
为解决以上问题,实现SoM系统中制造服务与制造任务的供需匹配与优化配置,本发明首先构建了制造服务供需匹配超网络模型,在此基础上研究了动态环境下的制造服务动态调度方法。
发明内容
本发明的目的:本发明涉及的基于超网络的制造服务供需匹配与动态调度方法,能够有效反映面向服务的制造系统中的动态环境,并能保证制造服务动态调度的有效性以及参与企业的较高的协作可靠性。
其为一种能够反映制造服务与制造任务供需间的映射对应关系的供需匹配超网络模型的构建方法,以及在制造协作和服务执行过程中面对超网络模型多种动态操作时的制造服务动态调度方法。该发明能有效反映面向服务的制造系统中的动态环境,并能保证制造服务动态调度的有效性以及参与企业的较高的协作可靠性。
本发明采用的技术方案为:一种基于超网络的制造服务供需匹配与动态调度方法,包括步骤:
A:将提交至面向服务的制造(Service-oriented Manufacturing,SoM)系统中的制造服务和制造任务抽象成网络节点,将不同制造服务之间和不同制造任务之间的各种关联关系抽象成网络中的边,分别构建制造服务网络模型和制造任务网络模型;将制造服务与制造任务之间的可匹配关系抽象成制造服务网络与制造任务网络之间的超边,最终构建制造服务供需匹配超网络(manufacturing service supply-demand matchinghypernetwork,Matching_Net)模型,即制造服务供需匹配超网络Matching_Net模型由制造服务网络、制造任务网络以及两层网络间的超边集合三部分组成;此外若任务节点与多个服务节点具有可匹配关系,则该任务节点与这些服务节点间的超边构成了该任务节点的超边集合;
B:在任务被实际执行之前,提取Matching_Net模型中各个任务节点对应的超边集合以及提取各个超边对应的可靠性与效用值,根据面向不确定任务的制造服务预调度的目标函数,进行初始时刻t=0的制造服务预调度,得到当前时刻最优执行方案。将制造服务动态调度的时间按单位时间单元Δt进行等距连续划分,t=0时刻预调度得到的执行方案在之后的时间单元内进行执行;所述面向不确定任务是指任务需求的可执行时间区间确定,但实际执行时间区间不确定;
C:从t=0直至结束的所有时间单元内,根据当前时间单元的开始时刻所决定的方案进行执行,并且Matching_Net模型以一定的概率在当前时间单元发生动态操作,从t=1时间单元的开始时刻起,每隔单位时间单元Δt,定期判断前一时间单元内是否发生了动态操作,若发生了动态操作则更新Matching_Net模型,并进入步骤D,若没有发生动态操作则继续判断是否满足终止条件以决定下一步操作;
D:判断更新后的Matching_Net模型是否破坏了前一时间单元的执行方案,若执行方案遭到破坏则进入步骤E,若执行方案没有遭到破坏则继续判断是否满足终止条件以决定下一步操作;
E:提取更新后的Matching_Net模型中各个任务节点对应的超边集合以及提取各个超边对应的可靠性与效用值,并对可靠性与效用值进行衰减处理,然后实施再调度,遭到破坏的执行方案被修复或新的执行方案生成之后,进入步骤C。
所述构建的制造服务网络模型为S_Net=<S,ES>,其中S表示的服务节点集合可被描述为S={s1,s2,…,si,…,sn},ES表示的S_Net中不同服务之间的边的集合可被描述为
所述构建的制造任务网络模型为T_Net=<T,ET>,其中T表示任务节点集合,被描述为T={G1,G2,…,Gi,…,Gm},任务节点用图Gi表示,它既可能是独立的简单任务又可能是可被分解成多个简单任务的复杂任务;ET表示T_Net中不同任务之间的边的集合,可被描述为其中表示第i个任务的第k个简单子任务与第j个任务的第l个简单子任务之间的关联边。
所述制造服务供需匹配超网络Matching_Net模型由制造服务网络S_Net,制造任务网络T_Net以及两层网络间的超边集合ES_T三部分组成:其中将每个制造服务节点与每个制造任务节点之间的可匹配关系抽象成超边,制造服务网络模型S_Net与制造任务网络模型T_Net两层网络之间的超边集合,描述为其中表示制造服务网络模型S_Net中第i个服务节点si与制造任务网络模型T_Net中第j个任务的第l个简单子任务节点之间的可匹配关系。
所述步骤C中的动态操作是指:在面向服务的制造SoM系统的动态运营及其制造服务的动态执行过程中,供需匹配超网络Matching_Net模型中的三个组成部分所发生的动态变化,包括:Matching_Net模型中①制造服务节点或节点集合的新增与删除,服务关联边的新增、删除与属性变化;②制造任务节点或节点集合的新增与删除,任务关联边的新增、删除与属性变化;③两层网络之间的超边的新增或重连、删除与属性变化,当新增服务加入到SoM系统中时,创建新增服务节点并添加到服务网络S_Net中,并根据其与其他服务的关联关系添加新边,根据其与任务的关联关系添加超边;同理,当新任务到达后,新增任务节点并添加相应的新边和超边;另外,在动态执行过程中的第t个时间单元内,若服务节点sk发生故障,则删除掉服务节点sk及其所关联的超边;若超边发生故障,则只删除该超边。
所述步骤B具体包括步骤:
B1:提取Matching_Net模型中各个任务节点对应的超边集合,即各个任务节点对应的可选服务的集合,描述为即第t个时间单元结束时任务ti对应的可供选择的可匹配服务的集合,预调度时t=0;
B2:提取各个超边对应的可靠性、效用属性参数,效用值综合考虑成本、能耗、风险和完成时间四个指标,可靠性考虑服务执行任务时发生故障的概率;预调度的目标函数综合考虑系统中服务调用的平均效用和平均可靠性的综合值;
B3:执行制造服务预调度,得到当前最优执行方案;将制造服务动态调度的时间按单位时间单元Δt进行等距连续划分,t=0时刻预调度得到的执行方案在t=0之后的时间单元内进行执行。
所述步骤C具体包括步骤:
C1:每间隔一个单位时间单元Δt进入新的时间单元时,根据当前时间单元的开始时刻所决定的方案进行执行,并且在当前时间单元内Matching_Net模型会以一定的概率发生动态操作;
C2:进入下一时间单元即触发下一时刻,t=t+1,判断在前一时间单元内是否发生动态操作,若发生了动态操作则更新超网络模型Matching_Net,并进入步骤D,否则进入C3;
C3:若在前一时间单元内没有发生动态操作,继续判断当前时刻Matching_Net模型状态是否满足终止条件,若满足终止条件则结束,若不满足终止条件则保持前一时间单元内未发生变化的执行方案继续执行,并进入C1重复步骤C。
所述步骤D具体包括步骤:
D1:判断更新后的Matching_Net模型是否破坏了前一时间单元的执行方案,即判断被调用的服务节点或者其与相应任务对应的超边是否发生故障;若影响了前一时间单元的执行方案,则进入下一步D2,否则进入D4;
D2:判断更新后的Matching_Net模型是否破坏了前一时间单元内制造任务节点所对应的超边集合;若没有破坏制造任务节点所对应的超边集合则直接进入步骤E,否则进入下一步D3;
D3:更新当前制造任务节点所对应的超边集合,然后进入步骤E;
D4:判断当前Matching_Net模型状态是否满足终止条件,若满足终止条件则结束,若不满足终止条件则保持前一时间单元内未发生变化的执行方案继续执行,并进入C1重复步骤C。
所述步骤E具体包括步骤:
E1:提取更新后的Matching_Net模型中各个任务节点对应的超边集合,并提取各个超边对应的可靠性与效用值;
E2:受到影响的制造任务重新进行新的服务调用时,所产生的效用存在一定的衰减。对相应的超边所对应的效用值属性以一定的规律进行衰减处理;
E3:判断受到破坏的前一时间单元的执行方案是否可进行局部修复;若可局部修复则基于当前调度方案进行局部再调度修复,否则执行制造服务全局再调度重新生成新的最优执行方案;局部再调度与全局再调度统称为动态再调度,是动态再调度在上述两种情况下的不同再调度方式;
E4:动态再调度实施后,受到破坏的执行方案被修复或新的执行方案生成,进入步骤C。
所述制造服务网络模型S_Net中,对服务节点集合S中某服务节点si,其每一种功能对应有一组特定的输入输出描述信息集<si_inputk,si_outputk>,不同服务之间的边的集合ES中的元素的值定义如下:定义服务节点si与sj的功能相似关系判定参数为FSij=<si_input,si_output>∩<sj_input,sj_output>,若则认为服务节点si与sj之间为功能相似关系,令定义服务节点si与sj的功能互补关系判定参数为若或者则认为服务节点si与sj之间为功能互补关系,令若则认为服务节点si与sj之间不存在关联边,令
所述制造任务网络模型T_Net中,任务节点集合T中某个任务节点对应的子图Gi,若Gi是简单任务,则Gi即是简单任务节点其中k=1;若Gi是复杂任务,则Gi可分解成多个简单任务节点,对任意分解后简单任务节点只有唯一的一对输入和输出描述信息则可描述为和分别表示任务需求执行时间段的开始时间与结束时间。不同任务之间的边的集合为ET中的元素的值定义如下:当两个不同的简单任务分解自同一复杂任务子图时,存在三种情况:①有指向的边,令表示与有需求互补关系即可组合关系且为前驱任务,定义有向边参数②有指向的边,令则表示与有需求互补关系即可组合关系且为后继任务,定义有向边参数即③与之间没有边,令且当两个不同简单任务来自不同的复杂任务子图时,若 则与之间有需求相似边,令若 则与之间有有向边表示需求互补即可组合关系,且是的前驱任务,令且同理若 则与之间有有向边表示需求互补即可组合关系,且是的后继任务,令且其他情况则
所述供需匹配超网络Matching_Net中超边集合ES_T中的元素的数值定义如下,若服务节点si与任务节点之间不可匹配即or则超边不存在,令否则,当&&时,其中有则si与之间存在可匹配超边,令在进行动态再调度时,受到影响的制造任务ti进行新的服务调用时,新调用的服务所产生的效用会存在一定的衰减。衰减程度与任务ti原调用的服务已执行的时间成正比,即原调用的服务已执行的时间越长,则新调用的服务执行时所产生的效用的衰减程度越大。
本发明的优点在于:
(1)本发明提出的供需匹配超网络Matching_Net模型具有可扩展性,一方面是网络本身的规模具有可扩展性,当考虑更多环境因素和关联关系时,超网络中服务节点、任务节点以及不同网络层内的关联边、层间的超边的数量和类型都会随之增加;另一方面,超网络中的节点和边对应的属性具有可扩展性,当面向特定的供需匹配与调度等优化问题时,可以视具体情况对节点和边的相应属性赋予更加多样的意义和更加多元的赋值方式。
(2)本发明针对SoM系统的社会化应用与动态环境等特点,考虑企业服务调用时的效用和可靠性的综合值,分别建立了制造服务预调度和动态再调度的优化问题模型,为解决系统中社会化的制造任务在满足相关需求的前提下分别在什么时间段内调用哪一个制造服务的问题,提供了具体的基于超网络的制造服务动态调度方法和流程。
(3)本发明为一种能够反映制造服务与制造任务供需间的映射对应关系的供需匹配超网络模型的构建方法,以及在制造协作和服务执行过程中面对超网络模型多种动态操作时的制造服务动态调度方法。该发明能有效反映面向服务的制造系统中的动态环境,并能保证制造服务动态调度的有效性以及参与企业的较高的协作可靠性。
附图说明
图1是基于超网络的制造服务供需匹配与动态调度方法总体流程图;
图2是制造服务供需匹配超网络Matching_Net的构成示意图;
图3是制造服务供需匹配超网络Matching_Net的建模流程图;
图4是基于超网络的制造服务动态调度流程图;
图5是制造服务供需匹配超网络模型中不同节点间各种关联边的含义;
图6是供需匹配超网络的动态操作与物理意义。
具体实施方式
下面结合附图对本发明作进一步详细的描述。
如图1所示,本发明涉及的一种基于超网络的制造服务供需匹配与动态调度方法,主要包括以下步骤:
步骤A,如图3、5所示,制造服务供需匹配超网络Matching_Net模型的构建具体包括:
A1:构建制造服务网络S_Net模型。(1)将提交至SoM系统中的制造服务抽象成网络节点,将不同服务之间的各种关联关系抽象成服务节点间的边。对任意服务节点si,其每一种功能对应有一组特定的输入输出描述信息集<si_inputk,si_outputk>,则服务节点si可描述为si={<si_input,si_output>,...}。(2)判断两个服务之间是否存在功能相似关系。定义服务节点si与sj的功能相似关系判定参数为FSij=<si_input,si_output>∩<sj_input,sj_output>。若则认为服务节点si与sj之间为功能相似关系,令并计算功能相似度(3)若则判断两个服务之间是否存在功能互补关系。定义服务节点si与sj的功能互补关系判定参数为 若或者则认为服务节点si与sj之间为功能互补关系,令此时权重系数表示服务节点si与sj之间的互补程度即不同服务间的可组合强度。若 则认为服务节点si与sj之间不存在关联边,令(4)判断所有服务节点是否都已经进行判定,若是则结束建模并输出制造服务网络模型,否则继续步骤(2)和(3)。最终制造服务网络模型S_Net可描述为S_Net=<S,ES>,其中S表示的服务节点集合可被描述为S={s1,s2,…,si,…,sn},ES表示的S_Net中不同服务之间的边的集合可被描述为
A2:构建制造任务网络T_Net模型。(1)将提交至SoM系统中的制造任务抽象成网络节点,将不同任务之间的各种关联关系抽象成任务节点间的边。与制造服务不同的是,SoM系统中的制造任务可分为细粒度的简单任务和粗粒度的复杂任务,复杂任务可以被再分解并可被看作是具有一定流程和时间约束的多个简单子任务的集合。在制造任务网络T_Net中,对任意简单任务节点只有唯一的一对输入和输出描述信息因此,可描述为制造任务网络中的任务可被描述为任务子图的集合,即T={G1,G2,…,Gi,…,Gm}。其中,若Gi是简单任务,则任务子图且若Gi是复杂任务,则任务子图Gi=<Ti,Ei>中的Ti表示复杂任务可分解的简单子任务集合,可被描述为而其中的Ei表示可分解的简单子任务之间的关联关系,可描述为(2)判断两个任务节点是否处在同一个复杂任务子图中,若是,则两个不同任务节点与之间存在三种情况:①有指向的边,令表示与有功能互补关系(可组合)且定义有向边参数②有指向的边,令 则表示与有功能互补关系(可组合)且定义有向边参数即③与之间没有边,令且当两个不同简单任务来自不同的复杂任务子图时,其他情况则(3)当两个不同任务节点来自不同的任务子图时,判断两个任务之间是否具有需求相似性,若则与之间有需求相似边,令(4)否则判断两个任务之间是否具有需求互补性(可组合),若 则与之间有有向边表示功能互补关系(可组合)且是的前驱任务,令且同理若 令且(5)若两个任务节点之间没有关联关系,则(6)判断所有任务节点是否都已经进行判定,若是则结束建模并输出制造任务网络模型,否则继续步骤(2)、(3)、(4)和(5)。制造任务网络模型T_Net可描述为T_Net=<T,ET>,其中T表示任务节点子图集合,即T={G1,G2,…,Gi,…,Gm};而ET表示T_Net中不同任务之间的边的集合,可被描述为表示第i个任务的第k个简单子任务与第j个任务的第l个子任务之间的关联边。
A3:构建供需匹配超网络Matching_Net模型,将每个制造服务节点与每个制造任务节点之间的可匹配关系抽象成超边。(1)判断每一个服务节点与每一个任务节点之间是否存在可匹配关系,若不可匹配(即or),则超边不存在,否则si与之间可匹配(即),则超边存在,(2)判断所有服务节点与任务节点是否都已经进行判定,若是,则结束建模并输出供需匹配超网络Matching_Net模型;否则,继续步骤(1)。最终输出的供需匹配超网络Matching_Net模型中,S_Net与T_Net两层网络之间的超边集合可描述为 表示S_Net中第i个服务si与T_Net中第j个复杂任务的第l个简单子任务之间的可匹配关系。
综上,如图2所示,制造服务供需匹配超网络Matching_Net模型由制造服务网络S_Net、制造任务网络T_Net以及两层网络间的超边集合ES_T三部分组成。制造服务供需匹配超网络Matching_Net模型中各个节点之间的关系如图5所示,制造服务网络S_Net内部的服务节点之间存在着两种关联关系,即服务之间的功能相似性关系,如竞争或替代关系,以及服务之间的功能互补关系,如服务间的可组合关系等。制造任务网络T_Net内部的任务节点之间存在着两种关联关系,即任务之间的需求相似性,如互补与可组合关系,和任务之间的需求互补关系(即可组合),如串联组合关系中的前序与后续约束,此外还有并联可组合关系中的并发约束等。两层网络之间服务节点与任务节点之间的关联关系时服务与任务之间的可匹配关系,即某服务可执行某任务的可能性。
步骤B,如图4所示,在任务被实际执行之前,根据面向不确定任务(任务需求的可执行时间区间确定,但实际执行时间区间不确定)的制造服务预调度的目标函数,进行初始时刻(t=0)的制造服务预调度,具体步骤包括:
B1:提取Matching_Net模型中各个任务节点对应的超边集合,即各个任务节点对应的可选服务的集合,可描述为
B2:提取各个超边对应的可靠性、效用等属性参数。效用值综合考虑成本、能耗、风险和完成时间四个指标,可靠性考虑服务执行任务时发生故障的概率。假设决策系数为<aki,aki_starttime>,其中aki=1表示调用服务sk来执行任务ti且在aki_starttime时刻开始执行。在服务sk执行任务ti时会以概率发生故障,服务sk执行任务ti所产生的效用值为超网络Matching_Net中所有服务的总数为NoS,所有任务的总数为NoT,所有企业用户的总数为NoE,任一企业用户enp所拥有的制造服务集合可表示为预调度的目标函数综合考虑系统中服务调用的平均效用和平均可靠性,可被描述为其中,wr和wu分别表示服务调用的可靠性和效用的权重。
B3:执行制造服务预调度,得到当前最优执行方案。
步骤C:如图4所示,将制造服务动态调度的时间按单位时间单元(Δt)进行等距连续划分,从t=1时刻起,每隔一个单位时间单元周期性地执行动态环境生成模块从而得到超网络更新模型,具体步骤包括:
C1:每间隔一个单位时间单元Δt,具体单位时间单元可视具体情况调整)进入新的时间单元时,在当前时间单元内超网络模型以一定的概率发生动态操作。超网络模型发生的动态操作和物理意义如图6所示。动态操作举例:如当新增服务加入到SoM系统中时,创建新增服务节点并添加到服务网络S_Net中,并根据其与其他服务的关联关系添加新边,根据其与任务的关联关系添加超边。同理,当新任务到达后,新增任务节点并添加相应的新边和超边。另外,在动态执行过程中,若服务节点sk发生故障,则删除掉服务节点sk及其所关联的超边;若超边发生故障,则只删除该超边。当删除的服务节点恢复功能时,恢复该服务节点及其所有关联的超边。当删除的超边恢复时,则需在相应的服务节点可被正常调用的前提下恢复该超边。
C2:进入下一时间单元即触发下一时刻,t=t+1,判断在前一时间单元内是否发生动态操作。若发生,则更新超网络模型并进入步骤D,否则继续执行当前方案直至进入下一时间单元或者判断若满足终止条件则结束;
步骤D:如图4所示,若超网络发生变化则执行动态调度判断,否则进入下一时间单元或者判断若满足终止条件则结束,具体步骤包括:
D1:若在前一时间单元内发生了动态操作,判断更新后的超网络模型是否破坏了当前的调度方案。当前一时间单元的调度方案中被调用的服务节点sk或者该服务节点所对应的可匹配超边发生故障,则认为制造服务调度方案遭到破坏。若影响了当前调度方案则进入下一步D2,否则继续执行当前方案直至进入下一时间单元或者判断若满足终止条件则结束;
D2:判断更新后的超网络模型是否破坏了当前制造任务节点所对应的超边集合。若不影响直接进入步骤E执行动态再调度,否则进入下一步D3;
D3:更新当前制造任务节点所对应的超边集合,然后再进入步骤E执行动态再调度。
步骤E,如图4所示,具体包括步骤:
E1:提取更新后的Matching_Net模型中各个任务节点对应的超边集合,并提取各个超边对应的可靠性与效用等属性值。
E2:受到影响的制造任务重新调用新的服务时,所产生的效用存在一定的衰减。衰减程度与任务ti原调用的服务已执行的时间成正比,即原调用的服务已执行的时间越长,则调用新的服务时所产生的效用的衰减程度越大。衰减系数可描述为
其中为原调用的服务sk执行完成任务ti所需的时间。
E3:判断当前调度方案是否可进行局部修复。若可局部修复则基于当前调度方案进行局部再调度,具体步骤如下:①首先筛选出当前由于动态操作而受到影响的制造任务ti,即所有被删除的可匹配超边所对应的任务;②根据效用衰减的修正评估公式 对受到影响的任务ti所对应的所有可选的服务sl进行排序;③依次判断服务sl是否满足再调度要求,若满足则调用服务sl作为服务sk的替补服务。一旦某个制造任务ti对应的所有可选服务均被判定为无法满足局部再调度时,执行制造服务全局再调度,即将当前时刻作为新的初始时刻,根据效用衰减修正后的目标函数进行重新的制造服务调度优化。动态再调度完成后,新的调度方案生成,进入下一时刻,执行步骤C。
Claims (13)
1.一种基于超网络的制造服务供需匹配与动态调度方法,其特征在于包括步骤如下:
A:将提交至面向服务的制造(Service-oriented Manufacturing,SoM)系统中的制造服务和制造任务抽象成网络节点,将不同制造服务之间和不同制造任务之间的各种关联关系抽象成网络中的边,分别构建制造服务网络模型和制造任务网络模型;将制造服务与制造任务之间的可匹配关系抽象成制造服务网络与制造任务网络之间的超边,最终构建制造服务供需匹配超网络(manufacturing service supply-demand matching hypernetwork,Matching_Net)模型,即制造服务供需匹配超网络Matching_Net模型由制造服务网络、制造任务网络以及两层网络间的超边集合三部分组成;此外若任务节点与多个服务节点具有可匹配关系,则该任务节点与这些服务节点间的超边构成了该任务节点的超边集合;
B:在任务被实际执行之前,提取Matching_Net模型中各个任务节点对应的超边集合以及提取各个超边对应的可靠性与效用值,根据面向不确定任务的制造服务预调度的目标函数,进行初始时刻t=0的制造服务预调度,得到当前时刻最优执行方案;将制造服务动态调度的时间按单位时间单元Δt进行等距连续划分,t=0时刻预调度得到的执行方案在之后的时间单元内进行执行;所述面向不确定任务是指任务需求的可执行时间区间确定,但实际执行时间区间不确定;
C:从t=0直至结束的所有时间单元内,根据当前时间单元的开始时刻所决定的方案进行执行,并且Matching_Net模型以一定的概率在当前时间单元发生动态操作,从t=1时间单元的开始时刻起,每隔单位时间单元Δt,定期判断前一时间单元内是否发生了动态操作,若发生了动态操作则更新Matching_Net模型,并进入步骤D,若没有发生动态操作则继续判断是否满足终止条件以决定下一步操作;
D:判断更新后的Matching_Net模型是否破坏了前一时间单元的执行方案,若执行方案遭到破坏则进入步骤E,若执行方案没有遭到破坏则继续判断是否满足终止条件以决定下一步操作;
E:提取更新后的Matching_Net模型中各个任务节点对应的超边集合以及提取各个超边对应的可靠性与效用值,并对可靠性与效用值进行衰减处理,然后实施再调度,遭到破坏的执行方案被修复或新的执行方案生成之后,进入步骤C。
2.根据权利要求1所述的基于超网络的制造服务供需匹配与动态调度方法,其特征在于:所述构建的制造服务网络模型为S_Net=<S,ES>,其中S表示的服务节点集合可被描述为S={s1,s2,…,si,…,sn},ES表示的S_Net中不同服务之间的边的集合可被描述为
3.根据权利要求1所述的基于超网络的制造服务供需匹配与动态调度方法,其特征在于:所述构建的制造任务网络模型为T_Net=<T,ET>,其中T表示任务节点集合,被描述为T={G1,G2,…,Gi,…,Gm},任务节点用图Gi表示,它既可能是独立的简单任务又可能是可被分解成多个简单任务的复杂任务;ET表示T_Net中不同任务之间的边的集合,可被描述为其中表示第i个任务的第k个简单子任务与第j个任务的第l个简单子任务之间的关联边。
4.根据权利要求1所述的基于超网络的制造服务供需匹配与动态调度方法,其特征在于:所述制造服务供需匹配超网络Matching_Net模型由制造服务网络S_Net,制造任务网络T_Net以及两层网络间的超边集合ES_T三部分组成:其中将每个制造服务节点与每个制造任务节点之间的可匹配关系抽象成超边,制造服务网络模型S_Net与制造任务网络模型T_Net两层网络之间的超边集合,描述为其中表示制造服务网络模型S_Net中第i个服务节点si与制造任务网络模型T_Net中第j个任务的第l个简单子任务节点之间的可匹配关系。
5.根据权利要求1所述的基于超网络的制造服务供需匹配与动态调度方法,其特征在于:所述步骤C中的动态操作是指:在面向服务的制造SoM系统的动态运营及其制造服务的动态执行过程中,供需匹配超网络Matching_Net模型中的三个组成部分所发生的动态变化,包括:Matching_Net模型中①制造服务节点或节点集合的新增与删除,服务关联边的新增、删除与属性变化;②制造任务节点或节点集合的新增与删除,任务关联边的新增、删除与属性变化;③两层网络之间的超边的新增或重连、删除与属性变化,当新增服务加入到SoM系统中时,创建新增服务节点并添加到服务网络S_Net中,并根据其与其他服务的关联关系添加新边,根据其与任务的关联关系添加超边;同理,当新任务到达后,新增任务节点并添加相应的新边和超边;另外,在动态执行过程中的第t个时间单元内,若服务节点sk发生故障,则删除掉服务节点sk及其所关联的超边;若超边发生故障,则只删除该超边。
6.根据权利要求1所述的基于超网络的制造服务供需匹配与动态调度方法,其特征在于:所述步骤B具体包括步骤:
B1:提取Matching_Net模型中各个任务节点对应的超边集合,即各个任务节点对应的可选服务的集合,描述为即第t个时间单元结束时任务ti对应的可供选择的可匹配服务的集合,预调度时t=0;
B2:提取各个超边对应的可靠性、效用属性参数,效用值综合考虑成本、能耗、风险和完成时间四个指标,可靠性考虑服务执行任务时发生故障的概率;预调度的目标函数综合考虑系统中服务调用的平均效用和平均可靠性的综合值;
B3:执行制造服务预调度,得到当前最优执行方案。将制造服务动态调度的时间按单位时间单元Δt进行等距连续划分,t=0时刻预调度得到的执行方案在t=0之后的时间单元内进行执行。
7.根据权利要求1所述的基于超网络的制造服务供需匹配与动态调度方法,其特征在于:所述步骤C具体包括步骤:
C1:每间隔一个单位时间单元Δt进入新的时间单元时,根据当前时间单元的开始时刻所决定的方案进行执行,并且在当前时间单元内Matching_Net模型会以一定的概率发生动态操作;
C2:进入下一时间单元即触发下一时刻,t=t+1,判断在前一时间单元内是否发生动态操作,若发生了动态操作则更新超网络模型Matching_Net,并进入步骤D,否则进入C3;
C3:若在前一时间单元内没有发生动态操作,继续判断当前时刻Matching_Net模型状态是否满足终止条件,若满足终止条件则结束,若不满足终止条件则保持前一时间单元内未发生变化的执行方案继续执行,并进入C1重复步骤C。
8.根据权利要求1所述的基于超网络的制造服务供需匹配与动态调度方法,其特征在于:所述步骤D具体包括步骤:
D1:判断更新后的Matching_Net模型是否破坏了前一时间单元的执行方案,即判断被调用的服务节点或者其与相应任务对应的超边是否发生故障;若影响了前一时间单元的执行方案,则进入下一步D2,否则进入D4;
D2:判断更新后的Matching_Net模型是否破坏了前一时间单元内制造任务节点所对应的超边集合;若没有破坏制造任务节点所对应的超边集合则直接进入步骤E,否则进入下一步D3;
D3:更新当前制造任务节点所对应的超边集合,然后进入步骤E;
D4:判断当前Matching_Net模型状态是否满足终止条件,若满足终止条件则结束,若不满足终止条件则保持前一时间单元内未发生变化的执行方案继续执行,并进入C1重复步骤C。
9.根据权利要求1所述的基于超网络的制造服务供需匹配与动态调度方法,其特征在于:所述步骤E具体包括步骤:
E1:提取更新后的Matching_Net模型中各个任务节点对应的超边集合,并提取各个超边对应的可靠性与效用值;
E2:受到影响的制造任务重新进行新的服务调用时,所产生的效用存在一定的衰减。对相应的超边所对应的效用值属性以一定的规律进行衰减处理;
E3:判断受到破坏的前一时间单元的执行方案是否可进行局部修复;若可局部修复则基于当前调度方案进行局部再调度,否则执行制造服务全局再调度重新生成新的最优执行方案;局部再调度与全局再调度统称为动态再调度,是动态再调度在上述两种情况下的不同再调度方式;
E4:动态再调度实施后,受到破坏的执行方案被修复或新的执行方案生成,进入步骤C。
10.根据权利要求2所述的基于超网络的制造服务供需匹配与动态调度方法,其特征在于:所述制造服务网络模型S_Net中,对服务节点集合S中某服务节点si,其每一种功能对应有一组特定的输入输出描述信息集<si_inputk,si_outputk>,不同服务之间的边的集合ES中的元素的值定义如下:定义服务节点si与sj的功能相似关系判定参数为FSij=<si_input,si_output>∩<sj_input,sj_output>,若则认为服务节点si与sj之间为功能相似关系,令定义服务节点si与sj的功能互补关系判定参数为若或者则认为服务节点si与sj之间为功能互补关系,令若则认为服务节点si与sj之间不存在关联边,令
11.根据权利要求3所述的基于超网络的制造服务供需匹配与动态调度方法,其特征在于:所述制造任务网络模型T_Net中,任务节点集合T中某个任务节点对应的子图Gi,若Gi是简单任务,则Gi即是简单任务节点其中k=1;若Gi是复杂任务,则Gi可分解成多个简单任务节点,对任意分解后简单任务节点只有唯一的一对输入和输出描述信息则可描述为 表示任务需求执行时间段的开始时间与结束时间。不同任务之间的边的集合为ET中的元素的值定义如下:当两个不同的简单任务分解自同一复杂任务子图时,存在三种情况:①有指向的边,令表示与有需求互补即可组合关系且为前驱任务,定义有向边参数②有指向的边,令则表示与有需求互补即可组合关系且为后继任务,定义有向边参数即③与之间没有边,令且当两个不同简单任务来自不同的复杂任务子图时,若 则与之间有需求相似边,令若 则与之间有有向边表示需求互补关系即可组合关系,且是的前驱任务,令且同理若 则与之间有有向边表示需求互补关系即可组合关系,且是的后继任务,令且其他情况则
12.根据权利要求4所述的基于超网络的制造服务供需匹配与动态调度方法,其特征在于:所述供需匹配超网络Matching_Net中超边集合ES_T中的元素的数值定义如下,若服务节点si与任务节点之间不可匹配即则超边不存在,令否则,当时,其中有且则si与之间存在可匹配超边,令
13.根据权利要求9所述的基于超网络的制造服务供需匹配与动态调度方法,其特征在于:在进行动态再调度时,受到影响的制造任务ti进行新的服务调用时,新调用的服务所产生的效用会存在一定的衰减;衰减程度与任务ti原调用的服务已执行的时间成正比,即原调用的服务已执行的时间越长,则新调用的服务执行时所产生的效用的衰减程度越大。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610443297.8A CN105959401B (zh) | 2016-06-20 | 2016-06-20 | 一种基于超网络的制造服务供需匹配与动态调度方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610443297.8A CN105959401B (zh) | 2016-06-20 | 2016-06-20 | 一种基于超网络的制造服务供需匹配与动态调度方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN105959401A true CN105959401A (zh) | 2016-09-21 |
CN105959401B CN105959401B (zh) | 2018-04-03 |
Family
ID=56906918
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201610443297.8A Expired - Fee Related CN105959401B (zh) | 2016-06-20 | 2016-06-20 | 一种基于超网络的制造服务供需匹配与动态调度方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN105959401B (zh) |
Cited By (13)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109063949A (zh) * | 2018-06-12 | 2018-12-21 | 中国科学技术大学 | 一种基于超网络的化工园区集中区域应急物资调配方法 |
CN109409746A (zh) * | 2018-10-29 | 2019-03-01 | 北京航空航天大学 | 一种生产调度方法及装置 |
CN110222126A (zh) * | 2019-05-30 | 2019-09-10 | 东南大学 | 一种大服务的静态服务供需匹配模式提取方法 |
CN110414570A (zh) * | 2019-07-04 | 2019-11-05 | 北京迈格威科技有限公司 | 图像分类模型生成方法、装置、设备和存储介质 |
CN110929394A (zh) * | 2019-11-14 | 2020-03-27 | 北京华如科技股份有限公司 | 基于超网络理论的联合作战体系建模方法以及存储介质 |
CN111047170A (zh) * | 2019-12-04 | 2020-04-21 | 北京航空航天大学 | 一种基于长短期效用的制造服务协作调度方法 |
CN111539635A (zh) * | 2020-04-27 | 2020-08-14 | 北京航空航天大学 | 一种基于网络级联分析的制造服务协作失效消解方法 |
CN111654396A (zh) * | 2020-06-03 | 2020-09-11 | 北京航空航天大学 | 一种面向汇聚任务多维分解的制造服务聚合协作配置方法 |
CN111835567A (zh) * | 2020-07-14 | 2020-10-27 | 北京航空航天大学 | 基于瓶颈节点识别的数据链网络可靠性优化方法及系统 |
CN112381134A (zh) * | 2020-11-11 | 2021-02-19 | 北京航空航天大学 | 一种网络制造服务聚合协作特征动态度量方法 |
CN116610896A (zh) * | 2023-07-07 | 2023-08-18 | 浙江大学高端装备研究院 | 一种基于子图同构的制造服务供需匹配方法 |
CN117176596A (zh) * | 2023-11-01 | 2023-12-05 | 浙江大学高端装备研究院 | 一种面向工业互联网平台的制造服务供需网络仿真方法 |
CN117172633A (zh) * | 2023-10-30 | 2023-12-05 | 浙江大学高端装备研究院 | 一种面向工业互联网平台的制造服务子图仿真方法及系统 |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102176723A (zh) * | 2011-03-25 | 2011-09-07 | 北京航空航天大学 | 一种支持制造资源和能力按需使用和动态协同的制造云系统 |
US8364519B1 (en) * | 2008-03-14 | 2013-01-29 | DataInfoCom USA Inc. | Apparatus, system and method for processing, analyzing or displaying data related to performance metrics |
CN103942283A (zh) * | 2014-04-04 | 2014-07-23 | 河南理工大学 | 基于Web服务的制造资源推荐方法及系统 |
CN103944998A (zh) * | 2014-04-30 | 2014-07-23 | 武汉理工大学 | 一种基于复杂网络的制造网格复杂任务资源节点选择方法 |
CN103984714A (zh) * | 2014-05-07 | 2014-08-13 | 湖北工业大学 | 一种基于本体语义的云制造服务供需智能匹配方法 |
-
2016
- 2016-06-20 CN CN201610443297.8A patent/CN105959401B/zh not_active Expired - Fee Related
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8364519B1 (en) * | 2008-03-14 | 2013-01-29 | DataInfoCom USA Inc. | Apparatus, system and method for processing, analyzing or displaying data related to performance metrics |
CN102176723A (zh) * | 2011-03-25 | 2011-09-07 | 北京航空航天大学 | 一种支持制造资源和能力按需使用和动态协同的制造云系统 |
CN103942283A (zh) * | 2014-04-04 | 2014-07-23 | 河南理工大学 | 基于Web服务的制造资源推荐方法及系统 |
CN103944998A (zh) * | 2014-04-30 | 2014-07-23 | 武汉理工大学 | 一种基于复杂网络的制造网格复杂任务资源节点选择方法 |
CN103984714A (zh) * | 2014-05-07 | 2014-08-13 | 湖北工业大学 | 一种基于本体语义的云制造服务供需智能匹配方法 |
Non-Patent Citations (3)
Title |
---|
CHENG Y,TAO F,ZHANG L等: ""Dynamic Supply-Demand Matching for Manufacturing Resource Services in Service-Oriented Manufacturing Systems: A Hypernetwork-Based Solution Framework"", 《ASME 2015 INTERNATIONAL MANUFACTURING SCIENCE AND ENGINEERING CONFERENCE》 * |
盛步云,张成雷,卢其兵等: ""云制造服务平台供需智能匹配的研究与实现"", 《计算机集成制造系统》 * |
程颖,陶飞,张霖,左颖: ""面向服务的制造系统中制造服务供需匹配研究综述与展望"", 《计算机集成制造系统》 * |
Cited By (21)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109063949A (zh) * | 2018-06-12 | 2018-12-21 | 中国科学技术大学 | 一种基于超网络的化工园区集中区域应急物资调配方法 |
CN109063949B (zh) * | 2018-06-12 | 2022-05-17 | 中国科学技术大学 | 一种基于超网络的化工园区集中区域应急物资调配方法 |
CN109409746A (zh) * | 2018-10-29 | 2019-03-01 | 北京航空航天大学 | 一种生产调度方法及装置 |
CN110222126A (zh) * | 2019-05-30 | 2019-09-10 | 东南大学 | 一种大服务的静态服务供需匹配模式提取方法 |
CN110414570A (zh) * | 2019-07-04 | 2019-11-05 | 北京迈格威科技有限公司 | 图像分类模型生成方法、装置、设备和存储介质 |
CN110414570B (zh) * | 2019-07-04 | 2022-01-28 | 北京迈格威科技有限公司 | 图像分类模型生成方法、装置、设备和存储介质 |
CN110929394A (zh) * | 2019-11-14 | 2020-03-27 | 北京华如科技股份有限公司 | 基于超网络理论的联合作战体系建模方法以及存储介质 |
CN110929394B (zh) * | 2019-11-14 | 2024-01-23 | 北京华如科技股份有限公司 | 基于超网络理论的联合作战体系建模方法以及存储介质 |
CN111047170B (zh) * | 2019-12-04 | 2021-09-10 | 北京航空航天大学 | 一种基于长短期效用的制造服务协作调度方法 |
CN111047170A (zh) * | 2019-12-04 | 2020-04-21 | 北京航空航天大学 | 一种基于长短期效用的制造服务协作调度方法 |
CN111539635B (zh) * | 2020-04-27 | 2022-04-05 | 北京航空航天大学 | 一种基于网络级联分析的制造服务协作失效消解方法 |
CN111539635A (zh) * | 2020-04-27 | 2020-08-14 | 北京航空航天大学 | 一种基于网络级联分析的制造服务协作失效消解方法 |
CN111654396A (zh) * | 2020-06-03 | 2020-09-11 | 北京航空航天大学 | 一种面向汇聚任务多维分解的制造服务聚合协作配置方法 |
CN111835567A (zh) * | 2020-07-14 | 2020-10-27 | 北京航空航天大学 | 基于瓶颈节点识别的数据链网络可靠性优化方法及系统 |
CN112381134A (zh) * | 2020-11-11 | 2021-02-19 | 北京航空航天大学 | 一种网络制造服务聚合协作特征动态度量方法 |
CN116610896A (zh) * | 2023-07-07 | 2023-08-18 | 浙江大学高端装备研究院 | 一种基于子图同构的制造服务供需匹配方法 |
CN116610896B (zh) * | 2023-07-07 | 2023-10-27 | 浙江大学高端装备研究院 | 一种基于子图同构的制造服务供需匹配方法 |
CN117172633A (zh) * | 2023-10-30 | 2023-12-05 | 浙江大学高端装备研究院 | 一种面向工业互联网平台的制造服务子图仿真方法及系统 |
CN117172633B (zh) * | 2023-10-30 | 2024-01-30 | 浙江大学高端装备研究院 | 一种面向工业互联网平台的制造服务子图仿真方法及系统 |
CN117176596A (zh) * | 2023-11-01 | 2023-12-05 | 浙江大学高端装备研究院 | 一种面向工业互联网平台的制造服务供需网络仿真方法 |
CN117176596B (zh) * | 2023-11-01 | 2024-01-30 | 浙江大学高端装备研究院 | 一种面向工业互联网平台的制造服务供需网络仿真方法 |
Also Published As
Publication number | Publication date |
---|---|
CN105959401B (zh) | 2018-04-03 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN105959401A (zh) | 一种基于超网络的制造服务供需匹配与动态调度方法 | |
Li et al. | Double-mode energy management for multi-energy system via distributed dynamic event-triggered Newton-Raphson algorithm | |
Trivedi et al. | Hybridizing genetic algorithm with differential evolution for solving the unit commitment scheduling problem | |
Coffrin et al. | Last-mile restoration for multiple interdependent infrastructures | |
CN103679388B (zh) | 生产调度方法及生产调度系统 | |
CN101082970A (zh) | 政务审批工作流引擎系统的实现方法 | |
CN101770616A (zh) | 一种多级协同项目计划管理方法 | |
Huang et al. | Service requirement conflict resolution based on ant colony optimization in group-enterprises-oriented cloud manufacturing | |
Cheng et al. | Manufacturing services scheduling with supply–demand dual dynamic uncertainties toward industrial internet platforms | |
Ma et al. | Redundant and nonbinding transmission constraints identification method combining physical and economic insights of unit commitment | |
Ding et al. | Hierarchical structure of a green supply chain | |
CN110289642B (zh) | 一种基于指数罚函数的配电网分层调度优化方法 | |
El Bourakadi et al. | Multi-agent system based sequential energy management strategy for Micro-Grid using optimal weighted regularized extreme learning machine and decision tree | |
CN104573855B (zh) | 基于二分图的满足时序约束的迭代增量式的最大派工方法 | |
Fu et al. | Modeling and performance analysis of product development process network | |
CN109657958B (zh) | 数字化信息系统的建模方法及数字化信息系统 | |
Wang et al. | Discrete Fruit Fly Optimization Algorithm for Disassembly Line Balancing Problems by Considering Human Worker’s Learning Effect | |
CN103034528B (zh) | 一种基于本体的多Agent审批任务数据处理方法 | |
Long et al. | The Innovation Network as a Complex Adaptive System: Flexible Multi-agent Based Modeling, Simulation, and Evolutionary Decision Making | |
Wang et al. | An aggregated-tasks oriented manufacturing services scheduling toward industrial Internet platforms | |
Ivanov et al. | Structure dynamics control-based service scheduling in collaborative cyber-physical supply networks | |
Yang et al. | The Decision Model for the Optimal Configuration Management of Knowledge Employees in Enterprises | |
Iglesias et al. | A comparison between possibility and probability in multiple criteria decision making | |
Zhang et al. | A self-adaptive exception adjustment approach of multi-core value nets in industry alliance | |
Liu et al. | The research of ant colony and genetic algorithm in grid Task scheduling |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant | ||
CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20180403 Termination date: 20200620 |
|
CF01 | Termination of patent right due to non-payment of annual fee |