-
公开(公告)号：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: 本发明公开了一种顺序汇编指令程序的验证方法与系统，其中方法包括：对每一条汇编指令建立一个语义规则；依次读取每一条汇编指令，获取每一条指令的所有的操作数，并记录每个操作数的地址、操作数的初始数值和长度；对程序的所有指令依次将所有操作数-的数值规约为它们的初始值的表达式；对于每一条指令按照顺序依次根据相应的指令语义规则，生成相应的证明脚本。本发明方法从比较简单的汇编指令的语义规则、简单的单条汇编指令的语义证明脚本的生成方法出发，利用归纳技术方法得到整个顺序汇编指令程序语义的规约和验证脚本生成的方法，可以大大减少形式化工作的工作量。
-
公开(公告)号：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镜像均成功时，获取目标应用程序，对目标用程序进行实时性校验和可信校验；根据实时性校验和可信校验的结果，运行或退出目标应用程序。该方法在保证了应用程序的实时性和可信性的基础上，保证了操作系统自身的安全性，通过实时校验应用程序，保证了操作系统实施机制的可信性。
-
公开(公告)号：CN111045744A
公开(公告)日：2020-04-21
申请号：CN201911301758.8
申请日：2019-12-17
Applicant: 全球能源互联网研究院有限公司 , 国家电网有限公司 , 国网江苏省电力有限公司南通供电分公司
IPC: G06F9/4401 , G06F21/57
Abstract: 本发明公开了一种系统的可信验证启动方法及装置，应用于嵌入式操作系统，该方法包括：对系统BIOS进行可信度量；当系统BIOS可信时，将第一内核的第一控制权移交给所述系统BIOS；通过所述系统BIOS对可信计算系统镜像进行可信度量；当所述可信计算系统镜像可信时，装载所述可信计算系统镜像，并将所述第一控制权移交给所述可信计算系统，启动所述可信计算系统；对普通计算系统镜像进行可信度量；当所述普通计算系统镜像可信时，装载普通计算系统镜像，并将第二内核的第二控制权移交给所述普通计算系统，启动所述普通计算系统。本发明通过分别对可信计算系统和普通计算系统验证，保证了系统安全启动。
-
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镜像均成功时，获取目标文件系统，对目标文件系统进行可信校验；根据可信校验的结果，判断目标文件系统是否首次使用；当目标文件系统为首次使用，对目标文件系统进行格式化及加密，并存储格式化及加密后的目标文件系统。通过实施本发明，在嵌入式操作系统运行过程中，可以自动化完成对目标文件系统的初始化以及加密，减少了人为操作，且可以实现远程部署和实施，提高了数据的安全性以及可靠性。
-
公开(公告)号：CN115580543A
公开(公告)日：2023-01-06
申请号：CN202211232040.X
申请日：2022-10-10
Applicant: 国网江苏省电力有限公司南通供电分公司
IPC: H04L41/147 , H04L47/20
Abstract: 本发明公开了一种基于哈希计数的网络系统活跃度评估方法，采用Coco Sketch这一数据结构统计各个节点的信息，完成对各类数据的初步统计，并使用最小堆来对信息进行排序。在此基础上，设计了相应的系统活跃度评价算法，从多个角度对网络节点的系统活跃度进行综合评价，最终，将得到的网络节点活跃度信息进行整理，并将结果以可视化的方式展示出来，完成对其活跃度的综合评估。本发明设计了相应的统计算法，完成了对各类数据的初步统计，最后将结果进行可视化，综合评估网络系统的活跃度。
-
公开(公告)号：CN119458344A
公开(公告)日：2025-02-18
申请号：CN202411761033.8
申请日：2024-12-03
Applicant: 国网江苏省电力有限公司南通供电分公司
IPC: B25J9/16
Abstract: 本发明提供一种基于视觉识别与引导的自动配线机器人，涉及机器人技术领域。该基于视觉识别与引导的自动配线机器人，所述机器人包括工业相机以及机械臂，所述工业相机安装在机械臂末端；所述机器人为Eye‑In‑Hand的手眼模型，包括ECT以及EBT，其中，ECT是工具坐标系到相机坐标系的变换矩阵，通过手眼标定来确定；EBT是工具坐标系与基坐标系之间的变换矩阵，作业时根据控制器中的欧拉角信息进行转换计算得到。针对电器制造领域中自动化配线的需求，设计并实现了一套基于工业机器人和机器视觉技术的自动配线系统，通过关键算法的设计和实验验证，该系统能够高效、准确地完成线缆端子的识别、抓取、位姿估计与调整，以及末端视觉引导等关键环节。
-
公开(公告)号：CN115580543B
公开(公告)日：2023-07-14
申请号：CN202211232040.X
申请日：2022-10-10
Applicant: 国网江苏省电力有限公司南通供电分公司
IPC: H04L41/147 , H04L47/20
Abstract: 本发明公开了一种基于哈希计数的网络系统活跃度评估方法，采用Coco Sketch这一数据结构统计各个节点的信息，完成对各类数据的初步统计，并使用最小堆来对信息进行排序。在此基础上，设计了相应的系统活跃度评价算法，从多个角度对网络节点的系统活跃度进行综合评价，最终，将得到的网络节点活跃度信息进行整理，并将结果以可视化的方式展示出来，完成对其活跃度的综合评估。本发明设计了相应的统计算法，完成了对各类数据的初步统计，最后将结果进行可视化，综合评估网络系统的活跃度。
-
-
-
-
-
-
-
-
-
Search Results
366
records
(took 0.171 seconds)
