查询词典 first-order theory

Representation Theory and Higher Algebraic K-Theory is the first book to present higher algebraic K-theory of orders and group rings as well as characterize higher algebraic K-theory as Mackey functors that lead to equivariant higher algebraic K-theory and their relative generalizations.

代表理论和更高的代数学的K 理论是第一个书提出订货和组戒指的更高的代数学的K 理论，好和导致equivariant更高的代数学的K 理论和他们的有关的概括的麦基functors一样表现更高的代数学的K 的特性理论。

Main work follows:(1) In the first part of this paper, a historical development of the number theory before Gauss is reviewed.Based on the systematic analysis of Gauss"s work in science and mathematics, inquiry into the mathematical background that Disquisitiones Arithmeticae appeals and Gauss"s congruent theory;(2) The development process of Fermat"s little theorem and its important function in the compositeness test is elaborated through original literature.we think that the first three section of Disquisitiones Arithmeticae is a summary and development for ancestors" work about Fermat"s little theorem,show that Fermat"s little theorem played an important role in the elementary number theory;(3) With the two main sources of the quadratic reciprocity law, investigating Fermat,Euler,Lagrange,Legendre, until the related work of Gauss,the way to realize the laws huge push to the development of algebraic number theory in 19 centuries.

本文主要做了以下工作：(1)首先回顾了高斯之前的数论研究状况，在系统分析高斯的科学与数学成就的基础上，探讨了《算术研究》出现的数学背景和高斯的同余理论；(2)通过对原始文献的系统解读，深入分析了费马小定理发现发展的历程以及在素性检验中的重要作用，指出《算术研究》前三节是高斯在总结并发展了前人对该定理研究的基础上形成的，并揭示了费马小定理在初等数论定理证明中的核心地位；(3)以二次互反律的两个主要来源为线索，详细考察了费马，欧拉，拉格朗目，勒让德，直到高斯的相关工作，揭示了该定律对十九世纪数论发展的巨大推动作用。

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.

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

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个空间层面上提出未来兰州城市空间结构的不同模式，即组团结构、指状结构、圈层结构；第七部分是城市空间发展策略，针对不同的城市空间发展模式提出一些对策建议。

There is mutual contradiction between direction estimation of user's signal and power allocation among all users in the beamforming algorithm. A twice game beamforming algorithm based on game theory is proposed to deal with it. Beamforming game algorithm mathematics model is constructed. During the first game, direction of signal and power allocation are mapped the game theory as "player", which are modeled as the problem of maximin function and obtain direction estimation first. Then during the second game, power allocations of different users are described as a multi-user game. Power updated algorithm is designed. The existence and uniqueness of the Nash equilibrium in the twice game beamforming algorithm based on game theory are proved by mathematics derivation.

摘要针对波束成形算法中，用户的信号方向估计值和用户之间的功率分配存在着相互矛盾，本文提出了一种基于博弈论的二次博弈波束成形算法，构建了波束成形博弈算法数学模型，首先在第一次博弈的时候，将波束成形算法中的信号方向和功率分配映射为博弈论数学模型中的"局中人"，将其建模为函数的极大极小值求解问题，先求解出信号方向；然后在第二次博弈的时候，将不同用户的功率分配过程描述为一个多用户的博弈过程，设计了功率分配更新算法，通过数学推导论证了纳什平衡点的存在性和唯一性。

Taking the active network as a research task, the input accessibility, the Coates graph of matrix and graph transmission etc are used to analyze the relation between reducibility of the coefficient matrix of the state equation and the electric separability of the network or the electric accessibility of the network for the first time, acquiring sufficient and necessary conditions that coefficient matrix of the state equation is reducible. Network Graph Theory, Matrix Theory and System Theory over F etc are used to derive the structural controllability criterion of the passive network over F for the first time. Then according to these theoretic results, the structural controllability problems of the active network over F are studied, acquiring several structural controllability conclusions of the active network.

率先将状态方程的输入可达、矩阵的Coates图、流图传输系数等概念和方法引入到对F上有源电网络的研究，研究了网络状态方程的系数矩阵的可约性与网络电气可断性或电气可达之间的关系，研究了F上有源电网络的能控性问题，获得了状态方程的系数矩阵可约的充分必要条件、F上有源电网络系统的结构能控性判据等新的结论。

But overall, it is insufficient to exist flowingly: First, more application western relevant theory of economics is it state the fair and efficiency issue of China to come, introducing three western fair and efficiency view " efficiency comes first theory "," fair preferential theory " and " the fair and efficiency replace the theory " mainly, it is not enough to theoretical research about the fair and efficiency relation of Marxism; Second, the theory circle studies this question from standardizing the economics angle mainly, adopt and standardize the analytical method, the positive research is relatively insufficient.

但就总体而言，还存在以下不足：一是较多的运用西方经济学的有关理论来说明我国的公平与效率问题，主要引入西方的三种公平效率观&效率优先论&、&公平优先论&以及&公平效率交替论&，对马克思丰义关于公平与效率关系的理论研究不够；二是理论界主要从规范经济学角度研究这一问题，采用规范分析方法，实证研究相对不足。

But overall, it is insufficient to exist flowingly: First, more application western relevant theory of economics is it state the fair and efficiency issue of China to come, introducing three western fair and efficiency view " efficiency comes first theory "," fair preferential theory " and " the fair and efficiency replace the theory " mainly, it is not enoug

但就总体而言，还存在以下不足：一是较多的运用西方经济学的有关理论来说明我国的公平与效率问题，主要引入西方的三种公平效率观&效率优先论&、&公平优先论&以及&公平效率交替论&，对马克思丰义关于公平与效率关系的理论研究不够；二是理论界主要从规范经济学角度研究这一问题，采用规范分析方法，实证研究相对不足。

At first, this paper introduces Maslow"s Hierarchy of Needs Theory Herzberg"s Hygiene and Motivational Factors Theory、Vrooms Expectancy Theory、McClelland Achievement Incentive Theory、Adams'Equity Theory and other Human Resource Management Theory. Second, this paper introduces the current situation of Civil Servant Compensation System and Civil Servant Performance Evaluation System. Third, this paper analyses the problem of Incentive Civil Servant Compensation System.

首先，介绍了马斯洛的层次需要理论、赫兹伯格的双因素理论、期望理论、亚当斯的公平理论等人力资源管理的诸多理论；其次，介绍了公务员薪酬管理的现状及现行的公务员绩效考核制度；再次，分析了现行公务员薪酬激励机制中存在的问题。

The first chapter introduces background、pursers and meaning、method、content and structure of this paper and the present conditions of current research. Some basic concepts are also defined in the first chapter; the second chapter systematically reviews the international market development theory, internationalization theory for enterprises based on technology, international risk prevention theory and other relevant theory. The third chapter introduces the current international operation condition of Chinese high-tech enterprises and analyzes the international operation character and motivation of these enterprises. Based on the analysis of the character of Chinese high-tech enterprises and the main elementary which will affect the entry-mode, the fourth chapter discusses the international strategy and the relevant entry-mode from the perception of resource. After selecting the suitable entry-mode, the fifth chapter discusses the problem of international risk. This discussion focuses on Chinese high-tech enterprises and establishes the risk prevention system, with the analysis of specific case. The last chapter summarizes the whole research content and brings forward the guidance for the deeper research.

第一章为绪论，介绍了论文的研究背景、目的与意义、研究方法、内容、框架以及研究的现状，还对本文的一些基本概念进行了界定；第二章系统回顾了开拓国际市场的理论、基于技术的发展中国家企业国际化理论以及国际风险理论等与本文相关的理论知识；第三章介绍了我国高新技术企业国际化经营的现状，并对其国际化经营的特征及动因进行了较为详细的分析；第四章在对我国高新技术企业的特点及影响其进入模式选择的主要因素分析的基础上，从资源角度探讨了其国际化战略及战略指导下的进入模式选择；第五章研究在选择了合适的进入模式之后，即将面对的国际风险问题，对我国高新技术企业的国际风险进行了聚焦，并构建了风险防范体系，还结合具体案例进行了探讨；第六章对研究的内容进行了总结，并指出了本研究的不足之处和进一步的研究方向。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。