1) Output reachable set
输出可达集
2) input/output reachability
输入输出可达性
3) U-reachable set
U-可达集
4) 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.
在可分Ｂａｎａｃｈ空间Ｘ中考虑下列微分包含的可达集ｘ（ｔ）∈Ｆ（ｔ，ｘ（ｔ）），ａ。
5) reachability set
可达到集
6) reachable set
可达集;能达集
补充资料：计算机输入/输出控制系统(见计算机输入/输出系统)
计算机输入/输出控制系统(见计算机输入/输出系统)
computer input/output control system
iisuanii shuru/shuehu kongzhi xitong计算机输入/输出控制系统(com-puter inPut/ou中ut eontrol system)见计算机输入/输出系统。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条