反例引导的模型检验工具的设计

针对模型组合中常见的"状态空间爆炸"问题,分析了抽象和组合两种方法各自的优缺点,采用"反例引导的抽象精化"框架和模型检验思想,将抽象和组合结合起来,为模型组合的检验提出了一种新的方法.设计了模型的抽象、组合、检验和精化算法,开发了一款基于反例引导的、图形化的模型检验工具,使用Kripke结构建立模型,用LTL描述性质,从而表明了反例引导的模型检验方法的过程.     

复合板爆炸焊接参数计算窗口开发

系统地梳理了爆炸焊接中静态参数、动态参数之间相互关系.针对爆炸焊接工艺参数多、经验计算公式复杂、计算过程逻辑复杂、人工计算易出错的困难,利用Visual Basic软件进行编程,开发适合双金属爆炸焊接参数选择系统,以方便工业生产中双金属复合板爆炸焊接参数选择.所开发的系统建立了异质金属材料性能数据库,可实现任意异质或同...     

炸药冲击波激励氩气闪光实验研究

建立了对可见光和近红外的瞬态测试记录系统。用实验方法研究了氩气在炸药冲击小励下产生的可见光光强。测得了不同压力下氩气的辐射强度,分析了气体压力对光强的影响。     

液氨存储项目火灾爆炸危险性分析及预防措施

运用重大危险源辨识和故障树分析法对抚州某液氨储存充装项目火灾爆炸危险性进行定性定量分析,总结归纳致使液氨储存项目火灾爆炸发生的相关因素,得出该项目属于危险化学品一级重大危险源的结论,并针对性提出预防事故发生的相关措施和技术手段.     

利用生化处理技术治理气田污水

1．生化法污水处理技术 生化法污水处理技术是利用微生物的新陈代谢作用．将污水中有机物作为营养物质进行分解、稳定，使之无害化处理的方法。该技术目前在国内外的生活污水和工业污水处理中得到广泛应用。生化法污水处理主要受以下几方面因素影响：     

生命的变化:从海洋走向陆地,又从陆地返回海洋

在我的左侧,一条黄尾笛鲷在水中遨游,它在海水中呼吸,身上的鳍轻轻颤动,不时轻摇它那带有黄色条纹的尾巴。我跪在海底的沙子上,离头顶的水面大约50英尺"。周围很寂静,我只能听到自己从潜水呼吸器中吸气和呼气时涌出的水泡向水面升起时发出的声音。头顶有个长长的灰色东西游过,慢慢转向,很快我就认出那是一头大西洋宽吻海豚。黄尾笛鲷和我注视着它。     

岩石颗粒密度检测方法对比分析

岩块颗粒密度是建筑材料选择、岩石风化研究、岩体稳定性分析等必须的重要参数,目前测定方法采用比重瓶法和水中称量法。为了探求两种方法的差异,进行了对比试验,得出了两种测试结果都满足要求,水中称量法的结果略小。同时从样品制备和操作过程分析两种方法的优点和局限性,发现水中称量法更方便快捷。     

水下爆炸荷载作用下结构动力响应及损伤破坏

为了研究水下爆炸荷载作用下重力式沉箱码头的动力响应及其损伤评估,基于Coupled Lagrangian Eulerian算法,通过AUTODYN建立了一维自由场冲击波、气泡脉动数值模型,验证了数值计算的合理性;将突堤式沉箱码头数值计算结果与试验数据进行对比分析,验证了数值分析模型的可靠性;建立了典型重力式沉箱码头在爆炸荷载作用下的三维数值模型,并分析了不同炸药当量、混凝土强度、配筋率等条件下,重力式沉箱码头的动力响应及损伤破坏。结果表明：随着装药量的增大,峰值位移逐渐增大,且增大的幅度与速度有所提高;结构配筋率主要影响重力式沉箱码头的抗剪性能,在水下爆炸荷载作用下,提高结构配筋率、混凝土强度能够优化整体结构的抗爆性能。研究成果可以为我国重力式沉箱码头结构在水下爆炸荷载作用下抗爆设计及防护措施提供参考。     

水下枪榴弹延期解除保险性能指标分析方法

针对水下枪榴弹有效射程与杀伤半径之间难以相互匹配的问题,提出了水下枪榴弹延期解除保险性能指标分析方法。该方法依据水下爆炸产生的冲击波超压峰值估算水下枪榴弹爆炸时的杀伤半径与安全距离,水下枪械所能达到的有效射程为30 m时,该方法确定的水下枪榴弹的杀伤半径约为1 m。分析表明,杀伤半径的增大将使水下枪榴弹面临着水下射程过小与延期解除保险距离要求过大、战斗部威力过小与射击精度过低等矛盾。