查询词典 concurrency

Petri Nets is a graphics and digital system modeling tool, which provides an efficient way to describe and analyze the complex system that is concurrency, asynchrony, distributivity, or nondeterminacy.

摘 要：Petri网作为一种图形化、数学化的系统建模工具，为描述和分析具有并发性、异步性、分布式、非确定性等特征的复杂系统提供了强有力的手段。

Collaborative design; Feature modeling; Dynamic data exchange; Concurrency control

协同设计；特征建模；动态数据交换；并发控制

Erlang for more than 30 years old, and he is a high-concurrency applications-oriented, and nothing to add to that, in the face of today s multi-core will be a great language, promising!

详细说明： erLang已有30多年历史了，他是面向高并发应用产生的，不多说了，面对多核的现今将是非常棒的语言，很有前途！

Hippocampus CA1 area is the location studying .In hippocampus CA1 area cone cell tier, CA2 shapes with CA3 area also have large amount of NPY to be able to there exist in nerve basic in the tier, but the person remembers that the obstacle relation sees news report not yet with studying difficult to bring nature falling sickness concurrency under control.

海马CA1区是学习记忆的关键部位；在海马CA1区的锥体细胞层，CA2与CA3区的多形层中也有大量的NPY能神经元存在，但其与难治性癫痫并发的学习记忆障碍的关系尚未见报导。

The paper starts as clarification of the theoretical origin of Treaty Fault Responsibility and distinguishes the type, pre-condition and application of the treaty fault responsibility from those of Contract Infringement, Tort Responsibility and Concurrency, discusses and analyzes a series of potential problems when Treaty Fault Responsibility is realized in practice, finally comments on and provides some advice on the relative legislation issues of our country in this field.

本文拟从廓清缔约过失责任的理论基础着手，对我国缔约过失责任的类型、适用条件、表现形式、与违约责任的区别、与侵权责任的区别及竞合等理论，以及实践中产生的一些问题作一反思及研讨，并对我国的相关立法进行评介并提出完善意见。

In this paper, the concept of dynamic priority systems is developed based on bounded P/T systems and the interleaving and the true-concurrency semantics are provided for them respectively.

在有界P/T系统的基础上提出一种动态优先系统，并分别给出它们的交错语义与真并发语义。

We adopt concurrency method, and use the knowledge of the number theory, such as the Legendre symbol and the the congruence equation to construct some families of the opaque predicates that are suit for Java program.

采用并发方法，用勒让德符号和同余方程等数论知识构造了适合混淆Java程序的不透明谓词簇。

A concurrency control framework for replicated CSCW was presented based on the above analysis. To support the framework,a new total order, the lexicographic total order, for operation execution was defined.

采用向量时间方法，在规定操作执行次序方面定义一种新的字典全序，并设计了通用失序纠正策略。

Further, the UML"4+1" view model was used to design a set of system diagrams such as use-case diagram, logical diagram, concurrency diagram and deployment diagram, which discussed network interaction and information transmission in detail.

运用UML"4＋1"视图模型进行了系统用例视图、逻辑视图、进程视图以及部署视图的设计，并在设计中详细讨论了系统的网络交互和数据传递。

Further,the UML"4+1" view model was used to design a set of system diagrams such as use-case diagram,logical diagram,concurrency diagram and deployment diagram,which discussed network interaction and information transmiss.

运用UML"4+1"视图模型进行了系统用例视图、逻辑视图、进程视图以及部署视图的设计，并在设计中详细讨论了系统的网络交互和数据传递。

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.

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