一种基于深度学习的加速最大可满足性问题局部搜索方法

    公开(公告)号:CN115456179A

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

    申请号:CN202211199815.8

    申请日:2022-09-29

    Abstract: 本发明提出了一种基于深度学习的加速最大可满足性问题局部搜索方法,属于布尔可满足性问题的局部搜索求解技术领域。本发明可以在不同PMS局部搜索求解器使用之前,输入将要求解的对应PMS问题,随后通过门控图卷积神经网络(GGCN)和多边图卷积神经网络(MGCN)输出一组确定初始解分配。实验证明,以通过深度学习获得的初始解为搜索起点的不同局部搜索求解器均获得了巨大的求解性能提升。

    一种用于研究金属熔体凝固行为的水模拟装置及使用方法

    公开(公告)号:CN109183157A

    公开(公告)日:2019-01-11

    申请号:CN201811118648.3

    申请日:2018-09-26

    CPC classification number: C30B35/00

    Abstract: 一种用于研究金属熔体凝固行为的水模拟装置及使用方法,属于冶金研究技术领域,采用氯化铵水溶液模拟金属熔体,包括结晶容器、透明发热片、控温仪器、温度传感器,以及氯化铵水溶液。结晶容器采用透明材料制作而成,其内壁布置温度传感器,外壁粘附透明发热片,透明发热片通过电极与控温仪器连接。本发明通过透明发热片对氯化铵水溶液进行升温至其完全溶解;根据研究需要,调节结晶容器各壁面的温度,使氯化铵结晶;在降温时可通过氯化铵的结晶、生长过程模拟研究不可透视金属的凝固行为。本发明通过在结晶容器壁上粘附的透明加热片对氯化铵水溶液实现精确控温,在不降低观测效果的同时,解决目前物理模拟装置和方法无法实现精确控温和绝热的难题。

    一种用于研究金属熔体凝固行为的水模拟装置

    公开(公告)号:CN209128593U

    公开(公告)日:2019-07-19

    申请号:CN201821566144.3

    申请日:2018-09-26

    Abstract: 一种用于研究金属熔体凝固行为的水模拟装置,属于冶金研究技术领域,采用氯化铵水溶液模拟金属熔体,包括结晶容器、透明发热片、控温仪器、温度传感器,以及氯化铵水溶液。结晶容器采用透明材料制作而成,其内壁布置温度传感器,外壁粘附透明发热片,透明发热片通过电极与控温仪器连接。本实用新型通过透明发热片对氯化铵水溶液进行升温至其完全溶解;根据研究需要,调节结晶容器各壁面的温度,使氯化铵结晶;在降温时可通过氯化铵的结晶、生长过程模拟研究不可透视金属的凝固行为。本实用新型通过在结晶容器壁上粘附的透明加热片对氯化铵水溶液实现精确控温,在不降低观测效果的同时,解决目前物理模拟装置无法实现精确控温和绝热的难题。(ESM)同样的发明创造已同日申请发明专利

Patent Agency Ranking