系统动力学模型结构分析中表函数的改进方法

分析了非线性系统动力学(SD)模型中表函数环节的传统表示方法,指出该方法对于进行SD模型的结构分析所造成的障碍,并提出了用牛顿插值的承袭性算法来改进表函数环节的表示方法的思路.接着分别介绍了用差商和差分牛顿插值法改进表函数的过程.最后,通过一个实例说明了表函数改进的方法,并展示了以此为基础进行结构分析的思路.     

几种N-取代马来酰胺酸辅酶模型的核磁共振研究

我们对8种N-取代马来酰胺酸辅酶模型与不同类型的亲核试剂反应后生成的产物进行了¹H、¹³C NMR的研究, 测得¹H、¹³C谱化学位移,研 究探讨其规律性, 并测试了IR谱和元素分析.     

频域吸收边界条件的构造理论

在频域中推导了适用于差分类数值方法的吸收边界条件的构造方法，并通过选取不同参数导出了几种现有的吸收边界条件。在计算了一般形式的吸收边界条件的反射系数之后，提出了一种简单实用的自适应吸收边界条件。     

DC-DC电荷泵的研究与设计

以Dickson电荷泵的基本原理为出发点，研究了一种将正电压输入转为负电压输出的开关电容电路。由于开关电容的充放电特点，为确定电容时间常数，采用非交叠时钟控制信号避免了由于时钟交叠而造成的当电容充电还未完成即对下一级电容进行放电的现象。同时，参考功率MOS-FET的电容模型通过增大驱动电路的电流减小了开关管的上升延时，提高了开关动作的速度，使转换效率得到明显提高。此电路结构简单，性能优良，易于集成，可广泛应用于输出负电压的电源产品中。     

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

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

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

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