论述人工成孔灌筑桩的施工程序及技术要求

地基浅层土质不良，采用人工处理将增加成本并工期延长，经过科学论证采用桩基，能满足建筑物所需承载力及变形两方面的要求，另外从造价便宜、环境污染少、无噪声、施工设备简单等各个方面综合，人工成孔灌筑桩不但能满足上述条件，而且，质量易于保证，故人工成孔灌筑桩的施工方法值得推广。     

Enhanced thermal stability of a sputtered titanium-nitride film as a diffusion barrier for capacitor-bottom electrodes

The effect of a thin RuO_x layer formed on the Ru/TiN/doped poly-Si/Si stack structure was compared with that on the RuO_x/TiN/doped poly-Si/Si stack structure over the post-deposition annealing temperature ranges of 450–600°C. The Ru/TiN/poly-Si/Si contact system exhibited linear behavior at forward bias with a small increase in the total resistance up to 600°C. The RuO_x/TiN/poly-Si/Si contact system exhibited nonlinear characteristics under forward bias at 450°C, which is attributed to no formation of a thin RuO_x layer at the RuO_x surface and porous-amorphous microstructure. In the former case, the addition of oxygen at the surface layer of the Ru film by pre-annealing leads to the formation of a thin RuO_x layer and chemically strong Ru-O bonds. This results from the retardation of oxygen diffusion caused by the discontinuity of diffusion paths. In particular, the RuO_x layer in a nonstoichiometric state is changed to the RuO₂-crystalline phase in a stoichiometric state after post-deposition annealing; this phase can act as an oxygen-capture layer. Therefore, it appears that the electrical properties of the Ru/TiN/poly-Si/Si contact system are better than those of the RuO_x/TiN/poly-Si/Si contact system.     

小型月球探测器高精度姿态指向控制

针对小型月球探测器三轴姿态高指向精度和高稳定度的要求 ,采用欧拉动力学和四元数方法描述 ,建立了小型月球探测器环月阶段动力学模型 ,分析了由 3个轻型反作用轮正交安装组成的姿态稳定控制系统 ,给出了一种拟PD姿态指向控制规律。对所设计的指向控制律进行了数学仿真 ,结果表明可达到 0 .0 1°/s的稳定度和 0 .3°的指向精度 ,验证了该控制规律的可行性。     

GaN and AlGaN high-voltage rectifiers grown by metal-organic chemical-vapor deposition

In this paper, we report the study of the electrical characteristics of GaN and AlGaN vertical p-i-n junctions and Schottky rectifiers grown on both sapphire and SiC substrates by metal-organic chemical-vapor deposition. For GaN p-i-n rectifiers grown on SiC with a relatively thin “i” region of 2 μm, a breakdown voltage over 400 V, and forward voltage as low as 4.5 V at 100 A/cm² are exhibited for a 60-μm-diameter device. A GaN Schottky diode with a 2-μm-thick undoped layer exhibits a blocking voltage in excess of ∼230 V at a reverse-leakage current density below 1 mA/cm², and a forward-voltage drop of 3.5 V at a current density of 100 A/cm². It has been found that with the same device structure and process approach, the leakage current of a device grown on a SiC substrate is much lower than a device grown on a sapphire substrate. The use of Mg ion implantation for p-guard rings as planar-edge terminations in mesageometry GaN Schottky rectifiers has also been studied.     

Evaluating the impact of CASE: an empirical comparison of retrospective and cross-sectional survey approaches

The purpose of this paper is to evaluate two methods of assessing the productivity and quality impact of Computer Aided Software Engineering (CASE) and Fourth Generation Language (4GL) technologies: (1) by the retrospective method; and (2) the cross-sectional method. Both methods involve the use of questionnaire surveys. Developers' perceptions depend on the context in which they are expressed and this includes expectations about the effectiveness of a given software product. Consequently, it is generally not reliable to base inferences about the relative merits of CASE and 4GLs on a cross-sectional comparison of two separate samples of users. The retrospective method that requires each respondent to directly compare different products is shown to be more reliable. However, there may be scope to employ cross-sectional comparisons of the findings from different samples where both sets of respondents use the same reference point for their judgements, and where numerical rather than verbal rating scales are used to measure perceptions.     

冶金过程中复杂夹杂物和钢液化学平衡计算

本文提出一个同温冶炼过程中预测非金属夹杂物沉淀的计算机程序。本研究中，多元硅酸盐溶体的Ｇｉｂｂｓ自由能由基于统计热力学的晶胞模型来计算，该晶胞模型按照氧与周围的阳离子构成的对称和非对称晶胞来描述硅酸盐熔体结构，假定高温冶炼时认与非金属夹杂物平衡，钢液中氧化物元素的活度由Ｗａｇｎｅｒ交互作用系数来计算，利用本程序可以估计炼钢时沉淀的非金属氧化物的成分，为调整冶炼工艺和提高产品质量提供指导，进一步可计     

Presupposition failure — A comedy of errors

Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.     

弹道靶道测量精度检测方法之探讨

该文分析了弹道靶道测量中的精度问题及通常使用的静态检测方法,并针对静态检测与靶道实测相差甚远的问题,提出了一种动态检测方法.该方法充分考虑到弹道靶道的测量对象是高速飞行体以及照片质量、气流附面层、发射时的恶劣环境和振动等因素对测量精度的影响,结合误差理论,给出了动态精度的计算公式,在已建成的IB-12中间弹道靶道中应用,效果良好.