【摘 要】
：
仿真模型的验证研究的是模型的可信度问题。由于模型验证需要关于真实系统,建模理论以及数据分析等多方面的知识,基于知识的智能化方法适合于仿真模型的自动验证。这类方法是建立在三个知识库的基础上的:存储验证相关知识的验证知识库(VKB),用于智能推理和决策的决策知识库(DKB),以及由各类验证算法所构成的验证技术库(VTB)。通过分析验证知识库的验证域,系统选择合理的验证技术和相关的验证过程。在此基础上,
【基金项目】
：
国家自然科学基金(60434010)
论文部分内容阅读
仿真模型的验证研究的是模型的可信度问题。由于模型验证需要关于真实系统,建模理论以及数据分析等多方面的知识,基于知识的智能化方法适合于仿真模型的自动验证。这类方法是建立在三个知识库的基础上的:存储验证相关知识的验证知识库(VKB),用于智能推理和决策的决策知识库(DKB),以及由各类验证算法所构成的验证技术库(VTB)。通过分析验证知识库的验证域,系统选择合理的验证技术和相关的验证过程。在此基础上,系统自动设计仿真实验,获得运行结果,并自动分析数据,执行验证过程,生成验证报告。此外,我们也讨论了验证相
其他文献
传统民歌在时代的推动下得到创新与发展，为适应时代的需求沾上丰富多元的时代色彩。改编民歌以其创新的曲式及旋律，广阔的音域以及科学独特的歌唱技巧和时尚多元的组成元素大放
井冈山红色遗产除革命遗址、遗迹、文物等之外还有着非常丰富的音乐资源。把井冈山红色音乐资源引入高师器乐教学实践中去,对井冈山红色资源的收集、保护、研究、传承和推广
进程（Process）是操作系统进行资源分配和调度的基本单位,是Windows系列操作系统结构的基础。进程隐藏虽然能够为计算机取证提供便利,但是增加了检测系统中运行的恶意代码的难度
您有着百年的沧桑的年轮（1909-） 您有着西北拓荒者的斗志 您有着为中华崛起的意志 那时 我们一代人深爱着您 在那艰苦革命与抗战的年代 他们为您立下汗马功勋 即使外表痛苦
在内燃机中,废气残留比例直接影响气缸内气体的燃烧状态,进而影响发动机的排放、动力性和经济性。可变气门正时技术（VVT）可通过调整气门开闭时间实现气缸内的废气再循环（内部EGR
锅炉热效率和NOx排放一直是火电机组运行中的重要指标，在大容量、高参数超超临界机组呈现良好发展势头的当前，对1000MW超超临界机组锅炉燃烧系统的建模问题进行研究具有重要意