【摘 要】
：
给出了利用矩形自动机近似地进行切换连续系统的可达性分析的方法 ,推广了根据切换模式划分连续状态空间的思想 .将连续空间划分为多个规则的矩形小室 ,当连续轨迹穿越小室的
论文部分内容阅读
给出了利用矩形自动机近似地进行切换连续系统的可达性分析的方法 ,推广了根据切换模式划分连续状态空间的思想 .将连续空间划分为多个规则的矩形小室 ,当连续轨迹穿越小室的公共面时发生切换 .算法根据给定的面来计算新的流出面 ,并检验这些面是否已包含在可达集中 .如否 ,则保存这些面 ,并从这些面出发调用近似算法来得到新的流出面 ,继续以新的流出面递归调用直至找出所有的可达面 .文中分析了目前研究方法中到达可达面的最大时间 tmax=∞的处理缺陷 ,并提出了相应的处理方法 ,从而克服了可达性计算的过度保守 .
其他文献
混合H2/H∞鲁棒控制理论是分析和设计不确定系统的一种强有力的工具,主要解决对象建模中的误差和在一定范围内因模型摄动而引起控制品质恶化的控制难题。本文对混合H2/H∞控
办好学前教育,关系亿万儿童的健康成长,关系国家和民族的未来。从中央到地方密集出台了发展学前教育系列文件,昭示我国学前教育的"春天"到来。发展"有质量"的学前教育,就必须
本文通过对郧阳师范高等专科学校五年制学前教育专业2011级部分学生进行问卷调查,试图了解他们的英语学习现状,分析并总结在英语教学及学习中存在的问题和不足,并尝试提出解
本文介绍了压力容器设计中存在的问题,并提出了相应的解决策略,以期对未来压力容器的设计工作有一定的指导意义。
甲午战争前,中国近代军事法转型在兵制改革、军事训练法、军人待遇法、军事刑事法等方面取得了较大的进展,促进了军队战斗力的提高。但存在军事法律体系不完善、缺乏专门的军
本文通过了解康恩贝分拆佐力药业上市的过程,并运用专业知识分别对两家公司分拆后的财务数据进行分析,从中发现分拆上市对康恩贝和佐力药业产生的影响,最后在此基础上得出相
日本文化与中国文化有着相似的地方,但又有所不同,它善于吸收和包容外来文化,从而形成了自己独特的文化内涵,这种思想在建筑方面得到很好的体现,使日本建筑在世界建筑界享有
人民币升值的观点来源于日本,2002年以来,日本政府一直在鼓吹人民币升值的理论,随后,欧洲及美国相关利益集团也加入进来,提出了人民币应该升值的理论。随着中国经济的强劲增
进入21世纪以来,我国在各个方面取得的成就都是令人瞩目的,同时随着我国的发展,国家对于我国古代相关名人的研究程度也不断增加,其中李淳风作为我国唐代伟大的科学家其一生都
废酸处理是冷拔钢管行业可持续发展的一个瓶颈,在综合考察同行业解决钢管生产工序中产生的废酸治理办法上,结合企业现有设备,改变以往落后的观念和模式,运用科学技术进步和管