一致性

Aimed to two major problems: one is not decidable and the other is no clear semantics. We construct a framework with explicit representation and formal semantics of goalsgoal description logics, which integrates two types of goals: declarative goals and procedural goals into one concept based on description logics. In addition, the goal plan is defined and analyzed, and some reasoning problems, such as goal consistency and goal satisfiability, are discussed. Contrary to traditional ways of goal description, GDLs can bridge the gap between theory and practice in a natural way.

针对传统的目标描述中存在的不可判定性以及没有清晰的语义等问题，在描述逻辑(description logics，DLs)上，将宣称型和过程型2种类型的目标描述有机地整合在一起，从而构建了具有清晰语义与可判定性的形式化框架--目标描述逻辑(goal description logics， GDLs)，在此基础上，定义了该框架下有关规划规则；建立了可用于判定目标一致性、目标可满足性的方法，与传统的目标描述方法相比，目标描述逻辑为主体领域模型提供了一种更有力的形式化工具，同时为智能主体的模型和设计提供了很好的理论工具。

The two methods are presented for non-stationary leakage signals based on original feature gradate. One is a combination of the peak-peak and grads, the other is mean energy method, with the methods eliminate influence of noise and the stress concentration identification is improved. Based on the relativity for wavelet coefficient square, the signal singularity detection theory of wavelet transform was employed to determine metal magnetic memory. Experiment shows that the method is valid for leakage signal.

针对含有噪声非平稳性的漏磁信号，在原有信号特征量梯度的基础上，给出了新的时域空间梯度和峰-峰值组合特征量，以及能量峰值处理方法，有效消除了随机噪声对磁记忆信号的影响，提高了应力集中区的识别率；从磁记忆信号的奇异性检测角度出发，通过多尺度小波系数的平方相关一致性来确定真正的应力集中区；实验验证了所提方法的有效性。

Comparisons of flow curves, microstructure evolution, distribution of average grain size and number of grain side in final microstructure show that the simulated results agree very well with the experimental ones, suggesting that the present CA model is feasible to study the DRX process of AZ91 alloy.

对比分析应力—应变曲线、组织演变、稳态组织中的平均晶粒尺寸及晶粒边数分布，模拟结果与实验结果的良好一致性表明本文作者提出的元胞自动机模型可以用于AZ91合金动态再结晶过程的模拟研究。

Agreement with observation is obtained only if, in addition to the time dilation caused by the aircraft's motion, one takes account of the slowing down of the Earth-bound clock compared with the high flying one due to the difference in gravitational potential.

除了由于飞机的运动引起的时间膨胀，只要考虑到与飞得很高的飞机相比，由于重力势能的不同，固定于地球的时钟减慢时，就能对观察数据达成一致性意见。

Therefore, it keeps the consistency in variation of grayness with traditional spectrogram, and guarantees the continuity of phase display, due to the continuity and recirculation of chromatic variation in the color space.

这样既保持了与传统谱图按灰度变化的一致性，又由于彩色空间色度变化的连续性和圆周重复性，保证了相位表示的连续性。

It is due to this basic function that burr grinders are deemed capable of crushing coffee beans with better grinding consistency.

正是由于这一基本功能，被认为有能力粉碎毛刺打磨咖啡豆研磨较好一致性。

Along with habituation, which is closely related, spatial memory is another reason why consistency across and within applications is good.

和与空间性记忆联系紧密的习惯一样，它俩都能解释为什么贯穿整个程序的一致性是好的。

Consequently it draws the theoretical conclusion of the cultural consistency and the formation of habitus, generation gap, cultural tradition and cultural identity.

最后，在理论上对文化的一致性与习性的形成、代沟以及文化传统与文化认同作了归纳。

Based on the data of 54 cases of local hailstone fall in central Gansu Province during the period from May to August of 2004-2006, the correlations between the VILmax or VILDmax and the geographical location of the regions with the maximal hailstone fall or the maximal diameter of hailstone cell on the ground as well as the Rmax discrimination are contrastively analyzed.

结果表明：①从总体上看，单体VILmax和VILDmax与地面最大降雹区的位置基本保持一致，且Rmax越大，一致性越好，但VILDmax与地面最大降雹区的位置比VILmax更接近。

I find that, whatever the operation strategy a hedge fund adopts, the result of efficiency rank among BCC, cross efficiency, super efficiency and super SBM efficiency are identical.

实证结果发现，BCC 模型、交叉效率、超级效率与超级SBM 效率，不论避险基金其策略为何，其排名的结果具有一致性的。传统夏普比率、调整后之夏普比率与BCC 模型、交叉效率、超级效率与超级SBM 的效率排名经由Spearman

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。