1)bisimulation互模拟
1.A Bisimulation Congruence Definition Framework for Mobile Process Calculi;一个移动进程演算的互模拟同余定义框架
2.Quantales and Process Semantics of Bisimulation;Quantale与互模拟的进程语义
英文短句/例句
1.Bisimulation Congruence in Robust Ambient Calculus鲁棒环境演算中的互模拟同余关系
2.The Verification of Symbolic Bisimulations in Asymmetric X～≠-Calculus;非对称X～≠-演算符号互模拟验证
3.Some Results on Games for Bisimulation and Modal μ-calculus;博弈理论在互模拟和模态μ-演算上的一些应用
4.liberty mutual automotive crash simulator自由相互碰撞模拟装置
5.System for Inter-linked Global Modelling Analysis全球互通模拟分析系统
6.interactive graphical simulation language交互式图形模拟语言
7.Simulation Political Economic Strategic Interaction Model模拟政治经济战略交互模式
8.Research on Physical Simulation and Interaction in Virtual Reality Environment虚拟现实环境下的物理模拟及交互性的研究
9.Study on Numerical Simulation of Interaction between Handset and Human Body;手机与人体相互作用的数值模拟研究
10.Numerical Study on Interactoion of Water Mist with Pool Fire;细水雾与油池火相互作用的数值模拟
11.Three-Dimensional Numerical Simulation of Pile-Soil-Structure Interaction;桩—土—结构相互作用三维数值模拟
12.Modeling Interaction ror Construction of Close-Spaced Tunnels Using ANSYS;近距隧道施工相互影响的ANSYS模拟
13.Numerical Simulation of Wave Interaction with Submerged Porous Breakwater;波浪与可渗潜堤的相互作用数值模拟
14.Numerical Simulation for Interaction of Shock Wave with Dust Layer;激波与堆积粉尘相互作用的数值模拟
15.Numerical Simulation of Beam-Wave Interaction in the Gyrotron Oscillators;回旋管振荡器注波互作用的数值模拟
16.Virtual Actor s Facial Expression Modeling Based on Interactive Evolutionary Computation;基于交互式进化计算的虚拟表情建模
17.Simulation of Single-stage Interconnection Networks for SIMD Computer;SIMD计算机单级互连网络的模拟
18.Study of Dynamic Network Simulation on Coordination between Information System and Organization组织—信息系统互动动态网络模拟研究
相关短句/例句
barbed bisimulation钩互模拟
3)the bisimulation lattice互模拟格
1.The paper defines the syntax and semantics of the asynchronous asymmetric x-calculus , introduces a group of L-bisimilarities and constructs the bisimulation lattice of the asynchronous asymmetric x-calculus.本文研究了异步非对称Chi演算的各种互模拟关系,文中定义了异步非对称Chi演算的语法和操作语义,引入一组L-互模拟关系,构造了异步非对称Chi演算的互模拟格。
4)weak bisimulation弱互模拟
1.Besides,we introduce the concept of restrict product of transition systems, and take this as a means to study the mutual transition between weak bisimulation and weak invariants.此外,本文还引入了迁移系统的限制乘积概念,并以此为工具研究了弱互模拟和弱不变量之间的相互转化。
2.Secondly,this paper introduced the concept of restrict product of transition system, and took this as implement, studied the mutually transition between weak bisimulation and weak invariant.本文在文献[1]，[2]的框架下，首先，对带不可观察迁移的LTS给出了弱不变量的定义，讨论了其性质及与其它概念(包括弱互模拟、弱同态、不变量等)之间的关系。
5)open-bisimulation开互模拟
1.Then, weak open-bisimulation was done to them.为检验Web服务组合的实现与用户需求的一致性,在开互模拟形式化理论和检验工具的基础上,提出了一个自动化检验方法。
6)strong bisimilarity强互模拟
延伸阅读
“船舶碰撞互有过失”条款“船舶碰撞互有过失”条款 【“船舶碰撞互有过失”条款]海洋运输货物保险条款规定，运输合同订有“船舶碰撞互有过失条款”并由被保险人负比例责任时，保险人同意给予赔偿的具体规定。按照“有关统一船舶碰撞若干法律规定的国际公约”，船舶碰撞互有过失，两船上的货物损失由过失方各按过失程度比例赔偿。由于一般运输合同规定承运人对船长、船员在驾驶船舶的疏忽不予负责。因此，货物所有人只能向对方追偿其负有的过失比例部分。美国没有参加“有关统一船舶碰撞若干法律规定的国际公约”。按美国法律规定，无辜受害人可向使他受害的任何人要求赔偿其全部损失。货物所有人在美国起诉就可向对方船获得100%的赔偿。事实上，对方船赔偿后，可向承运船舶要求摊回承运船舶应负的过失比例责任部分。承运人为了要求货物所有人退回根据运输合同免责条款、原不应获得的赔偿，在运输合同中特别加上“船舶碰撞互有过失”条款，明确规定货主要向承运人退还他从对方获得的承运人过失比例责任部分的赔偿。根据货运险条款规定，对于被保险人应向其承运人退回的这部分赔偿，其损失可由保险人赔付。
