水力模型 液压泵 质量监督 Petri网 发动机设计 泵出口压力 涡喷发动机 系统的可靠性