理论物理所等在模拟电弱一阶相变研究中获进展