期刊文献+

基于下推自动机的仿真模型形式化描述

A Formal Description of the Simulation Model Based on Pushdown Automator
下载PDF
导出
摘要 A particular discussion on the application of Pushdown Automator(PA)in the description of the simulation entity is made in this paper. It first introduces the mathernatical model of PA,then it analyzes the conformation method of the simulation nesting entity by graphtcal interfaces and gives algorithms of using PA to create the model of the simulation entity. In the end,it introduces a formal description of the graphical simulation entities model by using of this algorithms. A particular discussion on the application of Pushdown Automator(PA)in the description of the simulation entity is made in this paper. It first introduces the mathematical model of PA,then it analyzes the conformation method of the simulation nesting entity by graphical interfaces and gives algorithms of using PA to create the model of the simulation entity. In the end,it introduces a formal description of the graphical simulation entities model by using of this algorithms.
出处 《计算机科学》 CSCD 北大核心 2003年第6期159-161,共3页 Computer Science
基金 图像处理与智能控制教育部重点实验室基金项目资助 国防科技预研基金(00J6.6.1.DZ0103)资助
关键词 计算机仿真 自动机 仿真模型 形式化描述 仿真软件 Simul ation models, Pushdown automator, Graphic simulation interface
  • 相关文献

参考文献1

二级参考文献3

共引文献19

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部