类型理论
- 与 类型理论 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
Results: 1、The DA include:left displaced abomasum and right displaced abomsum:two kinds of six types.It will be offer theory basic for choose celerity diagnosis and therapy ways of DA.
结果: 1、将奶牛真胃变位分为真胃右方变位和左方变位两大类六种类型,为真胃变位的快速诊断和治疗方法的选择,提供了理论依据。
-
Contrasting with control treatment, the fit of the Exponential distribution in characterizing fine root longevity was elevated under N amendment treatment, at the same time, the distributions of Welibull, Lognormal, and Normal were still better in character. All above indicated that N fertilization treatment maybe only alter the absolute value of longevity frequency, but the ratio between longevity frequencies was the same as before. So the model of longevity was unalterable.(5) Regardless analyzed with whichever categories i.e.
对各生长季细根寿命的统计分布拟合检验的结果与对照相似,施肥仅仅提高了总体分布对细根寿命的拟合优度,但威布尔、正态以及对数正态分布仍然拟合最好,这说明施肥可能仅改变了不同细根寿命频数的绝对值,但各寿命频数间相对比例并未发生明显变化,寿命理论分布的类型保持不变。
-
The theory and test configuration of the power absorbing clamp measurement method which was applied in the small size equipment under test were introduced.
0引言在理论上,最适宜采用场强测量的方法确定所有类型设备在30MHz以上的抗干扰能力,但在实际应用中有一定的困难,为此研究出了吸收钳测量法。
-
Possible interaction effects of individual learning style and instructor-students interactive modes on learning effect were also examined. This study used the Kolb's learning styles inventory to classify learners into four groups including Accommodator, Diverger, Assimilator and Converger respectively.
本研究透过实地实验的方式来验证,学习风格依据Kolb学习风格型态理论为基础所定义的学习风格分为「发散者」、「调适者」、「聚敛者」、「同化者」等四种类型的学习者;师生即时传讯则采「即时传讯互动」与「无即时传讯互动」两种方式来进行程式设计课程内容,以验证即时传讯互动方式应用在程式设计课程上是否真有其实质效果,并以学习绩效、认知学习、学习兴趣、认知技能发展与教学设计满意等五个构面来衡量学习成效。
-
Union the advantage of fuzzy theory,genetic algorithm can be used in many kinds of optimal...
结合模糊理论的优点,可以使遗传算法适用于各种类型的多方案评价及优选问题,扩大了遗传算法的应用范围。
-
And provide the theory instruction for designing other types anemometer.
为今后设计其它类型的风速计提供理论指导。
-
The study of this kind of economy will provide a new visual angle for the theory of urbanization.
对这种城镇类型的研究可以为整个城镇化理论研究提供一个新视角。
-
Based on detailed study on structural characteristics and reservoir distribution of Taiyangdao-Kuihuadao fractured anticlinal structural belt, through analysis on gas type and genesis, this paper summarizes the geological rules of reservoir formation of this area so as to provide theoretical evidence for further exploration.
摘要在对太阳岛-葵花岛断裂背斜构造带构造特征和储层分布进行精细研究的基础上,通过对该区天然气类型和成因研究分析总结了该区成藏地质规律,为该区的进一步勘探提供了理论依据。
-
This paper discussed the sorghum apomixis type, occur mechanisms, genetic research and breeding prospects and for the eventual realization of sorghum heterosis fixing provides a theoretical basis and a reference for the study of other crops.
论述了高粱无融合生殖类型、发生机制、遗传研究及其育种前景,为最终实现高粱杂种优势固定提供理论依据,也为其他作物研究提供借鉴。
-
Chapter 9: We report a large quantity of numerical experiments of 13 different algebraic multigrid algorithms for solving the Poisson equation, anisotropic equation, equation with cross-derivative terms, general matrix problems with large off-diagonal positive entries, biharmonic equation, Toeplity matrix, elasticity systems, finite element discretization of the Laplacian and even 3D problems. Particular attention is focused on asymptotic convergence factors and CPU-time consumed. Numerical results for many different types of practical problems demonstrate the efficiency and robustness of the proposed algebraic multigrid methods.
第九章:在各种代数多重网格算法的基础上,进行了大量的数值试验,具体给出了十三种不同的代数多重网格方法求解泊松方程,各向异性方程,带混合导数项的方程,带有大的非对角正元素的一般矩阵问题,重调和方程,托普利兹矩阵,弹性力学方程组,拉普拉斯算子的有限元离散,甚至三维问题的较为丰富的数值结果,重点关注它们的渐近收敛因子和所需的CPU时间,来源于不同类型问题的计算结果既为代数多重网格理论分析和算法的改进提供了很实用的资料,同时也证实了本文给出的代数多重网格算法的效绩和稳健性。
- 推荐网络例句
-
Do you know, i need you to come back
你知道吗,我需要你回来
-
Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.
1〕 杨银书,王祥生,李德昌。安徽省首次发现嗜群血蜱。
-
Chapter Three: Type classification of DE structure in Sino-Tibetan languages.
第三章汉藏语&的&字结构的类型划分。