容纳一个非零导子的分配生成素近环

设Ｎ是一个２—挠自由分配生成素近环，它具有单位元１和中心Ｚ。本文证明了；如果Ｎ满足下列条件之一，则Ｎ是交换整区：（１）Ｎ容纳一个非零导子Ｄ使得容纳一个非零导子Ｄ使得ｘ，ｙ∈Ｎ，［Ｄ（ｘ），Ｄ２（ｙ）］＝０，并且Ｄ（Ｎ）不含非零的幂零元．     

Decomposition of Solutions of Homogeneous Linear Equations

对交换环Ｒ上的有右逆的ｍ×ｎ（ｍ＜ｎ）矩阵Ａ,齐次线性方程组ＡＸ＝０的任一解可以表示为有限多个特解的线性组合,其中每个特解的非零坐标不超过ｍ＋１．特别地,ＡＸ＝０的解模是有限生成投射模．当ｍ＝１时这一众所周知的结果曾被Ｓｕｓｌｉｎ用来证明当ｎ≥３时基本子群Ｅｎ（Ｒ）是ＣＬｎ（Ｒ）的正规子群这一著名定理．     

数字信号在紧支集正交小波变换后的精确重建

得到了有限长度的数字信号在紧支集正交小波变换下分解与合成算法的矩阵形式．理论和实验证实,该算法能精确重构原数字信号,重构的数字信号没有边界畸变．     

一个反向的Hardy-Hilbert积分不等式

通过引入单参数λ, β函数及改进权函数的方法, 建立一个反向的Hardy-Hilbert积分不等式, 并证明其常数因子为最佳值. 作为应用, 建立 了若干等价形式及一些特殊结果.     

基于LTCP特征的计算机生成图像鉴别算法

针对目前计算机生成图像鉴别算法在对图像纹理特征进行鉴别时精度较差的问题, 提出一种基于长期控制计划(LTCP)特征的计算机生成图像鉴别算法. 首先将彩色图像变换到颜色模型中, 对图像进行下采样, 获得较高尺度的纹理信息; 然后采用基于LTCP特征和共生矩阵的计算机生成图像盲鉴别算法, 对不同尺度的纹理图像LTCP特征及相邻像素一致性共生矩阵特征进行采集; 最后通过判别分类器对LTCP特征及相邻像素一致性共生矩阵特征实施分类预测, 根据分类预测结果实现计算机生成图像的鉴别. 实验结果证明, 该算法在计算机上生成的图像特征维度较低, 鉴别率和精度较高, 能实现计算机生成图像的准确鉴别.     

重数为2r的正交对称多小波的构造

给出一类重数为2r的正交对称-反对称多小波的构造算法,即对任给长度为2N的对称-反对称正交多小波,通过本文所给的构造算法可以得到长度为2N 1的对称和反对称多小波.反之亦然.最后给出相应的例子.     

上连续完备模格的半单性

对于上连续完备模格L,证明了L是局部原子格等价于1是原子的并,也等价于1是独立原子的并,并进一步给出了1可分解为有限个原子并的若干等价条件.     

可复用信息修改组件的实现

为了提高软件设计的可复用性,使软件系统的快速开发成为可能。文章通过使用.net技术,设计并实现了一个信息修改组件。该组件使用了通用的数据库操作类,实现了表单的自动化生成及自动化修改,可以在基于.NET平台的信息管理系统开发中重复使用,为信息管理系统的快速开发提供了有力的支持。同时,文中对该组件的设计思路及实现过程均进行了比较详细的介绍,为其它类似组件的实现提供了一个参考。并且这一组件被用到精品课的网站系统建设及课程建设上,结果表明了该方法的有效性。     

空战仿真系统中行为决策模型的设计与实现

计算机生成兵力系统的建模不仅包括飞机等对象的动力学模型,更体现在对人的决策行为的建模上。本文讨论了空战仿真系统中人的行为决策模型的设计和实现。其中,人的行为决策模型主要是超视距格斗中二对二的空战模型。最后,文章给出了仿真结果。