查询词典 axiomatic method

It is undoubtedly result of scientific theory systematization. When axiomatic system reaches a fairly perfect stage, theorists hope axiomatic system more abundant by formalization method.

当公理体系达到相当完善的阶段后，理论家们往往希望用形式化的方法使公理体系更精致，推理能力更强，更能发挥科学理论的认识功能。

Main points of the thesis are as follows:(1) The main function models and information relations between these models in the CAPP system in the integrated CAD/CAM project are explained, a new process plan design method is mentioned based on analyses of process plan design. This method is based on the process plan prototype, and develops the prototype little by little until the perfect process plan is completed, the prospect of this method is discussed;(2) The feature abstracting rules and methods are studied, a feature coding system is developed based on GT, all the defined feature models are described by the mathematical methods;(3) The integrated method of CAD/CAPP based on features is mentioned, this method defines a feature exchanging model, and develops an interface software to exchange design data into technology data base, this technology data base includes the design and technology information of the parts;(4) The process plan reasoning method based on features is created, this method uses Mycin algorithm to solve the reasoning of the feature process plan. A process plan making system is developed. In this system part process plan is made by the semi-intelligent method, this method uses the feature reasoning, feature process chain searching and man-computer talking together;(5) The main structure of the HOPE system is introduced, a shaft drawing and its process plan made by this system are shown, the data process problem in process drawing making is also discussed;(6) A new method of describing process rule is introduced, this method uses IfThen rules and neural nets weight values together to describe process rules, the BP algorithm is adopted in this method;(7) The optimal machining sequence problem of the process steps on the same fixturing is discussed, optimal algorithms SA is applied to solve this problem, the result shows that this method is more efficient than the traditional method;(8) All jobs in the thesis are summarized. In order to carry out the research in the future, some rational proposals are given.

全文论述的内容主要有下列几个方面：(1)较为系统地阐述了CAD／CAM一体化工程项目中CAPP系统的主要功能模块及其信息流程，在分析工艺设计过程的基础上，提出了基于特征原型的渐进式工艺设计方法，并探讨了该方法的应用前景；(2)研究了零件特征提取的原则和方法，在成组技术的基础上，开发了一套基于特征的分类编码系统，并在提取零件特征的基础上，定义了零件特征的数据模型，开发了基于轴类零件特征的参数化设计系统；(3)研究了基于特征的CAD／CAPP集成的方法，通过定义零件特征数据模型的存储结构，开发了将设计数据转换到工艺数据库中的接口程序，为后续的CAPP系统提供必要的零件形状和工艺信息；(4)研究了基于特征的工艺推理方法，将Mycin算法应用到工艺决策中，开发了基于特征的工艺推理及工艺方案生成系统，在系统中综合运用特征推理、特征加工工艺链查询及人机对话相结合的半智能化方法确定零件加工工艺；(5)介绍了整个HOPE系统的总体结构，通过运行HOPE系统绘出了一轴类零件的零件图，并生成了该零件的加工工艺方案，初步探讨了基于特征的工序图生成技术中数据处理问题；(6)研究了工艺设计过程中知识如何有效表示的问题，提出了将显式的IF-THEN规则表示与隐式神经网络权值表示相结合的工艺知识表示方法，并利用BP算法进行了工艺知识表示的初步研究；(7)研究了工艺设计过程中同一安装下工步优化排序问题，利用神经网络中基于模拟退火的理论来解决该工步优化排序问题，实践证明该方法较传统的算法具有更高的效率；(8)总结了本文所进行的研究工作，为今后进一步开展工作提出了较为合理的建议。

Axiomatic set theory is a rigorous axiomatic theory developed in response to the discovery of serious flaws (such as Russell's paradox ) in naive set theory.

公理化集理论是一种严格的不言自明的理论发展的反应，发现严重缺陷在天真集理论。

But things develop in the opposite direction when axiomatic system is extremely perfect and the limitation is bigger. This will offer a chance for scientific revolution and lead to changes in axiomatic system.

但事与愿违，越是形式化的公理体系发现其理论的局限越大，出现矛盾的可能性越大，这就为科学理论变革，即公理体系的变换提供了契机，也就是提出了新的科学问题，使科学认识进入到一个新的境界。

In the aspect of forming theories, WM adopts axiomatic ways, while TCM adopts methods of thought models. Therefore, from the methodology of general science, we believe that the chief characteristic of WM is the axiomatic logical deduction adding experimenting system.

因此从一般科学方法论上看，西医总的特征是公理化的逻辑推演加实验系统，中医总的特征是取象比类的思维模型加经验系统。

With regards to this , some implement problems are studied in detail so as to make contributions to the study of Axiomatic Design theory and application on the basis of existing studies of Axiomatic Design .

本论文在总结已有研究成果的基础上，着重在产品公理化实施的设计理论及应用方面进行了研究，以完善公理化的设计理论及应用研究。

In this paper Ⅰ successfully applied these methods to fault diagnosis, and presenting some new innovative machinery fault diagnosis method; First Ⅰ present a new gear wornout fault diagnosis method, this method use the vibration signal's time-frequency attribute and instantaneous phase undulation to accurately detect gear's fault, and by comparing with the traditional frequency domain analysis method, this method reveals that many nonlinear and nonstationary characteristic exist in gear's vibration, this tell us that if we use frequency domain analysis method without pay attention to the signal's characteristic, we could get wrong diagnostic result; Then Ⅰ present a new bearing fault diagnosis method, this method use ATVFD and Hilbert transform to do envelop demodulation,Ⅰ analyze the envelop with time-frequency method and find out that this method is more accurate then traditional method.Ⅰ also explain that the modulation of the fault to the carrier wave may also be non-stationary and nonlinear; Finally Ⅰ present a cylinder pressure measurement method of diesel engine by means of vibration, cylinder pressure is an important parameter of diesel engine fault diagnosis, the pressure measuring is simplified a lot by this method,Ⅰ also use the ATVFD and time-frequency analysis to realize it.

本文中将上述理论方法成功地应用到故障诊断中去，提出了几点创新性的诊断方法；提出了一种齿轮磨损故障诊断的新方法，该方法利用振动信号能量的时频域分布特征与瞬时相位波动特征可以进行精确的齿轮故障诊断，并通过与传统的频域诊断方法的比较，揭示出齿轮振动中存在的明显的非线性与非平稳特征，说明了不加选择地利用频域分析方法进行齿轮故障诊断很可能会得到错误的诊断结果；提出了一种轴承故障诊断的新方法，该方法利用ATVFD分解与Hilbert变换进行包络解调，并对解调得到的包络信号进行时频域分析，可以实现更加准确轴承故障诊断，说明了故障对载波信号的调制往往也是非平稳与非线性的；提出了一种利用振动信号进行柴油机汽缸内压力检测的新方法，柴油机汽缸压力的变化是柴油机故障诊断的重要参数，利用振动方法可大大简化汽缸压力的检测过程，该方法也是综合利用ATVFD分解与时频域分析方法实现的。

This train classifies "information carrier adhering to the build" as design elements, and probes into integrated design method of it and single building separately: method of definite position, method of definite form and method of combination; Then, this train probes into integrated design method of it and colonys building , that bases on the cognitive design method: method of rhythm controls,method of node outstanding, and that aims at the design method to protect: method of protect original, method of repairing and method of renewal.

本文的第四部分提出了一体化设计的思路，将建筑附着信息载体作为设计元素，探讨了它与建筑单体一体化设计的方法：定位法、定形法、混合法；以及它与建筑群体一体化设计时，基于认知的设计方法：节奏控制法、节点突出法，旨在保护的设计方法：存真法、修缮法、更新法。

Firstly, this paper investigated roundly the basic theory of the ambient vibration method, analyzed systematically the main methods of ambient vibration identification, and discussed their advantages and disadvantages. Then we established the finite element model of structural dynamics and test model and analyzed their mutual relation, improved MUSIC method and correlation function method in the harmonic identification, and gave the subspace method and correlation function method based on continuous model, which is multi-harmonic retrieve technique. And then, this paper also puts forward least-squares method to estimate directly structural physical and modal parameters; this approach replaced the derivative operator in the continuous time model with an equivalent approximation, and estimated the physical parameters of structures by the least-squares method. And then, we discussed the approximation methods of derivative and their convergence. Finally, this paper researched the modal parameters of a frame structure by the simulation and test. The results demonstrated that subspace method, correlation function method and the least-squares method are effective and stable respectively.

全面地研究环境振动识别方法的基本理论，系统地分析环境振动识别方法的主要方法，讨论它们的优点和不足；建立结(来源：6666AB44C论文网www.abclunwen.com)构动力学的有限元模型和试验模型，分析有限元模型与试验模型之间的相互关系；改进谐波识别中的MUSIC识别方法和相关函数识别方法，给出大型结构模态识别的连续型的子空间分解识别方法和相关函数识别方法，这个方法是多元谐波识别方法；提出直接识别结构的物理参数和模态参数的最小二乘方法，这个方法利用导数的近似值代替导数值，并运用最小二乘方法识别结构的物理参数，讨论导数近似值的选择方法，分析算法的收敛性；通过仿真计算和模型实验，研究高层框架结构的模态参数识别，验证子空间分解识别方法、相关函数识别方法和最小二乘识别方法的有效性，算法的稳定性；从理论和试验两个方面分析和研究噪声对识别精度的影响，影响识别精度的因素，以及部分模态成分的模态参数不能够被识别的原因。

The revised Hargraves formula has the best result compared with Penman-Monteith formula, the average relative error is 6%, moreover, Hargaves method requiring the least data in calculating ETo, so this method has the high actual application value; The following are Radiation method and Blaney-Criddle method ; The worst is the Pan method, even after revised, the highest and average relative error is 36% and 10%, respectively. So, in this study, Penman-Monteith method, Radiation method, Blaney-Criddle method and Hargraves method are used except Pan method.

在这四种方法中，修正后的Hargraves方法与彭曼—蒙特斯方法的计算结果符合最好，其平均相对误差为6％，而Hargraves方法需要的气象数据只有计算时段的最高、最低温度，该方法具有较高的实际应用价值；辐射方法和布兰尼—克里德尔方法次之；蒸发皿方法最差，即使在修正后，E601型蒸发皿的最大误差也高达36％，平均为10％，所以在预报系统的研究设计中采用了除蒸发皿方法之外的四种方法。

In the chapter 2, the theoretic knowledge about the photosensitive resin and the grinding tools was firstly introduced.

第二章阐述了光固化树脂结合剂磨具的相关理论研究。

Do not use the program's indenting or margin-setting features; these will be added during typesetting.

不要使用缩排，页面边缘设置之类的选项，偶看不大懂。