论述了西石门铁矿水文地质条件,并在此基础上应用三维流有限元法求得了矿区水文地质参数和预测了4个中段的矿坑涌水量,为该矿山排水设计提供了科学依据。应用三维流有限元法求解水文地质问题,目前实例不多,这是一次有意义的探索

本文论述了可控硅逆变器逆变角影响串级调速装置功率因数的基本原理。从而阐明了当采用PWM型串级调速装置时,它的功率因数可得到一定程度的改善。从研制的PWM型串级调速装置试验结果,证明了理论分析的正确性。由于这种装置的结构和控制较简单,在实际应用中能得到较大的经济效益

本文把旋转机械故障产生的周期性激励—周期性特征信号分解成“波形”与“特征脉冲序列”的卷积,提出了有关周期性特征信号幅值调制、相位调制、波形畸变以及背景噪声四种类型噪声的概念。在此基础上,应用解卷积理论,对实倒谱分析识别周期性特征信号问题进行了研究。并在计算机上讨论了各种类型噪声对实倒谱分析的影响。研究表明,周期性特征信号在实倒谱上将形成依次递减的倒谐频结构,其大小仅与特征信号本身的稳定性有关,与信号的大小、形状无关,且最大值不超过1。分析结论较好地解释了文献以及作者的应用实例

子串的定位操作又称为模式匹配(Pattern Matching) 或串匹配(String Matching),其中子串T被称为模 式串。 此操作的应用在非常广泛。例如在文本编辑程序 中,我们经常要查找某一特定单词在文本中出现的 位置。显然,解此问题的有效算法能极大地提高文 本编辑程序的响应性能

Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。Keisler提出了无穷逻辑的公理系统。本文结合上述两种逻辑系统的思想,应用和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。此文证明了主要是对Lw1w(Q)中的模型存在定理及推演完全性定理

介绍应用几何溶液模型法预测三元系表面张力的新方法。由于引用了有理函数对所用的二元实验数据进行了优化处理,使计算精度大为提高。本方法用于Cu-Ag-Au体系后,所得结果与文献符合较好,说明这种处理方法是可行的

应用俄歇能谱仪(AES)研究了Ni-Cr-Co基高温合金中微量Mg的偏析规律。结果表明,偏析于晶界的Mg具有平衡偏析的特性;同时Mg的这种偏析在900℃附近速度最快。分析认为,这是由于偏析热力学和动力学共同控制的结果,也与该合金中碳化物M6C在晶界上析出有内在联系。研究中还发现,Mg在晶界上分布是不均匀的,且这种不均匀性随时效时间的延长而增加。研究中还应用透射电镜能谱(TEM)分析了Mg的分布,得到与AES类似的结果,进一步验证Mg在奥氏体晶界偏析的上述特性

应用刚塑性有限单元法对静液挤压圆棒时的主要工艺参数——变形量、模角和摩擦系数对变形过程的影响进行了分析。考虑了材料的加工硬化,经计算与实验比较表明了两者吻合良好

应用LIFO分支-定界搜索法和状态空间树概念,提出了求符号行列式的新算法SSTMSD——行列式的状态空间树法(它是Minty算法的发展和改进);根据它并应用变形图概念提出了求符号系统函数的新算珐SSTMSF——系联函数的状态空间树法

本文以各向同性、均匀介质、导热系数为常数的材料内的导热规律为依据,分别就导热系数为温度的函数、双层复合材料,各向异性材料等情形,推导了有效导热系数的数学表达式,并说明了它们的应用条件