【摘 要】
：
组合模型的有效性验证是利用模型组合实现仿真系统快速开发的迫切需求,也是组合仿真理论和方法研究的一个重要问题.在分析组合模型抽象层次的基础上讨论了不同层次组合有效性
论文部分内容阅读
组合模型的有效性验证是利用模型组合实现仿真系统快速开发的迫切需求,也是组合仿真理论和方法研究的一个重要问题.在分析组合模型抽象层次的基础上讨论了不同层次组合有效性的研究内容,并针对组合模型的行为从测试的角度提出了语境驱动的仿真模型测试方法论,重点讨论了方法论中语境的概念、语境驱动的测试框架生成以及测试框架的嵌入和运行时刻检验等内容,目的是判断仿真模型及其组合行为是否忠实反映了设计信息,实现了行为无错的演化.
其他文献
文化和外语教学密不可分,当今语言教学界普遍认为,文化研究,尤其是文化比较在外语教学中能够起到至关重要的作用。中英文化在价值观念、思维模式、宗教信仰、历史传统与风俗
对英语全球化环境下我国《大学英语课程教学要求》以及目前大学英语教材内容进行了反思,倡导在英语全球化背景下体现中国优秀文化,英语教材文化内容应朝着多元化、民族化方向
学长辅导计划是近年来高校学生管理部门、学生思政工作者共同探索、推出的大学生教育管理的有效模式,它通过有目的地遴选培训一批优秀学长,对应辅导特定的低年级学生群体,实
在改革开放之初,村民自治是农村主要的治理机制,它为农村经济建设带来了巨大的动力支撑以及组织保障,增强了农民民主素质,也丰富和发展了中国社会主义民主的实践及理论,是“
目的 抽样调查1400例基层农村医务工作者,对其年龄、学历、从事具体工作,是否参加成人医学学历教育,学历教育对实际工作能力提高的作用调查分析,以便提供基层农村医务工作者
目的 探讨病理学实验教学中数字化技术的应用.方法 对传统病理学教学的某些方法进行改革,制作多媒体病理数字切片、建立病理学数字资源平台,并应用于病理学理论和实验课的教
编者按:美国圣荷塞州立大学哲学系威廉姆·H·肖(William H.Shaw)教授在上世纪80年代与英国的柯亨(G.A.Cohen)、北美的罗默(John E.Roemer)、爱尔斯特(Jon Elster)、伍德(Ell
在会话、访谈等言语交际中,除了满足对方信息需求的应答语之外,说话人在很多语境中会主动附加相关话语,意在陈述原因,列举事实,提供具体信息,进行解释,凸现说话人的态度或认
目的 研究胰岛素样生长因子Ⅱ(IGF-Ⅱ)、碱性成纤维细胞生长因子(bFGF)及其受体(IGF-1R和FGFR2)在巨指患者受累组织内的表达情况,探索巨指的发病机理及神经组织与巨指发生、
目的 通过观察脊髓损伤(SCI)患者血清骨钙素的变化,探讨SCI后骨代谢的变化与SCI病程的关系.方法 回顾1998年1月至2000年8月167例SCI患者经放射免疫分析方法测得的血清骨钙素