Discovery and failure detection= liveness 发现+故障检测=活性
Model-based analysis includes safety analysis ( checking that bad things never happen) and liveness analysis ( checking that good things eventually do happen). 基于模型的分析包括安全分析(检测那些永远不会发生的安全隐患)和活性分析(检测那些最终会发生的有效内容)。
For most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis. 模型检测时,实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。
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对全局进行标记并决定堆上对象的活跃度后,它立刻就知道堆上的哪些区域几乎是空闲的。
Liveness assertions state that certain events are guaranteed to occur eventually-for instance, that a given thread will eventually wake up instead of sleeping forever. 生存断言声明保证最终发生某些事件例如,给定的线程将最终被唤醒,而不是永远休眠。
Aiming at photo deception in face recognition system, a new face liveness verification algorithm using estimation of face pose variation is presented. 针对人脸识别系统中的欺骗手段,提出了一种基于姿态变化的脸部真实性判别算法。
A Polynomial Algorithm to Decide Liveness and Boundedness of ESAC Nets 关于ESAC网活性和有界性的一个多项式算法
The paper studies liveness on Asymmetric Choice nets ( AC nets) by structure analysis theory. 针对非对称选择网的活性问题,利用结构分析理论,作了进一步的研究。
On Liveness and Boundedness of Weighted Asymmetric Choice Nets 加权非对称选择网活性和有界性分析
The hierarchical representation method of Petri net is embodied in the process of proving structural liveness preservation. 特别在证明结构活性保持性的过程中,体现了Petri网层次化的描述方法。
The structure and liveness of the shared composition petri nets are studied; The relationship between the liveness and the state constancy, the behavior constancy and a decision method of the liveness of the shared composition petri nets are given. 研究了Petri网的结构和活性性质,给出了活性与状态不变性和行为不变性的关系及共享合成Petri网的活性判定方法;
On the basis of reachability tree of Petri nets, boundedness, liveness and deadlock can be analyzed. 基于可达树的性能分析通过构造Petri网模型的可达树对其有界性、活性和死锁等性能指标做出了分析;
Liveness and safeness are important behavioral properties of net systems. 活性和有界性是网系统的重要行为特性。
Moreover, proves the sufficient and necessary conditions of deciding if NESAC nets is the structural liveness. 给出了NESAC网结构活判定的充分必要条件以及它们的证明。
Analysis and implementation of liveness and fairness of bounded Petri nets 有界Petri网的活性和公平性的分析与实现
Based on the three colours Petri net we model the material flow control of automated sorting system, and analyze the coherence, liveness, boundedness and safeness of the system. 基于三色Petri网对自动分拣系统中的物流控制进行了建模,并作了一致性、活性、有界性和安全性分析。
Liveness is one of the important behavioral properties of Petri nets. 活性是Petri网的重要行为特征之一。
Technique of detecting safety and liveness based on FSP 基于FSP的安全性与活动性检测技术
Deciding liveness of bounded Petri nets with its reachable marking graph is easy, but for unbounded Petri nets that are generally existing, finding an algorithm for its liveness decision is not easy. 对有界Petri网,通过构造其可达标识图来判定其活性是容易的,但对于大量的无界Petri网,找到一个判定其活性的一般性算法并不容易。
Safety and liveness is the two basic properties in concurrent systems and distributed systems, detect safety and liveness quickly has important practical significance during system design and development. 安全性与活动性是并发系统和分布式系统的两类基本性质,快速检测安全性与活动性在这类系统的设计和开发过程中具有重要的实际意义。
In this paper, an algorithm is given to decide the structural liveness and structural boundedness of extended strong asymmetric choice ( ESAC) nets. 给出了关于扩展强化非对称选择网(extendedstrongasymmetricchoicenets,简称ESAC网)结构活和结构有界的一个判定算法。
In this paper, a sufficient condition and a necessary condition on liveness for Weighted Asymmetric Choice ( WAC) net system which is an important subclass of Petri net system are presented. 给出了Petri网系统的一个重要子类,即加权非对称选择网(weightedasymmetricchoicenet,简称WAC网)系统活性的一个充分条件和一个必要条件;
It is proved that the WTTPN is equivalent to its underlying net about liveness, boundedness and reversibility. 证明了WTTPN与其基网系统关于活性、有界(安全)性和可逆性等价。
In the view of analysis method, the reduction rule of CPN was extended, which is integrated with the reachability graph to check the liveness and bound properties of interactive protocol model. 在交互协议分析方面,对CPN模型简化规则进行了扩展,提出了集成简化规则和可达图的定性分析方法。
A set of sufficient conditions or sufficient and necessary conditions of liveness preservation, boundedness preservation were proposed. 提出了合成网保持活性和有界性的一组充分条件或充要条件;
The Study of Petri Net System Liveness Petri网系统活性的研究
Language Recursiveness and Liveness in Sharing Synthesis of Petri Net Systems 共享合成Petri网系统的语言递归性与系统活性
Analysis of liveness and fairness for t composition Petri net T-组合Petri网的活性和公平性分析
Furthermore, liveness, another significant behavioral property, means that every production process can always be finished. 更进一步,系统活性是另一个重要的行为性能,它意味着系统中每一个加工进程或早或晚终究可以完成。
According to the object-oriented Petri net model of single system object and the whole system built before, we analyzed the systematic nature about the model, including the structural liveness and the structural boundedness. 在建立系统对象和系统整体面向对象Petri网模型的基础上,进行系统性质分析,主要包括结构活性分析和结构有界性分析。