冻融条件下软岩隧道冻胀力计算分析

针对软岩体含水率高、孔隙率大、对温度变化敏感等特点,本文首先在一定假设的基础上,分析了温度影响范围内软岩体冻结后,内部水冰相变会导致隧道衬砌承受冻胀力的原因,推导出了其弹性力学解,其次分析了融化过程及融化后冻胀力变化的过程及原因,运用弹性力学复变函数法推导出了冻融后隧道衬砌所承受冻胀力的表达式,最后给出了算例并指出将来的研究方向。

VR技术在煤矿安全中的应用

介绍了虚拟现实技术(VirtualReality,简称VR)的特点、发展现状及虚拟现实技术在煤矿安全中的应用领域:如煤矿生产系统展示、矿井火灾和瓦斯爆炸的研究、安全教育与避灾训练、救灾指挥决策等。通过矿井火灾模拟系统的开发说明了虚拟现实系统实现的方法及手段。

岩石高边坡弯曲破坏的力学分析

采用梁的受力模型,结合燕子垭岩石高边坡的现场实际,分析顺层岩石高边坡的破坏机理。指出岩体的自重和静水压力是致使岩石高边坡发生弯曲破坏的主要因素,风化和蠕变的发展减小了岩体强度和岩层的粘接力,促进了岩体边坡的破坏,是使岩体高边坡发生弯曲破坏的次要因素。根据论文分析,提出了对该类边坡做挂网喷射混凝土封闭和安设灌浆锚杆、预应力锚索的加固建议。

钢框架结构稳定性分析中的传递矩阵

通过反映杆件两端状态变量的梁单元、柱单元和支座处的传递矩阵的推导,用合并变量的方法,进而推出钢框架结构稳定性分析中的的总体传递矩阵。解决了用传递矩阵法分析多高层钢框架结构稳定性的关键问题。

高压水射流技术在煤矿预抽防突中的试验研究

将优化改造后的高压水射流装置应用于四川芙蓉白胶煤矿,进行预抽放瓦斯前的煤体切割,使预抽放钻孔之间形成一系列人造裂缝,然后再进行防突预抽,结果发现切割后的煤体,其瓦斯的预抽放率得到了极大提高,预抽放时间也大大缩短,效果很好,试验获得成功。

预测参数的选择与建筑物逐时冷负荷的预测

利用逐步回归分析进行了预测参数的选择和建筑物逐时冷负荷的预测,并将其与采用相同数据集的神经网络(ANN)的冷负荷预测结果进行了对比分析。

地下水水质评价的人工神经网络方法

应用人工神经网络理论与方法建立了地下水水质评价的BP神经网络模型,对涡北井田地下水水质进行了评价,并与灰色聚类结果进行了比较。结果表明,BP神经网络模型能很好地解决评价因子与水质等级间复杂的非线性关系,评价地下水水质简便可靠,预测精度高,具有通用性和客观性。

SBR工艺用于生活污水除磷脱氮的试验研究

采用SBR工艺处理有机物含量低、氨氮含量高的城市污水,经过反复试验研究发现,该工艺对生活污水中氮、磷等污染物具有良好的去除效果。试验结果表明,采用试验水样平均进水水质为CODcr=197mg/L;BOD5=95mg/L;SS=203mg/L;NH4+-N=63mg/L;PO-34=1.3mg/L,各项污染物的平均去除率为:CODcr80%,BOD583%,NH4+-N75%,TP61%,处理后出水水质均能达到国家规定的排放标准(GB8978-1996),并提出了该工艺处理低碳高氮城市污水的最佳工艺条件。

场地地震响应的二维动态有限元分析法初探

提出了一种新的地震反应分析法———二维动态有限元分析法。并对它的分析步骤及其重要参数的确定进行了阐述,重点对动态有限元的动态形函数的构造进行了分析。通过工程实例,和一维的地震反应分析法进行了比较,证实了本方法的可行性和合理性。

AutoCAD参数化绘图在陶瓷隧道窑设计中的应用

隧道窑绘图工作量大,通过对隧道窑主要结构分析,利用AutoLISP和C语言设计参数化绘图程序与数据转换程序,直接读取数据文件中的尺寸数据,在AutoCADR14下完成隧道窑各带的正、俯、侧视图的绘制。图形绘制过程快速、美观、正确,而且易于修改。

石嘴山一矿煤体结构变化的地质控制

采用反映煤体结构破坏程度的若干宏观与测试参数,研究了石嘴山一矿井田主采三层煤的煤体结构变化特征。揭示出三层煤体结构垂向变化的分层性主要受石嘴山向斜中和面所控制;煤体结构横向分区性主要受北西向缓波状褶皱所控制。研究还表明,三层煤煤岩组分的构成也对煤体结构类型的发育有一定影响。

可持续发展人类住区的评价方法研究

可持续发展的人类住区的评价方法研究是可持续发展研究的一部分。本研究提出了可持续发展分级标准的计算方法,并用可持续发展度模型来测度每一层次的现状发展程度及总体现状发展程度。

GPS高程解算方法的分析研究

国内外应用GPS定位技术,大都局限于解决平面坐标问题,高程测量仍旧沿用常规的几何水准测量方法来测定。因此,未能充分发挥GPS三维坐标测量的优势。本文通过分析在GPS高程中的关键技术———确定高程异常的方法来讨论几种GPS的高程解算方法。

扫描屏幕数字化中图纸定向问题的研究

图纸定向误差是数字地图误差的主要来源,要获得高精度的数字地图,有必要对图纸定向问题进行研究。本文以1:2000,40cm×50cm的图幅为例,介绍了一种基于AutoCAD,对TIF格式影像进行图纸定向的两点定向法。相信本文所介绍的两点图纸定向法必将对扫描屏幕数字化中图纸定向问题的研究,有一定的借鉴和参考价值。

基于RS-232/485串行通信面向机械量测量的虚拟仪器

根据机械量变化特点,研制了基于RS-232/485串行总线结构的机械量测试虚拟仪器,实现对多种机械量的自动测试。本文介绍了该系统软硬件设计以及实现方法。系统对其它虚拟仪器的研制和开发具有一定的参考价值。

蒙特卡罗法在零件可靠性设计中的应用

蒙特卡罗法简称蒙特法,是一种计算机模拟方法,应用于机械CAD中,可节省时间和劳力,大大提高工作效率,同时确保计算的高效、准确,对可靠性设计提供了保证。本文将此方法应用于零件可靠性设计,得出计算机模拟结果,通过与理论结果比较,验证了此方法的可行性。同传统代数法和矩法计算可靠度相比,蒙特卡罗法无须知道应力和强度分布类型及概率参数,能够有效地解决问题。缺点是为提高计算精度必须进行大量模拟计算,需要较长的计算时间。

含缺陷轴类零件的结构完整性评价

阐述了含缺陷结构完整性评价的目的及原理,介绍了结构完整性评价的研究概况及趋势,最后提出了轴类零件完整性评价的技术思想和研究内容,将结构完整性评价技术的应用推广到除压力容器和管道等之外的更广泛的领域提供了一种新思路。

煤矸石在线识别与自动分选系统的研究

煤矸石是影响煤炭质量的重要因素,传统的煤矸石分选方法生产效率低,劳动强度大,容易造成环境污染。本文探讨了一种采用模式识别技术进行煤矸石在线识别与分选的新方法,介绍了煤矸石识别的基本原理,论述了系统的构成,讨论了图像处理的方法。

供电系统谐波的一种自动测量

介绍既具有数字示波器功能,又具有数字多用表功能,且能进行多种计算的智能仪器—U900F便携式电能质量分析仪的测量原理和性能特点;并阐述了如何利用该仪器实现供电系统谐波的自动测量,实践证明,U900F便携式电能质量分析仪的应用不但简化了谐波测量,同时也提高了测量精度。

一种嵌入式小波零树的图像分割编码算法

针对极低码率下图像的压缩问题,基于嵌入式小波零树编码(EZW)方法的基础上提出了一种改进的新算法。该方法对子带系数先进行四叉树图像分割预处理,随后再对均匀图像块进行EZW编码。这种改进的编码算法使得大量非重要系数集中成图像块表示,可更有效地降低码率。经过实验证明,由此方法得到的重构图像其主观视觉效果良好,与嵌入式小波零树算法相比,峰值信噪比(PSNR)在相同码率的情况下有较大的提高。

监控录像系统中文件自动更新的一种方法及其实现

在多媒体通信中,改进数据文件的存储结构和模式对数据的传输、存储、检索和更新都具有非常重要的意义。本文结合具体的监控录像系统提出了一种视音频文件的更新存储结构,给出了在这种结构下文件的自动更新方法及其实现过程。

数字作品版权保护新技术——数字水印

通过分析当前Internet上数字作品的版权保护中存在的问题,介绍了一种新的版权保护技术———数字水印。文中从该技术的本质、特点及应用出发,给出了水印技术的一般模型,并分析了常用的一些算法。最后,讨论了水印技术的发展方向。

基于Web的MIS系统研发

为了解决煤炭销售管理的落后现状,本文提出了采用三层B/S结构来开发基于Web的MIS系统,给出了B/S结构的工作原理及特点,介绍了系统的总体结构、功能及开发平台,并对系统实现的关键技术作了阐述。

分布式虚拟战场环境中地理环境模型的研究

现代战争是陆、海、空多兵种协同作战的全方位的复杂战场环境,对战场环境的综合仿真是一项庞大的系统工程,因此,通过计算机仿真为武器系统的研究提供强有力的技术手段。本文主要讨论了分布式虚拟战场环境中的地理环境模型,详细阐述了分布式虚拟环境中综合地面环境研究的各个方面,提出了一种可以实时估算各种地理环境因素动态变化的计算模型。

CORBA安全服务机制的研究

对CORBA安全服务中的CORBA安全参考模型和安全体系结构进行了详细的分析,为实现分布式应用软件的安全性能,提供了必要的理论准备。

一种简化的投标决策模型

在项目投标中,投标报价是影响其成功的重要因素之一。本文在最低报价-成本比服从正态分布的条件下,提出了一种计算投标报价的简化模型,可以近似地得到最优报价,并且减少了决策者的计算工作量。最后用实例证明了这个模型的合理性。

我国转轨时期企业并购动因的特殊性分析

我国国有企业并购动因的特殊性表现在经济动因与非经济动因的并存。消灭亏损企业、替代破产、改善财务状况等目的是上述特殊性的具体表现。此外,由于我国国有企业产权结构的特殊性,使得政府在企业并购中不仅制定政策,而且亲自参与企业并购,从而表现出并购动因的二元主体特征。

二阶常系数非齐次线性微分方程的一个解法

在工科高等数学教材中,关于二阶常系数非齐次线性微分方程只给出了自由项为两种特殊形式(即f(x)=eλxPm(x)或f(x)=eαx[Pl(x)cosβx+Pn(x)sinβx])时的解法,本文就自由项为一般的一个连续函数f(x),采用常数变异法,并利用分部积分,推出了一般二阶常系数非齐次线性微分方程的通解公式。常数变异法较之待定系数法,在特解的假设过程中避免了对f(x)形式的讨论,因而更具一般性。

连通图的基本割集多项式生成所有支撑树的一种证明

连通图必存在支撑树,且支撑树一般不唯一。如何得到连通图的所有支撑树,是图论中讨论的一个重要问题。利用基本割集对应的子图多项式生成所有支撑树是一个简单可行的方法[1],现有的对这种方法的理论证明较繁琐。本文给出一种较直观的证明,说明该方法可生成全体互异的支撑树。

论用户垄断及其防范

在现有市场垄断的研究中,主要侧重于卖方市场的垄断及其市场行为的影响,而对于买方垄断及其市场行为的研究显得较为薄弱。本文主要研究买方垄断(用户垄断)的存在、成因以及防范的措施。

光学干涉、衍射模拟软件设计

利用Monte-Carlo方法编写了劈尖和牛顿环的干涉以及单缝和光栅的衍射现象的计算机实现程序。可以调整参数,观察各种实验结果。特别是可以观察到劈尖用来检验带有凹痕的平面时出现弯曲的干涉条纹现象,以及做牛顿环实验当平凸透镜离开平面玻璃时干涉条纹变化情况。

单芯偏心电缆单位长度电容的计算

通过对计算得出的两个相互平行的、带等量异号的直长线电荷电势分布特点的分析,根据静电场中场强唯一性定理,计算出了单芯偏心电缆单位长度的电容。

西安科技学院学科带头人简介