一次同余式组的两种求解方法

运用矩阵的初等变换法和不定方程求解法,给出了求解同余式组的两种简便方法.     

探索型CAI课件的设计与实现

本文首先给出了基于超媒体技术的探索式ＣＡＩ软件的设计思想,然后给出了该系统的系统结构以及各个组成部件的设计方法,并着重讨论了系统设计和实现中的几个关键问题和相应的关键技术。     

凸函数的性质与判断

给出了简单单变量凸函数的定义,描述了凸函数的性质及在R^n中的推广,最后给出凸函数的判断方法。     

一类具无穷时滞泛函微分方程周期解问题的研究

引入(BC-∞,P)空间,综合应用Liapunov泛函方法以及Schauder不动点定理,讨论了一类具无穷时滞泛函微分方程x′(t)=(ft,xt)的周期解的存在性问题,将Yoshizawa定理推广到具无穷时滞滞后型周期泛函微分方程上去,得到周期解存在性更为科学的证明方法.     

广义范德蒙行列式及其应用

给出了通常的范德蒙(Vandermonde)行列式的一种推广形式,并从实用角度给出了广义Vandermonde行列式的应用方法,进一步论证了广义Vandermonde行列式的计算公式应用的可靠性和可操作性.     

积分上限函数的性质研究

给出了积分上限函数的定义,通过对积分上限函数的可导性、单调性、连续性、可积性的证明,进一步来探讨积分上限函数的性质,推导出几个相关定理,指出积分上限函数的应用.     

连续函数的单调性及凸凹性研究

利用Schwarz导数和单侧导数分别给出了判断函数单调性和函数凸凹性的几个判定定理．     

Gamma 函数的对数完全单调性

研究了函数Γ(αx 1)ααxΓα(x 1)满足x∈(0, ∞)和α>0情况下的对数完全单调性.利用所得结果可以导出几个关于Gamma函数的不等式.