PIM整环上一元多项式环的任一个主理想非极大

设R是主理想整环,若R有无穷多个极大理想,则称R是Principal Ideal Maximal整环,简称为PIM整环。设x是PIM整环R上的未定元,R[x]是R上的一元多项式环,证明了R[x]的任一个主理想非极大理想。     

一种新的核广义鉴别特征抽取方法

在基于核的广义鉴别特征模型的基础上,提出了一种新的核广义鉴别特征抽取方法。利用空间变换的有关理论,使得变换后的核总体散布矩阵满足非奇异性;同时通过核共轭特征抽取方法,抽取满足核共轭正交条件的特征向量,使抽取的特征满足统计不相关性。在ORL人脸库上的实验表明了所提方法的有效性,达到了比核鉴别分析等方法更好的识别效果。     

局部对称共形平坦空间的子流形

讨论了局部对称共形平坦空间中常中曲率子流形的一些性质,得到常中曲率子流形余维数减少的两个Pinching条件。     

关于Ginzburg－Landau超导模型的渐近行为

最近，Ｂｅｔｈｕｅｌ－Ｒｉｖｉｅｔｅ研究了稳态Ｇｉｎｚｂｕｒｓ－Ｌａｎｄａｕ超导模型在给定边界切向电流条件之下，其极小素在小参数ε→０时的渐近行为．得到了它们的子列在中收敛到一个调和映照的结论。其中αｉ是奇点．ｄ＞０是边界上切向电流的拓扑度。本文通过一系列更精细的估计，把这种收敛性推广到和中去．其中ａ∈（０，１），ｋ为任意正整数。     

带有多项分数阶导数的微分方程边值问题解的存在性

自然科学中的许多实际问题可以用分数阶微分方程模型来描述,并且分数阶微积分和分数阶微分方程已经成为处理某些实际问题的重要数学工具。利用压缩映象原理、Krasnoselskii不动点定理和非紧测度理论研究一类带有混合边值条件的分数阶微分方程,并获得了非线性项在满足不同的条件下方程解的存在性和唯一性结果。这些结果推广了经典的 Bagley-Torvik 方程及相关模型解的存在性定理。     

喷灌系统优化设计混合模型及其求解方法

本文提出了喷灌系统优化设计的混合模型及其求解方法，对于该模型中管网优化块角结构线性规划子模型提出了新的算法，该方法在求解此类问题时比单纯形法快得多，这就与大中型喷灌系统的优化设计提供了可能。     

环F2+uF2+u2F2上的线性码及其Gray像

记R=F₂+uF₂+u²F₂,R₁=F₂+uF₂,定义了从Rⁿ到F³ⁿ₂的Gray映射Ф以及从Rⁿ₁到Rⁿ的映射f。通过对环R上线性码C的生成矩阵的研究,给出了线性码C的对偶码C^⊥和Gray像Ф（C）的生成矩阵,并且Ф（C）与Ф（C^⊥）是F₂上的对偶码。通过映射f将环R₁上的线性码与环R上的一类线性码对应起来。     

一类非线性系统的输出反馈模糊控制

针对一类具有不确定性的非线性系统，提出一种模糊控制方案，控制中只利用系统输出信号和一些辅助信号。利用李亚鲁诺夫方法证明了闭环模糊控制系统全局稳定．仿真表明该控制方案可回避通常滑模控制中不可避免的颤动，且系统具有很强的鲁棒性。     

二维正交子波变换的VLSI并行计算

本文提出一个二维离散正交子波变换的ＶＬＳＩ并行结构，该结构将二维输入信号分解成不重叠的若干行组，从而使每组中的所有行被并行处理，而不同组的行的处理、不同级上的计算，以至不同信号的计算可以在此结构上流水线地进行。     

若干限制形式的缺省推理的复杂性

该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性.其中,D是一集Horn缺省规则,而W是definite Horn公式或者Bi-Horn公式.