火山作用与油气成藏

目前全球有100多个国家或地区发现了与火山岩有关的油气藏或油气显示,火山岩已经从油气勘探的“禁区”逐渐转变为“靶区”。火山活动伴随的热液和气液可以明显提高有机质的生烃量和转化率,有效地加快油气运移速率,而且无机成因烃的来源可能也与火山作用有关。火山岩本身可以成为油气的有利聚集场所,同时火山作用与沉积作用相匹配还有助于形成一系列与火山岩有关的油气圈闭。孔隙度、渗透率较差的火山灰或厚层玄武岩具有良好的封闭性能,可成为油气藏的局部盖层。火山岩油气藏的研究需将火山作用、构造作用、沉积作用、成烃作用有机结合起来,缺一不可。     

一种基于DCS的电厂AVC装置控制策略

针对国内AVC装置广泛应用的现状,本文简要介绍了发电厂AVC装置与AVR装置通信中存在的普遍问题,详细阐述了一种基于DCS的AVC装置控制策略的改进方法。通过应用本改进方法,能够大大提高AVC装置的可靠性,实现无功功率的合理分配,进一步保证电网的安全稳定运行。     

多形态构件的代码生成技术

针对软件的变化能力需求,提出支持可变特性的构件模型,可实现具有变化能力的构件;提出多形态构件:开发态、部署态和客户态,将软件的变化能力合理分解到软件生命周期的各个阶段;提出多形态构件的代码生成技术和多重生成原理,研发了代码生成工具,实现了多形态构件的自动生成.实例表明,该工具及所生成的构件能够很好的满足多变的业务需求和个性化需求.     

松辽盆地基底石英脉中无机成因气的地球化学特征及指示意义

松辽盆地深层存在着地球内部来源的无机成因气体，但一直缺少直接的地质证据，而分析该盆地基底岩石则有望成为解决这一问题的突破口。为此，通过基底岩心样品采集、石英脉体分离、包裹体岩相学、流体地球化学分析等技术手段，研究该盆地基底岩石中的石英脉体及脉体中流体包裹体的岩相学特征、碳氢氧同位素特征，探讨石英脉及其包裹体内流体的成因，寻找深部气体向浅部运移的流体记录，并分析基底石英脉包裹体内流体的指示意义。研究结果表明：①石英脉体的氧同位素值介于8.1‰～9.5‰，为岩浆期后热液结晶形成；②石英脉中存在H2O、H2O—CO2和H2O—CO2—CH4共3种原生流体包裹体，完全均一温度介于320～360 ℃， 成分以CO2、H2O为主，含有少量CH4、C2H6、N2、O2、Ar；③脉体中流体包裹体内水的δ18O介于2.0‰～3.8‰，δD介于 －91.6‰～－75.7‰，表现为岩浆脱气后残余水特征；④CO2的δ13C变化范围较大（介于－13.8‰～－9.7‰），其中烷烃的δ13C1介于 －30.6‰～－24.1‰，δ13C2介于－33.2‰～－25.7‰，且δ13C1＞δ13C2，呈负碳同位素系列，CO2和烷烃均显示无机成因气特征。结论认为：①石英脉内烷烃的δ13C1和δ13C2与该盆地深层碳同位素完全倒转的烷烃气特征一致，两者可能具有一定的亲缘性；②松辽盆地基底之下岩浆活动产生的热液流体在盆地基底缝隙中结晶形成石英脉体，并且捕获热液流体中的无机成因气，其余无机成因气则沿深大断裂向上运移至盆地内部，为深层天然气藏的形成做出了贡献。     

基于遗传算法的BP神经网络在企业资信评估中的应用

提出了一种新的企业资信评估方法.通过把神经网络和遗传算法有机地结合起来,既克服了传统BP网络训练时间长、易陷入局部极值的缺点,又利用遗传算法提高了网络全局收敛的效率.该模型采用C#.NET SQL server 2000实现.实验结果表明,基于遗传算法的BP神经网络系统对企业资信评估有着良好的性能.     

基于有限自动机的多层次构件行为匹配模型

针对目前基于行为规约匹配的构件获取方面的不足,提出了一种基于有限自动机的多层次的构件行为匹配模型.该模型采用有限自动机对构件的行为进行建模,借鉴图论中图匹配的思想,提出了6种行为匹配关系:等价行为匹配、扩展行为匹配、相容行为匹配、包含行为匹配、弱包含行为匹配和弱相容行为匹配.分析了这些行为匹配关系之间的蕴涵关系,并给出...     

应用于冷却系统的多孔介质电渗泵研究

对多孔介质电渗泵性能进行研究,分析电渗泵的流率和压力,为多孔介质电渗泵制作提供参考.依据电渗流控制方程,利用Debye-Huckel近似得到单根圆形管电渗流的近似解析模型,采用MEMS数值仿真软件CoventorWare对电渗泵模型进行求解分析,得到电渗泵流场的分布.基于电渗流的近似解析模型,采用截断高斯分布对多孔介质...     

可靠性模型中故障检测率研究述评

故障检测率FDR（Fault Detection Rate）是可靠性研究的关键要素,对于测试环境构建、故障检测效率提升、可靠性建模和可靠性增长具有重要作用,对于提高系统可靠性与确定发布时间具有重要现实意义.首先,对基于NHPP（Non-Homogeneous Poisson Process,非齐次泊松过程）类的软件可靠性增长模型SRGM（Software Reliability Growth Mode）进行概述,给出了建模本质、功用与流程.基于此,引出可靠性建模与研究中的关键参数——FDR,给出定义,对测试环境描述能力进行分析,展示不同模型的差异.着重剖析了FDR与失效强度、冒险率（风险率）的区别,得出三者之间的关联性表述.全面梳理了FDR的大类模型,分别从测试覆盖函数视角、直接设定角度、测试工作量函数参与构成方式三个方面进行剖析,继而提出统一的FDR相关的可靠性模型.考虑到对真实测试环境描述能力需要,建立不完美排错框架模型,衍生出不完美排错下多个不同FDR参与的可靠性增长模型.进一步,在12个真实描述应用场景与公开发表的失效数据集上进行实验,验证不同FDR模型相关的可靠性模型效用,对差异性进行分析与讨论.结果表明,FDR模型自身的性能可以支撑可靠性模型性能的提升.最后,指出了未来研究趋势和需要解决的问题.     

基于行为的构件组合及存在性检查

多个构件的组合可以解决单个构件的行为不能完全满足用户需求的问题。构件组合的关键是检查组合后复合构件的行为是否完全满足用户的需求。针对上述问题,提出一个基于行为的构件组合方法。该方法采用具有终止状态的接口自动机描述构件行为和用户需求。为了检查组合后复合构件的行为是否满足用户需求,提出基于行为映射图的组合存在性检查方法,给出从复合构件中提取用户所需行为的方法。     

基于服务规约匹配的业务构件获取

针对目前构件模型缺乏行为语义和脆弱接口的问题,提出了一个面向服务的业务构件模型,该模型采用有限状态机来描述业务构件的行为语义,采用基于XML的标记数据类型来表示业务数据类型,基于此模型,提出了动作、动作序列和业务构件3个层次的语义匹配关系,借鉴数据库查询语言,提出业务构件检索语言以支持业务构件的自动获取.结果表明:所提出的方法为大规模的业务构件复用提供了有利的技术支持.开发了业务构件库管理工具验证了该法方法的可行性和有效性.