分布式路由器的性能模型与分析

利用随机Ｐｅｔｒｉ网对一种高性能的分布式路由体系结构进行了模型抽象,化简和性能分析。为解决模块数增多而引起的状态爆炸问题,提出了一种分割迭代的简化分析计算方法,从而大大降低计算的复杂性。最后,给出了计算比较结果,显示了这种算法的可行性和有效性。     

LVB-220W3型倒立式电流互感器爆炸故障诊断分析

本文阐述了一座220k V变电站倒立式电流互感器在正常运行过程中,发生的一起爆炸事故,并结合其爆炸前带电取油色谱数据进行分析探讨,目的在于提高制造工艺质量,通过科学、有效的管理,减少倒置式电流互感器事故的发生,与此同时并对生产安装及运行维护提出了改进措施和技术对策。     

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

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

Automated formal analysis and verification: an overview

This paper provides an overview of various existing approaches to automated formal analysis and verification. The most space is devoted to the approach of model checking, including its basic principles as well as the different techniques that have been proposed for dealing with the state space explosion problem in model checking. This paper, however, includes a brief discussion of theorem proving and static analysis too. All of the discussed approaches are introduced mostly on an informal level, with an attempt to provide the reader with their basic ideas and references to works where more details can be found.     

蒸汽发生器泄漏率监测

基于主蒸汽管道中＾１６Ｎ核素监测的蒸汽发生器泄漏率监测方法,目前已成为蒸汽发生器泄漏监测的主导方法。本文主要介绍了蒸汽发生器泄漏率的监测原理、蒸汽发生器泄漏率与＾１６Ｎγ计数率的换算关系以及实际应用中存在的问题,并简要介绍了秦山和大亚湾核电站年用该类监测系统的主要特性。     

核爆地震波的频特征

对地下核爆炸产生的地震波信号进行联合进频分析,旨在研究核爆炸与天然地震信号在时频平面上的差异,为核监测提供鉴别判别。除疳传统的时域、频域特征统一并推广为时频平面上的矩特征和复杂度特征之外,还提出了利用互模糊函数数图像,时频平面上的时频面积比和累积分布等作为特征,对地震波进行更细致的分析。此外,将时频表示直接进行奇导值分解,用得到的少量奇导值作为一种正交变换特征,以减少特征空间的维数。给出了具体应用     

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

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

细长型高功率脉冲氙灯

高功率脉冲氙灯主要在惯性约束聚变(ICF)研究中用作高功率激光驱动器的抽运光源,其各项性能和使用寿命对高功率激光驱动器的整体工作性能影响很大。在改进制灯材料和管壁结构的基础上,研制了两种不同规格的细长型高功率脉冲氙灯:一种是in16 mm,放电弧长为1140 mm;另一种是in17 mm,放电弧长为1270 mm。研制的细长型高功率脉冲氙灯,其极限负载能量大、工作寿命长、辐射效率高,工作性能较原先脉冲氙灯有很大的改进和提高。     

河南湖田稠油加密井水淹层测井解释方法

河南油田稠油开发主要采用注蒸汽吞吐的方式，为了进一步提高稠油资源的采收率，采用加密井方案。通过钻井取芯、测井、投产表明，稠油加密井部分已被蒸汽水水淹。正确评价稠油加密井水淹层位和强度是提高稠油加密井开采效果的关键。通过研究，提出了一套利用测井资料评价稠油加密井水淹层的方法，经生产实践验证效果较好。     

平板布置对气云爆炸场影响

以乙炔-空气气云为可燃介质,进行了半径为50cm半球形气云爆炸实验.气云外布置了平板形障碍物,平板距球心的距离分别为57cm和100cm,平板的布置分为单板、双板垂直、双板平行、3板槽形和4板口形放置5种方式.结果表明,平板对气云爆炸威力有加强作用,对气云的约束越大,爆炸压力越高.