[发明专利]一种核电厂役检计划自动生成与校验的方法

权利要求书

1.一种核电厂役检计划自动生成与校验的方法，其特征在于：该方法具体包括：

步骤1、根据核电相关法规标准以及核电厂在役检测数据特点，建立核电厂役检计划模型；

步骤1.1、对核电厂换料大修进行编号；

步骤1.2、役检长周期计划按大修次数进行编排；

设定役检长周期计划共包含m个检验项目，则任意检验项目P_j(j＝1,2,3,...,m)的检查频度均通过一个特定格式的字符串Str_j表示，所述特定格式为：“大修编号”+“：”+“计划标识”+“_”组合；

步骤1.3、建立换料大修时间间隔约束条件和项目约束条件；

步骤2、通过役检计划服务器，完成役检长周期计划的自动编排；

步骤2.1、输入役检长周期计划包含的所有检验项目；

步骤2.2、确定约束条件，建立约束条件集合；

步骤2.3、每个检验项目配置相应的约束条件，形成检验项目与约束条件对照表，其中，一个检验项目可匹配多个约束条件；

步骤2.4、输入需自动生成长周期计划的时间跨度L；

步骤2.5、将长周期计划划分为L/120个全面在役检查周期，依次逐个完成每个全面在役检查周期跨度范围的计划自动编排；

任意单个全面在役检查周期的计划自动编制，以约束条件为主体，依次完成每个约束条件涉及的检验项目的计划自动编排；

设定上一个全面在役检查周期中全面在役检查对应的第m次大修，本周期内大修已实施至第m+r次大修，包含约束条件C_i(i＝1,2,3,...,n)的所有检验项目为P_j(j＝1,2,3,...,m)；

步骤2.5.1、计算获得当前约束条件C_i中是否存在有效的零点约束，若存在，则跳转至步骤2.5.2，若不存在，则跳转至步骤2.5.3；

步骤2.5.2、依据零点约束，计算获得检验项目P_j的初始大修编号值e_i为：

其中，z_i为零点约束常量值；T_q为第q次换料大修与役前检查实际的时间间隔；T_cur为当前两次相邻在役检查之间预设的时间间隔；

步骤2.5.3、计算获得当前约束条件C_i中是否存在有效的偏差约束，若存在，则跳转至步骤2.5.4，若不存在，则跳转至步骤2.5.6；

步骤2.5.4、依据偏差约束，计算检验项目P_j允许安排的大修范围[x_i,y_i]；

其中，x_i为最早的大修时间值；y_i为最晚的大修时间值；a_i为偏差约束常量值；b_i为偏差约束常量值；

步骤2.5.5、统计包含C_i约束条件且偏差约束为有效的检验项目数量∑P_j，按随机均分原则编排计划，在[x_i,y_i]大修范围内，从第x_i次大修开始，每个大修下分配个检验项目，并将Str_j中对应大修编号段的计划标识符更新为P；

步骤2.5.6、计算当前约束条件C_i中是否存在有效的偏差间隔约束，若存在，则跳转至步骤2.5.7，若不存在，则跳转至步骤2.5.9；

步骤2.5.7、设置存在有效间隔约束的检验项目的间隔零点，若为非首次编制计划，则以上次检验大修编号为间隔零点，否则按如下方式设置：统计包含C_i约束条件且间隔约束为有效的检验项目数量∑P_j，按随机均分原则编排计划，在[1,s_i]大修范围内，每个大修下分配个检验项目，并将Str_j中对应大修编号段的计划标识符更新为P，其中，s_i为间隔约束常量；

步骤2.5.8、根据间隔零点编制后续检查计划，将对应大修编号段l₀+s_i·k(k＝1,2,3,...)的计划标识符更新为P，其中，l₀为检验项目首次/上次检验大修编号；

步骤2.5.9、结束当前约束条件C_i涉及的检验项目的计划自动编制；依照上述步骤2.5.1～步骤2.5.8，依次完成剩余约束条件涉及的检验项目的计划编排；

步骤3、役检长周期计划手动调节后，由役检计划服务器完成自动校验。

2.根据权利要求1所述的一种核电厂役检计划自动生成与校验的方法，其特征在于：所述的步骤3中计划调节后的自动检验的具体步骤为：

步骤3.1、对长周期检查计划进行手动调整；

步骤3.2、役检计划服务器获取存在调整的检验项目P_j(j＝1,2,3,...,m)及其对应的约束条件C_i(i＝1,2,3,...,n)；

步骤3.3、针对每个存在调整的检验项目P_j，将其调整前与调整后的计划频度值Str_j和Str′_j转换为键值对集合，并进行对比；

步骤3.4、计算本次调整是否存在取消检验项目，若存在，则跳转至步骤3.5，若不存在，则该调整与法规标准无关，校验结束；

步骤3.5、获取检验项目P_j调整后的大修编号值h_k和取消计划的大修编号值f_l；

步骤3.6、计算检验项目P_j是否存在有效的偏差约束，若存在，则跳转至步骤3.7，若不存在则跳转至步骤3.9；

步骤3.7、依据检验项目P_j的偏差约束，计算获得d组允许偏差范围[x_i,y_i](i＝1,2,3,...,d)；

步骤3.8、依次判断每个h_k值是否落在上述计算得到的d组允许偏差范围的任意一组，若是，则该调整满足法规标准要求，校验结束，否则，不满足法规标准要求，校验结束；

步骤3.9、计算检验项目P_j是否存在有效的间隔约束，若存在，则跳转至步骤3.10，若不存在，则本次调整与法规标准无关，校验结束；

步骤3.10、依据检验项目P_j的间隔约束，判断每个f_l值前后计划标识为P的大修代号的间隔值getB(f_l)-getA(f_l)≤s_i，若是，则该调整满足法规标准要求，校验结束，否则，不满足法规标准要求，校验结束。