类型理论

The theoretical system for describing the structures of organic and drug molecules using 3 types of molecular electronegativity-distance is created based on various atomic types and atomic attributes. These MEDVs include MEDV-4 based on 4 atomic types and relative electronegativity and relative bond length to carbon atom, and molecular holographic distance vector based on 13 atomic types and relative bond length to carbon atom, and MEDV-13 based on 13 atomic types and atomic attributes and the modified electrotopological state index.

通过不同原子类型与原子属性划分方案，创建了3种形式的分子电性距离矢量即以4种原子类型划分方案和以碳原子为标准的相对电负性与相对键长为基础的分子电性距离矢量MEDV-4、以13种原子类型划分方案和相对键长为基础的全息分子距离矢量MHDV、以13种原子类型与43种原子属性划分方案以及修饰的电拓扑状态指数和拓扑距离为基础的分子电性距离矢量MEDV-13等3种矢量描述子表征分子结构的理论体系。

With the idea of forced type checkage, defined different types for terms in messages, designed the inspection rules of authentication test method, so as to detect type-flaw-attacks on different levels according to application requirements.

针对"认证测试理论不能识别类型缺陷攻击"的不足，结合强制类型检查思想，将消息项的类型和检查机制引入认证测试方法，使得认证测试方法可以根据应用需求检测出不同层次的类型缺陷攻击。

In the second part9 by combining the common kinds of 1 accomplice in the Chinese theories of criminal law with that in theories of civil law system, especially of Japan, the author classifies accomplice into several kinds in light of different standards. They are complice material and complice intellectual, accessary before the fact, accessary during the fact and accessary after the fact, Indirect accessary, successional accessary.

第二部分，结合我国刑法理论中常见的帮助犯类型，并充分吸收大陆法系尤其日本刑法中的相关理论，根据不同的标准，把帮助犯划为数种不同类型，即：有形帮助犯和无形帮助犯；事前帮助犯、事中帮助犯和事后帮助犯；间接帮助犯；承继帮助犯。

In order to find out completely the soil-wheat contaiminated by heavy metals in Tianjin sewage farm, we collect samples on the dry land and examinate contents of heavy metals in soil-wheat system. Firstly, the anthor evaluates that soil irrigated by sewage that has been contaminated slightly, the main polluting factors are Cd and Zn, and then the anthor evaluates soil according to different regions, soil types and irrigating water. Secondly, the anthor analyzes content and enrichment ability of heavy metals in different part of wheat, evaluates wheat is contaiminated by Cd widespreadly, only few samples polluted by Zn.Finally the anthor put up correlative analysis about heavy metal contents in the soil-wheat system, as well as plant enrichment coefficient and some physico-chemical properties of soil, and establishes a prognostic model about heavy metal content among wheat spike, soil, soil types, PH, organic matter and salinity with the quantifying theory.The prognostic accuracy of primarily contaminative factors is the best with compound correlative coefficient examining, the model can be founded.With improvement of living level, people need cleaner food.

为全面了解天津市污灌区农产品生产地土壤和旱地作物小麦的重金属污染状况，我们于2004～2005年对全市污灌区的土壤和小麦进行了采样，在对该区土壤—小麦系统中六种重金属元素(Cd、Cu、Pb、Zn、Cr和Ni)的含量进行检测的基础上，本文首先分析评价了污灌区农田土壤的环境质量总体已达到了轻度污染水平，主要的污染因子是Cd和Zn，同时对污灌区农田土壤分区县、土壤类型和不同灌水类型进行了评价；然后分析了重金属在小麦不同部位的含量与富集能力，评价了污灌区旱地作物小麦普遍遭受了Cd的污染，只有个别样点遭受了Zn的污染；最后对土壤—小麦系统重金属含量间以及植物富集系数与土壤部分理化性质间进行了相关分析，由于土壤类型是定性变量，本论文以数量化理论建立了小麦穗实中重金属含量与土壤中重金属全量、土壤类型、PH值、有机质和全盐量间的预测模型，经复相关系数检验，污灌区主要的污染因子Cd和Zn的预测精度最高，模型可以成立。

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

This project works on some theoretical and technical problems in software safety and security. The project takes type theory as main theory and uses type systems and Hoare logic-style reasoning as main means.

本项目以类型论作为主要理论基础，用类型系统和Hoare逻辑风格的推理作为主要手段，研究软件安全中的一些理论和技术问题。

As a result of analysis to many of the results of experiment, checked up on specimens, field investigation and combining with the theories of palaeobotany, comparative morphology, evolutional morphology of vascular plants and taxonomy, it can be concluded as following: the primitive sorts of Cycadaceae are the sorts that pinnate leafs are dichotomy; among these, the sort that pinnate leafs are tripinnate-dichotomy is most primitive, from this sort gradually evolve to bipinnate-dichotomy, to only for monopinnate-dichotomy, from this sort evolve to the sorts that pinnate leafs are simply pinna; among the sorts of simply pinna, the species that segments of megasporophyll possess much more triplicate to monodichotomy are most primitive.

经过大量的实验结果分析、查阅标本和野外调查，结合古植物学、比较形态学、演化植物学和分类学等理论进行分析，认为苏铁科原始的类型为羽叶呈二歧状分叉的种类，其中最原始的又是羽叶呈三回二歧状分叉的种类，从这个羽叶类型逐渐演化出一回二歧状分叉的羽叶类型，再演化出羽叶为单羽状的类型；而单羽状叶的类群中，又以大孢子叶侧裂片具三回、二回及一回二歧状分叉数量多的种类为最原始，而侧裂片二歧状分叉数量少的为较进化，侧裂片无二歧分叉的如拳叶苏铁类为最进化的种类。

Yield rule, intensify rule, fluxion rule, types of contact and diathermanous model of metal cutting were also analyzed detailedly.

本文在直角自由切削过程分析的基础上，讨论了金属切削过程中的弹塑性变形理论和温度场理论，详细分析了屈服准则、强化准则、流动准则、金属切削传热模型、接触类型等问题，并利用有限元的基本思想，建立了直角自由切削应力场和温度场的有限元模型，进行了状态非线性、材料非线性和几何非线性的热力耦合分析，重点研究了切屑分离标准的确定、表面接触类型的处理等问题。

Based on the analysis of the process of free orthogonal metal cutting, the theory of elastic-plastic distortion and temperature field was discussed. Yield rule, intensify rule, fluxion rule, types of contact and diathermanous model of metal cutting were also analyzed detailedly. The FEA model of stress field and temperature field of free orthogonal metal cutting were established by the fundamental idea of FEA. State nonlinear, material nonlinear and geometry nonlinear thermal-stress coupling were analyzed by FEA technology. The separate criterion of chip and dispose of contact types were research emphatically.

本文在直角自由切削过程分析的基础上，讨论了金属切削过程中的弹塑性变形理论和温度场理论，详细分析了屈服准则、强化准则、流动准则、金属切削传热模型、接触类型等问题，并利用有限元的基本思想，建立了直角自由切削应力场和温度场的有限元模型，进行了状态非线性、材料非线性和几何非线性的热力耦合分析，重点研究了切屑分离标准的确定、表面接触类型的处理等问题。

In order to explore the grain-size distribution characteristics and geo-genetic types of land desertification in Mo Us desert, the research on the grain-size characteristics of sediments since late Pleistocene has been carried out in the desert area and neighboring area such as inside desert, sand covered loess plateau, loess plateau and river valley. The research result shows that sediments of different geologic genetic types are the fundamental material source of sandy desertification in these areas and the distinguishing of different types of the sediments is the theoretical basis of classification of different geogenetic type of sandy desertification. The contribution of different geological roles on the land desertification and its significance to prevent and deal with the land desertification have also discussed.

为了研究毛乌素沙地沉积物的粒度特征与土地沙漠化的地质成因类型，通过系统研究沙地及相邻地区晚更新世以来在沙地内部、覆沙黄土区、黄土高原和河流谷地与湖泊等不同地质构造地貌条件下所形成的沉积物粒度特征，指出不同地质成因类型的沉积物是这些地区土地沙漠化的物质基础，区分不同类型的沉积物也是构成不同地质成因类型土地沙漠化分类的理论基础，探讨了不同地质作用对土地沙漠化的贡献及其对土地沙漠化防治方面的意义。

If you are unfortunate enough to the lovelorn, please tell me, I will help you out, really, please contact me!

如果你不幸失恋了，请告诉我，我会帮助你摆脱困境，真的，请联系我啦！

China's plan to cut energy intensity by 20 percent and pollutant discharges by 10 percent between 2006 and 2010 is a case in point.

中国计划在2006年到2010间降低20%的能源强度和减少10%的主要污染物排放，就是一个这样的例子。