【摘 要】
：
如何设计安全、可靠的信息物理融合系统是计算机科学和控制理论面临的一个重大挑战.时延现象在信息物理融合系统中普遍存在,时延对系统的稳定性、安全性和控制性能具有实质性影响.但是在已有时延系统验证和控制器合成的工作中往往忽略时延因素,这会导致在不考虑时延情况下能保证稳定和安全的系统在实际运行时因为时延原因而不再稳定和安全.因为时延使得系统的行为演化不仅与当前状态有关,还依赖于系统的历史状态,所以时延混成
【机 构】
：
中国科学院大学,中国科学院软件研究所,计算机科学国家重点实验室,北京100190;武汉大学计算机学院,武汉430072
论文部分内容阅读
如何设计安全、可靠的信息物理融合系统是计算机科学和控制理论面临的一个重大挑战.时延现象在信息物理融合系统中普遍存在,时延对系统的稳定性、安全性和控制性能具有实质性影响.但是在已有时延系统验证和控制器合成的工作中往往忽略时延因素,这会导致在不考虑时延情况下能保证稳定和安全的系统在实际运行时因为时延原因而不再稳定和安全.因为时延使得系统的行为演化不仅与当前状态有关,还依赖于系统的历史状态,所以时延混成系统的验证和控制合成更加困难.本文研究信息物理融合系统在考虑时延情形下切换控制器合成问题,提出基于不变式
其他文献
徐光宪,浙江省绍兴人,中国共产党党员,中国著名的化学家和教育家, 1980年当选为中国科学院学部委员(院士). 1920年11月7日出生, 2015年4月28日仙逝.徐光宪先生1944年毕业于上海交通大学化学系,获得理学学士学位. 1949年和1951年在美国哥伦比亚大学先后获得理学硕士和哲学博士学位,被选为美国Phi Lambda Upsilon荣誉化学会员及Sigma Xi荣誉科学会员.抗美援
文章以安徽省党校图书馆为例,介绍总结了党校系统图书馆数字化资源共享的建设历程与发展障碍.结合云计算技术在图书馆的应用,提出了通过建设不同类型与级别图书馆的云共享平
馆本研究,是指对某个高校数字图书馆建设过程中出现的实际问题所进行的研究.研究成果直接提供给高校管理层,有助于高校管理决策的科学化,民主化,有助于保证图书馆数据信息的
本文进一步发展共形几何代数,从代数和几何两个角度对共形几何代数中由幂零向量生成的分阶单项式的代数性质和几何解释进行深入探讨,包括各种维数的球面和平面定向的代数刻画、长括号的三角学、角度和方向的幂零单项式分阶表示、幂零单项式各个分阶的几何意义等.这些结果有助于理解高层次符号代数运算背后的几何意义,以及共形几何代数简化符号几何计算的内在机制.
给定有限域F_q(q≥2)、任意正整数n和k(n> k),F_q上的线性映射序列(代数族){σ_i}(σ_i:F_q~k→F_q~n(i→∞))的构造方法已经成为信息科学中编码理论的一个中心问题,一般称为实现Shannon理想的代数族途径.迄今为止,发现这种代数族{σ_i}的更好结构,并由它导出Shannon好码渐近序列{[n_i,k_i,d_i]}仍是一个尚未彻底解决的挑战性难题和持续不断的努力
多年来通常认为以吴方法为代表的几何定理机器证明的坐标法给出的证明不可读,或不是图灵意义下的类人解答.其实,只要对吴氏的算法做不多的改进,即将命题的结论多项式表示为其条件多项式的线性组合,就能获得不依赖于理论、算法和大量计算过程的恒等式明证.这样的恒等式可以转化为其他更简明且更有直观几何意义的点几何形式或向量及其他形式,从而获得多种证明方法.这也证明了点几何恒等式明证方法对等式型几何命题的普遍有效性
图书馆服务共享是图书馆资源共享的终极发展目标,也是数字图书馆服务革新的必由之路,SOA技术为其提供了强有力的支撑.基于SOA的图书馆服务共享从图书馆2.0的服务共享理念、SO
本文提出了一种新型结构的声表面波──二极管卷积器，利用二极管在反向偏置时结电容的非线性，通过声表面波延迟线抽头与二极管直接耦合而获得信号的卷积输出。这种新结构可以更
信息化发展,图书馆服务由物理的实体服务逐渐转入后台的网络化服务.加强古籍、民国文献数字化服务与利用,是解决古籍、民国文献保护与使用矛盾问题的关键.构建IC空间,创设学
永城市审计局最近在商丘市组织的《审计法》实施8周年摄影作品比赛活动中获一等奖,受到商丘市审计局通报表彰。上报的作品反映了审计工作、开展精神文明建设活动等现场照片12