-
公开(公告)号：CN109766268B
公开(公告)日：2019-10-25
申请号：CN201811543051.3
申请日：2018-12-17
Applicant: 南瑞集团有限公司 , 南京南瑞信息通信科技有限公司 , 国网江苏省电力有限公司南通供电分公司 , 国家电网有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种顺序汇编指令程序的验证方法与系统，其中方法包括：对每一条汇编指令建立一个语义规则；依次读取每一条汇编指令，获取每一条指令的所有的操作数，并记录每个操作数的地址、操作数的初始数值和长度；对程序的所有指令依次将所有操作数‑的数值规约为它们的初始值的表达式；对于每一条指令按照顺序依次根据相应的指令语义规则，生成相应的证明脚本。本发明方法从比较简单的汇编指令的语义规则、简单的单条汇编指令的语义证明脚本的生成方法出发，利用归纳技术方法得到整个顺序汇编指令程序语义的规约和验证脚本生成的方法，可以大大减少形式化工作的工作量。
-
公开(公告)号：CN109766268A
公开(公告)日：2019-05-17
申请号：CN201811543051.3
申请日：2018-12-17
Applicant: 南瑞集团有限公司 , 南京南瑞信息通信科技有限公司 , 国网江苏省电力有限公司南通供电分公司 , 国家电网有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种顺序汇编指令程序的验证方法与系统，其中方法包括：对每一条汇编指令建立一个语义规则；依次读取每一条汇编指令，获取每一条指令的所有的操作数，并记录每个操作数的地址、操作数的初始数值和长度；对程序的所有指令依次将所有操作数-的数值规约为它们的初始值的表达式；对于每一条指令按照顺序依次根据相应的指令语义规则，生成相应的证明脚本。本发明方法从比较简单的汇编指令的语义规则、简单的单条汇编指令的语义证明脚本的生成方法出发，利用归纳技术方法得到整个顺序汇编指令程序语义的规约和验证脚本生成的方法，可以大大减少形式化工作的工作量。
-
公开(公告)号：CN111045744A
公开(公告)日：2020-04-21
申请号：CN201911301758.8
申请日：2019-12-17
Applicant: 全球能源互联网研究院有限公司 , 国家电网有限公司 , 国网江苏省电力有限公司南通供电分公司
IPC: G06F9/4401 , G06F21/57
Abstract: 本发明公开了一种系统的可信验证启动方法及装置，应用于嵌入式操作系统，该方法包括：对系统BIOS进行可信度量；当系统BIOS可信时，将第一内核的第一控制权移交给所述系统BIOS；通过所述系统BIOS对可信计算系统镜像进行可信度量；当所述可信计算系统镜像可信时，装载所述可信计算系统镜像，并将所述第一控制权移交给所述可信计算系统，启动所述可信计算系统；对普通计算系统镜像进行可信度量；当所述普通计算系统镜像可信时，装载普通计算系统镜像，并将第二内核的第二控制权移交给所述普通计算系统，启动所述普通计算系统。本发明通过分别对可信计算系统和普通计算系统验证，保证了系统安全启动。
-
公开(公告)号：CN111045744B
公开(公告)日：2024-03-08
申请号：CN201911301758.8
申请日：2019-12-17
Applicant: 全球能源互联网研究院有限公司 , 国家电网有限公司 , 国网江苏省电力有限公司南通供电分公司
IPC: G06F9/4401 , G06F21/57
-
公开(公告)号：CN111177705A
公开(公告)日：2020-05-19
申请号：CN201911326215.1
申请日：2019-12-20
Applicant: 全球能源互联网研究院有限公司 , 国家电网有限公司 , 国网江苏省电力有限公司南通供电分公司
Abstract: 本发明公开了一种嵌入式操作系统执行部件可信保障方法、装置及设备，其中，该嵌入式操作系统执行部件可信保障方法包括：校验BIOS程序和操作系统的OS镜像；当校验BIOS程序和OS镜像均成功时，获取目标应用程序，对目标用程序进行实时性校验和可信校验；根据实时性校验和可信校验的结果，运行或退出目标应用程序。该方法在保证了应用程序的实时性和可信性的基础上，保证了操作系统自身的安全性，通过实时校验应用程序，保证了操作系统实施机制的可信性。
-
Patent Agency Ranking
公开(公告)号：CN111177752B
公开(公告)日：2023-02-10
申请号：CN201911326195.8
申请日：2019-12-20
Applicant: 全球能源互联网研究院有限公司 , 国家电网有限公司 , 国网江苏省电力有限公司南通供电分公司
Abstract: 本发明公开了一种基于静态度量的可信文件存储方法、装置及设备，其中，基于静态度量的可信文件存储方法包括：校验BIOS程序和操作系统的OS镜像；当校验BIOS程序和操作系统的OS镜像均成功时，获取目标文件系统，对目标文件系统进行可信校验；根据可信校验的结果，判断目标文件系统是否首次使用；当目标文件系统为首次使用，对目标文件系统进行格式化及加密，并存储格式化及加密后的目标文件系统。通过实施本发明，在嵌入式操作系统运行过程中，可以自动化完成对目标文件系统的初始化以及加密，减少了人为操作，且可以实现远程部署和实施，提高了数据的安全性以及可靠性。
-
公开(公告)号：CN111177752A
公开(公告)日：2020-05-19
申请号：CN201911326195.8
申请日：2019-12-20
Applicant: 全球能源互联网研究院有限公司 , 国家电网有限公司 , 国网江苏省电力有限公司南通供电分公司
Abstract: 本发明公开了一种基于静态度量的可信文件存储方法、装置及设备，其中，基于静态度量的可信文件存储方法包括：校验BIOS程序和操作系统的OS镜像；当校验BIOS程序和操作系统的OS镜像均成功时，获取目标文件系统，对目标文件系统进行可信校验；根据可信校验的结果，判断目标文件系统是否首次使用；当目标文件系统为首次使用，对目标文件系统进行格式化及加密，并存储格式化及加密后的目标文件系统。通过实施本发明，在嵌入式操作系统运行过程中，可以自动化完成对目标文件系统的初始化以及加密，减少了人为操作，且可以实现远程部署和实施，提高了数据的安全性以及可靠性。
-
公开(公告)号：CN118784595B
公开(公告)日：2025-02-11
申请号：CN202411276115.3
申请日：2024-09-12
Applicant: 国网江苏省电力有限公司南通供电分公司 , 国网江苏省电力有限公司
IPC: H04L47/76 , H04L47/83 , H04L67/1095 , H04L67/12 , H04L41/14
Abstract: 本发明公开了一种同步映射下电网边缘网络资源分配方法及平台，涉及电网资源分配技术领域。所述方法包括：对电网进行数字孪生建模，获取电网孪生模型，识别多个边缘节点；对多个边缘节点进行状态信息同步，输出每个边缘节点的状态信息；获取第一请求任务，进行分解，获取存储任务和计算任务，并预测所需的预测存储资源和预测计算资源；根据每个边缘节点的状态信息，获取标识存储边缘节点和标识计算边缘节点；对存储任务和计算任务进行资源分配，获取资源分配结果。解决了电网边缘网络资源难以根据实时状态进行调整的技术问题，通过数字孪生建模和实时状态信息同步，实现了电网边缘网络资源的精准分配，达到了提高电网资源利用率的技术效果。
-
公开(公告)号：CN118797626B
公开(公告)日：2024-12-20
申请号：CN202411276114.9
申请日：2024-09-12
Applicant: 国网江苏省电力有限公司南通供电分公司 , 国网江苏省电力有限公司
IPC: G06F21/53 , G06F30/20 , G06F18/213 , G06N3/044 , G06N3/08
Abstract: 本发明公开了基于孪生沙箱的电网安全管控方法及系统，涉及配电系统相关技术领域，该方法包括：对电网进行电网结构评价，根据电网结构评价结果建立数据同步节点，搭建电网的数字孪生模型。配置传感器网络，执行关键参数监测，建立实时共享数据集，并同步至所述数字孪生模型，生成第一安全预警结果。获取电网的电网任务，部署局部子模型。同步实时共享数据集，激活局部子模型进行局部异常识别，建立第二安全预警结果。对所述第一安全预警结果、第二安全预警结果进行认证识别，建立综合安全管控方案。解决了现有技术中电网监控和管理方法对于实时监测、异常预警的响应能力较差，导致电网运行的安全性与稳定性难以提高的技术问题。
-
公开(公告)号：CN118797966A
公开(公告)日：2024-10-18
申请号：CN202411276104.5
申请日：2024-09-12
Applicant: 国网江苏省电力有限公司南通供电分公司 , 国网江苏省电力有限公司
Abstract: 本发明提供了基于云边协同的电网数字孪生建模方法及平台，涉及数字处理技术领域，包括：集成分布式传感器网络，与多个实时监测单元通信连接，监测指标包括电流、电压、温度；部署边缘计算服务器，用以将实时监测数据上传并进行快速故障定位；对边缘计算服务器与云端处理器进行交互，动态调整调度策略，构建电网数字孪生模型；进行局部标记建立多个局部更新空间；匹配多个独立更新周期及优先级机制，自适应触发多个局部更新请求；在运行过程中进行自学习迭代加强，辅助目标电网的运维管理。本发明解决了现有技术的电网调度策略往往难以适应电网运行中的动态变化，缺乏智能化手段，导致资源浪费、系统不稳定的技术问题。
-
-
-
-
-
-
-
-
-
Search Results
30
records
(took 0.163 seconds)
