查询词典 axiomatic method

Based on the new theories developed in biology,the basic theoreticalproblems of the genetic algorithm,which are the representation scheme,co-nvergence and convergence rates of the genetic algorithms,etc.,are discussedwith Boolean algebra,group theory,martingale theory and axiomatic method inthe framework of the Markov chain.

本文以生物学发展的新理论为背景，在遗传算法的Markov链框架下运用Boole代数、群、鞅及公理化方法研究遗传算法的表示、收敛性与收敛速度等基本理论问题。

As we all known, with the founding of Euclidean geometry in ancient Greece, with the development of analytic geometry and other kinds of geometries, with F.Kline" s Erlanger program in 1872 and the new developments of geometry in 20th century such as topology and so on, man has developed their understand of geometry. On the other hand, Euclid formed geometry as a deductive system by using axiomatic theory for the first time. The content and method of geometry have dramatically changed, but the geometry curriculum has not changed correspondingly until the first strike from Kline and Perry" s appealing.

纵观几何学发展的历史，可以称得上波澜壮阔：一方面，从古希腊时代的欧氏综合几何，到近代解析几何等多种几何的发展，以及用变换的方法处理几何的埃尔朗根纲领，到20世纪拓扑学、高维空间理论等几何学的新发展，这一切都在不断丰富人们对几何学的认识；另一方面，从欧几里得第一次使用公理化方法把几何学组织成一个逻辑演绎体系，到罗巴切夫斯基非欧几何的发现，以及希尔伯特形式公理体系的建立，极大地发展了公理化思想方法，不管是几何学的内容还是方法都发生了质的飞跃。

These are (1) denying the relationship between sense and existence,(2) doing not accord with the law of causality,(3) imaging the universe using deductive method of mathematics,(4) propagating the super distance effect which do not need time,(5) using wrong philosophy and physics concepts,(6) studying the origin of the universe,(7) departing from axiomatic system,(8) denying the definitions of basic physical quantities.

主要表现为：否定感觉与实在的关系、不讲因果律、用数学演绎方法臆想宇宙、宣传不需要时间的超距作用、哲学和物理概念错误、研究宇宙起源、脱离了公理化理论体系，否定基本物理量的定义等。

Chapter 3 puts forward the networked manufacturing configuration modeling method of motor based on axiomatic design.

第三章提出了基于公理设计的电机产品网络化制造配置建模方法。

Although axiomatic systems and proof method for temporal logic have found so far relatively few applications in the query language modeling of temporal database and that was proved by Gabbay, et al in 1994, the model of time axes still must be built axiomatically, which owns soundness and completeness and depicts the time axes in fine grain.

尽管在1994年，Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，但是仍需要通过对时间轴的公理化建模，利用公理化系统的可靠和完全等性质对时间轴作&细精度&的语义刻画。

Uses the biggest strength training method (80%～100% biggest strength) adding 30% biggest strength load training method; the load combination method to make the acclivity to lie pushes the barbell training, good in uses; the biggest strength training method to the upper limb shot fast strength training effect (80%～100% biggest strength) adding the unarmed quickest speed training method and the biggest strength training method (80%～100% biggest strength) adding 60% biggest strength shoulders the training method the load combination method.

用"最大力量训练(80％～100％最大力量)+30％最大力量负荷最快速度训练法"负荷组合方法做上斜卧推杠铃训练，对推铅球上肢快速力量的训练效果好于用"最大力量(训练80％～100％最大力量)+徒手最快速度训练法"与"最大力量训练(80％～1 00％最大力量)+60％最大力量负荷最快速度训练法"负荷组合方法。

The details as follow: 1.Based on rules about form error in GB, mathematical models of form error are established including straightness error on the base of minimizing zone method、least-squares method and two dots linked method ; flatness error based on minimizing zone method、lease-squares method、diagonal line and three dots method; circularity and cylindricity error based on minimizing zone method、lease-squares method、minimum circumscribed circle and maximum inscribed circle.

具体内容如下：根据国标中形状误差的相关规定建立了各种要素评定方法的数学模型包括：直线度的最小区域法、最小二乘法、两端点连线法；平面度的最小二乘法、最小区域法、对角线法、三远点法；圆度和圆柱度的最小区域法、最小二乘法、最小外接圆法、最大内切圆法。

In this paper, mathematical analysis, linear algebra is more material as the foundation, on the basis of previous studies, will solve a number of the function extreme value methods, such as distribution method, elimination method, the discriminant method, mean inequality method, the geometric method, vector method and derivative method, and so to summarize, and on this basis is given for each method the corresponding examples to illustrate for readers to reference and understanding.

本文以数学分析、线性代数更教材为基础，在前人研究的基础上，将求解函数极值的若干方法，如配方法、消元法、判别式法、均值不等式法、几何法、向量法和导数法等等进行归纳总结，并在此基础上针对每一种方法给出相应的例子加以说明，以便读者参考和理解。

The examples show: It is not only scientific and rational approximately, but also as referenced calculational methods of threshold quanlity of increased or emendatory chemical substance in the "Identifecation of major hazard installations "(GB18218-2000) in the future, that appliance respective of TNT equivalent method, gasoline equivalent method, methane equivalent method, methl ethyl ketone peroxide equivalent method and hydrogen sulfide equivalent method for the rhrehold quanlity in the work site and store area of volatile substance, combustible liquid substance, combustible gaseous substance, active chemical substance and poisonous substance. At the same time, Comparing with the death radius method and evaluative method of combustible, volatile, poisonous mojor hazardinstalltions, hazard grading method of hazard degree grading in the chemical factory for the major hazard installations is simplerof operation and more practical of calcutating result, and have some significance on generalizer.

实例验证表明：TNT当量法、汽油当量法、甲烷当量法和过氧化甲乙酮当量法分别对爆炸性物质、易燃液体物质、易燃气体物质和活性化学物质的临界量确定，具有一定的科学性和合理性，可作为《重大危险源辨识》(GB18218-2000)中临界量数值修订和危险物质扩充时进行临界量确定的参考计算方法，同时，化工厂危险程度的重大危险源分级法与易燃、易爆和有毒重大危险源评价法和死亡半径法相比，评估过程简单易行，分级结果符合实际，具有较强的可操作性和一定的推广意义。

A sample numerical design method for constant beamwidth beamformer is given. This method is easy to implement and has no restriction on array geometry and sensor patterns; Three methods for the design of broadband frequency invariant beamformer are proposed, which are the method of resampling signals received by the array, the DFT interpolation method and adaptive synthesis method, respectively. Examples and performance analyses are given for each method; A simplified linear constrained minimum variance broadband adaptive algorithm that based on DFT interpolation method is presented. Compared with conventional broadband adaptive algorithms, the presented method can reduce computation work greatly.

提出了一种简单、易于实现的恒定束宽波束形成器设计方法，该方法对阵形和阵元指向性没有任何限制；分别提出了基于阵列接收数据重采样、基于DFT插值和自适应综合的三种具有频率不变波束图的宽带波束形成器设计方法，对于每一种设计方法都给出了一个设计实例并做了性能分析；提出一种基于DFT插值的简化线性约束最小方差宽带自适应阵列算法，该方法可以大大降低自适应阵列的运算量。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。