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

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

Metallothionein as a biomarker for mercury in tissues of rat fed orally with cinnabar

Cinnabar, as one of the most widely used mineral drugs in traditional Chinese medicines, has been proven to have prominent curative effects in clinical use for more than 2000 years. But the safety and toxicity of the drug has been under constant debate in clinic usage. Metallothionein (MT) contains about 30% of cysteine in the molecule, and plays an important detoxification role against heavy metals. In this study, it was used as a biomarker to assess mercurial accumulation in rats fed orally with cinnabar. After feeding rats with cinnabar by gastric gavage at different dosages and at different times, the distribution of heavy metals (including mercury, copper and zinc) and MT was investigated among rat tissues, including liver, kidney, heart, brain, testis and blood. Metals and MT determinations were carried out using inductively coupled plasma mass spectrometry (ICP‐MS) and a modified mercury saturation assay technique respectively. The results indicated that mercury was easily accumulated in the tissues of rats exposed to cinnabar, especially in kidney. For example: at a feeding dosage of 5 g kg^?1 (bw) for 4 weeks, the mercury concentrations in kidney were 13, 8.7, 21.6 and 26 times those in liver, testis, brain and heart respectively; and at 2.5 g kg^?1 (bw) for 2 weeks, the mercury concentrations in kidney were 21, 2.1, 3 and 21 times those in liver, testis, brain and heart respectively. In addition, mercury in kidney and liver of all cinnabar groups was significantly higher than that of the control group (P < 0.01). A high positive correlation observed between MT concentrations and mercury levels in both liver and kidney (R² = 0.9299, P < 0.02 for liver; R² = 0.9923, P < 0.0008 for kidney) indicated that MT could be used as a biomarker for mercury in tissues. Copyright © 2004 John Wiley & Sons, Ltd.     

A projection method for solving incompressible viscous flows on domains with moving boundaries

In this paper, a projection method is presented for solving the flow problems in domains with moving boundaries. In order to track the movement of the domain boundaries, arbitrary‐Lagrangian–Eulerian (ALE) co‐ordinates are used. The unsteady incompressible Navier–Stokes equations on the ALE co‐ordinates are solved by using a projection method developed in this paper. This projection method is based on the Bell's Godunov‐projection method. However, substantial changes are made so that this algorithm is capable of solving the ALE form of incompressible Navier–Stokes equations. Multi‐block structured grids are used to discretize the flow domains. The grid velocity is not explicitly computed; instead the volume change is used to account for the effect of grid movement. A new method is also proposed to compute the freestream capturing metrics so that the geometric conservation law (GCL) can be satisfied exactly in this algorithm. This projection method is also parallelized so that the state of the art high performance computers can be used to match the computation cost associated with the moving grid calculations. Several test cases are solved to verify the performance of this moving‐grid projection method. 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…     

Correlation between Al2O3 particles and interface of Al-Al2O3 coatings by cold spray

Al-Al₂O₃ composite coatings with different Al₂O₃ particle shapes were prepared on Si and Al substrate by cold spray. The powder compositions of metal (Al) and ceramic (Al₂O₃) having different sizes and agglomerations were varied into ratios of 10:1 wt% and 1:1 wt%. Al₂O₃ particles were successfully incorporated into the soft metal matrix of Al. It was found that crater formation between the coatings and substrate, which is typical characteristic signature of cold spray could be affected by initial starting Al₂O₃ particles. In addition, when the large hard particles of fused Al₂O₃ were employed, the deep and big craters were generated at the interface between coatings and hard substrates. In the case of pure soft metal coating such as Al on hard substrate, it is very hard to get proper adhesion due to lack of crater formation. Therefore, the composite coating would have certain advantages.     

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

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

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

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

数学建模与素质教育

面对二十一世纪知识经济的挑战 ,我国高等教育模式应由应试教育 ,专业教育向素质教育转变 ,培养学生自主意识 ,效率意识 ,竞争意识 ,创新意识和民主意识 ,即高校教育应重视大学生的创新能力、实践能力和创业精神 ,普遍提高大学生的人文素质和科学素质 .本文拟就提高大学生素质的有效层面 ,对开展数学建模教学与实践进行深入分析 ,以窥探数学建模与素质教育之关系 .在深入把握数学建模教学与实践内涵的同时 ,分析得出这种以不打扰现行正常秩序的教育是提高大学生素质的有效途径之一     

New Compacton-Like and Solitary Pattern-Like Solutions of （2＋1）-Dimensional Generalization of Modified KdV Equation

Recently some （1＋1）-dimensional nonlinear wave equations with linearly dispersive terms were shown to possess compacton-like and solitary pattern-like solutions. In this paper, with the aid of Maple, new solutions of （2＋1）- dimensional generalization of mKdV equation, which is of only linearly dispersive terms, are investigated using three new transformations. As a consequence, it is shown that this （2＋1）-dimensional equation also possesses new compacton-like solutions and solitary pattern-like solutions.     

Differential FBG sensor for temperature-compensated high-pressure (or displacement) measurement

A differential fiber Bragg grating (FBG) sensor with a free active element bulk-modulus for high-pressure (or displacement) measurement is presented. Based on the differential measurement method and an isosceles triangle cantilever structure, problems of cross-sensitivity and chirped signal in FBG sensor are improved both theoretically and experimentally. Preliminary experiments indicate that temperature-compensated measurement results agree well with the theoretical analysis. Displacement measurement sensitivity is 1.75 pm/μm, and the estimated pressure measurement resolution can reach 0.27 MPa in case the wavelength shift measurement resolution is 0.01 nm.