liveness中文是什么意思

发音:

用"liveness"造句"liveness"怎么读"liveness" in a sentence"liveness"的同义词

中文翻译手机版

（茶叶饮料的）清口性
活跃性
现场感

"livengood" 中文翻译 : 莱文古德
"livencov" 中文翻译 : 利文佐夫
"livens bomb" 中文翻译 : 李文氏弹; 李文氏投射弹
"liven up" 中文翻译 : 使活跃起来; 使有生气
"livens projector" 中文翻译 : 莱文式毒气放射器
"liven" 中文翻译 : vt.,vi. (使)活跃起来，(使)愉快；变得愉快；振奋起来〔常与 up 连用〕。 n. -er
"livenski" 中文翻译 : 利文斯基
"lively zoo" 中文翻译 : 动物园里真热闹
"liventsov" 中文翻译 : 利文佐夫
"lively yarn" 中文翻译 : 扭结纱; 绉缩纱

例句与用法

Liveness analysis of synthesis of petri nets shared subnet
网共享子网合成活性分析
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
生存断言声明保证最终发生某些事件例如，给定的线程将最终被唤醒，而不是永远休眠。
Workflow model of object oriented timed petri net has many analyzing methods , which are used to analyze the nature of petri nets , such as liveness
基于面向对象赋时petri网的工作流模型具有多种分析手段，可以用来对petri网的性质进行分析，例如petri网的活性( liveness ) 。
I would like to take this chance to review myself and my love - hate relationship with theatre and i hope that we can open up more possibilities of liveness and performance
跟许树宁和经纶的合作，我想，《（我）没有罪》不只是借题发挥，更是我希望透过不断的专注的实践，以向布莱希特致敬的创作计划。
Secondly , this paper introduces a new subclass of petri net , named temporal petri net , to model the schemes of audit subsystems . therefore , we can analyze and verify the properties of system safety and liveness
第二，引用一种新的petri网子类? ?时序petri网，利用其对审计子系统的实现方案进行建模，进而对审计系统的安全性和活性进行了分析和验证。
To help thwart these kinds of attacks , better biometric systems will factor in " liveness " measures like temperature and blood flow to try to gain assurance that the fingerprints are from a live human being actually touching the device
为帮助防止这类攻击，更好的生理系统将考虑“生命状态”度量（如体温和血流）以尝试确保指纹来自实际上触摸该设备的活人。
The time petri nets which are discussed in this thesis are very simple and have the same modeling power as the turing machine , however , in general , there is just no comparison between the liveness , boundedness behaviors of a given time petri net and those of its corresponding classical petri net without time restrictions
本文研究的timepetrinet (简称为tpn )简单且模拟能力等价于图灵机，但tpn的活性、有界性和对应的传统petri网的相应性质并无对应关系。
It is an extension of core of manna and pnueli " s pltl . in succession , a formal axiom deductive system is presented . it ' s soundness based formal semantic defined in this thesis is proved . as an example , we specify grc ( generalized railroad crossing ) , which is a benchmark problem for real time systems , and verify it ' s safety and liveness
作为它的一次实际应用，我们用它对于实时系统中的一个典型实例： grc ( generalizedrailroadcrossing )进行了描述，给出了它的系统规约，在此基础上，演绎式的证明了系统的一个安全性和活性命题。
The liveness and boundedness are the most important properties of petri nets . these properties of classical petri nets mostly have had satisfying judging criteria , but the corresponding properties of petri nets with time factors are seldom studied , and a lot of literatures are focusing on concrete applications
活性和有界性是petri网中最重要的性质，对于传统petri网中的这些性质，大都已经得到了较为满意的判定结果，而对含时间因素的petri网的这些相应性质研究得很少，大部分文献都是侧重于具体的应用。
In this paper , a structural methodology for bottom - up synthesis of petri nets for 1c flexible manufacturing systems is presented for the first time . with the help of a guarantying policy of liveness , a live , bounded and reversible final model can be obtained by merging different submodels through what is called autonomy subnet sharing among them . to demonstrate the application of the method , a flexible manufacturing system of integrated circuits is modeled and analyzed using the proposed theory
本文首次提出了一种面向集成电路柔性制造系统的基于共享“自治子网”融合和活性保证策略的“至底向上”的petri网结构化建模方法，在理论上证明了该方法保证所得模型的活性、有界性和可逆性，并且利用该方法与着色petri网结合，对一个集成电路柔性制造系统进行了全面的建模和分析。