黎曼.斯帝阶斯积分的存在条件

Ｐ．Ｎａｌｌｉ和Ｇ．Ａｎｄｒｅｏｌｉ曾发表了关于黎曼．斯帝阶斯积分的存在条件，陈建功和严绍在一篇论文中指出该条件的充分性的原证有误，并给出了一个严格的证明，但证明较繁杂。本文对该条件的充分性给出了一个简短的证明。     

基尔霍夫定理与惠更斯原理的修正

本文从基尔霍夫定理出发，通过定义一种取向垂直于液阵面的时空偶极子，用它们取代惠更斯原理中波阵面上的点波源，它们只发出向前传播的浪，不产生向后传播的波，这样就克服了惠更斯原理不加说明舍弃了子波向后传播部分的困难。     

一类拟线性椭圆型方程解的最大值原理

文章主要讨论了一类拟线性椭圆型方程解的最大值原理及其三种比较典型的边值问题，得到了解的泛函的最大值原理。Ｐ．Ｗ．Ｓｃｈａｅｆｅｒ和Ｒ．Ｐ．Ｓｐｅｒｂ）曾研究过该问题，但他们对原方程的要求比较严。本文构造了一种新的泛函，这样就对原方程的要求减弱了。从而推广了Ｐ．Ｗ．Ｓｃｈａｅｆｅｒ和Ｒ．Ｐ．Ｓｐｅｒｂ的相应结果     

非线性映象零点定理的推广

本文引入一类次单调映象，给出了这类映象方程的一个零点定理     

椭圆变分不等式的小扰动

研究Ｂａｎａｃｈ空间中椭圆变分不等式的扰动问题，得到了扰动问题存在唯一解的一个充分条件；并用它处理了一类半线性微分积分方程的边值问题．设Ｖ是可分自反Ｂａｎａｃｈ空间，Ｖ′是Ｖ的对偶空间，Ｋ是Ｖ中非空闭凸子集，则有定理１设Ｔ：Ｖ→Ｖ′，Ａ：Ｋ→Ｖ′，且满足（ｉ）Ｔ是有界线性算子，存在常数α＞０，使得（Ｔｖ，ｖ）≥αｖ２，ｖ∈Ｖ；（ｉ）Ａ是伪单调算子，存在常数λ＞０，使得（Ａｕ－Ａｖ，ｕ－ｖ）≤λｕ－ｖ２，ｕ，ｖ∈Ｋ；（ｉｉ）α＞λ．则存在唯一的ｕ∈Ｋ，使得（Ｔｕ，ｖ－ｕ）＋（Ａｕ，ｖ－ｕ）≥（ｆ，ｖ－ｕ），ｕ∈Ｋ     

一类可变状态端点的最优控制问题（Ⅱ）

讨论了一类可变状态初，终点的最优控制问题，利用凸锥理论，推得了Ｐｏｎｔｒｙａｇｉｎ最大值原理，对线性系统，讨论了最大值原理的充分性问题。     

一种考虑数据截尾的非参数软件可靠性模型

通过分析数据截尾对软件可靠性模型的影响，建立了一种考虑数据截尾的非参数软件可靠性模型，为的是克服一般参数模型假设约束过紧的问题，并能在估计失效率的同时估计残存缺陷数．同时，提出了基于非参数统计的软件失效率单调下降性检验方法，在加权核函数估计中引入数据截尾率作为加权系数和优化参数，并用失效率单调下降约束下的加权核函数方法来估计失效率和残存缺陷数．模拟试验和实例分析表明，所提模型可以较好地处理截尾数据，给出残存缺陷数的合理估计，其失效率估计精度较高，不低于较好的传统模型．     

圆筒包装带自动编织机的设计和改进

目前随着机电一体化水平的提高，采用简化机器传动路线、计算机控制、无人操作成为一种趋势。本文对圆筒包装带编织设备的编织原理进行改进，采用多电机传动，计算机控制技术，提高了产品技术含量。     

非线性抛物型方程时间周期解的有限差分方法(英)

建立了一个用于求解非线性抛物型方程时间周期解的有限差分方法，在空间和时间方向上该方法分别具有四阶和两阶精度. 为了证明解的存在唯一性，建立了一个单调迭代算法，该算法也给出了一个求解算法. 同时讨论了数值解的收敛性. 数值结果显示了该方法的优越性.     

具有扩散的自助模型的有限差分解(英)

研究具有扩散的自助模型的有限差分解.首先建立一个单调迭代格式用于求解有限差分方程组;然后讨论非负解的存在唯一性,对不同的参数,证明方程组有四种不同类型的非负解,且这些非负解可以通过选择合适的初始迭代由迭代格式计算而得到;最后给出一些数值结果.