用数值模拟方法研究水驱特征曲线的结果

本文用数值模拟方法,按照大庆油田的油层条件,系统研究了水驱特征曲线的一般特征、出现直线段的时间及直线最小适用范围,同时重新评价了小井距试验区的水驱特征曲线,从而为在本油田正确使用水驱特征曲线提供了依据。文中用中期采油量倍增法估算的可采储量也可为开发决策提供参考数据。     

Parametric study of the electrical to thermal power conversion in an inductively coupledrf plasma torch

An inductively coupled (ic) radio-frequency (rf) stabilized argon plasma was generated in a quartz tube using a 7 MHzrf generator. The electrical and thermal powers were measured and the efficiency of energy conversion was computed. The results indicate that for a constant power input, there is an optimum argon flow rate for which maximum energy conversion efficiency occurs.     

Effect of 0.1 at.% zirconium on the cyclic oxidation resistance ofβ-NiAl

The effect of 0.1 at.% Zr (0.2 wt.% Zr) on the cyclic oxidation of hipped -NiAl was studied. Oxidation testing was performed in static air at 1100–1200 °C, using 1-hr exposure cycles for test times up to 3000 hr. The weight change versus time data were modeled with the COSP computer program to analyze and predict cyclic-oxidation behavior. Zr additions significantly change the nature of the scale-spalling process during cooling so that the oxide spalls near the oxide-air interface at a relatively low depth within the scale. Without Zr, the predominantly -Al₂O₃ scale tends to spall randomly to bare metal at relatively high effective-scale-loss rates, particularly at 1150°C and 1200°C. This leads to higher rates of Al consumption for the Zr-free aluminide and much earlier depletion of Al, leading to eventual breakaway (i.e., failure).     

Mechanical procedure for proof construction via closed terms in typed λ calculus

In this paper is presented an algorithm for constructing natural deduction proofs in the propositional intuitionistic and classical logics according to the analogy relating intuitionistic propositional formulas and natural deduction proofs, respectively, to types and terms of simple type theory. Proofs are constructed as closed terms in the simple typed calculus. The soundness and completeness of this method are proved.     

Sex pheromones of male yellowfin Baikal sculpin (Cottocomephorus grewingki): Isolation and chemical studies

Three components of the male yellowfin Baikal sculpin pheromonal signal have been isolated from urine by diethyl ether extraction, thinayer chromatography (TLC), and high-performance liquid chromatography (HPLC). Using mass spectrometry, we have identified two of them as testosterone (T) and 11-hydroxytestosterone (11HT). These steroids are synthesized in testes during full spermatogenesis, and they are excreted in male urine with milt. The third component is not a steroid. It is more likely to be a polyene alcohol (farnesol). 2Z,6E-Farnesol possesses behavioral activity.     

An enhanced,acoustic emission-based,single-fiber-composite test

In the single-fiber-composite (SFC) test, a fiber imbedded in a matrix is loaded in tension, resulting in a fragmentation of the fiber. In the conventional version of this test, the final fiber fragmentation length distribution is used with a micro-mechanical model to determine the average fiber/matrix interfacial shear stress. In the enhanced version of this test, one also determines the applied stress at each fiber fracture, and from this, one can evaluate the strength of the fiber at short gage lengths. In our measurement system, we utilize an acoustic emission (AE) technique to detect the fiber fractures and to locate the fiber breaks and so determine both the fiber failure stresses as well as the fiber fragmentation lengths while the test is in progress. Critical to the success of this test is a broadband AE system that utilizes point-like AE sensors, procedures for evaluatingin situ, the wavespeed of the first wave arrival and signal processing techniques for determining the arrival time of this signal as precisely as possible for a broad range of wave shapes. Here we describe the application of such an enhanced SFC test procedure to investigate the failure of a Nicalon fiber in an epoxy matrix.     

Teleoperation to robotics at Langley Research Center

A popular conception of the evolution of remote manipulation is a progression from teleoperation to telerobotics and then to robotics. This is logical because in going from teleoperation to robotics there would appear to be a continuous decrease in manned workload, an increase in system complexity, and an increase in the amount of intelligence in the automated system. During the past 10 years NASA Langley Research Center (LaRC) has been involved in all three areas. The decision on which system is most suitable for a task depends not only on the task, but on the allocation of responsibility for intelligence or high level control. The operator may be responsible for all intelligence and control functions, they may be shared between the operator and the automated system, or they may be performed by an autonomous system. This paper discusses some of the experiences in each area in applications related to possible space tasks and some of the lessons learned.