本文首次报道甘肃敦煌三危山地区早白垩世玄武质岩浆活动的记录。在三危山附近,基性岩墙侵入于敦煌群TTG和表壳岩大理岩和片岩中。全岩的K-Ar年龄为136.00±11.56Ma到99.
中国东部燕山造山带发育着大量的中-晚侏罗世髫髻山期(蓝旗期)中酸性钙碱性火山岩,它们具有类似于埃达克岩的地球化学特征,如SiO2(≥55.48%)、Al2O3(≥14.25%)和Na2O(≥3.11%)含量高,
摘要:形式化方法作为一种以数学为基础的方法,能够清晰、精确、抽象、简明地规范和验证软件系统及其性质,能够极大地提高软件的安全性和可靠性。本文从形式化方法的研究内容、分类以及发展等方面出发,对基于形式化方法的软件开发的基本思想作了介绍,分析了使用形式化开发软件系统的优势和可靠性。 关键词:管理信息系统;本体;原型;实践教学 1 引言 随着软件系统复杂度的不断增长,开发正确、可靠的软件,成为
从连云港台南盐场盐溶液中分离到一株极端嗜盐菌HBCC-1,革兰氏阴性,杆状,橙红色.通过比较酵母膏、可溶性淀粉、蔗糖和葡萄糖等不同碳源以及(NH4)2SO4,Ca(NO3)2,蛋白胨和胰蛋白胨等不同