Efficient computational method based on AK-MCS and Bayes formula for time-dependent failure probability function