查询词典 type theory

And global stability of boundary equilibrium, which implies the extinction of the predator population, is studied by the limit system theory and Dulac criterion.

所得结论适用于具有Holling type-Ⅱ、Ⅲ和Rosenzweig功能反应函数的捕食模型，最后通过数值模拟来验证所得结论。

There are three propositions about organizing offender: the first one is special type theory, which regard the organizing offender as the chief person who has the function of organizing, leading, plotting and conducting.

一、 关于组织犯的概念界定问题关于组织犯有三种主张：一是特有类型说，认为组织犯是犯罪集团中的首要分子，起组织、领导、策划、指挥作用。

Newmark's language function and text type theory elaborates public signs are characterized by five functions, which are effective in analyzing and correcting the mistakes or incorrectness in their translated versions.

纽马克的语言功能和文本类型理论阐述了公示语具有的五种语言功能，有助于分析、纠正诸多公示语的误译问题。

We begin by adding inductively defined types in an LF-like type theory.

基于这一考虑，TML的一致化算法融进了项推理过程。

For the first patern, elastic dynamics is adopted to study the steady state rolling contact, elastic dynamics incorporating with rigid dynamics is adopted to study the non-steady state. For the steady state, the analytical solution is obtained, and for the non-steady state, the variational formulation to solve the problem numerically is derived For the later patern, the function type friction coefficient is introduced. On the basis of the quasi-stastic theories of constant friction coefficients, both the exact theory and the simplified theory of the function type friction coefficient are established, the computer programms for both the theories are also made out. Using the function type friction coefficient, Shen-Hedrick-Elkins theory's application range is extended to large creepage .

对于速度对接触体力学特性的影响，本文采用弹性动力学方法和弹性动力学与刚体动力学相结合的方法分别对稳态和非稳态两种情况进行了研究，得到了稳态情况的解析解，给出了对非稳态情况进行数值求解的变分公式；对于速度对相关物理量的影响，本文主要讨论了速度对摩擦系数的影响，在滚动接触准静态理论的基础上引进了函数型摩擦系数，建立了函数型摩擦系数的滚动接触准静态精确理论和简化理论，并分别编制了相关的计算程序，还用函数型摩擦系数将简便的Shen-Hedrick-Elkins理论的适用范围扩展到大蠕滑区。

This paper mainly adopted literature data, questionnaire and interview and logic analysis methods, and used the theory of urban development, sports management theory, theory of mass sports, community sports theory, and other theories. By grasping the basic characteristics of China's social modernization process and analyzing the status of community sports conduction and management and the presence of a series of problems in the new-type city - Jiujiang, we found the main factors affecting urban Community Sports Management in Jiujiang City and opportunities for the urban community sports management binged by the implementation of the "3 +1" strategy, and Consequently, explored the model adapting to community sports management and development in Jiujiang the new-type city under a "3 +1" strategy. That is the light of these constraints and opportunities analysis concluded: As China's economic reform and social reform of the management system of deep,single Administrative Management Mode-omnipotent authority are depleting,at the same time,Jiujiang City "3 +1" to the implementation of the strategy has brought city and the residents change.Sports needs of the residents of the community which continuously enhance the connotation of sports management on the basis of qualitative change rapidly rich,variable-totalitarian government administration for the government-led management.

本论文主要采用文献资料法、问卷调查法、访谈法及逻辑分析等方法，运用城市发展理论、体育管理理论、群众体育理论、社区体育理论等多种理论，把握我国社会现代化过程的基本特征，通过分析新型城市--九江市城市社区体育开展现况及社区体育管理现状和存在的系列问题，找到了影响九江市城市社区体育管理的主要因素（管理体制的不合理；缺乏有针对性的政策法规；管理系统（服务管理系统、场地设施管理系统、体育人才管理系统、体育经费管理系统等）不够健全和完善；管理者思想和管理观念落后及被管理者素质不高等5个方面）及在实行&3+1&战略后给城市社区体育管理带来的机遇（&3+1&战略的实施为九江城市社区体育管理奠定了坚实的经济基础和发展的动力；&3+1&战略的实施为九江城市社区体育管理提供了广阔的市场和空间；实行&3+1&战略为社区体育管理带来了居民体育意识的转变等3个方面）等问题的研究，从而探索出&3+1&战略下适合九江市新型城市社区体育管理发展的模式，即针对以上制约因素和机遇的分析得出结论：随着我国经济体制改革和社会管理体制改革的深人，单一的行政全能主义管理模式的权威性日趋枯竭，与此同时，九江市&3+1&战略实施以来，给城市及居民带来了巨变，居民对体育需求度的不断增强，致使社区体育管理的内涵在质变的基础上迅速丰富化，变政府行政全能主义为政府主导型管理。

The text type theory provides a series of methods for translation.

文本类型理论为翻译提供了一系列的翻译方法。

The text type theory provides a series of methods for translation.

文本类型理论为翻译提供了1系列的翻译方法。

The types in the constructive type theory can be considered as formal specifications for programs.

构造性类型理论是一种程序逻辑，它为程序设计方法和程序自动化的研究。。。

On the latter issue, this treatise adopts a type theory in legal methodology to resolve.

对于后一个问题，本文则通过法学方法论中的类型理论进行解决。

Objective To investigate the effects of interleukin-1 β converting enzyme gene on the biologic characteristics of ovarian cancer cells.

目的 探讨白细胞介素-1 β转换酶的表达，对卵巢癌细胞生物学特性的影响。

Campylobacter: This illness is the most commonly identified cause of diarrheal illness in the world.

弯曲：这种病是最常见的原因查明腹泻病，在世界上。