【摘 要】
：
在介绍混合系统形式验证概念的基础上,从可达集表示和可达集计算方法的角度比较了混合系统的各种形式验证方法和验证工具。重点介绍了模型检验方法中的收敛近似方法和过近似方法,通过一个化工过程系统的验证实例详细介绍了验证工具CheckMate的验证算法。最后分析了混合系统形式验证的难点问题和主要研究方向。
论文部分内容阅读
在介绍混合系统形式验证概念的基础上,从可达集表示和可达集计算方法的角度比较了混合系统的各种形式验证方法和验证工具。重点介绍了模型检验方法中的收敛近似方法和过近似方法,通过一个化工过程系统的验证实例详细介绍了验证工具CheckMate的验证算法。最后分析了混合系统形式验证的难点问题和主要研究方向。
其他文献
空中加油是提高飞机作战能力的重要手段。空中加油模拟训练成了培养飞行员空中加油技术的重要途径。空中加油飞行的数学建模是模拟加油飞行的理论基础,它直接关系到模拟飞行的逼真程度,关系到模拟加油训练的效果。研究了大型授油机尾流的形成和分布特点,分析了受油机在不同位置进入尾流时飞机所受的影响,提出了相应的数学建模方法。同时分析了新型歼击机在加油过程中飞机质量和重心的变化规律和对飞行性能的影响。
一片冰心在玉壶中国人对玉的认识，一般都从文学开始。比如形容女孩长得漂亮，常说“亭亭玉立”；形容男人长得帅，有个成语叫“玉树临风”，来自杜甫的《饮中八仙歌》。杜甫当时作了一
我们在绘画时,画桌上常会放置着三坛水,即洗笔水、墨水、颜色水,这三种水虽然各司其能,却有着能很好地将艺术意境的玄机融合于图画之中的功效。当画者面对这三种水时,常会被
在举世瞩目的2012年英国伦敦奥运会期间,作为上一届奥运会主办方的中国北京,为促进奥运友好城市之间的交流与合作,应伦敦市长办公室的邀请,于2012年7月24日至7月31日在伦敦举
由德国驻华大使馆、中国美术馆主办的＂从马列维奇到康定斯基—欧洲构成主义＂展览于2012年7月1日至7月19日在中国美术馆7号展厅展出。展览包括来自德国私人收藏的绘画、雕塑、素
本文通过对质朴的定义来阐述质朴的特点以及对质朴的诠释、质朴所要遵从的原则,从而使演奏家更好地再现作曲家的原创精神。
在现代教育理论的倡导下,学生是教学活动的主体,尤其强调以学生为中心的主要教学模式。因此为提升高校钢琴教学的高效我们有必要从教师与学生二者出发,对钢琴教学的理论与实
舞蹈的排练与表演的过程中音乐在其中占据着重要的比例,通过符合舞蹈的音乐来引导着舞蹈动作的节奏,进而将舞蹈的表演更加的淋淋尽致。在舞蹈的音乐配乐中,钢琴在世界上被誉
随着社会的多元化发展,教育界也不断的提出教学要融合多元化智能理论,以多元来推动教学有效发展等等。双语幼教作为特殊的幼儿园,其面临的是双向语言的全面发展。加之新疆地