采油工程中灰色预测模型的病态性诊断

依据条件数法和特征分析法对采油工程中的灰色模型的病态性进行了分析，指出了两者在判定模型病态性方面的优劣，并根据最小二乘解析式分析了数乘变换对灰色模型参数的影响，文中还就Gershgorin定理分析了灰色模型病态的缘由，指出累加和最小二乘法是导致灰色模型病态的直接原因．     

罗伯茨与加莱定量的合并应用：连杆曲线三重产生法及其CAD

阐明罗伯次及加莱定量在连杆曲线三重产生法中的应用及其原理。应用时由于容易出错，建议用三心定理校核。作者已研制出罗伯茨及加莱定理联合应用的计算机软件，利用计算机作图，可以保证无差错地供自动设计之用。     

FC-空间内的G-FC-KKM型定理

不具任何凸结构的有限连续拓扑空间(FC空间)是2005年提出的一个新概念.许多具有抽象凸结构的拓扑空间都是FC-空间.在FC-空间内引入了一类G-FC-KKM(S-G-FC-KKM)映象,通过使用连续单位分解定理证明了一些G-FC-KKM(S-G-FC-KKM)型定理.这些定理推广了近期文献中的一些结果.     

"牛顿--莱布尼兹公式"的四种证法之比较

本文列举了“牛顿——莱布尼兹公式”的四种不同形式的证法，分别用变上限定积分、中值定理、微分对公式加以证明。从中可以比较它们之间的异同和各自特点，以便在教学中适当地选用，博采众长，以取得更好的效果。     

考虑流-固耦合效应的异形盾构开挖面稳定性极限分析

为有效评估含水地层异形盾构隧道开挖面的稳定性,解决异形盾构隧道开挖面稳定性预测和控制等关键问题,采用理论分析和数值模拟相结合的方法,研究了主动破坏模式下含水地层中异形盾构隧道开挖面发生失稳破坏的演化过程以及开挖面极限支护力的确定方法。运用FLAC3D有限差分软件,建立了考虑流-固耦合效应的异形盾构隧道开挖面主动破坏数值模型,通过FISH语言编程提取了异形隧道开挖面附近地层的孔隙水压分布。基于空间离散化技术和极限分析上限定理,采用线性插值方法计算了异形盾构隧道开挖面附近地层渗透力做功率,建立了含水地层考虑流-固耦合效应的异形盾构隧道开挖面稳定性分析模型,揭示了断面形状、地层参数、地下水位等因素对隧道开挖面极限支护力和三维破坏模式的影响规律。研究结果表明：流-固耦合情况下的地层孔隙水压力要明显大于单渗流情况下的孔隙水压力;隧道开挖面附近的孔隙水压力梯度明显大于其他区域;在同等工况下,矩形、五心马蹄形隧道开挖面的极限支护力相对较大,椭圆、三心马蹄形隧道开挖面的极限支护力相对较小;各断面形状下的隧道开挖面的极限支护力随黏聚力、内摩擦角和地下水位的增大而增大;随耦合时间的增大极限支护力先是不断增...     

时域中的潜体兴波研究

从格林定理出发,在边界面上布置Rankine源和偶极子,在时域中用时间步进法计算模拟了潜体近自由面运动的兴波现象,构建了一种处理兴波问题的计算模型.文中详细介绍了这种方法的理论推导和计算过程,并通过试算确定了适当的模型参数.通过对多个参数的变化调整,讨论了它们对潜体兴波阻力和波形变化的影响.大量的数值试验和与试验数据的比较,证实了该法作为三维数值波浪水池的一个支撑模型是可行、可靠的.     

输油管路网式过滤器压降的实验研究

安装在输油管路上用以保护离心泵、流量计等管路设备的过滤器的滤网引起的管路局部压降损失是不可忽略的。通过量纲分析得到了滤网的局部水头损失系数ξ的影响因素：滤网开孔率β和雷诺数Re.并通过实验确定了β和Re对ξ的具体影响,Re对ξ影响不大,可认为与之无关,而β是影响ξ的主要因素。通过回归得到了ξ的计算公式。另外,还分析了输送介质含泥沙时滤网ξ的变化情况。     

基于符号权重的一阶逻辑前提选择方法

为增强自动定理证明器从一阶逻辑问题的大规模前提中选择相关前提的能力，首先，提出符号权重计算公式，基于符号在问题中出现的频率获取不同符号对应的权重；其次，提出相关度计算公式，利用分配的符号权重计算问题中前提和结论间的相关度；同时，研究自适应相关度边界，用于判断前提与给定的结论是否相关；最后，在自动定理证明器中交互地结合前提选择和自动推理两个过程，可在充分选择相关前提的情况下及时停止前提选择过程.实验结果表明：在最优情况下，新提出的前提选择方法能够把参与证明的平均前提数量从1 876个降低到174个；与广泛使用的前提选择方法 E-SInE和Vampire-SInE相比，使用新方法能够帮助自动定理证明器E在MPTP2078基准测试集上分别提高19.49%和10.49%的证明率.