The problem of definition expansion and contraction

This article is the fourth of a series of articles discussing various open research problems in automated reasoning. The problem proposed for research focuses on finding criteria that would enable an automated reasoning program to expand or contract definitions wisely. For evaluating a proposed solution to this research problem, we include suggestions concerning possible test problems.This work was supported by the Applied Mathematical Sciences subprogram of the Office of Energy Research, U.S. Department of Energy, under contract W-31-109-Eng-38.     

中原边际小断块油田油气集输工艺配套技术探索

介绍了中原边际小断块油田开发建设以来几种油气集输工艺配套技术的成功应用，并从节能降耗、工艺合理匹配、提高系统效率等方面阐述了其他适于边际小断块油田油气集输工艺的配套技术。     

发生在北美的合成内燃机油定义之争

加氢异构化油是不是合成油?简述了20世纪90年代末重新激活的合成油定义之争、NAD的裁决以及该裁决对各润滑油公司和合成基础油市场的影响.     

油藏数值模拟在油田开发调整中的应用——八面河油田面4区面3块开发调整方案研究

针对油藏现状,在油藏描述的基础上,进行网格划分,建立地质模型;根据生产历史资料建立动态模型;通过对油藏模型参数的分析,建立油藏数值模拟模型;应用数值模拟软件对面3块进行了三维三相油藏数值模拟研究。根据拟合成果提交了含水饱和度分布图、单位面积剩余储量分布图和各砂体储量状况表,分析了剩余油分布规律和油藏开发潜力,对面3块进行了调整方案设计和调整后的效果分析。     

MTPM—一种在多Transputer系统上实现OPS5并行匹配的方案

并行匹配是并行处理产生式系统的重要内容之一。本文针对现有RETE匹配算法,提出了一种自行设计的在多Transputer系统上实现OPS5并行匹配的方案,并重点讨论了实现MTPM中的一些技术问题.试验表明,MTPM提供了一条发掘产生式系统固有并行性的可能途径.     

图像匹配中噪声分析和预处理

提出和证明了在三坐标测量机单镜头三维视觉系统中的图像噪声主要有三种：（1）电磁干扰噪声；（2）季节、气候和时间变化引起的噪声；（3）物体的位置和视角变化引起的噪声。相应地提出了一种基于优化图像搜索模块的有效减少和消除噪声的预处理方法。理论分析和实验均表明，该方法具有简便、可靠和速度快的优点。     

Nd：MgO：LiNbO3晶体的荧光光谱及其双晶体腔内互倍频实验

采用激光感生荧光技术测量了Ｎｄ：ＭｇＯ：ＬｉＮｂＯ３晶体的偏振荧光光谱，简要地说明了Ｎｄ：ＭｇＯ：ＬｉＮｂＯ３双晶体腔内互倍频的基本原理，并在实验中用染料激光作泵浦源实现了其双晶体腔内互倍频运转；得到５４３ｎｍ横模倍频绿光单端输出约ＹＭＷ，腔前泵浦阈值约３８ＭＷ，总转换效率约为１．３％。     

线性联合检测算法在TD-SCDMA系统中的性能分析与比较

时分、同步码分多址（TD－SCDMA）系统是基于时分双工（TDD）的块传输系统，它使用了联合检测这项关键技术来抵抗符号间干扰（ISI）和多址干扰（MAI）。以上行链路为例，本文分析了三种线性联合检测算法－－匹配滤波块均衡器（MF－BLE）、迫零块均衡器（ZF－BLE）和最小均方误差块均衡器（MMSE－BLE）。从理论上，我们描述了这三种线性联合检测算法的基本原理，并对它们进行了比较（包括抗干扰性能和计算量）。随后，我们模拟了不同参数条件下（信道模型、码道数目、天线数目）这几种算法的性能，并与理论分析进行对照，得出一定结论。     

宽带电流反馈运算放大器OPA623及其应用

以电流模技术和互补双极工艺制造的集成电路具有良好的高频性能，用其构成的电流反馈放大器频带宽，转换速率高，在视频和射频信号的放大和处理以及高速数字通信系统中都得到广泛的应用。通过OPA623集成“运放”，简要介绍电流反馈放大器的原理、性能及其在高清晰度电视及有线电视传输中的应用。