查询词典 axiomatic set theory

Therefore, it is significant to research and develop a management information system of agricultural mechanization equipment for agricultural modernization. Based on the modern management theory, some mathematical modelings are constructed by system engineering theory, rough set theory, gray system theory, avail theory and neural network theory in this dissertation. It can resolve some actual problems, for instance, forecasting machine amount, agricultural machine power and prices.

本文在现代管理理论的基础上，运用系统工程、粗糙集理论、灰色理论、效用理论、人工神经网络等方法，进行数学建模，对未来农机需求、农机总动力、农机价格等问题进行探讨，并应用到农机装备管理信息系统的各个方面，对农业机械的各种信息进行传输、存贮、组织和处理分析，最终取得了较为理想的结果。

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代数、群、鞅及公理化方法研究遗传算法的表示、收敛性与收敛速度等基本理论问题。

A kind of integrated model based on theory of axiomatic design and solving theory of invention problems has been put forward.

提出了一种基于公理设计理论与发明问题解决理论的集成模型。

Axiomatic developments of utility theory and subjective probability, and elements of Bayesian theory.

效用理论和主观概率的发展，贝叶斯理论基础。密歇根大学贝叶斯决策分析、贝叶斯推断。

Cˉfuzzy set theory ; C ˉfuzzy set theory ; Zadeh's fuzzy set theory ; Classical set theory2000M SC:03E72

Cˉ模糊集合论； C ˇˉ模糊集合论； Zadeh模糊集合论；经典集合论

This paper proposes a formal approach to performance testing using axiomatic methods and set theory.

协议测试就是用测试的方法执行一组目的明确的测试例，进而观察被测实现IUT的输出行为，并分析测试结果，判断IUT的功能或性能是否满足协议或用户的规定。

Secondly, by using of the medium axiomatic set theory, a natural number system in MS is constructed, and it is proved that five axioms of Peano′s natural number system are theorems is MS.

其次，利用中介公理集合论MS的相关理论，构造了MS中的自然数系统，证明了Peano5条公理为MS中的定理。

It has proved that well sets completely satisfy all axioms of ZFC -(the classical system of axiomatic set theory ZFC without the regular axiom).

在中介公理集合论系统中重新定义了良集的概念，讨论了它的性质。

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公司的大股东(在我国主要是国家股、法人股)掌握有企业的最终控制权，同时承担了较大的风险，研究表明，股份的集中

Fuzzy set, Vague set and C(superscript *)-fuzzy set are extension of classical set theory. They are also results of fuzzy set theory development.

模糊集、Vague集和C-模糊集都是对经典集合论的扩展，同时又是模糊集合论分支的发展成果。

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。