【摘 要】
:
Petri网是一种数学和图形工具,适宜于模拟和分析离散事件系统.自Petri先生开创性的工作之后,网论得到了长足进展,至今已形成了相当规模的研究领域,并产生出多种不同类别.在这
论文部分内容阅读
Petri网是一种数学和图形工具,适宜于模拟和分析离散事件系统.自Petri先生开创性的工作之后,网论得到了长足进展,至今已形成了相当规模的研究领域,并产生出多种不同类别.在这些类别中,由于包含网论的基本思想而且便于应用,库所一变迁系统(P/T-系统)得到了充分的重视.P/T-系统的分析方法大约有三种:可达树(图)方法,状态方程方法和化简分解方法.这些方法各有其优缺点,适用于不同问题的要求,然而,即使在其适用范围内,它们的作用有时也是有限的,不足以给系统以完整清晰的刻画.也就是说,有必要加以改进.该文的工作侧重于前两种分析方法的研究和讨论.第二章分析了传统可达树的不足,提出了一种新的可达图及构造,并将其用于系统分析.第三章对求解不变量做了改进,使得可以同时得到S-不变量及T-不变量.另外介绍了文献中一种"修正"的关联矩阵,并用其讨论了一些P/T-系统子类的结构特性.最后,对化简分解方法和在网系统分析中颇有用处的对偶性定义做了简介.
其他文献
由G.Sturm建立的齐次二阶线性微分方程零点分布的比较理论和分离理论为微分方程振动性理论的研究奠定了基础.一个半世纪以来,微分方程的振动性理论已经取得了迅猛的发展,在微
该文包括四个部分.第一部分简要介绍了数字签名的重要意义以及有关密码学的几个重要概念.第二部分是该文所依赖的背景盲签名方案.在上述方案的基础上,我们提出了两个新的盲签
微分方程在实际中有着广泛的应用,凡是与变化率有关的问题几乎都可以用微分方程模型来研究.为了弄清实际系统随时间变化的规律,需要讨论微分方程解的性态,其中包括求方程的解
本文研究有界区域上的某些带非局部源或局部化源的退化抛物方程以及某些带吸收项或带非线性边界条件的抛物方程组的解的爆破性质.这种研究包含古典解的局部存在性和唯一性,解
在实际应用中,高分辨率图像因为其丰富的细节信息受到人们的欢迎。但由于成像系统的限制,实际获得的图像往往不能满足人们的需求。从硬件方面提升图像分辨率代价很高,而且克服硬
请下载后查看,本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
由于其简洁性和高效性,等几何分析配点法(IGA-C)在科学研究和工程实践中有着非常丰富的应用,但是建立在等几何分析配点法数值分析上的理论结果却甚少。本文中,我们推导了等几何
该文研究了二维非定常多群中子输运方程的一种数值解法.该方法对相空间采用离散纵标法(SN),时间和空间域采用自适应样条小波ADI(SW-ADI)方法,从而提出一种新算法——SW-ADI-S
该文考虑一端固定,一端在van der Pol自激励边界反馈下Euler-Bernoulli梁的动力行为.一维梁振动方程y+y=0,在左边界x=0满足y(0)=0,y(0)=0,在右边界x=1满足y(1)=0,y(1)=-ay+β
众所周知,泛函极值问题是科学技术中,特别是经济、力学、最优化理论、控制论等研究中会经常遇到的重要问题[16,18,19]。此类问题一般采用变分方法解决。 而对于约束极值问题,人