本文研究的是在无限服务器语义下,对确定性定时加权标记图(timed weighted marked graphs,简称TWMGs)进行标记优化的问题。这一问题在现实世界系统,尤其是自动化生产和高吞吐量系统建模与分析中非常常见。在这类系统中,活动不会瞬间发生,每个活动都有一个非零的时间持续度。petri网(PNs)是用于建模离散事件系统,尤其是制造系统的高效工具。本文研究的特定类型的petri网是定时加权标记图(TWMGs)。这类图的主要特点是每个位置只有一个输入和一个输出转移。在确定性TWMGs中,网络的稳态性能可以表示为网络的平均周期时间。
文章介绍了现实世界系统中活动不瞬时发生,每个活动都有一定时间持续度的特点。接着,介绍了petri网(Petrinets,简称PNs)作为离散事件系统建模的高效工具,特别适用于制造系统。文章将重点放在特定的petri网类别——定时加权标记图(timed weighted marked graphs,简称TWMGs)上,探讨了TWMGs的主要特征,即图中每个位置都只有一个输入和一个输出转移,这一点与定时标记图(timed marked graphs,简称TMGs)不同。
文章深入探讨了定时加权标记图(TWMGs)和定时标记图(TMGs)在制造系统或嵌入式系统中的广泛应用。在制造系统中,转移通常代表动作,而标记则对应于装配线上的实体产品或嵌入式系统中两个进程之间交换的数据。该文章还提到了若干关于这一类petri网的研究文献。例如,Teruel等人提出了一些加权标记图(weighted marked graphs,简称WMGs)分析技术。Campos等人发展了计算给定初始标记下TMGs平均周期时间的方法。Munier提出了一种将WMG转换为另一类petri网的方法。
此外,文章还提到了对这一问题提出的两个不同的启发式方法来解决优化问题,即寻找一个初始标记,以最小化位置中标记的加权和,同时使得平均周期时间小于或等于给定值。这一点对于确保系统的效率和优化资源的使用至关重要。
文章还指出了相关研究得到了中国国家自然科学基金、全球专家招聘计划、科技发展基金(MSAR)和中央高校基本科研业务费等机构的资助,表明该研究在国际上受到了广泛的关注和资金支持。
总而言之,文章从理论和实际应用的角度分析了TWMGs的建模与分析问题,并且提出了创新的优化方法,对自动生产系统的建模与分析具有重要的理论意义和实用价值。这些发现不仅能够推动相关领域研究的进一步发展,还能为实际制造系统和嵌入式系统的开发提供指导。