公开(公告)号：CN114817910A

公开(公告)日：2022-07-29

申请号：CN202210489619.8

申请日：2022-05-06

申请人： 北京智芯微电子科技有限公司 ,  武汉大学 ,  国网宁夏电力有限公司营销服务中心(国网宁夏电力有限公司计量中心) ,  国家电网有限公司

发明人： 张茜歌 ,  刘亮 ,  唐明 ,  赵东艳 ,  燕雪松 ,  王梦醒 ,  周永忠 ,  姜义初 ,  田瑞

IPC分类号： G06F21/55 ,  G06F8/75

摘要： 本发明公开了一种程序缓存泄露的检测方法和检测装置、存储介质、处理器，所述方法包括：获取程序的控制流图，并确定控制流图中敏感结点的结点类型；根据敏感结点的结点类型获取相应的泄露检测算法；根据泄露检测算法确定敏感结点是否存在缓存泄露。本发明的检测方法，能够有效检测到程序中是否存在缓存泄露，保证程序的理论安全性和提高程序的扩展性。

公开(公告)号：CN115794477B

公开(公告)日：2023-05-23

申请号：CN202310054470.5

申请日：2023-02-03

申请人： 北京智芯微电子科技有限公司 ,  北京大学

发明人： 刘亮 ,  刘先华 ,  张茜歌 ,  赵秀嘉 ,  李雷 ,  程旭 ,  孙玉峰 ,  周永忠

IPC分类号： G06F11/07 ,  G06F9/48

摘要： 本发明公开了一种程序的时间约束方法、装置、芯片、电子设备及存储介质。程序包括目标代码块、设于目标代码块的开始位置的第一时间约束指令和设于目标代码块的结束位置的时间检测指令，方法包括：执行第一时间约束指令，得到目标代码块的最大允许执行时长；执行目标代码块；执行时间检测指令，以在基于最大允许执行时长确定目标代码块执行超时时，进行超时异常提醒。由此，能够及时进行目标代码块的超时提醒，更合理且高效地实现资源的调度，以保证不同关键级别的任务都能够满足时间约束，提升了时序控制的精确度。

公开(公告)号：CN115618801A

公开(公告)日：2023-01-17

申请号：CN202211527653.6

申请日：2022-12-01

申请人： 北京智芯微电子科技有限公司 ,  天津大学

发明人： 李德建 ,  赵毅强 ,  刘亮 ,  张启智 ,  李雷 ,  陈琦 ,  周永忠 ,  姜义初

IPC分类号： G06F30/398 ,  G06F30/33

摘要： 本发明涉及芯片技术领域，其实施方式提供了一种缓存一致性检验方法、装置及电子设备。其中一种缓存一致性检验方法，包括：根据缓存模块在执行缓存指令时的硬件状态集合构建所述缓存模块对应的状态机模型；根据所述状态机模型在基于缓存一致性协议下的行为特征构建验证属性；将所述状态机模型和所述验证属性输入基于时间自动机的模型检测器，根据所述模型检测器的输出得到缓存一致性验证结果。本发明提供的实施方式提升了基于测试向量的仿真技术的完备性和协议级别验证的可靠性。

公开(公告)号：CN115618801B

公开(公告)日：2023-04-07

申请号：CN202211527653.6

申请日：2022-12-01

申请人： 北京智芯微电子科技有限公司 ,  天津大学

发明人： 李德建 ,  赵毅强 ,  刘亮 ,  张启智 ,  李雷 ,  陈琦 ,  周永忠 ,  姜义初

IPC分类号： G06F30/398 ,  G06F30/33

摘要： 本发明涉及芯片技术领域，其实施方式提供了一种缓存一致性检验方法、装置及电子设备。其中一种缓存一致性检验方法，包括：根据缓存模块在执行缓存指令时的硬件状态集合构建所述缓存模块对应的状态机模型；根据所述状态机模型在基于缓存一致性协议下的行为特征构建验证属性；将所述状态机模型和所述验证属性输入基于时间自动机的模型检测器，根据所述模型检测器的输出得到缓存一致性验证结果。本发明提供的实施方式提升了基于测试向量的仿真技术的完备性和协议级别验证的可靠性。

公开(公告)号：CN115794477A

公开(公告)日：2023-03-14

申请号：CN202310054470.5

申请日：2023-02-03

申请人： 北京智芯微电子科技有限公司 ,  北京大学

发明人： 刘亮 ,  刘先华 ,  张茜歌 ,  赵秀嘉 ,  李雷 ,  程旭 ,  孙玉峰 ,  周永忠

IPC分类号： G06F11/07 ,  G06F9/48

摘要： 本发明公开了一种程序的时间约束方法、装置、芯片、电子设备及存储介质。程序包括目标代码块、设于目标代码块的开始位置的第一时间约束指令和设于目标代码块的结束位置的时间检测指令，方法包括：执行第一时间约束指令，得到目标代码块的最大允许执行时长；执行目标代码块；执行时间检测指令，以在基于最大允许执行时长确定目标代码块执行超时时，进行超时异常提醒。由此，能够及时进行目标代码块的超时提醒，更合理且高效地实现资源的调度，以保证不同关键级别的任务都能够满足时间约束，提升了时序控制的精确度。

公开(公告)号：CN113919528A

公开(公告)日：2022-01-11

申请号：CN202111339720.7

申请日：2021-11-12

申请人： 国家电网有限公司 ,  重庆电力设计院有限责任公司 ,  重庆大学

发明人： 黎涛 ,  周永忠 ,  刘超 ,  张骏 ,  叶樊 ,  惠怡雯 ,  向春 ,  张磊 ,  周念成 ,  陶安琪 ,  池源

IPC分类号： G06Q10/00 ,  G06Q10/06 ,  G06Q50/06

摘要： 本发明公开了一种洪涝灾害下的配电网维护方法，包括:S1，结合待分析的配电网所在地区的洪涝灾害历史数据和气候条件，建立降雨量与设备故障率关系模型；S2，以配电网的状态维度、架构维度、时间维度建立配电网的韧性评估模型，并确定韧性评估模型的影响指标；S3，计算状态维度、架构维度、时间维度在韧性评估模型的权重数值，以及根据确定的指标数值隶属的评分等级区间，计算影响指标对应的韧性指标数值，计算并获得综合韧性指标，S4，根据综合韧性指标，并结合预定韧性指标与维护等级的关系信息向对应等级的维护人员发出维护指令。基于三维指标体系的配电网韧性评估模型，精准的向对应等级的维护人员发出维护指令，提高维护效率以及供电质量。