查询词典 deduction method

The experimental setup for the turbulent jets in crossflow is designed, and the hot wire anemometry IFA 300 is used to measure the velocity field and the turbulent kinetic energy, and the computational result matches experimental measurement reasonably well. The experimental result is very important in the analysis of the flow field, deduction of the equation of the jet trajectory, check of the turbulence model and validation of the numerical method.

首先，建立了用于测量横向紊动射流的实验台，并利用IFA 300型热膜风速仪系统测量了多种工况下的流场，并将速度、湍动能结果与数值计算结果进行了比较，实验结果与数值模拟结果吻合较好，从而为分析流场特性、确定射流轨迹、比较湍流模型以及验证数值计算方法提供了依据。

LK affirms that logic is a universal method.If logic can be amathematical method,it can surely be used as a way to identify knowledge concept,atool of deduction and the method of knowledge system axiomatization.

知识逻辑主义"断言逻辑是一种普遍的方法，逻辑既然能成为数学的方法，就必然能为任何知识系统提供方法论，可以成为定义知识概念的方法、知识，推演的工具和知识体系公理化的方法。"

Base on the study of knowledge automatic acquisition, the key technique in cartridge designexpert sysytem, this paper presents a multistrategy learning method that integrates deduction, analogy andinduction, discusses the model and implement method, this method voids limitation of single learning strategyeliminates the confine of other multistrategy, expands the range of usable knowledge, improves efficient ofknowledge acquisition.

本文对枪弹设计专家系统中的关键技术──知识自动获取方法研究，提出了一种融演绎、类比和归纳为一体的多策略学习方法MSLA，文中详细讨论了该算法的模型和实现方法，并指出该算法避免了单一学习方法的局限性，克服了其它学习策略的封闭性，扩大了可用知识的范围，提高了知识获取效率。

Through the review and analysis, it tries to prove that a successful theory is merely logical deduction and concretion of an analyzing method.

本文目的在于通过这种回顾和分析，说明一种成功的理论，只是分析方法的逻辑推演和具体化。

Based on the two normal forms, the decidability theorem in L is then proved and a deduction-based decision algorithm P is designed. The time complexity O(n3) of P is much less than the complexity O(2n) of the true value table method and the complexity O(n5) of HAL based on the tactic scheme.

首先定义了消解复杂性的两种范式：最简范式和文字范式，在此基础上采用演绎方法证明了L中的可判定性定理，并设计了命题公式的演绎判定算法P。P的时间复杂度为O(n^3)，远远小于基于真值表法的O(2^n)和基于策略方案HAL的O(n^5)。

An important part of this paper is dedicated to the analysis and deduction of modulation and control method proposed.

对给出的控制策略进行了详细的理论分析与推导。

Aiming at the dual affects to classification results by each input data, this method has punish item be fuzzy, compensates weight to classification, reconstructs the optimization problem and its restrictions, reconstructs Langrage formula, and presents the theories deduction. This method is applied to the credit evaluating system of personal loan.

1引言支持向量机(Support Vector Machine，SVM)是20世纪90年代中期在统计学习理论(Statistical Learning Theory，SLT)的基础上提出的一种新的机器学习方法，它基于VC维理论和结构风险最小化原理，在很大程度上克服了传统机器学习中的维数灾难以及局部极小等问题[1，2]。

With the development of computer and graphics technology, the advanced dashboard of an aircraft has brought about a great challenge to the quality of the graphics.Based on the cause of the aliasing, the thesis below puts forward a new method using Gaussian Integration to get rid of it and offers detailed mathematical deduction as well. Furthermore, the practical generation of rhumb lines has proved the effectiveness of the new method

随着计算机及图形学技术的发展，座舱仪表对图形显示的质量提出了更高的要求，本文主要从图形走样产生的根本原因出发，提出利用高斯积分法来消除走样现象，且给出了较详细的数学推导，并将此算法应用于罗盘刻度线的生成，效果比较明显。

They are: the achievements of textual research and exegesis of Zhu Zi Xue in Qing Dynasty; the promoting effect of the introducing Western theories that took on the research of Chinese classical logic; taking the doctrine of Moism and scientific logic method as a methodological weapon for propagating reformist thought and Liang Qichao"s favor to Mo Zi and theory of Moism.The second part is about Liang Qichao"s achievements of logic and methodology: he analyzed induction and deduction, and thoroughly analyzed induction in particular, and his thought about those was mainly correct; he analyzed comparison as a component of induction and discussed the cognitive function of comparison, he also explained how to use comparison in the research of history; he not only explicated the thinking process of analytical method and synthetic method, but also integrated the two methods with studying history and reading history , and turned them into specific research methods of history ;he expound the rule of causal law , just as Leibnizs principle of sufficient reason in Western modern times and the law of sufficient reasonin universal logic; he discussed nominal classification, and analyzed wrong classification of the forefathers, then he pointed out the significance of clarifying the basic of division .

不足在于：①梁启超对于各种科学方法的论述不够系统、全面；②梁启超比较研究方法仍存在一些缺陷，他的比较研究主要是将墨家论式与西方逻辑的三段论(有的与印度因明的三支作法)形式作求同研究，缺乏系统性和全面性，而且对三种逻辑的共同点和差异点的分析也缺乏理论深度，加之梁启超不懂得数理逻辑，缺乏精确的数理逻辑工具，因而使这种对比分析缺乏严密性和精确性。

This paper disuissed the deduction of the focal distance f using the Gauss method and the total yoke method in an imperfect situation,namely a situation where thin lens merely involve light core errors.

在普通物理光学实验中，在理想状态下测定薄透镜焦距常采用的方法有高斯法、共扼法、自准直法等。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。