【摘 要】
：
逻辑Petri网是一种增广Petri网模型,具有与图灵机等价的建模能力。颜色逻辑Petri网解决了逻辑Petri网中输出的不确定性表达问题。然而颜色逻辑Petri网描述不同子系统的并发过
【基金项目】
：
国家自然科学基金项目(61903229,61973180)
论文部分内容阅读
逻辑Petri网是一种增广Petri网模型,具有与图灵机等价的建模能力。颜色逻辑Petri网解决了逻辑Petri网中输出的不确定性表达问题。然而颜色逻辑Petri网描述不同子系统的并发过程,需要对每一个子系统建立一个子网模型。如果所有子网模型的结构相同,则可以引入多个有色托肯,从而用一个子网模型表示多个子系统的并发过程。因此,提出了扩展颜色逻辑Petri网模型及其可达性分析方法。首先,为了方便可达标识的表示和计算,引入多重集的素数表示法,用素数幂的乘积来表示一个多重集,并给出了判断变迁使能的方法。其次,通
其他文献
焊接工业机器人具有改善工人劳动条件、焊接质量稳定、提高劳动生产率等特点,广泛应用于工程机械、汽车、通用机械、兵器工业和金属结构等行业。研究设计的焊接工业机器人采
研究了玻璃纤维复合三明治板在圆柱形平头弹体打击下的预测弹道极限的理论预测方法。建立了玻璃纤维复合三明治板的三阶段侵彻模型,包括侵彻面板阶段、侵彻复合材料夹芯层阶
本文着重探讨了商务英语人才培养与地方经济发展之可行性研究，期望高校所培养的人才适用于地方经济发展，才为所用，真正实现学校培养人才的目标，更好的为我国经济发展服务。
针对工业过程的非线性和多模态特征,提出了一种基于局部近邻标准化(local neighborhood standard ization,LNS)和主多项式分析(principal polynomial analysis,PPA)结合的故
基于施工企业内部控制现状,从内部控制制度的建立、健全和执行的有效性,提出施工企业应建立健全制度,明确分包工程结算、机械及物资采购等工作程序;加强部门之间的内部牵制,
为了提高电机的维护效率,实现电机实时故障诊断功能,基于传统Petri网理论、模糊理论和神经网络算法,提出了一种具有自适应性的神经模糊Petri网故障诊断方法。首先,利用高斯函
针对现有的基于运动矢量的视频信息隐藏算法存在破坏矢量局部最优性这一问题,提出一种基于视频运动矢量的可逆信息隐藏算法。算法对利用增强预测区域搜索(enhance predictive
近年来所发生的金融危机部分要归因于金融全球化的影响，特别是2007年所发生的全球金融危机。金融全球化使得各国金融市场的融合程度增强，提高资产投资多样化和增强国际风险共担