C语言小程序算法的表示

在自动评判程序中的逻辑错误时,一个关键问题是正确表示程序的算法,并解决多样性问题.围绕算法的定义,提出用变量的源变量列表(VSV)和单变量访问流图(SVAF)共同表示程序的算法.其中VSV用于描述变量间的计算关系,SVAF用于描述每个变量的操作方式、次序以及相关的程序控制结构.经过规格化操作,可消除VSV和SVAF中因语句次序、临时变量、特殊赋值语句以及循环语句等引发的多样性问题.     

泵抽式电缆地层测试渗透率实时解释新方法

在对海上油田进行油气资源评价时,使用泵抽式电缆地层测试能快速获得储层的渗透率,节约大量的测试成本,降低作业风险.从渗流力学的基础理论出发,在充分考虑测试流量非稳定性和地层渗透率非均质性的前提下,建立了非稳态非均质球形流渗透率解释模型,并开发出基于渗透率正演压力原理的试井数值计算方法,能够提高电缆地层测试渗透率解释结果的可靠性和计算精度,同时满足现场在线解释的实时性要求.研究成果在一种新型泵抽式电缆地层测试器(ERCT)的测试资料解释中得到了验证.     

红河深水扇沉积物重力流特征

依据地震、岩心和测井资料,通过唯一钻遇红河深水扇的YC35井的岩心观察与描述,对红河深水扇沉积物重力流沉积特征进行研究,并与典型的沉积模式相比较,确定红河深水扇的沉积物重力流类型。结果表明:YC35井岩心沉积物为半深海环境下的重力流沉积;红河深水扇发育多种沉积物重力流类型,包括碎屑流、颗粒流、液化流以及浊流等,它们在纵向上相互叠置;红河深水扇属于富砂型深水扇,储层发育,这为红河深水扇的油气勘探奠定了物质基础。     

管道油流携水系统的界面分布

成品油管道低洼处积水引起的腐蚀产物堵塞管道事故严重威胁管道的正常运行,为研究管道中油流携水作用机制,从试验、理论两个角度对油流携水系统的特性进行研究。以柴油和水为介质,在内径27 mm的水平-上倾管流试验系统上对上倾管段0.5 m位置处的出水量以及临界油相流量(出水量不为零时的最小油相流量)进行测量,同时根据试验模型,基于油水两相动量方程和光滑分层流稳定的条件,建立水相厚度梯度的计算模型,对水平测试段中相界面分布进行分析,对出水量以及临界油相流量进行预测。结果表明:新模型能很好地预测两参数的变化;在油流携水系统中,油相处于层流状态时,建立的水相厚度梯度模型能很好地预测相界面分布。     

负载自适应的数据流流量测量算法

针对现有的数据流流量测量算法负载适应性不佳的问题,基于计数型布鲁姆过滤器,提出了一种负载自适应的数据流流量测量算法LACBF(load-adaptive counting bloom filter)。采用真实的网络流量数据,对LACBF算法的性能进行了仿真验证,结果表明,LACBF算法能够在网络流量动态变化的情况下获得比现有算法更小的测量误差。     

一起主变间隙零流保护误动的原因分析及防范措施

文章分析了地区电网由于雷击造成的线路瞬时性接地故障,从而导致变电站主变间隙零流保护因与线路保护配合不当造成跳闸,致使全站失压的事故原因,参考相关规程文献,指出其存在的问题,并提出相应的解决办法。     

级配碎石力学性能的颗粒流数值模拟方法

为了从本质上揭示级配碎石组成结构与力学性能的内在关系,基于2维颗粒流软件提出了级配碎石力学性能的颗粒流数值模拟方法,并通过该方法以安康瀛湖石灰岩碎石为例研究了级配碎石的力学性能.结果表明:不同级配碎石的CBR(california bearing raio)、剪切强度和抗压强度的实测值分别为495%~692%,592~802kPa,1.29~1.54MPa;相应的模拟值分别为525%~736%,636~839kPa,1.34~1.54MPa;平均误差分别为4.50%,5.07%,5.15%.模拟结果与实测结果基本吻合,证明颗粒流数值模拟方法应用于级配碎石力学性能研究中的可行性.     

汽轮机调节级非定常流动的数值模拟及汽流激振力研究

针对汽轮机调节级的非定常效应产生汽流激振力的问题,基于ANSYS CFX软件,采用RNGk-ε湍流模型、双时间步法、滑移界面模型和结构化六面体网格对带有进汽室和加强筋的汽轮机调节级进行了全周三维非定常黏性流场的数值模拟.研究发现:调节级非定常时均轮周效率低于定常轮周效率;动叶在进出堵塞区域时存在较大的轴向汽流力和切向汽流力;低频汽流激振力的基频为50Hz;汽流压力和静熵在不同截面的周向分布差异较大,在向下游运动过程中逐渐趋于平均;堵塞区域的动叶通道掺混损失及鼓风损失较大,其将影响动叶的做功能力,进入堵塞区域时动叶吸力面首先受到影响.     

采用非结构网格的IDEAL算法实现及定压边界条件处理

在非结构网格系统中采用有限容积法对不可压N-S方程进行了离散,其中对流项采用二阶迎风格式,扩散项采用超松弛校正格式.通过修正的动量插值格式构造了压力方程,利用IDEAL算法处理压力与速度的耦合.利用Taylor展式导出了邻近边界内节点的压力计算公式,进而将边界静压引入到压力方程的迭代计算中,确保了边界信息向内部区域的有效传递.根据质量守恒定律分别导出了压力入口和出口边界的速度计算公式,结合伯努利定律给出了总压边界的处理方法.通过压力驱动管内层流、三通管层流以及浮力驱动流等几个典型算例对文中方法进行了考核,并将计算结果与文献中的基准解和实验值进行了对比.结果表明,不管是静压边界还是总压边界,采用该处理方法均能获得令人满意的结果,尤其对于大空间自然对流问题,可以在保证精度的前提下节省大量的存储空间和运算时间.     

基于MFA和STIRPAT的定西市物质输入输出及环境压力

运用物质流分析方法,对定西市生态经济系统分析结果表明:在不考虑水的情况下物质输入和输出分别以2.24％和5.68％的速度波动缓慢上升;物质输入上升速度低于物质生产力上升速度和物质利用强度降低速度,单位GDP污染物排放强度以年均6.59％的速度直线下降,可见物质利用效率的提高速度较快,而2004-2008年,物质生产力每...