山东科技大学学报(自然科学版)
山東科技大學學報(自然科學版)
산동과기대학학보(자연과학판)
JOURNAL OF SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY(NATURAL SCIENCE)
2015年
1期
29-34
,共6页
迹%Petri网模型%最优校准%质数权值%分组算法
跡%Petri網模型%最優校準%質數權值%分組算法
적%Petri망모형%최우교준%질수권치%분조산법
为了选取最优校准的代表项简化迹与模型的一致性检查,提出一种基于质数权值的分组算法,实现对所有最优校准的分组.给不同的偏差分配互异的质数权值,将权值之积作为最优校准的代价.包含相同移动多重集但移动出现位置不同的相似最优校准具有相同的代价.证明了分组算法的正确性,应用实例描述了分组的具体执行过程.算法首次明确简洁地实现了相似最优校准的分组,时间复杂度为O(m2n2).
為瞭選取最優校準的代錶項簡化跡與模型的一緻性檢查,提齣一種基于質數權值的分組算法,實現對所有最優校準的分組.給不同的偏差分配互異的質數權值,將權值之積作為最優校準的代價.包含相同移動多重集但移動齣現位置不同的相似最優校準具有相同的代價.證明瞭分組算法的正確性,應用實例描述瞭分組的具體執行過程.算法首次明確簡潔地實現瞭相似最優校準的分組,時間複雜度為O(m2n2).
위료선취최우교준적대표항간화적여모형적일치성검사,제출일충기우질수권치적분조산법,실현대소유최우교준적분조.급불동적편차분배호이적질수권치,장권치지적작위최우교준적대개.포함상동이동다중집단이동출현위치불동적상사최우교준구유상동적대개.증명료분조산법적정학성,응용실례묘술료분조적구체집행과정.산법수차명학간길지실현료상사최우교준적분조,시간복잡도위O(m2n2).