计算关系数据库模式的候选关键字的一个有效算法

给出计算关系数据库模式R的候选关键字的一个有效算法．算法利用函数依赖中的属性“排列”去决定哪些是主要的，有用的；哪些属性可不被考虑，从而找出R的候选关键字．

数学建模·数学实验·数学创新

数学建模与数学实验是以数学创新为目标 ,以培养学生的创新精神和实践能力为重点 ,造就信息时代数字化人才的课程 ,是使数学教育走向计算机化的教学轨道的基础 ,是数学创新教育的需要。彻底改革数学教育 ,全面推进素质教育 ,把数学建模和数学实验凸现于数学学科的课程建设之中 。

函数的最小正周期与福里哀系数

给出了一个利用福里哀系数求非常值的连续周期函数的最小正周期的有效方法．

高维时滞差分系统的持续生存性

以改进了的Ｒａｚｕｍｉｋｈｉｎ技巧为基础，将持久函数法推广到时滞离散摸型，得到了时滞离散模型一致持续生存的一些判别准则，且避免了求Ｒａｚｕｎｕｋｈｉｎ条件中的Ｐ函数，同时给出了应用上更为方便的一个推论。

高维非自治离散系统的平稳振荡

在高维非自治离散系统中引入强非常稳定的概念，建立了一般性平稳振荡定理．对于具体系统运用这一定理，得到了一些较好的结果．

面向对象的软件重用成熟度模型

一、前言 1.软件成熟度模型CMM 软件成熟度模型CMM由SEI的Waffs Humphrey首次在1986年提出,最初命名为软件过程成熟度模型(Software Process Maturity Model),它支持组织通过开发基础结构,以便获得一个严格的、成熟的软件过程.改善的过程以高质量的软件开发作为目标,同时对软件项目的开发时间和费用进行有效的跟踪和监控.1989年,Waffs Humphrey重命名为Capability Maturity Model(简称CMM),CMM增加了对组织开发能力的评估.CMM提供了一个不同的"成熟”层次[1,2],见表1.

IPv6安全特性的分析与应用研究

在对IPv6和IPv4两种协议进行比较的基础上,重点分析了IPv6的安全特性,提出了一种增强IPv6安全特性的新思路,并就新协议IPv6-s的设计思想、发送端的加密和接收端的解密进行了简要描述,最后探讨了具有安全特性的IPv6的应用。

单形内任一点的一个含参不等式

本文证明了与ｎ 维单形内部任意一点有关的一个含参数不等式，并应用它得到了几个与ｎ 维单形体积有关的不等式．

牲猪销售的最佳时期

为使牲猪饲养者获得最大利润,本文利用数学模型,分析了牲猪销售的最佳时期。

映射柱的性质

研究了复形映射柱的性质，给出了两个有意义的结果．

Nest代数上的*可乘映射

给出了Ｈｉｌｂｅｒｔ空间中Ｎｅｓｔ代数Ａｌｇ上*可乘映射的形式．

非自治时滞对数多种群模型的周期正解

通过使用重合度理论中的延拓定理和Lyapunov泛函的某些技巧研究了一类非自治时滞对数多种群系统的周期正解的存在性和全局吸引性,改进和推广了一些已知的结论。

NEST代数的某些结果

简要介绍Nest代数上取得的一些研究新进展．

扩散与外界干扰对生物资源的影响

通过对一类具有扩散和外界干扰的生态系统的的研究,获得了该系统正平衡态局部稳定和全局稳定的几个条件,这些结果表明了扩散和外界干扰对生物资源有非常重要的影响。

用边界公理建立拓扑

首先给出边界公理的定义，然后证明边界公理与开集公理的条件等价．从而证明可以从边界公理出发建立拓扑空间的概念．

Nest代数上的保反零积线性映射

给出了Nest代数algN上的弱连续的保反零积线性映射的形式

具扩散单种群离散Kolmogorov模型的渐近性

讨论了缀块环境中单种群Ｋｏｌｍｏｇｏｒｏｖ 离散模型的渐近性。利用不变原理获得了所有解都是最终有界的，进一步应用离散动力系统中单调凹映射的性质，我们得到了系统存在一个全局吸引的平衡态。

Nest代数某些理想中的秩一算子

设N是可分复Hilbert空间上的完备Nest，文［1］讨论了Nest代数a的n重Jacobson根．并给出了一个子集TNalg．本文将证明：tn是alg的理想，且特征化了Tn中的秩一算子．

非线性时滞差分方程解的振动性

讨论了时滞差分系统 y_(n+1)-y_n+P_nf(y_(n-k))=0 n=0,1,2,…(y≠0)的振动性,得到了上式方程解振动的一组充分条件.

标准算子代数上的加权核值保持映射

在给出加权(B,C)的核值保持映射定义的基础上,证明每个含单位元的标准算子代数上的弱算子拓扑连续的加权(B,C)的核值保持映射有如下形式φ(T)=ATB+CTD,其中A,D∈B(X).