【摘 要】
:
本文基于矩阵半张量积(semi-tensor product,STP)方法研究了普通Petri网(Petri nets,PNs)信标和陷阱的计算问题.首先,利用STP方法建立了两个矩阵方程,分别称为Petri网的信标
【机 构】
:
南开大学计算机与控制工程学院,南开大学天津市智能机器人技术重点实验室,中国民航大学理学院
【基金项目】
:
国家自然科学基金项目(61573199, 61573200), 天津市自然科学基金项目(14JCYBJC18700, 13JCYBJC17400)资助.
论文部分内容阅读
本文基于矩阵半张量积(semi-tensor product,STP)方法研究了普通Petri网(Petri nets,PNs)信标和陷阱的计算问题.首先,利用STP方法建立了两个矩阵方程,分别称为Petri网的信标方程(siphon equation,SE)和陷阱方程(trap equation,TE).其次,证明了计算Petri网的信标和陷阱分别等价于求信标方程(SE)和陷阱方程(TE)的非零解.同时,给出了计算Petri网所有信标和陷阱的算法.最后,实例和实验结果说明了本文方法的可行性与有效性.本文所提出的方法对于Petri网信标和陷阱的计算是非常有效的,它只涉及到矩阵的乘法运算.
其他文献
阅读辅导在中学图书馆的管理服务工作中占有很重要的地位,图书馆与学校的教师合作互助进行阅读活动,以提升学生对阅读的兴趣,加强对学生的阅读辅导。
【正】 一 什么是行政合同? 行政合同是指行政机关之间、行政机关与企事业单位法人之间或公民之间,为执行行政管理公务,经双方意思表示一致,依法设立、变更或解除相互权利义
深度强化学习将深度学习的感知能力和强化学习的决策能力相结合,可以直接根据输入的图像进行控制,是一种更接近人类思维方式的人工智能方法.自提出以来,深度强化学习在理论和
Objective:To study the cardioprotective effect of Baitouwen(Pulsatilla chinensis Regel,PR)in isoproterenol(ISO)induced heart failure in mice,and investigated th
【正】 传统的侵权理论中,侵权行为与民事侵权行为是不加区分的,侵权行为即民事侵权行为。我们这里说的诉讼侵权行为在传统的侵权行为中实际上是民事侵权行为中特殊的侵权行
Editorial Note:On January 1,2020,we published an online comment,titled“Prospects for the future of clinical efficacy evaluation of traditional Chinese medicine
【正】 弹劾,作为国家对违法犯罪的高级行政官员和法官进行检举、惩处的法律制度,是否等同于罢免制?田洪生同志的《浅议弹劾制》一文(载《河北法学》)1988年第5期以下简称《
水防[2019]34号各流域管理机构,各省(自治区、直辖市)水利(水务)厅(局),新疆生产建设兵团水利局:防汛抗旱责任重于泰山。机构改革后,水行政主管部门在防汛抗旱方面的主要职责
【正】 华北地区暨河北省劳改法学讨论会于1988年12月22日至24日在石家庄召开。出席会议的代表共95人。其中来自北京、天津、内蒙古、山西及河北基层劳改劳教单位的论文作者
在实施阅读教学时,教师需要从学生生活导入、从教学情境进入、从文本图画引入、从数学文化切入,结合学生生活实际,联系多种数理关联因素,有效激发学生多向思维,对数理关系进