A Language for Teaching Discrete-event Simulation

Courses which teach discrete-event simulation are based on many different simulation languages. The requirements for a language to support teaching simulation are discussed. In particular, it is recommended that such languages separate into distinct modules those aspects of simulation which are taught as separate topics. Implementation of the separation is discussed. The SEESIM language, developed as a teaching aid, is described, and examples of its use are given. Straightforward use of SEESIM can be learned quickly, yet the language provides facilities for a staged introduction to advanced concepts of simulation.     

铝互连线的电迁移问题及超深亚微米技术下的挑战

铝互连线的电迁移问题历来是微电子产业的研究热点，其面临的电迁移可靠性挑战也是芯片制造业最持久和最重要的挑战之一.从20世纪90年代开始，超深亚微米(特征尺寸≤0.18 μm)铝互连技术面临了更加复杂的电迁移可靠性问题.从电迁移理论出发，分析概括了铝互连电迁移问题的研究方法，总结了上世纪至今关于铝互连电迁移问题的主要经验；最后结合已知的结论和目前芯片制造业现状，分析了当前超深亚微米铝互连线电迁移可靠性挑战的原因和表现形式，提出了解决这些问题的总方向. 关键词： 电迁移 铝互连 微结构     

The operational performance of the Yale ESTU

The ESTU began operation in 1988 and achieved the design voltage of 20 MV in 1990. Since that time, improvements to the gas handling system, negative ion injector, accelerator terminal and control system have greatly increased its capability and reliability. Today, the ESTU can efficiently produce an extensive assortment of stable ions at wide-ranging energies in support of low-energy nuclear physics.     

Application of pressure sensitive paint measurement to a low-solidity cascade diffuser of a transonic centrifugal compressor

A pressure sensitive paint (PSP) measurement has been known as a pressure field measurement technique based on the oxygen quenching phenomenon of luminescence of specific luminophores. A PSP measurement was applied for pressure field measurement in a low-solidity circular cascade diffuser of a single-stage transonic centrifugal compressor with 5 in pressure ratio for HFC134a gas. The oxygen concentration was about 500 ppm. Ru (bath-phen) was adsorbed on a silica-gel thinlayer chromatography sheet, and the sheet was pasted onto the side-wall between the cascade vanes. A drastic change in luminescent intensity was recognized during a surge condition. Also the pressure variations based on luminescent intensity agreed well with the pressure fluctuations measured using a semiconductor pressure sensor with high-frequency-response. It was shown that a PSP measurement worked well to investigate the unsteady pressure fields in a circular cascade diffuser of a transonic centrifugal compressor. Moreover, the time response of PSP becomes clear as a problem to be overcome for the present.     

8β-hydroxyeremophil-7(11)-ene-12,8α(4β,6α)-diolide分子的晶体结构

运用层析法、结晶法从狭苞橐吾全草中分离得到艾里莫芬烷型倍半萜8β-hydroxyeremophil-7(11)-ene-12,8α(4β,6α)-diolide化合物,并通过质谱、核磁共振氢谱和碳谱、氢核-氢核相关谱、异核多量子相干谱和异核多键相干谱进行结构鉴定．其单晶经X射线衍射测试表明,其晶体属正交晶系,空间群为P212121,晶胞参数为: a=6．8519(5),b=10．7191(8),c=18．5942(14)A,V=1365．67(18) A3,Z=4,Dc=1．354 mg／m3．F(000)=592,μ=0．101 mm-1     

DUAL FUNCTIONALS OF SAID-BEZIER TYPE GENERALIZED BALL BASES OVER TRIANGLE DOMAIN AND THEIR APPLICATION

A family of Said-Bézier type generalized Ball (SBGB) bases and surfaces with a parameter H over triangular domain is introduced, which unifies Bézier surface and Said-Ball surface and includes several intermediate surfaces. To convert different bases and surfaces, the dual functionals of bases are presented. As an application of dual functionals, the subdivision formulas for surfaces are established.     

Primal cutting plane algorithms revisited

Dual fractional cutting plane algorithms, in which cutting planes are used to iteratively tighten a linear relaxation of an integer program, are well-known and form the basis of the highly successful branch-and-cut method. It is rather less well-known that various primal cutting plane algorithms were developed in the 1960s, for example by Young. In a primal algorithm, the main role of the cutting planes is to enable a feasible solution to the original problem to be improved. Research on these algorithms has been almost non-existent.  In this paper we argue for a re-examination of these primal methods. We describe a new primal algorithm for pure 0-1 problems based on strong valid inequalities and give some encouraging computational results. Possible extensions to the case of general mixed-integer programs are also discussed.     

Generalized Longo–Rehren Subfactors and α-Induction

We study the recent construction of subfactors by Rehren which generalizes the Longo–Rehren subfactors. We prove that if we apply this construction to a non-degenerately braided subfactor N⊂M and α^±-induction, then the resulting subfactor is dual to the Longo–Rehren subfactor M⊗M ^opp⊂R arising from the entire system of irreducible endomorphisms of M resulting from α^plusmn;-induction. As a corollary, we solve a problem on existence of braiding raised by Rehren negatively. Furthermore, we generalize our previous study with Longo and Müger on multi-interval subfactors arising from a completely rational conformal net of factors on S ¹ to a net of subfactors and show that the (generalized) Longo–Rehren subfactors and α-induction naturally appear in this context. Received: 11 September 2001 / Accepted: 7 October 2001