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

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

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

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

Study on the reaction of triple helix poly(A:2I) with Cu~(2+)

The effect of Cu2+ on the triple-stranded helical structure of poly(A:2I) was studied by means of circular dichroism spectral method with the help of ultraviolet spectral and ethidium bromide fluorescence probe methods. It was found that Cu2+ destabilizes the structure of the triple helix poly(A:2I) and induces its structural transformations, meanwhile, the transformations can be partially reversed by a higher NaCl concentration. The structural transformations may be expressed by the following scheme: poly(A:2I) - poly(A:I) + poly(I)- poly(A) + 2poly(I)     

TiCl4-Cr还原偶联活泼卤化物及芳醛、芳酮的研究

低价钛化合物在有机合成和有机反应中有着广泛的应用。我们曾研究了低价钛对α,α,α-三卤甲基苯的脱卤偶联、对2,2-二芳     

The synthesis and crystal structure of metal complexes S-alkyl-N-(ferrocenyl-1-methyl-methylidene)-dithiocarbazate and the study on their quenching the luminescence ofruthenium(bipyridine)_~3(2+)

The cobalt, nickel, copper, zinc and cadmium complexes of S-methyl-N-(ferrocenyl-l-methyl-methylidene)-dithiocarbazate (H-LSM) and S-benzyl-N-(ferrocenyl-l-methyl-methylidene)-dithiocarbazate (H-LSB) were synthesized and the crystal structure of Cd[Fe-C(CH3) = NNCSS. (CH3)]2 was solved by X-ray diffraction. The crystal is in the orthorhombic system with space group Pbca, cell parameters a=19.741(3), b=19.924(5), c=15.452(4) A, and the final factors of R=0.032. The study on quenching the luminescence of Ru(bpy)3 by those complexes showed that bimolecular quenching constants obtained from the Stern-Vohner constant and the excited-state lifetime were related to the redox potential of the quencher. Linear relationship is shown in the plot of logkq vs. E1/2(Q+/Q). The main factor which influences the quenching rate constant and the redox potential is the coordinating ability of the metal in the complex.     

茄黄斑螟性信息素化学的结构签定(英文)

本文采用TLC、GC、微量臭氧化和GC-MS等分析方法,从茄黄斑螟雌蛾性腺体提取物中,分离和鉴定出性信息素反-11-十六碳烯醇乙酸酯(1a)。触角电位和田间试验证明,天然提取物和合成样品均有强烈的生物活性。     

双核钴配合物(RC_2R′)CO_2(CO)_6_n[P(OEt)_3]_n的合成与结构

PR_3可取代(RC_2R′)Co_2(CO)_6中的CO生成相应的取代配合物(RC_2R′)CO_2(CO)_(6-n)(PR_3)n: (RC_2R′)Co_2(CO)_6 +nPR_3→ (RC_2R′)Co_2(CO)_(6-n)(PR_3)n已经利用此反应合成了一系列PR_3取代配合物,但P(OEt)_3的取代配合物则未见报     

QSAR Studies on the COX-2 Inhibition by 3,4-Diarylcycloxazolones Based on MEDV Descriptor

Selective inhibition of cyclooxygenase-2 (COX-2) might avoid the side effects of current available nonsteroidal antiinflammatory drugs while retaining their therapeutic efficacy. A novel variable selection and modeling method based on prediction is developed to construct the quantitative structure-activity relationships (QSAR) between the molecular electronegativity distance vector (MEDV) based on 13 atomic types and the biological activities of a set of selective cyclooxygenase-2 inhibitory molecules, 3,4-diarylcycloxazolones (DAA) plus indomethacin,naproxen, and celecoxib. Using multiple linear regression, a 5-variable linear model is developed with the calibrated correlation coefficient of 0.9271 and root mean square error of 0.17 in modeling stage and the validated correlation coefficient of 0.9030 and root mean square error of 0.20 in leave-one-out validation step, respectively. To further test the predictive ability of the model, 20 DAA compounds are picked up to construct a training set which is used to build a QSAR model and then the model is employed to predict the biological activities of the balance compounds. The predicted correlation coefficient and root mean square error are 0.9332 and 0.19, respectively.     

Two New Sesquiterpenes from Eupatorium lindleyanum

Various germacrane sesquiterpenes have been isolated from many species of the Eupatorium.In recent years these compounds have been increasing interest due to their insecticidal,cytotoxic,antitumor-promoting and insect-antifeedant activities1.In our present study,we have investigated the chemical constituents of Eupatorium lindleyanum DC.,which is a geo-authentic medicine of Jiangsu province.It is used as a antipyretic drug.Two novel germacrane sesquiterpenes(Figure1)were found by us from th…     

Synthesis, characterization, antitumor activity of nickel(Ⅱ) and cobalt (Ⅱ) complexes of 2,2''''-diamino-4,4''''-bithiazole and their interaction with dGMP

New complexes,of bis(2,2'-diamino-4,4'-bithiazole)sulfate nickel(Ⅱ) and bis(2,2'-diami-no-4,4'-bithiazole)sulfate cobalt(Ⅱ),have been prepared.The complexes were characterized by infrared and UV-Vis spectroscopy,1H NMR,elemental analyses and molar conductivity.The effect of these complexes on the DNA synthesis of sarcoma 180 cells has been studied by the technique of isotopic liquid scintillation.The results indicated that complexes show ability to inhibit DNA synthesis of the tumor cells.In order to provide a molecular basis for understanding the biological effects,the probe,[trana-en2Os(η2-H2)](CF3SO3)2 (en,ethylenediamine) as a monitor was first used to explore interaction of the complexes with 2'-deoxyguanosine-5'-monophosphate (dGMP).