查询词典 proved

However,a defeasible argument can be attacked even if all its premises are accepted.Defeasible argument can be stated and proved by dialogue game between District and An...

缺省论证能用论证博弈的对话论辩形式来陈述，一个论证是否证明有效能在正方与反方间的论证博弈中检验。

Major findings include:(1) Students tended to follow the writing convention of argumentative essays by simply dividing their compositions into three paragraphs, and the poor connection between the three parts made the compositions incoherent in overall organization;(2) Great number of inappropriately used cohesive devices seriously impeded the cohesion within paragraphs in students" writings;(3) Deficiently assembled thematic progression patterns were identified, which also proved that students" writings were incoherent in meaning.

主要分析结果包括：1。多数学生作文写作段落的形式上与议论文与作规范统一，但文章各部分内在衔接不好，导致作文从整体结构上不连贯。2。学生作文中出现的大量衔接手段错误使得作文令人费解。 3。学生使用了几种议论文中常用的主谓推进模式，但这些模式之间结合不紧密也证明了学生作文在意义上的不连贯。

We have proved that the continuously improving performance of Chinese enterprises is due to the increasing definitude of enterprise authority and its degree.

我们认为，企业内部权威位势的不断提高是国有企业改革的重要特征。

The variation regularity is discussed that the stress, temperature and deformation of the current-carrying annular plate are altered with the variation of loaded electromagnetic parameters. According to the relation between the deflection of annular plate and the parameters, it is proved that the deformation and stress can be controlled by changing the electromagnetic and mechanics parameters.

变换电磁参量，讨论了载流环形薄板应力、温度及变形随外加电磁参量的变化规律；根据圆环形板的挠度与参量之间的变化规律，并通过实例证实了可以通过改变电、磁、力场的参数来实现对板壳的应力、应变状态的控制。

It is also proved that the controller based on the reduction method stabilizes more systems than the existing memoryless controllers in the case of a degenerate model.

文中还证明了系统在退化模型情况下使用还原法所设计的控制器与传统的无记忆控制器相比能够镇定更多的系统。

The uniqueness of solutions to the initial boundary value problems of a degenerate parabolic equation is proved by means of a regularizing technique based on elliptic operators.

基于椭圆算子证明一种退化抛物方程初边值问题广义解的惟一性。

Next,critical global existence exponent and critical Fujita exponent are proved for the half space problem to a doubly degenerate parabolic equation with nonlinear flux condition.

其次，对一类具有非线性边界流的双重退化抛物型方程半无限问题，运用比较原理给出了解的整体存在临界指标和Fujita临界指标。

Result］Laminograftomy was proved to be safe and efficacy in 20 lumbar degenerative cases in various kinds.

结果］20例不同类型的腰椎退行性病变的病人用该术式进行的手术证明安全、有效。

By using the group-chain, the wavefunctions of the 4f〓 configuration for RE ions are also expressed as linear combinations of group-chain basis functions in Butler's irreducible representation notation. The matrix elements of the CF Hamiltonian then are calculated by means of the Wigner-Eckart theorem and factorization lemma of the jm factors. Before the CF level fitting, a point-charge calculation of the conventional CF parameters B〓 has been performed by means of the lattice-sum technique from the known crystal structure data. The corresponding parameters in the group-chain are calculated by the conversion relationship between two schemes that proved identical in essence, which are usually used as initial values in the fit to the experimental levels. The ratios of the same k-value CF parameters are suggested as the constraint conditions in the fit, in order to utilize fully the symmetry distortion degree of the studied system.

利用群链理论，属稀土离子4f〓组态的波函数表示为以不可约表示标记的群链基波函数的线性组合；借助Wigner-Eckart定理和2jm和3jm因子的分解定律计算了晶场哈密顿的矩阵元；根据点电荷模型和已知晶体结构数据，利用点阵求和技术计算得到传统晶场参数B〓初值，相应的非传统形式的群链参数初值则由两种方案下的转换关系求得；这些初值通常作为非线性拟合晶场能级计算的初值，系统的对称性畸变信息则反映在以同阶晶场参数的比值作为能级拟合的约束条件。

Methods Firstly,by definition it is proved that the minimality of a set is equivalent to the condition that the orbit of every point is dense in that set.

方法首先，利用定义证明一集合是极小的当且仅当每一点的轨道在该集合中稠密。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐