除了利用原像计算避免误判之外，该算法还将可达状态和不可达状态引入到验证过程中。
It not only used pre-image computation to avoid false negative, but also incorporated reachable states and unreachable states in the verification process.
汽车的充电状态可以通过iPhone应用程序监测到。 充满电后，汽车行程可达180英里。
The car’s charging status can bemonitored by an iPhone app, of course.
active状态意味着ConnectionManager激活服务；defined状态相当于停止状态，在此状态下，Connection Manager不启动服务，使之不可达。
Active state means the Connection Manager activates the service; defined is equivalent to down, in which case the Connection Manager does not start the service, making it unreachable.
只用手和手臂，本来就有很可达到稳定的状态的姿势。
The hand and arm, by themselves, have too many possible motions to serve as a steady platform.
且证明了PBT/PET并列型复合纤维经假捻变形后其卷曲度、卷曲收缩率、卷曲模量、卷曲稳定性处于最佳状态，经机织后织物的弹性可达23％以上。
After false texturing the degree of crimp, crimp contraction, crimp modulus and crimp stability of PBT/PET fiber are all in the optimum condition, the elasticity of its woven fabric can be over 23%.
当激励能量增加，激励器产生的合成射流速度增加，可达到超声速状态；
With the increment of the input energy, the velocity of the synthetic jet could be increased to the supersonic state.
GAS具有可重构安全状态可达性。
GAS possesses reachability of dynamic reconfigurable safety status.
为了提高停车场车辆停放的可达性，引入排队论原理和“生灭过程”状态方程表达出行者车辆停放过程。
In order to enhance the accessibility of parking facilities during drivers travel status, queue theory and living or ruined process state equation are introduced to describe the whole parking course.
开关稳压电源的调整工作在开关状态，主要的优越性就是变换效率高，可达70% 95%。
The work of switching power supply are adjusted in the on-off state, the main advantage is higher efficiency, up to 70% 95%.
结果表明：以全蛭石为移栽基质的脱毒试管苗成活率可达98．33％，植株生产状态最优，平均株高、发根数、根长几项指标均高于其它移栽基质。
The results show that:Success rate of virus-free seedling transplanted into Vermiculite was 98.33%, plant height, root number, root length of the plants in Vermiculite than those in the other medium.
通常认为，时分法多目标干扰的优点是功率容量可达到100%，能使功放工作于高效率的丙类工作状态。
General thinking, time-sharing multi-target jamming has the superiority that its power capacity can reach 100 percent, which makes power amplifier work efficiently at C type.
同时，我之前也做过家教，我想我们可达到一个双赢的状态。
Meanwhile I have been a tutor before, and I think we can make a double-win.
实验结果表明，在大气状态下，新型栅结构微机械陀螺的驱动和敏感检测品质因子Q均可达到66。
The experimental results show that the device has its Q-factor of detected mode and driven mode in almost same order of 66 at atmospheric pressure.
此外，根据软着陆系统推力、燃料和状态的约束条件，给出了引力转弯着陆过程初始条件的可达集合。
Furthermore, an attainable set for initial conditions of the gravity-turn descent is deduced according to the constraints of thrust, fuel and states of the soft landing system.
模型检测通过遍历系统所有可达的状态空间来验证系统是否满足特定的安全属性。
Model checking verifies whether a desired property holds over a given system through an exhaustive exploration of all the states reachable by the system.
眼镜板、切割环等磨损件，经过不断的技术攻关，使用寿命长，最佳泵送状态时，其寿命可达3万方。
The wearing parts, such as the anti-wearing plate and the cutting ring , have a long service life up to 30000 m3 under favorable condition .
实验表明这种方法解决了对架设状态下大曲面的检测问题，检测精度可达亚毫米级。
The problem of large curved surface measurement while it is erected was solved by this method with sub-millimeter precise, which was shown though some experiments.
该款轿车倾斜的关键在于它的车辆动力控制系统，该系统能根据车速和路况对前车轮和车身的倾斜度进行调整(最大倾斜度可达45度)，从而改善车在转弯时的平衡状态。
Key to the Carver's tilt is Dynamic Vehicle Control, which senses speed and road conditions and then adjusts the lean of the front wheel and body (up to45degrees) to optimize balance in corners.
组合可达性分析是对并发系统模型分析验证的基础和关键，但是难于解决验证中的所谓的状态爆炸问题。
Model checking and refinement checking are two approaches to formal verification, whose difficulties are due to the state explosion problem.
本发明提供一种可达到至少两个稳定的电阻率状态的电阻率切换金属氧化物或氮化物层。
The invention provides a resistivity switching metal oxide or nitride layer capable of reaching at least two stable resistivity states.
在这种液体橡胶中的黏土片层可达到剥离分散的状态。
The status of the clay layers in the liquid rubber can be peeled off and dispersive.
有了适当的排气，射速可以提高，充填和保压可达良好状态，不须过度增加料管和喷嘴的温度。
With proper venting, the injection speed could be increased to achieve good fill and pack conditions, without having to raise the barrel and nozzle heats, improperly.
文中阐述了状态反馈与闭环系统可达域之间的关系及某些基本的几何性质。
The relations between state feedback and accessible state set of the closed loop process, and some basic geometric properties are discussed carefully.
转子在悬浮状态可达到每秒数千转的速度，是一种较简单成功的磁悬浮电机。
The rotor can levitate and rotate up to several thousand RPM without any radial support. This is a simpler success of the magnetic levitation motor.
转子在悬浮状态可达到每秒数千转的速度，是一种较简单成功的磁悬浮电机。
The rotor can levitate and rotate up to several thousand RPM without any radial support. This is a simpler success of the magnetic levitation motor.
应用推荐