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

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

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

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

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

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

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

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

上连续完备模格的半单性

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

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

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

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

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

一类新三元紧支撑正交小波及其构造

研究了一类新三元紧支撑正交小波的构造方法,由此构造方法可得到一类新的三元张量积(可分的)小波和三元非张量积(不可分)小波,而且构造过程较为简单。在给出详细的构造方法的同时,讨论了这类新的三元小波所具有的消失矩性质,最后给出了一些具体的例子。     

有限群的同构分类

利用循环群、有限生成Abel群、满足链条件的群等加以限制的群的结构定理,对有限群的同构分类进行了讨论,对一些小阶数的有限群,给出了它们的全部同构分类.     

局部凸拓扑矢量空间内的广义拟变分不等式

设X是局部凸空间E的仿紧凸子集 ,F :X→ 2 X 是集值映象 ,φ :X×X→R是实泛函 .研究下列抽象广义拟变分不等式 (AGQVI) :求 ^x∈X使得 ^x∈F(^x)和 φ(^x ,y)≤ 0 , y∈F(^x) ,其中 φ(x ,y)关于x是 0 转移紧下半连续的和关于y是 0 对角拟凹的 .作为应用 ,作者得到了最近文献中关于广义拟变分不等式的很多已知结果的推广 .