基于值域包含的不适定算子方程的收敛速度

讨论了不适定的算子方程Af=Bg的收敛速度问题.方程的不适定是指方程的解对初始条件缺乏连续依赖的性质.这里的算子B是定义在某个恰当的Hilbert空间上的算子,它可能是无界算子,而且有值域包含关系R(A)■R(B).     

含(g,η)-单调算子的完全广义拟变分包含

引入和研究了一类新的含（g,η）-单凋算子的广义拟变分包含,在Hilbert空间中运用与（g,η）-单调算子相联系的预解算子性质,构造了一类求变分包含逼近解的迭代算法,并讨论了由此算法产生的迭代序列的收敛性．     

用扰动逼近算法解广义混合拟-似变分包含

本文在无限维实Hilbert空间中引入和研究了一类广义混合拟-似变分包含问题GMQLVIP(A,B,C,D,F,η,φ),在η-次微分和η-近似映象等概念的基础上,证明这类广义混合拟-似变分包含问题的一个等价命题,即设x∈H,a∈A(g(x)),b∈B(x),c∈C(x),d∈D(x),f∈F(x),则(x,a,b,c,d,f)为问题GMQLVIP的解当且仅当(x,a,b,c,d,f)满足关系g(x)=JΔφ(·,f)ρ(g(x)-ρ(a-N(b,c,d) w)),提出了求该变分包含近似解的扰动η-逼近算法,并且该算法的强收敛性也被讨论和分析,所得结果改进和推广了在这个领域最近的一些结果.     

Banach空间中时滞型多值积分微分包含

讨论了Banach空间中时滞型积分微分包含.利用Banach空间中半线性微分方程的理论和方法、Hausdorff非紧测度和不动点定理,得到半群在失去紧性的条件下上述方程适度解的存在性,改进和推广了先前一些已有的结果.     

保持算子值域或核包含关系的可加映射

设B（ X）是无限维复Banach空间X上有界线性算子全体组成的Banach代数。研究了B（ X）上双边保持值域（或核）包含关系的可加满射。设φ是B（ X）上双边保持值域（或核）包含关系的可加满射,则存在X上的可逆有界线性或者共轭线性算子U和V使得橙T∈B（ X）,有φ（ T）＝UTV。     

分数阶微分包含三点边值问题正解的存在性

利用不动点定理,研究一类分数阶微分包含三点边值问题正解的存在性,给出该三点边值问题至少存在2个正解的充分条件.     

Banach空间中H-η-单调算子的变分包含混合逼近点算法

推广了Verma的关于Banach空间中变分包含的混合逼近点算法,它和在Hilbert空间中的结论不同,这样关于变分包含的研究就可以应用到Lp,Wm·p(Ω)空间中,其中p＞1.     

描述逻辑ALC基于RBox的推理

针对RBox表达能力受限于简单角色的问题,研究了在角色包含公式中允许出现一类由合取和析取构造子连接的复杂角色,并且TBox和ABox均为空集的情况下ALC概念的可满足性问题,设计了可满足性检测表算法,分析了算法的终止性,证明了可靠性和完备性,最后讨论了复杂度.理论分析表明,此时ALC概念的可满足性问题是可判定的,并且复杂度为ExpTime.     

酶解-超声法破碎大肠杆菌提纯包含体

大肠杆菌的破碎方法对包含体的纯度有较大影响.采用酶解和超声波相结合的方式进行了大肠杆菌的破碎实验研究,考察了溶菌酶用量、酶解温度、超声处理功率和时间等因素对菌体破碎程度的影响,通过测定破碎液的A650,A280,A260 nm来反映细胞的破碎程度和胞内蛋白及核酸物质的释放情况.在优化的条件下,每克湿菌体添加2 mg溶菌酶,30 ℃酶解60 min、500 W超声破碎50次后,经分离洗涤可获得纯度达57%的包含体.本方法可获得纯度更高的包含体,利于重组蛋白的进一步纯化.     

非线性抛物型微分包含积分解的生存性及正则性

研究Banach空间中受极小映射扰动的非线性抛物型微分包含积分解的生存性及正则性.利用非线性半群及极小映射的性质和不动点定理,证明其积分解的生存性,获其积分解之间按Housdorff距离的连续性.借助Lip-schitz条件、绝对连续函数的性质及Banach空间的自反严格凸性,获其积分解的唯一性且是强解.所获结果对受此类微分包含约束的分布参数最优控制问题的探讨奠定理论基础,同时有助于研究相关的非线性微分包含。