查询词典 rule book

Syntactical completeness is only concerned with syntactics. The classical proposition logic systems with the rule of substitution are syntactical complete, while the ones without the rule are not.

语法完全性仅与一个形式系统的语法构造相关，经典命题逻辑的有代入规则的系统是语法完全的，无代入规则的系统不是语法完全的。

Syntactical completeness is only concerned with syntactics. The classical preposition logic systems with the rule of substitution are syntactically complete, while the ones without the rule are not.

语法完全性仅与一个形式系统的语法构造相关，经典命题逻辑的有代入规则的系统是语法完全的，无代入规则的系统不是语法完全的。

How to success in unifying rule of law and rule of morality is the above three parts end and they are all go back to Part Four in practice.

前面三部分的探讨最后落实到实践中来就是如何实现法治与德治的统一，用什么样的方法来实现法治与德治的统一。

This rule is often referred to as the Rule of Three, indicating that if you need a destructor, then you need all three copy - control members.

这个规则常称为三法则，指的是如果需要析构函数，则需要所有这三个复制控制成员。

The increasing rule of total level of price of information commodity, and' indicates the enlightment of this three rule for us.

本文分析了信息产业发展的三大规律，即信息产业比重增大规律、信息产业结构高度化规律和信息商品价格总水平上升规律，并指出了这三大规律对我们的启示。

The discussion of the fourth kind of quadratic equation , the use of "rule of three", the calculation of number r and some terms Algebra can be found in Indian classics introduced to Arab and some of these mathematical knowledge maybe comes from China (such as "rule of three").

花拉子米对第四种二次方程的讨论，使用的"三率法"，对圆周率的计算以及某些术语可以在早期传入阿拉伯的印度典籍中找到出处，而在这些数学知识中有一些可能是远源于中国的。

This paper unscrambles the issues in the constructing process of socialistic political civilization from three dimensionalities.The rule of man greater than the rule of law: the abused common power as well as damaged private right.

文章主要从三个维度来解读在社会主义政治文明建设过程中的问题：人治大于法治：被滥用的公共权力和被损害的私人权利。

" Service Above Self" is a rule for all seasons; it is a rule for our lives.

超我服务〞是一年四季都可依循的准则；也是我们人生的法则。

Angular spectral is spectral value map formed by estimating semblable coefficients of fast and slow shear wave or the variation of amplitude ratio of fast and slow shear wave with times and angles at a specified space point based on semblable theory of fast and slow shear wave, the angle value of this space point at a given time can be got by picking the maximum of angular spectral; the study reveals that fast and slow shear wave with different polarization direction should be separated using different rotation formula, eight formulas of separating fast and slow shear wave using clockwise rotation and counterclockwise rotation have been derived, and gained energy assignment rule and phase coincidence rule, in real data estimation, the rotation formula used for separating fast and slow shear wave can be uniquely determined on the two discriminating rules. On the basis of semblable theory of fast and slow shear wave, the delay time corresponding to the maximum of semblable coefficients at a specified point in a given time window is the delay time of fast and slow shear wave, delay time section of fast and slow shear wave can be got by moving space point and smoothing time window. The vertical variation values of delay time of fast and slow shear wave reflect the effect degree of vertical fractured reservoir on fast and slow shear wave which is defined as anisotropic coefficient, and section map of anisotropic coefficient can be obtained.

角度谱就是利用快慢横波的相似性原理，在某一空间点求出快慢横波的相似系数或快慢横波的振幅比值随着时间和角度的变化而形成的谱值图，拾取其极大值就得到该空间点某一时间的角度值；在研究中发现分离不同偏振方向的快慢横波应该采用不同的旋转公式，推导出了利用顺时针旋转和逆时针旋转分离快慢横波的八个公式，并给出了能量分配准则和相位一致性准则两个判别准则，在实际计算中利用这两个判别准则能唯一地确定分离快慢横波的旋转公式；根据快慢横波的相似性原理，在某一给定点和给定时窗内最大相似系数对应的延迟时间就是快慢横波的延迟时间，随着空间点的移动和时窗的滑动就可以得到快慢横波延迟时间的剖面图；快慢横波延迟时间与慢横波传播时间的比值定义为裂缝密度，并求出了裂缝密度剖面图；快慢横波延迟时间纵向上的变化值的大小反映了纵向上裂隙层对快慢横波影响的大小，定义为各向异性系数，并求出了各向异性系数的剖面图。

With co-tidal and co-range charts that depend on the computational result, this text analyses semidiurnal tide and diurnal tide in detail, including the swing value and distributing rule of each tide and their moving directions and rule. There are mainly some founds as follow.

用根据模型计算结果绘制的各分潮同潮时图，本文对浙江近海海域的各半日分潮及全日分潮做了详细的分析，包括各分潮振幅值的大小及分布规律，还有各分潮的传播趋势及传播速度的比较等。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。