论文部分内容阅读
文章针对混合系统形式验证中可达集计算的问题,介绍了通过流管道过近似的方法计算系统可达集的基本原理,给出了具体的计算过程;结合一个切换系统的实例,建立其混合自动机模型,在MATLAB语言环境下编程,实现验证过程。
基于流管道过近似的混合系统形式化验证技术
【摘 要】
：
文章针对混合系统形式验证中可达集计算的问题,介绍了通过流管道过近似的方法计算系统可达集的基本原理,给出了具体的计算过程;结合一个切换系统的实例,建立其混合自动机模型
【机 构】
：
合肥工业大学电气与自动化工程学院
【出 处】
：
合肥工业大学学报：自然科学版
【发表日期】
：
2008年1期
其他文献
在小学美术教学中,教师要从美术学科的特点出发,设计丰富的教学内容,激发学生的想象力和创造力,让他们在生动的课堂氛围中探索学习,掌握美术知识,提高美术绘画能力.在教学过
平衡是一种艺术,在纪录片创作中也是这样.注重平衡的纪录片总是主题很鲜明,叙事很流畅,情绪很饱满.人是纪录片的叙事主体,不管是自然类还是人文类纪录片,都离不开人,或者被拟
期刊
重新解答了第26届全国中学生物理竞赛复赛第3题第l小题，指明了该题的参考解答（标准答案）错误．
小学是学生教育时期至关重要的基础教育阶段,语文学科教学作为培养锻炼小学生语言组织能力、语言表达能力以及逻辑思维能力的基础学科,其整体课堂教学质量和效率受到了国家、
社区新闻．顾名思义是发生在社区里的新闻事件。社区新闻作为社会新闻的延伸，在拓宽新闻报道领域的同时，以平民视角关注百姓生存状态，服务百姓生活，有较为广泛的受众。深受广大读者
文章介绍了一种新型汽车后桥主齿总成装配流水线中配备的压测机，该设备采用工业控制机控制，压装主齿轴承内圈的同时实时检测主齿总成摩擦力矩，使摩擦力矩达到设定值，能够满足2种
冰塞成灾是寒冷地区河流上存在的共性问题，冰塞的形成与演变可粗略划分为封河、水内冰冰塞和开河等3个阶段。基于固液两相流理论，尝试研究水内冰冰花颗粒的运动轨迹和初始冰塞
本文立足工作实际,理论与实践相结合,认为广播媒体要想在激烈的竞争中取胜,必须明确定位、发挥创意、挖掘深度、做独家新闻、改革创新传播文化的内容与形式,唯有如此,才能让
文章研究了AOHNR3与AHNR32种离子液体的SO2吸收解吸行为，探讨了羟基对吸收的影响。在298．2K下，含羟基的吸收剂AOHNR吸收SO2的摩尔分数x（SO2）为55．2％，吸收剂AHN民吸收x（SO2）为72．9％；在373．2K