采煤机记忆截割技术研究

为实现自动化采煤,需要实现煤岩分界面的自动确定。本文介绍了采煤机记忆截割的工作原理,并根据采煤机截割系统的特点,选择了迭代学习控制来实现记忆截割。此外,还建立了截割系统的动力学方程,以采煤机摇臂摆角作为控制量,并通过MATLAB仿真进行验证。仿真结果表明,基于迭代学习控制的采煤机记忆截割能够实现对煤岩分界面的轨迹跟踪。     

明安图对交错级数的表述及处理

清代数学家明安图所著的《割圆密率捷法》是中算史上第一部将三角弦矢函数展开为无穷级数的著作,文中根据他的思路与方法,分析了《割圆密率捷法》中其对交错级数正负项的左右书写形式及其对交错级数的恰当处理方式。文中认为:其一,明安图对交错级数的表述及处理源于西法,又缘于梅瑴成在《赤水遗珍》中所使用的分类处理方法;其二,明安图将交错级数视为形式级数来处理,以多项式运演无穷级数,在级数收敛的前提下,运算是可行的,结果是正确的。这对现今分析学中处理交错级数的方法可加深历史认识。     

三角函数的两种推广

本文讨论了三角函数基于主角和顶点角的两种推广。利用基于主角的三角函数的推广给出了二元函数的二重Fourier展式,并讨论了主角和顶点角间的联系。     

广义BabyTKK代数的Boson-fermion场下的不可约模

研究对应于欧式空间中最小（非格）半格S的babyTKK李代数^g（T（S））的泛中心扩张广义babyTKK代数^g（T（S））的一类boson-fenmion场下的不可约表示，这里T（S）为半格S∈R^υ（υ=2）上的Jordan代数。     

涉及两个单形的一类不等式及其应用

应用解析方法和几何不等式理论研究了n维欧氏空间En中涉及两个n维单形的几何不等式问题,建立了涉及两个单形及其内点的一类不等式.作为其应用,获得了n维单形与其垂足单形的体积的一类关系式,改进了关于垂足单形体积的几类几何不等式.     

极大局部边连通有向图的度条件

对有向图D=(V(D),E(D)),顶点u和v的局部边连通度λ(u,v)=min {X:X∈E(D),D-X中不存在从u到v的路}.若对D中任意两个顶点u和v,λ(u,v)=nin{d+(u),d-(v)},称D为极大局部边连通的.笔者得到了有向图是极大局部边连通的两个度条件.推广了别人的三个结果.     

k连通图在边点割原子与点割上的可去边

图的可收缩边与可去边是研究连通图的构造和使用归纳法证明连通图的一些性质的有力工具.利用边点割断片的性质给出某些k连通图中在特定子图上可去边的分布情况,得到了最小度至少为(3(k-1)/2)或围长至少为4的k连通图(k≥4)中由边点割原子与点割所导出的子图的每一条边都是可去边.     

由建构与算理看戴震的《勾股割圜记》

戴震对中算的贡献,一向被认为只局限于算书的整理上,如校《九章算术》、恢复《算经十书》,等等。他的数学成就,常被批评为无足轻重。文章从学术建构的角度,来分析戴震的《勾股割圜记》,认为戴震著书的目的是希望由中算固有的性质中,创造出一个具文化传承且能与西方三角学匹敌的勾股割圆术。由此观点,戴书中许多被诟病之处,可得到合理的解释。另外,在研究戴震算学的文献中,很少谈到戴震对算理的强调。文章的另一目的是讨论算理在《勾股割圜记》中的重要性。戴震宣称割圜之法尽于勾股互权(相似直角三角形三边互求)。而在其书中勾股术的推导过程,除了图式,戴更明确地列出相似勾股形的对应边。无论是平面或是球面,戴的确是用该性质推导出所有的勾股术。     

神东上湾煤矿综采工作面开机率分析

本文介绍了神东公司上湾煤矿综采工作面生产情况,统计了工作面的进刀、割煤、跑空刀时间,计算了工作面开机率并对如何提高开机率进行简单分析.对于其它综采面如何提高开机率、产量及效率有一定的参考和借鉴.     

放牧和刈割对内蒙古典型草原蚂蚁筑巢的影响

蚂蚁是内蒙古典型草原节肢动物群落的重要成员,其筑巢活动对草地土壤肥力和植被结构有重要影响.2012年设置全季节放牧(T1)、春牧秋割(T2)、秋季刈割(T3)三种处理,并以不利用为对照(CK),连续放牧和刈割7年后,于2019年研究了蚂蚁筑巢对放牧和刈割的响应.结果表明:草地在排除放牧和刈割扰动的情况下,蚁丘密度为1....