论文部分内容阅读
本文基于Ｐｅｔｒｉ网的矩阵表示，通过矩阵的运算给出了网的Ｓ－补和Ｔ－补的矩阵形式公式。同时给出对逆网、对偶网的Ｓ－补和Ｔ－补的求解方法。
Petri网的S—补和T—补的几个性质
【摘 要】
：
本文基于Ｐｅｔｒｉ网的矩阵表示，通过矩阵的运算给出了网的Ｓ－补和Ｔ－补的矩阵形式公式。同时给出对逆网、对偶网的Ｓ－补和Ｔ－补的求解方法。
【机 构】
：
山东矿业学院应用数学与软件工程系
【出 处】
：
重庆邮电学院学报
【发表日期】
：
0年CASH601.012期
其他文献
本文简要介绍智能辅助教学软件写作环境ＣＡＩＲＮＥＹ的主要功能和特点，并对它的设计思想、实现技术和系统扩展进行了讨论。同时还讨论了有关知识获取、教学策略和学生模型等问题。
本文首先给出了伪超图开关运算的定义,导出了 F(n)的等价开关类划分,然后研究了开关类的性质,主要有:两伪超图属于同一开关类的充要条件;任一开关类含有 K—致伪超图的必要条件;任一开关类含有 K—正则伪超图的充要条件;Aut(H)与 Aut(S(H))的群性质;两开关类的同构性;两同构开关类的对偶类的同构性;两同构开关类的补类的同构性等。
文庙为祀奉孔子之地，故别称孔庙。又因其为县学所在地，故亦称学宫。公元前478年，鲁哀公在陬邑（今山东省曲阜东南）将孔子三间“故堂所居”，作为“寿堂”，“立庙旧宅，置卒守，岁时奉祀”（
论述一种中点箝位式三电平逆变器SVPWM原理及其实现方法。为避免三电平逆变器在扇区切换中输出矢量突变，提出了一种首发矢量全部采用正小矢量或负小矢量的空间矢量调制算法，利
目的了解患者对心电学检查知识了解状况,为准备检查的患者实施针对性的健康教育提供依据。方法对2014年1—6月到本院心电图室行心电学检查的患者100名,采用自行设计的调查问
班主任是班集体的教育者、组织者和领导者。班主任的教育劳动是一种专业性的劳动,要胜任班主任的教育劳动,就需要逐渐地走向专业化。这些年的经验告诉我,做一名智慧的班主任,
提出一种Laguerre（拉盖尔）模拟复合正交神经网络并应用于电厂过热汽温的直接自适应控制。模拟神经网络被作为直接自适应控制器，这种单隐层正变神经网络是基于Laguerre复合正交多
通过对超高压输电线路各种类型故障的特征分析,提出了一种综合利用暂态电流行波幅值和极性的故障特征来识别故障类型的新原理,指出零模量和线模量之间的幅值关系不宜被用以构