立井冻土爆破快速施工技术研究

本文结合矿井的实际,首先介绍了矿井工程,阐述了影响冻土的因素,重点分析立井冻土爆破快速施工技术。立井冻土爆破快速施工技术的应用有效地提高了施工安全性,并加快了施工速度,降低了工人劳动强度,促进了矿井的安全生产。     

高校音乐专业技能技巧课排课系统的开发

技能技巧课是高校音乐类专业必修实践课程,针对该课程当前存在的课程安排繁杂且容易出错等现状,设计开发了计算机网上排课系统.介绍了该款软件系统的开发背景及实现目标,阐述了系统的总体结构、主要功能、开发技术及设计流程,概括了系统的突出特点等.该系统的应用改变了人工排课低效易错的现状,节约了劳动成本,提高了工作效率,确保了技能技巧课的顺利开展.     

关于后浇带施工技术在房建施工中的运用

目前,无论是高层房屋建设还是规模较大的建筑施工,后浇带施工技术是最为常用的一项技术,它不仅有效地缩短了施工单位的施工时间,提高了他们的工作效率,保障了房屋的安全性,而且改变了原有的建筑内部的复杂结构,对其进行了适当的简化,提高了房屋建设的整体性,提高了房屋的抗雨水渗透能力。笔者就施工过程中后浇带相关技术的运用进行了简要的分析。     

论云计算对图书馆管理的影响

现今科学发展迅猛,云计算在不同领域都有了广泛的应用。云计算对图书馆的影响不容忽视,它改变了传统图书馆的管理制度,带来了图书馆的各方面变化。本文介绍了云计算的概念界定,阐述了云计算给图书馆管理带来的机遇以及挑战,对云计算环境下的图书馆管理进行了简单的前景分析与展望。     

加权广义预测控制算法的改进

为了进一步缩小广义预测控制算法理论与工程应用的距离,对加权广义预测控制算法进行了改进,引入了预测模型输出误差修正项,对预测模型的输出进行了修正,并采用了区域控制策略.针对油田联合站电脱水系统油水分离过程,给出了改进的加权广义预测控制方案,仿真结果表明,这种控制方案在保证工程精度的前提下,减少了执行机构的动作频率,增加了生产操作的平稳性.     

火电厂热工自动化及事故防范

当今时代,科学技术不断进步,这种大环境推动了火电厂的热工自动化技术的快速发展,热工自动化的装置也成为了大型发电机组的重要的一部分。本文介绍了热工自动化的定义,分析了进行热工自动化的必要性,探讨了热工自动化技术的内容及发展趋势,并对一些事故防范措施做了详细论述,对于推动火电厂自动化的发展及设备的安全运行具有重要的指导作用。     

刀锋300C无人机飞行控制技术研究

为了提高刀锋300C无人机的飞行控制能力,更好地服务于遥感测绘方面的航拍任务,通过对其飞行控制技术进行研究,在原有的技术基础上,归纳出了更有效的作业方法,并提出了航迹规划的改进方案,解决了原有方案中存在的问题。从而提高了作业效率,也增加了无人机的飞行安全,得到了满足要求的测绘产品。     

DQ8030型斗轮堆取料机金属结构开裂原因分析及消除

介绍了DQ8030斗轮堆取料机金属结构开裂的情况,并进行了分析,找到了开裂的原因,并得到了控制、消除。     

基于薄壁件变形分析的铣削加工瞬态力学模型研究

对薄壁件加工变形问题进行了分析,指出了建立力学模型的重要性及进行变形分析对力学模型的要求;在分析现有文献有关力学模型的基础上,对各模型的优缺点进行了评价,并针对性地进行了改进;根据薄壁件变形特点,结合切削试验在不同的切削区域分别建立了切削力模型,并进行了试验验证.     

锌精矿沸腾焙烧炉冷却装置的改进实践

分析了某锌业公司锌精矿流态化焙烧炉冷却装置的弊端,并自行设计、制作了独立于原冷却系统之外的盘管式冷却装置,优化了原冷却系统的配置,强化了沸腾焙烧炉的散热,提高了焙烧炉的产能,投料量可增加1.79 t/h,同时避免了直接排热的弊端。     

空间点到直线距离公式探析

利用向量的双重外积、点关于平面的离差的相关知识及已有的空间点到直线的距离公式推出空间点到直线距离的2个新公式.当直线的方程是一般式方程时,应用这2个公式可以直接求解空间点到直线的距离.     

Web导航行为范畴模型一致性与安全性研究

范畴理论为各数学学科提供了一种公共的语言、工具、思维方法和研究手段,其中作为形式结构的素描是一种基于图的规范,是形式建模和验证的有效方法.文章给出了Web导航行为的线性素描,构建一个基于范畴理论的形式模型,这一模型符合由素描所描述的要求和规范,提出了通过建立自由范畴来检验模型一致性的方法,讨论了导航模型的安全性,并给出了一些相应的安全性规则和检查方法.     

分段连续型随机微分方程的均方稳定性分析

考虑了自变量分段连续型随机微分方程(dX(t)=(a1X(t) a2X([t]))dt (61X(t) b2X([t]))dW(t)的解析解和数值解的均方稳定性.得到了解析解的表达形式,证明了当2a1 b2 b21 b222|a2 b1b2<0时,解析解是均方稳定的.在此条件下,讨论了由半隐式欧拉方法得到的数值解的稳定性,得到如下结论:当0≤θ相似文献   

压缩体上圆片系统和曲面上的曲线的交

主要研究压缩体上的完全圆片系统和带边可定向的三维流形的强不可约的Heegaard分解(δ) W表示压缩体W的正边界.找到了压缩体W的完全圆片系统,并且证明了真嵌入到W中且边界在(δ) W上的任何本质圆片都可以由压缩体的这个圆片系统中的圆片的连通和表示出来.进一步研究了曲面(δ) W上与柄体的每一个圆片至少交n次的简单闭曲线,给出了一个判定简单闭曲线是n闭的一个有限的组合条件,并且给出一个带边的可定向的三维流形的Heegaard分解是强不可约的判定条件.     

离心泵内空蚀流动的数值模拟

为了研究离心泵内部的空蚀流动,将一种完整空化模型和混合流体两相流模型相结合,应用于离心泵全流道内定常空蚀流动的数值模拟.根据模拟的结果,分别预测了离心泵在大流量、设计流量和小流量情况下运行时,流道内空蚀发生的部位和程度,重点考察了流量的变化对离心泵空蚀性能的影响,为离心泵在特定工况下运行时空蚀性能预测提供了理论依据.     

直线参数方程中参数的应用

通过求直线参数方程中的参数,利用参数的几何意义证明空间点到平面、点到直线及异面直线间的距离公式,其证法相对较为简便.     

自反、传递（模糊）关系与拓扑空间

研究了自反传递模糊关系与拓扑空间的联系,证明了一个自反传递的模糊关系对应一个单调的拓扑空间族,从而对应一个模糊化拓扑.特别地,当R 是自反传递关系时,该拓扑族退化为一个拓扑空间,该拓扑空间以粗糙下近似为其内部算子.     

根据反射声波相位信息识别分层介质结构

通过提取分层介质声回波的相频特征信息,对物理性质未知的分层材料实现了有效的分类识别. 分类对象为单层材料、包含两种不同声速和密度的两种双层材料、外层较硬中间较软的三层结构,硬和软是指两种材料c值的相对大小. 数值模拟表明该方法对4种分层结构能进行有效识别. 采用优化的分类流程可减小测量的工
作量.     

FC-空间上集族不动点定理(英文)

利用单位分解定理得到从紧的Hausdorff拓扑空间到没有任何凸结构的有限连续拓扑空间(简称,FC-空间)的集值映射的连续选择定理,并从该结果和Tychonoff不动点定理,得到紧的FC-空间的乘积空间上映射族的集族不动点定理和若干个非紧的FC-空间的乘积空间上的映射族的集族不动点定理,对文献中的相应结果进行了改进和一般化.     

论数学的人文素质教育功能

数学的人文素质教育功能表现在三个方面：第一，数学中的抽象化意识、逻辑推理和公理化方法培养着人的理性思维品格和思辩能力；第二，数学之美愉悦身心，激发创造、丰富想象；第三，数学的熏陶可以使人以领域辩证唯物主义的思想观点、培养严谨是的科学态度和诚实正直的品格。