重叠交替更新过程的DTSS仿真校验的两个问题  

Two Issues towards Verification of Simulation of Superposed Alternative Renewal Processes

作　　者：卢绍文[1] 

机构地区：[1]东北大学自动化研究中心,沈阳110004

出　　处：《自动化学报》2009年第5期636-640,共5页Acta Automatica Sinica

基　　金：国家重点基础研究发展计划(973计划)(2009CB320604);国家高技术研究发展计划(863计划)(2007AA041405);高等学校学科创新引智计划(B08015);辽宁省自然科学基金(20082029)资助~~

摘　　要：以常用重叠交替更新过程为对象模型,讨论了离散时间仿真(Discrete time system specification,DTSS)校验的两个理论问题.首先,给出了基于仿真关键系统变量方差的输入/输出级仿真精度的定量度量.其次,针对精度度量难以求解的问题,在Zeigler的仿真理论框架下给出了离散时间仿真和离散事件仿真(Discrete event system specification,DEVS)的等价性证明,并根据这个结果给出了仿真误差度量的一种近似表达式.This paper discusses two theoretic issues in the verification of discrete time system specification （DTSS） simulation in the context of widely used superpoasd alternative renewal process. Firstly, a quantitative measure of the simulation accuracy at the I/O level is given based on the variance of key simulation variables. Secondly, because the quantitative measure is generally difficult to solve analytically, an approximate expression is given under Zeigier＇s theoretic framework of simulation, by proving the equivalence of DTSS and discrete event system specification （DEVS） system representations.

关 键 词：仿真系统校验 离散时间仿真 离散事件仿真 随机仿真 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]