武汉市暴雨气候特征分析

利用武汉市东西湖区,蔡甸区,江夏区气象站１９５９￣１９９６年５￣９月降水资料及武汉城区各雨量站,１９８８￣１９９５年５￣９月降水自记资料,统计分析武汉市暴雨、大暴雨时空分布特征及其变化规律,确定武汉市灾害性暴雨标准,其研究结果可为武汉地区暴雨防灾减灾工作提供背景依据。     

冲击波作用下粉末颗粒效应及其形成过程

采用两种颗粒尺寸相差悬珠的高速钢粉末进行爆炸烧结机制的研究,发现了明显的“颗粒效应”,烧结过程首先在小颗粒变形量最大的尖角处发生熔化,在冲击波作用下使液体流激烈运动,加速了颗粒的熔化,最后使颗粒相互粘结在一起,达到烧结的目的。     

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

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

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

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

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

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

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

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

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

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

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

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

山东省春季旱年与涝年对应的大气环流

利用美国国家环境预报中心与美国国家大气研究中心(NCEP／NCAR)再分析资料及山东省1961—1998年16个代表站的3～5月降水实测资料，对山东春季旱年与涝年进行划分并对其对应的大气环流形势进行了分析。结果表明，山东春季涝年与旱年的大气环流形势存在明显的差异，东亚大槽的异常减弱、乌拉尔地区高度场的明显降低是造成山东春季降水异常偏多的主要原因；孟加拉湾的水汽输送是山东地区春季降水的重要水汽条件。     

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

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