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

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

Melt rheology of polylactide/montmorillonite nanocomposites

In this article, the linear and nonlinear shear rheological behaviors of polylactide (PLA)/clay (organophilic‐montmorillonite) nanocomposites (PLACNs) were investigated by an Advanced Rheology Expanded System rheometer. The nanocomposites were prepared by master batch method using a twin‐screw extruder with poly(ε‐caprolactone) (PCL) as a compatibilizer. The presence of org‐MMT leads to obvious pseudo‐solid‐like behaviors of nanocomposite melts. The behaviors caused by the formation of a “percolating network” derived from the reciprocity among the strong related sheet particles. Therefore, the storage moduli, loss moduli, and dynamic viscosities of PLACNs show a monotonic increase with MMT content. Nonterminal behaviors exists in PLACNs nanocomposites. Besides the PLACNs melts show a greater shear thinning tendency than pure PLA melt because of the preferential orientation of the MMT layers. Therefore, PLACNs have higher moduli but better processibility compared with pure PLA. © 2007 Wiley Periodicals, Inc. J Polym Sci Part B: Polym Phys 45: 3189–3196, 2007     

航显系统中LED显示软件应用

现代机场的航显系统中大量应用LED显示屏，包括值机、进出港、行李提取、登机等业务中，如何将大量的数据及时、准确的发送到数量众多的LED屏上是航显系统的关键任务。本文以实际项目为基础介绍航显系统中的LED显示软件是如何安全、可靠的提供服务的。     

Mössbauer Studies and Magnetic Properties of Y3−x Ce x Fe5O12

It is shown that in-situ ^166mHo (I = 7) in a spherical single crystal of HoF₃ can be used as sensitive internal thermometer to thermally detect NMR (NMR-TDNO) from the 100% abundant stable ¹⁶⁵Ho (I = 7/2) nuclei. In addition, new ^166mHo NMRON results are reported. Both the ^166mHo NMRON and ¹⁶⁵Ho NMR-TDNO spectra show three distinct quadrupolar split sub-resonances, in zero applied field. The data is used to make estimates of the Ho magnetic moments and quadrupole parameters for the ^166mHo and ^166mHo sites.     

A Novel and Efficient Catalytic System for Aerobic Oxidative Coupling of 2-Naphthol Derivatives

The paper reported a novel and efficient aerobic oxidative coupling reaction of 2-naphthol derivatives catalyzed by CuCu (Ⅰ or Ⅱ)N-alkylimidazole complexes in excellent yields. The crystal structure of CuCu(Ⅱ)N-methylimidazole complex to be determined by X-Ray.     

强激光远场焦斑重构算法研究

 通过CCD图像采集单元结合传统的列阵相机测量高功率固体激光器的远场焦斑分布，采用图像处理技术的边缘算子提取焦斑的几何中心，提出通过几何中心对心的焦斑嵌套重构算法，解决了光斑饱和时的对心难题，实现了快捷准确测量激光焦斑，为激光器的实时控制提供参考数据。     

Possible triggering of solar activity to big earthquakes (Ms ≥ 8) in faults with near west-east strike in China

A big earthquake (Ms = 8.1) occurred at western Kunlun Mts gap on November 14, 2001. It is the biggest earthquake in China in the past 50 years and the only one with a magnitude bigger than 8 in China after Dangxiong Earthquake (M = 8) in Tibet in 1951. The big earthquake has drawn wide attention of scientists in seismological, geophysical, geological and astro-geodynamic circles. Scientists are interested in the occurrence regularity of the very big earthquakes and try to find out the fac…     

利用计算机辅助装调检测矩形大口径离轴非球面的方法研究

通过非球面的零位补偿法,完成了对矩形大口径离轴非球面镜的检测。先用光学设计软件Zemax从理论上分析了在检测中会出现的现象,并结合计算机辅助装调技术,确定在检测过程中相对敏感的自由度,然后控制这些量,使补偿器和非球面的相对关系与理论设计相吻合,在Zygo相位干涉仪上测得最终结果。在λ=632.8nm时,中心圆口径与两个边缘圆口径面形误差RMS分别为0.022λ,0.037λ,0.032λ。检测结果,达到预期目的。