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
组织—信息系统互动动态网络模拟研究