The distance function of the metric is based on the length of the longest bundle chain in probabilistic event structures.
度量的距离函数是基于概率事件结构达到一致的最长因果集束链的长度。
In this paper, we take probabilistic event structures as our semantic model and provide a metric denotational semantics for probabilistic process algebra.
本文中，我们采用概率事件结构作为语义模型，研究了概率进程代数的度量指称语义。
Since it is hard to specify recursive processes using probabilistic event structures directly, we use a metric approach on probabilistic event structures.
由于直接采用概率事件结构难以刻画递归进程，因此，本文在概率事件结构上采用了一种度量的方法。
Event structures are important true concurrent models and are well-suited to provide a true concurrent semantics for process algebra in a compositional way.
事件结构是一种十分重要的真并发模型，非常适合于为进程代数提供一种具有可组合性的真并发语义。
But these tree structures lack any kind of event handling model and therefore can't meet the requirements of a highly interactive tree widget.
但是这种树结构缺乏任何类型的事件处理模型，因此不适合高交互性的树窗口部件的要求。
As the GDM code says, "it's hard to be event controlled while maintaining state," so we add our own state-monitoring variables and data structures to process the keystroke-dynamics functions.
如GDM代码所示，“维护状态时很难控制事件”，因此添加我们自己的状态监视变量和数据结构来处理击键力学函数。
The event data itself is contained within the CBE as a payload field that can either leverage predefined payload structures or be extended to create new payloads.
事件数据本身也包含在CBE 中，是一个能利用预定义负载结构或通过扩展生成新负载的负载字段。
While this was not an anticipated event, it happened outside the containment and did not pose a risk to the plant's safety structures.
虽然这没有预料到的，但它发生在容器的外面并没有给工厂的安全设施带来风险。
An evaluation method for event set data structures based on event set distribution function is presented in this paper, and three event set data structures are analysed by the method.
本文提出了一种基于事件表分布函数的事件表数据结构的评价方法，并使用这种方法分析了三种事件表数据结构。
Clearly indicate each link's destination. Keep navigation structures and nomenclature visible, rather than hiding them until the user has triggered an event (such as a mouse over).
明确标示每个链接的目标。保持导航结构和命名的可见性，而不要隐藏它们，不要直到用户触发一个事件(比如鼠标移过)才显示。
Stacks and Queues are often considered the bread and butter of data structures and find use in architecture, parsing, operating systems, and discrete event simulation.
栈和队列常常被视为数据结构中的面包和黄油，广泛应用在体系结构、分析、操作系统和离散事件等领域。
The Jiaodong event, which took place after formation of the Archaean Jiaodong Group, caused the first phase of N-S structures and syntectonic granulite facies metamorphism.
继太古代胶东群形成之后的胶东事件，在胶东群中造成了第一期的南北向构造和同构造麻粒岩相高级区域变质。
Borrowers' capital structures-the various layers of debt and equity, each with different rights in the event of default-are now more complex.
目前借款人的资本结构愈发复杂(发生违约时，负债和权益的层次不同，则权利各异)。
The mesoscale typhoon low pressure and its specific dynamical and thermodynamical structures were directly related to this heavy rainfall event.
而中尺度低压及其特有的动力热力结构与该暴雨过程直接相关。
Bar tensioning is available on all roder HTS party and large event series structures.
酒吧张可在所有罗德高温超导党和大型系列活动的结构。
The epoch-making event was preceded by a long history in statics, the analysis of structures in equilibrium.
对力的平衡进行结构分析，是静力学漫长历史中具有划时代的事情。
The paper analyzes the difference between middle verbs and ergative verbs in argument structures at first:in the former the event argument is suppressed, but the latter does not affect that argument.
本文首先讨论中动词和作格动词论元结构的不同之处：在中动结构中，事件论元受到了抑制； 在作格结构中，事件论元没受到任何影响。
The paper analyzes the difference between middle verbs and ergative verbs in argument structures at first:in the former the event argument is suppressed, but the latter does not affect that argument.
本文首先讨论中动词和作格动词论元结构的不同之处：在中动结构中，事件论元受到了抑制； 在作格结构中，事件论元没受到任何影响。
应用推荐