查询词典 reachable

This paper studies the reachable domain of a satellite after a coplanar single impulse with fixed magnitude applied.

对在初始轨道上施加平面内幅值固定的脉冲后卫星的可达范围进行了研究。

Inconsistent states are the reachable ones of a certain dynamics systems on which the phase curve cannot extend continuously in state space.

如果考虑这些因素，在状态空间，力学系统的状态可能出现非协调的情况。

Hybrid systems ;μ calculus ; Game theory ; Zeno reachable ; Control synthesis ; Lyapunov stability ; Sliding mode ; Fault diagnosis ; Discrete event ; Mixed dynamical programming ; Optimal control ; Hybrid automata ; Petri net

国家自然科学基金；高等学校优秀青年教师教学科研奖励计划混杂系统；μ演算；对策论；季诺可达；控制综合； Lyapunov ；稳定性；滑动模；故障诊断；离散事件；混合动态规划；最优控制；混杂自；动机； Petri网

As for a given automata,there exists three cases:for some state which did not being visited, for some state itself indeed being not reachable although it has been visited,for some state it is equivalent to other states though it can be reached to, in these three cases it is obviously redundant to construct these automata, and the only way for us is to delete,integrate and reduct these useless states in order to minimize the number of states.

对于一个给定的自动机，它的状态中有一些根本没有被访问过，有一些尽管被访问过，但是本身是不可达的，有一些状态尽管是可达的，但是在功能上却与另一些状态等价，这样的自动机在设计和应用中显然很累赘，可以将一些无用的状态删掉，将另外一些等价状态进行整合和约简，使之状态数达到极小。

At first, the extremal control of the system was got, then the reachable region of the time reversed system and the controllable region of the system were given.

首先求取系统极端控制，进而给出时间反转系统的可达区域和系统的可控区域。

Atop Victoria Peak, reachable via a funicular, are great views as well as Peak Tower, a shopping complex.

在维多利亚山顶上，通过登山缆车到达，都是美好的风光也是塔顶，一个购物复合体。

"Hohensalzburg Fortress, reachable via taxi or funicular, overlooks an ornate, wintry city that gives visitors the sense of 'being inside a souvenir snowdome,' says photographer Bob Krist."

"萨尔斯堡城堡，经由出租车或缆车可以到达，俯看一个华丽的，冬天的城市给游客的感觉'人在里面一个纪念品雪花球。'摄影师鲍勃·克里斯特说。"

Hohensalzburg Fortress, reachable via taxi or funicular, overlooks an ornate, wintry city that gives visitors the sense of 'being inside a souvenir snowdome,' says photographer Bob Krist.

"去萨尔茨堡城堡，游客们可以乘出租车或者缆索，从缆索上往下看，这座华丽的冰雪城市给游客们一种就像置身于一个水晶球中一样"，摄影家鲍博·克里斯特说道。

And designs a new algorithm which can judge whether or not a given nonnegative integral vector corresponds to a friable trasition sequence. Then the algorithm is used to analyze the reachability of net system which has unique reachable vector or has no T-invariants.

4对可达性与可达方程可满足性相互等价的证明进行补充，给出一个判定非负整数向量是否为可执行向量的判定算法，最后利用该算法对唯一可达向量网和不含T-不变量的Petri网的可达性进行判定。

In this method, an interim variable is defined by combining one variable of each subsystem. The interim variable is used to construct the sliding-mode function and the total control law can be derived to guarantee the equilibrium point is reachable in finite time. Using LaSalle invariance theorem, it can be proved further that the equilibrium field only includes one equilibrium point and the equilibrium point is asymptotically stable.

该方法将各个子系统的一个变量进行组合定义成一个中间变量，然后从这个中间变量出发构造滑模函数，通过求取总的控制量保证中间变量在有限时间内收敛到平衡点；进一步利用LaSalle不变性原理证明该收敛域内只有一个平衡点且是渐近稳定的。

The changes of the HAF after liver injury may be related to the volume of blood loss, the intraabdominal pressure and the pneumoperitoneum duration.

肝撞击伤伴失血后肝动脉血流量的变化与失血量、气腹压力以及气腹持续时间等有密切联系。

Reneging on our commitments to the world's poor cannot be an austerity measure, she said.

放弃我们给世界上的穷国的承诺不能成为一种紧缩措施。