基于Isabelle定理证明器算法程序的形式化验证

形式化验证对保证软件的正确性和可靠性具有十分重要的意义.定理机械证明是形式化验证的一个重要研究领域,Isabelle系统是一个被广泛运用的定理证明辅助工具.本文在分析Dijkstra最弱前置谓词理论的基础上,根据PAR方法开发的算法程序循环不变式,提出了一种使用Isabelle定理证明器对算法程序进行机械验证的方法.该方法既克服了传统手工验证过程的繁琐性和易错性等缺点,又达到"提高验证效率和保证算法程序高可信"的目标,具有很好的实用价值.

Initiation and development of water film by seepage

When water seeps upwards through a saturated soil layer, the soil layer may become instability and water films occur and develop. Water film serves as a natural sliding surface because of its very small friction. Accordingly, debris flow may happen. To investigate this phenomenon, a pseudo-three-phase media is presented first. Then discontinuity method is used to analyze the expansion velocity of water film. Finally, perturbation method is used to analyze the case that a water flow is forced to seep upwards through the soil layer while the movement of the skeleton may be neglected relative to that of water. The theoretical evolutions of pore pressure gradient, effective stress, water velocity, the porosity and the eroded fine grains are obtained. It can be seen clearly that with the erosion and re-deposited of fine grains, permeability at some positions in the soil layer becomes smaller and smaller and, the pore pressure gradient becomes bigger and bigger, while the effective stress becomes smaller and smaller. When the effective stress equals zero, e.f. liquefaction, the water film occurs. It is shown also that once a water film occurs, it will be expanded in a speed of (U)(t)/(1 - E >).

唐古特瑞香和大果大戟的化学成分研究

本学位论文由两部分共3章组成。第一部分分别报道2种藏药唐古特瑞香和大果大戟化学成分的研究成果，从2种药用植物共分离鉴定了60个不同的化合物，其中12个为新结构，特别有意义的是发现了2个具有同一新骨架的二萜化合物。第二部分概述了大戟科植物多环二萜的研究进展。 第一部分包括第1和2章。在这2章中分别报道了唐古特瑞香（Daphne tangutica Maxim）和大果大戟（Euphorbia wallichii Hook. f. Fl）化学成分的分离纯化与结构鉴定。实验采用正、反相硅胶柱层析、薄层制备及HPLC等分离方法，从唐古特瑞香的根皮中共分离出32个化合物，通过红外、质谱及核磁共振等波谱方法鉴定了其中的31个，结构类型分别属于瑞香二萜类、木脂素类、香豆素类、苯丙素类及甾体类，其中有三个新的瑞香二萜型化合物，经波谱分析将它们的结构分别鉴定为1,2a-二氢-20-棕榈酰瑞香毒素、1,2a-二氢-5b-羟基-6a,7a-环氧-树脂大戟醇-14-苯甲酸酯及1,2b-二氢-5b-羟基-6a,7a-环氧-树脂大戟醇-14-苯甲酸酯，另外还有13个已知化合物为首次从该植物中分离得到。从大果大戟的根部共分离出33个化合物，鉴定了其中的30个，其主要成分为种类丰富的二萜，包括巨大戟烷型、续随子烷型、对映－阿替生烷型、对映－贝壳杉烷型、对映－松香烷型、ent-trachylobane型、对映－异海松烷型及一新骨架五环二萜ent-wallichane型，另外还有香豆素、甾体、三萜和一些简单的小分子化合物。其中新化合物有9个，经波谱分析将它们的结构分别鉴定为5-O-(2E,4E,6E)-癸三烯酰基-3,20-O-二乙酰基巨大戟醇、5-O-(2E,4Z)-癸二烯酰基-3-O-乙酰基-20-去氧巨大戟醇、3-O-(2E,4Z)-癸二烯酰基-5b,6b-氧-交京大戟醇、7-苯甲酰氧基-3,5,15-三乙酰基-续随子醇、ent-trachylobane-3-one-17-oic-acid、3α-羟基-对映-阿替斯-16-烯-14-酮、3α,6-二羟基-对映-异海松-7-烯-2,15-二酮、wallichanol A 和 wallichanol B，其中，wallichanol A 和 wallichanol B属于一新骨架类型的五环二萜。除此以外，另有13个已知化合物为首次从该植物中分离得到。 第2部分即第3章，首次概述了大戟属植物中多环二萜的化学和药理研究进展。 This dissertation is composed by two parts. The first part reports the phytochemical investigation of two Tibetan medicine plants, Daphne tangutica Maxim and Euphorbia wallichii Hook. f. Fl. Sixty different compounds including ten new compounds and two novel diterpenoids possessing a new carbon skeleton were isolated and identified. The second part is a review about the progress of studies on the polycyclic diterpeniods of the plant family of Euphorbia. The first part consists two chapters, which expatiate on the isolation and identification of chemical constituents from D. tangutica and E. wallichii. Thirty-one compounds were isolated from the root barks of D. tangutica by methods of column chromatography (silica gel, including reversed phase), preparative TLC and HPLC, and their structure were identified as nine daphnane diterpenes, six lignans, nine cumarin derivatives, five phenylpropanoid derivatives, a steroids and a benzoate on the basis of spectroscopic methods including IR, MS and NMR. Among them, three are new diterpenes with skeleton of daphnane and the structure were determined as 1,a-dihydro-20-palimoyl-daphnetoxin, 1,2a-dihydro-5b- hydroxy-6a,7a-epoxy-resiniferonol-14-benzoate and 1,2b-dihydro-5b-hydroxy- 6a,7a-epoxy-resiniferonol-14-benzoate. In addition, thirteen known ones were isolated from this plant for the first time. Isolation of the roots of E. wallichii yielded thirty compounds, twenty-four of them were elucidated as diterpenoids, which belong to different skeleton types of ingenol, lathyrane, ent-atisane, ent-kaurane, ent-abietane, ent-trachylobane, ent-isopimarane and a new pentacyclic skeleton ent-wallichane respectively. The remains including a cumarine, a triterpenoid, a steroid and three compounds with small molecule. Nine new compounds were characterized as 5-O-deca-2E,4E,6E- trienoyl-3,20-O-diacetylingenol, 5-O-deca-2E,4Z-dienoyl-3-O-acetyl-20- deoxyingenol, 3-O-deca-2E,4Z-dienoyl-jolkinol-5b,6b-oxide, 7-benzoyl-3,5,15- triacetyl-7-hydroxylathyrol, ent-trachylobane-3-one-17-oic-acid, 3α-hydroxy-ent- atis-16-en-14-one, 3α,6-dihydroxy-ent-isopimarane-7-en-2,15-dione, wallichanol A and wallichanol B, respectively, by means of comprehensive spectroscopic analysis. Among them, wallichanol A and wallichanol B were two notable novel pentacyclic diterpenoids processing a new rearranged carbon skeleton. And more, thirteen ones were firstly reported from this plant. The third chapter summarizes the research development on chemistry and pharmacology of polycyclic diterpenes from the plant family of Euphorbia for the first time.

天然产物Standishinal 的首次全合成研究

具有1，1，4α-三甲基氢化芴骨架结构的天然三环二萜化合物自然界中不常见。在该类化合物中，Standishinal 具有良好的芳香化酶抑制活性和细胞毒活性。迄今未发现有Standishinal 的全合成报道，因此，我们对Standishinal 的全合成进行了探索，在该过程中得到以下实验结果： 1. 发现MSA/P2O5、MSA 在无溶剂条件下，25 °C 时烷氧基苯即可实现向苯酚的转化，但在CH3NO2 中，温度升高至80 °C 并未发生反应。 2. 烷氧基苯或对溴苯酚与α-环香叶酸在不同温度下以MSA/P2O5、MSA、PPA为催化剂以CH3NO2 为溶剂或以BF3·Et2O为催化剂时均不发生Friedel-Crafts酰化反应。 3. 对溴苯酚与香叶酸在p-TsOH 催化作用下发生了香叶酸向α-环香叶酸环化、α-环香叶酸环与对溴苯酚的酯化，得到了唯一产物α-环香叶酸对溴苯酯，产率68%。 Standishinal is one of tricyclic-diterpenes possessing the uncommon 1, 1,4a-trimethylhydrofluorene skeleton. Standishinal possesses cytotoxic and aromataseinhibitory activities. Till now, no synthesis of standishinal has been reported. Inattempt to synthesize standishinal, the following phenomenon were observed: 1. Alkyloxybenzenes could be transformed into corresponding phenol at 25 °C inthe presence of MSA/P2O5 or MSA under solvent free condition. ButAlkyloxybenzenes are stable in presence of MSA/P2O5 or MSA in CH3NO2 even at 80 °C. 2. Friedel-Crafts acylation of alkyloxybenzenes and p-bromophenol withα-cyclogeranic acid could not be realized under catalysis of MSA/P2O5, MSA or PPAin CH3NO2, or under catalysis of BF3·Et2O without CH3NO2. 3. The reaction of 4-bromaophenol and geranic acid in the presecnce of p-TsOHafforded 4-bromophenol α-cyclogeranoate in which cyclization of geranic acid toα-cyclogeranic acid was followed by esterification of α-cyclogeranic acid with p-bromophenol.

有机质谱裂解规律及智能解析方法研究

本学位论文分为四个部分，第一部分报道了用串联质谱快速分析合成药物中的微量杂质成分以及分析中药材中的化学成分。第二部分报道了通过质谱和串联质谱发现并合成新型的PdPincer 催化剂，同时对其活性进行测试。第三部分为串联质谱自动解析软件的设计及应用。第四部分概述了应用在质谱中的各种碎裂方式。 第一部分首先总结了5-溴粉防己碱及其类似物的裂解规律，并以此为根据推测出2 个微量杂质的结构。随后针对无患子（Sapindus mukurossi Gatren.）中的皂苷成分，由ESI-QTOF 得到各个皂苷成份的高分辨质量数据进而得到其分子式，然后利用ESI-IT 电喷雾串联质谱对无患子总皂苷中各皂苷成分的结构进行进一步的鉴定。进而以同样的方式，先通过ESI-QTOF 得到黄山药（Dioscoreapanthaica）总皂苷中各个组分化合物的分子式，然后对已有的薯蓣皂苷标准品做串联质谱分析，以得到该类化合物的裂解规律并给出解析该类化合物的流程图。在此利用计算化学的方法讨论了离子的丰度与裂解活化能之间的关系。然后应用APCI-MS/MS 方法探讨了四对同分异构体和几个已知的化合物，并最后用液质联用对其进行确认，同时还给出了4 个未知化合物的可能结构。 第二部分报道通过质谱和串联质谱发现并合成新型的PdPincer 催化剂，同时对其活性进行测试。钯催化的交联反应是有机合成中C-C 键形成的最有效的方法，且硫脲是一类对空气和水都稳定的化合物，因此我们设计并合成了一系列的硫脲钯催化剂并得到了很好的催化活性。我们在对其中一类环状双硫脲化合物进行质谱实验的时候，在正离子模式下发现了反常的[M.H]+，通过串联质谱进一步确定了它是一种新型的PdPincer 结构。我们将其合成出来并通过X-ray 衍射实验确定了它的结构。同时测定其催化活性并与未形成pincer 的类似物进行比较发现该类化合物具有较宽的底物适用性。 第三部分为串联质谱自动解析软件的设计及应用。通过前面两部分的启示，独立设计开发了AuMass（1.0）。其算法是：先通过查找特殊的碎片离子，中性丢失或碎片离子质量差来确定某类化合物的骨架结构，然后利用该类化合物的自动解析流程来对其周边取代基进行确认。通过它快速地对白芍中的化学成分进行解析，并对未知的化合物进行了推测。为了增加它的解析能力，我又对其它类型的化合物裂解规律进行总结，并给出了自动解析流程。实践证明该软件具有相当好的应用价值。 第四部分综述了应用在质谱上的各类母离子的碎裂技术。这里包括了碰撞诱导裂解（CID）、光诱导碎裂（LID）、电子捕获裂解/电子转移裂解（ECD/ETD）、红外多光子解离（IRMPD）、黑体辐射解离（BIRD）和PQD 裂解技术。 This dissertation consists of four chapters. The first chapter reports the rapidanalysis of trace impurities from synthetical medicine and analysis of the chemicalconstitutents from Chinese herb medicines. The second chapter elaborates the studieson the discorvery and synthesis of new type of Pd Pincer catalyst by using MS andtandem MS together with the testing of its catalyst activity. The third chapter dwellson the designation and development of automatic tandem mass spectrometry analysissoftware. The last chapter presents a review on the dissociation technique of massspectrometry. The first chapter reports the rapid analysis of trace impurities from synthesismedicine and analysis of the chemical constitutents from Chinese herb medicines. The fission mechanism of 5-bromotetrandrine was obtained by analysis of the dissociationpathways of major product, by using which the possible structure of the two traceimpurties was assumed. There are lots of saponins in Sapindus mukurossi. Except forthe good spumescence and decontamination，it possesses the bioactivity of antigenand antitch. First of all, the high resolution mass information was obtained by ESI-QTOF. Hence the possible molecular formulars were acquired too. Then weconducted the further detection of the structures of its saponins by using ESI-ITtechnology. In the same manner, first the molecular formulars of every constituentfrom Dioscorea panthaica in total saponins were obtained by ESI-QTOF, and thenacquired the fission mechanism of this type of compounds by tandem massexperiment on a series of known and available saponins. In the same time, theanalysis flowchart was concluded. Here the relationship between the ion intensity andthe corresponding dissiociation activation energy was studied by computer chemistry.Then the four pairs of isomers were differentiated by APCI-MS/MS, as well as thecharacterization of known and unknown compounds. The assumption was confirmed by HPLC-MS/MS. Among them the possible structures of four unknown saponinswas presented. The second part was discovery and synthesis of a new type of Pd pincer catalystby MS and tandem MS. The coupling reaction catalyzed by Pd is the most effectivemethod in C-C formation in organic synthesis. Apart from that, thiourea is type ofcompounds that are stable to atmosphere and moisture. Hence we designed a series ofPd thiourea catalysts. Some of them show the excellent catalyst activity. The abnormalparent ion [M.H]+ was founded in positive ESI mode when we conduct some massspectrometry experiments on the bicyclical thiourea Pd complex. The structure wasproposed by mass and tandem mass spectrometry. Because it was a new type of pincer,we want to test its catalyst activity. So the Pd pincer was synthesized and the detailstructure was obtained by x-ray experiment. It shows the more fitness in catalysis ofSuzuki reaction by comparison with the analogue. The third chapter dwells on the design and development of automatic tandemmass spectrometry analysis software. Inspired by the former two chapters, theAuMass (version 1.0) was developed. Its algorithm is: first check the diagnostic ion,diagnostic neutral loss or diagnostic ions mass intervals in database to find out whatthe analyst’s skeleton belongs to, then identify the peripheral functional group by thecorresponding analysis flowchart. The chemical constituents of Paeonia lactiflorawere identified rapidly by using AuMass. To increase the analysis ability, the othertypes of compounds from Chinese herbs was concluded. Actually, the software isproven to have the much valuable application. The last chapter presented the review on the some kinds of fission technique ofmass spectrometry. It involves the collision induced dissociation (CID), laser induceddissociation (LID), electron capture dissociation/electron transfer dissociation(ECD/ETD), infrared multiple photons dissiociation, black body irraditiondissociation and PQD fission technique from Finnigan.

中药射干的化学成分研究

本学位论文由4章组成。第一章是论文的主体，报道了中药射干的化学成分研究。第二章是中药射干代用品川射干的化学成分研究，并附带报道了西番莲化学成分的研究结果。第三章是射干、川射干及西番莲提取物化学成分串联质谱分析的报道。第四章为综述，概述了射干及鸢尾属植物的化学成分和药理研究进展。 在第一和二章中分别报道了射干（Belamcanda chinensis (L.) DC.）、川射干 （Iris tectorum Maxim.）及西番莲（Passiflora incarnate L.）化学成分的分离纯化与结构鉴定。采用正、反相硅胶柱层析、凝胶柱层析、薄层制备及HPLC等各种分离方法，从三种药用植物中共分离出68个不同的化合物，其中61个的结构得 得以鉴定，另外4个化合物的结构正在鉴定中，3个由于量少且有点杂质未作进一步的鉴定。 中药射干（Rhizoma Belamcandae）为射干植物的干燥根茎，从中共分离出53个化合物，通过红外、质谱及核磁共振等波谱方法鉴定了包括12个新化合物在内的48个，结构类型分别属于iridal型三萜及其新颖的二聚体、异黄酮、黄酮及黄酮醇、香豆素、甾体、芳香酸和脂肪酸及其甘油酯等。新化合物中有两个异黄酮类化合物，其结构分别鉴定为5,7,8,4′-四羟基-6-甲氧基异黄酮和5,6-二羟基-4′-甲氧基异黄酮-7-O-β-D-吡喃葡萄糖苷；八个新的iridal型三萜化合物分别鉴定为鸢尾烯（L）、16-甲氧基鸢尾烯、16-去羟基鸢尾烯、2-(E)-16-去羟基鸢尾烯、16-去羟基鸢尾烯B、3-乙酰基-16-去羟基鸢尾烯、iristectoroneL和iristectoroneM；两个结构骨架新颖的双三萜，分别命名为射干素A和射干素B，其分离纯化的困难以及结构的新颖和复杂突显出该论文的科学意义。除这些新化合物外，还有9个已知化合物为首次从中药射干中分离得到。此外，从中药射干的代用品川射干中分离得到7个已知化合物，主要是黄酮类成分及iridal型三萜化合物，其中1个三萜化合物为从射干中分离鉴定的新成分。另外还从西番莲中分离出8个化合物，鉴定了其中的6个，主要为黄酮碳苷。 第三章是关于射干、川射干及西番莲提取物化学成分的ESI-MS-MS分析，在初步探讨了从这些植物中分离鉴定出的一些异黄酮及黄酮碳苷的质谱裂解规律基础上，通过质谱和串联质谱分析，定性和半定量地检测了射干和川射干中主要的异黄酮成分以及西番莲中的黄酮碳苷成分，为这些药材品质的快速鉴定提供了一种简便方法。 第四章概述了射干及鸢尾属药用植物的化学和药理研究进展，特别是对其中异黄酮及三萜类成分的研究进展进行了深入系统的综述。 This dissertation is composed by four chapters. The first and second chapter reports the phytochemical investigation of three medicine plants, Belamcanda chinensis (L.)DC., Iris tectorum Maxim. and Passiflora incarnate L. Sixty eight different compounds were isolated and sixty one of them were identified. The third chapter described rapid ESI-MS-MS analysis of B. chinensis, I. tectorum, and P. incarnate. The forth part is a review about the progress of studies on the chemical constituents from Belamcanda chinensis and Iris species. Fifty-three compounds were isolated from Rhizoma Belamcandae, the rhizomes of B. chinensis by the methods of column chromatography (normal and reversed phase silica gel, Sephadex LH-20), preparative TLC and HPLC. On the basis of spectroscopic methods including IR, ESI-MS, 1-D and 2-D NMR, forty eight of them were identified as seventeen flavonoids, seventeen tritepenoids, one cumarin, five steroids and some benzene derivative etc. Among them, the structures of twelve new compounds were elucidated as 6-methoxy-5,7,8,4′-tetrahydryoxyisoflavoe, 4′-methoxy-5,6-dihydroxyisoflavone-7-O-β-D-glucopyranoside, iristectorene L, 16-methoxyisoiridogermanal, 16-dehydroxyisoiridogermanal, 2-(E)-16-dehydroxy isoiridogermanal, 16-dehydroxyiristectorene B, 3-acetyl-16-dehydroxyisoiridoger- manal, iristectorone L, iristectorone M, belamcandene A and belamcandene B. Last two new compounds are dimer of triterpenoids with a novel carbon skeleton. Beside the new compounds, nine known ones were isolated from this plant for the first time. Isolation of I. tectorum yielded seven compounds. On the basis of spectroscopic methods including ESI-MS, NMR and the comparison with authentic samples, three of them were determined as isoflavone, two of them were triterpenoids, and other two were β-sitosterol and apocynin. All of them are known compounds except one of iridal type triterpenoid, 16-dehydroxyiristectorene B, which also obtained from B. chinensis as a new compound. Isolation of P. incarnate yielded eight compounds. Six of them were determined on the basis of spectroscopic methods including ESI-MS, NMR and the comparison with authentic samples. Four of them are flavone-C-gluconside, and two are steroids. The third chapter describes the tandem mass spectrometry (ESI-MS-MS) analysis of the isoflavonoids from B. chinensis and I. tectorum, as well as C-glycosyl-flavonoide from P. incarnate, in order to explore the rapid methodology of validating the quality of the herbs. In addition, the fractionation rules of some iosflavonoids and C-glycosyl-flavonoids were discussed. The fourth chapter summarizes the research development on chemistry and pharmacology of medicine plants of B.chinensis and Iris species.

中药蜘蛛香的化学成分研究及以羧甲基魔芋葡苷聚糖-壳聚糖为细胞膜的天冬酰胺酶人工细胞研究

本论文由三章组成。第一章介绍了中药蜘蛛香的化学成分的研究成果，第二章为羧甲基魔芋葡苷聚糖-壳聚糖为细胞膜的天冬酰胺酶人工细胞的研究，第三章综述了人工细胞在生物医学领域的应用。 第一章报道了中药蜘蛛香（Valeriana wallichii）根部乙醇提取物的化学成分，采用正、反相硅胶层析等分离方法和MS、NMR等多种波谱手段，从中共分离鉴定出17个化合物，分别为缬草素(valtrate，1)，valechlorine（2），homobadrinal（3），baldrinal（4），乙酰缬草素(acevaltrate 5)，valeriotetrate C（6），valeriotetrate B（7），对羟基苯乙酮(4'-hydroxy-acetophenone 8)，7-hydroxy valtrate（9），8-methylvalepotriate（10），1,5-dihydroxy-3,8-epoxyvalechlorine A（11），二氢缬草素(didrovaltrate 12)，胡萝卜苷（13），橙皮苷 (hesperidin 14)，prinsepiol-4-O-β-D-glucopyranoside（15），longiflorone（16），乙基糖苷（17）。其中化合物6、7、10、和11为新化合物，化合物9、15、16为首次从该植物中得到。新化合物11为含有氯原子的刚性骨架环烯醚萜，并且确定了其绝对构型。 第二章报道了以羧甲基魔芋葡苷聚糖（CKGM）和壳聚糖（CS）为膜的固定化L-天冬酰胺酶人工细胞研究成果。利用羧甲基魔芋葡苷聚糖和壳聚糖两种生物相容性很好的天然多糖之间的静电吸引力，在非常温和的条件下制备成具有半透过性膜的人工细胞，将治疗儿童急性成淋巴细胞性白血病(ALL)的药物L-天冬酰胺酶包裹在内。通过考察温度和pH对人工细胞的影响,结果表明以CKGM- CS为膜的L-天冬酰胺酶人工细胞对温度和pH的稳定性和耐受性均高于自由酶，说明CKGM-CS对酶具有保护作用，而且小分子底物和产物可以自由进出膜内外，而包裹在膜内的生物大分子则不能泄露出来。 第三章综述了微囊化人工细胞的研究进展。 This dissertation consists of three parts. In the first part, the chemical constituents from the root of Valeriana wallichii were reported. In the second part, preparation and characteristics of L-Asparaginase Artificial cell were reported. The third part is a review on progress of microcapsule artificial cell. The first chapter is about the isolation and identification of the chemical constituents from the root of V. wallichii. Seventeen compounds were isolated from the ethanol extract of roots of V. wallichii through repeated column chromatography on normal and reversed phase silica gel. By the spectroscopic and chemical evidence, their structures were elucidated as valtrate (1), valechlorine (2), homobadrinal (3), baldrinal (4), acevaltrate (5), valeriotetrate C (6), valeriotetrate B (7), 4'-hydroxy-acetophenone (8), 7-hydroxy valtrate (9), 8-methylvalepotriate (10), 1,5-dihydroxy-3,8-epoxyvalechlorine A (11), didrovaltrate (12), daucosterol (13), hesperidin (14), prinsepiol-4-O-β-D-glucopyranoside (15), longiflorone (16), and ethyl glucoside (17). Among them, 6, 7, 10, and 11 are new compounds. 15, 16 and 9 were isolated from this plant for the first time. The absolute configuration of compound 11, an unusual iridoid bearing a C-10 chlor-group and an oxo-bridge connecting C-3 and C-8 resulting in a rigid skeleton, was confirmed. The second chapter is about the semi-permeable microcapsule of carboxymethyl konjac glucomannan-chitosan for L-asparaginase immobilization. Carboxymethyl konjac glucomannan-chitosan (CKGM-CS) microcapsules, which have good biocompatibility, prepared under very mild conditions via polyelectrostatic complexation, were used for immobilize L-asparaginase-a kind of drug for acute lymphoblastic leukemia (ALL). The activity and stability under different temperature and pH of the enzyme loaded-microcapsules were studied. The results indicated the immobilized enzyme has better stability and activity contrasting to the native enzyme. The study illustrates that the L-asparaginase could be protected in CKGM-CS microcapsules, the substrate and product could pass through the system freely.

2-C-支链-1,6-脱水吡喃葡萄糖的开环反应及吡喃烯糖的合成研究

在糖化学合成中，1,6-脱水吡喃糖不仅是合成具有生物活性低聚糖、糖共体、抗原、抗体以及天然产物等化合物重要原料，而且还是许多具有生物活性的天然产物的结构单元。同时，它还具有[3,2,1]的双环缩醛结构，使其在糖化学合成中具有高的立体选择性和区域选择性，同时减少了C-1 和C-6 位的保护和去保护的优点。此外，环内的缩醛开环后，又可以相应地在C-1 和C-6 位进行官能团转化以及糖苷化反应。 本文报道了一种新的1,6-脱水吡喃糖的合成方法，并设计合成了2-C-支链-1,6-脱水吡喃葡萄糖1-195、1-197、1-198 以及2-C-支链-6-硫代1,6-脱水吡喃葡萄糖1-225。到目前为止，1,6-脱水糖开环并进行糖苷化反应，存在选择性较差、产率低的缺点。我们发现，在乙腈做溶剂的条件下，NiCl5 能高立体选择性高产率地催化化合物1-195、1-197、1-198 开环并与ROH、RSH 发生糖苷化反应。在NiCl5-乙腈条件下，合成了一系列2-C-支链-α-糖苷和2-C-支链-β-硫代糖苷，并对2-C-支链1,6-脱水吡喃葡萄糖的生成机理以及开环机理进行了探讨。 烯糖在糖化学合成中是重要的起始原料，从Fischer 首次合成烯糖至今，一直不断地有新的合成方法出现。但目前文献报道的方法存在所用试剂有毒、价格贵和操作繁琐等缺点。我们对Fischer-Zach 方法进行了改进， 发现Zn-NaH2PO4-H2O 和Zn-PEG600-H2O 体系都能很好地合成烯糖。该方法具有条件温和、绿色环保、操作简单的优点。在Zn-NaH2PO4 溶液或Zn-PEG600 条件下，以溴代糖为原料，高产率地合成一系列的烯糖。 The 1,6-anhydrohexopyranoses are crucial subunits of myriad bioactive nature products, as well as important syntons of carbohydrate chemistry which have been extensively used to prepare the biologically potential oligosaccharides, glycoconjugates, antibiotics, and structurally varied nature products. Their particular [3.2.1] bicyclic skeleton makes them have high regio- and stereo-control in a variety of reactions, and such structure avoids protecting hydroxyl groups at C1 and C6.Additionally, the cleavage of the internal acetal under acidic conditions could be beneficial for further transformations of functional group and glycosylation of the corresponding pyranosyl sugar at the C6 or C1 site. Herein we developed a novel approach to prepare the 1,6-anhydrohexopyranose, and synthesized the 2-C-branched-1,6-anhydrohexopyranose 1-195, 1-197, 1-198 and 2-C-branched-6-thio-1,6-anhydrohexopyranose 1-225. Until now, glycosylation of 1,6-anhydrohexopyranoses has been limited because of the low yields and low stereoselectivity. In this paper, we found that NiCl5-MeCN system could selectively cleave the ring of 1,6-anhydrohexopyranoses with alcohols and thiols at room temperature in high yields. A series of 2-C-branched-α-glycosides and 2-C-branched-β-thioglycosides have been synthesized via NiCl5-catalyzed. Furthermore, we investigated the formation and ring-opening mechanism of 2-C-acetylmethyl-1,6-anhydrohexopyranose. Glycals are significant starting material in carbohydrate chemistry. After the Fischer-Zach method for forming glucal was reported for the first time, the numerous synthetic methods for glycals have been explored. However, there are several drawbacks in the existing methods, such as the usage of very expensive and toxic reagents, intricate operation, and the influence of acid-sensitive and base-sensitive functional group. We improved the Fischer-Zach method and developed a facile, mild and environmentally benign methodology towards the synthesis of the glycals in Zn-NaH2PO4-H2O or Zn-PEG600-H2O system. Our method involves the treatment of glycosyl bromides with Zn in NaH2PO4 aqueous solution or PEG600-H2O at room temperature, affording various glycals in excellent yields.

Photo- and Thermo-Chromic Study of the Ethylenediamine Trimolybdate

The ethylenediamine trimolybdate (ENTMo) can show unusually photochromic and thermochromic properties and there exists in the difference of chromic mechanisms, which has been proved in our previous work [I]. In this paper, X-ray powder diffraction (XRD), Fourier transform infrared (FTIR) and laser Raman spectroscopy (LRS) of the colored samples are characterized and analyzed in detail. The crystal structure, the inorganic skeleton and the microenvironment of center ions of the colored samples do not substantively change except distortion. The color difference of the photochromic and the thermochromic samples is discussed and that the difference of reduction sites result in their different chromic mechanisms is suggested.

Structural characterization and identification of dibenzocyclooctadiene lignans in Fructus Schisandrae using electrospray ionization ion trap multiple-stage tandem mass spectrometry and electrospray ionization Fourier transform ion cyclotron resonance multiple-stage tandem mass spectrometry

The electrospray ionization ion trap multiple-stage tandem mass spectrometry (ESI-MSn) and electrospray ionization Fourier transform ion cyclotron resonance multiple-stage tandem mass spectrometry (ESI-FT-ICR-MSn) have been applied successfully to the direct investigation of a number of dibenzocyclooctadiene lignan constituents from the methanol extracts of the Fructus Schisandrae in the positive ion mode. The detailed structural characterization of the same skeleton and different peripheral substituents had been studied and the precise elemental compositions of ions at high mass resolution had been obtained. So the fragmentation mechanisms could be clarified.

A Fully Diarylmethylene-Bridged Triphenylamine Derivative as Novel Host for Highly Efficient Green Phosphorescent OLEDs

A fully diarylmethylene-bridged triphenylamine derivative is efficiently synthesized. It has an almost planar triphenylamine (TPA) skeleton and exhibits excellent thermal and morphological stability. Devices with the novel TPA derivative as host material and Ir(ppy)(3) as triplet emitter show a maximum current efficiency of 83.5 cd/A and a maximum power efficiency of 71.4 Im/W for green electrophosphorescence.

Synthesis and applications of 3-[6-(hydroxymethyl)pyridin-2-yl]-1,1 '-bi-2-naphthols or 3,3 '-bis[6-(hydroxymethyl)pyridin-2-yl]-1,1 '-bi-2-naphthols

A series of new 1,1'-bi-2-naphthol (BINOL) derived ligands, 3-[6-(hydroxymethyl)pyridin-2-yl]-BINOLs or 3,3'-bis[6(hydroxymethyl)pyridin-2-yl]-BINOLs, bearing one or two chiral pyridinylmetlianols attached to a binaphthyl skeleton, have been synthesized using the Suzuki cross-coupling reaction. The resulting compounds have been used as ligands in the enantioselective addition of diethylzinc to aldehydes; the products were obtained with up to 96% ee.

Synthesis and catalytic application of chiral 1, 1 '-binaphthyl polymers

The synthesis of a new type of polymers with main chain chirality based on BINOL skeleton is described. Titanium-BINOLate catalysts are easily generated from these polymers and applied to the asymmetric reaction of Et2Zn with benzaldehyde. The products are obtained in good yields with moderate enantioselectivities.

Syntheses and crystal structures of four new organotin complexes with Schiff bases containing triazole

Four new organotin complexes, namely [(Bu2Sn)(2)O(EtO)(L1)](2) (1), [(Bu2Sn)(2)O(EtO)(L2)](2) (2), [(Bu2Sn)(2)O(EtO)(L-3)](2) (3) and [Ph3Sn(L4)]center dot 0.5H(2)O (4), were obtained by reactions of Bu2SnO and Ph3SnOH with 4-phenylideneamino-3-methyl-1,2,4-triazole-5-thione (HL1), 4-furfuralideneamino-3-methyl-1,2,4-triazole-5-thione (HL2), 4-(2-thienylideneamino)-3-ethyl-1,2,4-triazole-5-thione (HL3) and 4-(3,5-di-t-butylsalicylideneamino)-3-ethyl-1,2,4-triazole-5-thione (HL4). Compounds 1-4 were characterized by elemental analysis, IR spectra and their structures were determined by single-crystal X-ray diffraction methods. Complexes 1-3 show similar structures containing a Sn4O4 ladder skeleton in which each of the exo tin atoms is bonded to the N atom of a corresponding thione-form deprotonated ligand. Complex 4 shows a mononuclear structure in which the tin atom of triphenyltin group is coordinated by the S atom of a thiol-form L4(-) anion.