Stancu-Sikkema算子的点态估计

本文构造了Stancu—Sikkema算子,并利用点态光滑模研究了此算子的点态逼近正逆定理.     

面向对象的模糊知识表达及推理

首先介绍了加权模糊逻辑及其在推理中的应用，讨论了面向对象的程序设计技术及面向对象的知识表达，提出了一种集框架、规则、过程于一体的面向对象的知识表达方法，介绍了呆推理机、方法推理机、规则推理机及元推理机的作用，并着重讨论了规则推理机的工作原理。     

唐宋时期的“调日法”探微

调日法是中国古代历算家发明并使用的一种实数的有理逼近算法。本文根据宋代秦九韶《数书九章》中的有关史料，探讨了唐宋历法中普遍采用的１０ｘ型与１００ｘ型之日法的调取算法。结论是，唐宋时期的调日法，与南北朝何承天（３７０－４４７年）草创的算法不尽相同。     

一类逆特征值问题

本文考虑下列问题:问题Ⅰ:给定使其中1.1表示Frobenius范数。问题Ⅱ:给定使其中S_E表示问题Ⅰ的解集合。 本文给出了解集合S_E的通式和逼近解A_(LS)的表达式以及相应的数值稳定的算法,这些结果被应用到一类新的逆特征值问题。     

求解非线性规划的序列有理规划SRP方法

基于分子，分母皆线性的两点有理逼近，本文对于非线性规划提出了序列有理规划ＳＲＰ方法，按两种情况进行了研究。第一种为ＳＲＰ－Ｌ方法，将原问题化为等效的ＬＰ问题求解；第二种为ＳＲＰ－Ｑ方法，将原问题化为等效的ＱＰ问题求解。本文的工作说明，两点有理逼近函数对于进优化方法是有益的。     

关于一个复合Poisson定理

最近,王尧弘[4]证明了一个复合Poisson收敛定理,从而将Poisson逼近定理推广到了更为一般的情形。对于他的两个主要条件中的第一个,他猜测可以用较弱的限制去代替;至于第二个条件,他认为已不能再放宽了。本文的目的在于证明:对于他的结论而言,第一个条件已不能再减弱了;但是第二个条件是能够再放宽的。     

Exchange环的K0群的正向凸子群格

本文证明了：(1)Exchange环R的K0群的正向凸子群格同构于R的稳定余有限半本原理想格；(2)稳定有限、半本原的exchange环R是单的当且仅当它是K0-单的并且满足逼近弱s^*—可比性，推广了Goodearl，Ara等人的结果。     

用概率方法证明系列加权均值不等式

从两个特殊的Jensen不等式推导系列加权均值不等式.