一种快慢时仿真实现方法、系统及介质

    公开(公告)号:CN115343965B

    公开(公告)日:2024-09-10

    申请号:CN202211164636.0

    申请日:2022-09-23

    Abstract: 本发明实施例提供一种快慢时仿真实现方法、系统及介质,包括:加载实时的人机操作或者加载之前已记录的人机操作;判断加载人机操作的当前仿真速度是否有更改,若是,则根据当前仿真速度调节仿真内核的时间类控件的时间参数,以实现快慢时仿真。本发明实施例解决了现有技术中虚拟安全级显示站难以实现快慢时仿真的技术问题;本发明实施例使得虚拟SVDU仿真内核在快慢时仿真时时间类控件与非时间类控件的实现剥离,在保证实验准确性的前提下,大大缩短试验时间,提高试验效率。

    基于三状态变量有限状态机的核DCS回溯方法及系统

    公开(公告)号:CN112363869A

    公开(公告)日:2021-02-12

    申请号:CN202011301111.8

    申请日:2020-11-19

    Abstract: 本发明公开了基于三状态变量有限状态机的核DCS回溯方法,包括以下步骤:S1:在核安全级系统经典有限状态机的基础上建立记忆态变量模块;所述记忆态变量模块用于存储记忆态变量;所述记忆态变量为有限状态机在现态之前状态的变量;S2:在核安全级系统进行回溯时,将所述记忆态变量赋值于所述有限状态机的现态变量后根据有限状态机的现态进行回溯。本发明还公开了基于三状态变量有限状态机的核DCS回溯系统。本发明基于三状态变量有限状态机的核DCS回溯方法及系统,能够有效的实现对重复迁移路径应用的化简,实现核安全级系统进行状态回溯时,可以快速进行回退和回放操作,并在核安全级DCS中使用时效果良好。

    一种核级安全显示装置及其组态-解析系统

    公开(公告)号:CN111488631A

    公开(公告)日:2020-08-04

    申请号:CN202010595078.8

    申请日:2020-06-28

    Abstract: 本发明公开了一种核级安全显示装置及其组态-解析系统,本发明的组态-解析系统包括组态编辑器、组态编译器和组态解析器;组态编辑器用于实现工程组态页面设计和参数配置,生成用户组态数据的xml描述文件;组态编译器对用户组态数据的xml描述文件进行转换,生成组态配置数据文件;在核级安全显示装置的实体机或模拟机或上位机部署有组态解析器;组态解析器用于组态配置数据文件的解析并周期性产生包括内部变量数据、工程页面数据以及人机操作数据的运行数据。本发明采用参数化的组态配置数据构造方法实现核级安全显示装置的工程组态编辑、编译以及解析运行,避免使用形式化等数学方法来验证翻译过程的可信度证明和验算活动巨大的工作量。

    用于虚拟SVDU的过程数据存取方法及系统

    公开(公告)号:CN118092790A

    公开(公告)日:2024-05-28

    申请号:CN202311866950.8

    申请日:2023-12-28

    Abstract: 本发明公开了一种用于虚拟SVDU的过程数据存取方法及系统,过程数据存取方法将SVDU中的多种过程数据分为人机输入数据、画面数据、逻辑信息数据三个类别,并确定不同类别过程数据的差分存储时间间隔;对人机输入数据、画面数据按各自对应的时间间隔进行采集存储,采用两个存储周期T1、T2对虚拟SVDU中的逻辑信息数据进行存储,在每个T2内,仅选择在一个T1内对逻辑信息数据进行一次全数据存储作为基础数据,在其余的T1内仅存储当前时刻的逻辑信息数据与最新存储的基础数据或者上一个T1的逻辑信息数据相比得到的变化数据。本发明极大地减小了虚拟SVDU运行中的过程存储数据量,降低了虚拟SVDU对计算机硬件资源的需求,支持了微型低功耗主机在虚拟SVDU上的应用。

    一种基于FPGA的自诊断方法

    公开(公告)号:CN109839918B

    公开(公告)日:2020-10-27

    申请号:CN201910168374.7

    申请日:2019-03-06

    Abstract: 本发明公开了一种基于FPGA的自诊断方法,所述方法包括:对优选模块的输入接口、优选模块的驱动输出接口和优选模块的优先级逻辑进行诊断;对优选模块的输入接口进行诊断包括:将优选模块的同源输入接口信号进行比对,查看是否一致;对优选模块的驱动输出接口进行诊断包括:将优选模块的输出控制逻辑与输出反馈信号进行比对,查看是否一致;对优选模块的优先级逻辑进行诊断包括:在对优选模块的输入指令进行优先级逻辑选择时,同时进行优先级逻辑诊断,即把存入内部ROM或逻辑中优先级真值表数据全部读出进行CRC校验,查看CRC校验是否正确;为优选模块对不同系统的信号进行优先级判断,确定被驱动设备按照正确的信号执行动作提供了保障。

Patent Agency Ranking