查询词典 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.

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

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 .

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

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)总结了本文所进行的研究工作，为今后进一步开展工作提出了较为合理的建议。

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.

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

Through discussing good and bad points of several common statistical measures and examining the relationship between such measures,we discover that the statistical method itself also has some unsatisfactory places,one of improvement means is to use the axiomatic method and the welfare method.

从理论上讲，有许多种可实际应用的度量不平等的方法，每一种度量方法都具有一些值得称颂的优点，同时也存在一些难以克服的缺点，其中实践中使用得最为广泛的就是统计度量方法。

Finally, a twophase model of residual claim assignment is set up. The ShapleyShubik method and the serial pricing are used in the two phases respectively. This method is proved to be justice and efficient. residual claim ; axiomatic distribution theory ; two_phase assignment ; Shapley_Shubik method ; serial pricing

但股份有限公司作为占主导地位的公司形式，在其所有权结构中，剩余索取权与剩余控制权却并不对应：1公司的大股东(在我国主要是国家股、法人股)掌握有企业的最终控制权，同时承担了较大的风险，研究表明，股份的集中

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数据流的质量检测。