基于模型检测的安全级控制系统模型正确性判定技术研究数据集

为保障研究工作的科学性及数据的真实性、可用性，我们的研究数据来源主要分为三大类，具体如下，所有数据均经规范整理与质量校验后投入使用：首先是课题书明确的各项研究任务。我们依据课题任务书要求，对各项研究任务开展测试验证、数据采集与汇总工作，确保数据贴合研究目标。其次是中国核动力研究设计院（简称“核动力院”）提供的实例数据。最后是研究团队结合实际场景自主编写的数据。我们参考课题要求及核动力院实例特征，自主构建模拟场景、编写数据，补充现有数据不足，丰富数据维度，保障研究的全面性。

To ensure the scientific rigor, authenticity and usability of the research, the dataset sources are primarily categorized into three groups as detailed below. All data have undergone standardized curation and quality validation prior to deployment in the research.
First, data derived from the research tasks explicitly specified in the project proposal. In compliance with the requirements outlined in the project task document, we perform test validation, data collection and aggregation for each research task, ensuring that the collected data aligns with the core research objectives.
Second, case datasets provided by the China Nuclear Power Research and Design Institute (abbreviated as "Nuclear Power Institute").
Finally, independently compiled datasets developed by the research team based on real-world scenarios. Drawing upon the project requirements and the characteristics of the case datasets from the Nuclear Power Institute, we independently construct simulation scenarios and compile corresponding data to fill the gaps in existing datasets, enrich the diversity of data dimensions, and guarantee the overall comprehensiveness of the research.