模拟的

First, a new model, TSTG (Timed Symbolic Transition Graph) is presented along with its semantics theory. An algorithm deciding timed bisimulation is developed based upon the idea of symbolic bisimulations. Model checking algorithms has played an very important role in verifying systems.

在分析与验证算法的设计方面，在新的计算模型基础上，我们分析了实时传值进程间各种不同互模拟的特点以及判定方法；尤其针对时间互模拟，根据符号互模拟的思想，本文给出了一个时间符号迁移图上的判定算法并证明了算法的正确性。

A three dimensional scaled model of reser- voir was designed and an experimental system of 3-D physical model for horizontal well production was established.

研究了水平井开采物理模拟的相似准则，设计了三维油藏相似比例模型，建立了水平井开采三级油藏物理模拟系统。

Methods In accordance with Monte Carlo method and measures of disproportionality theory, simulate the adverse drug reaction surveillance data by the random mode.

参照蒙特卡罗方法基本思想，基于不相称性测定理论，采用随机模拟的方法对药物不良反应监测数据进行模拟。

The model is used to count several engineering example.Comparing the 2D numerical results with electrical simulations,it is proved that the seepage model can count the seepage surface and the location of search results in dam well and truly.Comparing 3D results with 2D results at close section,the results are tally well except the difference of meshes and the interceptive position of section.So the model is credible and has upper practicality value.In the projects,the spending of account is increasing because of the bigger account field.

将饱和—非饱和渗流模型用于几个工程实例，其二维模拟结果同渗流电模拟实验结果进行了对比，证明本文的渗流模型完全能够准确计算坝内的渗流浸润线以及逸出面位置；三维数值模拟的结果在相近剖面处与二维结果作了比较，考虑三维网格剖分及剖面截取位置的差异，三维结果与二维结果吻合的较好，证明本文的饱和—非饱和渗流模型在三维计算中是可靠的且具有较高的实用价值。

VOF method was used to track the shape and location of free face, and PISO method was used to couple the velocity field and pressure field.

为了验证数值模拟的准确性，对二维、三维数值模拟结果与试验结果及理论分析结果进行了比较。

Aggregation Behavior and the Hard Water Resistant Ability of Linear Alkylbenzene Sulphonate :MesoDyn Simulation and Quantum Calculation Study The quantum calculation and MesoDyn simulation were combined in this paper, the Critical Micella Concentration difference of LAS and AS was studied by the simulation, and aggregation morphology as well as aggregation behavior of linear alkylbenze sulfonate in aqueous solution was investigated by MesoDyn simulation in the presence and absence of shear.

水溶液中直链烷基苯磺酸盐的介观模拟及其抗硬水能力的量子化学计算将介观模拟和量子化学计算方法相结合，通过模拟的方法从介观角度研究了十二烷基苯磺酸盐和十二烷基磺酸盐临界聚集浓度的差异，考察了LAS水溶液体系的聚集形貌以及微相分离时发生的复杂行为。

In this paper, we contribute an evolutionary heterogeneous beliefs model byusing t distribution to replace traditional standard normal to describe fundamen-tal price process and adding risk-adjusted market fraction function in classicaltwo types traders scheme. And then we utilizedifference equation stability and bifurcation theory and numerical simulation tostudy the system. It is found that the system has some styled facts (high kurto-sis、fat tali and long memory) of the actual financial market, and this indicatesthat the simulation model can reflect well the true financial market.

本文通过引入t分布代替原有的正态分布描述基础价格过程，引入经风险调整的投资者市场分数维函数取代原有的无风险调整的市场分数维函数，在经典的两类投资者(自主投资者和图表分析者)模拟模型框架下，建立了新的异质预期资产定价模型，利用差分方程稳定性和分支理论及数值模拟的方法对该系统进行理论分析和实证研究，发现模型具有真实金融市场的程式化事实(尖峰厚尾性，长记忆性等)，模拟效果较好。

A simulation's complexity has to be within the ballpark of the complexity of the modeled; otherwise the model can't keep up with the zig and zags of the thing modeled.

模拟的复杂程度必须在它所模拟的东西的复杂性的活动领域之中，否则，模型就跟不上它所模拟的东西的曲折路线。

A simulation's complexity has to be within the ballpark of the complexity of the modeled; otherwise the model can't keep up with the zig and zags of the thing modeled.

对于一个模拟来说，它的复杂程度，必须在它所模拟的那个东西所具有的复杂性的活动领域之中。否则，模型就跟不上它所模拟的东西的曲折路线。

A simulation's complexity has to be within the ballpark of the complexity of the modeled; otherwise the model can't keep up with the zig and zags of the thing modeled.

对于一个模拟来说，它的复杂程度，必须停留在被它所模拟的那个东西所具有的复杂性的活动领域之中。否则，模型就跟不上它所模拟的事物的曲折路线。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。