注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 程序重构预处理在提高软件模型检测效率中的应用

  2. 针对软件模型检测目前很难处理大型程序的问题,提出用程序重构技术对待检的源代码进行预处理,以提高模型检测算法的效率.程序重构将大型程序分解成语义一致的小型过程的集合,由于模型检测算法中过程总结边可单独计算,而且在程序中对某过程的调用可能有多次,这种预处理可以避免状态空间的重复搜索,从而降低模型检测算法在空间和时间上的开销.根据表达程序性质的线性时序逻辑LTL公式的构成,给出了程序重构预处理前后程序语义相等的充分条件;并给定程序和性质公式,用blast作为程序模型检测实验工具,比较程序重构预处理前

  3. 所属分类：咨询

    • 发布日期：2011-03-29
    • 文件大小：359424
    • 提供者：iwsdiwsd

  1. 煤矿井下瓦斯爆炸后爆源临近区域特殊热环境分析研究

  2. 为了研究瓦斯爆炸诱发次生灾害的致灾热因素,对煤矿瓦斯爆炸特殊热环境进行了分析。将瓦斯爆炸后的特殊热环境分为爆炸产生的高温高压的火焰波、较高温常压的爆源邻近区域的动态热环境两部分。通过对瓦斯爆炸火焰波的特征的理论分析和相关专家学者开展的瓦斯爆炸实验所测得火焰波特征数据,对爆炸火焰波的温度、速度等参数进行了分析。通过数学模型的建立,结合瓦斯爆炸后瞬间爆源所在巷道空气温度随距离的分布规律及数值模拟技术对爆炸后爆源临近区域的较高温、常压的动态热环境进行了研究。得出,瓦斯爆炸大多数是弱爆燃状态。爆炸后爆源

  3. 所属分类：其它

    • 发布日期：2020-05-11
    • 文件大小：545792
    • 提供者：weixin_38673921

  1. 屯兰煤矿“2·22”特别重大瓦斯爆炸事故原因及教训

  2. 分析了死亡78人的屯兰煤矿"2.22"特别重大瓦斯爆炸事故原因:该矿南四盘区12403工作面1号联络巷处于微风无风状态,造成瓦斯局部积聚达到爆炸浓度,1号联络巷内的电气开关失爆,引爆瓦斯。提出了无人就安全,简单就可靠,大裕量保安全,不死人不等于安全、只有安全才能不死人等理念。建议通过机械化、信息化、自动化减少井下作业人员,简化通风和供电等系统,电气设备设置在全风压新鲜风流处,尽量减少局部通风机使用,合理加大通风、供电、提升、运输等系统和设备裕量,减少煤矿安全监控系统中间环节,高瓦斯和煤与瓦斯突出

  3. 所属分类：其它

    • 发布日期：2020-05-04
    • 文件大小：965632
    • 提供者：weixin_38572979

  1. 接线空腔对隔爆型电动机爆炸压力的影响

  2. 为了探究接线空腔对隔爆型电动机爆炸压力的影响,利用防爆测试系统以YBF3-225M-2(660/1140)风机用隔爆型三相异步电动机为试验对象,对其进行甲烷爆炸试验。结果表明:该电动机在旋转状态前端盖点火时接线空腔处的爆炸压力值最大,为0.432 MPa,上升时间为50 ms。建议带有接线空腔的隔爆型电动机进行爆炸压力测定时应在接线空腔增设测压点。

  3. 所属分类：其它

    • 发布日期：2020-05-01
    • 文件大小：1048576
    • 提供者：weixin_38626943

  1. 基于爆炸应力波和构造煤带孕育煤与瓦斯突出危险状态的模型

  2. 针对华南地区突出矿区分布广泛、煤与瓦斯突出事故严重的现状,结合该地区地质构造复杂构造煤广泛分布和大部分矿井采用炮采炮掘工艺的特点,提出一种基于爆炸应力波和构造煤带孕育煤与瓦斯突出危险状态的模型,并对该模型进行了理论分析。研究表明:爆炸应力波在传播过程中形成的稀疏波会引起该波经过的区域密度减小、体积增大,煤层瓦斯压力降低,进而破坏煤体瓦斯原有吸附平衡状态,大量吸附瓦斯解吸导致煤层瓦斯压力上升;当掘进工作面前方煤体一定深度存在构造煤带时,爆炸应力波从掘进工作面爆源传至未破坏煤体与构造煤带交界面,由于

  3. 所属分类：其它

    • 发布日期：2020-04-26
    • 文件大小：1048576
    • 提供者：weixin_38730821

  1. 基于控制论的八宝煤矿瓦斯爆炸事故分析

  2. 以八宝煤矿瓦斯爆炸事故案例,基于安全控制论的基本原理,从控制目标、控制动作、控制模型和状态观测等4个方面总结出系统安全控制失效的原因,并提出了辨别危险因素、找出安全约束条件、建立安全控制系统、识别失效安全控制以及分析失效原因、提出安全措施的事故分析新方法。新方法为发现安全系统中的安全缺陷,找出事故的内在原因,防止此类事故的再次发生提供了新思路。

  3. 所属分类：其它

    • 发布日期：2020-04-25
    • 文件大小：381952
    • 提供者：weixin_38698943

  1. 测量P30（p，γ）S31反应速率的关键共振状态以及新星爆炸中中间质量元素的产生

  2. 我们报告对光谱因素和关键共振强度的P30（p，γ）S31反应关键的第一个实验约束，对于确定高达中等质量元素的生产到新星喷射中的Ca。 P30（d，n）S31反应进行了逆运动学研究，使用了GRETINAγ射线阵列来测量质子阈值以上状态的角度积分截面。 通常，发现负奇偶性状态产生最强，但是光谱因子的绝对值通常比使用WBP哈密顿量的负奇偶性状态的壳模型计算所预测的低一个数量级。 结果清楚地表明，在nova燃烧T≥0.10到0.17 GK的区域中，在196 keV处，单个3/2共振态的优势，正好在新星

  3. 所属分类：其它

    • 发布日期：2020-03-28
    • 文件大小：711680
    • 提供者：weixin_38669793

  1. 标准模型希格斯成为炙手可热的大爆炸的起源

  2. 如果标准模型（SM）希格斯与通货膨胀部门之间的联系较弱，则希格斯有望在通货膨胀接近尾声时以凝结水的形式普遍存在。 通货膨胀后，希格斯迅速衰减-通过非扰动效应-变成SM物种的不平衡分布，此后很快变热。 如果宇宙的通货膨胀后状态方程是刚性的，w + 1，则SM物种最终将主导总的能量预算。 这为“热大爆炸”时代的开始提供了SM物种相对论热等离子体的自然起源。 这种情况的可行性要求通货膨胀的哈勃尺度HŽ低于希格斯真空衰减的不稳定性尺度，希格斯在宇宙学尺度上不产生太大的曲率摄动，并且在大爆炸核合成之前就应

  3. 所属分类：其它

    • 发布日期：2020-03-28
    • 文件大小：353280
    • 提供者：weixin_38637878

  1. 湍流状态下甲烷爆炸特性的实验研究

  2. 湍流状态下甲烷爆炸特性的实验研究，邓军，程方明，利用20L近球形气体爆炸反应装置，测试了甲烷在宏观静止和湍流两种不同状态下的爆炸特性。实验结果表明：甲烷的爆炸极限受其流动状

  3. 所属分类：其它

    • 发布日期：2020-02-17
    • 文件大小：207872
    • 提供者：weixin_38622125

  1. 水下爆炸的AUTODYN模拟分析研究

  2. 水下爆炸的AUTODYN模拟分析研究，孙学武，，利用AUTODYN仿真程序对TNT水下爆炸的峰值压力进行模拟，分析了状态方程和网格密度不同对数值模拟的影响，得到了良好精度且计算速度�

  3. 所属分类：其它

    • 发布日期：2019-12-29
    • 文件大小：443392
    • 提供者：weixin_38557095

  1. 20L爆炸容器内甲烷爆炸特性参数分布规律模拟研究

  2. 运用FLUENT流体模拟软件,对常温常压条件下20 L爆炸容器内甲烷爆炸各特性参数的分布规律进行了数值模拟研究,得出爆炸压力、火焰温度、燃烧速度、密度等爆炸特性参数及流场状态的发展变化规律。研究认为,爆炸罐内部各点压力分布基本相同,爆炸反应持续时间约为130 ms,火焰温度约为2 500 K;距离点火点越远,密度变化范围越大;火焰速度在距离点火点0.04 m左右达到最大值2.87 m/s,二次加速出现在距离点火点约0.14 m的位置。研究结果为认清甲烷爆炸机理及有效预防瓦斯爆炸事故提供了重要的理

  3. 所属分类：其它

    • 发布日期：2020-05-29
    • 文件大小：924672
    • 提供者：weixin_38731761

  1. 超炫酷！零基础制作3DsMax星球爆炸动画效果.docx

  2. 在大家平时建模过程中肯定会遇到很多力学作用的模型，它们有很多的不确定性，通过人工拖拽的手段很难达到理想的自然效果，这时我们就需要一些特殊的命令来完成我们模拟自然状态的效果。下面我们就一面飘扬的国旗来探讨一下自然状态是如何模拟的。

  3. 所属分类：互联网

    • 发布日期：2020-05-29
    • 文件大小：3145728
    • 提供者：qq_41697230

  1. 基于OWL的瓦斯爆炸事故语义本体构建及推理

  2. 基于矿山安全环境分析和事故危险源理论,利用本体语言OWL构建了矿山危险源本体,并结合与瓦斯爆炸事故的内在联系,构建了瓦斯爆炸事故树本体。继而通过设计本体推理工具的自定义规则,实现了从根源危险源到状态危险源的推理,同时根据瓦斯爆炸事故树本体实现了顶上事件发生概率的计算。提出的矿山安全领域本体构建及推理方法,可用于瓦斯爆炸事故预警的辅助决策。试验结果表明,构建的矿山危险源本体可实现从根源危险源到状态危险源的正确推理,并可根据瓦斯爆炸事故树本体自下而上计算顶上事件发生概率,验证了利用OWL本体推理辅助

  3. 所属分类：其它

    • 发布日期：2020-05-29
    • 文件大小：1048576
    • 提供者：weixin_38731239

  1. 受限空间瓦斯爆炸火焰与毒气传播研究

  2. 为揭示瓦斯爆炸过程中火焰、毒气及压力三者间相互关系,采用一端封闭的爆炸试验装置,通过改变瓦斯聚集长度和点火强度,研究了瓦斯爆轰及爆燃状态下火焰、毒气及压力传播变化规律.结果表明,管道内瓦斯爆燃状态下火焰的传播速度远小于爆轰状态下的传播速度,变化趋势呈线性;瓦斯爆炸火焰传播速度的大小直接影响爆轰的形成以及爆炸强度和爆炸传播距离;爆燃状态下火焰和毒气传播的距离基本相当,均为原始瓦斯聚集总长度的2倍左右;爆轰状态下火焰和毒气传播的距离基本相当,均大于原始瓦斯聚集长度,但传播距离不确定.

  3. 所属分类：其它

    • 发布日期：2020-05-23
    • 文件大小：680960
    • 提供者：weixin_38546024

  1. 低瓦斯矿井瓦斯涌出与瓦斯煤尘爆炸危险性的探讨

  2. 通过瓦斯的赋存状态及影响煤层瓦斯含量的因素分析,确定宁东矿井属于低瓦斯矿井。由于宁东所处的大地构造环境,矿井地质构造发育,产生局部瓦斯富集,矿井开拓引起温度和压力的变化,易诱发瓦斯突出。监测瓦斯,确保安全生产。

  3. 所属分类：其它

    • 发布日期：2020-06-22
    • 文件大小：1048576
    • 提供者：weixin_38745891

  1. 基于Fluent的矿井瓦斯爆炸危险等级评定

  2. 基于安全检查表和BP神经网络的评价模型预测矿井发生瓦斯爆炸的危险性,并以某矿1111(3)、1115(1)工作面为例,用Fluent分别模拟了简单U型通风和Y型通风下的瓦斯分布状态,结果表明Y型通风能有效解决瓦斯上隅角积聚问题,且研究结果与实际情况基本相符,可以用来预测和评价煤矿发生瓦斯爆炸事故的危险性。

  3. 所属分类：其它

    • 发布日期：2020-06-21
    • 文件大小：243712
    • 提供者：weixin_38538224

  1. 煤矿重大瓦斯爆炸事故致因的概率分析及启示

  2. 基于对煤矿特别重大瓦斯爆炸事故致因的统计和概率分析,揭示了近年来大多数煤矿特别重大瓦斯爆炸事故发生在正常生产条件下的低瓦斯"安全"区域的新特点和规律;分析在煤矿集约化生产的新形势下,加强对瓦斯突发事件致使"安全"区域的状态动态转换成危险区域,以及原发性灾害诱发继发性灾害重大隐患防治的必要性和可能性;并以瓦斯事故防治为例,提出了建立煤矿安全生产高可靠性安全保障机制的相关工程技术管理措施.

  3. 所属分类：其它

    • 发布日期：2020-07-18
    • 文件大小：1048576
    • 提供者：weixin_38741195

  1. 利用光纤传感器监控管道腐蚀状态的设计

  2. 油气输送管道一般焊接连成管线。我国已拥有原油和天然气管道长输管道21000km,年输量超过1亿。泄漏和堵塞是管道运行的主要故障。一旦管道发生泄漏，轻则影响生产，重则着火爆炸，伤害人的性命。1989年6月3号，前苏联乌法市一条液化石油气管道破裂泄漏，两列在与其平行的铁路上行驶的客车会车时发生爆炸火灾，造成645人死亡。堵塞则造成管道停输，也将造成巨大的经济损失。为了保证金属管道的长期、安全运行，必须有计划地进行腐蚀检测，即对管体、防腐绝缘层的考察，确定管道腐蚀状况，指出可能发生泄漏的隐患。当今工业

  3. 所属分类：其它

    • 发布日期：2020-10-22
    • 文件大小：386048
    • 提供者：weixin_38679839

  1. 海量测试用例如何优化:用状态矩阵解决有序操作的case爆炸问题

  2. 一、简介我们在测试中可能都会面对case爆炸问题。有的case组合是无序的，我们可以通过pict[1]组合case，让pict成最优化的case组合，在保证覆盖率的同时控制case数，这个方式在业界使用广泛，收效也不错。 　　一、简介 　　我们在测试中可能都会面对case爆炸问题。有的case组合是无序的，我们可以通过pict[1]组合case，让pict成最优化的case组合，在保证覆盖率的同时控制case数，这个方式在业界使用广泛，收效也不错。 　　但是对于有序操作的case爆炸，pict不

  3. 所属分类：其它

    • 发布日期：2021-03-23
    • 文件大小：130048
    • 提供者：weixin_38693419

  1. 无限状态马尔可夫链模型构建的多步扩展截断方法

  2. 建立CTMCs模型时，无限状态连续时间马尔可夫链的模型检验不可避免地会遇到状态爆炸问题。 我们的方法是得到一个无穷大的截断模型。 为了获得足够的截断模型来满足基于连续随机逻辑的系统属性的模型检查，我们针对CTMC的模型构建提出了一种多步扩展的高级截断方法，并在INFAMY模型检查器中实现。 实验结果表明，该方法是有效的。

  3. 所属分类：其它

    • 发布日期：2021-02-24
    • 文件大小：262144
    • 提供者：weixin_38625192
« 12 3 4 5 6 7 8 9 10 »