扩展的

Based on the previous research on the portal crane administration, one standpoint put forward in this paper is idea that is on the foundation of reliability in this paper, two viewpoints take shape when reason is analyzed, that is fatigue break and appearing the flaw that will extend. What is the fatigue break?(this phenomenon is always happen in some place),the fatigue is that board appears apophysis and concave when the board is pressed .so that the board ability of bearing the weight of load will descend. Second , the board appear the flaw that the flaw extends in the some place of board one reason is that the machine works too long, so the board ability of bearing the weight of load will decline.

本论文建立在已有的港口装卸机械管理的研究基础之上，进一步提出了以可靠性为基础的港口装卸机械的管理思想，已有的研究表明，港口机械设备破坏主要由于两个原因，第一是稳定性问题，特别是构件的局部稳定性，所谓稳定性是指：在板的平面内，板受到平行于板面的压力作用，使板发生隆起、内陷等凹凸不平的结果，从而使板受载能力减弱；第二是结构出现疲劳裂纹及其扩展，这是由于设备长时期运行，而造成设备某些部位出现裂纹并得以扩展，使设备承载能力下降。

By introducing the generating method and the expanding method,a complementary abstract state space can be constructed using the generating method on goal state once and the expanding method several times in turn.They are useful tools for designers to construct the complementary abstract state space in an easy way,where the complementarity of abstract states means that each ground state can only be represented by one abstract state and all the ground states can be represented by all the abstract states.

然后又提出了抽象状态空间的生成方法和扩展方法，从一个准确描述的的目标抽象状态开始，使用一次生成方法和多次扩展方法，可以让设计者很容易的得到一个规模适度的互补抽象状态空间，即每个基本状态只有一个抽象状态来表示，所有的抽象状态又能表示所有的基本状态。

This language can be extended when components are well designed. By the introduction of a data type conversion function in the edge design and can-connect function in input terminal, the extended data flow language successfully solved the data conversion between different data types. It is a difficult problem in data flow language to realize conditional jump and recursion, however, by using the mechanism of active condition, this dissertation solves the problem well.

相比其它现有的数据流语言，扩展数据流语言具有以下特点：元件设计中定义了一种可激活函数，不同类型的节点允许定义各自的可激活条件，通过合理设计虚拟仪器元件，可以扩展语言的功能；在边的定义中引入类型转换函数，在输入端的设计中引入可连接函数，从而解决了不同数据类型之间数据传递的问题；在数据流语言中实现条件分支与循环通常是具有挑战性的一个问题，本文采用可激活函数的机制给出了一种解决方法。

Experimental results show the recognition rate of the method is 95%for a known expresser and 72% for a novel expresser. Aiming at the shortcomings of optical flow technique,two improved optical flow algorithms are presented.One way is to introduce forward and backword constraint eqution and Hessian matrix of optical flow equation is computed.The well- posedness of each point of local neighbourhood is examined and the weight of Lucas-Kanade's method is defined as the reciprocal of the conditioning number of its Hessian Matrix.

3针对传统光流法的缺点，分别提出了两种不同的改进方法：其一为引入前向-后向光流方程，计算其Hessian矩阵，把Hessian矩阵条件数的倒数作为Lucas-Kanade光流法的加权阵，可有效消除局部邻域中不可靠约束点，同时提高基本约束方程解的稳定性；其二为针对传统光流法只适用于刚体运动的特点，在扩展约束光流方程的基础上引入了div-curl样条函数作为扩展光流约束方程的附加约束条件，给出了一阶和二阶div-curl样条约束下光流的数值解。

In order to study the fatigue of pressure vessel commonly encountered problem in engineering with large destructibility , based on the theory of fracture mechanics , the pressure vessel existing original crack was equivalent to the problem of infinite flat with center crack .

为了分析工程中常见的破坏性极大的压力容器疲劳问题，基于断裂力学理论将存在初始裂纹的压力容器等效为无穷远处作用均匀拉应力的含中心裂纹无限大板问题，解出表面半椭圆裂纹和穿透裂纹的应力强度因子；利用断裂判据得到裂纹的临界断裂尺寸；采用Paris表达式对裂纹扩展速率进行描述，推导出初始裂纹在不同裂纹尺寸和形式下的裂纹疲劳扩展寿命。

First, we analyze their limitations in describing temporal and values which are related to arguments. Then,according to the requirements, TEVAF is proposed.We present a complete description of the structure of framework,and the semantics of the framework,and give the fundamental Lemma and some basic results shown by Dung' argumentation framework,which also hold for TEVAF.

首先分析了Dung的辩论框架以及BenchCapon的值辩论框架在时态以及辩论值方面描述的局限性及需求，然后结合这些需求提出了基于时态的扩展值辩论框架，给出了完整的框架结构和语义描述，证明了基于时态的扩展值辩论框架满足Dung提出的标准辩论框架的一些基本定理。

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方法，得到了鲁棒滚动时域控制律，并给出了其存在和使闭环系统渐近稳定的充分条件，并将结果扩展到对定常系统时域无穷的的情况，指出其与现有的基于二次型稳定概念提出的鲁棒控制的一致性。

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模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

This article study the most three factors of influence in pre-splitting blasting , which are powder capacity per meter 、 spacing of hole and decoupling. On the basis of ANSYS/LS-DYNA and establishing 3D model about two pre-splitting holes, numerical value sumilate expanded process of the crack , then estimates effect of the rock crash by analyzing stress , otherwise estimates effect of pre-splitting blasting by expanded picture .

本文研究了预裂爆破中影响最大的三个因素：线装密度、周边眼间距及周边眼的不耦合系数，并利用动力有限元分析软件ANSYS/LS-DYNA，建立两预裂孔爆破的三维模型，数值模拟出预裂爆破裂缝扩展过程，然后通过应力值的分析来判断岩石的破碎情况，另外利用预裂缝的扩展图分析预裂爆破的效果。

A buffer is created in main memory and the number the database server accessed reduces and the burthens the database server assumes lighten. In order to achieve the request of easy expansion and upgraded in the task, through studying module of Struts frame, the view of fulfilling function of access and controlling through Filter module is put forward.

为了达到研究任务中要求的易于扩展和升级的要求，通过对组成Struts框架的各组件的研究，提出了由Filter组件实现访问控制功能的观点，利用Filter组件可以通过配置文件方便地装配到应用程序中的特性，解除访问控制程序和应用程序之间的耦合，达到更容易升级和扩展应用程序的目的。

She gently rebuff ed him, but agreed that they could be friends

她婉言拒绝了，但同意作为朋友相处。

If in the penal farm, you were sure to be criticized.

要是在劳改农场，你等着挨绳子吧！