复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．     

架起传统与现代的桥梁--建筑历史与理论课程体系教学改革的思考

重新审视建筑历史理论教学的目标、内容、教学方式和手段，通过对国内几座有影响的建筑院校的调研，比较各个院校在这些问题及途径上的异同，分析其利弊，以期促进建筑历史与理论课程体系教学的建设和改革．     

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

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从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-烯炔环异构化反应进行了详细地总结和阐述.     

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的一个方法．