循环结构的形式化推导

介绍了Dijkstra的形式化推导方法的主要思想、步骤及要点。该方法主张程序开发和程序证明同时进行,先确定好描述程序功能的断言,再通过形式化方法推导出正确的程序。选择具有代表性的循环结构的实例进行推导证明,并对循环结构的形式化推导进行阐述说明。     

航空发动机整机可靠性验证试验方法研究

高性能、高可靠性是现代航空发动机型号研制的主要目标,为确认发动机可靠性水平,需要在设计、制造、使用全过程中策划并开展各种不同的可靠性试验。本文针对航空发动机研制阶段的验证性试验,介绍了整机性能试验、振动试验、强度验证与考核试验、疲劳寿命试验和环境试验等整机可靠性试验方法。