公共文化服务平台

利用信息同构验证画面组态的方法和系统: 本发明涉及核电站安全控制的技术领域，为了解决现有技术中SVDU画面组态验证过程中，执行效率不高、工作质量过于依赖人为因素的技术问题；本发明提供一种利用信息同构验证画面组态的方法和系统，所述方法包括：S1、建立画面组态的验...; 周良江国进孙永滨白涛张磊张亚栋杜乔瑞张冬伟高超赵勇王海龙

工程应用软件的验证方法及相关装置: 本发明公开了一种工程应用软件的验证方法及相关装置，可以获得工程应用软件的编译标识码、编译时间戳和算法库编译信息，其中，编译标识码为工程应用软件在编译过程生成的标识码，编译时间戳为工程应用软件在编译过程生成的时间戳，算法库...; 高贺周良冯健村钟丽洁

一种流程画面校验方法、装置、电子设备和可读存储介质: 本发明涉及一种流程画面校验方法、装置、电子设备和可读存储介质，可以通过对流程画面中的每个设备图符的选择、点击等操作时，相应界面以及相应的操作部位自动进行文字识别，从而获得对设备图符进行操作过程中的图符标识、设备标识、操作...; 周良刘鹏飞徐先柱杨星星

核级系统、软件和硬件的V&V研究与应用: 2023年; 软件验证和确认(V&V)技术对于提高核电站安全级仪控系统的软件质量发挥着重要作用。在核安全级数字化控制系统(DCS)中,系统、硬件与软件三者同等重要且密不可分,因此有必要将系统和硬件也纳入V&V的范围。讨论了针对核安全级DCS中系统、软件和硬件的V&V标准体系,提出融合新核安全导则HAD 102/10—2021和新工业标准IEEE Std 1012^(TM)-2016关于生命周期要求的V&V过程模型,并阐述了3类V&V活动之间的交互关系及系统V&V和硬件V&V中的重点任务。该研究成果在自主化核安全级仪控平台和睦系统的研制及某核电站DCS工程典型项目的成功应用中,取得了良好效果。其满足核安全级DCS的质量控制需求,同时也符合HAD 102/10—2021的新监管要求。该研究为我国核行业实施系统和硬件的V&V提供了技术借鉴,有助于提升产品安全性和可靠性,也对其他高可靠性领域系统的质量控制有重要参考意义。; 张亚栋周良徐先柱朱剑武方杰; 关键词：数字化控制系统

利用信息同构验证画面组态的方法和系统: 本发明涉及核电站安全控制的技术领域，为了解决现有技术中SVDU画面组态验证过程中，执行效率不高、工作质量过于依赖人为因素的技术问题；本发明提供一种利用信息同构验证画面组态的方法和系统，所述方法包括：S1、建立画面组态的验...; 周良江国进孙永滨白涛张磊张亚栋杜乔瑞张冬伟高超赵勇王海龙; 文献传递

一种利用数据流同构验证控制系统算法组态图的方法及系统: 本发明涉及一种利用数据流同构验证控制系统算法组态图的方法及系统，属于软件技术领域，解决了现有的方法执行效率低和验证质量差等问题。分别对功能图和算法组态图进行算法组态信息辨识，获得功能图信息和算法组态图信息；根据所述功能图...; 周良杜乔瑞张亚栋张磊张冬伟任保华杨晨杨利胡加永刘邦信李静霞

一种对多项数据进行归一化的一致性验证方法及装置: 本发明涉及一种对多项数据进行归一化的一致性验证方法及装置，属于数据一致性验证领域，解决了现有核电系统中多项数据由于人工验证造成的效率低下、错误率高的问题。包括以下步骤：获取基准数据文件和对象数据文件；预设数据规则表，以建...; 周良张亚栋杜乔瑞张志豪张磊张冬伟; 文献传递

一种核电安全控制显示设备数据库的智能验证方法及系统: 本发明涉及一种核电安全控制显示设备数据库的智能验证方法及系统，属于核电安全控制显示数据库技术领域，解决了现有人工验证安全控制显示设备数据库错误率高，效率低的问题。该方法包括：根据受控设备执行的功能确定其类型；根据受控设备...; 胡加永杜乔瑞张亚栋周良张冬伟张磊梁中起

一种利用数据流同构验证控制系统算法组态图的方法及系统: 本发明涉及一种利用数据流同构验证控制系统算法组态图的方法及系统，属于软件技术领域，解决了现有的方法执行效率低和验证质量差等问题。分别对功能图和算法组态图进行算法组态信息辨识，获得功能图信息和算法组态图信息；根据所述功能图...; 周良杜乔瑞张亚栋张磊张冬伟任保华杨晨杨利胡加永刘邦信李静霞; 文献传递

一种对多项数据进行归一化的一致性验证方法及装置: 本发明涉及一种对多项数据进行归一化的一致性验证方法及装置，属于数据一致性验证领域，解决了现有核电系统中多项数据由于人工验证造成的效率低下、错误率高的问题。包括以下步骤：获取基准数据文件和对象数据文件；预设数据规则表，以建...; 周良张亚栋杜乔瑞张志豪张磊张冬伟; 文献传递

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

周良