DEDS控制理论模型—受控Petri网的网论语义

来源 :山东矿业学院学报 | 被引量 : 0次 | 上传用户:burningDNA
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
离散事件动态系统(DEDS)是复杂系统控制理论的一个重要学科分支。受控Petri网是控制理论界提出的一个DEDS模型。本文分析此模型的网论语义,以便把Petri网的研究方法和成果引入离散事件动态,系统控制理论的研究。
其他文献
利用定性分析的方法,讨论一类具有常量输入的三分子生化反应系统,得到了可行平衡点的全局稳定性,系统存在唯一极限的充要条件,并纠正了“三分子生化反应模型的稳定性”一文中的错
本文用分支函数法,通过几个较为一般的实例进一步说明L-S方法在局部分支理论中的广泛应用,从而将确定局部周期解的个数转化为易懂的代数运算。
对于求解数百个未知渗透率的组合优化问题,用人工操作的历史拟合技术和一般的优化算法是不可行的.近些年形成的遗传算法具有全局收敛性,是一种不用梯度信息的优化方法,特别适
摘 要 从香蕉中克隆了1个乙烯响应因子(ERF)MaERF-1。序列分析表明,该基因存在1个完整的开放阅读框(ORF)729 bp,编码243个氨基酸。多序列比对和进化树分析表明,MaERF-1所编码的蛋白与其他植物中ERF编码的蛋白具有较高的一致性。其中与马来西亚野生香蕉同源性最高达98%,与油棕、菠萝、海枣、葡萄、荷花、烟草的MaERF编码的氨基酸序列的同源性分别为65%、60%、59%、54
利用现有的教学条件对73名自学护士进行外科护理学的远距离教学,并与另外73名自学护士在学习成绩和及格率方面进行对照比较。结果显示:实验组护士考试成绩和及格率高于对照组。
Broere和Mynhardt等人猜想:任何平面图G的线性点荫度la(G)不超过3,本文证明了这个猜想,并证明了外平面图的线性点荫度la(G)不大于2。
为解除晚期食管癌病人的痛苦,缓解其吞咽困难,对11例中晚期食管癌病人采用食管扩张术和食管支架置入术序贯疗法治疗恶性狭窄,结果:11分例置管均成功,且无严重并发症发生,7例恢复正常饮食
本文提出Petri网的两种新的广义笛积运算,讨论了它们的代数性质,这些结果可以作为受控Petri网的分析或合成的依据。
摘 要 无机焦磷酸酶(inorganic pyrophosphatase,PPase)催化焦磷酸(PPi)水解为2个无机正磷酸(Pi),是蔗糖合成途径中的调控关键节点之一。本研究根据已经报道的PPase基因的序列设计兼并引物,采用3′ RACE和5′ RACE方法,从贵妃芒果的果实中克隆得到了一个芒果PPase基因,将其命名为MiPPase,其全长cDNA序列为1014 bp,开放阅读框为837