Batcher—Banyan交换网络的一种竞争分解机制

文章针对ATM交换机中广为采用的Batcher-Banyan交换网络,探讨其存在的内部竞争问题,提出采用优先级输入、输出与中央混合缓存机制解决其内部竞争的一种模型。     

二阶微分方程周期边值问题的多重正解

研究了二阶微分方程周期边值问题,利用锥不动点定理以及格林函数的正性给出周期边值问题单个和多个正解存在性证明的一种新方法.     

捷联惯导系统的可观测性和可观测度研究

可观测性和可观测度分析是确定动态系统卡尔曼滤波效果的重要环节．本文首次提出了一种时变动态系统可观测性矩阵的奇异值分解分析方法，应用于捷联惯导系统初始对准过程中系统状态的可观测度分析取得显著效果，该方法为初始对准中载体最佳机动方案选择提供了依据．计算机仿真结果表明了该方法的有效性．     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

星斗山观赏植物交让木种群特征研究

对星斗山国家级自然保护区常绿落叶阔叶混交林群落中的观赏植物交让木种群特征进行了研究,结果表明:交让木种群年龄结构呈正金字塔型,是典型的增长型种群;其种群个体主要分布在群落9 m以下的垂直空间范围;在海拔梯度上,由于群落发育程度和生境条件的差异,在1 400~1 500 m梯度范围内,种群个体分布数量最多;其种群个体分布格局为集群分布模式;生命表分析显示,交让木种群DBH1径级幼苗位于群落最下层空间,与其它种群个体幼苗竞争资源和空间的优势不明显,生存能力较弱,期望寿命不高,该种群存活曲线为"Ⅱ型"存活曲线,其存活率在各生活史阶段大致相当.     

函数列一致收敛的奥斯古德定理

研究函数列的一致收敛性的理论方法问题,在有限闭区间上,给出了判断函数列一致收敛的奥斯古德定理和狄尼定理的两种形式,对奥斯古德定理给出了两种证明方法,给出了奥斯古德定理的几个推论,沟通了相关知识的联系,并通过实例说明奥斯古德定理的应用及其理论价值。在开区间或无限区间上,给出了函数列一致收敛的判别定理,并应用于研究含参变量广义积分的一致收敛性,从理论上沟通了函数列一致收敛与参变量广义积分的一致收敛的内在联系,构成一套理论方法体系。     

复变函数的微分中值定理及其应用

研究整函数的微分中值定理,得到一个新的复变函数微分中值定理.给出了复变函数微分中值定理在定理证明和计算复变函数不定式极限方面的应用.     

有限域上的仿射正交空间及应用

给出了特征数不为2的有限域Fq上的2ν δ(δ=0,1,2)维仿射正交空间AOG(2ν δ,Fq)和2ν δ次仿射正交群AO2ν δ,△(Fq)的概念,并讨论了AOG(2ν δ,Fq)在AO2ν δ,△(Fq)作用下的可迁性及一些相关的计数定理,最后给出了应用仿射正交空间构作认证码的例子。     

关于半群簇的几个判定问题

本文证明了，对于一个半群等式公理的有限集Ｅ定义的半群簇［Ｅ］，以下几个问题是可判定的：（１）是否每个Ｓ∈［Ｅ］都是正则的；（２）是否每个Ｓ∈［Ｅ］都是单的；（３）是否每个Ｓ∈［Ｅ］都是群；（４）是否每个Ｓ∈［Ｅ］都是一致周期的；（５）［Ｅ］是否平凡。     

基于流形正则化判别的因子分解

通过对非负矩阵分解(non-negative matrix factorization,NMF)和因子分解(concept factorization,CF)的分析,针对它们无法核化或忽略数据几何结构和判别信息的问题,提出了基于流形正则化判别的因子分解算法(manifold regularized-based discriminant concept factorization,MRCF).该算法用CF算法对数据进行低维非负分解时,根据流形学习的图框架理论,构建邻接矩阵保持数据局部几何结构;利用样本的标签信息,进行监督学习,给出算法多步更新规则,理论上证明了MRCF算法的收敛性.在人脸数据库ORL、图像库COIL20和手写体数据库USPS上的仿真结果表明,相对于NMF、CF及其一些改进算法,MRCF均具有更高的聚类精度.