数学概念的一种特殊形式化方法

数学定理的机器证明首先应将数学概念形式化(或称符号化 ) ,形式化的方法和技巧对于理论上的推理研究以及是否能够真正利用计算机进行推理将起关键作用。本文讨论了一种特殊形式化数学概念的方法 ,其主要特点就是仅引入两个谓词和有限个常项符号 ,按照某种规则生成公式后便可对众多数学概念进行描述。由于只有两个谓词和有限个常项符号出现 ,因此对利用计算机推理具有重要意义。     

数据排列的上近似与数据识别

在传统信息系统中引入了n阶粒划分的概念,使信息系统通过n阶粒划分得以粒化,并随着n阶粒划分的变化呈现不同的粒化结构。进而,经对论域对象的特定排序,并通过对上近似和n阶粒划分的融合,确定了一种数据隐含与数据识别的方法,使在数据隐含与数据识别中具有独特的作用。通过调整论域对象的排列顺序,使得数据隐含与数据识别更具灵活性,达到了相同数据隐含及识别的多样性目的。     

5种指标评定中国老年人中心性肥胖的可行性

选取1000名60～75岁老年人为研究对象,获取其腰围(WC)、 腰臀比(WHR)、 腰身比(WSR)、体质指数(BMI)、人体肥胖指数(BAI)及相对脂肪含量(RFM)等指标,运用SPEARMAN法进行WC同其他肥胖指标的相关性分析.以WC为基准,运用ROC曲线描述各指标评价中心性肥胖的价值并估算各指标评定中心性肥胖的最佳切点.结果显示,5种肥胖指标同WC均呈正相关,其中WSR和RFM的相关度最高,均呈极强相关(r>0.9).各指标的ROC曲线面积均大于0.5,表明在预测中心性肥胖中均有价值;其中RFM和WSR面积最大,男、女均大于0.9,有较高准确性.WHR、WSR、BAI、BMI和RFM的ROC最佳切点值,男性老年人依次为0.92、0.56、28.54、24.31和27.19;女性老年人依次为0.94、0.56、31.57、23.28和39.90.因此,以WC为标准,WHR、WSR、BAI、BMI、RFM均可用于评定中国老年人中心性肥胖,其中WSR和RFM参考价值最高.     

高精度渗碳控制方法

在采用电阻法直接测控碳势的方法中,提出了一种分段参数调节增量式PID算法,通过实际调试和理论推导表明,渗碳工艺过程控制具有控制超调量小、过渡时间短、精度高、软件实现方便等优点,稳定后碳势控制精度可达±0.03%。     

光伏储能一体化自动发电控制研究

随着新能源领域的不断发展和应用,光伏+储能一体化项目的自动发电控制功能（AGC）成为项目的关键问题之一。文章旨在探讨光伏储能一体化项目的自动发电控制功能策略,分析控制策略的设计思路和实现方法,以提高项目的发电效率和供电稳定性。首先,介绍光伏储能一体化项目的基本原理和应用场景;其次,分析自动发电控制功能的需求,提出相应的控制策略;最后,通过实际案例分析,论证控制策略的有效性和实现方法的可行性,为类似项目的实施提供借鉴和参考。     

致密油藏压裂水平井Blasingame 曲线分析

致密油藏渗透率较低,需要应用水平井大规模压裂的方法才能进行有效开发,压裂后形成的基质与裂缝为2种渗流规律差异性较大的介质,需要新的产量分析模型才能适应致密油藏压裂水平井开发动态分析的需求。在对致密油藏基质与裂缝2种介质不同渗流规律研究的基础上,建立水平井多段压裂双重介质耦合产量模型,并应用有限体积法在非结构混合网格的基础上进行模型求解,同时,制作典型致密油藏压裂水平井Blasingame曲线,并对该曲线特征进行分析,将压裂水平井开发生产阶段划分成裂缝线性流、过渡流和边界控制流3个阶段;基质启动压力梯度、裂缝条数、裂缝间距和裂缝长度对Blasingame曲线有着重要的影响,该曲线在后期的边界控制流阶段随着启动压力梯度的增加而线性地平行下移,在中、前期随着裂缝条数的增加而向上分散,在中期过渡流阶段随着裂缝间距与裂缝长度的增加而向上突出,但裂缝间距对曲线的影响更显著。     

近似空间上粗糙路径的研究及应用

以Pawlak粗糙集理论中近似空间M=(U,R)为基础展开讨论,不采用粗糙集理论通常以上、下近似开始的做法,而是从M上二元关系S粗糙化后所得到的粗糙关系S觹出发,给出关于S粗糙路径的概念。同时,通过对跨度的定义与讨论,又建立起粗糙路径与上近似之间的联系,这是对粗糙路径研究所得到的重要性质。为了应用目的,构建了判定粗糙路径是否存在的路径矩阵。这为其系统化的应用奠定了基础。     

致密油储层水平井物性参数测井解释研究——以长庆油田W464井区长72致密油水平井为例

水平井测井受多因素影响,测井响应特征与直井有显著不同,从影响水平井测井响应特征的主控因素入手,以长庆油田W464井区长72致密油水平井为研究对象,提出了水平井可行的声波时差测井校正方法,确定了水平井物性参数计算模型。应用实践表明,该模型可满足生产需求,并在致密油开发实践中取得了较好的效果,具备一定的推广应用价值。     

煤矿长距离缓坡输送连续牵引车方案设计优化

山西焦煤集团斜沟矿由于生产能力提升,原有的辅助运输系统已不能满足长距离输送要求,通过对行车阻力、功率、钢丝绳强度、绳径比的验算。结合工程实际情况,选择了适用本工程的绞车,并提出了优化方案。经现场检验,此优化方案可行性强,具有良好的经济效益。