1) reachable subset method
可达子集法
2) U-reachable set
U-可达集
3) reachable set
可达集
1.
The big idea is that, determinate a small stability region in advance in power system’s state space as a target set, then compute the reachable set in backward time namely the stability region, the target set and the reachable set are both described by level set functions, thus computing the reachable set is converted into solving a terminal value problem of Hamilton-Jacobi equation.
该方法的主要思路是:在电力系统的状态空间预先设定一个小的稳定区域,将其作为目标集,逆时间求解目标集的可达集得到电力系统稳定域;目标集和可达集均由水平集函数描述,从而将可达集的计算转化为求解Hamilton-Jacobi方程的终值问题。
2.
The current formal verification methods of hybrid systems and the verification tools were compared according to representations and computational techniques of the reachable sets.
在介绍混合系统形式验证概念的基础上,从可达集表示和可达集计算方法的角度比较了混合系统的各种形式验证方法和验证工具。
3.
In this paper, we study the reachable set of the following differential inclusion in separatedble Banach space X x ·(t)∈F(t,x(t)), a.
在可分Ｂａｎａｃｈ空间Ｘ中考虑下列微分包含的可达集ｘ（ｔ）∈Ｆ（ｔ，ｘ（ｔ）），ａ。
4) reachability set
可达到集
5) reachable set
可达集;能达集
6) accessible subgroup
可达子群
补充资料：《达
《达•芬奇骗局：真相竟比虚构还离奇》
美国作家罗伯特•m•普顿斯的作品，丹•布朗创作的畅销小说《达•芬奇密码》把关于基督教起源的理论与节奏紧凑的小说叙事技巧进行了巧妙地杂糅，从而激起了大众的想像力和兴致。这一充满戏剧性的谋杀神秘情节对许多读者产生了强烈的影响，以至于他们认为丹•布朗对基督教和中世纪历史的虚构性重构就是既定的事实真相。 声名远扬的耶稣研讨会成员之一，新约研究学者罗伯特•m•普赖斯对丹•布朗小说中关于基督教历史的创新性发挥进了深入的考证，指出不管丹•布朗有虚构和猜测多么撼人心魄、怪异诡秘，小说背后关于耶稣及其生平、福音书、君士坦丁大帝，以及抹大拉的马利亚等事实的真相甚至会更加让人瞠目结舌、拍案叫绝。普赖斯糅合了繁杂庞博的历史分析和通俗易懂的诙谐语言，对丹•布朗有悬疑畅销书进行的解析建构于事实基础之上，富含启迪。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。