一种程序运行过程符合性验证方法

    公开(公告)号:CN112579437B

    公开(公告)日:2022-11-29

    申请号:CN202011378877.6

    申请日:2020-12-01

    Abstract: 本发明提出了一种程序运行过程符合性验证方法,包括动态插桩和过程验证两个环节,动态插桩工作时,接收并解析用户传入的指令,执行插桩启停过程,并回传过程数据日志;过程验证接收过程数据日志,提取日志中方法间的关系建立过程图模型,并将过程图模型与标准规则进行顺序匹配,从而验证程序运行过程的标准符合性。本发明通过插桩埋点、数据建模等方法直观、定量地展示出程序运行时内部的执行流程信息,提供了一种程序运行流程验证的方法,填补了针对软件运行过程符合性验证的空白。

    一种大直径钢管混凝土构造及施工方法

    公开(公告)号:CN115012398A

    公开(公告)日:2022-09-06

    申请号:CN202210760377.1

    申请日:2022-06-29

    Abstract: 本发明公开一种大直径钢管混凝土构造及施工方法,包括若干组拼装钢管,每组拼装钢管外壁周向上固定设置有第一材料层,拼装钢管内壁周向上固定设置有第二材料层;拼装钢管内侧中部轴线上设置有若干组圆筒,若干组圆筒外壁上固定连接有加劲连接件,加劲连接件远离圆筒的一端与拼装钢管内壁固定连接;圆筒内部填充有相变降温材料;每相邻两组钢管的连接处内部填充有用于接缝连接的UHPC层。本发明利用新构造、新材料来解决当前大直径钢管混凝土水化热损伤严重、耐久性能病害严重的问题;所有构件均采用在工厂标准化预制生产,在施工现场进行定位与拼装连接,实现在工程现场的快速拼装施工,最大程度降低对施工环境的影响。

    一种程序运行过程符合性验证方法

    公开(公告)号:CN112579437A

    公开(公告)日:2021-03-30

    申请号:CN202011378877.6

    申请日:2020-12-01

    Abstract: 本发明提出了一种程序运行过程符合性验证方法,包括动态插桩和过程验证两个环节,动态插桩工作时,接收并解析用户传入的指令,执行插桩启停过程,并回传过程数据日志;过程验证接收过程数据日志,提取日志中方法间的关系建立过程图模型,并将过程图模型与标准规则进行顺序匹配,从而验证程序运行过程的标准符合性。本发明通过插桩埋点、数据建模等方法直观、定量地展示出程序运行时内部的执行流程信息,提供了一种程序运行流程验证的方法,填补了针对软件运行过程符合性验证的空白。

    一种微服务软件架构识别与度量方法

    公开(公告)号:CN112579436B

    公开(公告)日:2022-11-29

    申请号:CN202011378841.8

    申请日:2020-12-01

    Abstract: 本发明提出了一种微服务软件架构识别与度量方法,对待检测的原始微服务JAR包进行预处理,将JAR包进行文件目录解构和冗余项过滤;根据微服务软件架构特征体系,提取待测软件的微服务规模特征、微服务构件特征和微服务拓扑特征,其中微服务规模特征采用子服务数量作为特征项,构件特征采用服务注册与发现组件、负载均衡组件作为特征项,微服务拓扑特征采用网关组件作为特征项;构建微服务软件架构符合度模型,计算待测软件遵循微服务架构的概率,决策得到待测软件是微服务程序的可能性。本发明填补了传统软件评测在技术框架符合性评估领域的空白,能够自动恢复待测软件的技术框架,并分析软件对微服务架构的符合性。

    一种基于5G边界控制器的电力设备在线监测系统

    公开(公告)号:CN113765215A

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

    申请号:CN202110812284.4

    申请日:2021-07-19

    Abstract: 本发明公开了一种基于5G边界控制器的电力设备在线监测系统,包括监测模块、5G边界控制器、报警模块、物联网云平台;所述监测模块将采集的视频信号发送给5G边界控制器,5G边界控制器对视频信号计算和分析,当分析出异常情况时产生第一报警信号,将第一报警信号传输至物联网云平台;监测模块将采集的除视频信号外的其他信号发送给报警模块,报警模块根据其他信号的各类数据判断是否超出设定的参考值,若超出则向5G边界控制器发送第二报警信号,5G边界控制器接收第二报警信号后将其发送至物联网云平台。本发明支持多种工业通信规约来接入工业设备,提升了工业设备的开放性,将传统的电气一次设备升级为物联网数据节点,传输更加高效。

    一种微服务软件架构识别与度量方法

    公开(公告)号:CN112579436A

    公开(公告)日:2021-03-30

    申请号:CN202011378841.8

    申请日:2020-12-01

    Abstract: 本发明提出了一种微服务软件架构识别与度量方法,对待检测的原始微服务JAR包进行预处理,将JAR包进行文件目录解构和冗余项过滤;根据微服务软件架构特征体系,提取待测软件的微服务规模特征、微服务构件特征和微服务拓扑特征,其中微服务规模特征采用子服务数量作为特征项,构件特征采用服务注册与发现组件、负载均衡组件作为特征项,微服务拓扑特征采用网关组件作为特征项;构建微服务软件架构符合度模型,计算待测软件遵循微服务架构的概率,决策得到待测软件是微服务程序的可能性。本发明填补了传统软件评测在技术框架符合性评估领域的空白,能够自动恢复待测软件的技术框架,并分析软件对微服务架构的符合性。

    一种大直径钢管混凝土构造及施工方法

    公开(公告)号:CN115012398B

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

    申请号:CN202210760377.1

    申请日:2022-06-29

    Abstract: 本发明公开一种大直径钢管混凝土构造及施工方法,包括若干组拼装钢管,每组拼装钢管外壁周向上固定设置有第一材料层,拼装钢管内壁周向上固定设置有第二材料层;拼装钢管内侧中部轴线上设置有若干组圆筒,若干组圆筒外壁上固定连接有加劲连接件,加劲连接件远离圆筒的一端与拼装钢管内壁固定连接;圆筒内部填充有相变降温材料;每相邻两组钢管的连接处内部填充有用于接缝连接的UHPC层。本发明利用新构造、新材料来解决当前大直径钢管混凝土水化热损伤严重、耐久性能病害严重的问题;所有构件均采用在工厂标准化预制生产,在施工现场进行定位与拼装连接,实现在工程现场的快速拼装施工,最大程度降低对施工环境的影响。

Patent Agency Ranking