中子辐射俘获反应在反应堆运行、核装置设计及核天体物理研究中起重要的作用.4πBaF_(2)探测装置有着高时间分辨能力、低中子灵敏度、高探测效率等优点,适合开展中子辐射俘获反应截面数据的测量.中国原子能科学研究院核数据重点实验室...中子辐射俘获反应在反应堆运行、核装置设计及核天体物理研究中起重要的作用.4πBaF_(2)探测装置有着高时间分辨能力、低中子灵敏度、高探测效率等优点,适合开展中子辐射俘获反应截面数据的测量.中国原子能科学研究院核数据重点实验室建立了伽马全吸收装置(Gamma total absorption facility,GTAF),该装置用28块六棱BaF_(2)晶体和12块五棱BaF_(2)晶体构成了外径25 cm,内径10 cm的球壳,覆盖了95.2%的立体角.利用GTAF在中国散裂中子源Back-n束线上,测量了197Au(n,γ)的反应截面数据.测量数据通过能量筛选、PSD方法、晶体多重性筛选进行了初步本底扣除,随后结合对^(nat)C及空样品的测量数据对本底进行了分析及扣除,获得了197Au俘获反应的产额,利用SAMMY程序拟合得到了^(197)Au在1—100 e V的共振能量、中子共振宽度和伽马共振宽度参数.实验测量结果与ENDF/B-VIII.0数据库符合良好,其共振参数存在一定差异,分析原因可能与GTAF能量分辨率、Back-n的中子能谱测量精度、以及实验本底扣除方法相关,这也是下一步工作的重点.展开更多
Leslie Lamport提出的一种新逻辑:行为时序逻辑TLA(Temporal Logic of Actions),它能在一种语言中同时表达模型程序与逻辑规则。AVISPA是基于行为时序逻辑的用HLPSL语言编程的协议安全检测工具。文中提出对Kerberos协议角色化,然后用AVI...Leslie Lamport提出的一种新逻辑:行为时序逻辑TLA(Temporal Logic of Actions),它能在一种语言中同时表达模型程序与逻辑规则。AVISPA是基于行为时序逻辑的用HLPSL语言编程的协议安全检测工具。文中提出对Kerberos协议角色化,然后用AVISPA工具对HLPSL编码进行检测,结果表明用基于TLA的检测工具是宜于使用且有效的。展开更多
文摘中子辐射俘获反应在反应堆运行、核装置设计及核天体物理研究中起重要的作用.4πBaF_(2)探测装置有着高时间分辨能力、低中子灵敏度、高探测效率等优点,适合开展中子辐射俘获反应截面数据的测量.中国原子能科学研究院核数据重点实验室建立了伽马全吸收装置(Gamma total absorption facility,GTAF),该装置用28块六棱BaF_(2)晶体和12块五棱BaF_(2)晶体构成了外径25 cm,内径10 cm的球壳,覆盖了95.2%的立体角.利用GTAF在中国散裂中子源Back-n束线上,测量了197Au(n,γ)的反应截面数据.测量数据通过能量筛选、PSD方法、晶体多重性筛选进行了初步本底扣除,随后结合对^(nat)C及空样品的测量数据对本底进行了分析及扣除,获得了197Au俘获反应的产额,利用SAMMY程序拟合得到了^(197)Au在1—100 e V的共振能量、中子共振宽度和伽马共振宽度参数.实验测量结果与ENDF/B-VIII.0数据库符合良好,其共振参数存在一定差异,分析原因可能与GTAF能量分辨率、Back-n的中子能谱测量精度、以及实验本底扣除方法相关,这也是下一步工作的重点.
文摘Leslie Lamport提出的一种新逻辑:行为时序逻辑TLA(Temporal Logic of Actions),它能在一种语言中同时表达模型程序与逻辑规则。AVISPA是基于行为时序逻辑的用HLPSL语言编程的协议安全检测工具。文中提出对Kerberos协议角色化,然后用AVISPA工具对HLPSL编码进行检测,结果表明用基于TLA的检测工具是宜于使用且有效的。
