岚皋大巴山岩溶地貌

认为岚皋大巴山岩溶地貌发育在寒武系石灰岩地层的高夷平面上，由于受岩性、地质构造、地貌和气候等自然条件的影响，地表、地下岩溶地貌发育不够均匀，但以溶洼丘峰为主，溶洼往往积水成湖，是我国南北方典型岩溶地貌的过渡类型区。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

煤矿瓦斯爆炸参数的突变与混沌研究

煤矿发生瓦斯爆炸的过程实质是井下气体状态发生突变的过程，本文首先采用突变理论建立了瓦斯爆炸数学模型，然后利用混沌理论和方法分析计算了有关瓦斯爆炸安全参数及条件，得到了瓦斯感应期，引爆参数等随井下条件的不同具有一定的混沌性质，理论上证明一些新的结论并验证了一些实验结果，为理论分析和实践提供了理论依据。     

带壳体放热反应物质的热爆炸临界参数

利用数值解法，计算了带壳体Ａ类形态放热反应物的热爆炸临界判据及临界温度分布。讨论了壳体厚度，壳体导热系数、Ｂｉｏｔ数以及无量纲活化能对系统临性的影响，反应物消耗的影响被忽略。     

热爆SHS法制备金属陶瓷块体工艺过程研究

用热爆自蔓延高温合成法简便，快捷地制备了钨基金属陶瓷块体，分析研究了影响热爆ＳＨＳ反应的各种因素；经对起始温度和稀释剂对材料气孔率的影响研究发现：起始温度的升高，稀释剂含量的减少，均有利于材料的致密化；而不同起始温度时，稀释剂含量对气孔率的影响存在一最佳值，该最佳值相对应的绝热温度在钨的熔点附近。     

瓦斯煤尘爆炸传播数值仿真系统研究

以连续相、燃烧、颗粒相数理方程建立瓦斯煤尘爆炸传播数理模型，并应用连续相、颗粒相计算方法，依据大型巷道瓦斯爆炸、瓦斯煤尘爆炸传播实验数据，借助普遍应用的流场模拟平台，开发了瓦斯、煤尘爆炸数值仿真系统。该系统可以有效地模拟煤矿瓦斯、煤尘的爆炸事故过程，对瓦斯爆炸的爆燃转爆轰、煤尘是否参与爆炸、爆炸冲击传播速度、衰减规律以及爆炸灾害的波及范围都能进行较准确的模拟。     

粉尘爆炸研究进展

全面论述了粉尘爆炸的发展现状，并分别从可燃粉尘爆炸机理、粉尘爆炸特性参数、爆炸模型和防爆措施等四个方面进行了详细的阐述．同时指出了研究粉尘爆炸的重要意义。     

双向及多点激发起爆网络可靠度分析

运用概率论和系统论的方法,对非电加强双向多回路网格式导爆管雷管爆破网络可靠度进行了分析计算,结果表明非电加强双向多回路网格式爆破网路的可靠度为 1,焦作电厂老厂主厂房爆破拆除时采用了非电加强双向多回路网格式爆破网路,一次起爆1.5 万个药包和 686 kg 炸药,成功地爆破拆除了 3 万多 m2 主厂房,取得了良好的经济、社会和安全效益。     

Stratigraphic implications of Sinian-Early Cambrian volcanic ash beds on the Yangtze Platform

Volcanic ash beds from shallow- to deep-water facies strata of the Sinian-Early Cambrian (Meishucunian) on the Yangtze Platform consist of bentonites and tuffites which are readily recognized in the field by their physical features and confirmed by geochemical analyses.Geochemistry suggests that the volcanic ash beds in Meishucunian time are rhyolite and rhyodacite while those in the Qiongzhusian and Sinian are andesite and trachyandesite.The ash beds in the time-equivalent strata, even in different areas display rather similar geochemical features, whereas the ash beds in different strata even in the same areas show large chemical difference.The results suggest that these ash beds can be used for intra- and extra-basinal correlations of the Sinian-Early Cambrian interval on the Yangtze Platform.Additionally, these ash beds suggest high potentials for further U-Pb dating strategies.     

Lower Cambrian yolk-pyramid embryos from Southern Shaanxi, China

TheCambrianexplosioniswidelyacceptedasthesuddenappearanceofnumerousbilateriananimalphylaatornearthebeginningofCambriantime[1,2 ] .The 5 30 million year oldMaotianshanShalefaunacontainstheoldestgoodwhole bodyfossilsofbilateri ans,documentinganincreasingnumberofpresent dayanimalphyla[3,4 ] orsubphyla[5] (evenincludingvertebrates[6～ 8] aswell)knownfromLowerCambri an .ThebeginningoftheCambrianperiodisdatedat5 43millionyearsago ,whenthefirstlargeandelabo ratefossilburrowstogetherwiththemicrosco…