变阻障碍物对管道内瓦斯爆炸的影响

为探究障碍物阻塞比变化率对瓦斯爆炸的影响,分别建立平均阻塞比为0.6、 0.3的受限空间物理模型,基于Charlette湍流燃烧模型,利用Fluent软件对阻塞比变化率依次为0、 0.05、 0.10、 0.15的障碍物条件下的爆炸火焰、湍流转捩、压力波耦合过程进行大涡模拟(LES)。研究结果表明：火焰经过障碍物会产生回流卷吸效应。在平均阻塞比为0.6的工况组A中,当阻塞比变化率为0.10、 0.15时,火焰锋面更加尖锐,火焰传播速度峰值更高,平均传播速度更高,到达超压所需时间更短,超压峰值更大。在平均阻塞比为0.3的工况组B中,各工况平均传播速度相同,随着阻塞比变化率的增大,到达超压所需时间更长,超压峰值更大。     

煤矿机电及运输事故防治的紧迫性研究

分析了2005—2010年全国煤矿死亡事故中顶板、瓦斯、水灾、火灾、运输、机电、爆破等各类事故数占事故总数的比例及每起事故的平均死亡人数,指出运输和机电事故死亡人数分别居第3位和第5位,共占死亡总人数的13.72%;指出电气火源是引爆瓦斯的第一火源,且2010年由机电事故引发的矿井火灾占火灾事故总数的80%,得出加强煤矿机电事故防治工作是遏制瓦斯爆炸事故及矿井火灾的迫切需要的结论;最后指出,应加强机电及运输事故防治工作,以减少由煤矿机电、运输事故引发的瓦斯爆炸事故和火灾事故。     

基于流场的爆炸分裂效果模拟

通过分析冲击波气流的运动特点,对Navier-Stokes方程进行合理简化。根据简化后的方程所反映出的气流速度变化规律,提出描述冲击波气流运动的扩散模型。基于该模型所定义的流场,对碎片的运动进行控制,实现对冲击波作用下物体碎片飞散效果的模拟。实验结果表明,该方法具有较强的真实感,能够满足实时性要求。     

矿井安全监控电源系统的研究

介绍了电气防爆原理;从理论研究和产品发展两个方面阐述了本质安全防爆型式在国内外的发展状况;重点讨论了目前国内矿井安全监控电源系统存在的问题,即系统输入适应性问题、系统智能化问题、备用电源优化设计问题、系统抗干扰能力问题以及大容量本质安全型电源问题;介绍了一种新型的矿井安全监控电源系统,该电源系统抗干扰能力强,且具有系统运行参数智能监控、预警和故障诊断功能。     

煤矿监控系统本质安全型互连认证方法研究

针对煤矿监控系统结构复杂多变、互连设备类型众多且不断增加的特点,分析了我国传统的本质安全型互连系统认证方法、国外的接口参数认证方法和系列本质安全型标准对我国煤矿监控系统本质安全型互连认证的适用性,指出目前煤矿监控系统本质安全性能的判定依据只能是GB3836.4-2000 equ IEC60079-11:1999,提出了煤矿监控系统非总线型接口设备本质安全型互连认证采用参数认证方法、总线型接口设备本质安全型互连认证目前应采用系统认证方法的方案,详细介绍了参数认证方法和系统认证方法的实施要点及未来实现总线型接口设备本质安全型互连参数认证的途径;还提出了煤矿监控系统接口设备的设计原则,以及煤矿监控系统本质安全型互连认证方法进一步的研究方向。该文有助于煤矿监控系统接口设备本质安全型互连参数认证方法的发展。     

参数可变的无线式冲击波超压测试系统的研究

存储式测试在冲击波超压测试中应用多。在冲击波超压场测试中,超压峰值和时域脉宽随着TNT当量的大小和测点距爆心的距离的大小变化而变化,近距离和远距离之间超压峰值以及时域脉宽近几十倍之差,为提高测试系统的精度和测试系统的灵活性,提出了一种参数可变的无线式冲击波超压测试系统,此系统主要由无线Zig Bee模块对多个传感器节点进行无线参数设置(量程设置、采样频率设置、触发电平设置等),通过冲击波超压测试理论计算和靶场实验数据的分析,验证了该系统设计方案的可行性和优越性。     

火焰温度场测试中的传感器动态特性补偿

在进行爆温测试时,爆炸伴随的高温火焰具有变化快、温度高、测试环境恶劣等特点.针对这种特定的测温场合,运用火焰温度源法研究了热电偶传感器在火焰温度场中的动态响应特性.为了减小热电偶的动态测量误差,通过粒子群优化算法(PSO)建立了测试系统的动态补偿滤波器模型.实验表明,这种研究方法有效地改善了热电偶的动态测量误差,对通过爆温测试进行弹丸热毁伤评价有一定的参考价值.     

基于FPGA和WSN的TNT爆炸时刻采集及存储系统

火药的爆炸时刻是火药试验的重要测量参数,精确的测量值可以为火药性能的评估提供准确的时间数据。针对爆炸冲击波参数测试的特殊环境,设计了一种基于现场可编程门阵列FPGA和zigbee无线传感网络的TNT爆炸时刻采集及存储系统。该系统可通过无线网络检测系统的工作状态,并且实验验证系统具有较高的测试精度,模拟环境下,采集到的瞬时闪光波形上升时间小于20us,靶场试验表明：TNT爆炸时刻记录装置采集到的闪光波形上升时间小于15us测试误差小于2%。系统具有体积小、功耗低、耐冲击等优点,适合恶劣环境下的数据采集和存储。     

基于固定内存和状态管理的模型检测方法*

在研究固定内存和状态管理的基础上,提出了一种新的模型检测方法,使得在任何计算机上都能对任意规模的并发系统进行模型检测.     

Automatic generating test cases for testing Web applications

In order to ensure the security and reliability of Web application, the testing of Web application is one of the most effective methods. This work regards a Web application as the composition of different interactive Logical Components （LCs）. We combine LCs with agent to assist to automatic generate test cases for testing Web applications. From Pages-Flow-Diagram （PFD） of Web application under test, this research successively partitions Web applications into LCs, at different levels of abstraction, each of which is composed of Web pages and other LCs. We use an automaton to model each LC, and use compositions of automata to model interaction of LCs. Our approach supports concurrent access and interaction between LCs. It avoids the state space explosion problem effectively. It also enhances the reuse of component interactions and overcomes differences in actions between LCs by using an agent as a coordinator.