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.     

遥感相机自动检焦技术研究

将基于图像处理的自动检焦技术应用于线阵CCD推扫成像的空间遥感相机中。图像法检焦的关键在于对焦评价函数的选取。通常对焦评价函数是在摄影目标不变的情况下得出的,而推扫成像的线阵CCD相机在任意时刻所拍摄的景物都是不同的,这就给对焦评价函数的选取增加了难度。用功率谱的方法对任意景物在空间频域进行分析表明,功率谱对于自然景物具有一定的不变性。由此建立了基于功率谱的对焦评价函数,采用小波去噪与亮度归一化相结合的图像预处理技术有效地去除了图像噪声和亮度变化对对焦精度的影响。通过对功率谱评价函数进行加权处理,提高了对焦评价函数曲线的灵敏度。仿真实验表明了所构造的对焦评价函数是可行的。     

CsI(Tl)晶体中反冲Cs和I核Quenching?Factor的测量

许多实验对用CsI(Tl)闪烁晶体作为探测器来寻找和探测暗物质的可行性进行了研究.本工作利用8MeV单能中子轰击CsI(Tl)晶体探测器来研究Cs核和I核的QuenchingFactor.在数据处理中,运用脉冲形状甄别(PSD)方法来分辨反冲核信号和本底信号.实验结果表明,在7keV到132keV的能区中,Quench ingFactor随着反冲核能量的减少而增加.在探测暗物质的实验中,这一性质对于CsI(Tl)晶体探测器获得较低的能量阈值是很有利的.     

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.     

直流磁控溅射一步法原位制备MgB2超导薄膜

用MgB2靶,控制直流磁控溅射工作在异常辉光放电或弧光放电状态,在SrTiO3衬底上原位一次性得到了MgB2超导薄膜,其起始转变温度为32K,零电阻温度为15K. 关键词： 高温超导体 超导薄膜 磁控溅射 二硼化镁     

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.     

Generalized Noether theorems and applications

We generalize the first and second Noether theorems (Noether identities) to a constrained system in phase space. As an example, the conservation law deriving from Lagrange's formalism cannot be obtained fromH _E via the generalized first Noether theorem (GFNT); Dirac's conjecture regarding secondary first-class constraints (SFCC) is invalid in this example. A preliminary application of the generalized Noether identities (GNI) to nonrelativistic charged particles in an electromagnetic field shows that on the constrained hypersurface in phase space one obtains electric charge conservation. This conservation law is valid whether Dirac's conjecture holds true or not.     

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     

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.