An existence result for a two‐phase Stefan problem arising in metal casting

We present a model arising from the thermal modelling of two metal casting processes. We consider an enthalpy formulation for this two‐phase Stefan problem in a time varying three‐dimensional domain and consider convective heat transfer in the liquid phase. Then, we introduce a weak formulation in a fixed domain, by means of a suitable transformation. Existence of solution is obtained by applying an abstract theorem. The proof of this theorem is done by taking an implicit discretization in time together with a regularization. By passing to the limit in the regularization parameter and in the time step, we obtain the existence of solution of the continuous problem. Copyright © 2005 John Wiley & Sons, Ltd.     

Positive Solutions of a Class of Quasilinear Elliptic Equations in Two-dimensional Exterior Domains

Sufficient conditions for the existence of positive solutions to a class of quasilinear elliptic equations in two-dimensional exterior domains are given.     

基于单纯形方法的双层线性规划全局优化算法

通过分析双层线性规划可行域的结构特征和全局最优解在约束域的极点上达到这一特性,对单纯形方法中进基变量的选取法则进行适当修改后,给出了一个求解双层线性规划局部最优解方法,然后引进上层目标函数对应的一种割平面约束来修正当前局部最优解,直到求得双层线性规划的全局最优解.提出的算法具有全局收敛性,并通过算例说明了算法的求解过程.     

线性方程组通解并行数值方法

1预备知识 线性方程组消息传递MIMD算法是20世纪90年代至今的活跃课题，但尚无此问题 的通用有效算法发表.用!.}.}表示矩阵列分块划分，记AX=b为[AI司.定理1、2是文 {l]、[s]成果综述和推广. 定理i[‘]设有线性方程组!e}己l，e〔尺”“m，d〔R”“‘，rank(e)=r.当且仅当rank(!     

不同方法制备的CO2-3替换磷灰石固溶体晶体化学的FTIR研究

采用不同方法制备了CO2-3替换的磷灰石固溶体,利用FTIR结合XRD对其进行了晶体化学研究,结果表明均相沉淀法制备的碳羟磷灰石(CHAP)属B型替换且替换方式是[CO3·OH]四面体替换[PO4]四面体;固相离子交换法制备的CHAP属A型替换且替换方式是[CO3]三角形配位体替换通道位置的OH-;固相反应法制备的碳氟磷灰石(CFAP)属B型替换,其替换方式是[CO3·F]四面体替换[PO4]四面体;sol-gel法制备的CHAP属AB混合型替换,其Ψ3分裂为Ψ3-1,Ψ3F,Ψ3-4.高斯函数法拟合表明Ψ3F峰是A型替换的Ψ3-2与B型替换的Ψ3-3的叠合.当WCO2-3＜3.34%时,随CO2-3含量增加,A型替换量增大,且当WCO2-3=3.34%时达最大值,当3.34%＜WCO2-3＜7.52%时,随CO2-3含量增加,B型替换量增大,且当WCO2-3= 7.52%时亦到饱和.     

关于三次素变数方程在算术数列中的解

In this paper, we give a necessary and sufficient solvable condition for diagonal cubic equation with prime variable in arithmetic progressions and the outline of the proof.     

一类二阶两点边值问题的单调迭代方法

通过改进经典的单调迭代方法对于一类二阶两点边值的问题的正解建立了单调迭代程序。这些迭代程序都是从常值函数开始的，因而是可行并且有效的。     

非齐次微分方程两点边值问题正解的存在性及多重性

本文考虑一类非齐次微分方程的两点边值问题,得到了一些有关其正解存在性与多重性的精确条件．     

一类具时滞的Liénard型方程的周期解

考虑一类具时滞的 Liénard型方程x+f[x(t) ]x(t) +g[t,x(t-τ(t) ) ]=p(t) =p(t+T) ,利用重合度理论 ,获得了此方程至少存在一个 T周期解的充分条件     

Martin Boundaries of Elliptic Skew Products, Semismall Perturbations, and Fundamental Solutions of Parabolic Equations

We consider positive solutions of elliptic partial differential equations on non-compact domains of Riemannian manifolds. We explicitly determine Martin boundaries and Martin kernels for a class of elliptic equations in skew product form by exploiting and developing perturbation theory for elliptic equations and short/long-time estimates for fundamental solutions of parabolic equations.