基于Petri网的并发编程死锁预防策略

针对并发编程中的死锁问题,提出了一种具有同步信号的并发程序的Petri网模型——S3PS(简单连续信号进程系统)网,这种Petri网子类保持活性的充分必要条件是它的虹吸非空.在此基础上,通过对严格极小虹吸加入控制弧控制S3PS网的虹吸非空,使网系统保持活性,从而解决了此类并发程序的死锁问题.应用实例表明了S3PS在并发编程建模中的可行性及其死锁预防策略的有效性.     

复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

苏-(1S,2S)-2-氨基-1-对硝基苯基-1，3-丙二醇的 酮缩合物的高产率合成

无催化剂存在下高产率制备晶态苏-(1S,2S)-2-氨基-1-对硝基苯基-1,3-丙二醇酮缩合物的新方法.苏-(1S,2S)-2-氨基-1-对硝基苯基-1,3-丙二醇与环己酮、丙酮、2-丁酮或3-戊酮在甲苯或二甲苯中恒沸脱水后冷至室温,可以直接得到漂亮的晶态缩合产物,或蒸发溶剂、并用乙醚萃取,由萃取液中获取晶态产物,收率一般高于90%.     

一族二阶导数计值迭代方法的收敛性

从带一个参数的三阶迭代族(其中包括Halley迭代,Chebyshev迭代和超Halley迭代)出发,推出避免二阶导数计算的带两个参数的迭代族.在Newton-antorovich型的假设条件下,通过用一个递推关系证明了此迭代族的三阶收敛性,并给出了非线性算子方程解的存在惟一性定理.     

一类区间时变时滞非线性广义系统的稳定性准则

研究了一类区间时变时滞非线性广义系统的稳定性问题.基于Lyapunov稳定性理论,应用线性矩阵不等式和自由权矩阵方法,给出了使得系统正则、无脉冲且一致渐近稳定的时滞相关型稳定性新准则.结果表明,所给准则可有效判定区间时变时滞非线性广义系统的稳定性,它比已有的一些结果具有更小的保守性,并且通过数值实例进行了验证.     

带非线性边界条件的二阶奇异微分系统正解的存在性

研究了带非线性边界条件的二阶奇异微分系统边值问题-u″=ΛG(t)F(u),0<t<1,u(0)=0,u'(1)+C(u(1))u(1)=0正解的存在性,其中u=(u1,u2,?,un)T,G(t)=diag[g1(t),g2(t),?,gn(t)],且gi(t)(i=1,2,?,n)在t=0处允许有奇性F(u)=(f1(u),f2(u),?,fn(u))T,C=diag(c1,c2,?,cn),Λ=diag(λ1,λ2,?,λn),λi(i=1,2,?,n)为正参数。在非线性项F分别满足超线性、次线性和渐近线性的增长条件下,运用锥拉伸与压缩不动点定理获得了该问题正解的存在性结论。     

带非线性边界条件的二阶奇异微分系统正解的存在性

研究了带非线性边界条件的二阶奇异微分系统边值问题-u″=ΛG(t)F(u),0<t<1,u(0)=0,u'(1)+C(u(1))u(1)=0正解的存在性,其中u=(u1,u2,?,un)T,G(t)=diag[g1(t),g2(t),?,gn(t)],且gi(t)(i=1,2,?,n)在t=0处允许有奇性F(u)=(f1(u),f2(u),?,fn(u))T,C=diag(c1,c2,?,cn),Λ=diag(λ1,λ2,?,λn),λi(i=1,2,?,n)为正参数。在非线性项F分别满足超线性、次线性和渐近线性的增长条件下,运用锥拉伸与压缩不动点定理获得了该问题正解的存在性结论。