高凝油油藏微生物驱提高采收率实验研究

高凝油具有凝固点高、含蜡量高、析蜡温度高的特点,可能对近井地带产生冷伤害,降低油藏渗透率,影响渗流规律,并且制约了水驱转化学驱等提高采收率技术的试验效果。针对该问题,通过室内实验对辽河油田沈84-安12块地层流体中内源微生物进行分离与鉴别,提取了2种耐高温优势微生物菌种,优化了菌种地下激活体系,探究高凝油油藏微生物驱机理。实验结果表明:微生物驱油体系具有降解高凝油蜡质组分作用,有效降低C₂₀以上长链饱和烃,降解率达到19%～33%,改善后原油凝固点降低2～6 ℃,较水驱可提高采收率9.0个百分点。该研究为解决高凝油油藏冷伤害、改善油田开发效果提供了借鉴。     

大型钢结构货架计算分析系统研发

以数据文件为接口,利用VB编程,调用有限元软件SAP84的计算模块进行二次开发,实现钢结构货架通用计算分析系统。该系统具有友好、方便、易用的人机交互界面,对复杂、难理解和掌握的SAP84接口文件进行后台封装,避免了大量的重复性分析工作,提高了分析效率,为钢结构货架的合理设计提供了依据。     

WGS-84坐标与地方独立坐标的转换

对城市GPS首级网的WGS-84坐标值和地方坐标值的平面转换关系进行研究,比较了四参数转换模型和多项式拟合法的转换误差,精度和可靠性,并得出一些实用的结论。     

Y对ZA84镁合金显微组织和力学性能的影响

利用金相显微镜、电子万能试验机、扫描电镜和X射线等手段,研究了添加Y含量(0%～1.5%)对铸态Mg-8Zn-4Al-0.3Mn合金的显微组织和力学性能的影响。结果表明,随稀土元素Y的加入,合金的铸态组织的变化趋势为先细化后粗化。适量稀土元素Y(0.5%)的加入使ZA84镁合金的组织明显细化,网状的τ-Mg32(Al,Zn)49相变成颗粒状。当Y含量0.5%时,网状的τ-Mg32(Al,Zn)49相重新出现,组织又逐渐粗化。合金的硬度值随Y含量的增加先升高后降低,且Y含量1.0%时达到最大值。稀土Y的加入,以固溶形式和形成强化相2种方式极大改善了合金的力学性能。当Y含量为0.5%时,获得最佳室温和高温力学性能,其常温抗拉强度和高温抗拉强度分别为206MPa和182MPa。与基体合金相比,分别提高了15%、14.4%。     

一种工程中实用的WGS-84到BJ-54坐标系转换方法

在规划设计等工程应用中经常使用GPS卫星定位系统来确定现状及规划线路,得到的是以大地坐标系为基础的WGS-84坐标系数据,而目前规划设计项目中普遍使用的又是以1954年北京坐标系为基础的坐标数据,因此必须给出WGS-84坐标转换到BJ-54坐标系的转换方法,本文对这两种坐标系转换模型进行了分析,并给出了在AutoCAD工程设计中的一个实用LSP描点程序,通过工程实践,得到了很好的工程效果.     

AT84AD001型ADC在2GHz高速信号采集系统中的应用

介绍了一种最大采样率可达1GS/s的新型双通道并行8位高速A/D转换器AT84AD001的性能特点.该器件具有多种模拟输入和时钟输入方式,可实现多功能的数据采集电路方案.详细描述了AT84AD001在并行交错模式下的工作原理,并介绍了其在2 GHz信号采集系统中的应用,给出了设计方案和AT84AD001与FPGA的接口框图.     

Hamiltonian connectivity and globally 3∗-connectivity of dual-cube extensive networks

In 2000, Li et al. introduced dual-cube networks, denoted by DC_n for n?1, using the hypercube family Q_n and showed the vertex symmetry and some fault-tolerant hamiltonian properties of DC_n. In this article, we introduce a new family of interconnection networks called dual-cube extensive networks, denoted by DCEN(G). Given any arbitrary graph G, DCEN(G) is generated from G using the similar structure of DC_n. We show that if G is a nonbipartite and hamiltonian connected graph, then DCEN(G) is hamiltonian connected. In addition, if G has the property that for any two distinct vertices u,v of G, there exist three disjoint paths between u and v such that these three paths span the graph G, then DCEN(G) preserves the same property. Furthermore, we prove that the similar results hold when G is a bipartite graph.     

Guaranteed robustness bounds for matched-disturbance nonlinear systems

This paper considers input affine nonlinear systems with matched disturbances and shows how to compute an a priori upper bound of the H_∞ attenuation level achieved by the optimal L₂ controller and the suboptimal H_∞ central controller. The case where the disturbance contains a constant term is also discussed. These bounds are shown to depend only on the function mapping the control input to the performance variable. This result is used to derive a robust control design for a special, but practically important, class of non-input affine nonlinear systems consisting of the series connection of a nonlinear state and input dependent map and of a nonlinear input affine dynamical system. Approximate inversion of the nonlinear static map leads to a robust control problem which fits into the framework. The effectiveness of the theoretical results is shown by its use for the robust control design of a diesel engine test bench.     

Parametric synchronizations in mobile nominal calculi

We present and compare P-PRISMA and F-PRISMA, two parametric calculi that can be instantiated with different interaction policies, defined as synchronization algebras with mobility of names (SAMs). In particular, P-PRISMA is based on name transmission (P-SAM), like π-calculus, and thus exploits directional (input–output) communication only, while F-PRISMA is based on name fusion (F-SAM), like Fusion calculus, and thus exploits a more symmetric form of communication. However, P-PRISMA and F-PRISMA can easily accommodate many other high-level synchronization mechanisms than the basic ones available in π-calculus and Fusion, hence allowing for the development of a general meta-theory of mobile calculi. We define for both the labeled operational semantics and a form of strong bisimilarity, showing that the latter is compositional for any SAM. We also discuss reduction semantics and weak bisimilarity. We give several examples based on heterogeneous SAMs, we investigate the case studies of π-calculus and Fusion calculus giving correspondence theorems, and we show how P-PRISMA can be encoded in F-PRISMA. Finally, we show that basic categorical tools can help to relate and to compose SAMs and PRISMA processes in an elegant way.     

求解高精度的WGS-84坐标 方法的探讨

本文主要介绍了求解高精度的WGS-84（World Geodetic System-1984 Coordinate System）坐标的几种方法,并着重介绍了精密单点定位的方法和原理。通过几种方法的比较,验证了WGS-84坐标的精度,为今后类似项目提供了参考经验。