基于需求的安全例证获取与管理方法研究

基于形式化的需求验证技术是确保铁路安全苛求系统需求正确的有效手段,有效的组织和管理需求验证形成的安全例证是安全评估的关键．本文应用形式化语言Event—B方法对需求进行建模、分析和验证,能够发现潜在危险、提高系统安全性,同时结合GSN更高效地组织和管理Event—B提供的需求安全例证,增加安全例证的可信性和可阅读性,使论证逻辑更清晰、更适合安全审核和评估．     

坨142断块含水上升分析及治理对策

目前坨142断块的综合含水已达74％,采油速度为3．19％,进入了采油速度高、含水上升较快的开发阶段。通过分析认为,导致坨142断块含水上升加快的主要因素包括层间差异、构造高差等静态因素以及平面压力不均衡、地层压力低、采液强度大等动态因素。针对影响含水上升速度的因素,主要采取了提高注采比恢复地层能量和不稳定注水以及堵水调剖等方式减缓断块含水上升速度的对策措施,并取得了一定的效果。     

基于Rayleigh衰落模型下的车载自组织网络性能分析

研究基于Rayleigh衰落信道下的车载自组织网络性能,针对高速公路场景,分析了车辆与路侧单元上行通信的多个网络性能指标,这些网络性能指标有:中断概率、数据包出错概率、数据包平均丢失概率等.对这些网络性能指标进行了数值仿真,讨论了不同参数对其影响,考虑的参数有:竞争窗口大小、数据包大小、车辆数目、车速以及数据包到达率等...     

人工模拟堆石料强度和变形特性试验研究

堆石料的强度与变形机理非常复杂,颗粒破碎是影响堆石料强度和变形的重要因素。本文采用水泥净浆浇筑大量单一粒径、大棱角人工模拟堆石料颗粒,从而基于三轴试验研究了不同围压条件下人工模拟堆石料的强度和变形特性,对颗粒破碎程度和形态进行了细化,探讨了颗粒破碎对堆石料体积变形的影响。结果表明,堆石料的棱角特性对堆石体颗粒破碎有着显著的影响,从而对堆石体的强度和变形特性产生影响。堆石料的颗粒破碎形态可分为棱角破碎、剪切面破碎和完全破碎;以剪切面破碎和完全破碎为主,随着围压的升高,棱角破碎对颗粒破碎的贡献越来越大。剪切面破碎和完全破碎是影响堆石料颗粒破碎增长不均匀性的主要因素。     

常见结构材料在热浸镀Galvalume合金熔体中的腐蚀与防护研究现状

伴随着热浸镀钢材的大量应用,热浸镀设备在液态金属中的腐蚀问题及引起的钢材表面质量降低问题逐渐凸显,制约了热浸镀行业的发展.概述了在热浸镀熔融Galvalume合金(Zn-55Al-1.6Si％)中,铁基、钴基及其他合金的腐蚀行为.合金及腐蚀产物的溶解,腐蚀层中的元素互扩散,腐蚀产物生长的应力集中,是造成合金基体失效的主...     

平板显示器功率驱动芯片的Latch-up及克服方法

详细分析了平板显示器驱动芯片中的Latch-up现象,在此基础上采用了一种克服Latch-up的方法:在低压部分增加多子保护环,在高低压之间增加少子保护环。借助TCAD软件详细研究了少子环位置及宽度对抗Latch-up效果的影响。实验结果证明,采用该方法可以有效地克服功率集成电路的Latch-up现象。     

高温高压氢气火焰加速准则研究

从氢气燃烧火焰加速的物理现象出发,介绍用于氢气燃爆风险分析的火焰加速σ准则;从可燃混合气体淬灭和再点燃燃烧模型出发,考虑压力对层流火焰速度的影响,提出高温高压的火焰加速σ准则;利用高温高压氢气燃爆实验对提出的准则进行了验证。     

新棉质量新情况

为掌握今年新棉质量情况,及时正确指导我县棉花收购工作,日前射阳县技术监督局纤维检验所选择盘湾、新坍、新洋试验站、临海、合德镇、县经济开发区和合德收棉站,对今年新棉进行了采样分析,发现今年新棉质量有几个特点:     

基于Event-B的一种联锁逻辑的形式化建模研究

铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的研发,还是对联锁软件的第三方测试都是非常重要的。基于Event-B方法,利用自动机模型和形式化语言对车站的一种信号联锁逻辑进行建模研究,并通过逐步精化的方法扩展联锁功能,依赖不变式技术形式化地保证了该模型的安全性。所建模型通过Rodin平台的验证,结果表明它们是安全的。     

油气水三相流管道流动规律研究进展

随着管道混输技术越来越受到重视,多相流动的研究已经成为国内外研究的热点。本文就国内混输管道流动规律研究的现状和研究进展进行了综述。指出只有在对多相流动的流型和压降规律有足够认识的基础上,才能提出准确、合理的流型判别方法和压降模型,才能使油气水多相管流的研究工作取得突破性的进展,为实现油气水多相输送提出理论支持。