基于WF-net的卫星在轨测试过程建模  

Process Modeling of Satellite On-Orbit Test Based on WF-Net

作　　者：吴云[1] 史建伟 王益忠[1] 

机构地区：[1]中国卫星海上测控部,江苏江阴214431 [2]装备学院研究生院,北京101416

出　　处：《兵工自动化》2012年第8期90-93,96,共5页Ordnance Industry Automation

摘　　要：为解决卫星在轨测试过程建模问题,以导航卫星在轨测试为例,应用工作流网(workflow-net,WF-net)建立卫星在轨测试过程模型,描述卫星在轨测试活动过程及其逻辑关系,并应用遍历树算法对模型进行分析验证。分析结果表明:该模型不仅可形式化的描述在轨测试过程中涉及到的活动及其逻辑关系,还可动态分析在轨测试过程的逻辑性。应用工作流网对卫星在轨测试过程进行建模是可行的。In order to solve the model problem of satellite on-orbit test process, take navigation satellite on-orbit test as example, use workflow-net to establish satellite on-orbit test process model. Describe satellite on-orbit test process and logic relation, and adopt coverability tree algorithm to analyze and validate model. The analysis result shows that the model not only describes the action and logic relation of in on-orbit test formally, but also dynamically analyzes the logistic of on-orbit test process. The method of workflow-net is suitable to the nrocess model of on-nrhit test

关 键 词：工作流网(WF-net) 卫星 在轨测试 过程建模 

分 类 号：TJ861[兵器科学与技术—武器系统与运用工程]