CAJ | 학술논문

为提高复杂仿真系统的开发效率和降低开发成本，提出了基于标签转移系统 LTS 的仿真模型组合验证方法。该方法在组合仿真模型的行为表示中引入时间因素，并将执行序列表示为 LTS，通过将表示组合仿真模型行为的 LTS 进行比较，得出组合仿真模型的有效性。最后给出了作战坦克修理所实例，结果表明，该方法能够有效验证仿真模型可组合问题。
위제고복잡방진계통적개발효솔화강저개발성본，제출료기우표첨전이계통 LTS 적방진모형조합험증방법。해방법재조합방진모형적행위표시중인입시간인소，병장집행서렬표시위 LTS，통과장표시조합방진모형행위적 LTS 진행비교，득출조합방진모형적유효성。최후급출료작전탄극수리소실례，결과표명，해방법능구유효험증방진모형가조합문제。
In order to increase the efficiency and reduce the cost of the development of a complex simulation system, a validation method for combining the simulation is proposed based on the labeled transition system(LTS). This method introduces the time factor to the behavior of the simulation model and represents the execution sequences as the LTS model. Through the comparison of the LTS of the combination model and request model,the effectiveness of the combination model is derived. Finally,the battle tank repair example shows that the method is effective.