SCB火工品的研究与发展

文章评述了半导体桥火工品问世以来的研究成果与发展趋势。主要内容有半导体桥作用机理、半导体桥的结构与封装、半导体桥火工品的特点、半导体桥火工品的应用、半导体桥火工品的研究和发展趋势。     

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.     

油气圈闭地质评价方法及应用

本从含油气系统理论出发，对圈闭成藏的油源，储层，圈闭，保存，配套史制定分级评价标准，并赋予相应的评价系数，在此基础上应用地质风险概率理论与模糊数学的方法，在微机上定量评价圈闭含油气性。     

Cd-ZSM-5沸石催化剂的制备、表征和芳构化催化性能

采用离子交换、浸渍和混合三种方法制备镉改性ZSM-5沸石催化剂,考察了改性方法和镉含量对催化剂的表面酸性和Cd状态以及芳构化性能的影响。结果表明,加入镉降低了B酸性,Cd~(2+)与沸石结合形成了L_(1612)酸中心,其生成量取决于改性方法和Cd含量,并与芳构化活性提高有直接关系。     

普陀区静态交通规划构想

面对日益突出的城市静态交通问题,针对普陀区所处的地理位置和发展形势,提出了在普陀区实施静态交通规划(包括技术路线、政策研究及相关的经济分析方法)的初步构想。     

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.