关于非奇异模的若干结果

本文研究了模的非奇异性和闭性的关系,进而给出了半单环的一些新的刻划。最后,给出了一个关于Artin环的定理。     

关于极大极小定理的一点注记

本文证明了关于Von Neumann型极大极小原理的许多结果,可作为论文“不动点型极大极小定理的一点推广”的直接结论。     

序Banach空间中非单调算子方程的Mann迭代求解

在序Banach空间中,运用锥与半序理论和Mann迭代技巧,研究了一类非单调算子方程Ax=x解的存在与唯一性,并给出了收敛于算子方程解的逼近迭代序列和误差估计.     

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

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

依赖注入技术及其执行过程的形式化描述

依赖注入技术指由构件运行平台在运行期根据系统配置文件中定义的构件间的依赖关系，将被调用构件实例化，并注入到调用构件之中。本文在分析研究依赖注入技术的基础上，用完全格工具形式化地描述依赖注入的执行过程。     

S关于f的交矩阵

设(U,p)是偏序为p的偏序集,U是格,f是定义在U上的正实函数,矩阵[S]f=(sij)n×n,sij=f((xi,xj)p),而(xi,xj)p是xi,xj在格U中的交,xi,xj∈S,1≤i,j≤n.ΨS,f是定义在S上的一个广义欧拉函数,这里主要是得到det[S]f与ΨS,f之间的一些关系。     

浅谈独立主格结构

独立主格结构简称独立结构(Absolute Construction)，没有主语和谓语，属于一种特殊的复合结构，所以在语法上不是句子，它由两部分组成，前半部分多用名词或代词表示逻辑主语，后半部分多用分词或不定式表示逻辑谓语，有时还有其他成分修饰，他是独立于句子之外，并通常在句子中起方式、时间、务件、原因等状语或状语从句作用主要用于书面语，是高中课本中的一个重点也是一个难点。     

美德的教化——中国古代山水诗巡礼

在人类社会中，美占有很重要的位置。马克思说：“社会的进步就是人类对美的追求的结晶。”美能净化人的心灵，其教化作用不言而喻。然而，在喧嚣浮躁的商品社会中，对物欲的疯狂追逐已使美的标准模糊不清，为了避免曾经为我们所崇敬的美德，在我们的校园中成为绝响，在学生中重建美的标准已成为当务之急。同时，这也是我们语文学科对学生进行素质教育的重要内容。     

关于凸性模的若干应用

改进和推广了Kadecˇ凸性模定理,并讨论了凸性模对无条件收敛级数和算子级数的应用.     

悬辊制管Ⅱ级管模质量问题分析和改进措施

介绍了悬辊制管的工序过程及从南方购进的悬辊制管Ⅱ级管模存在的质量问题，通过计算分析了引发这些质量问题的原因，并提出了相应的改进措施。