论文部分内容阅读
文中对验证指标重新给出三种分类:实体连续动态特性,实体交互特性和实体离散状态特性。针对实体离散状态特性,提出用配对集描述离散状态问题,借助状态树分析其需要验证的三方面因素,给出验证方法及方法有效性的分析。
仿真模型离散状态的验证
【摘 要】
：
文中对验证指标重新给出三种分类:实体连续动态特性,实体交互特性和实体离散状态特性。针对实体离散状态特性,提出用配对集描述离散状态问题,借助状态树分析其需要验证的三方面因素,给出验证方法及方法有效性的分析。
【机 构】
：
中国航天二院706所
【出 处】
：
系统仿真学报
【发表日期】
：
2004年04期
其他文献
现阶段,随着我国教育事业的发展,地方本科院校教育质量,逐渐成为重要的教育问题。地方本科院校对钢琴基础课＂双基＂教学策略探究,对于钢琴基础课＂双基＂教学效率的提高,具有十分重
本文从音乐基础课程教学的现状入手,通过分析音乐基础课教学以及通过音乐基础课教学培养学生各项音乐能力等环节为切入点,对新时期学前教育专业中的音乐基础教学进行了新的思
学前教育专业声乐教学一体化模式的构建是提高教学教学效率和质量的重要举措之一。在教学中,要切实落实个别教学、小组教学和集体教学三者的一体化。其中,集体教学要重基础、
目前高校钢琴教学普遍存在模仿专业音乐学院的现象,无论是教学内容还是教学方式都存在较大的相似与模仿,这无疑和社会脱轨,甚至阻碍了统一化教学目标和标准的形成。可见,传统
结构模型的研究是RTI设计与实现的重点,对RTI的运行效率起到了至关重要的作用。本文对RTI的逻辑结构与体系结构进行了较为详细的分析,并在此基础上提出了HLARTI的可配置半集中式结构模型,分析了该结构模型的特点和优势,研究了可配置半集中式RTI在设计和实现中需要特别考虑的问题,为RTI的易控性、可扩缩性和健壮性设计奠定基础。