Inductive Construction of Repletion

The aim of this paper is to give a purely logical construction of repletion, i.e. the reflection of an arbitrary set to a replete one. Replete sets within constructive logic were introduced independently by M. Hyland and P. Taylor as the most restrictive but sufficiently general notion of predomain suitable for the purposes of denotational semantics à la Scott.For any set A its repletion R(A) appears as an inductively defined subset of S²(A) (A S) S which can be expressed within the internal language of a model of type theory. More explicitly, R(A) is the least subset of S²(A) containing all point filters and closed under a class of generalised limit processes. Improvements of our construction arise from several results saying that it suffices for the purpose of repletion to consider more restrictive classes of generalised limit processes.     

沿极小势能轨迹从q〉1至q〈1位形演变

本文给出了沿极小势能轨迹从类托卡马克至反场箍缩(RFP)的演变。在反场箍缩条件下可允许用强等离子体电流充分加热等离子体到点火温度,而不需要辅助的中性束或射频加热系统。     

切向气流对激光加热材料的影响

 在重复频率YAG激光加载下，研究了30CrMnSiA钢片分别处于空气自然对流和切向强迫气流环境中不同的温度响应。实验用红外热像仪对靶前表面的温度进行了实时诊断，结果表明，在激光作用下，靶材的温升与靶前表面的对流换热状况有较大的关系，当靶面存在马赫数为0.1左右的切向气流时，材料的温升曲线明显低于靶处于空气自然对流环境下的温升曲线，气流与靶面的对流换热使得材料的激光加工所需能量或功率增加。这与应用热边界层换热动力学理论得到的结论一致。     

用来激励高频超声换能器的电激励源

讨论了超声换能器的几种激励方法，分析了三种常用激励方法在激励高频超声换能器时的特点及其同局限性，我们雪崩ＭＡＲＸ电路制作的单极窄脉冲能地激励率高达１００ＭＨｚ的换能器并取得了较好的结果。     

Radiative heat transfer analysis in pure water heater used for semiconductor processing

A simplified one-dimensional model is presented to analyze the non-gray radiative transfer in pure water heater used in the rinsing processes within semiconductor production lines, and the ray-tracing method is extended to simulate the radiative heat transfer. To examine the accuracy of the simplified model, the distribution of radiation absorption is determined by the ray-tracing method based the simplified model and compared with the data obtained by three-dimensional non-gray model in combination with Monte Carlo method in reference, and the effects of the water thickness on the radiation absorption are analyzed. The results show that the simplified model has a good accuracy in solving the radiation absorption in the pure water heater. The radiation absorption increases with the water thickness, but when the water thickness is greater than , the radiation absorption increases very slowly with the water thickness.     

Variable temperature system using vortex tube cooling and fiber optic temperature measurement for low temperature magic angle spinning NMR

We describe the construction and operation of a variable temperature (VT) system for a high field fast magic angle spinning (MAS) probe. The probe is used in NMR investigations of biological macromolecules, where stable setting and continuous measurement of the temperature over periods of several days are required in order to prevent sample overheating and degradation. The VT system described is used at and below room temperature. A vortex tube is used to provide cooling in the temperature range of -20 to 20 degrees C, while a liquid nitrogen-cooled heat exchanger is used below -20 degrees C. Using this arrangement, the lowest temperature that is practically achievable is -140 degrees C. Measurement of the air temperature near the spinning rotor is accomplished using a fiber optic thermometer that utilizes the temperature dependence of the absorption edge of GaAs. The absorption edge of GaAs also has a magnetic field dependence that we have measured and corrected for. This dependence was calibrated at several field strengths using the well-known temperature dependence of the (1)H chemical shift difference of the protons in methanol.     

Fourier Invariant Partially Approximating Subalgebras of the Irrational Rotation C*-Algebra

For a dense G-set of parameters, the irrational rotation algebrais shown to contain infinitely many C*-subalgebras satisfyingthe following properties. Each subalgebra is isomorphic to adirect sum of two matrix algebras of the same (perfect square)dimension; the Fourier transform maps each summand onto theother; the corresponding unit projection is approximately central;the compressions of the canonical generators of the irrationalrotation algebra are approximately contained in the subalgebra.2000 Mathematics Subject Classification 46L80, 46L40, 46L35.     

Influences of Heating Condition and Substrate-Surface Roughness on the Characteristics of Sol-Gel-Derived Hydroxyapatite Coatings

A prepared transparent HA solution was coated on Ti6Al4V substrates by a spin-coating technique. The crystallization of the sol-gel-derived HA coated on the metallic substrates could be done at relatively low firing temperatures (as low as 600°C). The characteristics of the HA-coated layer were dependent on the surface roughness of substrates and heating conditions such as firing temperature, holding time, heating rate, and atmosphere. The heat treatment at a slow heating rate (<2°C/min.) and a long heating time (>10 hrs) at 600°C in air produced the uniform surface and improved the crystallinity. The HA layer coated on 20 m grit-blasted substates was more uniform and had fever cracks after firing, compared with that coated on 100 m grit-blasted rougher substrates.     

Production of high quality shocks for equation of state experiments

In this paper we describe the quality requirements that a shock wave must fulfil to make equation of state (EOS) measurements possible: planarity, no-preheating and stationarity of the shock. Experimental measurements have been performed at the Max Planck Institut für Quantenoptik (Garching). We also present simple analytical models that allow to verify shock stationarity and absence of preheating. Received 17 June 2002 Published online 21 January 2003 RID="a" ID="a"e-mail: batani@mib.infn.it RID="b" ID="b"Present address: Pro-beam, Behrinsta?e 6, 85152 Planegg b. München, Germany. RID="c" ID="c"UMR 7605     

3ω法加热/测温膜中温度波解析及其在微/纳米薄膜导热系数测量中的应用

给出了3ω法测试系统中描述薄膜表面加热/测温膜中温度波动的级数形式解，并将复数温度波动的实部和虚部分开表示.利用该解分析了交流加热频率、加热膜宽度和材料热物性的组合参数对加热膜温度波动幅度的影响.并根据此解对测量原理的数学模型进行了修正，建立了相应的3ω测试系统，首先测定了厚度为500 nm SiO₂薄膜的导热系数，验证了实验系统的合理性.加大了测试频率，利用级数模型在高频段直接得到SiO₂薄膜的导热系数，结合低频段的数据同时确定了Si基体的导热系数.利用级数解分析测试了激光晶体Nd:YAG〈111〉面上多层ZrO₂/SiO₂增透膜的导热系数，测试的ZrO₂薄膜的导热系数比体材料小.进行了不确定度分析.结果表明，提出的分析方法可以有效研究微器件表面薄膜结构的导热性能. 关键词： ω法')" href="#">3ω法 微/纳米薄膜 导热系数 微尺度加热膜