p-Laplacian算子边值问题在半正无穷区间正解的存在性

讨论有关p-Laplacian算子的边值问题在半正无穷区间正解的存在性．首先讨论有限区间上正解的存在性，把边值问题转化成全连续算子方程．根据不动点定理得出算子方程不动点的存在性，由更替定理相应得到有限区间上p-Laplacian边值问题正解的存在性．再由Arzela—Ascoli定理把有限区间延伸到半正无穷区间，得出无穷区间边值问题正解的存在性。     

非线性浅水波方程组的精确解

用试探法给出浅水波方程组的精确解 ,并拓展该方法     

不同表面活性剂在盐酸介质中对钢的缓蚀协同效应

用失重法研究了在盐酸介质中，十二烷基苯磺酸钠(DBSAS)和非离子表面活性剂聚乙二醇辛基苯基醚(OP)对钢的缓蚀协同效应，讨论了产生协同效应的原因。     

基于活动对象的面向对象测试策略研究

提出基于活动对象的面向对象测试策略，给出三种覆盖标准，用以处理由面向对象新特性带来的问题。其中，所有定义-使用对覆盖标准主要用于指导测试设计者设计验证对象生存期的动态行为的测试用例；所有绑定覆盖标准主要用于解决继承和多态问题，以及执行了哪个绑定；所有交互覆盖标准主要用于解决方法间的数据共享问题。     

SRAM的一种可测性设计

用ETCO算法对SRAM进行了内建自测试设计．首先说明了设计的原理，进而对电路中所用的各个单元电路进行了设计，主要包括地址计数器、数据计数器和BIST控制器等．设计出的电路可针对具体的故障模型设置相应的测试长度，从而获得预期的故障覆盖率．测试时不需存储正确响应，并可通过一个响应标志位表示检测的结果．可测性部分对电路硬件的开销较小，所设计的电路在工作站上已成功通过仿真，此电路可广泛应用于嵌入式SRAM，以降低电路的测试难度．     

线性方程组解的判定定理和结构定理

给出了不同于一般高等代数教科书中线性方程组解的判定定理和结构定理．     

抽象空间传染病模型非线性积分方程的整体解

利用分析方法和非紧性测度理论，讨论了抽象空间传染病模型非线性积分方程整体解的渐近行为及整体解集的特点。     

论厚板问题的基本解

文章利用Ｈｏｒｍａｎｄｅｒ算子法将计入横向剪切变形的厚板的基本解表示成一个标量函数及其微分的线性组合。文中分别就两参数地基厚板，各向同性厚板，两参数地基上对称叠层厚板和对称叠层原板四种情况加以讨论，采用一种较为系统的方法，求出了相应的四种标量函数。     

n维具有时滞的Lienard型方程的周期解

本文讨论具有周期扰动项的ｎ维具有时滞的Ｌｉｅａｒｄ型方程ｘ＋δ＾２Ｆ（ｘ）／δｘ＾２ｘ＋ｇ（ｔ，ｘｔ）＝ｐ（ｔ）的周期荽问题，得到了存在周期解的若干充分条件。     

三阶非线性微分方程正解的存在性

证明了非线性三阶微分方程ｕ＾ｍ＋ａ（ｔ）ｆ（ｕ）＝０满足下列条件之一：ｕ（０）／０，ｕ‘（０）＝０，ｕ（１）＝０；ｕ（０）＝０，ｕ’（０）＝０，ｕ‘（１）＝０；ｕ）＝０，ｕ’（０）＝０，ｕ〃（１）＝０；ｕ（０）＝０，ｕ″（０）＝０，ｕ（１）＝０；ｕ（０）＝０，ｕ″（１）＝０，ｕ‘（０）＝０，ｕ″（０）＝０，ｕ（１）＝０的两点边值问题正解的存在性，只要ｆ（ｕ）于两个端点ｕ＝０和ｕ＝＋∞处或者是超线性