弹性力学通解的完备性的机械化证明方法

在吴方法的基础上,从微分代数的观点出发,机械化证明了各项同性弹性力学方程组的胡海昌解的完备性问题.     

导数最大模的一个估计式

利用Caratheodory 不等式,给出了导数最大模的 一个特殊估计式.     

寓德育于形式逻辑教学的模式初探

介绍了高校德育的基本内容、形式逻辑的性质和教学的内容 ,阐述了寓德育于形式逻辑教学的可能性与可行性及基本方法 ,构建了寓德育于形式逻辑教学的基本模式     

采用分块编码的小波图像压缩技术

研究了基于小波变换的图像压缩技术。在小波分解的基础上,结合人眼视觉系统（ＨＶＳ）特性,提出了一种分块编码的图像编码算法。该算法利用小波变换系数子带内和子带间的相关性以及小波系数的分布特点,有效地对高频子带数据进行了压缩。该方法实现简单,可达到很好的压缩效果。     

二阶埃尔米特(Hermite)插指

提出了埃尔米特（Hermite）插值问题的一种新形式,幂指数形式,简称埃尔米特（Hermite）插指．证明了二阶埃尔米特（Hermite）插指多项式存在性定理．     

低分子有机酸对林地土壤磷释放及活化影响

为了解林地土壤中闭蓄态磷转化为有效磷的转化效率,以淮河流域固始县意杨林灰潮土为例,开展了在不同低分子有机酸、酸浓度及反应时间下灰潮土壤总磷(total phosphorus, TP)的释放及各形态磷,包括TP、无机磷(inorganic phosphorus, IP)、有机磷(organic phosphorus, OP)、Fe/Al-P和Ca-P的活化影响实验。结果表明：苹果酸、柠檬酸及草酸对土壤TP释放率分别增长了180%、161%和217%。苹果酸和柠檬酸对土壤TP的平均活化率均在164%以上,而草酸则在中浓度时才表现出活化作用。3种低分子有机酸均能有效促进灰潮土磷的释放与活化,且释放作用和有机酸种类、浓度及实验处理时间密切相关,活化作用也与酸种类和酸浓度相关性显著,研究结果为磷肥的合理施用和土壤有效磷的提升提供科学依据。     

关于推广的Hardy-Hilbert积分不等式的一个等价式

通过引入权函数,建立推广的Hardy Hilbert积分不等式的一个等价式,并证 明其常数因子为最佳值.     

一类3-紧优双环网无限族

到给定顶点数的双环网的最小直径是图论和计算机工作者广泛研究的问题。虽然大多数双环网可以达到紧优,但仍然有一部分双环网不能达到。本文给出了一类3-紧优的双环网无限族。     

Lagrange插指与Newton插指的注记

文章对Lagrange插指多项式进行了改进,得到了改进的Lagrange插指多项式和重心型Lagrange插指多项式。重心型Lagrange插指多项式具有计算量小、数值计算稳定性好和增加新的插指节点不需重新计算原有插指节点基函数的优点。同时该文还讨论了Lagrange插指多项式与Newton插指多项式的相互转化,给出了与Newton插指多项式与Lagrange插指多项式相互转化的算法。     

基于游程的倾斜表格图像的快速检测和校正

基于表格自动录入系统中票据图像的自身特点，提出了一种基于游程的倾斜表格图像的快速检测及校正算法．通过对游程分布直方图的分析，检索出行最长游程组，根据行最长游程组的最大旋转角计算出表格图像倾斜的角度．基于实际表格图像倾斜角度一般不会过大的特点，提出了基于线性搬移技术的校正方法，通过对行、列两个方向的分段线性搬移达到图像快速倾斜校正的目的．算法已应用于实际系统，测试结果表明该技术方法可行、鲁棒性强、并且具有较高的执行效率．