go top

event structure

  • 事件结构

网络释义专业释义

  事件结构

本文通过介绍并发模型中一个重要的分支,也是形式化方法中常用的表达工具——事件结构(Event Structures),引入标签化事件的概念,并以进程代数作为基本的数学框架,最终对Verilog的子集给出一个基于事件的结构化操作语义。

基于10个网页-相关网页

短语

probabilistic event structures 事件结构

Initialize the event flag structures 初始化事件标志组

  • 事件结构 - 引用次数:6

    参考来源 - Kill的语义结构与汉译模式认知研究—《外语教学》—2008年第3期—龙源期刊网

·2,447,543篇论文数据,部分数据来源于NoteExpress

双语例句权威例句

  • The distance function of the metric is based on the length of the longest bundle chain in probabilistic event structures.

    度量距离函数基于概率事件结构达到一致最长因果集束长度

    youdao

  • In this paper, we take probabilistic event structures as our semantic model and provide a metric denotational semantics for probabilistic process algebra.

    本文中,我们采用概率事件结构作为语义模型,研究概率进程代数度量指称语义

    youdao

  • Since it is hard to specify recursive processes using probabilistic event structures directly, we use a metric approach on probabilistic event structures.

    由于直接采用概率事件结构难以刻画递归进程,因此,本文概率事件结构上采用一种度量方法

    youdao

更多双语例句
  • In any event, it should be noted that the use of VIE structures was explicitly designed to circumvent foreign investment in certain industries and companies.

    FORBES: Looking at Chinese VIE's

  • And we published all the principals of this before we started the procurement, so in the event that a supplier or subcontractor were unsuccessful we do have structures in place to deal with that.

    BBC

  • As in earlier jets, the agency wanted assurances that in the event of a battery emergency, the high temperatures wouldn't damage surrounding structures and any smoke or fumes would be sucked outside rather than into the cabin.

    WSJ: All Boeing Dreamliners Are Grounded

更多权威例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定