【技术实现步骤摘要】
本申请涉及核电，特别是涉及一种开发方案的验证方法、装置、计算机设备和存储介质。
技术介绍
1、核电站是一个非常复杂且庞大的系统，在新型号总体设计阶段，存在开发需求模糊、设计输入缺失，关键技术成熟度低、研发周期长等诸多技术难题。基于模型的系统工程（model-based systems engineering，mbse）是一种基于模型的数字化设计方法。该方法相对于之前基于文档的设计方法，能够通过数字模型的方式建立需求与功能之间的追溯关系，从而实现基于数字模型的功能设计早期验证，以确认总体设计工作是否符合型号开发要求。
2、在功能设计时，需确保在核电型号的开发方案中，开发需求都能全部落实到具体的功能设计中，同时也需确保各层级功能设计的逻辑性，避免各层级功能设计的输入输出之间产生循环依赖，否则功能设计将无法正常开展。因此，亟需一种能快速验证核电型号的功能设计的方法。
技术实现思路
1、基于此，有必要针对上述技术问题，提供一种能够快速验证核电型号的功能设计的开发方案的验证方法、装置、计算机设备和存储介质。
2、第一方面，本申请提供了一种开发方案的验证方法，包括：
3、获取针对拟开发核电型号的开发需求信息和基于所述开发需求信息确定的开发方案中的开发功能信息；
4、根据所述开发功能信息，采用系统建模语言sysml对所述拟开发核电型号的开发功能进行建模，得到所述拟开发核电型号的模拟功能系统；
5、采用sysml，对所述模拟功能系统进行仿
6、在其中一个实施例中，所述开发功能包括至少两类开发功能，所述至少两类开发功能包括运行类开发功能和安全类开发功能；
7、所述开发功能信息包括每一类开发功能对应的功能数据；每一类开发功能对应的功能数据包括该类开发功能下各开发功能的功能参数和各开发功能之间的关联关系。
8、在其中一个实施例中，所述根据所述开发功能信息，采用系统建模语言sysml对所述拟开发核电型号的开发功能进行建模，得到所述拟开发核电型号的模拟功能系统，包括：
9、针对每一类开发功能，采用sysml，根据该类开发功能下各开发功能的功能参数，创建各开发功能对应的活动；
10、根据各开发功能之间的关联关系，创建各活动之间的控制流和对象流；
11、根据各开发功能对应的活动，以及各活动之间的控制流和对象流，创建该类开发功能对应的模拟功能系统。
12、在其中一个实施例中，所述采用sysml，对所述模拟功能系统进行仿真，并根据仿真结果和所述开发需求信息对所述开发方案进行验证，包括：
13、采用sysml，对各类开发功能对应的模拟功能系统进行仿真，得到各类开发功能对应的仿真结果；
14、根据各类开发功能对应的仿真结果，对所述开发方案进行正确性验证；
15、采用sysml，根据所述开发需求信息，对所述开发方案进行完备性验证。
16、在其中一个实施例中，所述根据各类开发功能对应的仿真结果，对所述开发方案进行正确性验证，包括：
17、若根据各类开发功能对应的仿真结果，确定对各类开发功能对应的模拟功能系统的仿真过程顺利完成，则确定所述开发方案具有正确性；
18、若根据各类开发功能对应的仿真结果，确定存在任一类开发功能对应的模拟功能系统的仿真过程异常中断，则根据该类开发功能对应的仿真结果生成正确性异常报告。
19、在其中一个实施例中，所述开发需求信息包括至少两个开发需求；所述采用sysml，根据所述开发需求信息，对所述开发方案进行完备性验证，包括：
20、采用sysml，根据各开发需求和各开发功能，构建功能需求追踪矩阵；
21、根据所述功能需求追踪矩阵中开发功能和开发需求之间的追踪关系，对所述开发方案进行完备性验证。
22、在其中一个实施例中，所述根据所述功能需求追踪矩阵中开发功能和开发需求之间的追踪关系，对所述拟开发核电型号的开发方案进行完备性验证，包括：
23、若各开发需求均与至少一个开发功能具有追踪关系，则确定所述开发方案具有完备性；
24、若存在任一开发需求不存在具有追踪关系的开发功能，则根据所述开发需求生成完备性异常报告。
25、第二方面，本申请还提供了一种开发方案的验证装置，包括：
26、信息获取模块，用于获取针对拟开发核电型号的开发需求信息和基于所述开发需求信息确定的开发方案中的开发功能信息；
27、系统建模模块，用于根据所述开发功能信息，采用系统建模语言sysml对所述拟开发核电型号的开发功能进行建模，得到所述拟开发核电型号的模拟功能系统；
28、方案验证模块，用于采用sysml，对所述模拟功能系统进行仿真，并根据仿真结果和所述开发需求信息对所述开发方案进行验证。
29、第三方面，本申请还提供了一种计算机设备，包括存储器和处理器，所述存储器存储有计算机程序，所述处理器执行所述计算机程序时实现以下步骤：
30、获取针对拟开发核电型号的开发需求信息和基于所述开发需求信息确定的开发方案中的开发功能信息；
31、根据所述开发功能信息，采用系统建模语言sysml对所述拟开发核电型号的开发功能进行建模，得到所述拟开发核电型号的模拟功能系统；
32、采用sysml，对所述模拟功能系统进行仿真，并根据仿真结果和所述开发需求信息对所述开发方案进行验证。
33、第四方面，本申请还提供了一种计算机可读存储介质，其上存储有计算机程序，所述计算机程序被处理器执行时实现以下步骤：
34、获取针对拟开发核电型号的开发需求信息和基于所述开发需求信息确定的开发方案中的开发功能信息；
35、根据所述开发功能信息，采用系统建模语言sysml对所述拟开发核电型号的开发功能进行建模，得到所述拟开发核电型号的模拟功能系统；
36、采用sysml，对所述模拟功能系统进行仿真，并根据仿真结果和所述开发需求信息对所述开发方案进行验证。
37、第五方面，本申请还提供了一种计算机程序产品，包括计算机程序，该计算机程序被处理器执行时实现以下步骤：
38、获取针对拟开发核电型号的开发需求信息和基于所述开发需求信息确定的开发方案中的开发功能信息；
39、根据所述开发功能信息，采用系统建模语言sysml对所述拟开发核电型号的开发功能进行建模，得到所述拟开发核电型号的模拟功能系统；
40、采用sysml，对所述模拟功能系统进行仿真，并根据仿真结果和所述开发需求信息对所述开发方案进行验证。
41、上述开发方案的验证方法、装置、计算机设备和存储介质，通过获取针对拟开发核电型号的开发需求信息和基于开发需求信息确定的开发方案中的开发功能信息，并根据开发功能信息，采本文档来自技高网...
【技术保护点】
1.一种开发方案的验证方法，其特征在于，所述方法包括：
2.根据权利要求1所述的方法，其特征在于，所述开发功能包括至少两类开发功能，所述至少两类开发功能包括运行类开发功能和安全类开发功能；
3.根据权利要求2所述的方法，其特征在于，所述根据所述开发功能信息，采用系统建模语言SysML对所述拟开发核电型号的开发功能进行建模，得到所述拟开发核电型号的模拟功能系统，包括：
4.根据权利要求2所述的方法，其特征在于，所述采用SysML，对所述模拟功能系统进行仿真，并根据仿真结果和所述开发需求信息对所述开发方案进行验证，包括：
5.根据权利要求4所述的方法，其特征在于，所述根据各类开发功能对应的仿真结果，对所述开发方案进行正确性验证，包括：
6.根据权利要求4所述的方法，其特征在于，所述开发需求信息包括至少两个开发需求；所述采用SysML，根据所述开发需求信息，对所述开发方案进行完备性验证，包括：
7.根据权利要求6所述的方法，其特征在于，所述根据所述功能需求追踪矩阵中开发功能和开发需求之间的追踪关系，对所述开发方案进
8.一种开发方案的验证装置，其特征在于，所述装置包括：
9.一种计算机设备，包括存储器和处理器，所述存储器存储有计算机程序，其特征在于，所述处理器执行所述计算机程序时实现权利要求1至7中任一项所述的方法的步骤。
10.一种计算机可读存储介质，其上存储有计算机程序，其特征在于，所述计算机程序被处理器执行时实现权利要求1至7中任一项所述的方法的步骤。
...【技术特征摘要】
1.一种开发方案的验证方法，其特征在于，所述方法包括：
2.根据权利要求1所述的方法，其特征在于，所述开发功能包括至少两类开发功能，所述至少两类开发功能包括运行类开发功能和安全类开发功能；
3.根据权利要求2所述的方法，其特征在于，所述根据所述开发功能信息，采用系统建模语言sysml对所述拟开发核电型号的开发功能进行建模，得到所述拟开发核电型号的模拟功能系统，包括：
4.根据权利要求2所述的方法，其特征在于，所述采用sysml，对所述模拟功能系统进行仿真，并根据仿真结果和所述开发需求信息对所述开发方案进行验证，包括：
5.根据权利要求4所述的方法，其特征在于，所述根据各类开发功能对应的仿真结果，对所述开发方案进行正确性验证，包括：
...
【专利技术属性】
技术研发人员：陈钊，严波，陈辰，汤京华，徐伟峰，段承杰，
申请(专利权)人：中广核研究院有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。