运用语义对象模型进行数据建模

数据建模是建立用户数据视图的模型过程,而语义对象模型是用来文档化用户需求并建立数据模型的,然后将数据模型转化为数据库设计,而数据库设计表征了DBMS用户所需求的那些项目,本文通过一个实例探讨了运用语义对象进行数据建模。     

局部紧拓扑半群上概率测度卷积幂的一个强极限定理

设S是局部紧第二可数Hausdorff拓扑半群,μ∈P(S)是S上的概率测度,本文利用不变测度证明了卷积幂序列{μ“}的一个强极限定理.     

求最大公约数表出系数的初等变换法

本文利用矩阵的初等变换方法给出了求最大公约数表出系数的一种简便方法。     

平面上随机微分方程的一个极限定理

考虑平面上的随机微分方程 {dXn（z）=fn（z,Xn（z））dz＋gn（z,Xn（z））dw（z） z∈R＋^2/δR＋^2 Xn（z）=Φn（z） z∈δR＋^2 讨论当系数和边界过程fn,gn,Φn分别趋于f,g,Φ时,对应解的收敛性。     

单边概率不等式的一种初等证法

1 引言单边概率不等式在概率论中起着极为重要的作用。本文介绍这类不等式的一种初等证法,这种证法以微积分中的求极值方法为基本工具,一般理工科大学生容易掌握,而且从我们下面所给出的例子也可看出,这种方法可以得到比较精确的结果。     

一类具连续分布型微分方程的周期解的存在性

利用重合度理论中的延拓定理讨论了一类具连续分布型微分方程 x· (t) =grad G(x(t) ) +f (t,∫0-rH (s) x(t+s) ds)的周期解的存在性 ,建立了周期解存在的充分条件     

关于一个矩阵的秩的等式

结出矩阵的秩的等式rank(A8-E)=rink(A—E) rank(B—E)成立的四个充要条件。     

关于一类时滞随机微分系统常返性的一点注记

在与《湖北师范学院学报》(自然科学版)2005年第3期徐侃先生的《M arkov调制的时滞随机微分方程的常返性》不同的条件下,证明了M arkov调制的时滞随机微分方程解的常返性。     

指导毕业论文的两个教学实例及分析

对如何指导数学专业毕业生撰写毕业论提出了自己的一些看法，并根据自己的教学实践，给出了二个实例及分析。     

特征标环Rk(—)(G)的一个性质

在特征为0的任意域K上，给出了在Rk^-(G)上的诱导定理的逆命题，并证明了对某个子群簇，若在Rk(G)上的诱导定理成立，则在Rk^-(G)上相对于这个子群簇的诱导定理也成立，反之亦然，该定理加强了已有的结果。