一种基于devs的虚拟实验系统研究论文

《一种基于devs的虚拟实验系统研究论文》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、一种基于DEVS的虚拟实验系统研究论文摘要提出并讨论了一种基于DEVS形式理论的虚拟实验系统模型。该模型较好地克服了传统虚拟实验系统中因实体缺乏统一的形式化规范而导致的可重用性差，互操作性差，难以适应跨平台和分布式应用需求的困难。关键词离散事件系统规范；虚拟实验系统；虚拟实体；Java3D；0引言虚拟实验系统实体模型的构建是实现虚拟实验的关键。多年来，国内外一些研究机构提出多种很好的实体模型1-2，成功地建立自己的虚拟实验系统，如芝加哥伊利诺伊大学的虚拟有机化学实验室，新墨西哥州大学自动控制工程中心的V-Lab系统，中国科技大学的大学

2、物理仿真实验系统等。但这些系统都是针对特定的应用领域.freelSpecifications，DEVS）的虚拟实验系统模型，从而较好地解决了上述问题。1DEVS形式理论DEVS是美国学者BernardP.Zeigler提出的一种离散事件系统形式化描述模型7。它将每个子系统都看作是一个具有独立内部结构和I/O接口的基本功能模块，负责描述离散事件系统的自治行为，包括系统状态转换、外部输入事件响应和系统输出等，称为DEVS原子模型（atomicDEVS）。DEVS原子模型通常可用一个七元组描述8：其中，X是输入集；Y是输出集；S是系统的有序

3、状态集；ta为时间推进函数，表示在没有外部事件输入时系统状态保持为s的时间，表示静止状态，ta(s)=0为瞬时态，表示不消耗时间的即时运算，该状态的运行中不推进仿真时钟；是atomicDEVS的全状态集，其中e表示系统在状态s停留的时间；为内部状态转移函数，若无外部事件输入，系统经ta(s)时间后自动将状态转移到，同时将e置0；为外部状态转移函数，若有外部事件输入，系统立即转到状态，并将e置0；为输出函数，输出在系统内部状态转移时产生，状态转移前的状态s用于产生输出，其它非内部状态转移时不产生输出。DEVS耦合模型（coupledDE

4、VS）由多个DEVS原子模型通过一定的连接规则构成，它可以作为更大的子系统的原子模型使用，从而形成对整个系统模型的层次模块化描述。DEVS耦合模型的结构描述如下：其中，M是耦合模型的成员集，每个M都是原子DEVS；EIC为外部输入耦合关系，从耦合模型的输入端连接到内部成员的输入端；EOC为外部输出耦合关系，从内部成员的输出端连接到耦合模型的输出端；IC为内部耦合关系，从内部成员的输出端连接到其它成员的输入端；SELECT为选择函数，当耦合模型中的多个成员同时发生状态转移时，选择优先级最高的成员的状态转移作为耦合模型的状态转移。在DEV

5、S中，模型的功能执行通过抽象仿真器实现，抽象仿真器是一种算法描述，用以说明如何将指令隐含地传给模型以产生模型的行为，负责收发消息，调用模型的转移函数，修改本地的仿真时钟。抽象仿真器与模型之间是一一对应关系。2虚拟实验系统的DEVS形式化模型2.1虚拟实验系统中实体的DEVS模型虚拟实验系统（VirtualExperimentSystem，VES）中的实体可分为虚拟器件（VirtualInstrument，VI）和虚拟场景（VirtualScenes，VS）两类12：虚拟器件（VE）是虚拟实验中所用的仪器设备，具有独立的信号输入、输出接

6、口和信号处理功能，有独立的三维图像属性、物理化学特性和操作规则，能及时响应外部事件，接收外部信息，在仿真时钟的推进下独立工作。不失一般性，基于DEVS形式理论，给出图1所示的虚拟器件的DEVS结构模型，其形式化描述如下：.freelousAgents-SLABasedControllersJ.IEEETransactionsonSystems，ManandCyberics，2002，32(6)2HuoJQ，ulationexperimentssystemanditspracticeincollegephysicseducatoinC.

7、ProceedingsofInternationalConferenceonNeinShen，LipingShen，DazhengodelofVirtualExperimentJ.ProceedingsoftheInternationalConferenceonputersinEducation，ICCE，20025范新伟，申瑞民，申丽萍．虚拟实验标准化的研究和解决方案J．计算机仿真，2005，22（1）6毛新军，常志明等．面向Agent的软件工程：现状与挑战J．计算机研究与发展，2006，43（10）：1782-17897Berna

8、rdP.Zeigler.Object-OrientedsumulationodelsJ.Orlando，FL：AcadeimcPress，19908BernardP.Zeigler.DEVSTheoryofQuantiz