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方程的终值问题。
The current formal verification methods of hybrid systems and the verification tools were compared according to representations and computational techniques of the reachable sets.
在介绍混合系统形式验证概念的基础上,从可达集表示和可达集计算方法的角度比较了混合系统的各种形式验证方法和验证工具。
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.
在可分Ｂａｎａｃｈ空间Ｘ中考虑下列微分包含的可达集ｘ（ｔ）∈Ｆ（ｔ，ｘ（ｔ）），ａ。
Hybrid System Verification Using Reachable Set over Approximations;
基于可达集过近似的混合系统验证方法
Analysis, Integration and Visualization of Gene Expression Data;
基因表达数据的集成、分析和可视化
The Study of the Video Collection System of Mtd Mounted Visible Reverse Radar
车载可视倒车雷达图像采集系统研究
Acquisition, Integration and Visualization of Gene Expression and Regulation Information;
基因表达调控信息的获取、集成和可视化
Convergence improvement of particle swarm optimization based on the expanding attaining-state set
基于可达状态集扩张的粒子群算法收敛性改进
The Achievement of Extendable GPS Data Acquisition Software Based on Regular Expression
利用正则表达式实现可扩展的GPS数据采集软件
Evaluation of surface water quality in Dalate Banner with fuzzy variable assessment method
应用可变模糊集理论评价达拉特旗地表水水质
Following India's nuclear tests, the Dalai clique went so far as to render support to the move, exhibiting the unusual relationship between the two.
在印度核试验后，达赖集团竟然表示支持。这反映了印度现政府与达赖集团不可告人的关系。
"The specified cluster name could not be found on the network. Make sure the cluster is running and that the cluster node is reachable from this node.
"在网络上没有找到指定的群集名。请保证群集在运行，并且从这个节点可以达到群集节点。
With good light collection, about 30% of the luminescence quanta may reach the photocathode.
在良好的光收集条件下，约30％的荧光量子可以到达光阴极。
Personal collecting expeditions may be necessary to obtain seed from countries with less developed road systems.
在交通不发达的国家可能需要亲自远征采集才能弄到种子。
Implementation of Boolean Expression Diagrams and Its Application to the Testability of the Fault of Integrated Circuits
逻辑表达式图的实现及其在集成电路故障可测性中的应用
This concept could take part in rallies Paris-Dakar or the Baja races.
这一概念,可以参与集会巴黎-达喀尔还是巴哈赛事.
Expression and Purification of cdMMP-26 Fused with Self-cleaving Aggregation Tag
利用可裂解聚集标签表达纯化基质金属蛋白酶MMP-26催化结构域
arrival notice of container
集装箱货到达通知单
free arrival station
集装箱到达站交货价
microscopic Widal agglutination test
显微肥达氏凝集试验
Thirty thousand men were to muster.
要集合的将达三万人。
