查询词典 axiomatic set theory

In chapter 2, basic knowledge of the rough set theory, such as indiscernibilityrelation, elementary set, approximate space, upper approximation, lower approximation, negative region, boundary region, rough set, etc., and algebraic properties of rough set are introduced. At the same time, the feature of the rough, set theory is also introduced.

第二章介绍了粗糙集理论基本知识，如不可分辨关系、基本集、近似空间、上近似、下近似、负域、边界域、粗糙集等概念，以及粗糙集的代数性质，同时还介绍了粗糙集理论的特点。

Company has 8 sets Vertical Machining Center, 1 set Horizontal Machining Center, 6 sets NC lathe, 1 set O.D. Grinding machine, 1 set Plane Grinding machine, 3 sets EDM, 1 set CMM, 1 set universal tool microscope, 1 set cutter aligner, 1 set roughness instrument, etc., much of equipments are the most advanced in domestic.

主要 设备有：加工中心9台（最大加工范围800mm）、数控车床6台（最大加工直径360mm）、外圆磨、平面磨、慢走丝线切割机、快走丝线切割机，电火花成形机、三维坐标测量仪、万能工具显微镜，精密对刀仪、粗糙度仪等。

In chapter three, we prove that there exist solutions to the Ky Fan variation inequality, as the set-valued mappings are defined on spheres in infinite dimensional Banach spaces or odd dimensional Euclidean spaces, following from these theorems, we obtain some fixed point theorems for set-valued mappings defined on a sphere. When G is an approximate compact convex subset of E, or G is a almost quasi-convex set-valued mapping, we prove that there exist solutions to and type generalized Ky Fan variation inequality, following these theorems, we prove several best approximation theorems and coincidence theorems involving two set-valued mappings and two different spaces. In chapter four, we first present a new Simplicial algorithm for computing the Leray - Schauder fixed points, the algorithm can solve the set-valued nonlinear complementarily problem. We give a condition to guarantee the computation proceeding in a bounded region. We present integer-labeling algorithms for computing fixed points of some set-valued mappings, the best approximation points and solutions to a kind of set-valued variation inequalities.

第四章给出了计算定义在非凸集上的非自映射的Leray-Schauder不动点的算法，而现有的不动点算法都是计算凸集的上半连续集值自映射的不动点；给出了保证计算有界的一个充分条件，我们的条件大大弱于Mdrrill条件，我们的算法也可用来计算Eaves不动点；给出了集值非线性互补问题存在解的一个充分条件，此时可利用Leray-Schauder不动点算法来求解；向量标号算法以往是计算集值映射不动点的唯一有效算法，我们给出用整数标号算法计算一类集值映射的Kakutani 不动点的算法；定义在紧凸集上的连续映射不一定有不动点，但一定有最近点，最近点是不动点概念的推广，我们给出了计算最近点的算法；集值映射变分不等式尚无有效的求解算法，我们给出求解一类集值映射变分不等式的算法。

OSB production line,Particleboard production line,MDF production line,HDF production line,Plywood complete set of Equipment,Composite panels complete set of Equipment,HF Bending wood complete set of Equipment,Blockboard production line,Artificial board cover complete set of Equipment,Bamboo Filaments floor complete set of Equipment,Bamboo board complete set of Equipment,Bamboo mat complete set of Equipment, Composite pallet board tray machine.

复合板生产线、胶合板成套设备、刨花板OSB成套设备、细木工板成套设备、贴面成套设备、纤维板成套设备、竹地板成套设备、模压托盘设备。

This chapter sums up five aspects of theory bases of constitutional review system:(1) theory of supreme of constitution,(2) theory of limited government,(3) theory of check and balance of power,(4) theory of sovereignty of people,(5) theory of rule of law.

第一节简要回顾了我国宪法监督制度从无到有的四个历史阶段，第二节分析了我国现行的宪法监督制度所存在的主要问题，第三节探讨了我国的违宪审查制度为何难以建立起来的理论障碍、思想障碍和法律障碍。

This paper first summarizes the existing western economic explanations on corporate diversification, such as scope economy theory, resource-based theory, defense hypothesis, market power theory, transaction cost theory, internal capital market theory, coinsurance hypothesis, and agency theory. Then according to the situation in China, the paper discusses another explanation proposed by domestic scholars, i.e.

本文首先归纳了西方现有对企业多元化动因的八种经济解释（范围经济理论、资源依赖理论、防御假说、市场力量理论、交易成本理论、内部资本市场、债务互保假说与代理理论），并针对国内情况分析了国内学者提出的市场分割假说。

Other semirings arise naturally in such diverse areas of mathematics as combinatorics, functional analysis, topology, graph theory, Euclidean geometry, probability theory, commutative and noncommutative ring theory, optimization theory, discrete event dynamical systems, automata theory, formal language theory and the mathematical modeling of quantum physics and parallel computation systems.

在许多不同的数学领域存在着其它形式的半环，比如组合学，泛函分析，拓扑学，图论，欧式几何，概率论，交换和非交换环，优化论，离散动力系统，自动化理论，形式语言理论，量子物理的数据模型和并行计算系统。

He integrated the ideological essence of Confucianism, Buddhism and Taoism, and used the " Natural kindniss " to express the Innateknowledge ontology, which composed his ontology theory ; He took this "Natural kindniss" as the basic of his theory, to pursue the Humanity realm which claim "One Unity of All Things" and the Easefulness realm which claim "free and easy", he thought both the two realms have the same mean, and finally proposed the theory of realm. On the Effort theoretically, Luo Jinxi emphasized "all lays down and breaks the unreal ontology theory", to fit the Natural kindniss in the just moment .He fused the Effort and the Ontology , which made the two together. As to the theory of "Awakening Oneself by discreet on One"s Own","The investigation of things" and "Filial piety and fraternalduty, Luo Jinxi also put forward an especial theory which made his thought into a perfect system and reached an extensive and proficient realm.

他融合儒释道的思想精华，用"赤子之心"来表述良知本体，构成其思想的本体论学说；并以此赤子良知为理论基点，追求"万物一体"之仁的境界与"生意活泼，了无滞碍"的洒脱之乐的境界，认为仁之境即是乐之境，乐之境即是仁之境，最终提出追求仁乐合一境界的境界论思想；在工夫理论上，罗近溪强调"放下一切、打破光景"，顺适赤子良知之当下状态，将工夫融释在良知本体中，即工夫即本体，即本体即工夫，表现出一种无工夫之工夫论；在关于慎独、格物、孝悌慈等论题上，近溪也提出了极具理论特色的观点，使其思想形成了一卓然圆熟的体系，达到了一"博通圆融"的境地。

This theory emerged from those philosophical and logical inquires Russell made in his early stage, when Russell use logical analysis to solve the semantics problem his meaning theory suffered. The foundation of the theory of descriptions is a theory of meaning, as this thesis presents, and its central notion includes two syntax rules. Based on the first order predicates calculus, this theory seems successfully solve some notable semantics problems and then assures Russell's denotation theory.

本文认为，摹状词理论有深刻的哲学渊源，它脱胎于罗素早期的哲学和逻辑研究，直接缘起于罗素想要利用逻辑的分析方法去解决意义指谓论所面临的语义学难题；摹状词理论的基础是它的意义理论，核心是两个句法规则，它基于带等词的一阶谓词演算成功地解决了一些著名的语义学难题，维护了直观的指谓论，从而产生了巨大而深刻的哲学影响。

The first part is preface, on the basis of expounding the background, the purpose, the meaning and the thinking of the thesis study, briefly introduce the research achievements of domestic and international urban spatial structure; the second part is summary, expatiate on the connotation, component, research span and space type of urban spatial structure; The third part is theory foundation, mainly introduce the three classical models of city spatial structure in the west country (concentric circles mode, fan-shaped mode and multi-core mode) and the relative city development theories (growth pole theory, dot-axis theory, core-fringe theory, metropolis circle theory and city space evolution theory); The fourth part is general situations of study region; The fifth part is the analysis of Lanzhou city spatial structure evolution, along the historical venation Of city development, on the basis of analyzing industrial structure change, focus on and sumup the characteristics of spatial development and form, meanwhile, analyze factors which influences the spatial development; The sixth part is the analysis of Lanzhou city spatial development trend, put forward the development models of Lanzhou city spatial structure from three space aspects(the core city, the city, region) in the future, they are group gobbet structure, fingers structure, circle structure; The seventh part is to mainly put forward the development strategies for the different spatial structure models.

第一部分为前言，在阐明论文研究背景、目的及意义、思路的基础上，简要介绍了国内外城市空间结构相关研究成果；第二部分为概述，对城市空间结构的内涵、组成要素、研究尺度及其空间类型作以介绍；第三部分为理论基础，主要是对西方城市空间结构的3大经典模型(同心圆模式、扇形模式和多核心模式)以及与本研究相关的城市空间发展理论(增长极理论、点轴理论、核心——边缘理论、都市圈理论和城市空间演化理论)的介绍；第四部分为研究区概况，主要是对研究区域范围的界定及其社会经济发展概况介绍；第五部分是兰州城市空间结构演化分析，顺着兰州城市发展的历史脉络，在分析产业结构变动的基础上，着重对城市空间发展及其形态特征进行归纳总结，并分析了空间发展的主要影响因素；第六部分是兰州城市空间发展趋势分析，从中心城市、市域、区域3个空间层面上提出未来兰州城市空间结构的不同模式，即组团结构、指状结构、圈层结构；第七部分是城市空间发展策略，针对不同的城市空间发展模式提出一些对策建议。

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.

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