考虑岩石变形的火山岩气藏数值模拟研究

随着油气勘探技术的提高,在我国东部松辽盆地深层发现了具有广阔前景的火山岩气藏,具有岩石类型多,岩性复杂,岩性岩相变化快,储层微裂缝较发育,物性差,非均质性强,应力敏感性强的特点.针对火山岩气藏地质条件的复杂性,通过实验研究了该类气藏开采过程中岩石的变形特征及其对渗透率和气井产能的影响.建立了考虑岩石裂缝变形的双重介质气藏数值模拟模型,并利用该模型进行了岩石裂缝变形对开发效果影响的模拟研究,为火山岩气藏的有效开发提供了一定的科学依据.     

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

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

粒空间中基于粒计算的粒语义推理

在论域上定义公式,并因其与粒相对应,使得粒空间得以形成.在粒空间中由粒之间的关系确定出粒语义推理,并对此进行讨论.通过粒计算,证得粒语义推理满足命题逻辑自然推理系统的每一推理规则,因此粒空间上的可靠性成立,这表明形式推理蕴涵粒语义推理.尽管粒空间上的完备性不成立,但结果表明粒语义推理是各经典推理模式的扩充,所以粒语义推理既拓宽推理研究的范围,又引进粒计算的研究方法,促成粒计算与逻辑推理的进一步融合.     

胶凝砂砾石配合比设计研究与工程应用

针对某实际胶凝砂砾石永久性水利工程特性进行配合比设计,采用丁朴荣理论公式法和最大密度试验法进行三种砂砾石料混合级配设计,并结合配合比试验研究优选胶凝材料用量和水胶比。胶凝砂砾石材料的抗压强度随着胶凝材料用量的增大而增大,且在胶凝材料用量大于100 kg/m~3时,胶凝砂砾石材料力学性能趋向于混凝土。此外,在同一胶凝材料用量下,试件抗压强度随水胶比的增大呈现先增大后减小的趋势,即存在最优水胶比。综合实际施工技术、节约经济及抗压强度富余度等条件,最终为该工程推荐胶凝材料用量为100 kg/m~3,水胶比为1.0。     

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

在传统信息系统中引入了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%。     

谓词公式的分层及其模型和应用

通过形式化的方法描述数据库中数据的性质,从而进一步讨论这些形式化的性质如何能在数据库模型中得到满足。为此,将谓词公式作为形式化的工具,并根据谓词公式中量词的不同情况对谓词公式进行了分层。针对分层公式、模型的概念被定义,研究了分层公式在模型中的性质。这些性质表明了分层公式中量词的特性与模型之间的关系。在此基础上,讨论了分层公式及其模型在实际当中的应用。由此得到:数据性质的分层公式描述不仅便于从理论上弄清数据与模型之间的关系,而且对于应用也具有实际的指导意义。     

谓词公式的分层及其模型和应用

通过形式化的方法描述数据库中数据的性质,从而进一步讨论这些形式化的性质如何能在数据库模型中得到满足.为此,将谓词公式作为形式化的工具,并根据谓词公式中量词的不同情况对谓词公式进行了分层.针对分层公式、模型的概念被定义,研究了分层公式在模型中的性质.这些性质表明了分层公式中量词的特性与模型之间的关系.在此基础上,讨论了分层公式及其模型在实际当中的应用.由此得到:数据性质的分层公式描述不仅便于从理论上弄清数据与模型之间的关系,而且对于应用也具有实际的指导意义.     

粗糙逻辑在近似空间一类特殊公式下的语义研究及应用

该文以Pawlak粗糙逻辑为基础,在近似空间M=(U,R)中展开讨论。首先对划分U/R=狖犤b1犦,犤b2犦,…,犤bn犦狚中每一个等价类犤bi犦(i=1,2,…,n)进行排序,然后再结合等价关系R,定义出U上的偏序关系P。根据该偏序关系P构造一类特殊的逻辑公式,从而形成特殊的粗糙逻辑语言。最后进一步研究了某些公式的粗糙逻辑值以及这些公式在实际中的应用。