在等价验证中，通常选择互模拟作为等价关系。
Bisimulation is often chosen as the equivalence relation in equivalence checking.
本文主要研究了域自动机方法、带自动机方法以及基于历史等价和转换互模拟的最小化方法。
In this paper, we research region automata, zone automata and the method of state space minimization based on history equivalence and bisimulation transition.
进程演算通常用来研究交互式反应系统，其中的互模拟方法是用来形式化验证系统属性的重要途径。
Process calculus is usually used to reason about reactive systems, in which bisimulation method is an important way to formally verify the properties of a system.
此外，本文还引入了迁移系统的限制乘积概念，并以此为工具研究了弱互模拟和弱不变量之间的相互转化。
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.
其次，本文还引入了迁移系统的限制乘积概念，并以此为工具，研究了弱互模拟和弱不变量之间的相互转化。
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.
我们的代数语义相对于前面所作的操作语义模型来讲是可靠的，即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的。
All the laws presented above are sound with respect to the operational semantics , i . e. , if the two processes are the two sides of a law, then they are bisimilar.
由于互模拟的概念几乎同时在计算机科学、模态逻辑和集合论中产生，本文试图给出一种能够刻画计算机科学、模态逻辑和集合论中互模拟概念的统一定义。
Because the concept of bisimulations has emerged almost at the same time in computer science, modal logic and set theory, this paper attempts to give a general definition on this concept.
该工具是陆军的通用虚拟环境计划的一部分，该计划设计用来把虚拟训练模拟工具连接到一个综合的互操作的训练系统。
The tool is part of the Army's Common virtual Environment initiative designed to link virtual training simulation devices into an integrated and interoperable training system.
包括对特定区域的支持测试，增加与其他产品的互操作性测试，压力测试模拟以及6.5.2和6.5.3的补丁包。
These included bolstering testing in certain areas, increasing interoperability testing with other products, stress testing simulations, and tactical Fix Packs for 6.5.2 and 6.5.3.
报道了采用电磁场全波分析方法模拟高速数字微波共面带线传输线电磁互耦特性。
A full wave simulator for the electromagnetic coupling of coplanar-type strip line in high speed digital microwave IC is described.
利用电子科技大学编写的微波管模拟套装中的3维注-波互作用模块进行了静态轨迹计算，验证了理论推导。
The ripple has been proved by 3D beam-wave interaction simulator(BWIS) module of microwave tube simulator suite(MTSS), which was developed by University of Electronic Science and Technology of China.
计算机模拟表明，此方法可以无偏地估计一个共显性标记与一个互作基因之间的重组率或连锁距离。
Computer simulations have shown that the methods proposed can unbiasedly estimate the recombination frequency or linkage distance between a codominant marker and an interactive gene.
利用互功率谱方法对异步电动机发生多根导条断裂故障进行了模拟仿真，包括连续断条和间歇断条故障。
In this paper, the method of cross power spectrum is used to simulate rotor bars breaking faults of induction motor, including continuous breaking and intermittent breaking of rotor bars.
另外，还模拟了一个相对论盘荷波导行波管中的非线性注波互作用过程。
The nonlinear beam-wave interaction processes in a relativistic disk-loaded waveguide TWT are also been simulated using the theory.
基于该模型，编写了圆柱腔回旋自谐振脉塞放大器单模波束互作用计算程序，并对麻省理工学院的一个实验进行了非线性模拟。
Based on the model, a code of nonlinear beam-wave interaction in the CARM amplifier has been made. We use this code to simulate the experiment achieved in Mashachusetts Institute of Technology (MIT).
采用本征激励法，在考虑互耦影响下，数值模拟了幅度误差、相位误差、位置误差和不平行度偏差等对超低副瓣阵列天线方向图性能的影响。
Monte Carlo method and the eigen-driven analysis method are combined to simulate the effects of errors on side-lobe level distribution of the Ultra-low side-lobe arrays.
模型介质材料分别模拟地表杂填土层，粉质黏土、粉土、粉细砂互层和车站隧道底部的卵石圆砾层；
The model stratums mainly included miscellaneous filling soil surface, interaction stratum of silty clay, silt and fine sand and pebble round gravel at the bottom of station tunnel.
模型介质材料分别模拟地表杂填土层，粉质黏土、粉土、粉细砂互层和车站隧道底部的卵石圆砾层；
The model stratums mainly included miscellaneous filling soil surface, interaction stratum of silty clay, silt and fine sand and pebble round gravel at the bottom of station tunnel.
应用推荐