查询词典 first-order theory

For collection pay to the order of B Bank Pay to the order of B Bank for collection only,prior indorsement guaranteed Pay to the order of B Bank of deposit Pay to the order of B Bank value in collection Pay to the order of B Bank by procuration Pay to any Bank 69 (5)质押背书 pledged

质押背书是背书人以票据的债权作抵押物而对票据所作的一种背书。质押背书并不是债权的转移如果被背书人进行再背书，只能以委托收款的方式。

On a consultation held in our printing-office among his friends, what he should do in this conjuncture, it was proposed to elude the order by changing the name of the paper; but my brother, seeing inconveniences in this, came to a conclusion, as a better way, to let the paper in future be printed in the name of BENJAMIN FRANKLIN; and in order to avoid the censure of the Assembly, that might fall on him as still printing it by his apprentice, he contrived and consented that my old indenture should be returned to me, with a discharge on the back of it, to show in case of necessity; On a consultation held in our printing-office among his friends, what he should do in this conjuncture, it was proposed to elude the order by changing the name of the paper; but my brother, seeing inconveniences in this, came to a conclusion, as a better way, to let the paper in future be printed in the name of BENJAMIN FRANKLIN; and in order to avoid the censure of the Assembly, that might fall on him as still printing it by his apprentice, he contrived and consented that my old indenture should be returned to me, with a discharge on the back of it, to show in case of necessity; and, in order to secure to him the benefit of my service, I should sign new indentures for the remainder of my time, which was to be kept private.

他的许多朋友，在印刷所中开会讨论，这件案子该怎样办。有人建议改变名称来规避这个命令；但是我的哥哥认为这个方法不大合适，最后决定一种较好的办法，让未来的这张报刊发行时用拜雅明富兰克林的名字；但是为避免议会的责罚，如果仍旧以他的学徒刊行还是不行，最好办法是暗地里把旧合约给我，合约的后面注明作废，这样一旦有事就可以给人家看了。他的许多朋友，在印刷所中开会讨论，这件案子该怎样办。有人建议改变名称来规避这个命令；但是我的哥哥认为这个方法不大合适，最后决定一种较好的办法，让未来的这张报刊发行时用拜雅明富兰克林的名字；但是为避免议会的责罚，如果仍旧以他的学徒刊行还是不行，最好办法是暗地里把旧合约给我，合约的后面注明作废，这样一旦有事就可以给人家看了。但是为保护我为他工作的利益，剩下的年限我再签一张新合约，这是私自保存的。这是一个下等的计策；但不论怎样，这个计策立即执行了，而这份报依此刊行，用我的名字已有几个月了。

In addition, for a class of first-order predicate expression namely first-order predicate expression without free variable and with one quantifier, a necessary and sufficient condition for such first-order predicate expressions to be equivalent and a corresponding judging algorithm are come up with.

另外，对于一阶谓词公式的一个常见子类——无自由变元单量词的一阶谓词公式，提出了一个判定这种一阶谓词公式等价性的充分必要条件和判定算法。

First, this thesis introduces basic theory of CBR , and studies many aspects of typical part design case , such as case representation, case retrieval, retain etc. Second, regards design code as case code in order to integrate the case with geometrical and non- geometrical information, and realizes the parametric modifying function for 3D solid model in the condition of Pro/E. Third, for the purpose of making true of system's aided design requirement, this thesis brings forward to create part design knowledge base with AI language CLIPS, and integrates the rule based KB into the system; finally, collects and summarizes the knowledge of shaft,gear,sleave, and a sample with ladder—shaft is shown in order to verify the correction of theory research.

首先，本文介绍CBR技术的基础理论，并重点研究典型零件案例的表示、检索、修改等功能；其次，以零件设计编号为案例编号实现对案例的几何与非几何信息的集成，并实现了三维实体模型在Pro／E环境下的参数化修改功能；再次，从系统辅助设计功能要求出发，提出将基于规则的知识库嵌入到系统内部，用人工智能语言CLIPS建立零件设计知识库；最后，对轴类、齿轮类、盘套类零件案例知识进行收集、总结，并通过阶梯轴设计实例验证了理论研究的正确性。

Based on the theoretical analysis, theimitating experiments of the first-order and second-order autofrettage process proved the validity of the theory, the feasibility of the second-order autofrettage technique itself. This kind of technique can meet the autofrettage requirements of tubes with different bore and material.

在理论分析的基础上研究了一次、二次机械自紧模拟实验，证明了理论分析预示规律的正确性、二次机械自紧技术本身是可行的，可满足不同口径和材料性能身管的自紧要求。

There is mutual contradiction between direction estimation of user's signal and power allocation among all users in the beamforming algorithm. A twice game beamforming algorithm based on game theory is proposed to deal with it. Beamforming game algorithm mathematics model is constructed. During the first game, direction of signal and power allocation are mapped the game theory as "player", which are modeled as the problem of maximin function and obtain direction estimation first. Then during the second game, power allocations of different users are described as a multi-user game. Power updated algorithm is designed. The existence and uniqueness of the Nash equilibrium in the twice game beamforming algorithm based on game theory are proved by mathematics derivation.

摘要针对波束成形算法中，用户的信号方向估计值和用户之间的功率分配存在着相互矛盾，本文提出了一种基于博弈论的二次博弈波束成形算法，构建了波束成形博弈算法数学模型，首先在第一次博弈的时候，将波束成形算法中的信号方向和功率分配映射为博弈论数学模型中的"局中人"，将其建模为函数的极大极小值求解问题，先求解出信号方向；然后在第二次博弈的时候，将不同用户的功率分配过程描述为一个多用户的博弈过程，设计了功率分配更新算法，通过数学推导论证了纳什平衡点的存在性和唯一性。

Taking the active network as a research task, the input accessibility, the Coates graph of matrix and graph transmission etc are used to analyze the relation between reducibility of the coefficient matrix of the state equation and the electric separability of the network or the electric accessibility of the network for the first time, acquiring sufficient and necessary conditions that coefficient matrix of the state equation is reducible. Network Graph Theory, Matrix Theory and System Theory over F etc are used to derive the structural controllability criterion of the passive network over F for the first time. Then according to these theoretic results, the structural controllability problems of the active network over F are studied, acquiring several structural controllability conclusions of the active network.

率先将状态方程的输入可达、矩阵的Coates图、流图传输系数等概念和方法引入到对F上有源电网络的研究，研究了网络状态方程的系数矩阵的可约性与网络电气可断性或电气可达之间的关系，研究了F上有源电网络的能控性问题，获得了状态方程的系数矩阵可约的充分必要条件、F上有源电网络系统的结构能控性判据等新的结论。

We give several sufficient conditions of NA and NSD properties of random variables, compare the closeness of distribution functions of order statistics between NA and independent rv's, investigate properties of NSD defined by supermodular functions, study the dependence structure of stationary Markov process and order statistics and their spacings from two samples, establish stochastic comparisons of order statistics of heterogeneous rv's in the hazard rate and the reversed hazard rate orders, and give the first analytic proof of the closure property of the up shifted likelihood ratio order under convolution.

给出判定一组随机变量NA性质的几个充分条件，并给出NA和独立随机变量的次序统计量之间"贴近性"的比较，系统地研究基于特殊函数类所定义的NSD负相依概念，给出一些判别NSD性质的结构定理和一些有用概率不等式。系统研究平稳马氏过程的相依结构。研究两样本次序统计量及其问题隔的相依结构。在失效率、反向失效率序和似然序意义下给出非齐次随机变量次序统计量的比较。给出上漂移似然序卷积封闭性的第一个解析证明。

Second order incident boundary condition on fixed incident boundary is derived for numerical simulations, based on the cnoidal or sinusoidal motions of wave maker paddle, which shows that the prediction with second order incident boundary condition is more accurate than the prediction with first order incident boundary condition. 2 The analytical solution for higher-order Boussinesq equations is derived and its applicable range is discussed. 3 A 2-D fully non-linear numerical model using boundary element method is developed to obtain wave forces acting on rectangular obstacle. 4 The three-dimensional fully non-linear waves are studied in a numerical wave tank using finite element method.The studies on the coupled numerical model combined Boussinesq equations with Laplace equation are following.

非耦合非线性波浪计算模型：1 根据造波板做椭圆余弦运动或正弦运动速度，推导出数值模拟波浪水槽时固定入射边界上的二阶波浪入射边界条件，数值计算结果和实验结果的对比表明采用二阶入射边界条件对波面升高的预报比采用一阶入射边界条件对波面升高的预报更为精确；2 推导了波浪水槽造波板做正弦运动所产生波浪的高阶Boussinesq方程摄动展开解析解，讨论了该解析解的适用范围；3 对整个波浪水槽应用边界元方法数值模拟了波浪对物体的非线性作用；4 用有限元法求解三维Laplace方程模拟了三维完全非线性波浪水槽。

First low order approximation of generating function and approximate optimal trajectory were obtained. Then using low order approximation of generating function of Hamilton "relative motion" to the approximate optimal trajectory, improvement of the approximate optimal trajectory was iteratively made. In this way, high order approximation accuracy can be obtained by only using low order approximation, which is much cost effective in computing.

首先以较低的计算代价，获得最优控制Hamilton系统生成函数的低阶近似，得到一条近似的最优轨线，然后将最优控制Hamilton系统相对于近似最优轨线求"相对运动"，该"相对运动"仍具有Hamilton性质，利用这一"相对运动"的生成函数低阶近似，可以对近似最优轨线进行迭代修正，从而以计算代价较小的低阶近似逼近计算代价高得多的高阶近似的精度。

Salt is good, but if the salt becomes flat and tasteless, with what do you season it?

14：33 盐本是好的，盐若失了味，可用什么叫它再咸呢？

He reiterated that the PLA is an army of the people under the leadership of the Communist Party of China.

他重申，人民解放军是在中国共产党领导下的人民军队。