关于数理逻辑在解决数学命题中的探讨

在解决、论证数学命题过程中 ,准确使用逻辑思维方法 ,可使具体解题步骤严谨周密 ,条理清晰 ,形成完整的推理体系     

通用双正交小波构造方法的研究

小波在信号分析、图象处理、模式识别、计算机视觉等方面得到了越来越广泛的应用,而此（小波）领域中的双正交小波的研究正在进行之中,尽管有些作者已收集了几种这样的滤波器和相关的双正交小波,但应用效果不佳,而且应用领域狭窄,由本文提供的双正交小波构造方法,实验证明,效果良好,且具有较强的通用性,除可用在信号分析、图象处理、模式识别、计算机视觉领域外,还在数学、通信、地震、化学等领域有广泛的应用前景     

谢桥煤矿1242(1)首采工作面矿压显现规律研究

以谢桥煤矿1242(1)首采工作面为例,分析了综采工作面矿山压力显现特征、顶板活动规律、液压支架的性能和对该煤层顶底板的适应性及控制效果、工作面顺槽超前支承压力分布,对初次来压期间和周期来压期间支架载荷特征进行了较为系统的分析,为后期开采11-2煤层积累了经验.     

小寺沟铜钼矿床控矿因素及成矿规律

研究了小寺沟铜钼矿床的控矿因素及成矿规律,表明该矿床与花岗斑岩体、地层、构造、围岩蚀变有着密切的关系。     

振动图像和波动图像

运用图像描述简谐振动及其在媒介质中的传播过程，对理解振动与波动的规律具有十分重要的作用。通过将振动图像和波动图像做对比，应知二者形态相似，本质不同，具有区别性；判断质点动向的角度不同，各自具有规律性；可知量不同均可求波速，结果均有多解性；质点的路程和波传播的距离是两码事，但二者存在联系性。     

扶绥黑叶猴日漫游的活动类型和发生高峰

从2001年3月至12月研究了野外黑叶猴的活动类型及发生高峰．在日漫游过程中,黑叶猴有7种活动类型,其中休息占时间最多,其次是觅食和移动．作为对适应环境的特征之一,黑叶猴选择了长时间的中午休息和两个觅食高峰的对策．食物可获得性的增加将提高休息的时间,减少觅食和运动时间。     

一类具有第二边值条件的弹塑性问题解的正则性

本文讨论了一类具有第二边值条件的弹塑性问题弱解的正则性,利用L.Nirerlberg差分方法得到了解的W~(2'2)-正则性;利用M.Giaquinta's Reverse Holder不等式方法得到了解的W~2'r)-正则性(r>2),进而,由嵌入定理得到了解的Holdlr连续性。     

对现代园林植物景观设计的理性思考

植物景观设计是现代园林景观设计的重要内容．针对现代园林植物景观设计中出现的问题和误区,提出了现代园林植物景观设计应遵循自然为先的原则．     

三角形拟线性椭圆组弱解的处处正则性

在自然增长条件下,证明了三角形拟线性椭圆组H~1∩L~(n(r-1)/(2-r))弱解的L~P估计和处处正则性。在平方增长条件下,对有界弱解得到相同的结果。