可满足的
- 与 可满足的 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
First, we introduce and discuss the various methods of multivariate polynomial interpolation in the literature. Based on this study, we state multivariate Lagrange interpolation over again from algebraic geometry viewpoint:Given different interpolation nodes A1,A2 .....,An in the affine n-dimensional space Kn, and accordingly function values fi(i = 1,..., m), the question is how to find a polynomial p K[x1, x2,...,xn] satisfying the interpolation conditions:where X=(x1,X2,....,xn). Similarly with univariate problem, we have provedTheorem If the monomial ordering is given, a minimal ordering polynomial satisfying conditions (1) is uniquely exsisted.Such a polynomial can be computed by the Lagrange-Hermite interpolation algorithm introduced in chapter 2. Another statement for Lagrange interpolation problem is:Given monomials 1 ,2 ,.....,m from low degree to high one with respect to the ordering, some arbitrary values fi(i= 1,..., m), find a polynomial p, such thatIf there uniquely exists such an interpolation polynomial p{X, the interpolation problem is called properly posed.
文中首先对现有的多元多项式插值方法作了一个介绍和评述,在此基础上我们从代数几何观点重新讨论了多元Lagrange插值问题:给定n维仿射空间K~n中两两互异的点A_1,A_2,…,A_m,在结点A_i处给定函数值f_i(i=1,…,m),构造多项式p∈K[X_1,X_2,…,X_n],满足Lagrange插值条件:p=f_i,i=1,…,m (1)其中X=(X_1,X_2,…,X_n),与一元情形相似地,本文证明了定理满足插值条件(1)的多项式存在,并且按"序"最低的多项式是唯一的,上述多项式可利用第二章介绍的Lagrange-Hermite插值算法求出,Lagrange插值另一种描述是:按序从低到高给定单项式ω_1,ω_2,…,ω_m,对任意给定的f_1,f_2,…,f_m,构造多项式p,满足插值条件:p=sum from i=1 to m=Ai=f_i,i=1,…,m (2)如果插值多项式p存在且唯一,则称插值问题适定。
-
A secure system consists of many sub——systems, even though every one of those sub-systems satisfies a certain security property, the composed system may not be secure, i.e. the composition maybe not satisfy the security property. It does mean that the security property should be composable.
安全系统是由许多子系统组成,每一子系统都必须满足一定的安全性质,但这不能保证由这些子系统组合而成的系统也是安全的,即组合的系统不一定也满足给定的安全性质,所以要求系统的安全性质满足可结合性。
-
A requirement for a document to be legalized, visaed or certified will be satisfied by any signature, mark, stamp or label on the document which appears to satisfy that requirement.
诸如单据须履行法定手续、签证、证明等类似要求,可由单据上任何看似满足该要求的签字、标记、印戳或标签来满足。
-
A requirement for a document to be legalized,visaed,certified or similar will be satisfied by any signature, mark, stamp or lable on the document which appears to satisfy that requirement.
诸如单据须履行法定手续、签证、证明等类似要求,可由单据上任何看似满足该要求的签字、标记、印戳或标签来满足。
-
A requirement for a document to be legalized, isaed, certified or similar will be satisfied by any signature, mark, stamp or label on the document which appears to satisfy that requirement.
当信用证含有要求使单据合法、签证、证实或对单据有类似要求的条件时,这些条件可由在单据上签字、标注、盖章或标签来满足,只要单据表面已满足上述条件即可。
-
For a document to be legalized, visaed, certified or similar will besatisfied by any signature, mark, stamp or label on the document whichappears to satisfy that requirement.
当信用证含有要求使单据合法、签证、证实或对单据有类似要求的条件时,这些条件可由在单据上签字、标注、盖章或标签来满足,只要单据表面已满足上述条件即可。
-
It introduces a kind of novel loading test system, based on the operation principle of damper. this loading system is operated by the driving motor. it realizes the loading, in that the damper has a negative drive force that puts on the motor. Based on the ordinary electromagnetic damper, the thesis presents a novel hybrid excitation electromagnetic damper which has adjustable work characteristic, analyses the working principle and structural feature of the electromagnetic damper, deduces the formulas to calculate the eddy current density through the Electromagnetic theory, analyses the distribution of the eddy current in the cotyloid rotor, and also studies the method of calculating the damp torque, establishes the mathematical model of the electromagnetic damper, analyses the relationship between the electromagnetic damper structural parameter and damp torque, researches the engineering design and analysis method of the electromagnetic damper, provides theory foundation for the design and analysis of the electromagnetic damper, contrives a hybrid excitation electromagnetic damper that satisfies the target request, designs a set of compound excitation electromagnetic damping loading control system whose control core is AT89C51 monolithic integrated circuit, analyses the electric circuit part, and carries on the experimental test to this set of electric circuits. Finally it debugs this electromagnetic damping loading system, this system satisfies the target request proposed.
论文提出了一个全新的加载测试系统种类,该加载系统是在阻尼器工作原理基础上,利用电动机拖动阻尼器运转,从而阻尼器产生一个与运动方向相反的阻尼力矩,该力矩作用在电动机上实现对电动机加载测试;同时,论文在一般电磁阻尼器基础上提出了一种新型的可调式复合励磁电磁阻尼器结构,该种阻尼器的工作特性在一定范围内可进行调节;论文分析了电磁阻尼器的工作原理和结构特点,运用电磁场理论分析推导了电磁阻尼器的涡电流密度公式,分析了涡电流在转子杯内的分布图,并对阻尼力矩计算方法进行了研究,建立了电磁阻尼器的数学模型,分析了电磁阻尼器结构参数和阻尼力矩之间的关系,对电磁阻尼器的设计和分析方法进行了研究,为电磁阻尼器的工程设计建立了理论基础;设计了满足技术指标要求的复合励磁电磁阻尼器和一套以AT89C51单片机为控制核心的复合励磁电磁阻尼加载控制系统,对该控制系统硬件电路各部分进行了分析和设计,对软件进行了设计,并对控制电路进行了试验调试,该系统满足所提出的加载指标要求。
-
This factory's main products cre:double-spoke hand mheels,five-pointed-star-shaped knobs,arrow-shped handles,Tshaped handies,ect.,more than thity series,over two hundred special rubbr pats,nylonplasdic parts,it is also possible for this facty to produce and make all kinds of non-atsndard operating parts and special-shapediai-shpepedsealing parts according to the requireements of the customers.
弓行拉手、内波纹手轮、背波纹手轮、圆轮缘手轮、双幅条手轮、双柄手轮、小波纹手轮、镀铬手轮、手柄球、长手柄套、转动手柄、可折手柄、可调位手柄、方形拉手、椭圆拉手、星形手柄、碟形手柄、三角箭形把手、椭圆手柄套、铣床手轮、GB4141.23波纹手轮、小手轮、平面手轮、带可折手柄满幅手轮、表盘满幅手轮、把手、十字把手、压花把手、通孔把手、定位把手、T形把手、直纹把手、捏手、三棱把手、偏转旋钮、手柄套、小转动手柄、锥柱手柄、球头手柄、单柄对重手柄、双柄对重手柄、外方卡盘扳手、摇手柄、手柄座、锁紧手柄座、圆盘手柄座、4501分度盘、4502大把手、586刻度盘、工作灯、手柄杆、压配式油标、旋入式六角圆形油标、长型油标、圆形长拉手、等三十多种系列,二百多种规格,满足不同用户的需要,生产制造各种机械封件,特种橡胶件,尼龙塑料件,也可根据用户需要,生产制造各种非标操作件,异形密封件。
-
A requirement for a document to be legalized, visaed, certified or similar will be satisfied by any signature, mark, stamp or label on the document which appears to satisfy that requirement.
诸如单据须履行法定手续、签证、证明等类似要求,可由单据上任何看似满足该要求的签字、标记、印戳或标签来满足。
-
A requirement for a document to be legalized, visaed, certified or similar will be satisfied by any signature, mark, stamp or label on the document which appears to satisfy that requirement.
诸如单据须履行法定手续、签证、证明等类似要求,可由单据上任何看拟满足该要求的签字、标记、戳或标签来满足。
- 推荐网络例句
-
I didn't watch TV last night, because it .
昨晚我没有看电视,因为电视机坏了。
-
Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.
今年以来,在北京的很多小区里,电梯液晶电视被撤了下来。
-
I'm running my simile to an extreme.
我比喻得过头了。