多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．     

Analysis of transient wave scattering from an inclusion with an unilateral smoothly contact interface by BEM

Summary A 2D time-domain Boundary Element Method (BEM) is applied to solve the problem of transient scattering of plane waves by an inclusion with a unilateral smooth contact interface. The incident wave is assumed strong enough so that localized separations take place along the interface. The present problem is indeed a nonlinear boundary value problem since the mixed boundary conditions involve unknown intervals (separation and contact regions). In order to determine the unknown intervals, an iterative technique is developed. As an example, we consider the scattering of plane waves by the cross section of a circular cylinder embedded in an infinite solid. Numerical results for the near field solutions are presented. The distortion of the response waves and the variation of the interface states are discussed. The financial support by the China National Natural Science Foundation under Grant No. 19872001 and No. 59878004 is gratefully acknowledged. The second author is also grateful to the support of the National Science Fund for Distinguished Young Scholars under Grant No. 10025211.     

过渡金属催化的1,6-烯炔环异构化反应

1,6-烯炔底物在过渡金属催化剂作用下的化学行为得到了广泛的研究,重点是关于过渡金属催化的1,6-烯炔环异构化反应.从反应机理角度入手,把1,6-烯炔环异构化反应按启动方式总结为三类,并对这三种方式启动的1,6-烯炔环异构化反应进行了详细地总结和阐述.     

无花果多糖的分离、纯化和鉴定

经脱脂、沸水抽提、乙醇沉淀、酶-Sevag法脱蛋白得到粗多糖,再经DEAE-Sepharose fast flow阴离子交换层析和Sephadex G-200葡聚糖凝胶柱层析得到纯化的无花果多糖(FCPS),用红外光谱和紫外光谱分析鉴定该多糖.红外光谱分析具有典型的多糖特征吸收峰,紫外光谱分析未见蛋白质(280 nm)与核酸(260 nm)的特征吸收峰.结果表明,所提取的无花果多糖为单一组分的多糖.     

Effect of nonstoichiometry on Raman scattering of VO2 films

We report on Raman scattering of VO2 films prepared by radio frequency magnetron sputtering under different conditions. Our investigations revealed that the dominated Raman peaks shift towards high frequency for both V-rich and O-rich VO2 films, compared with the stoichiometry VO2 films. The experimental evidence is presented and the cause for nonstoichiometry dependence of Raman spectra of VO2 films is discussed.     

Flow-injection spectrophotometric determination of sulfadiazine and sulfamethoxazole in pharmaceuticals and urine.

A rapid and sensitive flow-injection spectrophotometric method is proposed for the determination of sulfadiazine and sulfamethoxazole. This method is based on the diazotization of sulfonamide with sodium nitrite, and a coupling reaction of the diazo-compound with alpha-naphthylamine. The optimum experimental conditions are obtained by using the controlled and weighted centroid simplex method. The linear ranges for the determination of sulfadiazine and sulfamethoxazole are 0.2-20 microg ml(-1) and 0.1-20 microg ml(-1), and their detection limits are 0.06 microg ml(-1) and 0.05 microg ml(-1), respectively, and the sampling frequency is 130 samples per hour. The method has been used to determine sulfadiazine and sulfamethoxazole in pharmaceuticals and urine without separation. The results are in agreement with those obtained by a high-performance liquid chromatograph technique at the 95% confidence level.     

Positive periodic solution of two-species ratio-dependent predator–prey system with time delay in two-patch environment

In this paper, we are concerned with the existence of positive periodic solution to a class of two-species ratio-dependent predator–prey diffusion model with time delay. By using the continuation theorem of coincidence degree theory, we transform this problem into a problem of calculating the topological degree of a continuous mapping, and then some sufficient conditions of the existence of positive periodic solution is established for the system.     

固体激光器的灯泵浦和二极管泵浦方式比较

对固体激光器的灯泵浦和二极管泵浦方式进行了比较,详细分析了不同类型的固体激光器所适用的泵浦方式.指出二极管泵浦固体激光器是今后固体激光器的发展趋势.     

关于DHMM转化为齐次马尔可夫链的一个定理及其证明

本给出一个将DHMM转化为齐次马尔可夫链的定理，该定理提供了利用在理论上比较完善的齐次马尔可夫链来研究DHMM的一个方法．     

J/ψ Dissociation in QGP via Multi-gluon Absorption

We propose that the suppression of J/ψ production in relativistic heavy ion collisions may be explained by that J/ψ dissociates via absorbing multi-gluons in the environment of quark-gluon-plasma (QGP) where abundance of gluons is expected.