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

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

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

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

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

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

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

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

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

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

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

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

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

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

AutoCAD环境下快速裁剪算法的研究

该文提出了一种基于ＡｕｔｏＣＡＤ命令的快速裁剪算法。它首先搜索给定用于裁剪的任意形状内外轮廓的外内接多边形,然后使用ＴＲＩＭ和ＥＲＡＳＥ命令实现裁剪运算。     

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.     

引黄灌区跨地区水权转让补偿 标准的研究

针对黄河流域引黄灌区的跨地区水权转让补偿标准的定量问题,探讨了转让费用构成中的农业风险补偿、生态补偿、水管单位补偿的含义和计算方法,并以内蒙古自治区鄂尔多斯市引黄灌区的水权转让一期项目为实例,通过计算得出3项补偿费用为889.92万元/年,在25年水权转让期内应付出的补偿费用为22 248万元,水的转让价格平均增加补偿费用为3.45元/m3。对黄河流域水权转让费用构成中的补偿费用进行准确的定量计算,将会进一步推动水权转让更加科学合理的实施,并为引黄灌区的健康持续发展奠定基础。