Checkmate2用于放射治疗加速器输出剂量检测的可行性

目的探讨Checkmate 2作为日检工具用于放射治疗加速器输出剂量检测的可行性。方法按照国际原子能机构(International Atomic Energy Agency,IAEA)第277号报告建议方法刻度Varian 2300CD加速器的两档光子线6、15 MV及五档电子线6、9、12、16、20 Me V,每日分别使用指型电离室和Checkmate 2测量各档能量100 MU的输出量,得出各自剂量偏差,最大允许偏差为±2%。分别实测环境温度气压值和读取Checkmate 2温度气压显示值,计算温度气压修正因子。连续进行3个月工作日共66次测量,比较每日各档能量测量值以及温度气压修正准确性。结果各档能量的电子线及X射线的Checkmate 2与指型电离室测量结果均满足绝对剂量偏差不超过2%的标准,且两者比较差异均无统计学意义(P>0.05)。实测及Checkmate 2测量得出的平均温度气压修正因子分别为1.032±0.007和1.033±0.007,两者差异无统计学意义(P=0.452);相关性分析显示两者呈正相关(r=0.92,P=0.000)。结论 Checkmate 2可真实反映加速器剂量输出的大体趋势,且测量工作耗时短、操作简便,是直线加速器晨检剂量输出检测的良好工具。     

基于STeC-Stateflow转换系统的实时系统仿真与验证方法

物联网以及信息物理融合系统对形式化建模提出了新的挑战, 引入了实时系统规范语言STeC, 为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换系统, 提出一种基于STeC至Stateflow转换的仿真及验证方法, 该方法使用STeC语言对实时系统进行形式化建模, 再建立实时监控的Simulink仿真模型, 并使用Checkmate对系统进行安全性验证。通过对京沪高铁运行的实例研究, 表明该方法对高铁运行系统实时仿真的有效性, 并能够验证高铁运行系统的安全性。