一种基于petri网与ECA规则转换的工作流演进模型研究

SWF-net是一类带约束条件的petri网,文章提出一种扩展的ECA规则(FECA),将多个SWF-net转换为FECA模型.采用这一技术,实现了工作流执行中的动态路由和模式反馈,能很好的解决工作流适应性和过程模型持续改进的问题.文章详细阐述了工作流模型的演进过程并给出了实际例子.     

三阶非线性泛函微分方程的振动性

文章主要研究了三阶非线性泛函微分方程1/p（t）1r（t）x′（t）′′=Q（t）f（x）＋R（t）h（x） when∫∞t0r（t）∫st0p（u）duds=∞分别在满足条件∫∞t0r（t）∫st0p（u）duds=∞和∫∞t0r（t）∫st0p（u）duds〈∞时的振动准则,因此我们的结果不同于已有文献的一些结果.     

偶数阶中立型微分方程的Kamenev-type振动准则

研究了偶数阶中立型微分方程(r(t)[x(t)+p(t)x(r(t))](n-1)＇+f(t,x(t),x(σ(t)))=0的振动准则,这里n为偶数且n≥2.文章通过引进一类新的函数Φ=Φ(t,s,l)将文献[5]的结果推广到更为一般的偶数阶时滞微分方程中.     

三种群竞争系统最小波速的线性决定性

文章主要研究一类三种群反应扩散竞争系统最小波速线性决定的问题.首先,将系统转化为合作系统,再利用上下解方法建立了该系统最小波速线性决定的一般判别法则.其次,通过构造精确的上下解得到最小波速是线性决定的充分条件.文章的结果扩展了使得最小波速是线性决定的参数的范围,补充了已有的结果.