协议流程的形式化描述及验证能够高效地保障协议的开发质量,对安全苛求系统尤为重要。针对铁路信号安全通信协议-Ⅱ(Railway Signal Safety Communication Protocol,RSSP-Ⅱ)中消息鉴定层(Message Authenticate Safety Layer,MASL)实现...协议流程的形式化描述及验证能够高效地保障协议的开发质量,对安全苛求系统尤为重要。针对铁路信号安全通信协议-Ⅱ(Railway Signal Safety Communication Protocol,RSSP-Ⅱ)中消息鉴定层(Message Authenticate Safety Layer,MASL)实现的会话密钥生成、对等实体认证、消息源认证等流程,建立有色Petri网(Colored Petri Net,CPN)模型,模型构造过程中执行有限步数的仿真,保障模型本身正确。利用模型检验方法,通过分析状态空间报告,验证了模型满足活性、家态性、公平性等基本行为属性,不存在冗余、死锁、活锁等设计缺陷。通过计算树逻辑(Computation Tree Logic,CTL)语句,验证了保密性、认证性等特定安全属性。结果表明,该模型满足文本设计规范中的功能安全性要求,为协议工程后续的协议实现、一致性检验奠定理论基础。展开更多
A study was conducted to evaluate the cultivable filamentous fungal diversity in organic layers (L, F, and H layers) and A1 layer of two main forest types, Pinus massoniana and Liguidambar formasana mixed forest and Q...A study was conducted to evaluate the cultivable filamentous fungal diversity in organic layers (L, F, and H layers) and A1 layer of two main forest types, Pinus massoniana and Liguidambar formasana mixed forest and Quercus variabilis forest, in Zijin Mountain(325?N, 11848?E), Nanjing, China. A total of 67 taxa comprising 56 Deuteromycetes, 3 Zygomycetes, 5 Asco-mycetes and 3 unidentified fungi were recognized from samples from the forest floor of the two forest types. The most abundant group was Deuteromycetes. The dominant genera in both forests were Alternaria sp., Aspergillus sp., Cladosporium sp., Mucor sp., Penicillium sp., Rhizopus sp., Gliocladium sp. and Trichoderma spp. The fungal diversity was higher in the mixed forest than that in Q. variabilis forest. For both forest types, the maximum fungal diversity was found in layer F and there existed significantly different in fungal diversity between layer F and layer L. In the mixed forest, richness of fungi isolated from needle litter (P. massoniana) was lower than that from leaf litter (L. formasana). The richness of fungi from needle litter increased with the in-crease of forest floor depth, but for leaf litter, the fungal diversity decreased with the depth of forest floor. The co-species of fungi from the two forest types, as well as from two kinds of litters in mixed forest, increased with the depth of the forest floor. The succession of fungi along with the process of decomposition was discussed here. The results also showed that litter quality was a critical factor affecting fungal diversity.展开更多
A total of 94 isolates of endophytic fungi were isolated from the bark of 200-yr.-old Taxus cuspidata Sieb. et Zucc. in the primeval forest of the Changbai Mountain Natural Reserve, and 19 species of endophytic fungi ...A total of 94 isolates of endophytic fungi were isolated from the bark of 200-yr.-old Taxus cuspidata Sieb. et Zucc. in the primeval forest of the Changbai Mountain Natural Reserve, and 19 species of endophytic fungi were identified. Among the taxa 2 new species and 1 new varied species as well as the 6 known species of China had been described in a previous article published on Journal of Forestry Research, Vol. 14 (4): 290-294 (2003). This paper made a detail description on the morpho-logical characteristics of the 9 new recorded-genus-species and 1 new record species with illustrations, including Staphy-lotrichum coccosporum Meyer et Nicot, Botryodema lateritium Papendoorf & Upadhyay, Oedocephalum glomerulosum (Rul-liard) Sacc., Trichosporonoides oedocephalis Haskins & Spencer, Beniowskia sphaeroidea (Kal Chbrenner et Caeke) Mason, Thermomyces verrucosus Pugh, Blakeman & Morgan-jones, Gilmaniella humicola Brron , Arthrinium sphaerosperma (Per.:Fr.) Ellis, Ambrosiella brunnea (Verrall) Batra, and Cytosporina notha Diedz (1 new record species). And the habitats, hosts, distribu-tions and fruiting periods were recorded for the new recorded-genus-species. The determination result of thin layer chroma-tography (TLC) showed that the liquid fermentation metabolites of the strains could not react positively with taxoids developer - the vanillic aldehyde and dilute bismuth potassium iodide.展开更多
AIM： To assess each layer of the optical coherence tomography （OCT） image of the esophageal wall with reference to the histological structure, METHODS： Resected specimens of fresh pig esophagus was used as a model...AIM： To assess each layer of the optical coherence tomography （OCT） image of the esophageal wall with reference to the histological structure, METHODS： Resected specimens of fresh pig esophagus was used as a model for the esophageal wall. We injected cyanoacrylate adhesive into the specimens to create a marker, and scanned them using a miniature OCT probe. The localization of these markers was assessed in the OCT images. Then we compared the OCT-imaged morphology with the corresponding histological section, guided by the cyanoacrylate adhesive markers. We prepared a second set of experiments using nylon sutures as markers. RESULTS： The OCT image of the esophageal specimen has a clear five-layered morphology. First, it consisted of a relatively less reflective layer; second, a more reflective layer; third, a less reflective layer; fourth, a more reflective layer; and fifth, a less reflective layer. Comparing the OCT images with marked histological sections showed that the first layer corresponded to stratified squamous epithelium; the second to lamina propria; the third to muscularis mucosa; fourth, submucosa; and fifth, muscularis propria with deeper structures of the esophageal wa CONCLUSION： We demonstrated that the OCT image of the normal esophageal wall showed a five- layered morphology, which corresponds to histological esophageal wall components.展开更多
In this paper we discuss the seismogenic structures of the two earthquakes occurring in the Beibu Gulf waters,based on the investigation of geological structure,faults,geophysical fields,seismicity and earthquake foca...In this paper we discuss the seismogenic structures of the two earthquakes occurring in the Beibu Gulf waters,based on the investigation of geological structure,faults,geophysical fields,seismicity and earthquake focal mechanism.The results show that the NEE trending faults along the boundary of the Wushi depression are the dominating seismogenic structures,and the NW trending faults are the key factors of stress concentration.The results also show that high seismicity has a significant relationship with the late Cenozoic deposition center in the Beibu Gulf,and their NE-NEE trending boundary faults are important to the identification of seismogenic structures.The special arcuate fault segment or the intersection point of the NW trending faults and NE-NEE trending boundary faults is a possible location of future earthquakes.展开更多
A method for dispersive liquid-liquid microextraction of glibenclamide on model mixtures with urine has been developed. The extraction conditions have been optimized and the influence of extractants and dispersing age...A method for dispersive liquid-liquid microextraction of glibenclamide on model mixtures with urine has been developed. The extraction conditions have been optimized and the influence of extractants and dispersing agent for allocation of toxicant from biosubstrate has been experimentally established. The method of TLC （thin layer chromatography） screening in order to remove endogenous and exogenous substances has been developed. The method of IR-spectroscopy for confirmatory analysis has been used. The combination of the two methods of analysis allows identifying glibenclamide quickly and reliably isolated from bioliquid and reducing the risk of false-positive results.展开更多
Silica gel impregnated with 1% aqueous solutions of different metal cations （Li^＋, Mg^2＋, Zn^2＋, Cu^2＋, Co^2＋, Ni^2＋, Ba^2＋and Th^4＋） has been used for the analysis of nonionic and cationic surfaetants using...Silica gel impregnated with 1% aqueous solutions of different metal cations （Li^＋, Mg^2＋, Zn^2＋, Cu^2＋, Co^2＋, Ni^2＋, Ba^2＋and Th^4＋） has been used for the analysis of nonionic and cationic surfaetants using simple aqueous acetone as mobile phase system. Co^2＋ was found the most suitable impregnant for the mutual separation of nonionic surfactants （Brij-35 and Brij-57） and cationic from nonionic surfactants （tetmdecyltrimethylammonium bromide and Cween-20）. Zinc sulphate impregnation （Zn^2＋-silica gel） shows identical chromatographic behavior and these layers are useful to separate nonionic surfactant （Brij-35） from cationic surfaetant （cetylpyridinium chloride）. The mutual separation of B J-35 and B J-57 is not influenced by the presence of optical brightener in the sample.展开更多
The holistic characterization and quality control of all the medicinal herbs of proprietary Chinese medicines(PCMs)are of great significance to ensure their safety,efficacy,and consistency.Thin-layer chromatography(TL...The holistic characterization and quality control of all the medicinal herbs of proprietary Chinese medicines(PCMs)are of great significance to ensure their safety,efficacy,and consistency.Thin-layer chromatography(TLC),a simple and classic approach for qualitatively characterizing and examining quality markers of natural products,has been widely used in the characterization and quality control of traditional Chinese medicines.Zaoren Anshen(ZRAS)capsule,prepared from three medicinal herbs of fried Ziziphi Spinosae Semen,Salvia Miltiorrhiza Radix et Rhizoma,and vinegar-processed Schisandrae Chinensis Fructus,is a famous PCM in China for the treatment of insomnia,amnesia,and dizziness in clinical practice.However,no effective method is available so far for simultaneous identification and examination of all the three medicinal herbs of ZRAS capsule.In the present study,we developed a TLC method via twice-development and visualization by UV light or chromogenic agent,which could be used for simultaneous qualitative identification of all the three medicinal herbs of ZRAS capsule in one plate.Moreover,the sample preparation method was optimized.The developed TLC method was rapid,simple,low-cost,and effective,and thus it could be used for quality control of ZRAS capsule.展开更多
文摘协议流程的形式化描述及验证能够高效地保障协议的开发质量,对安全苛求系统尤为重要。针对铁路信号安全通信协议-Ⅱ(Railway Signal Safety Communication Protocol,RSSP-Ⅱ)中消息鉴定层(Message Authenticate Safety Layer,MASL)实现的会话密钥生成、对等实体认证、消息源认证等流程,建立有色Petri网(Colored Petri Net,CPN)模型,模型构造过程中执行有限步数的仿真,保障模型本身正确。利用模型检验方法,通过分析状态空间报告,验证了模型满足活性、家态性、公平性等基本行为属性,不存在冗余、死锁、活锁等设计缺陷。通过计算树逻辑(Computation Tree Logic,CTL)语句,验证了保密性、认证性等特定安全属性。结果表明,该模型满足文本设计规范中的功能安全性要求,为协议工程后续的协议实现、一致性检验奠定理论基础。
基金This paper was supported by Chinese Program for High Technology Research and Development (2003AA209030) Scien-tific Research Foundation for doctoral supervising laboratory State Education Ministry (20030284044) and National Natural Sc
文摘A study was conducted to evaluate the cultivable filamentous fungal diversity in organic layers (L, F, and H layers) and A1 layer of two main forest types, Pinus massoniana and Liguidambar formasana mixed forest and Quercus variabilis forest, in Zijin Mountain(325?N, 11848?E), Nanjing, China. A total of 67 taxa comprising 56 Deuteromycetes, 3 Zygomycetes, 5 Asco-mycetes and 3 unidentified fungi were recognized from samples from the forest floor of the two forest types. The most abundant group was Deuteromycetes. The dominant genera in both forests were Alternaria sp., Aspergillus sp., Cladosporium sp., Mucor sp., Penicillium sp., Rhizopus sp., Gliocladium sp. and Trichoderma spp. The fungal diversity was higher in the mixed forest than that in Q. variabilis forest. For both forest types, the maximum fungal diversity was found in layer F and there existed significantly different in fungal diversity between layer F and layer L. In the mixed forest, richness of fungi isolated from needle litter (P. massoniana) was lower than that from leaf litter (L. formasana). The richness of fungi from needle litter increased with the in-crease of forest floor depth, but for leaf litter, the fungal diversity decreased with the depth of forest floor. The co-species of fungi from the two forest types, as well as from two kinds of litters in mixed forest, increased with the depth of the forest floor. The succession of fungi along with the process of decomposition was discussed here. The results also showed that litter quality was a critical factor affecting fungal diversity.
文摘A total of 94 isolates of endophytic fungi were isolated from the bark of 200-yr.-old Taxus cuspidata Sieb. et Zucc. in the primeval forest of the Changbai Mountain Natural Reserve, and 19 species of endophytic fungi were identified. Among the taxa 2 new species and 1 new varied species as well as the 6 known species of China had been described in a previous article published on Journal of Forestry Research, Vol. 14 (4): 290-294 (2003). This paper made a detail description on the morpho-logical characteristics of the 9 new recorded-genus-species and 1 new record species with illustrations, including Staphy-lotrichum coccosporum Meyer et Nicot, Botryodema lateritium Papendoorf & Upadhyay, Oedocephalum glomerulosum (Rul-liard) Sacc., Trichosporonoides oedocephalis Haskins & Spencer, Beniowskia sphaeroidea (Kal Chbrenner et Caeke) Mason, Thermomyces verrucosus Pugh, Blakeman & Morgan-jones, Gilmaniella humicola Brron , Arthrinium sphaerosperma (Per.:Fr.) Ellis, Ambrosiella brunnea (Verrall) Batra, and Cytosporina notha Diedz (1 new record species). And the habitats, hosts, distribu-tions and fruiting periods were recorded for the new recorded-genus-species. The determination result of thin layer chroma-tography (TLC) showed that the liquid fermentation metabolites of the strains could not react positively with taxoids developer - the vanillic aldehyde and dilute bismuth potassium iodide.
文摘AIM： To assess each layer of the optical coherence tomography （OCT） image of the esophageal wall with reference to the histological structure, METHODS： Resected specimens of fresh pig esophagus was used as a model for the esophageal wall. We injected cyanoacrylate adhesive into the specimens to create a marker, and scanned them using a miniature OCT probe. The localization of these markers was assessed in the OCT images. Then we compared the OCT-imaged morphology with the corresponding histological section, guided by the cyanoacrylate adhesive markers. We prepared a second set of experiments using nylon sutures as markers. RESULTS： The OCT image of the esophageal specimen has a clear five-layered morphology. First, it consisted of a relatively less reflective layer; second, a more reflective layer; third, a less reflective layer; fourth, a more reflective layer; and fifth, a less reflective layer. Comparing the OCT images with marked histological sections showed that the first layer corresponded to stratified squamous epithelium; the second to lamina propria; the third to muscularis mucosa; fourth, submucosa; and fifth, muscularis propria with deeper structures of the esophageal wa CONCLUSION： We demonstrated that the OCT image of the normal esophageal wall showed a five- layered morphology, which corresponds to histological esophageal wall components.
基金funded under the special project of earthquake study(200708003) under the National Key Technology R&D Program (2006BAC13B01),China
文摘In this paper we discuss the seismogenic structures of the two earthquakes occurring in the Beibu Gulf waters,based on the investigation of geological structure,faults,geophysical fields,seismicity and earthquake focal mechanism.The results show that the NEE trending faults along the boundary of the Wushi depression are the dominating seismogenic structures,and the NW trending faults are the key factors of stress concentration.The results also show that high seismicity has a significant relationship with the late Cenozoic deposition center in the Beibu Gulf,and their NE-NEE trending boundary faults are important to the identification of seismogenic structures.The special arcuate fault segment or the intersection point of the NW trending faults and NE-NEE trending boundary faults is a possible location of future earthquakes.
文摘A method for dispersive liquid-liquid microextraction of glibenclamide on model mixtures with urine has been developed. The extraction conditions have been optimized and the influence of extractants and dispersing agent for allocation of toxicant from biosubstrate has been experimentally established. The method of TLC （thin layer chromatography） screening in order to remove endogenous and exogenous substances has been developed. The method of IR-spectroscopy for confirmatory analysis has been used. The combination of the two methods of analysis allows identifying glibenclamide quickly and reliably isolated from bioliquid and reducing the risk of false-positive results.
文摘Silica gel impregnated with 1% aqueous solutions of different metal cations （Li^＋, Mg^2＋, Zn^2＋, Cu^2＋, Co^2＋, Ni^2＋, Ba^2＋and Th^4＋） has been used for the analysis of nonionic and cationic surfaetants using simple aqueous acetone as mobile phase system. Co^2＋ was found the most suitable impregnant for the mutual separation of nonionic surfactants （Brij-35 and Brij-57） and cationic from nonionic surfactants （tetmdecyltrimethylammonium bromide and Cween-20）. Zinc sulphate impregnation （Zn^2＋-silica gel） shows identical chromatographic behavior and these layers are useful to separate nonionic surfactant （Brij-35） from cationic surfaetant （cetylpyridinium chloride）. The mutual separation of B J-35 and B J-57 is not influenced by the presence of optical brightener in the sample.
基金National Key Research and Development Program of China(Grant No.2018YFC1707300)。
文摘The holistic characterization and quality control of all the medicinal herbs of proprietary Chinese medicines(PCMs)are of great significance to ensure their safety,efficacy,and consistency.Thin-layer chromatography(TLC),a simple and classic approach for qualitatively characterizing and examining quality markers of natural products,has been widely used in the characterization and quality control of traditional Chinese medicines.Zaoren Anshen(ZRAS)capsule,prepared from three medicinal herbs of fried Ziziphi Spinosae Semen,Salvia Miltiorrhiza Radix et Rhizoma,and vinegar-processed Schisandrae Chinensis Fructus,is a famous PCM in China for the treatment of insomnia,amnesia,and dizziness in clinical practice.However,no effective method is available so far for simultaneous identification and examination of all the three medicinal herbs of ZRAS capsule.In the present study,we developed a TLC method via twice-development and visualization by UV light or chromogenic agent,which could be used for simultaneous qualitative identification of all the three medicinal herbs of ZRAS capsule in one plate.Moreover,the sample preparation method was optimized.The developed TLC method was rapid,simple,low-cost,and effective,and thus it could be used for quality control of ZRAS capsule.
