类型理论

In order to solve the problems mentioned above, we research the general modeling and simulation for the design of stevedoring technology scheme for container terminals which is the core of the dissertation, implementation of simulation modeling and simulation for case study.

其中仿真建模理论研究是本论文的核心内容本论文主要的研究工作如下： 1 归纳并提出基于DEDS的集装箱码头工艺方案设计仿真系统的实体、事件、活动、进程研究：实体的提出确定了集装箱码头工艺方案设计仿真系统边界内的对象；事件和活动的提出明确了系统内所有事件的类别和数量，以及每一个事件可以驱动的活动类型；进程的提出明确了系统中进程种类，同时展现了每一个进程所包含的事件及活动之间的逻辑关系和时序关系。

Temperature in three type of soil (sandy soil, cohensive soil, and mixture of them) out of the subterrene was tested with CIT-I infrared pyrometer and K thermocouple on the experiment platform, the result is measure up to the calculating result.

在热熔钻进实验台上采用CIT-I型红外测温仪和K型热电偶对热熔器外三种类型的土(砂土、粘性土、砂土与粘性土的混合土)中的温度进行了实测，对结果的分析和结论与理论的计算结果是吻合的。

Mongolica and Ulmus laciniata populations were aggregated distribution; they displayed different degrees of aggregation intensity during different times of forest conservation; aggregation intensity of populations inclined as a whole.

封山育林一般是针对采伐迹地、火烧迹地或弃耕农田等宜林地采取的营林措施。20世纪80年代以后我国封山育林的理论与应用技术研究均得到了迅速发展，研究内容涉及封山育林后的分布格局、群落类型、营养动态等领域[1]。

This paper describes and interprets employment situations of vague language in English business correspondence,thus concludes that the employment of vague language in English business correspondence is still based on the principles of clarity and appropriateness for business letters.The paper divides the employment situations into two kinds: objective unability and subjective unwillingness,based on wh...

通过对英文商务信函中模糊语言的使用情境进行描述性和解释性分析，认为模糊语言在英文商务信函中的使用还是基于商务信函必须明确得体这一原则，得出模糊语言在英文商务信函中的使用情境分为客观上的不能和主观上的不愿，在此基础上将模糊语言分为内容上的和语气上的两种类型，并从关联理论的角度对这两种情境存在的合理性进行解释。

The relationship between the type of ligands, composition of the complexes, structure of the complexes with the properties of lowering blood sugar was studied and the corresponding law was concluded, the research will provide certain theoretical basis for the deep research of amino-acid vanadyl complexes with anti-diabetic properties.

研究配体的类型、配合物的组成、配合物的结构与降低血糖功能之间的关系并总结出相应的规律，为具有抗糖尿病功能氨基酸氧钒配合物的深入研究提供一定理论基础。

In order to harmonize economy development with waterhead conservation,the main woodland factors that significantly affected the soil erosion were analysed and sorted with quantitative theory in woodland unit of subcompartment, and 339 peaces of aggregately sorted by grade without overlap.

根据北京市&八五&森林资源调查和实地调查数据，从发展经济与水源保护相协调的宗旨出发，以小班为研究单元，应用数量化理论对水土流失有重要影响的主要立地因子进行了分析和排序，运用聚类分析方法，对密云水库北庄示范区339个小班进行了不重叠内在等级聚合分类，将示范区划分为6个立地类型。

It also provides an effective method and theory basis for the study of different transmission types of meshing engagement.

也为其它类型啮合传动的研究，提供了有效的方法和理论基础。

Theoretically, this new type of MEMS VOA includes various specific ones when different actuating types and structures are designed.

理论上这个新的类型可以通过设计不同的驱动方式和结构形式得到多个具体的MEMS可变光衰减器。

The scattering and reflection of light by clouds are studied by scalar radiative transfer theory. The plane albedos and bidirectional reflectance of clouds are given. The influences of clouds types, clouds thickness and liquid water content on the light scattering characteristics of clouds are discussed.

利用标量辐射传输理论，计算了云层对光波的反射与透射，给出了云层的平面反照率和双向反射函数；讨论了大气云层不同的类型、厚度及液态含水量对阳光散射强度的影响。

Based on the Lorentz-Mie theory, the single scattering characteristics of multi-dispersed spherical and multi-layered spherical particles are studied. The extinction coefficients, scattering coefficients, single albedos, single scattering phase functions and asymmetry factors of different clouds are presented. Numerical results for single scattering of spherical and non-spherical particles are obtained in the approximation of geometrical optics. The single scattering phase matrixes of non-spherical aerosols are calculated by using the T matrix method.

基于洛伦茨-米理论研究了服从一定尺寸分布的球形和多层球形粒子的单次散射特性，计算了各种不同类型云层的消光系数、散射系数、单次散射反照率、单次散射相函数以及不对称因子；利用几何光学方法计算了球形、非球形粒子的单次散射特性；利用T矩阵方法计算了非球形气溶胶的单次散射相矩阵。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了