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

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

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

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

Solid Phase Extraction Chemiluminescence Determination of Methamidaphos on Vegetables

IntroductionDuring recent years,organophosphorus pesticides(OPPs)have been widely used in agriculture becauseof their low environmental persistence and high effec-tiveness.However,they have a high acute toxicity.Trace amounts of OPPs may remain in foodstu…     

N,N′-亚水杨基皮考林酰肼合铁(Ⅱ)的晶体结构和荧光性质

合成了N,N′-亚水杨基皮考林酰肼(HL)及其铁配合物[FeL2](C26H20FeN6O4,Mr=536 33).X射线衍射实验结果表明,标题配合物晶体属于正交晶系,空间群为Pbcn,晶体学参数:a=1 4970(1)nm,b=1 51556(9)nm,c=2.0920(2)nm,V=4 7462(6)nm3,Z=8,Dc=1 501Mg·m-3,F(000)=2208,μ(MoKα)=0 682mm-1,R=0 0695,Rw=0 1502.在配合物[FeL2]中,铁(Ⅱ)原子具有扭曲的八面体配位构型,晶体通过分子间氢键作用形成缔合分子对.红外光谱表明,配体在形成配合物后,ν(CO)和ν(CN)红移.电子光谱表明存在π-π 和d-π 的跃迁;荧光光谱表明,配合物金属对配体n-π 激发引起的荧光发射峰有较大的影响.     

颗粒性甲烷单加氧酶的电子供体研究

从甲基弯菌M ethylosinus trichosporium IMV3011的膜中分离出颗粒性甲烷单加氧酶（Particulate MMO,Pmmo）t和NADH脱氢酶，只有当两者同时存在，并添加去垢剂解离膜组分时，NDAH才能为pMMO提供还原当量，对苯二酚能够在整细胞和膜水平代替NADH作为PMMO的电子供体，对于纯化的PMMO，对苯二分配仍是有效的电子供体，而NADH却是无效的电子供体。在NADH脱氢酶存在下，NADH可将对苯醌还原为对苯二酚，纯化过程中，采用对苯二酚作为PMMO活性分析时的电子供体，不必共纯化NADH脱氢酶，且有利于对PMMO活性中心进行深入研究。     

新型二氢色原酮拼接多环吡咯螺环氧化吲哚类化合物的 无催化剂合成及其抗白血病活性

以取代的3-羧酸活化色酮、靛红与消旋脯氨酸为原料，乙腈为溶剂，依次经1,3-偶极子[3+2]环加成和脱羧反应，合成了8个新型的二氢色原酮拼接多环吡咯螺环氧化吲哚类化合物 (3a~3h)，产率68%~87%, dr值15/1~20/1,其结构经¹H NMR, ¹³C NMR和HR-MS（ESI-TOF）表征。采用MTT法研究了3a~3h对人白血病细胞(K562)的体外抑制活性。结果表明：化合物3d,3f, 3g对K562具有一定的抑制活性(IC₅₀=46.3~69.4 μmol·L^-1)。     

新型螺环六氢山酮素-氧化吲哚-苯并呋喃酮类拼接物的合成及其抗白血病细胞增殖活性

以色酮-氧化吲哚合成子与3-烯基苯并呋喃酮为原料,在催化剂1,8-二氮杂二环十一碳-7-烯作用下,在二氯甲烷中发生Michael/Michael加成关环反应,合成了6个未见文献报道的螺环六氢山酮素-氧化吲哚-苯并呋喃酮类拼接物(3a^3f),产率75%~87%,dr值3/1~5/1,其结构经1H NMR,13C NMR和HR-MS(ESI-TOF)表征。采用MTT法研究了3a^3f对人白血病细胞(K562)的体外抗增殖活性。结果表明:化合物3c,3e和3f对K562增殖有一定的抑制活性。     

长链超支化聚合物的合成研究进展

长链超支化聚合物(HyperMacs)凭借其含有大量的功能端基和可调控的链结构等优点已经引起国内外科研人员越来越广泛的关注。HyperMcs除了拥有超支化聚合物固有的低粘度、溶解性好、含有大量的功能性端基的特点外,同时拥有高剪切敏感性、熔体弹性、冲击强度和零剪切粘度,因而在药物载体、能量存储及传递和纳米催化剂等方面可能拥有更为广泛的应用。本文根据HyperMacs合成方法的不同,分别从迭代法和ABx线型大分子单体法两个主要方面对其研究进展进行了总结和评述,并在此基础上展望了该类聚合物的研究方向和发展趋势。     

大豆油煎炸过程理化指标与LF-NMR弛豫特性的相关性研究

在对大豆油无料/薯条煎炸过程[温度:(180±5)℃,持续36 h]中的酸价(AV)、粘度(V)、吸光值(A)及总极性化合物(TPC)含量等及低场核磁共振(LF-NMR)弛豫特性(峰起始时间T21、T22、T23、相应的峰面积比例S21、S22、S23、单组份弛豫时间T2W)变化规律研究的基础上,利用多元回归分析建立了理化指标与其LF-NMR检测结果的相关性模型,并进行验证。结果表明:大豆油的酸价、TPC含量及S21峰面积均随煎炸时间的延长而线性增大,T21、T22峰起始时间及T2W则随煎炸时间的延长而线性减小(r2>0.90),粘度、吸光值随煎炸时间的延长逐渐增加并符合二项式关系(r2>0.90),而T23峰起始时间及S22、S23与煎炸时间之间无明显规律性变化。煎炸薯条后,油样的酸价、粘度、TPC含量、吸光值及S21均较无料煎炸显著增大(P<0.05),而T21、T22峰起始时间及T2W显著缩短。多元回归分析表明,酸价及TPC含量与T2W、T21,粘度与T2W,吸光值与S21间均可建立良好的相关性模型(R2>0.93)。模型验证合理可靠,可通过油样的LF-NMR检测结果有效预测其理化指标的变化。     

Cu-V-O氧化物催化燃烧甲苯的活性和抗硫性

采用溶胶-凝胶法制备一系列不同Cu/V比例的Cu-V-O催化剂,利用XRD、BET、H₂-TPR等手段对催化剂进行了表征,并考察其催化燃烧甲苯的活性和抗硫性。结果表明,适量的Cu掺杂会提高催化剂比表面积,而且Cu-V可以形成Cu₃V₂O₈晶型结构,使V₂O₅晶格氧活动增加,提高催化剂氧化-还原能力。其中,Cu_0.15V_0.85催化剂表现出最佳的活性和抗硫性;通过TiO₂负载可以进一步提高催化剂对甲苯的催化燃烧活性和抗硫性。