Detection and analysis of transition from annular to intermittent flow in vertical tubes

In vertical co-current gas-liquid flow, the transition from annular to intermittent flow occurs when gas core becomes interrupted by liquid bridges due to the instability of the interfacial capillary waves. An analytical model is formulated to explain the liquid bridging in terms of the growth of finite amplitude interfacial capillary waves. Experimental results show that the longest wave length, which is associated with the transition, is about eight times the wave length of waves moving with the velocity of the liquid film.     

一个面向语义的解释器自动生成技术

本文给出从指称语义自动生成解释器后端的一种技术.解释器被表示成PASCAL_like形式.     

垂直平行束状孔爆破模型试验与分析

垂直平行密集束状孔落矿有底柱崩落法是一种新的采矿方法。通过爆破模型试验，测试爆破应力，观察分析爆破效果，探求最佳布孔形式，选择最优爆破孔网参数。试验结果表明：用平行束状孔取代扇形落矿，改善了爆破效果，简化了采场结构，减少了采切工程量。     

CAD OF MILLIMETER WAVE OSCILLATORS WITH THE FDHB TECHNIQUE

In this paper the modelling, analysis and optimization of millimeter wave oscillatorsare investigated by using the a frequency-domain harmonic balance technique (FDHB), where theexternal-circuit impedances looking outside from the active device are calculated with a combinedtechnique of modes expansion, Galerkin, and collocation methods. The optimization results arein agreement with the experimental ones, which show the reliability of the presented model andoptimization.     

Partial scan design and test sequence generation based on reduced scan shift method

This paper presents a partial scan algorithm, calledPARES (PartialscanAlgorithm based onREduced Scan shift), for designing partial scan circuits. PARES is based on the reduced scan shift that has been previously proposed for generating short test sequences for full scan circuits. In the reduced scan shift method, one determines proch FFs must be controlled and observed for each test vector. According to the results of similar analysis, PARES selects these FFs that must be controlled or observed for a large number of test vectors, as scanned FFs. Short test sequences are generated by reducing scan shift operations using a static test compaction method. To minimize the loss of fault coverage, the order of test vectors is so determined that the unscanned FFs are in the state required by the next test vector. If there are any faults undetected yet by a test sequence derived from the test vectors, then PARES uses a sequential circuit test generator to detect the faults. Experimental results for ISCAS'89 benchmark circuits are given to demonstrate the effectiveness of PARES.     

Longitudinal elastic waves in columns due to earthquake motion

An analysis is presented of longitudinal waves in a thin elastic column. Velocity is specified at one end, and the boundary condition at the other end is expressed in terms of a range of effective impedances of an attached structure. Propagation, reflection and interference of the waves are followed by the method of characteristics. Integration of differential equations along characteristics yields the wave-induced stress, which is then applied to problems of earthquake excitation. Numerical examples are given for recorded updown ground motion of the Kobe Earthquake.     

Test Generation for Crosstalk-Induced Faults: Framework and Computational Results

Due to technology scaling and increasing clock frequency, problems due to noise effects lead to an increase in design/debugging efforts and a decrease in circuit performance. This paper addresses the problem of efficiently and accurately generating two-vector tests for crosstalk induced effects, such as pulses, signal speedup and slowdown, in digital combinational circuits. These noise effects can propagate through a circuit and create a logic error in a latch or at a primary output. We have developed a mixed-signal test generator, called XGEN, that incorporates classical static values as well as dynamic signals such as transitions and pulses, and timing information such as signal arrival times, rise/fall times, and gate delay. In this paper we first discuss the general framework of the test generation algorithm followed by computational results. Comparison of results with SPICE simulations confirms the accuracy of this approach.     

砷化镓声电荷转移延迟线的设计与工艺研究

由于声电荷转移(ACT)这一新颖的高速缓冲抽样技术的发明,使得新一代高速高频信号处理器件的实现成为可能。本文研究了第二代平面结构的ACT器件转移沟道的电位分布特性,给出了平面结构ACT延迟线的设计,并研究了ACT器件的工艺实现。     

雁翎油田注氮气提高采收率工艺技术

在现有的提高采收率方法中,注气驱是应用较广、效果较好的方法,特别是注氮气驱由于其气源广泛、价廉经济、无腐蚀性,以及要求的油藏地质结构特征和原油的物理性质等因素的变化范围广泛等特产,这种提高采收率的方法应用的最为普及,代表了目前提高采收率的发展方向。结合雁翎油田实例,简要介绍了注氮气提高采收率的机理、注气井组建设、制氮工艺及注气后的采油完井方式、方法。     

一种派生式与创成式相结合的CAPP系统

本文结合为某机械厂开发的实用计算机辅助工艺设计系统(JJCAPP),论述了一种兼有派生式和创成式特点的综合式工艺自动设计方法.