HIRFL–CSR加速器中束流与真空中剩余气体的碰撞损失

研究了重离子加速器中束流与真空中剩余气体的碰撞损失过程和碰撞截面,在依据大量实验数据的基础上,提出了一组计算离子一原子的电荷交换截面的经验公式.以兰州重离子加速器HDRFL及冷却储存环CSR为例,给出了依据碰撞截面的公式计算束流在加速器真空中的传输效率的方法,并计算了在不同真空度下HIRFL的ECR源轴向注入束运线、注入器SFC、前束运线、主加速器SSC和后束运线等不同加速阶段及CSR的传输效率,并提出合理的真空度要求.HIRFL的真空分布测量和束流的损失测量证明了该计算方法的可靠性.     

Synthesis and Reactions of Some New Pyrrolylfuro[2,3‐d]Pyrimidines and Pyrrolopyrazinofuropyrimidines

5‐Amino‐4‐methyl‐2‐phenyl‐6‐substitutedfuro[2,3‐d]pyrimidines ( 2a‐c ) were reacted with 2,5‐dimethoxytetrahydrfuran to afford the pyrrolyl derivatives 3a‐c . Compound 3a was chosen as intermediate for the synthesis of poly fused heterocycles incorporated furopyrimidines moiety 4–11 . Some of the synthesized compounds were screened for their antibacterial and antifungal activities.     

一类广义Schrdinger算子的自伴性与本质谱

本文在一类 Ｌｐ位势Ｖ（ｘ）下建立了广义Ｓｃｈｒｏｄｉｎｇｅｒ算子Ｈ＝（－Δ）ｍ＋Ｖ（ｘ）在Ｃ∞０（Ｒｎ）上的本质自伴性，给出了Ｈ的本质谱的分布．     

Canonical Modules of Semigroup Rings and a Conjecture of Reiner

We prove that the homotopy types of two naturally defined simplicial complexes are related in the following way: one is homotopy equivalent to a multiple suspension of the canonical Alexander dual of the other. These simplicial complexes arise in free resolutions of semigroup rings and modules. The relation between their homotopy types was conjectured by Reiner, and was suggested by a homological consequence of a result due independently to Danilov and Stanley on canonical modules of normal semigroup rings. Our proof is purely topological, and gives an alternative proof of their result. We also prove a generalization of a result of Hochster saying that these rings are Cohen—Macaulay, and indicate a new proof of Ehrhart's reciprocity law for rational polytopes. Received October 3, 2000, and in revised form April 2, 2001, and May 10, 2001. Online publication November 7, 2001.     

重写系统和的合流性

在实际应用中,常常使用多个重写系统。本文主要讨论重写系统和的合流性,并给出了一个重写系统和具有合流性的充分条件。     

Three New Polyoxygenated Steroids from Two Species of the South China Sea Gorgonian Muricella flexuosa and Menella verrucosa Brundin

Three new polyoxygenated steroids, muricesteroid ( 1 ), and menellsteroids A ( 2 ) and B ( 3 ), were isolated from two species of the South China Sea gorgonian Muricella flexuosa and Menella verrucosa Brundin , respectively. The structures of these new compounds were elucidated on the basis of extensive spectroscopic analysis, chemical methods and comparison with known related compounds.     

A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)