奥里乳化油与孤岛油掺炼生产重交通道路沥青技术

将奥里乳化油与孤岛原油混炼生产重交通道路沥青，既缓和了乳化油的破乳脱水条件，又改善了所生产沥青的性质。实验室及工业试验研究结果表明，两种原油以不同比例混合可以生产符合ＳＨ０５２２９２的１００号道路沥青和ＧＢ／Ｔ１５１８０及ＪＴＪ０５２９３的重交通道路沥青系列产品，产品质量达到国际同类产品先进水平。     

一类无穷域上分数阶微分方程正解存在性

针对无穷域上非线性半正高阶分数阶微分方程多点边值问题正解的存在问题,采用Schauder不动点定理以及迭代的方法,研究该方程正解的存在性,给出了正解的存在条件.结果表明:对于无穷域上非线性半正高阶分数阶微分方程多点边值问题正解的存在性的证明,不需要使用复杂的对角化过程,即可得出结论,方法比以往更一般化、简单化.     

分数阶微分方程积分边值问题正解存在性

为考察一类非线性分数阶微分方程在积分边界条件下正解的存在性,利用格林函数和Guo-Krasnoselskii不动点定理,研究了分数阶微分方程积分边值问题的正解,并得到了积分边值问题至少存在一个正解的判别准则.结果表明:这类分数阶微分方程边值问题的正解具有存在性,所得的结论丰富了分数阶微分方程正解的存在性的研究成果.     

拟线性分数阶高阶脉冲微分方程边值问题解的存在性

研究了以下一类拟线性分数阶高阶脉冲微分方程边值问题{Dq0+y(t)=A(t,y)y(t)+f(t,y(t),Φy(t),Ψy(t)),■t∈[0,1],q∈(n-1,n],y(i)(0)=0,Δy(i)|t=tk=0,1≤i≤n-2,k=1,2,…,p,Δy|t=tk=Ik(y(t k)),Δy(n-1)|t=tk=Jk(y(tk)),k=1,2,…,p,y(0)=y0+g(y),y(n-1)(1)=y1+∑m-2j=1bjy(n-1)(ξj)解的存在性。通过定义一个压缩映射并利用Banach不动点定理和Krasnoselskii's不动点定理,得到了边值问题存在唯一解和至少存在一个解的充分条件,最后分别给出一个例子来验证主要结果。     

高阶分数阶微分方程边值问题正解的存在性

研究了一类非线性分数阶高阶微分方程边值问题正解的存在性,通过对相应分数阶Green函数的研究,并利用Banach不动点定理和Guo-Krasnosel＇skii不动点定理,得到方程存在唯一正解和至少存在一个正解的充分条件,最后给出一个例子来验证其中的主要结果.     

经典二值逻辑系统(L)中的MT问题

引入了最大前提的概念,研究了二值逻辑系统(L)中GMT及多重GMT规则的语构理论,实现了FMT问题的形式推理机制,最后给出了最大前提与根的关系,从而说明了MP与MT问题可互相转化.