论文部分内容阅读
对于安全关键的混合系统,要求进行快速有效的可达性分析,以保障系统安全。但由于混合系统中离散迁移事件和连续动态过程共存的复杂性,可达集计算一直是可达性分析的难点。本文重点研究了混合系统的可达集计算方法和伪谱法,提出基于切比雪夫伪谱法的可达集计算的改进方案。
基于伪谱的混合系统可达集计算
【摘 要】
：
对于安全关键的混合系统,要求进行快速有效的可达性分析,以保障系统安全。但由于混合系统中离散迁移事件和连续动态过程共存的复杂性,可达集计算一直是可达性分析的难点。本
【机 构】
：
同济大学软件学院
【出 处】
：
科技传播
【发表日期】
：
2014年24期
其他文献
阐述了SACT—BII污泥堆肥工艺以及自动控制系统组成，介绍了混料控制系统、发酵仓控制系统、物料输送控制系统等三个子系统，分析了工艺目的和过程控制。结论为：机械化堆肥实现的
目的：了解Coulter LH750与手工法对嗜酸性粒细胞分类结果的方法学差异,能否不需要手工复检就可满足诊疗临床需要。方法：（1）通过仪器法和手工法分别对正常组、轻度增高组、中度增
黑格尔美学以艺术理想为最高追求,而这种艺术理想只是"绝对理念"的初级内容,也是通向宗教理念的过渡环节.在黑格尔美学体系中,艺术理想的历史发展本身就包含了神学内涵,并在
分析了沥青混凝土搅拌设备的构成以及生产沥青混凝土的工艺及烟尘特点；通过应用工程实例，指出袋式除尘器是沥青混凝土搅拌设备最理想的除尘系统之一。
随着我国路桥交通建设的不断发展,公路桥梁建设已成为我国交通建设中的重要组成部分,由于路桥建设项目环境条件的比较恶劣,为确保路桥施工管理的正常运行,全面实施质量控制和
随着计算机技术的不断发展,智能视频监控系统逐渐走向人们的生产生活之中,并扮演者越来越重要的角色,尤其其能显著提高监控效率,预防突发事件的发生。本文对计算机智能视频监
发电机密封瓦座、中间环、大端盖密封装配对发电机膛内氢气形成端部密封。组件间的绝缘不良,发电机运行中转子轴电流将对密封瓦造成损伤,从而影响密封效果,导致氢气泄漏。针
为进一步了解西部地区环保产业发展情况,加强与西部环保产业协会的联络沟通,中国环保产业协会刘启风副会长、杜琳秘书长等一行于9月15日前往新疆调研。调研期间,刘启风副会长
人类对发展的认识与人类文明活动密不可分,"三个文明"的发展实践必然产生发展观的飞跃,新的发展观又会指导"三个文明"的新发展;科学发展观,是从人类"三个文明"协调发展的历史