双滑动氧枪的应用

叙述了φO114双焊缝氧枪存在的问题及改型后单焊缝双滑动氧枪的优点及使用效果。     

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.     

Specification,Verification and Prototyping of an Optimized Compiler

This paper generalizes an algebraic method for the design of a correct compiler to tackle specification and verification of an optimized compiler. The main optimization issues of concern here include the use of existing contents of registers where possible and the identification of common expressions. A register table is introduced in the compiling specification predicates to map each register to an expression whose value is held by it. We define different kinds of predicates to specify compilation of programs, expressions and Boolean tests. A set of theorems relating to these predicates, acting as a correct compiling specification, are presented and an example proof within the refinement algebra of the programming language is given. Based on these theorems, a prototype compiler in Prolog is produced.     

Engagement of T cell receptor triggers its recruitment to low-density detergent-insoluble membrane domains

T-cell receptors (TCRs) upon binding to peptide-MHC ligands transduce signals in T lymphocytes. Tyrosine phosphorylations in the cytoplasmic domains of the CD3 (gammadeltaepsilon) and zeta subunits of the TCR complex by Src family kinases initiate the signaling cascades via docking and activation of ZAP-70 kinase and other signaling components. We examined the role of the low-density detergent-insoluble membranes (DIMs) in TCR signaling. Using mouse thymocytes as a model, we characterized the structural organization of DIMs in detail. We then demonstrated that TCR engagement triggered an immediate increase in the amount of TCR/CD3 present in DIMs, which directly involves the engaged receptor complexes. TCR/CD3 recruitment is accompanied by the accumulation of a series of prominent tyrosine-phosphorylated substrates and by an increase of the Lck activity in DIMs. Upon TCR stimulation, the DIM-associated receptor complexes are highly enriched in the hyperphosphorylated p23 zeta chains, contain most of the TCR/CD3-associated, phosphorylation-activated ZAP-70 kinases and seem to integrate into higher order, multiple tyrosine-phosphorylated substrate-containing protein complexes. The TCR/CD3 recruitment was found to depend on the activity of Src family kinases. We thus provide the first demonstration of recuitment of TCR/CD3 to DIMs upon receptor stimulation and propose it as a mechanism whereby TCR engagement is coupled to downstream signaling cascades.     

BEM 系列原油流动性改进剂的应用

对BEM系列原油流动性改进剂的基本原理以及在中洛、濮临、东临、东黄、鲁宁、魏荆等几条原油长输管道工业应用的现场测试情况进行了介绍。结果表明，BEM系列原油流动性改进剂在降低原油凝点和粘度方面性能良好，能满足管道安全，平稳运行的要求。     

加强民用电管理的技术措施

提出并实施了住宅楼集中计量配电系统，为加强民用电管理提供了技术措施。     

位置灵敏塑料探测器阵列

本文描述了一个有效探测面积为100×70cm~2的位置灵敏塑料闪烁探测器阵列,它由两条100×5×1cm和6条100×10×1cm的Pilot U型塑料闪烁体组成。用~(252)Cfα放射源测得10cm宽的闪烁体的时间分辨、位置分辨和能量分辨分别为740ps,5.7cm和60％;5cm宽的闪烁体分别为610ps,4.7cm和40％。