脉冲高度权重技术测量197Au中子俘获截面

脉冲高度权重技术是利用C_6D_6探测器测量中子俘获截面的一种数据处理方法。在中国散裂中子源(China Spallation Neutron Source,CSNS)的反角白光中子源(Back-n)靶站上,通过测量金靶(~(197)Au)的中子俘获截面,验证了该方法的可靠性。首先利用Geant4蒙特卡罗程序模拟给出了不同靶条件下的探测器效率,脉冲高度权重函数等基本项,使得加权后的探测器效率与γ能量成正比。然后通过实验测量了~(197)Au中子俘获截面。结果表明:测量获得的中子俘获截面数据和ENDF/B-VⅢ.0评价数据相符合,同时发现随着实验靶尺寸的不同和质子束功率的增加,会使得实验本底的扣除误差越来越大。     

博宁联合化疗治疗骨转移癌的疗效分析

目的 :分析单纯化疗与博守联合化疗对实体瘤骨转移引起疼痛治疗的效果。方法 :42例病人随机分为单纯化疗组和化疗联合博宁组 ,对疼痛缓解程度和活动能力改善等进行对照研究。结果 :化疗联合应用博宁组疼痛缓解率及肿瘤变化方面明显优于单纯联合化疗组 (P <0 .0 5 ) ,而在活动能力改善方面则无明显差别。结论 :博宁联合化疗治疗骨转移癌引起的疼痛效果优于单纯联合化疗     

固体热容激光器的设计和功率标定

固体热容激光器（SSHCL）作为下一代最佳候选高功率激光器，引起人们广泛关注。介绍了固体热容激光器工作原理、光抽运期间介质板内荧光分布和温度分布、介质板冷却以及功率标定。详细讨论了激光介质温度对激光输出功率的影响，对有关设计要点也作了相关分析。     

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.     

广义系统的受限能控性

本文讨论广义系统在控制能量或幅值受限下的状态能控性,得到了充要条件。这一充要条件指出,广义系统在控制受限下的能控性不仅取决于它的慢子系统的能控性,并且还取决于慢子系统的特征根的分布。     

海南福山凹陷地层可钻性及钻头选型

利用测井资料及室内实验建立的可钻性模型编制了计算机软件，用其建立了海南福山凹陷地层连续可钻性剖面，并推荐出钻头选型，和现场实钻情况相当的吻合，为钻头合理选型提供了依据。     

Structural Description of Polyaromatic Nucleus in Residue

The proton nuclear magnetic resonance spectroscopy （1H-NMR）, the synchronous fluorescence spectrometry （SFS） and the ruthenium ions catalyzed oxidation （RICO） method were used to determine the chemical structure of polyaromatic nucleus in Oman residue fractions. The results of 1H-NMR analyses showed that the average numbers of aromatic rings in the aromatics, resins and asphaltenes units were 3.2, 5.6 and 8.2, respectively. SFS was used to investigate the distribution of aromatic rings in residue fractions, the main distribution range of aromatic rings in aromatics, resins and asphaltenes were 3 4 rings, 3--5 rings and more than 5 rings, respectively. The aromatic network in residue fractions was oxidized to produce numerous carboxylic acids. The types and content of benzenepolycarboxylic acids, such as phthalic acid, benzenetricarboxylic acids, benzenetetracarboxylic acids, benzenepentacarboxylic acid and benzenehexacarboxylic acid disclosed the condensed types of aromatic nuclei in the core. The biphenyl fraction （BIPH）, the cata-condensed fraction （CATA）, the peri-condensed fraction （PERI） and the condensed index （BCI） were calculated based on the benzenepolycarboxylic acids formed. The results implied that there was less biphenyl type structures in all residue fractions. The aromatics fraction was almost composed of the cata-condensed type system, and the asphaltenes fraction was wholly composed of the peri-condensed type system, while in the resins fraction co-existed the two types, herein the peri-con- densed type was predominant over the cata-condensed type. Based on the analytical results obtained in the study, the components --aromatics, resins and asphaltenes -- were given the likely structural models.     

星间激光通信技术进展与趋势

较详细地评述了目前国外卫星间光通信技术研究的现状．根据关键单元技术的进展情况，总结了未来星间光通信系统的发展趋势。     

Normal form approach to compiler design

This paper demonstrates how reduction to normal form can help in the design of a correct compiler for Dijkstra's guarded command language. The compilation strategy is to transform a source program, by a series of algebraic manipulations, into a normal form that describes the behaviour of a stored-program computer. Each transformation eliminates high-level language constructs in favour of lower-level constructs. The correctness of the compiler follows from the correctness of each of the algebraic transformations.     

过渡金属碳化物的催化研究进展

过渡金属碳化物作为一种催化新材料得到了人们广泛的关注,在催化加氢、脱氢、脱硫(HDS)、脱氮(HDN)和重整等方面,表现出优良的催化活性和选择性.综述了碳化钒、碳化钼、碳化钨、碳化铁、碳化钛等碳化物的催化性能和碳化物在各个反应中的催化机理的研究进展.