类型理论

Perhaps it is possible to find implicit theories of this sort in Homer and other descriptions of Greek education, but, at any rate, more conscious and fuller theories arose in Greece through a conjunction of two developments—the rise of philosophy or what Aristophanes called the "Think Shop" and tried to laugh out of existence, and the breakdown of the traditional or "old" educational system.

也许我们可能发现这种隐性的理论在荷马哪里和别的类型在希腊的教育中，但是，无论如何，更多有意识的和更丰富的理论在希腊通过两种发展的联合而出现——哲学或如阿里斯托芬所言的"思想车间"的产生和尽力对脱离存在的嘲笑，与传统或"老的"教育体系的崩溃。

New counterplea theory arose in Germany is based on extenor rights theory, and re-cate-gorize counterplea of negotiable instrument. Apart from traditional counterplea in rem and counterplea inpersonam, a new independent type of counterplea, counterplea of effectiveness,is recognized.

在德国兴起的新抗辩理论以权利外观理论为基准，对票据抗辩重新进行分类，即在从前的物的抗辩和人的抗辩之外，再承认一种独立类型的抗辩—有效性抗辩。

New counterplea theory arose in Germany is based on exterior rights theory,and re-categorize counterplea of negotiable instrument. Apart from traditional counterplea in rem and counterplea in personam,a new independent type of counterplea,counterplea of effectiveness,is recognized.

在德国兴起的新抗辩理论以权利外观理论为基准，对票据抗辩重新进行分类，即在从前的物的抗辩和人的抗辩之外，再承认一种独立类型的抗辩——有效性抗辩。

The text provide a theory model of style of strategy and decision-making of the top decider in Chinese company, based on the literature review of corporate strategy theory and decision-making .

本文在对公司战略和决策理论相关文献回顾分析的基础上，提出了一个针对中国公司最高管理者的决策风格和战略类型选择的理论分析模型。

Firstly, the author establish the functions of stability on the basis of the spline function method ,according to the theory of geometrical nonlinear and the theory of stability, educe the stability equation of structure based on variational principle, then carry through the flexuosity analysis of CFST arch.The big distortion geometrical nonlinear was considered by the stability equation,the author simplified the problem of geometrical nonlinear through ignored quadratic term and reserve the simple term, at last boiled down to solve the linear stability equation of eigenvalue .

利用样条函数方法、根据几何非线性变形理论和结构稳定性理论，先建立起结构稳定的泛函，再由变分原理导出结构的稳定方程，进行钢管混凝土拱屈曲分析；本文所建立的稳定方程考虑了几何非线性的大变形效应，通过忽略几何非线性的二次项，保留一次项，将几何非线性问题简化，最后归结为求解线性稳定问题的特征值稳定方程，建立了结构非线性静力稳定性问题的新算法及失稳类型判别准则。

This thesis is based on Becker's subjective expected utility theory. This thesis analyses crimes by economic perspectives and from criminals' viewpoint regarding cost and benefit. Besides, based on crime deterrence theory, this thesis applies crime examples to deliberate on social, economic and political variables' influence on crime rates of grand total crime, larceny and violent crime.

中文摘要本文主要系以Becker的主观预期效用理论为基础架构，尝试以经济学的观点来分析犯罪行为，从犯罪者的角度，考虑其犯罪成本与利益，再根据犯罪吓阻理论，以实证来探讨社会、经济及政治因素的变动对全般刑案、窃盗及暴力等三种类型犯罪发生率的影响。

Presently, this new model drive has not been researched. Therefore, the basically theoretical research on the face harmonic motion drive of separate tooth and application is not only developed new type of active teeth drive but also has a definite theoretical significance and economic value.

目前，这种新型的传动方式国内外还没有进行研究，因此，关于散齿端面谐波齿轮传动的基础性理论研究和开发应用，不仅增加了活齿传动的类型，具有一定的理论意义，而且具有很好的应用前景和经济价值。

Main context is listed as following.The first part gives an introduction to overview of theories Firstly, this part introduce the conception, classification of city function and structural type of urban district system and intercommunication and the method of research as well as our country "s study on city function; Secondly, this part includes the industrial structure"s classification, the fundamental theories about the industrial evolution regularity. Thirdly, the relationship between city function and industrial structure is demonstrated.

本文的主要内容为：第一部分：理论综述这主要介绍了城市功能的概念、分类、城市地域系统的职能结构类型、互相联系的类型和研究方法以及我国城市职能的研究情况；产业结构的分类、演进规律等基础理论，论证了城市功能和产业结构的关系。

In the simplest type of splitting, somewhat misleadingly called the "normal" Zeeman effect, because it was the first to be explained within the classical theory, a single line splits into three lines when observed in a direction perpendicular to the magnetic field.

最简单的分裂类型，从垂直于磁场的方向观察，一个光谱线分裂成三个光谱线，这种类型多少有点误导地被成为&一般&塞曼效应，因为它在经典理论中第一次解释了这种现象。

This article adopts Horney's three interpersonal interaction inclinations as the theoretical basis for the categorization of the personality types of the knowledge workers, and uses Cohen's CAD table as the personality testing instrument.

本文以 Horney 三种人际互动方式倾向（顺从型、积极型，离群型）作为知识工作者人格类型分类的理论依据，以 Cohen 的 CAD 表为受试知识工作者人格类型的衡量工具。

Means the parent directory, so this command means to execute "toolchain.sh," which is in the current directory.

代表父目录，所以这个命令就是执行当前目录下的"toolchain.sh"。

Yes,In fact,I'm on our city ream.

是的。事实上我是我们市队的。