简介:介绍了全面禁止核试验条约(CTBT)中涉及的放射性氙同位素及其来源、核爆炸产生放射性氙同位素特征和CTBT大气放射性氙监测技术,重点总结了CTBT中大气放射性氙的取样、测量、事件性质识别和源项解析等技术的最新进展。在氙监测设备方面,已有3套商业化的氙监测系统可供采购,且氙同位素取样效率和探测灵敏度已远超临时技术秘书处设定的技术指标要求;在放射性氙同位素活度测量与能谱分析方面,Si-PIN新型探测器研究取得较大进展,建立了放射性氙数据分析软件;在氙监测事件性质识别方面,建立了Kalinowski判据模型;在大气输运模拟研究与应用方面,基于FLEXPART模型开发了Web-Grape和Web-GrapeIBS软件。但从实际监测效果看,有效获取敏感核素对及核素比,并依此提供确凿核爆炸证据的能力尚显不足。下一步工作应聚焦在氙同位素探测灵敏度提升、氙监测事件识别及溯源等研究上。
简介:随机Petri网(SPN)是一种基于状态空间的可靠性建模分析方法,由于它具有其他可靠性分析方法(可靠性框图、故障树等)所不可比拟的优势,使其成为目前系统可靠性分析中备受关注的一种方法。但是,当所分析系统复杂时,状态空间爆炸问题是SPN进行系统可靠性分析最大的挑战。特别针对神光Ⅲ原型装置计算机控制系统这一庞大、复杂的系统,状态空间大小不可估量,所以很有必要研究克服SPN空间状态爆炸的方法。根据系统可靠性分析时常用到的SPN模型结构和有关可靠性分析理论知识,提出了模型结构约简方法,以约简系统模型,从而克服或缓解SPN模型可靠性分析中的状态爆炸问题。