功率集成电路中一种抗闩锁方法研究

在分析功率集成电路中闩锁效应的基础上,采取一种抗闩锁方法,即在高低压之间做一道接地的少子保护环.通过对环的电位、位置和宽度的研究,利用软件工具Tsuprem4和Medici进行模拟比较,并应用于实际版图中进行流片.这种保护结构可以将闩锁的触发电压提高一个数量级,在实际的闩锁静态测试中得到验证.     

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

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

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

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

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

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

新棉质量新情况

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

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

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

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

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

锌冶金过程砷的危害及铁盐絮凝法除砷过程分析

详细分析了湿法炼锌过程中砷的行为、砷对锌电积和制酸过程的危害、以及铁盐絮凝法去除中浸液和污酸中砷的机理与过程,探讨了现行污酸治理工艺存在的弊端,指出未来的污酸治理方向,建议对锌冶炼工艺进行改造,杜绝先污染后治理的模式。     

热和Fe2+共活化Oxone法深度处理填埋污泥脱水液

采用热和Fe²⁺共活化Oxone法深度氧化处理填埋污泥脱水液,分析了Oxone投加量、温度、pH值对有机物去除效果的影响。结果表明,该氧化体系对胡敏酸类物质具有较好的去除效果;COD降解符合准二级动力学模型,改变Oxone投加量和pH值会影响有机物基团的降解顺序。在污泥脱水液初始COD为(600±22)mg/L,温度为45℃,pH值为2,Oxone投加量为17.9 mmol/L,Oxone/Fe²⁺摩尔比为50时,COD去除率达到31.2%,最终出水COD为423 mg/L,达到《污水排入城镇下水道水质标准》(GB/T 31962—2015)的A级排放标准。     

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

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