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.     

A comparative study of the structure and crystallization of bulk metallic amorphous rod Pr60Ni30Al10 and melt-spun metallic amorphous ribbon Al87Ni10Pr3

Pr-based bulk metallic amorphous （BMA） rods （Pr60Ni30Al10） and Al-based amorphous ribbons （Al87Ni10Pr3） have been prepared by using copper mould casting and single roller melt-spun techniques, respectively. Thermal parameters deduced from differential scanning calorimeter （DSC） indicate that the glass-forming ability （GFA） of Pr60Ni30Al10 BMA rod is far higher than that of Al87Ni10Pr3 ribbon. A comparative study about the differences in structure between the two kinds of glass-forming alloys, superheated viscosity and crystallization are also made. Compared with the amorphous alloy Al87Ni10Pr3, the BMA alloy Pr60Ni30Al10 shows high thermal stability and large viscosity, small diffusivity at the same superheated temperatures. The results of x-Ray diffraction （XRD） and transmission electron microscope （TEM） show the pronounced difference in structure between the two amorphous alloys. Together with crystallization results, the main structure compositions of the amorphous samples are confirmed. It seems that the higher the GFA, the more topological type clusters in the Pr-Ni-Al amorphous alloys, the GFAs of the present glass-forming alloys are closely related to their structures.     

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.     

静态球对称黑洞Dirac场的统计熵

利用改进的brickwall模型,给出了一类静态球对称黑洞Dirac场的熵,结果表明,在取相同的截断因子时,Dirac场的熵均为标量场的熵的72倍 关键词： 黑洞 统计熵 brickwall模型 Dirac场     

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.     

赛跑运动的牛顿力学分析

本文介绍一种用牛顿力学研究赛跑运动的物理模型,给出两种情形下跑步时间的最优化结果.这一结果与优秀运动员的实际比赛成绩很好地相符.     

非负定阵元素的扰动和正定完备化

在保持非负定性不变的前提下,本文对矩阵每一元素容许多大的扰动作了进一步的研究, 将本文的结论和C．R．Johnson提出的部分正定阵的正定完备化进行比较,容易发现对已知的正定矩阵求扰动,本文的结论比用C．R.Johnson的正定完备化计算扰动形式上更简单,同时也给出了不同于C．R．Johnson的部分正定阵的正定完备化表示的另外一个公式,推出了这些正定完备化矩阵应具有的若干性质．     

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.