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

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

因特网防御DoS攻击技术评述Ⅰ--攻击分类与特征·包过滤·攻击检测与防御

概述了因特网上DoS攻击的相应分类及基本特征，评述了包过滤、攻击检测及防御技术的最新成果．前一部分介绍了入口过滤、基于路由的过滤网和有效源地址强制协议．后一方面主要讨论了适合于检测攻击包的技术，介绍了新近提出的频谱分析方法和泛滥检测系统．简要评述了已有的防御SYN泛滥攻击的技术措施，介绍了Cisco的TCP拦截技术，提出了改进策略．     

Formation of 2,6-dioxabicyclo[3.3.0]-octa-3,7-dienes or multiply substituted o-benzoquinones from reactions of 1,4-dilithio-1,3-dienes with dimethyl oxalate

Reactions of 1,4-dilithio-1,3-dienes with dimethyl oxalates afforded multiply substituted o-benzoquinones or stereodefined 2,6-dioxabicyclo[3.3.0]-octa-3,7-dienes in good yields.     

Numerical analysis of the rotating viscous flow approaching a solid sphere

A numerical simulation is performed to investigate the flow induced by a sphere moving along the axis of a rotating cylindrical container filled with the viscous fluid. Three‐dimensional incompressible Navier–Stokes equations are solved using a finite element method. The objective of this study is to examine the feature of waves generated by the Coriolis force at moderate Rossby numbers and that to what extent the Taylor–Proudman theorem is valid for the viscous rotating flow at small Rossby number and large Reynolds number. Calculations have been undertaken at the Rossby numbers (R_o) of 1 and 0.02 and the Reynolds numbers (R_e) of 200 and 500. When R_o=O(1), inertia waves are exhibited in the rotating flow past a sphere. The effects of the Reynolds number and the ratio of the radius of the sphere and that of the rotating cylinder on the flow structure are examined. When R_o ? 1, as predicted by the Taylor–Proudman theorem for inviscid flow, the so‐called ‘Taylor column’ is also generated in the viscous fluid flow after an evolutionary course of vortical flow structures. The initial evolution and final formation of the ‘Taylor column’ are exhibited. According to the present calculation, it has been verified that major theoretical statement about the rotating flow of the inviscid fluid may still approximately predict the rotating flow structure of the viscous fluid in a certain regime of the Reynolds number. Copyright © 2004 John Wiley & Sons, Ltd.     

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λ。检测结果,达到预期目的。     

CCD相机调制传递函数测试软件的研制

数学傅立叶分析法是测量调制传递函数常用的一种方法，为了迅速地给出采用该方法进行调制传递函数测试的结果，针对刀口扫描测试CCD相机调制传递函数的测试系统研制了测试软件。软件可读入CCD相机摄取的数字图像文件，对数据进行消噪声处理，并自动识别刀口位置，选择合适区域计算出相机的调制传递函数。软件采用VC语言编制，结果以列表和曲线两种形式输出，用户界面良好，使用方便。利用该软件得到的测试结果与俄罗斯软件的计算结果吻合较好。     

The primary investigation of optical-limiting effects of optical active phthalocyanine derivative TMBO-SiPc

The optical-limiting property of an optically active phthalocyanine derivative with different configuration in chloroform solution was measured at 532 nm with 10 ns pulses. The excited state absorption cross-section σ_ex of the derivative was determined with the Z-scan technique. The results showed that the phthalocyanine derivative possesses larger σ_ex than the ground state absorption cross-section σ₀, indicating that it is a material for reverse saturable absorption. And it is specially noticed that the change in the optically active configuration affects its optical-limiting property significantly.     

Na离子和Cl离子引起He原子直接多重电离过程的研究

利用2～8 MeV的Naq+、Clq+(q=2,3,4,5)轰击氦原子,对碰撞的直接多重电离过程进行研究.实验采用反冲离子-散射离子飞行时间符合技术,通过反冲离子飞行时间谱区分不同价态反冲离子;利用静电偏转和位置灵敏探测技术区分不同电荷态散射离子;结合CAMAC-PC多参数获取系统得到一定价态散射离子所对应的反冲离子电荷态分布谱;经分析该谱得到直接多重电离截面与直接单电离截面之比R21.讨论了R21随入射离子速度和电荷态的变化关系.     

CTAB对四-(4-N-甲基吡啶)卟啉SERS谱的影响

研究了阳离子表面活性剂十六烷基三甲基溴化铵 (CTAB)对四 ( 4 N 甲基吡啶 )卟啉 (H2 TMPyP)及其银配合物 (AgTMPyP)在Ag胶中的表面增强拉曼散射 (SERS)谱的影响 .SERS光谱表明 ,吸附于Ag胶粒的H2 TMPyP与衬底银原子结合形成AgTMPyP ,加入CTAB后 ,部分AgTMPyP表面络合物还原为H2 TMPyP .相似的去金属化反应也出现在AgTMPyP/Ag胶 /CTAB体系中 .CTAB的加入使SERS谱带强度明显增加 .AgTMPyP的去金属化被认为是由于CTAB的存在使Ag胶颗粒表面附近微环境发生改变