能力本位 理实一体 探索维修电工教学效果新突破

在明确课程目标的前提下,阐述了在课程教学中如何体现能力本位、如何通过采取理实一体化的教学方法,来实现维修电工课程在培养学生技能、素质、心理等方面的新突破。     

大倾角综合机械化采煤技术

本文介绍了潘北煤矿1111（3）综采工作面在大倾角条件下借助采煤机、工作面刮板输送机、液压支架的防倒防滑措施，取得了良好的实践效果。     

基于正交试验设计的区间数立体决策方法

为了减少决策信息损失,针对区间数决策问题,提出了一种立体决策方法。将m维区间数决策向量看作具有2m个顶点的超矩形。利用Ls(2m)正交表在超矩形上均匀、分散地选取s个顶点代表该超矩形,再根据不同超矩形对应顶点之间的相对熵度量超矩形之间的差异,最后利用各决策方案同理想解的贴近度进行决策方案排序。实例验证表明该文方法有效、可行。由于选取了多个多维实数点代表区间数决策向量,在丰富了决策信息的同时也增加了计算量。     

无穷水平倒向双重随机微分方程解的存在唯一性及比较定理

研究无穷区间上的倒向双重随机微分方程,在一类Lipschitz条件下,通过有限区间的逼近,运用Gronwall不等式和It公式,证明了方程解的存在性、唯一性以及比较定理.     

矿井梯形铁棚支架巷道组合防倒棚技术

煤矿矿井随着采深逐步加大、矿压逐渐增强,原来在浅部使用的防倒棚手段已远远不能满足深部巷道的支护需要。本文针对易发生问题的薄弱环节,分析了吊棚器、棚口卡子、锁棚器、连棚拉杆、棚口夹板等防倒棚技术器具的应用方法及效果,从而杜绝倒棚冒顶事故的发生。     

阿廷——布尔巴基学派的先驱

阿廷是20世纪最伟大的数学家之一.他完成经典类域论并指出其推广的方向.他是抽象代数学的奠基者之一,创立辫子理论及实域理论.他完全解决两个半希尔伯特问题,是布尔巴基学派的思想先驱,培养了许多大数学家.本文对阿廷的生平、工作及影响进行系统的介绍.     

地方院校实变函数课程教学的实践与认识

从学生对基本概念、定义的理解、把握基本的定理与相关经典定理的引理的联系入手,提出了选用简单的定义进行教学的教学模式,以提高学生的数学修养,锻炼学生的逻辑思维能力,使学生获得最好的学习效果.     

实有理函数展为Taylor级数的一般方法

在求实函数的f(x)=(Ax+B/(x2+px+q)k)(p、q、A、B∈R,k∈N,p2-4q＜O)Taylor级数展开法的基础上,给出实有理函数展开为Taylor级数的一个普适方法。     

Operational properties and matrix representations of quantum measures

Denoted by M(A), QM(A) and SQM(A) the sets of all measures, quantum measures and subadditive quantum measures on a σ-algebra A, respectively. We observe that these sets are all positive cones in the real vector space F(A) of all real-valued functions on A and prove that M(A) is a face of SQM(A). It is proved that the product of m grade-1 measures is a grade-m measure. By combining a matrix M _μ to a quantum measure μ on the power set A _n of an n-element set X, it is proved that μ ≪ ν (resp. μ ⊥ ν) if and only if M _μ ≪ M _ν (resp. M _μ M _ν =0). Also, it is shown that two nontrivial measures μ and ν are mutually absolutely continuous if and only if μ·ν∈QM(A _n ). Moreover, the matrices corresponding to quantum measures are characterized. Finally, convergence of a sequence of quantum measures on A _n is introduced and discussed; especially, the Vitali-Hahn-Saks theorem for quantum measures is proved.     

一种基于支持向量机的数字音频认证方法

提出一种基于数字水印技术的音频内容认证方法.选取稳定的梅尔倒谱特征构造特征向量,利用支持向量机自适应地选取合适的帧进行水印的嵌入和提取.结果表明,算法在保证嵌入水印的不可感知性的同时,能够有效地区分恶意的内容篡改和非恶意的常规信号处理操作,准确地定位篡改发生的位置.