论文部分内容阅读
随着遥感应用领域及范围的日益扩大,遥感产品生产的规模也越来越大,为了解决遥感产品生产的专业化、规模化、快速化等问题,需要设计构建可读性强,且能被计算机接受的遥感产品生产模型。传统的工作流模型或者流程图并不能有效地描述复杂的遥感产品生产过程,使得遥感产品生产线无法满足行业用户的需求。当前遥感产品的生产的主要思想是算法组件化,为了适应遥感产品生产特点的变化,本文提出了基于算法组件化思想和Petri网理论的遥感产品生产模型建模方法,该方法具有重要的理论意义和现实的应用价值。本文首先对Petri网相关理论进行了描述,分析了遥感产品生产的特点及其流程,然后借鉴Petri网解决实际问题的经验,构建了基于Petri网的遥感产品生产模型,从语法和语义的角度对模型进行校验,并利用Visual Object Net++仿真软件对其进行仿真分析。此外,本文还利用Petri网并发理论分析了模型的并行性,并结合实际的遥感生产情况,对生产流程进行了变更。最后,介绍了该模型在实际项目中的应用情况。具体研究工作包含以下几个方面:(1)对遥感产品生产特点及流程进行了分析与研究,指出遥感产品生产过程中存在的同步、并发、顺序等关系;详细介绍了Petri网相关理论,并分析了Petri网在遥感产品生产建模中的优势。(2)定义了表征遥感产品生产的符号及意义,建立了基于Petri网的遥感产品生产模型(RSPN模型),从可达性、合理性以及冲突等方面对模型进行了校验,并对模型进行了仿真分析。(3)研究了多期遥感产品生产的Petri网模型扩展算法,采用Petri网并发理论分析了遥感产品生产的并行性,并结合实际的遥感产品生产情况,提出了生产流程变更方案。(4)将本文提出的RSPN模型成功应用在国家重大专项项目《遥感产品生产分系统》原型系统中,并取得了良好的效果(项目已验收通过)。