It is the pleasure of imagining a liveness, a directness, a presence.
这是一个快乐的活性想像，一个直接，一个存在。
Liveness and safeness are important behavioral properties of net systems.
活性和有界性是网系统的重要行为特性。
Together, this discovery and failure detection is often referred to as liveness.
这个发现和故障检测总称活性。
Liveness and safeness are important behavioral properties of nets (systems).
活性与安全性是网系统重要的行为性质。
Various definitions for safety and liveness appeared in literature are analyzed and compared.
对现有文献中不同的安全性和活性定义进行了分析和比较。
Moreover, proves the sufficient and necessary conditions of deciding if NESAC nets is the structural liveness.
给出了NESAC网结构活判定的充分必要条件以及它们的证明。
A liveness check algorithm based on body temperature measurement model using SVM (support vector machine) is proposed.
提出了一种基于支持向量机体温检测模型的活性判别算法。
The liveness functionality (opening and monitoring of connections) is the main work performed by the HA Manager component itself.
活性功能（连接的打开和监视）是HAManager组件本身执行的主要工作。
For most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis.
模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。
This paper presents Web as the object to be assigned to registers, constructs the interference graph of Webs by data flow analysis of Web liveness.
提出使用网表示可分配寄存器对象，通过对网的活跃性数据流分析，构造网的冲突图。
Aiming at photo deception in face recognition system, a new face liveness verification algorithm using estimation of face pose variation is presented.
针对人脸识别系统中的欺骗手段，提出了一种基于姿态变化的脸部真实性判别算法。
In general, a typical iris recognition system includes iris imaging, iris liveness detection, and recognition and this paper focuses on the last issue.
通常一个典型的虹膜识别系统包括虹膜成像、活体检测和虹膜识别，本文把重点放在最后一部分。
By the algorithm formulated in this study, a liveness-enforcing supervisor of FMS with simple structure and maximally permissive behavior can be found.
通过文中给出的算法，最终获得结构简单、状态最大许可的柔性制造系统活性监督控制器。
Moreover, a judgement condition for live and bound WAC net system is given, and the sufficient and necessary condition for WAC net liveness monotonicity is shown.
同时，提出了活的有界的WAC网系统的判定条件，进而给出了WAC网活性满足单调性的充分必要条件。
After all, theatre is a much harder thing to commodify than many other art forms because its value derives from its liveness, and cannot be reproduced and sold AD infinitum.
毕竟，剧院是一个相较于其他艺术形式来讲更难商品化的地方，因为它的价值取决于它的人气，并且永远也不可能复制和出售。
For liveness analysis, it is found that some receiver process may stay at initial state s' 0 forever, that is, system may has deadlock, if process fault occurs arbitrarily.
在对算法的活动性分析中得出的结论：允许故障的条件下会出现接收员进程终止于状态s0的情况。
After G1 performs a global marking phase determining the liveness of objects throughout the heap, it will immediately know where in the heap there are regions that are mostly empty.
在G1对全局进行标记并决定堆上对象的活跃度后，它立刻就知道堆上的哪些区域几乎是空闲的。
According to different network structure, a subnet level reduction rules has been put forward based on SCN and the liveness, effectiveness and completeness of these rules have been demonstrated.
根据网结构的不同，基于SCN提出一组子网级化简规则，证明了这组化简规则的活性保持性、有效性和完备性。
According to different network structure, a subnet level reduction rules has been put forward based on SCN and the liveness, effectiveness and completeness of these rules have been demonstrated.
根据网结构的不同，基于SCN提出一组子网级化简规则，证明了这组化简规则的活性保持性、有效性和完备性。
应用推荐