氧化钨物理特征的测量

对铵钨青铜（ATB）、氢钨青铜（HTB），紫色氧化钨（TVO）和蓝色氧化钨（TBO）四种氧化钨粉的氮气吸附/脱附等温线数据的分析。可以得出其表面积，微孔体积，微孔分布，中孔体积，平均孔径和分数维数。吸附/脱附等温线数据的分析表明，TVO粉末具有最大的中孔体积，最小的微孔体积，最窄的孔径分布，最小的分数维数和最大的平均孔径，其有利于氢还原制取超细钨粉，而不利于掺杂工艺，HTB粉末具有最大的微孔体积，最宽的孔径分布，最高的分数维数和最小的平均孔径，对于掺杂工艺来说是有利的，ATB和ABO的上述参数界于TVO和HTB之间。结果表明，利用吸附/脱附等温线来研究氧化物的物理特征是一个很好的方法；在氧化钨用于氢还原工艺和掺杂工艺之前必须研究其物理特征。     

标识化语言的发展及在电子物流中的应用

重点阐述了XML技术的发展和对EDI技术的有效补充与改进，并展望基于XML技术的电子商务物流数据交换技术的发展前景。     

铁电存储场效应晶体管I-V特性的物理机制模拟

文章讨论的模型主要描述了铁电存储场效应晶体管（FEMFET）的I-V特性。从理论结果可反映出几何尺寸效应和材料参数对晶体管电特性的影响。传统的阈值电压的概念巳不再适用，由于铁电层反偏偶极子的开关作用，自发极化的增加对存储器的工作状态产生很小的影响。该模型可用于设计和工艺参数的优化，并由直观原型的方法得到了验证。     

The corrosion behavior of sputter-deposited aluminum-tungsten alloys

Thin films on aluminum-tungsten alloys were prepared by co-deposition of pure aluminum and pure tungsten, each sputtered by an independently controlled magnetron source, on glass and sapphire substrates. Completely amorphous films were obtained in the Al₈₀W₂₀-Al₆₇W₃₃ composition range. Passivity and corrosion behavior of amorphous Al-W alloys were investigated in 1 M deaerated hydrochloric acid solution using polarization and impedance spectroscopy measurements and have been correlated with the properties of pure alloy components. Tungsten and sputter-deposited Al-W thin films are inherently passive materials while aluminum undergoes pitting corrosion in hydrochloric acid solution. The passive film formed at the OCP on each alloy possesses excellent electric and dielectric properties comparable to those of the isolating film on tungsten. The absolute impedance increases with increasing tungsten content in the alloy. According to electrochemical polarization measurements, alloying Al with W in solid solution significantly enhances the material's resistance to pitting corrosion by shifting the breakdown potential above 2000 mV (Al₆₇W₃₃) and lowering the corrosion rate at the OCP by more than two orders of magnitude. The most likely mechanism explaining the passivity of amorphous Al-W alloys, the Solute Vacancy Interaction Model (SVIM), involves the formation of complexes between highly oxidized solute atoms (W⁺⁶) and mobile cation vacancies, which restrict the transport of Cl⁻ through the oxide film and inhibit its breakdown in hydrochloric acid solution. The role that film stress relaxation effects and microscopic defects in amorphous Al-W films, of the some composition, and deposited on various substrates play in their corrosion resistance is discussed.     

浅淡恶劣环境中可控震源的使用方法

本文着重介绍了可控震源的防寒问题以及在复杂地区作业的施工方法.     

A Symbolic Pole/Zero Extraction Methodology Based on Analysis of Circuit Time-Constants

This paper introduces a methodology for symbolic pole/zero extraction based on the formulation of the time-constant matrix of the circuits. This methodology incorporates approximation techniques specifically devoted to achieve an optimum trade-off between accuracy and complexity of the symbolic root expressions. The capability to efficiently handle even large circuits will be demonstrated through several practical circuits.     

Quantum and Classical Correlations of Spatial and Spin Degrees of Freedom in Quantum Rings

A one-dimensional mesoscopic ring with one input and two output leads acts as a spintronic beam splitter. The spatial degree of freedom, i.e., the presence of two different possible output channels, gets intertwined with the spin direction as a consequence of quantum interference and spin-orbit interaction. We investigate this kind of spatial-spin correlation, and show that the output density operator contains no quantum entanglement in the important special case when the device polarizes a perfectly random input spin state. However, the correlations are in general not purely classical, we also present specific input states with maximal spatial-spin entanglement after the ring.     

Non-deterministic exponential time has two-prover interactive protocols

We determine the exact power of two-prover interactive proof systems introduced by Ben-Or, Goldwasser, Kilian, and Wigderson (1988). In this system, two all-powerful noncommunicating provers convince a randomizing polynomial time verifier in polynomial time that the inputx belongs to the languageL. We show that the class of languages having tow-prover interactive proof systems is nondeterministic exponential time.We also show that to prove membership in languages inEXP, the honest provers need the power ofEXP only.The first part of the proof of the main result extends recent techniques of polynomial extrapolation used in the single prover case by Lund, Fortnow, Karloff, Nisan, and Shamir.The second part is averification scheme for multilinearity of a function in several variables held by an oracle and can be viewed as an independent result onprogram verification. Its proof rests on combinatorial techniques employing a simple isoperimetric inequality for certain graphs: