具有混合边界条件的地下水污染模型的强解存在性

给出具有混合边界条件的地下水污染模型的弱解和强解定义，用积分估计法得到了强解（如果存在）的先验一致估计，利用半－Ｇａｌｅｒｋｉｎ方法和紧性原理证明了上述方程组强解的局部存在性     

人工神经网络在汽轮发电机局部放电模式识别中的应用

阐述了局部放电测量对大型汽轮发电机定子绝缘状况诊断的重要性。针对大型汽轮发电机定子绝缘中３种主要放电形式，进行了大量模拟试验，获得了３种放电的相位Φ、放电量ｑ及放电次数ｎ的三维特征谱图。采用多层前馈神经网络来分析局部放电三维特征谱图的统计数据，以实现电机中局部放电的模式识别，取得了很好的效果。     

C^r映射芽的γ阶导网的v—充分性

本文给出了Ｃ＾ｒ映射芽的γ阶导网是ｖ充分性的充分条件，推广了（１）中的结果：给出了拟齐次多项式是ｖ充分的充分条件。     

几类周期系统的局部周期解

本文讨论了几类周期系统分支函数的零点求法，并给出当系统的右端函数为代数多项式时零点个数的最小上界与多项式的阶数之间的关系，从而确定了相应系统的局部周期解的个数的上界。     

局部积流形的半不变子流形

本文讨论了局部积流形的半不变子流形，得到了关于这类子流形的微分向何方面的一些重要结果。     

一类粗糙极大算子交换子的加权有界性

设O<α1,S~(n-1)为R~n中的单位球面.那么称算子为带粗糙核的分数次极大算子.显然,当Ω=1时,M_Ω,α即为通常的分数次极大算子,此时简记为M_α.     

平行向量场与Jacobi场的关系

本文讨论了平行向量场与Ｊａｃｏｂｉ场的关系，证明了若Ｍ为具非负曲率的局部对称空间或Ｍ为具双不变度量的李群，γ：（－∞、＋∞）→Ｍ为测地线，Ｅ为γ上之平行向量场且ｋ（γ∧Ｅ）＝０，则Ｅ为Ｊａｃｏｂｉ场。     

P－Sasakian流形是局部积流形的超曲面

四元数Ｋａｈｌｅｒ流形受到极大的关注，经常出现在数学与数学物理的不同的领域中．一类黎曼－爱因斯坦流形的几何及拓扑性质与四元数Ｋａｈｌｅｒ流形密切相关，这些流形都具有Ｓａｓａｋｉａｎ结构，特别在一个具有正数量曲率的四元数Ｋａｈｌｅｒ流形上的ＳＯ（３）－主丛上，存在Ｓａｓａｋｉａｎ结构．通过对已有结果进一步的研究，证明了每一个Ｐ－Ｓａｓａｋｉａｎ流形都是某一个局部积流形的超曲面．     

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

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

一致二部竞赛图的计数

研究了一种局部有序－无序排列的计数问题和一致二部竞赛图的某些性质。通过讨论，解决了标定一致二部竞赛图的计数问题，并获得了一个简明计算公式。