发送短信 : Redundancy allocation for a high security control system using estimation of distribution algorithm