基于扩展状态机的资源泄漏检测方法

基于扩展状态机对资源泄漏故障进行描述，给出了资源泄漏缺陷状态机，定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中，按照资源泄漏缺陷状态机给出的转换条件进行状态计算，如果计算结果为故障，则报告1个资源泄漏故障。应用该算法对大型开源软件进行测试，发现多个资源泄漏故障。测试结果表明：该算法具有测试效率高和误报率低等特点。     

航天科技101所新液氢生产线开工投产

航天科技工业新体系建设又传捷报：经过21个月的努力工作，中国航天科技集团公司6院101所新的液氢生产线全面建设完成，于近日正式开工投入生产。 该生产线的氢液化主体设备经过反复论证比较，最终确定了引进在欧洲航天领域享有盛誉且在国际低温设备领域业绩突出、规模世界第一的法国液化空气公司为供应商，液氢输液管、液氢储存容器和液氮储存容器等配套设备采取对外公开招标的办法加工订做。     

铸利剑护苍穹

＂某化工厂遭敌空袭,化学品泄漏、厂房着火、水管破裂、通信受阻、电力中断、部分人员受伤……＂山东省济南警备区接到命令后,立即组织民兵应急分队进行防空袭战斗火力抗击和消除空袭后果。     

化工企业氯气泄漏事故疏散安全距离数值模拟研究

氯气通常是通过高压钢罐的方式贮存,一旦发生泄漏,由于氯气的剧毒性和易爆性,会给临近区域人员安全造成威胁,并会给救援处置工作带来巨大困难。通过数值模拟的方法,研究了氯气容器泄漏事故时氯气的扩散、发展以及蔓延运动规律,运用医学上的氯气伤害浓度值作为判据,给出了不同环境风条件下氯气储罐泄漏后氯气浓度超过氯气伤害浓度以上的区域范围随时间的变化,总结了最大影响半径随风速的变化规律,并以此确定了疏散安全距离。     

铝合金薄板表面裂纹弹塑性断裂测试中的两个实验技术

近几年,我们开展了LD10cs 铝合金贮箱表面裂纹弹塑性断裂课题的实验研究。为了得到满意的实验结果,在测试技术上做了一些探讨。本文着重介绍两个实验技术:1.采用夹具代替粘接刀口,配合弓形位移传感器自动绘制P—V 曲线,不但结构简单、使用方便;更为可取的是,由于标距的缩小,提高了P—V 曲线的质量。2.具有很深表面裂纹的贮箱,受载时,容器往往产生先“泄漏”后“断裂”的情况。因此,准确地测定泄漏载荷并研究泄漏发生的条件,是很重要的。在国外对平板试件有的采用压力密封罩的方法测定泄漏载荷,其测试方法较为复杂,在实际结构上应用也是比较困难的。我们将电阻丝片作为敏感元件,配合简单的开关线路测定泄漏载荷,较好地解决了这个问题。     

成品油管线泄漏油气扩散分析

成品油管线在运营过程中会发生泄漏,主要原因为管线腐蚀、外力撞击、打孔盗油及水击等,泄漏后油品蒸发扩散形成的爆炸性区域具有很大的危险.通过小孔泄漏模型和大面积泄漏模型对地面管线发生泄漏事故形成的油品蒸气扩散情况进行了分析计算,获得了油品泄漏后距泄漏点的安全距离,计算数据可对管线的抢修提供参考.     

化学物料泄漏的危害及安全处置中应注意的问题

化学物料泄漏具有引起火灾、爆炸事故,造成严重的毒害事故,污染、破坏生态环境等危害,其泄漏的原因有自然灾害、设备本身、人为及意外事故几方面,在处置化学物料泄漏事故应注意防止形成燃爆条件;严防毒害;防止冻伤;搞好现场监测等问题.     

面向大规模容器集群的网络控制技术

针对容器技术在网络层面缺乏控制的问题，设计一套面向大规模容器集群的网络控制架构，分别从容器集群网络的灵活组网、智能适配以及安全隔离三个方向进行研究，主要解决大规模容器集群部署中的网络适配和隔离控制等关键问题。实验结果表明，设计的网络控制架构可以根据网络特点有针对性地实现虚拟局域网的快速划分、网络节点的稳定迁移和节点通信的精确隔离控制。     

宜昌市猇亭区举行危化品泄漏应急救援演练

近日，湖北省宜昌市犹亭区在兴发集团宜昌精细化工园举行危险化学品泄漏应急救援综合演练，检验了政府部门、军事机关、企业、民兵预备役部队应对突发危险化学品泄漏事故的准备情况和指挥处置能力。演练突出事故报告、预案启动、现场指挥、情况处置、善后处理等重点环节，并取得了良好效果。图为民兵防化应急救援分队对液氨储罐进行堵漏处置。     

液体储罐泄漏数学模型的改进研究

在液体储罐泄漏过程中,罐内压力是随泄漏时间变化的量,泄漏强度也随罐内压力而变化,但在已有对液体流泄漏数学模型的建构中,在后果计算时没有全面考虑罐内压力以及罐内液体闪蒸导致空间的物质量,获得的结果用于后果评价,就必然与实际情况存在偏差.应用数学方法,对液体泄漏模型进行改进,改进后模型把罐内压力以及罐内空间的物质量作为变量,可较真实模拟出泄漏时泄漏强度、储罐内气体压力及泄漏量随时间变化的大小情况,并模拟了孔洞液体泄漏,得出不太可能发生灾难性事故的结论.     

常见有毒化学品泄漏事故模型及救援警戒区的确定

运用连续点源扩散模型,讨论常见有毒化学品泄露事故在不同大气条件下的成灾模型,对距泄漏点一定距离处的有害物质浓度和不同伤害剂量的区域进行了估算,进而探讨有毒化学品泄露事故发生后的应急救援警戒区确定.所提出的泄露事故模型能够为消防部队有效的执行应急救援提供理论依据.     

一起管道燃气火灾爆炸事故爆炸点形成原因探讨

通过对一起居民住宅管道燃气泄漏火灾爆炸事故现场破坏程度的勘查,分析了在管道燃气泄漏后,由于燃气化学组分和理化性质的不同,室内环境因素影响扩散条件的不同,不同浓度的爆炸性混合气体在不同的部位出现了不同的形成过程,从理论上论证了管道燃气的泄漏点不一定就是中心爆炸点的火灾现场现象。     

机械振动特征分析中的信号处理技术与微机特征分析系统

文中指出抑制阶比混迭和泄漏是建立一套完整的微机特征分析系统中需要解决的二个关键的信号处理问题。提出了阶比滤波器是抑制阶比混迭有效和实用的方法;并研制频率比合成器以抑制泄漏。介绍了由频率比合成器、阶比滤波器、TMS32010数据采集装置、主机和绘图仪所组成的微机特征分析系统。最后给出了该微机特征分析系统对轴承进行故障诊断的结果。     

焦炉煤气制氢区域事故风险预测

为了在氢气泄漏发生的第一时间快速和较为准确地预测氢气在大气中的扩散形状和区域面积，有效地组织受影响区域人员疏散和组织救援，笔者利用ALOHA软件进行预测。该软件在考虑了日照强度、风向、风速、大气温度、湿度、释放量、泄漏状态等诸多因素的影响后，根据氢气性质利用相应的泄漏模型（如Gaussian）经过计算得出相应数据，并以图形形象地表示扩散浓度、影响范围和其他信息，帮助应急指挥人员更加有效地组织救援和疏散。     

超声波检测混凝土屋面渗漏裂缝的实验研究

屋面渗漏维修一直困扰着房屋管理人员和维修人员。如何有效地确定渗漏区域和渗漏源,是快速修复屋面渗漏的关键所在。主要分析探讨了超声波在混凝土屋面渗漏裂缝检测方面的应用可行性,通过研究超声波的检测原理和探测方法,并结合工程实例,具体分析了超声波检测法在屋面渗漏裂缝检查中的优势与不足,为确定有效的屋面渗漏检测方法提供了一定的参考。     

海港口岸犯罪分子利用集装箱偷渡的预防与控制

随着我国集装箱进出口贸易的迅猛增长和各地对偷渡活动严厉打击，不法分子开始尝试利用集装箱组织大规模偷渡，并渐呈上升和蔓延趋势，严重干扰了口岸正常的出入境秩序。从集装箱运输流程主要环节（装货、施封、存放、运输、装船）入手，通过分析当前海港口岸集装箱偷渡活动的特点及在集装箱管理过程中存在的问题，提出预防与控制集装箱偷渡的对策。     

火炮反后坐装置故障机理研究

反后坐装置是火炮的"心脏",性能好坏直接关系到其战斗力的发挥。节制环磨损及复进机漏液是反后坐装置最常见的故障。分析了节制环磨损和复进机漏液的故障机理,给出了磨损量以及漏液量计算模型。在此基础上,结合火炮后坐、复进反面问题计算程序,模拟计算火炮在节制环磨损和复进机漏液情况下的运动诸元。进而预测在其它射击条件正常情况下,火炮平均无故障射弹发数。     

简论故意泄漏国家秘密罪

为完善国家秘密保护法律制度,现行《刑法》规定了故意泄漏国家秘密罪。在司法实践中,需严格把握本罪的构成要件,并以此为基础,准确区分此罪与彼罪,正确施以刑罚。     

模块化油料装备单元新型连接接头设计

模块化油料装备具有运用方式灵活、功能模块扩展能力强的优点,既能使油料装备的保障能力显著增强,又方便设计、制造、使用和维修,但各模块单元之间不易实现干式快速连接与分离。为实现油料装备模块单元快速连接、拆卸且无油料漏出,创新设计一种干式快速自封连接接头。该接头用于油料装备模块单元连接时,管路系统能自动接通;各模块单元分离时,管路系统能自动封闭,使各模块单元或组合体形成一个密封体,始终无漏油现象。该干式快速自封连接接头用于模块单元连接或分离,具有简便、快捷且无油料渗出等特点。