查询词典 mathematical notation

The tax payment appraised the system the appraisal method, mainly is through the use related mathematical model, establishes the tax payment appraisal target system and the target peak value system, carries on the automatic computation analysis to the data message, by discovers deviation to surpass prearranges the standard the questionable point factor, automatically screens the taxpayer by the computer which has the questionable point.

纳税评估系统的评估方法，主要是通过利用相关数学模型，建立纳税评估指标体系和指标峰值体系，对数据信息进行自动计算分析，以找出偏离度超出预定标准的疑点因素，由计算机自动筛选出有疑点的纳税人。

In recent 20 years, System identification as one of the important ways to establish mathematical model of the controlled object has been developed rapidly and become one of the automatic control theory, a very active and important branch.

系统辨识作为建立被控对象数学模型的重要途径之一，近20年来获得了迅速的发展，已成为自动控制理论的一个十分活跃而又重要的分支。

By the end of that year, it was proven that the gene for CHD was an autosome recessive (through repetitive matings of CHD dogs) and mathematical models one which pedigrees could be tested were established.

到了年底，据证实，该基因对冠心病是一种常染色体隐性遗传和数学模型，其中之一系可以测试确定。

Auxiliary function is an important method of solving problems and used widely in mathematical analysis.

辅助函数构造法是数学分析中一个重要的思想方法，在数学分析中具有广泛的应用。

This article is focused on the use of Mathematica graphics functions to perform some abstract concept of mathematical analysis, the conclusion of the understanding; auxiliary function for the extreme value; and its application in the series.

本文主要讨论的是利用Mathematica的绘图功能来演绎数学分析中某些抽象的概念、结论的理解；辅助求函数的极值；和它在级数中的应用。

Based on the analysis of the mechanism of robot manipulators, a trajectory tracking controlling research model is first built up with ADAMS, and its mathematical model is formulated through the study of robot kinematics and dynamics. After the modeling errors are analyzed in practical robotic systems, a conception of centralized error is brought forward according to the theory of weighting functions. In the case of modeling errors' exist, the robotic uncertain model is derived by introducing an auxiliary control variable into inverse dynamic analysis. The control strategy of robust exponential convergence is applied to the robotic uncertain model, the applicable conditions and the applicable controller with this application are presented. The stable control effect under three main model uncertainties (parametric errors, joint disturbs, joint frictions) are systematically studied on the previously built research model. The problems of robust exponential convergence controller which often results in unstable output and so produces a large relative error when the input trajectory is in a small range are resolved by adjusting the control parameters based on the controller's structure.

本文在机械手的机械结构分析基础上，利用ADAMS建立了用于机械手轨线跟踪控制研究的机械手模型；通过对机器人运动学和动力学问题的研究，建立了机械手研究的数学模型；分析了机器人系统中模型误差的主要来源，根据加权函数法分析，提出了模型集中误差的概念；在存有模型误差的情况下，采用逆动力学结构并引入辅助控制量，由机器人误差模型推导了机器人非确定性模型；提出了采用鲁棒指数收敛法对上述机器人非确定性模型进行鲁棒镇定的控制策略，并给出了对机器人进行鲁棒指数收敛控制时系统不确定因素应满足的匹配条件；针对机械手研究模型，深入研究了鲁棒指数收敛控制器对机器人系统中常见的模型参数误差、关节扰动、关节摩擦等不确定因素的镇定控制效果；针对鲁棒指数收敛控制器易产生控制量振荡的问题以及在小范围内系统轨线跟踪的稳态误差过大问题，本文分别提出了基于控制器结构的控制参数调整法和基于轨线跟踪范围大小的控制参数分段切换法。

Based on this, a mathematical model of average error of localization is proposed.

通过算法比较和实验分析，证明了方案的有效性和可行性。

The mathematical model was simplified with the method of averaging ,and the closed-loop nonlinear feedback control scheme was presented.

用平均法对欠驱动机械臂的拉格朗日动力学模型进行了简化，并基于简化后的模型给出了闭环非线性反馈控制律。

The most important development in mathematical logic for the philosophy of mathematics was Godel's proof that any axiomatic system powerful enough to formalise arithmetic will be incomplete in the sense that there will be truths which are not provable within the system.

数理逻辑中最重要的数学哲学的发展是哥德尔的证明，任何公理系统足够强大以正式算术将在这个意义上不完全会有真理不属于系统内证明的。

Similarly it is important to see rationalists like Descartes and Spinoza, trying to formulate philosophy in terms of some kind of an axiomatic system, in a discursive and historical context characterized by the emerging natural sciences, formulated in a mathematical language.

同样，在看待象笛卡儿和斯宾诺莎这样设法用某种公理体系构造哲学的唯理论者时，也要将其置于以数学语言构造的新兴自然科学为特征的商谈和历史情境中。

When this condition occurs, inbound replication with the source partner is stopped on the destination domain controller and event ID 2042 is logged in the Directory Services event log.

计算机密码学是研究计算机信息加密、解密及其变换的科学，是数学和计算机的交义学科，也是一门新兴的学科。

Instructions: click on the thumbnails to see a larger image, then use the left-right arrow keys to scroll through the slideshow.

使用说明：滑鼠点在小图上即可放大观赏。开启后键盘左右键可用来换照片。