论文部分内容阅读
本文在仿真事件图的基础上建立了离散事件系统仿真过程的数学模型,它包括事件表转移模型和状态空间模型,讨论了仿真过程数学模型在仿真程序正确性验证中的应用.
离散事件系统仿真程序的正确性验证
【摘 要】
：
本文在仿真事件图的基础上建立了离散事件系统仿真过程的数学模型,它包括事件表转移模型和状态空间模型,讨论了仿真过程数学模型在仿真程序正确性验证中的应用.
【出 处】
：
系统仿真学报
【发表日期】
：
1990年04期
其他文献
从1992年12月14日召开的全国审计工作会议上获悉.审计机关将改进对企业的审计办法,取消一些不必要的检查. 国家审计署审计长吕培俭在会上说,今后审计机关主要审计少数重点企业和财政给予补贴较多的企业,其他国有企业逐步改为在注册审计师、注册会计师审签的基础上进行抽审,审计的内容主要是资产负债、损益是否真实,以及检查有关的内控制度和经济活动,凡属企业法定经营权范围内的问题,审计监督均不干
期刊
本文介绍了一个水轮发电机组的动态实时仿真实验系统.该实验系统以IBM—PC/XT模拟水轮发电机组特性,调速器以Z80为核心构成.使用该系统可对任意型号任意工作状态下的水轮发电机组进行动态实时仿真试验,为研究水轮发电机组特性,新型调速器和新的控制规律提供了一种良好的实验手段.
期刊
由航空航天部二院204所研制的“图形输入仿真系统IEAS”于6月13日通过了部级技术鉴定,该系统引起了部内外仿真界专家们的极大兴趣,一致认为,该系统“具有国际同类产品的先进水平”.以往进行数字仿真实验的工作步骤大致为:画工程图(或称方块图),推导教学公式,用某种计算机语言或仿真语言编制程序,将程序输入计算机,经过调试后方可进行仿真实验;而IEAS(Interactive Engineering A
期刊
6.SSES设计在80年代初期,硬件和软件工程技术得到了飞速发展.如果SSES是为了支持今后相当长一段时间内的研究工作,那么必须在设计和开发的各个方面应用这些技术.但是,如何构造具有一体化结构的仿真系统以便支持各种运载器和子系统的仿真?如何配置计算机系统使仿真可利用的时间尽可能多,而未来的研究需求又独立于硬件结构?如何将仿真调度到计算机设施中使得软件开发时间最短,在积分过程中产生较高的置信度,以及
期刊
一、组织工作1.个人会员发展工作在已成立地方学会的省、市,个人会员发展工作由地方学会办理,由中国系统仿真学会统一表格,统一发会员证,并将名单、表格交学会办公室备案.在未成立地方学会的省市,均由中国系统仿真学会办公室办理.(“关于发展个人会员的条件及手续,请看“关于发展个人会员的规定”).2.地方学会建立工作
期刊
仿真语言是一种具有特殊功能的计算机语言,这些功能包括表达模型和对动力学模型进行实验(即仿真)所要求的实验条件.仿真语言通常还具有定义用于收集、压缩和显示模型行为的各种条件的功能.本文采用表格的形式给出了仿真语言的分类和框架以表明其各种特征和类型,分类分别基于其实现方式(表1),计算机(表2-表4),应用领域(表5),模型(表6-表1)和模型行为(表11).上述分类和框架并不局限于目前已有的仿真语言
期刊
本文针对并行飞行训练模拟器任务系统的结构特点,探讨一种有效的任务调度方法.首先建立了并行计算机系统的仿真环境,用以模拟任务在系统中的实际执行过程.然后在仿真环境中进行模拟的动态任务调度,得到能够反映任务运行情况的静态任务调度方案,我们称之为准动态的任务调度.这种方法既可以象动态任务调度那样,考虑系统因竞争、同步、处理机间的通信等动态情况的影响,得到高效率的任务调度方案,又不占用任务的运行时间,增加
期刊
中国系统仿真学会于1990年10月16日至18日在杭州召开了“系统仿真学科研讨会”,到会代表来自全国63个单位100余人.研讨会上,五个专业委员会的代表文传源、胡上序、李春华、王正中、熊光楞、王行仁、李钟武、周炎勋等做了10篇专题报告,从各个专业角度对系统仿真技术的现在、未来进行了论述与展望.大会以后,各专业委员会分别召开了讨论会,都对专业方向进行了认真的研讨,明确了各专业发展的方向,提出了许多很
期刊