系列类立方烷型Fe4S4簇合物的XPS分析

对7种类立方烷型Fe_4S_4簇合物进行了XPS分析,得到了中心离子Fe的价态,给出了系列Fe_4S_4中骨架硫的结合能,由峰合成结果给出各种S、N的比例与按结构式计算的结果相同。     

High-k材料MOS器件的PISCES-II模拟

High-k材料是指介电常数k高于SiO2的材料。使用high-k材料做栅绝缘层,是减小MOS器件栅绝缘层直接隧道击穿(DirectTunneling,DT)电流的有效方法。文章在二维器件模拟软件PISCES-II中添加了模拟以high-k材料为栅绝缘层的MOS器件模型,并对SiO2和high-k材料的MOS晶体管器件特性进行了模拟比较,成功地验证了所加high-k材料MOS器件模型的正确性。改进后的PISCES-II程序,可以方便地对以各种high-k材料为栅绝缘层的器件性能进行模拟。     

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

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

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

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从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.     

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的路，使得所有这些圈和路都是相互独立的，并且此度条件是最好的.     

图的边韧性度

文[1]中,定义图G(V,E)的边韧性度定义为min{(|S|+T(G-S))/(ω(G-S)):S?E(G)},这里,T-(G-S)和ω(G-S)分别表示G-S中最大分支的顶点数和连通分支数.这是一个能衡量网络图稳定性较好的参数,因为它不仅考虑到了图G-S的分支数也考虑到了它的阶数.在以前的工作中,作者得到了边韧性度图的一个充要条件.利用这些结果证明了K-树是严格边韧性度图,并找到了边韧性度与较高阶的边坚韧度和边坚韧度之间的关系.     

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.