兵工自动化
兵工自動化
병공자동화
ORDNANCE INDUSTRY AUTOMATION
2012年
8期
90-93,96
,共5页
工作流网(WF-net)%卫星%在轨测试%过程建模
工作流網(WF-net)%衛星%在軌測試%過程建模
공작류망(WF-net)%위성%재궤측시%과정건모
为解决卫星在轨测试过程建模问题,以导航卫星在轨测试为例,应用工作流网(workflow-net,WF-net)建立卫星在轨测试过程模型,描述卫星在轨测试活动过程及其逻辑关系,并应用遍历树算法对模型进行分析验证.分析结果表明:该模型不仅可形式化的描述在轨测试过程中涉及到的活动及其逻辑关系,还可动态分析在轨测试过程的逻辑性.应用工作流网对卫星在轨测试过程进行建模是可行的.
為解決衛星在軌測試過程建模問題,以導航衛星在軌測試為例,應用工作流網(workflow-net,WF-net)建立衛星在軌測試過程模型,描述衛星在軌測試活動過程及其邏輯關繫,併應用遍歷樹算法對模型進行分析驗證.分析結果錶明:該模型不僅可形式化的描述在軌測試過程中涉及到的活動及其邏輯關繫,還可動態分析在軌測試過程的邏輯性.應用工作流網對衛星在軌測試過程進行建模是可行的.
위해결위성재궤측시과정건모문제,이도항위성재궤측시위례,응용공작류망(workflow-net,WF-net)건립위성재궤측시과정모형,묘술위성재궤측시활동과정급기라집관계,병응용편력수산법대모형진행분석험증.분석결과표명:해모형불부가형식화적묘술재궤측시과정중섭급도적활동급기라집관계,환가동태분석재궤측시과정적라집성.응용공작류망대위성재궤측시과정진행건모시가행적.
