纵轴式悬臂掘进机断面成形控制基础研究

以EBJ-132A型纵轴式悬臂掘进机为例,在分析其截割部主要构造和工作特点的基础之上,建立了悬臂式掘进机在截割作业时,其主要工作机构参数与巷道断面尺寸之间的数学模型,并针对实际生产中几种常见的巷道断面形状,分别编制了相应的工作机构参数计算程序,同时在计算机上显示出了和实际情况相符合的截割头截割作业包络线图,验证了数学模型的正确性。     

最优和最小能量最优跟踪问题

以广义逆矩阵的理论和Bellman动态规划方法为基础,给出了离散线性时变系统最优和最小能量最优跟踪问题的两种形式的解,对每一种情形,还给出了最小跟踪误差和最小控制能量的简洁表达式.     

矩形群的强正则*断面

正则*断面是研究半群结构的一个重要手段,强正则*断面是正则*断面的加强.现通过研究矩形群的强正则*断面.利用已知强正则*断面的结构定理,给出了矩形群的强正则*断面的结构刻画和同构定理.     

循环矩阵求逆的两个简便方法

文章对循环矩阵的逆问题进行了探讨,提出了求解循环矩阵的逆的两个方法,文中所提方法比现有的方法简单实用。     

硬岩隧道锚喷支护施工过程非线性有限元分析

聚丙烯纤维喷混凝土作为隧道锚喷支护中的新型支护方式,具有施工便捷特点,并可以改善混凝土的性能和耐久性。文章采用非线性有限元法对东巨寺沟硬质围岩铁路隧道进行了大断面开挖-锚喷支护施工全过程分析,分析了施工过程中围岩的位移变形、应力、塑性区分布特征,验证了隧道支护后的围岩稳定性和支护效果。     

求解一阶常微分方程逆初值问题的分形方法

分形作为现代数学的十大成果之一，在现代社会的应用和理论研究方面都占有举足轻重的作用．从微分方程逆问题应用领域的广泛性出发，对前人认为求解很难的逆问题进行了深入的研究和分析，利用分形的图像编码方法讨论了一阶微分方程逆初值问题的求解，并用实际例子对该方法的精确性和有效性作了完整的说明。     

腔体内三维声场重构与预测的波叠加方法

研究了基于波叠加方法的腔内声全息技术,并将其应用于不规则形状腔体内的声场重构和预测.根据波叠加积分公式,腔体内部的三维声场可以由置于腔体外部的连续虚源产生的声场来等效替代,而虚源上的源强密度可以通过匹配测量点的声压获得.一旦计算出虚源上的源强密度,便可以获得整个腔体内的声场信息.这种全息技术避免了边界元方法声全息技术中的奇异积分处理,易于理解和计算机上实现.最后,通过典型的算例验证了理论分析和实现算法的正确性和有效性.     

除环上分块矩阵广义逆中子块的独立性

通过使用除环上具有同行或同列的双矩阵分解定理,给出了除环上两个同阶矩阵的g-逆和自反g-逆具有子块独立性的充分必要条件.     

闭算子的广义逆的扰动及其应用

本文讨论了闭算子的M-P广义逆的扰动,并由此讨论首项系数本质无界的二阶散度型椭圆型微分方程的最小范数极小二乘解的稳定性.     

一类具有恰当断面的左恰当半群

引入了左恰当半群的恰当断面概念；利用一个恰当半群S^0．左零半群的半格I，定义了一个积集1#S^0．证明了I#S^0是一个含恰当断面的左恰当半群且恰当断面同构于S^0．