扩展

Based on the fracture mechanics approach, the finite element method analyzed a varity of the stress intensity factor at the pavement crack tip when setting fiberglass-polyester paving mat, and the effect of the stress intensity factor in symmetric load and asymmetric load was studied when the asphalt layer modulus, thickness of semi-rigid base, the the depth of the crack, touch condition, interlay modular, etc., changed.

基于断裂力学的方法，采用ANASYS软件模拟沥青路面典型结构，分析了设置聚酯玻纤布夹层后，在正载和偏载作用下，裂缝尖端应力强度因子的变化，研究了沥青层模量、基层厚度及裂缝扩展深度等结构参量及层间接触条件和夹层模量对应力强度因子的影响规律分析结果表明，设置聚酯玻纤布夹层，可以有效防治荷载型反射裂缝的扩展。

In order to enlarge the application scope of our algorithm, the expansions of eLiveSet on four ways are studied, that is, the gradient of multi-relation, the constraints on the gradient cell, the gradient in the interval and the different gradient function.

为了扩大了算法处理问题的范围，给出了eLiveSet算法在多种关系间的梯度、梯度元组约束条件、区间上的梯度、不同的梯度函数四个方面的扩展，这些扩展可以通过修改算法的相关部分来实现。

Based on the ellipse spreading model proposed by Lehr, the quantitative relationship was deduced in this article, which can analyze its variation characteristics.

依据Lehr 提出的油膜椭圆扩展模型构建了油膜厚度随溢油性质和海洋环境条件变化的定量关系，剖析了溢油扩展过程中油膜厚度的变化特征。

Considering the vehicular SG cruise integrating model under braking condition influenced by some factors of nonlinearity, time-delay and the disturbance, a new nonlinear SMITH predictor is designed to compensate the time delays of control variable in advance. Furthermore, with the resort of pure delay operator, extension of the Lie derivative and the Lie bracket, some issues of SISO nonlinear system with time delays in state variable are resolved, which cover the input-output linearization, invertability of coordinate transformation and the disturbance decoupling problem.the staged transformation and design technique, the vehicle deceleration tracking control and the SG cruise disturbance decoupling control under braking condition are carried out effectively using proposed control method.

在建立制动工况下车辆走-停巡航系统集成模型基础上，针对其非线性、时滞特性以及目标车减速度干扰的影响，提出一种改进的非线性SMITH预估补偿方法，以消除控制变量时滞，并结合时滞算子、扩展李导数和扩展李括号方法，研究并解决了SISO状态变量时滞非线性系统的输入输出线性化、坐标变换的可逆性以及输出干扰解耦问题，实现了SISO时滞非线性系统的综合控制。

According to the stress-strain complete process curve, the total volumetric strains and crack induced 1 volumetric strains is adopted as damage parameters for analyzing the five phases during the crack growth (crack closure , linear elastic, stable crack growth, unstable crack growth and post failure).

通过压缩试验获得的脆性岩石的全应力应变曲线，利用体积变量和裂纹体积变量等损伤变量分析得出裂纹发展的五个阶段即：压密、弹性、微裂纹稳定扩展、裂纹非稳定扩展和峰后失稳等。

Linear Fractional Transformation is adopted to translate the control of perturbation to the control of disturbance, then cost index is augmented, and with the min-max method, a robust receding horizon control law is derived. The sufficient conditions for the existence of the control law and closed-loop stability are also presented. The result is extended to time-invariant system with an infinite horizon, and its consistence with the robust control based on the concept of Quadratic Stability is verified.

首先利用线性分式变换，将摄动系统的鲁棒控制问题转化为对扰动系统的鲁棒控制问题；然后通过对性能指标的扩展，利用min-max方法，得到了鲁棒滚动时域控制律，并给出了其存在和使闭环系统渐近稳定的充分条件，并将结果扩展到对定常系统时域无穷的的情况，指出其与现有的基于二次型稳定概念提出的鲁棒控制的一致性。

As in our previous extensions, on NT-based OSes, we need to add our extension to the system's list of approved

正如我们在以前的扩展，对NT的操作系统，我们需要添加我们的扩展系统的清单批准

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

When NASM is generating a listing file from your program, it will generally expand multi-line macros by means of writing the macro call and then listing each line of the expansion.

当NASM从程序生成列表文件时，它一般这样扩展多行宏：写出宏调用然后列出扩展的每一行代码。

When the expansion of a single-line macro contains tokens which invoke another macro, the expansion is performed at invocation time, not at definition time.

当一个单行宏的扩展包含对另一宏的调用时，扩展在祈用时执行而不在定义时执行，因此下述代码

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失