高峰值功率重频脉冲固体激光器

综述了高峰值功率重频脉冲固体激光器的发展现状，对其中的Ｑ开关、腔倒空、锁模等窄脉冲技术和放大技术进行了分析，展示了高峰值功率重频脉冲固体激光器的发展前景。     

Resolution calculus for the first order linear logic

This paper presents a formulation and completeness proof of the resolution-type calculi for the first order fragment of Girard's linear logic by a general method which provides the general scheme of transforming a cutfree Gentzen-type system into a resolution type system, preserving the structure of derivations. This is a direct extension of the method introduced by Maslov for classical predicate logic. Ideas of the author and Zamov are used to avoid skolomization. Completeness of strategies is first established for the Gentzen-type system, and then transferred to resolution. The propositional resolution system was implemented by T. Tammet.     

食品高压装置

高压装置是研究高压食品科学、开发和生产高压食品的核心设备，能否提供性能优良、价格相对便宜的装置是高压食品产业化的关键。本文系统介绍食品高压处理装置的类型、结构、性能、特点及最新研究进展，并就如何降低高压装置造价，提高生产能力等关键问题进行探讨。     

A vibrating-tube densimeter for fluids at high pressures and temperatures

A vibrating U-tube apparatus has been developed for determining the densities of pure fluids and fluid mixtures at 10-200 MPa and 323-773 K. Measured parameters areP,T, andr (period of vibration). Fluids are injected into the U-tube at constantP andT. Three or more reference fluids are used to calibrate the response of the instrument. Fluid mixtures are produced by pumping pure fluids into T-junctions on the upstream side of the U-tube using high accuracy syringe pumps. An automated syringe pump is used to maintainP at setpoint ±0.01 MPa.T is controlled to ±0.01 K using a closed-loop, electronic signal amplification/feedback system. For mixtures, a statistically significant number of measurements of r are obtained to account for the effects of small heterogeneities in fluid composition (generally <0.005X;). Typically, density data for 15 fluids can be obtained in a 6- to 8-h period. Considering all of the potential sources of error in the experimentation, conservative estimates of uncertainty are as follows:P, ±0.02 MPa;T, ±0.05 K;p (pure fluids), ±0.0005g.cm^–3; andp (fluid mixtures), ±0.0005-0.0010g-cm^–3.Paper presented at the Twelfth Symposium on Thermophysical Properties, June 19–24, 1994, Boulder, Colorado, U.S.A.     

高强度烧结钢

为开拓粉末冶金材料新的应用领域，近年来对高强度烧结钢进行了大量的研究与开发。本文简要介绍Ｈｏｇａｎａｓ公司开发的一些高强粉末冶金材料及对一些高强度烧结材料尺寸变化的控制。     

Study on Factors Affecting the Structure of High SpeedSteel Ingot Produced by ESR

ＳｔｕｄｙｏｎＦａｃｔｏｒｓＡｆｆｅｃｔｉｎｇｔｈｅＳｔｒｕｃｔｕｒｅｏｆＨｉｇｈＳｐｅｅｄＳｔｅｅｌＩｎｇｏｔＰｒｏｄｕｃｅｄｂｙＥＳＲＬｉＺｈｅｎｇｂａｎｇ；ＣｈｅＸｉａｎｇｑｉａｎＡｂｓｔｒａｃｔ：Ｔｈｅｉｎｆｌｕｅｎｃｅｏｆｔｈｅｍｅｔａｌｐ...     

Fluidization of the active component of catalysts in catalytic formation of carbon assisted by iron and nickel carbides

A series of vanadium-tin mixed oxide catalysts have been prepared by the solid-state reaction of V₂O₅ and SnO₂ at 1250°C. The fresh and the used catalysts have been characterized by X-ray diffraction (XRD) and Fourier transform infrared spectroscopy (FTIR). High temperature oxygen chemisorption (HTOC) has been employed to titrate the coordinatively unsaturated vanadia sites. Ammoxidation of mesitylene has been carried out on these catalysts and an optimum composition of vanadium is arrived at. Better yields of tricyanobenzene (TCB) compared to literature values are obtained. A good correlation between the oxygen uptake and the TCB yield extends the applicability of HTOC to the fused oxide system.IICT Communication No. 3507.     

High-temperature,high-pressure thermophysical measurements on liquid zinc

Wire-shaped zinc samples were resistively volume heated as part of a fast-capacitor discharge circuit. Time-resolved measurements with submicrosecond resolution of the current through the specimen, the voltage drop across it, and the thermal expansion of the specimen as a function of time allow determination of the enthalpy, electrical resistivity, and density at different temperatures up to superheated liquid states of zinc far above the normal boiling point. High static pressures, up to 3800 bar of the ambient medium water, were used. An estimate of the critical pressure for zinc is given by investigations of the stability of the sample with a framing CCD camera, taking pictures of different samples varying the ambient static pressure. The critical volume and the critical temperature are obtained by means of an extrapolation of measured data at different pressures.Paper presented at the Fourth International Workshop on Subsecond Thermophysics, June 27–29, 1995, Köln, Germany.     

Relaxation phenomena caused by equilibration of point defects

Relaxation phenomena due to equilibration of point defects in metals are reviewed. The relaxation effect in specific heat observed in tungsten and platinum confirms that in both cases the nonlinear increase in the high-temperature specific heat has to be attributed to point-defect formation. Relaxation phenomena observed by measurements of electrical resistivity and positron annihilation are also considered. The comparison of the data seems to be favorable for the conclusion that all the phenomena are of one origin.     

极尖断面为折线的四极透镜磁性能研究

对传统双曲线极尖的四极透镜进行了磁性能分析。在此基础上，提出了极尖断面为折线的四极透镜结构。磁场的数值分析以及测量结果表明：该结构产生的场梯度均匀，且具有磁场集中、磁场梯度高、便于加工和安装的对称性控制等优点。该结构的四极透镜已用于ＣＹＣＩＡＥ－３０回旋加速器和ＨＩ－１３串列加速器束流输运线之中