Mission-oriented dynamic optimization model of carrying spares for warship redundant system | BIAI Journals & Magazine | IEEE Xplore