民航大涵道比涡扇发动机总体性能参数敏感性分析

由于人为误操作和数据库系统异步因素，电力系统监控数据存在错误风险，需要对监控数据进行多点校核来保障其一致性和正确性，可靠的监控数据保证电力系统的安全运转。然而多点校核业务流复杂且对数据精度要求高，目前的人工校核方法不仅成本高，且精度和效率低，不能保证整个监控数据的实时校核工作。为自动化监控数据多点校核过程，需要对整个业务流建模，针对该问题，提出一种基于Petri网的监控数据多点校核动态建模方法。首先将监控系统的校核业务背景形式化Petri网中的具有不同约束的节点；然后使用工作流Petri方法对校核的业务流程进行形式化定义、并将该业务流程用Petri网建模成为网状模型；最后，针对该模型提出一种化简技术对其进行化简，并证实该化简方法的有效性和该模型能拟合监控数据多点校核的整个流程。

Sensitivity Research on Gross Performance of Civil AviationHigh Bypass-ratio Turbofan Engine

According to the data Inconsistent problem of verification of multipoint about configuration data in power system, this paper presents a kind of modeling process on verification of multipoint which use Petri Net, combined with knowledge of the workflow Petri nets and do the formal definition about the business process. Then, present the corresponding mapping and modeling according to the background. This model use two technologies which areSreachableSgraph and Ssimplification method do the scientific analysis and verification. The paper demonstrates that the rationality and the reliability of the system use Petri Net.