累次极限换序的一个充分条件

本文对于二元函数的累次极限的换序给出了一致收敛这一充分条件。     

两指标鞅的一致收敛速度及对于平稳随机场的应用

根据平面格点序:(s_1,s_2)≤(t_1,t_2)当且仅当s_1相似文献   

球电流壳磁场的计算

计算的结果表明，球壳内的磁场是均匀的，可用此方法在一定范围内获得均匀磁场．     

具有柱状夹杂无限体均匀变温问题的闭合解

研究具有柱状夹杂无限体的均匀变温问题，其中夹杂与基体材料不同但具有相同的剪切弹性模量。应用复变函数方法及其分区全纯函数理论，结合Riemann边值问题的研究成果，求得了问题的闭合解，作为特殊情形得到了单圆柱形夹杂时的精确解。     

具有变时滞的偏泛函微分方程平凡解的一致渐近稳定性

运用Ｒａｚｕｍｉｋｈｉｎ技巧．对两类具有变时滞的偏泛函微分方程进行了讨论．获得其平凡解一致渐近稳定的充分判别条件．     

均匀设计在氯乙酸乙酯合成中的应用

文章采用均匀设计法探讨了固体超强酸Ｆｅ２Ｏ３／ＳＯ２－４催化酯化合成氯乙酸乙酯的工作条件。试验设计合理、操作简单、省时省力。酯化工艺“三废”少,得率达８０％以上。     

扩散的非自治Lotka-Volterra型竞争斑块系统的概周期解

本文考察了非自治Lotka-Volterra型竞争斑块系统，在已得到的系统最终有界性基础上，利用Liapunov函数，研究了对应概周期系统的正概周期解的存在性、唯一性以及全局渐近稳定性。     

一致凸线性距离空间的最佳联合逼近性

本文证明了一致凸线性距离空间存在唯一的最佳联合逼近元。     

A VERIFICATION METHOD FOR COMMUNICATION PROTOCOLS MODELED AS COMMUNICATING EXTENDED FINITE─STATE MAC

本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出了基于该模型的形式检证法，试制了检证系统．该检证法不需要假定信道的有界性．对于给定的通信协议，检证系统将判定其对指定状态的可到达性．做为检证例，从ＯＳＩ参照模型中抽出了大同步点设置功能单位，就“无死锁”、“无传输错误”等性质进行了实际检证     

差分方程xn+1=(α+βxn+γxn-1)/(A+Bxn+Cxn-1)两个猜想的证明

证明差分方程xn 1=α βxn γxn-1A B xn Cxn-1,n=0,1,…当C∈(0, ∞)时每个非负解是有界的.