【摘 要】
：
借助于模块化设计、分析思想，定义了Petri网顺序连接、选择、重复、并行等控制结构的合成运算及其对应的关联矩阵的合成运算；给出了合成Petri网的形式描述——网合成表达式；实现
论文部分内容阅读
借助于模块化设计、分析思想，定义了Petri网顺序连接、选择、重复、并行等控制结构的合成运算及其对应的关联矩阵的合成运算；给出了合成Petri网的形式描述——网合成表达式；实现了基于子系统的Petri网建立复杂系统的Petri网模型，给出了利用子网的关联矩阵构造合成Petri网的关联矩阵的算法，为合成Petri网的结构性质分析的自动化提供了方法。
其他文献
针对“食品工程原理”课程特点和传统教学方法的局限性，将同伴教学法引入到理论和实验教学中，可以取得良好教学效果。通过同伴教学设计，包括教学法设计、课上测试、课后预习以及
目的 比较热毒宁注射液与利巴韦林治疗急性上呼吸道感染的临床疗效差异.方法 选取90例符合入组标准的急性上呼吸道感染患者,按随机数字表分为对照组45例和观察组45例,对照组
随着新课改的日渐深入,初中历史教学模式需要与时俱进,从激发学习兴趣,体现学生学习主体地位的角度出发加以创新与优化。初中历史课堂教学过去主要采用的是教师讲解模式,学生
目的比较膦甲酸钠注射液（可耐）与更昔洛韦在带状疱疹治疗中的疗效和安全性。方法将46例带状疱疹患者随机分成A组和B组,每组23例。A组给予可耐治疗,B组给予更昔洛韦治疗,同时2组
本文通过分析高校图书馆的现状和问题,提出了解决问题的有效措施。对采购原则、采购措施以及服务师生方面提出了自己的看法。
针对物联网的节点定位问题,本文提出一种低复杂度的参数估计及单站定位算法,包括一种基于矩阵幂的矩阵束(Power-based Matrix Pencil,PMP)算法与非线性拟合(Non-Linear Fitting,NLF)技术。算法利用联合到达时间(Time of Arrival,TOA)/到达角度(Angle of Arrival,AOA)参数估计进行定位运算,通过单个锚节点的测距信息即可完成
例1,男性,58岁.1999年5月确诊为急性单核细胞白血病,以HA方案(高三尖杉脂碱4 mg,阿糖胞苷200 mg)化疗一周,化疗后第6天开始发热,体温39～40 ℃,未查到感染灶,以青霉素800万U静