Spare parts optimization model of warship formation based on gravitational search algorithm | IEEE Conference Publication | IEEE Xplore