POSITIVE SOLUTIONS OF NONLOCAL BOUNDARY VALUE PROBLEM FOR NONLINEAR RETARDED DIFFERENTIAL EQUATION

§1　IntroductionAt present,boundary value problems (BVPs) are widely investigated with variousmethods and techniques. BVPs with integral boundary conditions constitute a veryinteresting class of problems such as multipoint,three-point,four-point and nonlocalboundary value problems which are considered by many authors.And the existence ofpositive solutions for these problems becomes the subjectof many papers[1—6] .In a recentpaper[7] ,the authors have studied the existence of positive solut…     

NONLOCAL INITIAL PROBLEM FOR NONLINEAR NONAUTONOMOUS DIFFERENTIAL EQUATIONS IN A BANACH SPACE

The nonlocal initial problem for nonlinear nonautonomous evolution equati-ons in a Banach space is considered. It is assumed that the nonlinearities havethe local Lipschitz properties. The existence and uniqueness of mild solutionsare proved. Applications to integro-differential equations are discussed.The main tool in the paper is the normalizing mapping (the generalizednorm).     

Winograd矩阵乘法算法用于任意阶矩阵时的一种新处理方法

摘要t矩阵乘法StraSsen算法及其变形winograd算法用分而治之的方法把矩阵乘法时间复杂性由传统的D(n。)改进到0(佗kg。n.但是对于奇数阶矩阵,在划分子矩阵时,要作特殊处理才能继续使用此算法.本文提出了一种非等阶“十”字架划分方法,可以最少化填零,最大化性能,使得奇数阶矩阵乘法的时间复杂性更加接近偶数阶矩阵乘法的效果.计算实例显示该方法是有效的.     

ULTIMATE BOUNDEDNESS FOR A DIFFERENTIAL DELAY MODEL

This paper considers the scalar differential delay equation x(t) = -μx(t)-f(x(t-Τ(t)), t). By using the mapping method we obtain that the solutionswill be ultimately in some interval.     

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

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

OXIDATION OF TiAl,Ni AND Fe IN A DYNAMIC ENVIRONMENTAL SEM

IntroductionInmaterialscience,differentmicrostructuresofthesamematerialsmayinducediversebehaviorsanddifferentcharacteristics.Westwood(1988)showed,asanexample,thatthetreatmentofaluminumsurfacewithcommercialphosphoricacidproducedmechanicallyinterlockedoxide搘hiskers?approximately10nmindiameterand400nminlength,whichmechanicallyinterlocked.Thismicro-structurecankeepsuchaconglomeratebondedoverconsiderablerangesofstressandtemperature.Inahumidatmosphere,especiallythatcontainingchlorine,however,suchox…     

利用电泳技术在不锈钢和铁基底上制备MgB2带材

本文首次报道了利用电泳技术在铁和不锈钢基底上制备MgB2超导带材.电阻测量表明,沉积在铁和不锈钢基底上MgB2带材的超导零电阻转变温度分别为37.5K和31K,超导转变宽度分别为0.3K和1K.磁测量表明,(5K,OT)时不锈钢基底上带材的临界电流密度为6×105(A/cm2).X射线衍射谱和扫描电子显微镜图象表明样品结晶良好,晶粒生长致密.本工艺制备MgB2带材时不受系统真空度的限制,生长迅速,成本低廉,并且可以根据不同的需要任意选择基底的形状和大小.     

一个在水稻胚胎中差异表达基因的分离鉴定

通过筛选水稻开花后48～50h的原胚和120～122h的分化胚的cDNA文库,得到一个在胚胎发育过程中表达有差异的克隆,命名为OsEES,测序结果显示OsEES含有一个预测的亚精氨合成酶结构域,编码一个大小约38×103(pI6.5)的蛋白.同时RNA原位杂交的结果显示开花48～50h的原胚中的信号强度明显大于开花120～122h的分化胚,表明OsEES可能在水稻胚胎发生过程中起到一定的调控作用.     

多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．     

Bio-regeneration of p-complexation desulfurization adsorbents

More and more stringent regulations of gasoline and diesel oil were proposed with the awareness of environmental protection. Hydrodesulfurization (HDS) is a conventional method to remove sulfur compounds for industrial purpose. The main drawbacks of this …