锅炉炉膛防爆控制系统探析

介绍了炉膛爆炸的原因及防止措施，分析了传统炉膛压力控制系统的缺点，从高压保护回路、压力控制系统、运行程序、联锁系统等方面论述了新型炉膛防爆控制系统。     

爆炸喷涂爆炸波参数数值计算

对爆炸喷涂燃烧室爆轰波的形成及爆轰产物热力学及动力学参数进行了数值计算．结果表明，爆炸喷涂气相爆轰系统爆轰特性主要取决于气相系统的选择和初始混合气体配比．C2H2 O2气相爆轰系统更适合于喷涂高熔点的陶瓷、金属陶瓷及纳米复合陶瓷粉体，其最优化工艺参数应该选择在零氧平衡附近．而H2 O2气相爆轰系统则适用于喷涂低熔点的金属及其合金，金属粉体的熔点越高，最优化参数越接近于零氧平衡点．     

水下作业工具深水液压动力源

研究了深水液压动力源的有关问题,探讨了水压力自动补偿器组成、原理及作用,介绍了自动补偿式深水液压动力源的工作原理、组成、压力自动补偿器的结构,论证并推导出水压力自动补偿器容积公式,研制了深水液压动力源,并进行了系统试验.     

钻孔灌注桩施工操作及质量控制

随着用地日益紧张，高层建筑越来越多，钻孔灌注桩在高层建筑基础方面的应用已相当普遍，特别是大直径钻孔桩的使用能适应建筑物单桩单柱的承载力要求。钻孔灌桩的成桩质量从钻芯取样抽检的情况来看，主要的质量问题是桩径缩小、露筋等。出现这些质量问题的主要原因是施工中的泥浆使用、清孔、水下混凝土的配制和浇注，但更重要的是现场的施工管理，要充分调动工作人员的工作积极性和树立高度的责任心从事基础工程施工。     

煤气-空气多元爆炸性混合气体爆炸反应极限范围的研究

通过大量实验对煤气-空气等多元爆炸性混合气体的爆炸极限范围进行了研究，找出了影响爆炸范围的主要因素。实验表明：爆炸反应呈阶段性和不完全性；甲烷对爆炸范围有影响；水气含量对支链反应有阻止作用；一氧化碳对支链反应有一定的贡献。本文结论对科学的制定安全指标提供了理论依据。     

电爆炸过程导体放电电阻的一种计算模型

电爆炸过程是电热炮等离子体发生器工作中重要的组成部分。该文将电爆炸过程分为5个阶段加以讨论，同时应用了等离子体电导率的计算模型以及脉冲功率源放电回路模型，最终建立了可以应用于等离子体发生器数值模拟的电爆炸过程导体放电电阻的计算模型。     

飞秒强激光场下分子的场致电离和库仑爆炸

利用飞行时间质谱仪和飞秒激光放大系统,对分子在飞秒强激光脉冲作用下的场致电离和库仑爆炸过程进行了研究.在飞行时间质谱中,原子离子的谱峰分裂标志着这些原子离子来源于高价母体离子的库仑爆炸.通过对不同结构的分子在飞秒强激光下的库仑爆炸研究,发现这些分子离子的爆炸是一个协同过程.母体离子的角分布呈现了高度的各向同性,而原子离子则呈现了高度的各向异性分布.这说明分子在飞秒激光场中发生了空间准直和重新定位.     

浅层水中沉底爆炸冲击波相互作用数值模拟

根据试验模型和试验结果，进行了浅层水中沉底爆炸冲击波相互作用数值模拟；研究了水底水面对沉底爆炸冲击波传播与相互作用的影响。结果表明，水底对冲击波压力峰值有较大的削弱作用，水面使冲击作用冲量明显减少，冲击波相互作用的压力叠加或多次冲击作用大大提高了爆炸威力。     

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

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

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

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