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

来源 :计算机科学 | 被引量 : 0次 | 上传用户:zhengi520
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
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 ent
其他文献
目的探讨全国结核病管理信息系统在提高家庭督导的肺结核病人规则治疗率及治疗成功率方面的作用。方法在对所有登记确诊的病人提供免费查治和实施家庭督导管理的基础上,结防
<正> 一、前言本文提出了液相烧结的新模型——不等径颗粒烧结形成紧密堆积的模型。采用表面能和表面张力理论,对不等径颗粒液相烧结推动力进行了分析和计算。文章还对烧结过
紫黑米是我国珍稀的稻种资源,其米粒及米饭呈紫红色,口味独特而受人们的青睐。本文主要报道近年来紫黑米营养和药理两个方面的研究现状,为紫黑米的进一步深入研究和开发利用提供
传统武术训练理论是伴随着中国武术的历史屐痕而逐步积累形成的。在历史文化的视野中 ,它具有历史发展的渐进性和理论生成上的多源性两大特点。在岁月的长河中 ,传统武术训练
以布格重力异常的地质成因为指导,针对区域重力异常、布格重力异常、剩余重力异常中的局部重力高异常的空间分布,结合区域地质、路线地质调查成果,从三维角度认识重力高异常
【正】 问题的提起近来,关于发扬地方色彩问题逐渐引起了一些同志的关心和注意。总的情况可能是这样:在各地文艺团体的实际工作中比较强调发扬地方色彩的问题,这当然是应该的
深度学习是近些年来的研究热点,在图像、音频和数据处理等方面均取得了良好的应用,本文将深度学习算法与光伏电站中的光伏功率预测和太阳能电池板缺陷检测结合展开研究。太阳能电池板作为光伏电站将太阳能转化为电能过程的核心设备,其质量好坏将直接影响太阳能转化效率和自身的可用寿命,对保障光伏电站安全稳定运行及收益的最大化也至关重要。因此对太阳能电池板进行缺陷检测具有十分重要的现实意义。本文提出首先将电站光伏阵列
作为美国一流的研究型大学,杜克大学的国际化发展一直居于美国领先地位。进入21世纪全球化时代,它不仅提出了基于全球视野的本科人才培养目标——"培养世界公民",而且实施了跨
《语文课程标准》将原来的教学大纲中的"听话、说话"改为"口语交际",目的是为了增强学生口语交流的双向互动性,使其具有待人处世、举止谈吐、临场应变、传情达意等方面的高素质。
随着人们对于生活能源的需求逐渐增加,如何能够更加合理有效的开发和利用有限的自然资源就显得至关重要了。在这之中,以油气田开发为主的生活能源的利用已经随着近些年来的社会