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

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

Three Types of Expression in Dark-Soliton Perturbation Theory Based on Squared Jost Solutions

Three types of expression in the dark-soliton perturbation theory based on squared Jost solutions are invesgigaged in ghis paper. It is shown that there are three formally different results about the effects of perturbagion on a dark soliton, and it is proved by means of a transformation between two integral variables that they are essentially equivalent.     

中碳钙硫易切削钢夹杂物形态控制

在实验室进行了1 kg坩埚实验,研究了中碳高硫结构钢钙处理前后夹杂物的形态、尺寸及组?结果表明:钢钙处理后获得了可以改善钢切削性的纺锤形夹杂物,夹杂物的平均纺锤形率为68.11%,并且随钢中[Ca]/[S]增加夹杂物纺锤形化趋势增加;钙处理后小于2.5 μm的夹杂物占夹杂物总量的76.05%,夹杂物细小、弥散分布于钢基体中;夹杂物类型以钙铝酸盐芯硫化物外壳的复合夹杂物、(Mn,Ca)S形式的硫化物为主,有少量的铝酸钙与CaS的复合夹杂物;含钙硫的45钢铸态钢锭比普通45钢铸态钢锭切削性能有所改善.     

求解随机变量数字特征的两种有效方法

求解随机变量的数字特征是数理统计中的一个重要课题，本文利用泰勒级数和条件数学期望给出了正态分布数字特征的求解方法，并将所得结果做了适当的推广。     

2维O(1,1)对偶弦模型中的宇宙学解

研究了2维O(1,1)对偶弦模型中的β函数,推导了β函数的重整化群方程,获得了无弦源耦合与弦源耦合的宇宙学解,还讨论了这些解的一般性质.结果表明弦源耦合的宇宙学解具有自对偶性,并可用来描述前大爆炸时宇宙的演化过程.     

Study on the Chemical Constituent from the Seed of Litchi chinensis Sonn.

Seed of Litchi chinensis Sonn. is a traditional Chinese medicine, having curative effects on gastric disease, diabetes,and relieving pain.[1] Two new compounds 4-O-p-coumaroylquinic acid butyl ester (1) and 3-O-p-coumaroylquinic acid butyl ester (2), along with five known compounds: 5-O-p-coumaroylquinic acid butyl ester (3),[2] 3-O-p-coumaroylquinic acid methyl ester (4),[3] n-butyl-1-β-D-fructopyranoside (5),[4] D-1-O-methylmyo-inositol (6)[5] and 1H-imidazole-2,3-dihydro-2-oxo-4-carboxylic acid methyl ester (7)[5] were isolated and purified from the ethanol extracts of the seed of L.chinensis Sonn. Their structures, shown in Figure 1, were elucidated by ESI-MS, 1H NMR and 13C NMR, including 2DNMR spectroscopy.     

图中相互独立的4圈和含4个点的路

设k是一个正整数，G是一个顶点数为|G|=4k的图. 假设σ\-2(G)≥4k-1, 则G有一个支撑子图含k-1个4圈和一条顶点数为4的路，使得所有这些圈和路都是相互独立的. 设G=(V\-1,V \-2;E)是一个二分图使得|V\-1|=|V\-2|=2k. 如果对G中每一对满足x∈V\-1和y∈V\-2的不 相邻的顶点x和y 都有d(x)+d(y)≥2k+1, 则G包含k-1个相互独立的4圈和一条顶点数为4的路，使得所有这些圈和路都是相互独立的，并且此度条件是最好的.     

Tokamak Experiment and Tokamak Engineering——Development of the Plasma Diagnostics on HL-2A Tokamak

The main mission the HL-2A tokamak is of the experiments on to explore the divertor physics and to investigate the plasma confinement, transport and instabilities with high power auxiliary heating and advanced fuelling, it is necessary to develop more new diagnostics and increase the spatial and temporal resolutions of the measurements for exist system. Up to now, about 30 diagnostic systems have been moved from HL-1M to HL-2A tokamak. Other 10 diagnostic systems are being designed and installed on the device. In developed in last 2 years, will be presented.     

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.