希望号工程师认为挑战者号的失事主要是因为()的设计有缺陷