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

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

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

    公开(公告)号:CN115012398B

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

    申请号:CN202210760377.1

    申请日:2022-06-29

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

    一种制备模型透水管桩的装置

    公开(公告)号:CN109795025B

    公开(公告)日:2020-10-16

    申请号:CN201910136319.X

    申请日:2019-02-22

    Applicant: 东南大学

    Abstract: 本发明公开了一种制备模型透水管桩的装置,包括注浆管槽、套设在注浆管槽外且与注浆管槽同心设置的离心管槽以及套设在离心管槽外且与离心管槽同心设置的浆液收集管槽;还包括用于带动离心管槽转动的动力装置和胶凝浆液收集装置;所述注浆管槽与外部支撑架固定连接,所述离心管槽与浆液收集管槽通过轴承转动连接;所述注浆管槽与离心管槽之间的环形圆筒内填充有骨料,注浆管槽和离心管槽的侧壁上均设有多个通孔结构,注浆管槽通过进液管与胶凝浆液收集装置连通,浆液收集管槽通过出液管与胶凝浆液收集装置连接。本发明装置浇筑出的透水管桩胶凝浆液和骨料不会产生离析现象,透水管桩强度均匀,透水管桩各个部位渗透系数大小基本一致,并具有良好的透水效果。

Patent Agency Ranking