交互

Therefore, this paper proposes an approach which builds a complete model including thread interactions and "out of order" execution in a single thread.

因此，本文提出了一种建立包含多线程交互及线程内代码乱序执行的完整模型，并利用模型检测工具进行穷举检测的算法。

To overcoming this kind of shortage, the paper discussed a multi-phase interactive group evaluation method based on order relation analysis.

针对传统的群体评价方法多是静态且无交互的局限性，本文探讨了一种序关系分析下的多阶段交互式的群体评价方法。

This software put the consistency in contents to the point and every kind of meet of hand over with each other it is orotund to broadcast synchronously Hearing the dint practices of dub and choose a help make stronger the practice .

本软件把重点放在内容的一致性及各种见面的交互；声音的同步播放；听力练习的配音；并选择一部分经典的练习题帮助巩固练习。

There is a simple orthoclase crystal, a Carlsbad twinned crystal with an intergrowth and right and left Carlsbad twinned crystals.

包括一块简单正长石晶体，一块有交互生长的卡斯巴双晶，以及一块左形的和一块右形的卡斯巴双晶。

The results in this thesis provide a new method to solve problems of interaction effects and low frequency oscillation in power system.

这也为研究电力系统中各个控制器的交互作用和互联电网的低频振荡抑制问题提供了新的解决方案。

Using a critical realist perspective, our theory explains the process of change as a three-stage cycle in which the ostensive, performative, and material aspects of organizational elements interact differently in each stage.

用一个挑剔的现实主义观点，我们的理论解释了变革的过程作为一个三步循环在组织因素的实例，行为和物质方面，在每一步都有不同的交互影响。

For the current situations that electrical power operation environment is more complex, the power organization reformconstantly, the electricity market is formed step by step, the current electrical equipment is outdate, and for the so many problems that lowenergy efficiency, poor power quality, less interaction between customers and power grid company, this paper defines the smart grid that is suited to China's power grid situation, and summarizes five features for the smart grid such as self-healing, interactive, optimization,compatibility, integration and the differences between smart grid and traditional grid, then introduces the four systems of smart grid and two foundations before building the smart grid, and finally concludes that smart grid is the inevitable result for the economical and technological development.

针对目前电力运行环境的日趋复杂、电力体制改革的不断前进、电力市场的逐步行成、现有的电力设备亟待更新、能源利用率低、电能质量差、用户与电网公司交互作用少等诸多问题，讨论了适合中国电网情况的智能电网的定义，总结出了智能电网自愈、互动、优化、兼容、集成五大特点，概括出了智能电网和传统电网的区别，并详细介绍了构成智能电网的四大体系和建立智能电网的两大基础，最后总结出智能电网是经济和技术发展的必然结果，我国应加快智能电网的研究发展。

We'll look at the interaction of overloading and templates in more detail in the next section.

下一节将更详细地介绍重载和模板的交互作用。

There are a number of pairwise interactions in which version mismatches could cause problems

其中有很多端到端的交互，如果两端的版本不匹配，可能会引发一些问题

It presents that the key of improving the imaging quality of Mesozoic and Paleozoic seismic data is static methods and parameter also.

比较了多种折射静校正方法的处理效果，发现交互迭代折射静校正的效果最好。

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.

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