喷网锚在加筋土挡土墙加固中的应用

根据山东省淄博市梧台立交桥加筋土挡土墙加固的工程实际,结合理论计算,讨论了高压注浆提高锚固力的原理,提出了局部采用双层钢筋网的喷浆支护方法.结果表明,该加固方法有效地限制了墙体的侧向位移,加固效果良好,适用于失稳挡土墙加固.     

偏序BCH-代数

引入了偏序BCH-代数和广义a-结合BCH-代数的概念,很自然地在偏序BCH-代数中建立了一种偏序关系;最后,证明了由每个广义a-结合BCH-代数可以构造出一个交换幺半群。     

BCH-代数中的广义结合理想与拟右交错理想

给出了广义结合BCH-代数、强BCH-代数、BCH-代数的拟右交措理想、BCH-代数的理想、广义结合理想、次广义结合理想等概念。讨论了广义结合BCH-代数中理想与广义结合理想的关系;广义结合理想与次广义结合理想的关系;强BCH-代数与广义结合BCH-代数的关系;广义结合BCH-代数与广义结合BCI-代数的关系;BCH-代数的拟右交措理想与理想的关系.进而证明了:BCH-代数是拟右交措的当且仅当它的任意理想是拟右交措的。     

伪度量(L)*-Lindenbaum代数中基本运算的连续性

研究了伪度量L*-Lindenbaum代数中基本运算的连续性．结果表明，Fuzzy命题演算系统L*中的全体公式集上的伪度量可以在L*-Lindenbaum代数M上诱导出一个伪度量ρ，证明了M上的非运算、并运算以及蕴涵运算关于ρ都是连续的．这为在(M，ρ)上建立近似推理理论提供了方便。     

模归约算法的数学基础研究

 多项式模归约算法是计算机代数中的基本问题之一,在编码算法和密码体制设计中有着广泛应用.提出了模归约算法中的2类基本算子:字归约算子、半字归约算子,并进一步证明了2类算子的计算量具有某种形式的不变量(如果满足一定的条件),从而证明了模归约算法计算量的线性性质,为其算法设计和分析提供了理论基础.还通过实例给出了2个算子在ECC和AES密码算法中的一些应用.     

一类具有时滞捕食-食饵系统的稳定性分析

研究了一类带有时滞和对食饵具有阶段结构的捕食-食饵系统，通过线性化得到了该系统平衡点的局部稳定的充分条件．给出了解的渐近性质和阶段结构对种群持续生存的负面影响、     

局部密度函数的支持向量机估计法

研究了用局部密度函数表示连续型随机变量的未确知信息问题，给出了估计局部密度函数的支持向量机算法．     

Jordan导子的内导性

主要研究Jordan导子的内导性,从而得到套代数上任何一个导子都是内导子.     

微分代数方法求解凸二次规划问题

用微分代数方法求解凸二次规划问题,先把凸二次规划转化为带障碍项的凸规划,然后用微分代数方法求解,结果表明微分代数方法求解凸二次规划是切实可行的.     

代数体函数的一个基本不等式

本文得到了由定理2给出的代数体函数的一个基本不等式.