【摘 要】
：
该文提出一类新的Petri网系统:有色时间随时间随机Petri网系统(CTSPNS),并分析了它们的性质,CTSPNS适于表达和仿真大型、复杂的,分布式实时系统.这类系统在实际中有着许多重
论文部分内容阅读
该文提出一类新的Petri网系统:有色时间随时间随机Petri网系统(CTSPNS),并分析了它们的性质,CTSPNS适于表达和仿真大型、复杂的,分布式实时系统.这类系统在实际中有着许多重要的应用,如通讯协议,柔性制造,计算机网络和运筹学等.该论文还对源于不同应用目的的CTSPNS的合并作了讨论.最后,论文将理论用于一个地铁模型,证明了模型的安全性和良效性,并且给出了寻找和解除地铁系统瓶颈的算法和方法.
其他文献
该文分为两部分,第一部分推广了联立方程组模型可识别的定义.一般的介绍经济学模型的书中给出了联立方程组模型单个方程可识别的定义,有一定的局限性,研究小组从整体上给出了
该文系统地研究总结了十年来关于和图与整和图的研究成果和研究进展.进而针对F.Harary提出的有待确定其整和数的图类(c),工作人员研究确定了完全 偶图K的和数与整和数.工作人
该文发展了证券组合投资理论,运用最优化中的Frank-Wolfe方法研究了限制卖空条件下的症券组合的投资决策,丰富和发展了关于多余证券理论,并给出了限制卖空条件下的证券组合投
非光滑最优化问题是非线性规划研究的热点问题之一.该文考虑了如下的LC类复合非光滑优化问题的最优性条件.借助于建立在凸分析和非光滑分析理论基础之上的广义Hessian阵和LC
该博士论文由四章组成.在第一章,作者给出了差分不等式x-x+px≤0.不存在最终正解的充分条件,其中,p
割角算法是一种重要的几何造型方法,de Castljau算法, de Boor算法,Chaikin算法,等等.该文将主要研究两种曲线,一种是无限次割角过程的极限曲线,它是一条C连续的曲线.另画种
该课题第一部分即讨论p-循环矩阵(p=2、p=3)下CSOR的收敛性及复最佳松弛因子ω的选择等问题.该课题第二部分较为深入地考察了代数迭代重建算法及其应用技术(Algebraic Recons
随着现代科学技术的发展，在自然科学、社会科学、工程技术等领域中，人们不断提出大量新的脉冲微分方程问题，急需我们用相关的数学理论去解决。脉冲微分方程理论是一个具有旺盛生
本文的研究内容主要有两部分.第一部分:讨论了α(＞1)-凸算子，具有凹凸性的序压缩算子及φ凸-ψ凹混合单调算子等三类非线性算子.第二部分:用非线性算子理论，特别是用我们得到的
因为很多物理现象和过程的数学模型都可以用非线性偏微分方程来表示，而这些非线性偏微分方程在很多情况下，求解精确解比较困难，故非线性偏微分方程的数值解法在数值分析中占有重