-
公开(公告)号：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: 本发明公开了一种顺序汇编指令程序的验证方法与系统，其中方法包括：对每一条汇编指令建立一个语义规则；依次读取每一条汇编指令，获取每一条指令的所有的操作数，并记录每个操作数的地址、操作数的初始数值和长度；对程序的所有指令依次将所有操作数-的数值规约为它们的初始值的表达式；对于每一条指令按照顺序依次根据相应的指令语义规则，生成相应的证明脚本。本发明方法从比较简单的汇编指令的语义规则、简单的单条汇编指令的语义证明脚本的生成方法出发，利用归纳技术方法得到整个顺序汇编指令程序语义的规约和验证脚本生成的方法，可以大大减少形式化工作的工作量。
-
公开(公告)号：CN111650921A
公开(公告)日：2020-09-11
申请号：CN202010431337.3
申请日：2020-05-20
Applicant: 国网江苏省电力有限公司泰州供电分公司 , 国电南瑞科技股份有限公司 , 国网江苏省电力有限公司南通供电分公司 , 国电南瑞南京控制系统有限公司 , 南瑞集团有限公司
Inventor： 陆志平 , 滕书宇 , 张勇 , 李云鹏 , 李俊 , 沈伟 , 何诗琦 , 全思平 , 李雷 , 翁蓓蓓 , 闪鑫 , 许颖文 , 韩锋 , 刘阳 , 鞠玲 , 智明 , 曹中来 , 姜秋云
IPC: G05B23/02
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
-
Patent Agency Ranking
公开(公告)号：CN111177705A
公开(公告)日：2020-05-19
申请号：CN201911326215.1
申请日：2019-12-20
Applicant: 全球能源互联网研究院有限公司 , 国家电网有限公司 , 国网江苏省电力有限公司南通供电分公司
Abstract: 本发明公开了一种嵌入式操作系统执行部件可信保障方法、装置及设备，其中，该嵌入式操作系统执行部件可信保障方法包括：校验BIOS程序和操作系统的OS镜像；当校验BIOS程序和OS镜像均成功时，获取目标应用程序，对目标用程序进行实时性校验和可信校验；根据实时性校验和可信校验的结果，运行或退出目标应用程序。该方法在保证了应用程序的实时性和可信性的基础上，保证了操作系统自身的安全性，通过实时校验应用程序，保证了操作系统实施机制的可信性。
-
公开(公告)号：CN119127921A
公开(公告)日：2024-12-13
申请号：CN202411014302.4
申请日：2024-07-26
Applicant: 国网智能电网研究院有限公司 , 国网江苏省电力有限公司南通供电分公司 , 国网江苏省电力有限公司 , 国家电网有限公司
IPC: G06F16/2452 , G06F16/2455 , G06F16/248 , G06N3/045 , G06N3/0895 , G06N3/042 , G06N3/043
Abstract: 一种电力设备数据智能交互方法、系统、设备及介质，包括：基于用户输入的查询信息进行数据库表信息检索，得到数据库表信息；基于查询信息进行电力设备知识库检索，得到业务知识计算逻辑和上下文学习示例；基于数据库表信息、业务知识计算逻辑和上下文学习示例创建提示，并将提示输入到大模型中生成数据库语句；运行数据库语句并判定是否成功，若成功则输出查询结果；否则进行错误校正，得到校正后的数据库语句并重新运行；数据库表信息检索可以实现对用户查询进行表字段链接、表主外键、表关联关系的抽取，提升模型生成数据库语言的准确率和性能，降低数据查询门槛，提高数据利用效率；电力设备知识库可以实现业务知识注入的灵活与可扩展性。
-
公开(公告)号：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镜像均成功时，获取目标文件系统，对目标文件系统进行可信校验；根据可信校验的结果，判断目标文件系统是否首次使用；当目标文件系统为首次使用，对目标文件系统进行格式化及加密，并存储格式化及加密后的目标文件系统。通过实施本发明，在嵌入式操作系统运行过程中，可以自动化完成对目标文件系统的初始化以及加密，减少了人为操作，且可以实现远程部署和实施，提高了数据的安全性以及可靠性。
-
公开(公告)号：CN119209565A
公开(公告)日：2024-12-27
申请号：CN202411311656.5
申请日：2024-09-20
Applicant: 国网江苏省电力有限公司南通市通州区供电分公司 , 国网江苏省电力有限公司南通供电分公司
IPC: H02J3/14
Abstract: 本发明公开了一种适用于区域电网的负荷控制策略生成方法及系统。该方法获取负荷用户的用电历史有功功率数据，并对有功功率数据进行预处理，形成预处理后的用电数据集；对预处理后的用户的用电数据集根据时间阶段和特定用户进行分段处理，生成时间序列，并依据所述时间阶段和特定用户的行为特征进行动态调整；将时间序列转化到频域空间，并识别用户用电曲线中的峰谷和波动模式。同时，考虑到地理特征、行业特征、规模特征以及负荷特性特征，结合聚类分析所得的用户分类结果与量化后的其他关键特征生成符合各类用户需求的负荷控制策略。此策略生成方法提高了负荷控制的针对性和适应性，可以帮助供电公司更好地调节电力供需矛盾需求。
-
-
-
-
-
-
-
-
-
Search Results
123
records
(took 0.184 seconds)
